1 Introduction and Main Results
Throughout this introduction let G be a finitely generated group. We say that G algebraically fibres if there exists an epimorphism
$\phi \colon G \to \Bbb {Z}$
with finitely generated kernel. The study of algebraic fibrations of groups is closely related to the study of the Bieri–Neumann–Strebel (BNS) invariant of G. This is an open subset
$\Sigma ^{1}(G) \subset S(G)$
, where
$$ \begin{align*} S(G) = (H^{1}(G;\Bbb{R}) \setminus \{0\})/\Bbb{R}_{+}\end{align*} $$
is the sphere of characters of G. Its complement
$\Sigma ^{1}(G)^{c} = S(G) \setminus \Sigma ^1(G)$
is referred to as the set of exceptional characters. (We refer to [Reference Bieri, Neumann and Strebel1, Reference Strebel16] for definitions and properties used here.) The relation between algebraic fibrations and the BNS invariant can be described as follows: If we denote by
$[\phi ] \in S(G)$
the character associated with
$\phi \colon G\to \Bbb {Z}$
, thought of as an element of
$H^{1}(G;\Bbb {Z}) \subset H^{1}(G;\Bbb {R})$
, then it follows from [Reference Bieri, Neumann and Strebel1, Corollary 4.2] that
$\phi $
algebraically fibres if and only if both
$[\phi ], [-\phi ]$
belong to
$\Sigma ^{1}(G)$
.
Assume that G is a group extension of the form
$$ \begin{align} 1 \longrightarrow K \stackrel{i}{\longrightarrow} G \stackrel{f}{\longrightarrow} \Gamma \longrightarrow 1, \end{align} $$
where K is finitely generated. The study of BNS invariants of group extensions is quite challenging (see, e.g., [Reference Koban and Wong12]). We collect some basic facts. To start, because K is finitely generated it follows from [Reference Strebel16, Proposition A.4.5] that a character
$\chi \in S(\Gamma )$
belongs to
$\Sigma ^{1}(\Gamma )$
if and only if its pullback
$f^{*}\chi \in \Sigma ^1(G)$
. This entails that if
$\Gamma $
algebraically fibres, then so does G. When the extension is trivial – that is, when
$G=K\times \Gamma $
– much is known (see, e.g., [Reference Strebel16]) and the sets of exceptional characters are determined by the equality
$$ \begin{align} \Sigma^1(K \times \Gamma)^{c} = \Sigma^{1}(K)^{c} \cup \Sigma^{1}(\Gamma)^{c}; \end{align} $$
hence, as long as both
$b_1(\Gamma ),b_1(K)> 0$
the trivial extension will always have nonempty BNS invariant.
This makes it reasonable to expect that any extension as in (1) with
$b_1(\Gamma )> 0$
satisfies
$\Sigma ^1(G) \neq \emptyset $
, unless
$f^{*}\colon H^{1}(\Gamma ;\Bbb {R}) \to H^1(G;\Bbb {R})$
is an isomorphism.
Our main result is the proof that this is true and, more precisely, that G algebraically fibres.
Theorem 1. Let G be a finitely generated group that can be written as group extension
$$ \begin{align} 1 \longrightarrow K \stackrel{i}{\longrightarrow} G \stackrel{f}{\longrightarrow} \Gamma \longrightarrow 1 \end{align} $$
where K is a finitely generated group. Assume furthermore that
$b_1(G)> b_1(\Gamma ) > 0$
. Then G algebraically fibres.
Our interest in the problem of algebraic fibrations of group extensions arose from a geometric perspective, namely, the case where G is the fundamental group of a surface bundle over a surface
$F \hookrightarrow X \rightarrow B$
with base and fibre both of genus greater than
$0$
. (If the genus of the fibre is at least
$2$
, the condition on the Betti numbers can be phrased in terms of nonvanishing of the co-invariant homology of the fibre
$H_1(F;\Bbb {R})_{\Gamma }$
; see Section 2 for details).
There is one noteworthy class of surface bundles over a surface – namely, those who admit a Kähler structure; for example, Kodaira fibrations – where the BNS invariant is fully understood, thanks to the work of Delzant ([Reference Delzant6]; see also [Reference Friedl and Vidussi7]). To dovetail that result with Theorem 1, it is useful to introduce the following notation.
Definition. Let
$F \hookrightarrow X \stackrel {f}{\rightarrow } B$
be a surface bundle over a surface with base and fibre both of genus greater than
$0$
. Let
$G := \pi _1(X)$
and, using the homotopy exact sequence of the fibration, write G as the extension in (1). If
$f^{*}\colon H^{1}(\Gamma ;\Bbb {R}) \to H^1(G;\Bbb {R})$
is an isomorphism we say that such bundle has Albanese dimension 1, or
$a(X) = 1$
. Any other surface bundle will be unambiguously referred to as having Albanese dimension 2. If a surface bundle admits a finite cover that has Albanese dimension
$2$
, we say that X has virtual Albanese dimension
$2$
and we write
$va(X)=2$
.
Our notation stems from the analogy with the class of (irregular) Kähler manifolds X of Albanese dimension 1. That condition, determined solely by the fundamental group of X, amounts to the existence of an irrational Albanese pencil (a holomorphic map
$f\colon X \to B$
to a Riemann surface of positive genus with connected fibres), obtained by restriction to the image of the Albanese map of X, which induces an isomorphism
$f^{*}\colon H^{1}(\Gamma ;\Bbb {R}) \to H^1(G;\Bbb {R})$
where
$G = \pi _1(X)$
and
$\Gamma = \pi _{1}(B)$
. Note that the definition above is consistent in the overlap of the two classes; that is, surface bundles X that admit a Kähler structure. In fact, our interest for the connection with the Kähler case arises from the fact that when X is a Kähler surface, Delzant has shown in [Reference Delzant6] that, as long as
$a(X) = 2$
, the BNS invariant is nonempty. In particular, G algebraically fibres.
With the notation in place, we have the following consequence of the main theorem, which we single out for its interest.
Corollary 2. Let
$F \hookrightarrow X \to B$
be a surface bundle over a surface with fibre and base both of genus greater than
$0$
. Assume that the Albanese dimension of X is
$a(X) = 2$
. Then G algebraically fibres.
Besides the interest per se in deciding that such a group G admits an algebraic fibration, we will show that Corollary 2 entails that, as long as fibre and base have both genus greater than
$1$
, then G is noncoherent, namely, it contains a finitely generated subgroup that is not finitely presented.
The question of coherence of the fundamental group of a surface bundle over a surface was raised by Hillman in [Reference Hillman9, Question 11(4)] (and perhaps earlier). There are two cases, as far as we know, where this group was known to be noncoherent. The first is the case of surface bundles with monodromy of types I and II in Johnson’s trichotomy ([Reference Johnson11]): their fundamental groups contain
$F_2 \times F_2$
as subgroup. The second case appears in [Reference Friedl and Vidussi7] where the authors show that a Kodaira fibration that has virtual Albanese dimension
$2$
has fundamental group that is noncoherent. Corollary 2 allows us to proceed as in that paper to show the following.
Corollary 3. Let
$F \hookrightarrow X \to B$
be a surface bundle over a surface with both base and fibre of genus greater than
$1$
. If its Albanese dimension
$a(X) = 2$
, then the first BNS invariant
$\Sigma ^1(G)$
and the second Bieri–Neumann–Strebel–Renz (BNSR) invariant
$\Sigma ^2(G)$
of its fundamental group
$G = \pi _1(X)$
satisfy the relation
$$ \begin{align*} \Sigma^2(G) \subsetneq \Sigma^1(G) \subsetneq S(G), \end{align*} $$
and G is noncoherent. If
$va(X) = 2$
, G is noncoherent.
Here,
$\Sigma ^2(G)$
is the second BNSR invariant of G, the first of a collection of refinements of the BNS invariant introduced in [Reference Bieri and Renz2].
In fact, we will present two proofs of noncoherence on G, the second being based on an elegant construction appearing in [Reference Kropholler and Walsh13] that inspired in various ways the techniques employed in the present article.
We will finish this article by discussing the challenge of completely determining the BNS invariant of a surface bundle over a surface. In particular, we will show the existence of a surface bundle over a surface, whose fundamental group G has exceptional characters that do not arise from an epimorphism
$h\colon G \to C$
to the fundamental group of a hyperbolic (orbi)surface and finitely generated kernel. This contrasts with what happens for Kodaira fibrations (or Kähler manifolds). We have the following.
Proposition 4. There exists a surface bundle
$F \hookrightarrow X \stackrel {f}{\rightarrow } B$
with base and fibre of genus greater than
$1$
whose fundamental group G admits an epimorphism
$g\colon G \to F_2$
such that
$H^1(G;\Bbb {R}) = f^{*}H^{1}(\Gamma ;\Bbb {R}) \oplus g^{*}H^{1}(F_2;\Bbb {R})$
and so that the set of exceptional characters contains two disjoint spheres
$$ \begin{align*} f^{*}(\Sigma^{1}(\Gamma)^{c}) \cup g^{*}(\Sigma^{1}(F_2)^{c})\,\subset\, \Sigma^{1}(G)^{c}. \end{align*} $$
Moreover, for any epimorphism
$h\colon G \to C$
onto the fundamental group of a hyperbolic orbisurface C such that the kernel is finitely generated we have
$g^{*}(\Sigma ^{1}(F_2)^{c})\cap h^*(\Sigma ^1(C)^c)=\emptyset $
.
(Note that
$\Sigma ^{1}(\Gamma )^{c} = S(\Gamma )$
and
$\Sigma ^{1}(F_2)^{c} = S(F_2)$
.)
2 Proofs
Before proceeding with the proofs of the results listed in the Introduction, we want to discuss the meaning of the assumption
$b_1(G)> b_1(\Gamma )$
in Theorem 1. Given a group extension G as in (1), the action by conjugation of G on its normal subgroup K induces a representation
$\rho \colon G \to \operatorname {GL}(V)$
on the homology of the kernel
$V = H_1(K)$
, where the homology can be taken with
$\Bbb {Z}$
or
$\Bbb {R}$
coefficients. Because the action of K on its homology is trivial, this representation descends to
$\Gamma $
. The Lyndon–Hochschild–Serre spectral sequence associated to (1) gives, in low degree, the following exact sequence:
$$ \begin{align} H_2(G) \stackrel{f}{\longrightarrow} H_2(\Gamma) \longrightarrow H_1(K)_{\Gamma} \stackrel{i}{\longrightarrow} H_1(G) \stackrel{f}{\longrightarrow} H_1(\Gamma) \longrightarrow 0. \end{align} $$
The image of the map
$H_1(K;\Bbb {R})_{\Gamma } \to H_1(G;\Bbb {R})$
measures the failure of
$f \colon H_1(G;\Bbb {R}) \to H_1(\Gamma ;\Bbb {R})$
(or, equivalently,
$f^{*}\colon H^{1}(\Gamma ;\Bbb {R}) \to H^1(G;\Bbb {R})$
) to be an isomorphism; that is, it measures the mismatch between
$b_1(G)$
and
$b_1(\Gamma )$
. A similar sequence exists for the cohomology groups, with the role of co-invariant homology of K played by the invariant cohomology group
$H^{1}(K)^{\Gamma }$
. In the case where G is a surface bundle with fibre of genus greater than
$1$
, the map
$H_2(G;\Bbb {R}) \longrightarrow H_2(\Gamma ;\Bbb {R})$
in the sequence (4) is surjective (see, e.g., [Reference Morita14]); hence, the condition
$b_1(G)> b_1(\Gamma )$
is equivalent to
$H_1(K;\Bbb {R})_{\Gamma } \neq \{0\}$
.
In the proof of Theorem 1 we will use some general results on the behavior of BNS invariants for an amalgamated free product. The first is quite well-known and appears as [Reference Strebel16, Lemma B1.14].
Lemma 2.1. Let
$\Pi = \Pi _{1} *_{K} \Pi _2$
be a free product with amalgamation of two finitely generated groups along a finitely generated subgroup K. Let
$\chi \in S(\Pi )$
be a character whose restrictions satisfy the conditions
$\chi _1 \in \Sigma ^1(\Pi _1)$
,
$\chi _K \neq 0$
and
$\chi _2 \in \Sigma ^1(\Pi _2)$
. Then
$\chi \in \Sigma ^1(\Pi )$
.
The second result, instead, seems new, and it is possibly interesting per se. The proof that we present is similar in flavor (and at times verbatim) to the proof of Lemma 2.1 in [Reference Strebel16] (whose notation we follow) but requires some further work.
Lemma 2.2. Let
$\Pi = \Pi _{1} *_{K} \Pi _2$
a free product with amalgamation of two finitely generated groups along a finitely generated subgroup K. Assume that
$\Pi _{2}$
is an Higman-Neumann-Neumann (HNN) extension
$\Pi _2 = K \rtimes \Bbb {Z} = \langle K,s|s k s^{-1} = f(k) \rangle $
for some automorphism
$f\colon K \to K$
. Let
$\chi \in S(\Pi )$
be a character whose restrictions satisfy the conditions
$\chi _{1} \in \Sigma ^{1}(\Pi _1)$
,
$\chi _{K} \neq 0$
and
$\chi _{2}(s) = 0$
. Then
$\chi \in \Sigma ^{1}(\Pi )$
.
Proof. Let
$\mathcal {X}_{1}$
be a finite generating set for
$\Pi _1$
. Let
$\mathcal {X}_{K}$
be a finite generating set for K and let
$\mathcal {X}_{2} = \mathcal {X}_{K} \cup \{s\}$
. Denote by
$\Gamma (\Pi _1,\mathcal {X}_1),\Gamma (\Pi _2,\mathcal {X}_2)$
the Cayley graphs for
$\Pi _1,\Pi _2$
associated to their respective generating sets. Then
$\mathcal {X} = \mathcal {X}_{1} \cup \mathcal {X}_{2}$
constitutes a finite generating set for
$\Pi $
, with associated Cayley graph
$\Gamma (\Pi ,\mathcal {X})$
.
Recall that, by the very definition of the BNS invariant, to prove that
$\chi \in \Sigma ^1(\Pi )$
we need to show that the subgraph
$\Gamma (\Pi ,\mathcal {X})_{\chi }$
of
$\Gamma (\Pi ,\mathcal {X})$
determined by the vertices
$\Pi _{\chi }$
with nonnegative
$\chi $
-value is connected.
Let
$g \in \Pi _{\chi }$
; there exists a finite collection of elements
$g_{1,j} \in \Pi _{1}, g_{2,j} \in \Pi _{2}, j = 1,\dots ,n$
such that
$$ \begin{align} g = g_{1,1}\cdot g_{2,1} \cdot g_{1,2} \cdot g_{2,2}\cdot \dots \cdot g_{1,n} \cdot g_{2,n}. \end{align} $$
We will show that there exists a path in
$\Gamma (\Pi ,\mathcal {X})_{\chi }$
from
$1$
to g by induction on n.
Let us consider the initial case
$n = 1$
; that is,
$g = g_1 \cdot g_2$
. Because
$\chi _{K} \neq 0$
, there exist two elements
$h_{1},h_{2} \in K$
such that all three
$$ \begin{align*} g^{\prime}_{1} = g_1 \cdot h_1, \,\ g^{\prime}_{2} = h_{1}^{-1} \cdot g_2 \cdot h_2, \,\ h_{2}\end{align*} $$
are contained in
$\Pi _{\chi }$
. Because
$\Gamma (\Pi _1,\mathcal {X}_1)_{\chi _{1}}$
is connected by the assumption that
$\chi _1 \in \Sigma ^1(\Pi _1)$
, there exists a path
$p_1 = (1,w_1)$
from
$1$
to
$g^{\prime }_{1}$
contained in
$\Gamma (\Pi _1,\mathcal {X}_1)_{\chi _1}$
, where
$w_1$
is a word in
$\mathcal {X}_{1}^{\pm }$
.
Next, consider the element
$g^{\prime }_{2} = h_{1}^{-1} \cdot g_2 \cdot h_2$
. Because
$g_2 \in \Pi _{2}$
, it can be written as a word in the generating set for K and the stable letter s. Because of the relations in
$\Pi _2$
, we can use the equalities
$$ \begin{align*} s \cdot k = f(k) \cdot s \,\ \mbox{and} \,\ s^{-1} \cdot k = f^{-1}(k) \cdot s^{-1} \end{align*} $$
to push powers of the stable letter to the right and rewrite
$g_{2} = w(k) \cdot s^{m}$
, where
$w(k)$
is a word in
$\mathcal {X}_{K}^{\pm }$
and
$m \in \Bbb {Z}$
. Because
$h_2 \in K$
, we can further write
$$ \begin{align*} g^{\prime}_{2} = h_1^{-1} \cdot g_2 \cdot h_2 = h_1^{-1} \cdot w(k) \cdot s^{m} \cdot h_2 = h_1^{-1} \cdot w(k) \cdot h^{\prime}_2 \cdot s^{m} \end{align*} $$
where
$h^{\prime }_2 = f^{m}(h_2)$
, with
$f^{m}$
an iteration of f or its inverse. Consider the element
$$ \begin{align*} h_1^{-1} \cdot w(k) \cdot h^{\prime}_2 = g^{\prime}_2 \cdot s^{-m} \in K.\end{align*} $$
Because
$\chi (s) = 0$
, we have
$$ \begin{align*} \chi_{1}(h_1^{-1} \cdot w(k) \cdot h^{\prime}_2) = \chi(h_1^{-1} \cdot w(k) \cdot h^{\prime}_2) = \chi(g^{\prime}_2) \geq 0. \end{align*} $$
Because
$K \leq \Pi _1$
, there exists a path
$p_2 = (1,w_2)$
from
$1$
to
$h_1^{-1} \cdot w(K) \cdot h^{\prime }_2$
contained in
$\Gamma (\Pi _1,\mathcal {X}_1)_{\chi _1}$
, which again is connected by assumption.
Next, consider the path
$p_3 = (1,w_3)$
in
$\Gamma (\Pi ,\mathcal {X})$
from
$1$
to
$s^{m}$
determined by the vertices
$$ \begin{align*} 1,\dots, s^{m-\sigma(m) \cdot 2}, \,\ s^{m-\sigma(m) \cdot 1},s^{m}, \end{align*} $$
where
$\sigma (m)$
is the sign of m. (Here,
$w_3 = s^m$
.) Because
$\chi (s) = 0$
, all of these vertices are contained in
$\Pi _{\chi }$
; in particular, the path
$p_3$
is entirely contained in
$\Gamma (\Pi ,\mathcal {X})_{\chi }$
.
Finally, because
$\chi _2$
is well defined over
$\Pi _2$
, we have
$\chi (k) = \chi _{2}(k) = \chi _{2}(f(k)) = \chi (f(k))$
. As a consequence,
$\chi _{1}(h_2) = \chi _{1}(h^{\prime }_2) \geq 0$
, so there exists a path
$p_4 = (1,w_4)$
from
$1$
to
$h^{\prime }_2$
contained in
$\Gamma (\Pi _1,\mathcal {X}_1)_{\chi _1}$
.
Concatenating the paths
$p_1,p_2,p_3,p^{-1}_4$
we obtain a path
$(1,w_1 w_2 w_3 w^{-1}_4)$
in
$\Gamma (\Pi ,\mathcal {X})$
from
$1$
to
$$ \begin{align*} g^{\prime}_{1} \cdot h_1^{-1} \cdot w(k) \cdot h^{\prime}_2 \cdot s^{m} \cdot h_{2}^{-1} = g_{1} \cdot h_1 \cdot h_1^{-1} \cdot w(k) \cdot s^{m} = g_1 \cdot g_2. \end{align*} $$
One can verify from the construction above that each vertex of the path is contained in
$\Pi _{\chi }$
. Alternatively, one can use the valuation function on the set of words in
$\mathcal {X}$
([Reference Strebel16, Section A2.2]), which measures the lowest
$\chi $
-value over vertices of a path starting at
$1$
, to get (using [Reference Strebel16, Equations A2.7])
$$ \begin{align*} &v_{\chi}(w_1 w_2 w_3 w^{-1}_4) \\ &= \mbox{min} \{ v_{\chi}(w_1), \chi(w_1) + v_{\chi}(w_2), \chi(w_1 w_2) + v_{\chi}(w_3), \chi(w_1 w_2 w_3) + v_{\chi}(w^{-1}_4) \} \\&= \mbox{min} \{0, \chi(g^{\prime}_1) + 0, \chi(g^{\prime}_1 \cdot g^{\prime}_2 \cdot s^{-m}) + 0, \chi(g^{\prime}_1 \cdot g^{\prime}_2) + v_{\chi}(w_4) - \chi(w_4) \} \\ &= \mbox{min} \{0, \chi(g^{\prime}_1), \chi(g^{\prime}_1 \cdot g^{\prime}_2), \chi(g^{\prime}_1 \cdot g^{\prime}_2) - \chi(h_2) \} \\ &= \mbox{min} \{0, \chi(g^{\prime}_1), \chi(g^{\prime}_1 \cdot g^{\prime}_2), \chi(g_1 \cdot g_2) \} = 0. \end{align*} $$
We now assume that the lemma holds for
$n-1$
; let g be like in Eq. (5) and denote
$g'$
the product of the first
$2m-2$
factors. There exist elements
$h_0,h_1,h_2 \in K$
contained in
$\Pi _{\chi }$
such that
$g' \cdot h_0$
,
$g^{\prime }_1 = h_{0}^{-1} \cdot g_{1,n} \cdot h_{1}$
,
$g^{\prime }_2 = h_{1}^{-1} \cdot g_{2,n} \cdot h_{2}$
are contained in
$\Pi _{c}$
. By the inductive hypothesis, there is a path in
$p' = (1,w')$
from
$1$
to
$g' \cdot h_0$
contained in
$\Gamma (\Pi ,\mathcal {X})_{\chi }$
. Moreover, there exist paths
$p_i = (1,w_i), i = 1,\dots 4$
(that mirror the role of the similarly named paths for the case
$n=1$
) with the property that
-
•
$p_1 = (1,w_1)$
runs from
$1$
to
$g^{\prime }_1 \in \Pi _1$
in
$\Gamma (\Pi _1,\mathcal {X}_1)_{\chi _1}$
; -
•
$p_2 = (1,w_2)$
runs from
$1$
to
$h_1^{-1} \cdot w(k) \cdot h^{\prime }_2 \in K$
in
$\Gamma (\Pi _1,\mathcal {X}_1)_{\chi _1}$
, where
$g_{2,n} = w(k) \cdot s^{m}$
, and
$h^{\prime }_2 = f^{m}(h_2)$
; -
•
$p_3 = (1,w_3)$
runs from
$1$
to
$s^m$
in
$\Gamma (\Pi ,\mathcal {X})_{\chi }$
; -
•
$p_4 = (1,w_4)$
runs from
$1$
to
$h_2' \in K$
in
$\Gamma (\Pi _1,\mathcal {X}_1)_{\chi _1}$
.
Much as before, the concatenation of
$p',p_1,p_2,p_3,p_4^{-1}$
yields a path from
$1$
to
$g' \cdot g_{1,n} \cdot g_{2,n} = g$
contained in
$\Gamma (\Pi ,\mathcal {X})_{\chi }$
.
Remark. Note that in Lemma 2.2 we do not, nor can we, assume that
$\chi _{2} \in \Sigma ^{1}(\Pi _2)$
; the regular characters on
$\Pi $
provided by that lemma may appear at first sight surprising. However, for instance, a careful analysis based on Eq. (2) of the BNS invariants of
$F_2 \times F_2$
, thought of as free amalgamated product of two copies of
$F_2 \times \Bbb {Z}$
(whose BNS invariant is easily computed), reveals that there exist regular characters that restrict to exceptional ones on one (but not both) of the factors. In fact, the combination of Lemmata 2.1 and 2.2 provides the entirety of
$\Sigma ^{1}(F_2 \times F_2)$
.
There is another technical lemma that guarantees the existence of a presentation of the group
$\Gamma $
that will be convenient in what follows. In order to state it, we will introduce a new definition.
Definition. Let
$\Gamma $
be a finitely generated group. Denote
$\operatorname {ab}\colon \Gamma \to H_{1}(\Gamma ;\Bbb {Z})/\mbox {Tor}$
the maximal free abelian quotient map. We will say that a presentation of
$\Gamma $
with a generating set
$(h_1,\dots ,h_m,g_{1},\dots ,g_r)$
is adjusted to
$\operatorname {ab}$
if
$\operatorname {ab}(h_i), i = 1,\dots ,m$
is a basis of
$H_{1}(\Gamma ;\Bbb {Z})/\mbox {Tor} \cong \Bbb {Z}^m$
and
$g_{1},\dots ,g_r \in \mbox {ker}\; \operatorname {ab}$
.
For instance, the usual presentation of a surface group is adjusted to
$\operatorname {ab}$
, with
$r = 0$
. The following lemma shows that such a presentation always exists. It is certainly well known, but we provide a proof for completeness.
Lemma 2.3. Let
$\Gamma $
be a finitely generated group; then
$\Gamma $
admits a presentation adjusted to
$\operatorname {ab}$
.
Proof. Because
$\Gamma $
is finitely generated there exists an epimorphism
$\pi \colon \langle y_1,\dots ,y_r\rangle \to \Gamma $
(where
$\langle \dots \rangle $
is the free group on the given set). Let
$m=b_1(\Gamma )$
. We pick
$h_1,\dots ,h_m\in \Gamma $
such that
$\operatorname {ab}(h_1),\dots ,\operatorname {ab}(h_m)$
form a basis of
$H_1(\Gamma )/\mbox {Tor}$
. Let
$\sigma \colon \langle x_1,\dots ,x_m\rangle \to \Gamma $
be the unique homomorphism with
$\sigma (x_i)=h_i$
,
$i=1,\dots ,m$
. For
$j=1,\dots ,r$
we pick
$w_j\in \langle x_1,\dots ,x_m\rangle $
with
$\operatorname {ab}(\sigma (w_j))=\operatorname {ab}(\pi (y_j))$
. Let
$\tau \colon \langle x_{m+1},\dots ,x_{m+r}\rangle \to \Gamma $
be the unique homomorphism with
$\tau (x_{m+j})=\pi (y_j) \cdot \sigma (w_j)^{-1}$
. Note that the collection
$\{\sigma (x_i),\tau (x_{m+j}), i=1,\dots ,n, \,\ j=1,\dots ,r\}$
is a generating set for
$\Gamma $
. It follows that the epimorphism
$\sigma *\tau \colon \langle x_1,\dots ,x_{m+n}\rangle \to \Gamma $
defines a presentation of
$\Gamma $
with the desired properties.
Note that, given a presentation adjusted to
$\operatorname {ab}$
, we can and we will associate a basis
$e_i, i = 1,\dots ,m$
for
$\mbox {Hom}(\Gamma ,\Bbb {Z}) = H^{1}(\Gamma ;\Bbb {Z})$
via
$e_{i}(h_{j}) = \delta _{ij}, i,j = 1,\dots ,m$
.
Now we are in position to prove our main result.
Theorem 2.4. Let G be a finitely generated group that can be written as group extension
$$ \begin{align} 1 \longrightarrow K \stackrel{i}{\longrightarrow} G \stackrel{f}{\longrightarrow} \Gamma \longrightarrow 1 \end{align} $$
where K is a finitely generated group. Assume furthermore that
$b_1(G)> b_1(\Gamma ) = m > 0$
. Then G algebraically fibres.
Proof. Because G is finitely generated, so is
$\Gamma $
. We choose a presentation of
$\Gamma $
adjusted to
$\operatorname {ab}$
and, correspondingly, denoting
$n = m + r$
we have an epimorphism
$F_n \to \Gamma $
.
This epimorphism induces a diagram
where all vertical maps are epimorphisms.
Observe that we can write
$\Pi $
as amalgamated product
$$ \begin{align*} \Pi = \Pi_{1} \ast_K \Pi_2 \ast_K \dots \ast_K \Pi_n \end{align*} $$
where each
$\Pi _i$
has the form of HNN extension
$\Pi _i = \langle K,s_i|s_i k s_i^{-1} = f_i(k) \rangle $
for some automorphism
$f_i\colon K \to K$
. There are many ways to see that explicitly; for instance, by applying to
$\Pi $
the method to write a presentation of group extensions, as described, for example, in [Reference Johnson10, Section 10.2].
The mapping torus structure of
$\Pi _i$
guarantees the existence of a sequence
$$ \begin{align*} 1 \longrightarrow K \longrightarrow \Pi_i \stackrel{\alpha_i}{\longrightarrow} \Bbb{Z} \longrightarrow 0. \end{align*} $$
Because they vanish on K, each of these maps
$\alpha _i\colon \Pi _i \to \Bbb {Z}$
extends to an epimorphism (which we denote with the same symbol)
$\alpha _{i}\colon \Pi \to \Bbb {Z}$
. The first m of these elements, identified with primitive elements of
$H^1(\Pi ;\Bbb {Z})$
, can be thought of as pullback of the classes
$e_i \in H^1(\Gamma ;\Bbb {Z})$
built from the adjusted presentation of
$\Gamma $
under the monomorphism
$H^1(\Gamma ;\Bbb {Z}) \to H^{1}(F_n;\Bbb {Z}) \to H^{1}(\Pi ;\Bbb {Z})$
; by commutativity of the diagram in (7) we can also view
$\alpha _i$
as pullback of the class
$a_i = f^{*}e_i \in H^{1}(G;\Bbb {Z})$
. The remaining r classes
$\alpha _i \in H^1(\Pi ;\Bbb {Z})$
, which by construction do not pull back from
$\Gamma $
nor G, will play little role in what follows.
Because the action of
$F_{n}$
on
$H^{1}(K;\Bbb {Z})$
factors through
$F_n \to \Gamma $
, the assumption that
$b_1(G)> b_1(\Gamma )$
entails that the
$\alpha _i$
s do not generate the entire group
$H^1(\Pi ;\Bbb {Z})$
or, equivalently, the image of
$H_1(K;\Bbb {R})_{F_n} \to H_1(\Pi ;\Bbb {R})$
is nonzero. In particular, we can assume the existence of a class
$\gamma \in H^{1}(\Pi ;\Bbb {Z})$
, pullback of a class
$c \in H^1(G;\Bbb {Z})$
that is not in the image of
$H^{1}(\Gamma ;\Bbb {Z}) \to H^{1}(G;\Bbb {Z})$
. Restricted to each
$\Pi _{i}$
, the class
$\gamma _{i} = \gamma |_{\Pi _{i}}\colon \Pi _{i} \to \Bbb {Z}$
is not a multiple of
$\alpha _i$
, because it does not vanish on each
$K \unlhd \Pi _{i} \leq \Pi $
; in fact, for each i, the image of
$\gamma _i$
under the map
$H^{1}(\Pi _i;\Bbb {Z}) \to H^{1}(K;\Bbb {Z})^{\Bbb {Z}}$
is nontrivial, because the inclusion
$\Bbb {Z} \to F_n$
induces an epimorphism
$H^{1}(K;\Bbb {Z})^{\Bbb {Z}} \to H^{1}(K;\Bbb {Z})^{F_n}$
and
$\gamma $
has nontrivial image in the latter, because the action of
$F_{n}$
on
$H^{1}(K;\Bbb {Z})$
factors through
$F_n \to \Gamma $
.
Consider now the partial amalgamation
$$ \begin{align*} \Pi_A := \Pi_{1} \ast_K \Pi_2 \ast_K \dots \ast_K \Pi_m \leq \Pi \end{align*} $$
of the first m factors of
$\Pi $
. For each factor
$\Pi _i, i = 1,\dots ,m$
, we define the classes
$$ \begin{align*} \beta_i := \alpha_i + \mu \gamma_i\colon \Pi_i \longrightarrow \Bbb{R} \end{align*} $$
where
$\mu $
is a rational number.
Because these classes agree on the amalgamating subgroups K, they define a class
$\beta _A\colon \Pi _A \to \Bbb {R}$
by the condition
$\beta _A|_{\Pi _i} = \beta _i$
. Without loss of generality, because
$\mu $
is rational, we can assume that the resulting
$\beta _A\colon \Pi _{A} \to \Bbb {R}$
has values in
$\Bbb {Z}$
, and by construction
$\beta _{A}$
is the pullback of a class
$b_{A} \in H^1(G;\Bbb {Z})$
.
At this point we want to use Lemma 2.1 to show that, choosing
$\mu $
small enough, the character determined by
$\beta _A$
is in
$\Sigma ^{1}(\Pi _A)$
. First, because
$[\alpha _i]$
is in
$\Sigma ^{1}(\Pi _i)$
and the latter is open in
$S(\Pi _i)$
, we can assume that for
$\mu $
small enough each
$[\beta _i]$
is still in
$\Sigma ^{1}(\Pi _i)$
. Next, we claim that
$[\beta ]$
is nontrivial on each amalgamating subgroup K. In fact, on each
$\Pi _i$
we have a diagram
By contradiction, if
$\beta _i(K) = 0$
we would have
$K \unlhd \mbox {ker} \hspace {1pt} \beta _{i}$
and there would be a short exact sequence
$$ \begin{align*} 1 \longrightarrow \mbox{ker} \hspace{1pt} \beta_{i}/ K \longrightarrow \Pi_i/K \longrightarrow \Pi_i/\mbox{ker} \hspace{1pt} \beta_{i} \longrightarrow 0; \end{align*} $$
because the latter two groups are infinite cyclic, a surjection is an isomorphism from which it would follow that
$K \cong \mbox {ker} \hspace {1pt} \beta _{i}$
. But this would imply that
$\beta _i$
is a multiple of
$\alpha _i$
, and then so would
$\gamma _{i}$
, contrary to our assumption. Next we can invoke (inductively) Lemma 2.1, which asserts that
$[\beta _A] \in \Sigma ^{1}(\Pi _A)$
as long as
$[\beta _A|_{\Pi _i}] = [\beta _i] \in \Sigma ^{1}(\Pi _i)$
and
$[\beta _A]$
is nontrivial on each amalgamating subgroup K. Therefore,
$[\beta _A] \in \Sigma ^{1}(\Pi _A)$
.
The argument above can be applied verbatim for the class
$-\beta _A \in H^{1}(\Pi _A;\Bbb {Z})$
; the key point is that, by construction, also the character
$[-\alpha _i] \in \Sigma ^{1}(\Pi _i)$
. Summing up, both
$[\beta _A],[-\beta _A] \in \Sigma ^1(\Pi _A)$
; hence,
$\mbox {ker} \hspace {1pt} \beta _A$
is finitely generated.
In the case where we can choose
$r = 0$
(e.g., when
$\Gamma $
is a surface group or the free group itself) we have
$\Pi _A = \Pi $
and we would be (essentially) done. But if
$r> 0$
we have another hurdle, namely, choosing an extension of
$\beta _A$
to
$\Pi $
. Obviously, we could follow the pattern above and define
$\beta _i := \alpha _i + \mu \gamma _i$
also for the remaining factors. This would give us an algebraic fibration of
$\Pi $
, but the fibration would not descend to G: the classes
$\alpha _i, i = m+1,\dots ,n$
are not pullback of classes on G!
The correct way to proceed is, in some sense, counterintuitive. In fact, on the partial amalgamation of the last r factors of
$\Pi $
$$ \begin{align*} \Pi_B := \Pi_{m+1} \ast_K \Pi_2 \ast_K \dots \ast_K \Pi_n \leq \Pi, \end{align*} $$
we define
$\beta _B := \mu \gamma |_{\Pi _B}$
. Because
$\mu $
is rational, we can assume (after simultaneous rescaling if necessary) that
$\beta _{A}\colon \Pi _{A} \to \Bbb {Z}$
,
$\beta _{B}\colon \Pi _{B} \to \Bbb {Z}$
are homomorphisms that satisfy
$\beta _{A}|_K = \mu \gamma |_{K} = \beta _{B}|_K$
, because on K the
$\alpha _i$
vanish, hence giving (after rescaling if necessary) a well-defined epimorphism
$$ \begin{align*} \beta\colon \Pi = \Pi_A *_K \Pi_B \to \Bbb{Z}. \end{align*} $$
This epimorphism factorises through
$\Pi \to G$
, because by construction it is a sum of classes that do. Note that (and this is the key property) on
$\Pi _{i}, i = m+1,\dots ,n$
we have
$\beta _{i}(s_i) = 0$
; in fact, for
$i = m+1,\dots ,n$
, the epimorphism
$\gamma _{i}\colon \Pi _i \to \Bbb {Z}$
sends the stable letter
$s_i$
to
$0 \in \Bbb {Z}$
, because the image of
$s_i$
in
$\Gamma $
belongs to
$\mbox{ker}\;\operatorname{ab}$
.
We can now apply inductively Lemma 2.2 to
$\beta $
. As a first step, consider
$\Pi_{A}{\ast}_{K}\Pi_{m+1}$
;
$[\beta _A] \in \Sigma ^{1}(\Pi _A)$
and
$[\beta _{K}] \in S(K)$
while
$[\beta _{m+1}] (s_{m+1}) = 0$
; Lemma 2.2 gives that
$[\beta _{\Pi _A {\ast}_{K} \Pi _{m+1}}] \in \Sigma ^{1}(\Pi _{A} {\ast}_{K} \Pi _{m+1})$
, and we can then repeat the process for the remaining factors
$\Pi _{i}$
.
As before, we can repeat this argument for the class
$-\beta \in H^{1}(\Pi ;\Bbb {Z})$
, to deduce that both
$[\beta ],[-\beta ] \in \Sigma ^{1}(\Pi )$
; hence,
$\mbox {ker} \hspace {1pt} \beta $
is finitely generated.
Finally, because
$\beta \colon \Pi \to \Bbb {Z}$
factorises through
$\Pi \to G$
, we have the diagram
where
$b \in H^{1}(G;\Bbb {Z})$
, which entails that the finitely generated group
$\mbox {ker} \hspace {1pt} \beta $
surjects onto
$\mbox {ker} \hspace {1pt} b$
, which is therefore finitely generated as well. Hence
$b \in H^{1}(G;\Bbb {Z})$
represents an algebraic fibration.
Remarks.
-
(1) The reader may have noticed that in the proof of Theorem 1 we actually need to make use of only one (or any subcollection) of the terms
$\alpha _{i} \in H^{1}(\Pi ;\Bbb {Z}), i = 1,\dots ,m$
(say
$i=1$
) and not all simultaneously. This follows by applying Lemma 2.2 inductively to the class
$\beta _1 := \alpha _1 + \mu \gamma _1$
starting with
$\Pi _{1} *_{K} \Pi _2$
and repeating the argument until exhausting
$\Pi $
. This bypasses the use of Lemma 2.1. -
(2) In Version 2 of [Reference Kropholler and Walsh13] the authors have now provided a concurrent proof for the case
$n = \mbox {rank}(\Gamma ) = b_1(\Gamma )$
of Theorem 1. -
(3) Note that this theorem holds true for simple reasons when
$\Gamma $
algebraically fibres.
The result above has some consequences in the study of the coherence of the fundamental group of a surface bundle over a surface
$F \hookrightarrow X \to B$
. In fact, using Theorem 1 we can give a proof of a corollary that extends to surface bundles with (virtual) Albanese dimension
$2$
the results of [Reference Friedl and Vidussi7].
Corollary 2.5. Let
$F \hookrightarrow X \to B$
be a surface bundle over a surface with both base and fibre of genus greater than
$1$
. If its Albanese dimension
$a(X) = 2$
, then the first BNS invariant and the second BNSR invariant of its fundamental group
$G = \pi _1(X)$
satisfy the relation
$$ \begin{align*} \Sigma^2(G) \subsetneq \Sigma^1(G) \subsetneq S(G), \end{align*} $$
and G is noncoherent. If
$va(X) = 2$
, G is noncoherent.
‘
Proof. Let X have Albanese dimension
$2$
; by Theorem 2.4, there exists an epimorphism
$b\colon G \to \Bbb {Z}$
with finitely generated kernel
$\mbox {ker} \hspace {1pt} b$
; hence,
$[b],[-b] \in \Sigma ^1(G)$
. By [Reference Hillman8, Theorem 4.5(4)]
$\mbox {ker} \hspace {1pt} b$
would have type
$FP_2$
if and only if the Euler characteristic
$\chi (X) = 0$
; because here
$\chi (X) = (2g(F)-2)(2g(B)-2)> 0$
,
$\mbox {ker} \hspace {1pt} b$
is not finitely presented. Therefore, at least one among
$[b],[-b]$
is not in
$\Sigma ^2(G)$
.
We want to give a second, and somewhat different, proof of noncoherence, based on the work of [Reference Kropholler and Walsh13] that avoids the use of the BNS invariant of G.
Consider any subgroup
$F_2 \leq \Gamma $
and the corresponding commutative diagram
with self-explaining notation where all vertical arrows are monomorphisms. Now, by standard group homology,
$$ \begin{align*} H_{1}(K;\Bbb{R})_{F_2} \longrightarrow H_1(K;\Bbb{R})_{\Gamma}\end{align*} $$
is an epimorphism. As discussed in the Introduction, the assumption
$a(X) = 2$
is equivalent to the nontriviality of
$H_1(K;\Bbb {R})_{\Gamma }$
and so implies the nontriviality of
$H_{1}(K;\Bbb {R})_{F_2}$
. At this point, we invoke [Reference Kropholler and Walsh13, Theorem 4.5] where they show that if K is a group that does not algebraically fibre (as is our case), a group
$\Lambda $
that is K-by-
$F_2$
and has nontrivial
$H_{1}(K;\Bbb {R})_{F_2}$
is noncoherent. Because
$\Lambda $
is noncoherent, so is G.
If
$va(X) = 2$
, a finite cover of X will satisfy this property; hence, the fundamental group of X will not be coherent as well.
One can ask whether the techniques of Theorem 1 can be extended to a complete characterisation of the BNS invariant
$\Sigma ^1(G)$
, at least for the case of surface bundles over a surface. This appears challenging on several grounds. The first can be appreciated by pointing out the complexity of the situation already in the case of Kodaira fibrations. Delzant [Reference Delzant6] showed that as long as
$a(X) = 2$
, the first BNS invariant is the complement of the pullback of the character spheres of the bases of all irrational pencils
$h_i\colon X \to B_i$
with base a hyperbolic orbisurface. (This includes, whenever possible, surface bundle maps with base of genus bigger than
$1$
.) From the group-theoretical viewpoint, these correspond to short exact sequences for
$G = \pi _1(X)$
of the form
$$ \begin{align} 1 \longrightarrow M_i \longrightarrow G \stackrel{h_i}{\longrightarrow} C_i \longrightarrow 1 \end{align} $$
where
$C_i$
is the fundamental group of the hyperbolic orbisurface
$B_i$
and
$M_i$
is a finitely generated group (see, e.g., [Reference Catanese5]). As a consequence,
$\Sigma ^{1}(G)$
is the complement of a finite collection of spheres of codimension at least
$2$
, pullback of the character spheres of the orbisurfaces. An example of this phenomenon arises already in the case of doubly fibreed Kodaira fibrations (such as Atiyah and Kodaira’s original examples). Moreover, there exist examples even of Kodaira fibrations that also admit pencils with multiple fibres (see [Reference Bregman3]). But for the case of (non-Kähler) surface bundles the situation can be even more complex, as the following construction shows.
Proposition 2.6. There exists a surface bundle
$F \hookrightarrow X \stackrel {f}{\rightarrow } B$
with base and fibre of genus greater than
$1$
whose fundamental group G admits an epimorphism
$g\colon G \to F_2$
such that
$H^1(G;\Bbb {R}) = f^{*}H^{1}(\Gamma ;\Bbb {R}) \oplus g^{*}H^{1}(F_2;\Bbb {R})$
, where
$\Gamma := \pi _1(B)$
, and so that the set of exceptional characters contains two disjoint spheres
$$ \begin{align*} f^{*}(\Sigma^{1}(\Gamma)^{c}) \cup g^{*}(\Sigma^{1}(F_2)^{c})\,\subset\, \Sigma^{1}(G)^{c}. \end{align*} $$
Moreover, for any epimorphism
$h\colon G \to C$
onto the fundamental group of a hyperbolic orbisurface C such that the kernel is finitely generated we have
$g^{*}(\Sigma ^{1}(F_2)^{c})\cap h^*(\Sigma ^1(C)^c)=\emptyset $
.
Proof. We begin with the somewhat lengthy but otherwise straightforward construction of X.
Let F be a surface of genus
$2$
and let
$$ \begin{align*} K := \langle \alpha_i,\beta_i|\prod_{i=1}^2 [\alpha_i,\beta_i]= 1 \rangle \end{align*} $$
be a standard presentation of its fundamental group. (Above and in the rest, we will always assume implicitly that
$i = 1,2$
.) Define an automorphism
$\varphi \in \mbox {Aut}(K)$
as follows: let
$$ \begin{align*} \varphi(\alpha_i) = \alpha_i \beta_i; \,\ \varphi(\beta_i) = \beta_i; \end{align*} $$
a straightforward calculation shows that
$\varphi (\prod _{i=1}^2 [\alpha _i,\beta _i]) = \prod _{i=1}^2 [\alpha _i,\beta _i]$
; hence,
$\varphi $
is well defined; it is immediate to verify that
$$ \begin{align*} \varphi^{-1}(\alpha_i) = \alpha_i \beta^{-1}_i; \,\ \varphi^{-1}(\beta_i) = \beta_i \end{align*} $$
is similarly well defined and a two-sided inverse to
$\varphi $
. We can lift
$\varphi \in \mbox {Aut}(K)$
to a self-diffeomorphism of F (which can be easily proven to be orientation-preserving), that we denote as well by
$\varphi \colon F \to F$
, which induces the above automorphism on the fundamental group K. Out of that, we can define a fibred
$3$
-manifold N as the mapping torus of
$\varphi \colon F \to F$
. Its fundamental group is given by
$$ \begin{align*} \pi_1(N) = K \rtimes_{\varphi} \Bbb{Z} = \langle \alpha_i,\beta_i,t|\alpha_i^t = \alpha_i \beta_i, \beta_i^t = \beta_{i},\prod_{i=1}^2 [\alpha_i,\beta_i] = 1 \rangle. \end{align*} $$
The
$4$
-manifold
$S^1 \times N$
has the structure of F-bundle over
$T^2$
. We can pick a trivial framing of F in
$S^1 \times N$
and in the product bundle
$F \times T^2 \to T^2$
to define the fibre sum
$$ \begin{align*} X := S^1 \times N \#_F F \times T^2 = S^1 \times N \setminus F \times D^2 \cup_{F \times \partial D^2} F \times (T^2 \setminus D^2), \end{align*} $$
choosing any identification of the fibres and an orientation-reversing diffeomorphism of
$\partial D^2$
to get a surface bundle X of fibre F over a genus-
$2$
surface B. It is not difficult to compute the resulting fundamental group using the Seifert–Van Kampen theorem:
$S^1 \times N \setminus F \times D^2$
deformation retracts to a topological bundle over
$S^1 \vee S^1$
, with monodromy
$\varphi $
along one factor and trivial monodromy on the other, so that
$$ \begin{align*} \pi_1(S^1 \times N \setminus F \times D^2) = \langle \alpha_i,\beta_i,s,t|\alpha_i^t = \alpha_i \beta_i, \beta_i^t = \beta_{i},\alpha_i^s = \alpha_i, \beta_i^s = \beta_{i},\prod_{i=1}^2 [\alpha_i,\beta_i] = 1 \rangle \end{align*} $$
and
$$ \begin{align*} \pi_1(F \times (T^2 \setminus D^2)) = \langle \alpha_i,\beta_i,x,y|a_i^x=a_i,b_i^x=b_i,a_i^y=a_i,b_i^y=b_i,\prod_{i=1}^2 [\alpha_i,\beta_i] = 1 \rangle. \end{align*} $$
Amalgamation identifies the generators of
$\pi _1(F)$
according to their symbols and adds the relation
$[s,t][x,y] = 1$
, so that
$G = \pi _1(X)$
is given by
$$ \begin{align*} G = \langle \alpha_i,\beta_i,s,t,x,y|\alpha_i^t = \alpha_i \beta_i, \beta_i^t = \beta_{i},\alpha_i^s = \alpha_i, \beta_i^s = \beta_{i},\prod_{i=1}^2 [\alpha_i,\beta_i] = 1, [s,t][x,y] = 1 \rangle. \end{align*} $$
We can proceed now to show that X satisfies the properties of the statement. The key strategy, which dates back in this context at least to the work of Johnson ([Reference Johnson11]; see also [Reference Catanese5, Reference Salter15]), is based on the fact that finitely generated normal subgroups of free groups or hyperbolic orbisurface groups are either trivial or finite index.
Following the usual notation, we have the quotient map
$G \stackrel {f}{\longrightarrow } \Gamma $
according to the sequence in (1). In addition, we can identify a second infinite quotient of G: define a map
$g\colon G \to F_2$
, the free nonabelian group on two generators, by sending
$\alpha _1$
and
$\alpha _2$
to the two generators while all other generators are sent to the trivial element. A straightforward calculation shows that all of the relations in the presentation of G are sent to the trivial element, namely,
$g\colon G \to F_2$
is well defined. (A long exercise – which we do not recommend to the reader – in Reidemeister–Schreier rewriting process shows that
$\Lambda := \mbox {ker} \hspace {1pt} g$
surjects to
$\Bbb {Z}^{\infty }$
and, in particular, is not finitely generated.) The setting relating the two quotients of G is described in the following diagram:
We can see explicitly that
$g(K) = F_2$
, from which we deduce that
$K\Lambda = G$
. This entails that
$f^*H^1(\Gamma ;\Bbb {R}) \cap g^*H^1(F_2;\Bbb {R}) = \{0\}$
. Now
$\mbox {dim}H^1(G;\Bbb {R}) = 6$
; hence, there is a direct sum decomposition
$$ \begin{align} H^1(G;\Bbb{R}) = f^*H^1(\Gamma;\Bbb{R}) \oplus g^*H^1(F_2;\Bbb{R}) .\end{align} $$
We therefore obtain from [Reference Strebel16, Corollary B1.8] that
$$ \begin{align} f^{*}(\Sigma^{1}(\Gamma)^{c}) \cup g^{*}(\Sigma^{1}(F_2)^{c})\,\subset \,\Sigma^{1}(G)^{c}. \end{align} $$
Note that (11) and (12) imply that the complement of the BNS invariant of G – that is, the set of exceptional characters – contains at least two spheres, one of codimension
$2$
and one of codimension
$4$
, the latter determined by
$g^*H^1(F_2;\Bbb {R})$
. We claim that no exceptional characters in
$g^{*}(\Sigma ^{1}(F_2)^{c})$
factorise through a second surface bundle structure or a pencil-type sequence as in Eq. (10).
To prove this claim, assume by contradiction that
$g^{*}(\Sigma ^{1}(F_2)^{c}) \cap h^{*}(\Sigma ^{1}(C)^{c}) \neq \emptyset $
where
$h\colon G\to C$
is an epimorphism onto a hyperbolic orbisurface group such that
$M:=\mbox {ker} \hspace {1pt} h $
is finitely generated. We will start by showing that this entails that
$g\colon G \to F_2$
factorises through
$h\colon G \to C$
. Consider the diagram
Now
$g(M) \leq F_2$
is a finitely generated normal subgroup of
$F_2$
; hence, it must be trivial or finite index. If it were finite index, then
$M \Lambda \leq G$
would be finite index and
$g^*H^1(F_2;\Bbb {R}) \cap h^*H^1(C;\Bbb {R})= \{0\}$
, which would imply
$g^{*}(\Sigma ^{1}(F_2)^{c}) \cap h^{*}(\Sigma ^{1}(C)^{c}) = \emptyset $
. It follows that we must have
$g(M) \leq F_2$
trivial. This entails
$M \leq \Lambda $
; hence,
$G/M = C$
admits an epimorphism onto
$G/\Lambda = F_2$
or, phrased otherwise,
$g\colon G \to F_2$
factorises through
$h\colon G \to C$
. Next, we will show that this factorisation is not compatible with having
$b_1(G) = 6$
. In fact, this would yield the diagram
Now
$h(K) \leq C$
is a finitely generated normal subgroup of C, so again it can be either trivial or finite index. It cannot be trivial, because
$g(K) \leq F_2$
is already nontrivial, so
$h(K) \leq C$
is finite index. Once again,
$KM \leq G$
is finite index. But then we would have
$f^*H^1(\Gamma ;\Bbb {R}) \cap h^*H^1(C;\Bbb {R}) = \{0\}$
. Now an explicit check shows that an orbisurface group C with an
$F_2$
quotient must have
$b_1(C) \geq 4$
; hence, we would have
$b_1(G) \geq b_1(\Gamma ) + b_1(C) \geq 8$
, which violates the condition
$b_1(G) = 6$
.
Remark. Note that the information on the BNS invariant of
$G = \pi _1(X)$
contained in the above Proposition 2.6 informs us already that G cannot be a Kähler group, because it violates the conclusions of [Reference Delzant6]. Alternatively, we could use Catanese’s version of the Castelnuovo–de Franchis theorem (see [Reference Catanese4]) to argue that if G were Kähler, the map g would have to factor through a map to a orbisurface group of genus at least
$2$
. But this would require, again, that
$b_{1}(G) \geq 8$
.
Acknowledgement
The authors thank the referee for carefully reading the article. SF was supported by the SFB 1085 ‘higher invariants’, which is supported by the Deutsche Forschungsgemeinschaft DFG. SV was supported by the Simons Foundation Collaboration Grant For Mathematicians 524230.
Competing Interest
None.
