Surface bundles over surfaces: new inequalities between signature, simplicial volume and Euler characteristic

Abstract

We present three new inequalities tying the signature, the simplicial volume and the Euler characteristic of surface bundles over surfaces. Two of them are true for any surface bundle, while the third holds on a specific family of surface bundles, namely the ones that arise through ramified coverings. These are among the main known examples of bundles with non-zero signature.

Introduction

Surface bundles over surfaces form an interesting family of 4-manifolds that give rise to several questions: for example, do such manifolds with non-zero signature exist? If yes, which values does the signature take? What are the minimal base and fibre genera required to achieve a given signature? The relations and inequalities between signature and Euler characteristic of surface bundles have been widely studied, notably by Bryan, Catanese, Donagi, Endo, Korkmaz, Kotschick, Ozbagci, Rollenske, Stipsicz [5, 6, 10–12, 17].

In the present note we add the comparison to the simplicial volume of the total space, using tools from bounded cohomology. The simplicial volume can act as a bridge between the two other invariants, signature and Euler characteristic (for the definition of simplicial volume, see Sect. 2.2).

For any surface bundle E over a surface, the best known inequality between the signature $\sigma (E)$ and the Euler characteristic $\chi (E)$ is due to Kotschick [17]:

$$\begin{array}{c}\hfill 2|\sigma (E)|\le \chi (E).\end{array}$$

Kotschick also obtained the stronger inequality $3|\sigma (E)|<\chi (E)$ in some special cases [18]. The first author’s work on simplicial volume of surface bundles [8] produced an inequality between simplicial volume and Euler characteristic of aspherical surface bundles:

$$\begin{array}{c}\hfill 6\chi (E)\le \Vert E\Vert .\end{array}$$

We compare here the signature to the simplicial volume of general surface bundles over surfaces and obtain:

Theorem 1.1

Let E be an oriented surface bundle over a surface, with closed oriented base and fibre. Then

$$\begin{array}{c}\hfill 36|\sigma (E)|\le \Vert E\Vert .\end{array}$$

Observe that this is stronger than the combination of Kotschick’s and the first author’s inequalities, which only give $12|\sigma (E)|\le \Vert E\Vert$, or $18|\sigma (E)|<\Vert E\Vert$ in the special cases of [18]. The inequality of Theorem 1.1 is also strictly stronger than the value produced by the up to now best example [10, Theorem A], which is $27|\sigma (E)|\le \Vert E\Vert$.

The simplicial volume remains very hard to compute explicitly. In fact, the exact values in non-vanishing cases are known only for hyperbolic manifolds (due to Gromov–Thurston [14, 22]) and for locally $({\mathbb{H}}^2\times {\mathbb{H}}^2)$-manifolds, so in particular for products of surfaces [7].

We can give a lower bound on $\Vert E\Vert$ under the form of the ${\ell }_1$-norm of a distinguished 2-homology class:

Proposition 1.2

Let E be an oriented surface bundle over a surface, with closed oriented base and fibre. Let $\left[N\right]$ be the Poincaré dual of the Euler class of the tangent bundle along the fibre of E . Then

$$\begin{array}{c}\hfill \Vert \left[N\right]{\Vert }_1\le \frac{1}{3}\Vert E\Vert .\end{array}$$

The tangent bundle along the fibre will be defined in Sect. 2.3. Observe that the dual of this Euler class can be represented by a subsurface of E, hence once we know its minimal genus we will be able to compute its ${\ell }_1$-norm. Unfortunately for now the known lower bounds on $\Vert \left[N\right]{\Vert }_1$ do not produce better inequalities for $\Vert E\Vert$ than the already existing ones.

Signatures remain, analogously to simplicial volume, quite hard to calculate for general surface bundles and are essentially only computed for bundles coming from specific constructions: differences of Lefschetz fibrations or ramified coverings. More recently, Baykur used yet another method in [2], namely horizontal and vertical stabilizations, and obtained infinite families of surface bundles with non-zero signature. We will specialise to the examples arising through ramified coverings (see Sect. 5 for the definition and notations) and prove:

Theorem 1.3

Let E be a surface bundle as in Sect. 5. Then

$$\begin{array}{c}\hfill \Vert E\Vert \ge 6\chi (E)+6|\chi ({\mathrm{\Sigma }}^{\prime })|(d-1),\end{array}$$

where ${\mathrm{\Sigma }}^{\prime }$ is the base of the bundle and d is the degree of the ramified covering.

Remark that this improves the inequality $\Vert E\Vert \ge 6\chi (E)$ of the first author. It constitutes the first example of surface bundles over surfaces for which the strict inequality $\Vert E\Vert >6\chi (E)$ is shown.

In the next section we recall the definitions of the invariants under consideration and the main tools to compute them. We devote Sect. 3 to the proof of Theorem 1.1 and Sect. 4 to the proof of Proposition 1.2. The bundles related to ramified coverings will be treated in Sect. 5.

Definition of the invariants

In what follows we study oriented surface bundles over surfaces $F\hookrightarrow E\stackrel{\pi }{\twoheadrightarrow }B$, where both F and B, and hence E, are closed.

While the Euler characteristic does not need to be redefined, let us just recall that it is multiplicative in the base and the fibre of a bundle, that is it satisfies

$$\begin{array}{c}\hfill \chi (E)=\chi (F)\chi (B).\end{array}$$

In particular all the bundles with same base and fibre have the same Euler characteristic.

Signature

The signature of a closed connected oriented 4k-manifold M, where $k\in \mathbb{N}$, is defined as follows.

Consider the bilinear form induced by the cup product on the middle-dimensional cohomology groups:

$$\begin{array}{c}\hfill \begin{array}{cccc}\hfill \cup :& \hfill H^{2k}(M,\mathbb{Z})\times H^{2k}(M,\mathbb{Z})& ⟶& H^{4k}(M,\mathbb{Z})\cong \mathbb{Z}\hfill \\ \hfill & \hfill (\alpha ,\beta )& ⟼& \alpha \cup \beta .\hfill \end{array}\end{array}$$

As $\alpha \cup \beta ={(-1)}^{2k·2k}\beta \cup \alpha =\beta \cup \alpha$, the form is symmetric. Thus all its eigenvalues are real, and we can compute its signature in $\mathbb{Z}$ as the number of positive eigenvalues $b_2^{+}(M)$ minus the number of negative eigenvalues $b_2^{-}(M)$. The 0 eigenvalues are neglected.

The signature of M, denoted by $\sigma (M)$, is the signature of the above bilinear form.

Simplicial volume

Let X be a topological space.

One can define a semi-norm on homology classes in the singular homology: let $\zeta \in H_k(X,\mathbb{R})$ be a homology class. Then

where ${\sigma }_i:{\mathrm{\Delta }}^k\to X$ denotes a singular simplex of dimension k. We call this semi-norm the ${\ell }_1$ -norm.

The simplicial volume of a closed oriented manifold M of dimension n is then defined as the ${\ell }_1$-norm of its (real) fundamental class [M],

This invariant was introduced by Gromov in [14]. The simplicial volume has many facets: among others, it is a topological measure of the complexity of a manifold, it gives restrictions on the geometries a manifold can carry and admits immediate degree theorems.

We will also need the norm commonly used in the theory of bounded cohomology, but which we consider on standard singular cohomology classes. Let $\beta \in H^k(X,\mathbb{R})$ be a cohomology class. The norm of $\beta$ (indeed a semi-norm) is defined as the infimum of the sup norm of all cochains representing $\beta$:

Note that it is possible that ${\Vert b\Vert }_{\infty }=\infty$ for every such b and in particular that $\Vert \beta \Vert =\infty$.

We will use the following relationship between ${\ell }_1$-norm and sup norm:

Proposition 2.1

([3], Proposition F.2.2) Let $\beta \in H^k(X,\mathbb{R}),\zeta \in H_k(X,\mathbb{R})$ as above. Then

$$\begin{array}{c}\hfill \frac{|〈\beta ,,,\zeta 〉|}{\Vert \beta \Vert }\le {\Vert \zeta \Vert }_1.\end{array}$$

If M is an oriented compact n-dimensional manifold and $\beta \in H^n(M,\mathbb{R})$ is a cohomology class of degree n, then

$$\frac{|〈\beta ,,,\left[M\right]〉|}{\Vert \beta \Vert }=\Vert M\Vert .$$

The Euler class

Let E, as above, be a surface bundle $F\hookrightarrow E\stackrel{\pi }{\twoheadrightarrow }B$. One defines its tangent bundle along the fibre as

$$\begin{array}{c}\hfill T\pi =\{v\in TE\mid {\pi }_{\ast }(v)=0\}.\end{array}$$

As an oriented vector bundle, it has an Euler class. We call it the Euler class of the bundle E and denote it by $e\in H^2(E,\mathbb{Z})$ — not to be confused with the Euler class in top degree of E. Its Poincaré dual $e\cap [E]\in H_2(E,\mathbb{Z})$ will be denoted by [N]. Note that [N], as a degree 2 homology class in a 4-manifold, is representable by a subsurface of E (see for example [15]).

The class e has a quite explicit representative, which can be described as follows (see also [8, Section 3]). The holonomy morphism of the bundle $F\hookrightarrow E\stackrel{\pi }{\twoheadrightarrow }B$ gives rise to the following diagram: where g is the genus of the fibre F and ${\mathcal{M}}_g$ its mapping class group, while ${\mathcal{M}}_{g,\ast }$ denotes the group of mapping classes of F fixing a given base point (see [20, Paragraphs 2 and 4]).

In $H^2({\mathrm{BHomeo}}_{+}(S^1),\mathbb{Z})\cong H^2({\mathrm{Homeo}}_{+}(S^1),\mathbb{Z})$ we have the Euler class $\chi$ that classifies flat $S^1$-bundles. Passing through the isomorphism $H^2(E,\mathbb{Z})\cong H^2({\pi }_1(E),\mathbb{Z})$, true for aspherical E, [20, Proposition 4.1], gives us $e={\varphi }^{\ast }(\chi )$.

Now the class $\chi$ can be represented by half the orientation cocycle on the circle [20, Proposition 4.3]. The orientation cocycle Or is a 2-cocycle defined as follows. Choose a point $x\in S^1$. Then:

$$\begin{array}{c}\hfill Or:\left\{\begin{array}{ccc}{({\mathrm{Homeo}}_{+}(S^1))}^3& ⟶& \mathbb{Z}\hfill \\ (g_0,g_1,g_2)& ⟼& \left\{\begin{array}{cc}& 1\text{if}{g}_{0}x,g_{1}x,g_{2}x\text{are distinct and positively oriented},\hfill \\ \hfill & 0\text{if two points among}{g}_{0}x,g_{1}x,g_{2}x\text{coincide},\hfill \\ \hfill & -1\text{if}{g}_{0}x,g_{1}x,g_{2}x\text{are distinct and negatively oriented}.\hfill \end{array}\right)\hfill \end{array}\right)\end{array}$$

It is alternating and its norm as a cocycle is obviously 1. Moreover the cohomology class it defines does not depend on the choice of x.

Therefore the class e can be represented by $\frac{1}{2}{\varphi }^{\ast }(Or)$, so that it has an alternating representative and has norm $\Vert e\Vert \le \frac{1}{2}$.

The signature of a surface bundle E over a surface as above can be computed using the following proposition:

Proposition 2.2

(See [21], Proposition 4.11) Let E be an oriented surface bundle over a surface, with closed oriented base and fibre. Then

$$\begin{array}{c}\hfill 3\sigma (E)=⟨e\cup e,[E]⟩.\end{array}$$

Proof of Theorem 1.1

Proof of Theorem 1.1

By Proposition 2.2, we have

$$〈e,\cup ,e,,,[,E,]〉=3\sigma (E).$$

On the other hand, by Proposition 2.1,

$$\begin{array}{c}\hfill |〈e,\cup ,e,,,[,E,]〉|=\Vert e\cup e\Vert ·\Vert E\Vert \le \frac{1}{12}\Vert E\Vert ,\end{array}$$

as $\Vert e\cup e\Vert \le \frac{1}{12}$ (see [9, formula on p. 337]). Hence

$$\begin{array}{c}\hfill \Vert E\Vert \ge 12·3|\sigma (E)|=36|\sigma (E)|.\end{array}$$

In 1998, Kotschick proved the following theorem:

Theorem 3.1

([17], Theorem 2) Let E be an aspherical surface bundle over a surface. Then

$$\begin{array}{c}\hfill 2|\sigma (E)|\le \chi (E).\end{array}$$

(Note that this is true even if F or B is the sphere, as the signature vanishes in these cases; see for example [6].) The first author then obtained the following result:

Theorem 3.2

([8], Corollary 1.3 and [7], Corollary 3) Let $F\hookrightarrow E\twoheadrightarrow B$ be an oriented surface bundle over a surface, with closed oriented base and fibre. Then

$$\begin{array}{c}\hfill \Vert E\Vert \ge \Vert F\times B\Vert .\end{array}$$

Furthermore, in the case of aspherical F and B, the simplicial volume of the product $F\times B$ admits the value

$$\begin{array}{c}\hfill \Vert F\times B\Vert =6\chi (F\times B).\end{array}$$

Remember that $\chi (E)=\chi (F)\chi (B)=\chi (F\times B)$ for any F-bundle over B. Putting everything together, we obtain:

$$\Vert E\Vert \ge \Vert F\times B\Vert =6\chi (E)\ge 12|\sigma (E)|.$$

In particular, the above inequality is weaker than the inequality of Theorem 1.1.

Proof of Proposition 1.2

In this section we will work with group homology and cohomology, making use of the isometric isomorphisms

$$\begin{array}{c}\hfill (H_{\ast }{(E,\mathbb{R}),\Vert ·\Vert }_1)\cong (H_{\ast }({\pi }_1(E),\mathbb{R}){,\Vert ·\Vert }_1)\end{array}$$

and

$$\begin{array}{c}\hfill (H^{\ast }(E,\mathbb{R}),\Vert ·\Vert )\cong (H^{\ast }({\pi }_1(E),\mathbb{R}),\Vert ·\Vert ).\end{array}$$

Slightly abusing notation, we will thus think of the fundamental class of E as an element $[E]\in H_4({\pi }_1(E),\mathbb{R})$ and of the Euler class of E as a (bounded) element $e\in H^2({\pi }_1(E),\mathbb{R})$. Recall the alternation of a chain:

Definition 4.1

Let $\mathrm{\Gamma }$ be a group, let $\underset{\_}{\gamma }=[{\gamma }_0,\dots ,{\gamma }_n]\in C_n(\mathrm{\Gamma },\mathbb{R})$ be a basis element in the homogeneous chain complex of $\mathrm{\Gamma }$. Define $\mathrm{Alt}(\underset{\_}{\gamma })$ by

$$\begin{array}{c}\hfill \mathrm{Alt}(\underset{\_}{\gamma })=\frac{1}{(n+1)!}\sum _{\tau \in \mathrm{Sym}(n+1)}\mathrm{sign}(\tau )[{\gamma }_{\tau (0)},\dots ,{\gamma }_{\tau (n)}]\in C_n(\mathrm{\Gamma },\mathbb{R}).\end{array}$$

Denote by ${\underset{\_}{\gamma }}^{\tau }$ the element $[{\gamma }_{\tau (0)},\dots ,{\gamma }_{\tau (n)}]$ obtained from $\underset{\_}{\gamma }$ by permuting the entries of $\underset{\_}{\gamma }$ by the permutation $\tau$.

The definition is extended by linearity on the whole group $C_n(\mathrm{\Gamma },\mathbb{R})$.

Remark 4.2

It is well known that a cycle and its alternation define the same class in $H_n(\mathrm{\Gamma },\mathbb{R})$, that is $[z]=[\mathrm{Alt}(z)]\in H_n(\mathrm{\Gamma },\mathbb{R})$ (see [13, Appendix B] for a proof).

Remark 4.3

Using the triangle inequality, one readily sees that for any $z\in C_n(\mathrm{\Gamma },\mathbb{R})$,

$$\begin{array}{c}\hfill {\Vert \mathrm{Alt}(z)\Vert }_1\le {\Vert z\Vert }_1.\end{array}$$

Proof of Proposition 1.2

Choose a fundamental cycle ${\sum }_{i=1}^k{a}_i\underset{\_}{{\gamma }^i}$ representing [E]. By definition, $[N]=e\cap [E]$.

Note that as $\Vert e\Vert \le \frac{1}{2}$, we already have $2\Vert \left[N\right]{\Vert }_1\le \Vert E\Vert$ by Proposition 2.1. With some more care, we will improve this by a factor $\frac{2}{3}$, getting the inequality of our proposition.

By Remark 4.2 and the fact that the Euler class e can be represented by $\frac{1}{2}{\varphi }^{\ast }(Or)$, we have

$$\begin{array}{c}\hfill [N]=e\cap [\mathrm{Alt}(E)]=\left[\sum _{i=1}^k,a_i,\frac{1}{5!},\sum _{\tau \in \mathrm{Sym}(5)},\mathrm{sign},(\tau ),\frac{1}{2},{\varphi }^{\ast },(Or),({\underset{\_}{{\gamma }^i}}^{\tau }\rfloor ,)\lfloor ,{\underset{\_}{{\gamma }^i}}^{\tau }\right].\end{array}$$

Claim 4.4

For every $i\in \{1,\dots ,k\}$ there exist chains ${\alpha }_i\in C_2({\pi }_1(E))$ and ${\beta }_i\in C_3({\pi }_1(E))$ such that

$$\begin{array}{c}\hfill \frac{1}{5!}\sum _{\tau \in \mathrm{Sym}(5)}\mathrm{sign}(\tau )\frac{1}{2}{\varphi }^{\ast }(Or)({\underset{\_}{{\gamma }^i}}^{\tau }\rfloor )\lfloor {\underset{\_}{{\gamma }^i}}^{\tau }={\alpha }_i+\partial {\beta }_i,\end{array}$$

with

$$\begin{array}{c}\hfill \Vert {\alpha }_i\Vert \le \frac{1}{3}.\end{array}$$

Since ${\sum }_{i=1}^k{a}_i{\alpha }_i$ is by construction a cycle representing [N], this immediately gives the inequality

$$\begin{array}{c}\hfill {\Vert [N]\Vert }_1\le \frac{1}{3}\sum _{i=1}^k|a_i|,\end{array}$$

which, taking the infimum over all cycles representing [E], proves the Proposition. It remains to prove Claim 4.4.

Fix $i\in \{1,\dots ,k\}$ and denote $\underset{\_}{{\gamma }^i}$ by $[{\gamma }_0,\dots ,{\gamma }_4]$.

Define

$$\begin{array}{cc}\hfill T(j):=& \frac{1}{2}\sum _{\tau \in \mathrm{Sym}(5),\tau (2)=j}\mathrm{sign}(\tau )\frac{1}{2}{\varphi }^{\ast }(Or)([{\gamma }_{\tau (0)},{\gamma }_{\tau (1)},{\gamma }_{\tau (2)}])\left[{\gamma }_{\tau (2)},,,{\gamma }_{\tau (3)},,,{\gamma }_{\tau (4)}\right]\hfill \end{array}$$

for $j,0\le j\le 4$, and note that $\frac{1}{5!}{\sum }_{\tau \in \mathrm{Sym}(5)}\mathrm{sign}(\tau )\frac{1}{2}{\varphi }^{\ast }(Or)({\underset{\_}{{\gamma }^i}}^{\tau }\rfloor )\lfloor {\underset{\_}{{\gamma }^i}}^{\tau }$ is equal to

$$\begin{array}{c}\hfill \frac{1}{60}\left(T,(,0,),+,T,(,1,),+,T,(,2,),+,T,(,3,),+,T,(,4,)\right).\end{array}$$

Using that e is alternating, we find that 2T(0) is a sum of at most 12 signed singular simplices:

$$\begin{array}{cc}& {\varphi }^{\ast }(Or)([{\gamma }_3,{\gamma }_4,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_2\right]-{\varphi }^{\ast }(Or)([{\gamma }_2,{\gamma }_4,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_3\right]\hfill \\ \hfill & +{\varphi }^{\ast }(Or)([{\gamma }_2,{\gamma }_3,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_4\right]+{\varphi }^{\ast }(Or)([{\gamma }_1,{\gamma }_2,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_3,,,{\gamma }_4\right]\hfill \\ \hfill & -{\varphi }^{\ast }(Or)([{\gamma }_1,{\gamma }_3,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_2,,,{\gamma }_4\right]+{\varphi }^{\ast }(Or)([{\gamma }_1,{\gamma }_4,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_2,,,{\gamma }_3\right]\hfill \\ \hfill & +{\varphi }^{\ast }(Or)([{\gamma }_4,{\gamma }_3,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_2,,,{\gamma }_1\right]-{\varphi }^{\ast }(Or)([{\gamma }_4,{\gamma }_2,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_3,,,{\gamma }_1\right]\hfill \\ \hfill & +{\varphi }^{\ast }(Or)([{\gamma }_3,{\gamma }_2,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_4,,,{\gamma }_1\right]+{\varphi }^{\ast }(Or)([{\gamma }_2,{\gamma }_1,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_4,,,{\gamma }_3\right]\hfill \\ \hfill & -{\varphi }^{\ast }(Or)([{\gamma }_3,{\gamma }_1,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_4,,,{\gamma }_2\right]+{\varphi }^{\ast }(Or)([{\gamma }_4,{\gamma }_1,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_3,,,{\gamma }_2\right].\hfill \end{array}$$

Applying the cyclic permutation (0, 1, 2, 3, 4) and its powers to the indices in the latter expression, we successively obtain 2T(1), 2T(2), 2T(3), 2T(4).

To prove the Claim, it is enough to prove it for 2T(0), that is to show that 2T(0) can be written, up to a boundary, as a sum of at most $\frac{2}{3}12=8$ singular simplices (with sign).

Either all points $\varphi ({\gamma }_0)x,\dots ,\varphi ({\gamma }_4)x$ are distinct, or at least two of them coincide. We first consider the latter case.

Suppose two points coincide: if three or more points coincide, then at least 6 terms vanish in 2T(0) and there is nothing to prove.

Suppose then that exactly two points coincide. Without loss of generality assume it is $\varphi ({\gamma }_1)x$ with another one. If it coincides with $\varphi ({\gamma }_0)x$, then 6 terms in 2T(0) vanish. If not, we can by symmetry assume that it coincides with $\varphi ({\gamma }_2)x$. By hypothesis, the points $\varphi ({\gamma }_0)x,\varphi ({\gamma }_1)x=\varphi ({\gamma }_2)x,\varphi ({\gamma }_3)x,\varphi ({\gamma }_4)x$ are four distinct points on $S^1$. Up to reversing orientation we can suppose that $\varphi ({\gamma }_0)x,\varphi ({\gamma }_1)x=\varphi ({\gamma }_2)x,\varphi ({\gamma }_3)x$ are oriented positively and hence

$$\begin{array}{c}\hfill {\varphi }^{\ast }(Or)([{\gamma }_1,{\gamma }_3,{\gamma }_0])=Or(\varphi ({\gamma }_1),\varphi ({\gamma }_3),\varphi ({\gamma }_0))=+1.\end{array}$$

Using these explicit values for ${\varphi }^{\ast }(Or)$ and the fact that the two terms where ${\varphi }^{\ast }(Or)$ is evaluated on a triple containing ${\gamma }_1$ and ${\gamma }_2$ vanish in 2T(0), the expression for 2T(0) simplifies to

$$\begin{array}{cc}& {\varphi }^{\ast }(Or)([{\gamma }_3,{\gamma }_4,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_2\right]-{\varphi }^{\ast }(Or)([{\gamma }_2,{\gamma }_4,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_3\right]+\left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_4\right]\hfill \\ \hfill & -\left[{\gamma }_0,,,{\gamma }_2,,,{\gamma }_4\right]+{\varphi }^{\ast }(Or)([{\gamma }_1,{\gamma }_4,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_2,,,{\gamma }_3\right]\hfill \\ \hfill & +{\varphi }^{\ast }(Or)([{\gamma }_4,{\gamma }_3,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_2,,,{\gamma }_1\right]-{\varphi }^{\ast }(Or)([{\gamma }_4,{\gamma }_2,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_3,,,{\gamma }_1\right]-\left[{\gamma }_0,,,{\gamma }_4,,,{\gamma }_1\right]\hfill \\ \hfill & +\left[{\gamma }_0,,,{\gamma }_4,,,{\gamma }_2\right]+{\varphi }^{\ast }(Or)([{\gamma }_4,{\gamma }_1,{\gamma }_0])\left[{\gamma }_0,,,{\gamma }_3,,,{\gamma }_2\right].\hfill \end{array}$$

Let us further examine the two possible values of ${\varphi }^{\ast }(Or)([{\gamma }_3,{\gamma }_4,{\gamma }_0])$. If it is equal to $-1$, then we find in 2T(0) the expression

$$\begin{array}{c}\hfill -\left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_2\right]+\left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_4\right]-\left[{\gamma }_0,,,{\gamma }_2,,,{\gamma }_4\right]=-\left[{\gamma }_1,,,{\gamma }_2,,,{\gamma }_4\right]+\partial \left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_2,,,v_4\right].\end{array}$$

If ${\varphi }^{\ast }(Or)([{\gamma }_3,{\gamma }_4,{\gamma }_0])=1$, then we can compute all values of ${\varphi }^{\ast }(Or)$ since the vertices must be positioned as follows:

The expression for 2T(0) thus becomes

$$\begin{array}{c}\hfill \begin{array}{c}+\left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_2\right]-\left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_3\right]+\left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_4\right]-\left[{\gamma }_0,,,{\gamma }_2,,,{\gamma }_4\right]+\left[{\gamma }_0,,,{\gamma }_2,,,{\gamma }_3\right]\hfill \\ -\left[{\gamma }_0,,,{\gamma }_2,,,{\gamma }_1\right]+\left[{\gamma }_0,,,{\gamma }_3,,,{\gamma }_1\right]-\left[{\gamma }_0,,,{\gamma }_4,,,{\gamma }_1\right]+\left[{\gamma }_0,,,{\gamma }_4,,,{\gamma }_2\right]-\left[{\gamma }_0,,,{\gamma }_3,,,{\gamma }_2\right]\hfill \end{array}\end{array}$$

and we see that it contains

$$\begin{array}{c}\hfill \left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_2\right]-\left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_3\right]+\left[{\gamma }_0,,,{\gamma }_2,,,{\gamma }_3\right]=+\left[{\gamma }_1,,,{\gamma }_2,,,{\gamma }_3\right]-\partial \left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_2,,,{\gamma }_3\right].\end{array}$$

Thus in both cases we have seen that the number of terms in 2T(0) can, up to taking boundaries, be reduced by at least a factor of $\frac{8}{12}=\frac{2}{3}$.

Suppose now the points $\varphi ({\gamma }_0)x,\dots ,\varphi ({\gamma }_4)x$ are all distinct. Without loss of generality, we suppose that $\varphi ({\gamma }_0)x,\dots ,\varphi ({\gamma }_4)x\in S^1$ are positively cyclically oriented.

The expression 2T(0) simply becomes

$$\begin{array}{c}\hfill \begin{array}{c}+\left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_2\right]-\left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_3\right]+\left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_4\right]+\left[{\gamma }_0,,,{\gamma }_3,,,{\gamma }_4\right]\hfill \\ -\left[{\gamma }_0,,,{\gamma }_2,,,{\gamma }_4\right]+\left[{\gamma }_0,,,{\gamma }_2,,,{\gamma }_3\right]-\left[{\gamma }_0,,,{\gamma }_2,,,{\gamma }_1\right]+\left[{\gamma }_0,,,{\gamma }_3,,,{\gamma }_1\right]\hfill \\ -\left[{\gamma }_0,,,{\gamma }_4,,,{\gamma }_1\right]-\left[{\gamma }_0,,,{\gamma }_4,,,{\gamma }_3\right]+\left[{\gamma }_0,,,{\gamma }_4,,,{\gamma }_2\right]-\left[{\gamma }_0,,,{\gamma }_3,,,{\gamma }_2\right]\hfill \end{array}\end{array}$$

and we use the two cycle relations

$$\begin{array}{c}\hfill \begin{array}{c}+\left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_2\right]-\left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_3\right]+\left[{\gamma }_0,,,{\gamma }_2,,,{\gamma }_3\right]=+\left[{\gamma }_1,,,{\gamma }_2,,,{\gamma }_3\right]-\partial \left[{\gamma }_0,,,{\gamma }_1,,,{\gamma }_2,,,{\gamma }_3\right]\hfill \\ -\left[{\gamma }_0,,,{\gamma }_2,,,{\gamma }_1\right]+\left[{\gamma }_0,,,{\gamma }_3,,,{\gamma }_1\right]-\left[{\gamma }_0,,,{\gamma }_3,,,{\gamma }_2\right]=-\left[{\gamma }_3,,,{\gamma }_2,,,{\gamma }_1\right]+\partial \left[{\gamma }_0,,,{\gamma }_3,,,{\gamma }_2,,,{\gamma }_1\right]\hfill \end{array}\end{array}$$

to conclude as before that the number of terms can up to taking boundaries be reduced by a factor of $\frac{2}{3}$, which finishes the proof of the Claim and the Proposition.

Remark 4.5

Note that we have ${\pi }_{\ast }(\left[N\right])=\chi (F)\left[B\right]$, and consequently

$$2\chi (E)=|\chi (F)|\Vert B\Vert \le \Vert \left[N\right]{\Vert }_1.$$

Hence for bundles with $\Vert E\Vert =6\chi (E)$, we obtain the equality

$$\begin{array}{c}\hfill \Vert \left[N\right]{\Vert }_1=2\chi (E)=\frac{1}{3}\Vert E\Vert .\end{array}$$

This includes all bundles with finite image of the holonomy homomorphism, and in particular the trivial bundle $E=F\times B$, for which [N] can be represented by $\chi (F)$ disjoint copies of B in $F\times B$.

Ramified coverings

In this section we present a method for constructing surface bundles with non-zero signature using ramified coverings and then study the simplicial volume of the total space of such bundles.

Construction of surface bundles using ramified coverings

The first examples of surface bundles over surfaces with non-zero signature were constructed independently by Kodaira [16] in 1967 and Atiyah [1] in 1969 with a method relying on ramified coverings. We outline this method here, following its exposition in [21, Paragraph 4.3.3].

First choose a closed oriented surface ${\mathrm{\Sigma }}^o={\mathrm{\Sigma }}_{g_0}$, with genus $g_0\ge 2$. Then take a d-fold cyclic covering $\rho :\mathrm{\Sigma }\to {\mathrm{\Sigma }}^o$ of ${\mathrm{\Sigma }}^o$, and let $\sigma$ be a generator of its covering transformation group $\mathbb{Z}/d\mathbb{Z}$.

Remark 5.1

This implies that ${\sigma }^i$ is fixed point free, for $1\le i\le d-1$.

Denote by g the genus of $\mathrm{\Sigma }$. We have $2-2g=d(2-2g_0)$. Consider the following homomorphisms:

$$\begin{array}{c}\hfill {\pi }_1(\mathrm{\Sigma })⟶{\pi }_1{(\mathrm{\Sigma })}^{\mathit{ab}}\cong H_1(\mathrm{\Sigma },\mathbb{Z})⟶H_1(\mathrm{\Sigma },\mathbb{Z}/d\mathbb{Z})\cong {(\mathbb{Z}/d\mathbb{Z})}^{2g}.\end{array}$$

Their composition is surjective and its kernel is a normal subgroup of finite index in ${\pi }_1(\mathrm{\Sigma })$. As such, it defines a finite regular covering ${\rho }^{\prime }:{\mathrm{\Sigma }}^{\prime }\to \mathrm{\Sigma }$. We have a map ${\sigma }^i\circ {\rho }^{\prime }:{\mathrm{\Sigma }}^{\prime }\to \mathrm{\Sigma }$ for each $1\le i\le d$. We can then consider the graph of ${\sigma }^i\circ {\rho }^{\prime }$ in ${\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma }$ for each i: it defines a submanifold ${\mathrm{\Gamma }}_{{\sigma }^i\circ {\rho }^{\prime }}$.

Remark 5.2

The fact that ${\sigma }^i$ is fixed point free for all $1\le i\le d-1$ ensures that the graphs ${\mathrm{\Gamma }}_{{\sigma }^i\circ {\rho }^{\prime }},{\mathrm{\Gamma }}_{{\sigma }^j\circ {\rho }^{\prime }}$ are disjoint whenever $i\ne j$.

Take the disjoint union ${\mathrm{\Gamma }}_{\sigma \circ {\rho }^{\prime }}\bigsqcup ...\bigsqcup {\mathrm{\Gamma }}_{{\sigma }^d\circ {\rho }^{\prime }}$ of these submanifolds and denote it by D. It is of codimension 2 in ${\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma }$, therefore it defines a class $[D]\in H_2({\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma },\mathbb{Z})$.

We will need the following proposition:

Proposition 5.3

([21], Proposition 4.10) Let B be a closed oriented $C^{\infty }$ manifold and let $D\subset B$ be an oriented submanifold of codimension 2. Suppose that, for some $m\in {\mathbb{Z}}_{>0}$, the homology class $[D]\in H_{n-2}(B,\mathbb{Z})$ determined by D is divisible by m in $H_{n-2}(B,\mathbb{Z})$. Then there exists an m-fold cyclic ramified covering $\tilde{B}\to B$ ramified along D.

The class [D] defined above is divisible by d in $H_2({\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma },\mathbb{Z})$ [21, p. 158]. Thus using Proposition 5.3, we obtain a ramified covering $f:E\to {\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma }$ of degree d ramified along D.

Finally we get a surface bundle $E\to {\mathrm{\Sigma }}^{\prime }$ as the composition $E\stackrel{f}{\to }{\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma }\to {\mathrm{\Sigma }}^{\prime }$, where ${\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma }\to {\mathrm{\Sigma }}^{\prime }$ is the canonical projection to the first factor. The fibre of E is $f^{-1}(\mathrm{\Sigma })$.

The signature of E can be explicitly computed and it is non-zero. For this, one more result is used, giving relations between the Euler class of E and that of ${\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma }$.

Proposition 5.4

([21], Proposition 4.12) Let $\pi :E\to B$ and $\tilde{\pi }:\tilde{E}\to B$ be two surface bundles over the same base space B. Suppose that there is a map $f:\tilde{E}\to E$ between the total spaces which is a d-fold cyclic ramified covering ramified along an oriented submanifold $D\subset E$ of codimension 2, and that f is a bundle map (i. e. $\pi \circ f=\tilde{\pi }$). Suppose also that D intersects each fibre of $\pi$ transversely at exactly d points, and write $\tilde{D}=f^{-1}(D)$. Then:

1. $f^{\ast }(\nu )=d\tilde{\nu }$;

2. $\tilde{e}=f^{\ast }\left(e,-,(,1,-,\frac{1}{d},),\nu \right)$,

where $\nu$, respectively $\tilde{\nu }$, represents the Poincaré dual of the homology class of D, respectively $\tilde{D}$, and e, respectively $\tilde{e}$, denotes the Euler class of $\pi$, respectively $\tilde{\pi }$.

All the assumptions of Proposition  are satisfied by $f:E\to {\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma }$.

Simplicial volume of such bundles

As observed at the end of Sect. 3, the results of the first author show that

$$\begin{array}{c}\hfill \Vert E\Vert \ge 6\chi (E)\end{array}$$

for any aspherical surface bundle E over a surface [7, 8].

Now if we restrict our attention to surface bundles over surfaces coming from the ramified covering construction explained in the previous subsection, we can enhance this inequality.

Consider the following diagram that represents the aforementioned construction: The maps p and $p^{\prime }$ are the natural projections. The map f is a cyclically ramified covering of degree d of ${\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma }$, ramified along the codimension 2 submanifold $D\subset {\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma }$ defined above, and ${\mathrm{\Sigma }}^{\prime }$ is a $d^{\prime }$-fold covering of $\mathrm{\Sigma }$. The intersection (both algebraic and geometric) $D\cap {\mathrm{\Sigma }}^{\prime }$ in ${\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma }$ consists of $d^{\prime }d$ points while the intersection $D\cap \mathrm{\Sigma }$ consists of d points.

Remark 5.5

In order to avoid heavy notation, by $\mathrm{\Sigma }\subset {\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma }$ we mean the choice of a subsurface $\{x^{\prime }\}\times \mathrm{\Sigma }$. Similarly $[\mathrm{\Sigma }]\in H^2({\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma },\mathbb{Z})$ denotes a class $[\{x^{\prime }\}\times \mathrm{\Sigma }]$.

For further use, we also mark that the notation ${[A]}^{\ast }$ stands for the Poincaré dual of the homology class [A].

The crucial remark, already made by Bryan, Donagi and Stipsicz in [6] and LeBrun in [19], is that E admits (at least) two different bundle structures: namely the compositions $p\circ f$ and $p^{\prime }\circ f$ are the bundle projections of the surface bundles $\pi :E\to \mathrm{\Sigma }$ and ${\pi }^{\prime }:E\to {\mathrm{\Sigma }}^{\prime }$ with fibres $f^{-1}({\mathrm{\Sigma }}^{\prime })$ and $f^{-1}(\mathrm{\Sigma })$ respectively.

Proof of Theorem 1.3

Denote by $e=\chi ({\mathrm{\Sigma }}^{\prime }){[\mathrm{\Sigma }]}^{\ast }$ the Euler class of the product bundle ${\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma }\to \mathrm{\Sigma }$, and by $e^{\prime }=\chi (\mathrm{\Sigma }){[{\mathrm{\Sigma }}^{\prime }]}^{\ast }$ the Euler class of the product bundle ${\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma }\to {\mathrm{\Sigma }}^{\prime }$, both in $H^2({\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma },\mathbb{Z})$.

By Proposition  (2), the Euler class of the bundle $\pi$ is $e_E=f^{\ast }\left(e,-,(1-\frac{1}{d}),{[D]}^{\ast }\right)$ and the one of the bundle ${\pi }^{\prime }$ is $e_E^{\prime }=f^{\ast }\left(e^{\prime },-,(1-\frac{1}{d}),{[D]}^{\ast }\right)$, both in $H^2(E,\mathbb{Z})$.

We compute:

$$\begin{array}{cc}\hfill 〈e_E^{\prime },\cup ,e_E,,,[E]〉=& 〈f^{\ast },\left(e^{\prime },-,\left(1,-,\frac{1}{d}\right),{[D]}^{\ast }\right),\cup ,f^{\ast },\left(e,-,\left(1,-,\frac{1}{d}\right),{[D]}^{\ast }\right),,,[E]〉\hfill \\ \hfill =& d〈\left(e^{\prime },-,\left(1,-,\frac{1}{d}\right),{[D]}^{\ast }\right),\cup ,\left(e,-,\left(1,-,\frac{1}{d}\right),{[D]}^{\ast }\right),,,[{\mathrm{\Sigma }}^{\prime }\times \mathrm{\Sigma }]〉\hfill \\ \hfill =& d〈e^{\prime },-,\left(1,-,\frac{1}{d}\right),{[D]}^{\ast },,,\chi ,({\mathrm{\Sigma }}^{\prime }),[\mathrm{\Sigma }],-,\left(1,-,\frac{1}{d}\right),[D]〉\hfill \\ \hfill =& d\left(\chi ,({\mathrm{\Sigma }}^{\prime }),\chi ,(\mathrm{\Sigma }),-,\chi ,({\mathrm{\Sigma }}^{\prime }),\left(1,-,\frac{1}{d}\right),d\right)\hfill \\ \hfill & \left(-,\left(1,-,\frac{1}{d}\right),\chi ,(\mathrm{\Sigma }),d,d^{\prime },+,{\left(1,-,\frac{1}{d}\right)}^2,d,d^{\prime },\chi ,(\mathrm{\Sigma })\right)\hfill \\ \hfill =& d\left(\chi ,({\mathrm{\Sigma }}^{\prime }),\chi ,(\mathrm{\Sigma }),-,\chi ,({\mathrm{\Sigma }}^{\prime }),(d-1),-,\chi ,({\mathrm{\Sigma }}^{\prime }),(d-1),+,{\left(1,-,\frac{1}{d}\right)}^2,d,\chi ,({\mathrm{\Sigma }}^{\prime })\right)\hfill \\ \hfill =& d\left(\chi ,({\mathrm{\Sigma }}^{\prime }),\chi ,(\mathrm{\Sigma }),-,2,\chi ,({\mathrm{\Sigma }}^{\prime }),(d-1),+,{\left(1,-,\frac{1}{d}\right)}^2,d,\chi ,({\mathrm{\Sigma }}^{\prime })\right)\hfill \\ \hfill =& d\chi ({\mathrm{\Sigma }}^{\prime })\left(\chi ,(\mathrm{\Sigma }),-,2,(d-1),+,(d-1),\left(1,-,\frac{1}{d}\right)\right)\hfill \\ \hfill =& d\chi ({\mathrm{\Sigma }}^{\prime })\left(\chi ,(\mathrm{\Sigma }),-,(d-1),\left(1,+,\frac{1}{d}\right)\right).\hfill \end{array}$$

Note that we used ${[D]}^{\ast }\cap [D]=d{d}^{\prime }\chi (\mathrm{\Sigma })$, which can be proven as follows: Let us denote by $\mathrm{\Delta }$ the diagonal in $\mathrm{\Sigma }\times \mathrm{\Sigma }$, that is the set $\left\{(,x,,,x,),\in ,\mathrm{\Sigma },\times ,\mathrm{\Sigma },,\mid ,,x,\in ,\mathrm{\Sigma }\right\}$. It defines a class $[\mathrm{\Delta }]\in H_2(\mathrm{\Sigma }\times \mathrm{\Sigma },\mathbb{Z})$. Using Remark 5.2, we compute

$$\begin{array}{cc}\hfill {[D]}^{\ast }\cap [D]=& {\left([{\mathrm{\Gamma }}_{\sigma \circ {\rho }^{\prime }}],+,\cdots ,+,[{\mathrm{\Gamma }}_{{\sigma }^d\circ {\rho }^{\prime }}]\right)}^{\ast }\cap \left([{\mathrm{\Gamma }}_{\sigma \circ {\rho }^{\prime }}],+,\cdots ,+,[{\mathrm{\Gamma }}_{{\sigma }^d\circ {\rho }^{\prime }}]\right)\hfill \\ \hfill =& \sum _{i=1}^d{[{\mathrm{\Gamma }}_{{\sigma }^i\circ {\rho }^{\prime }}]}^{\ast }\cap [{\mathrm{\Gamma }}_{{\sigma }^i\circ {\rho }^{\prime }}]\hfill \\ \hfill =& d{[{\mathrm{\Gamma }}_{{\rho }^{\prime }}]}^{\ast }\cap [{\mathrm{\Gamma }}_{{\rho }^{\prime }}]\hfill \\ \hfill =& d{d}^{\prime }{[\mathrm{\Delta }]}^{\ast }\cap [\mathrm{\Delta }]\hfill \\ \hfill =& d{d}^{\prime }\chi (\mathrm{\Sigma }).\hfill \end{array}$$

This computation can also be extracted from [21, pp. 157–160]. The last equality is a general fact about the diagonal in a product of manifolds, see for example [4, p. 128].

By [8, Proposition 2.1] and because $\Vert e_E\Vert \le \frac{1}{2}$ by Sect. 2.3, we have:

$$\begin{array}{c}\hfill \Vert e_E^{\prime }\cup e_E\Vert \le \frac{1}{3}\Vert e_E\Vert \le \frac{1}{6}.\end{array}$$

So we obtain:

$$\begin{array}{cc}\hfill |⟨e_E^{\prime }\cup e_E,[E]⟩|=& d|\chi ({\mathrm{\Sigma }}^{\prime })||\chi (\mathrm{\Sigma })-(d-1)\left(1,+,\frac{1}{d}\right)|,\hfill \\ \hfill \frac{1}{6}\Vert E\Vert \ge \Vert e_E^{\prime }\cup e_E\Vert \Vert E\Vert =& d|\chi ({\mathrm{\Sigma }}^{\prime })|\left(|\chi (\mathrm{\Sigma })|,+,(d-1),\left(1,+,\frac{1}{d}\right)\right),\hfill \\ \hfill \Vert E\Vert \ge & 6d|\chi ({\mathrm{\Sigma }}^{\prime })|\left(|\chi (\mathrm{\Sigma })|,+,(d-1),\left(1,+,\frac{1}{d}\right)\right).\hfill \end{array}$$

The fibre $f^{-1}(\mathrm{\Sigma })$ of the bundle ${\pi }^{\prime }$ has Euler characteristic

$$\begin{array}{c}\hfill \chi (f^{-1}(\mathrm{\Sigma }))=d\chi (\mathrm{\Sigma })-d(d-1),\end{array}$$

as it is a degree d cyclic ramified covering of $\mathrm{\Sigma }$ with d intersection points with the ramification locus D. The Euler characteristic of E can then be written as

$$\begin{array}{c}\hfill \chi (E)=\chi ({\mathrm{\Sigma }}^{\prime })\left(d,\chi ,(,\mathrm{\Sigma },),-,d,(,d,-,1,)\right)=d|\chi ({\mathrm{\Sigma }}^{\prime })|\left(|,\chi ,(,\mathrm{\Sigma },),|,+,(,d,-,1,)\right).\end{array}$$

The result can thus be expressed as

$$\begin{array}{c}\hfill \Vert E\Vert \ge 6\chi (E)+6|\chi ({\mathrm{\Sigma }}^{\prime })|(d-1).\end{array}$$