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 a ramified covering. These are the main known examples of bundles with non-zero signature.
A well-known question by Gromov asks whether the vanishing of the simplicial volume of oriented closed connected aspherical manifolds implies the vanishing of the Euler characteristic. We study vario
Let T -> S be a finite flat morphism of degree two between regular integral schemes of dimension at most two (and with 2 invertible), having regular branch divisor D. We establish a bijection between Azumaya quaternion algebras on T and quadric surface bundles over S with simple degeneration along D. This is a manifestation of the exceptional isomorphism A_1^2 = D_2 degenerating to the exceptional isomorphism A_1 = B_1. In one direction, the even Clifford algebra yields the map. In the other direction, we show that the classical algebra norm functor can be uniquely extended over the discriminant divisor. Along the way, we study the orthogonal group schemes, which are smooth yet nonreductive, of quadratic forms with simple degeneration. Finally, we provide two surprising applications: constructing counter-examples to the local-global principle for isotropy, with respect to discrete valuations, of quadratic forms over surfaces; and a new proof of the global Torelli theorem for very general cubic fourfolds containing a plane.
We consider the relation between simplicial volume and two of its variants: the stable integral simplicial volume and the integral foliated simplicial volume. The definition of the latter depends on a choice of a measure preserving action of the fundamental group on a probability space. We show that integral foliated simplicial volume is monotone with respect to weak containment of measure preserving actions and yields upper bounds on (integral) homology growth. Using ergodic theory we prove that simplicial volume, integral foliated simplicial volume and stable integral simplicial volume coincide for closed hyperbolic 3-manifolds and closed aspherical manifolds with amenable residually finite fundamental group (being equal to zero in the latter case). However, we show that integral foliated simplicial volume and the classical simplicial volume do not coincide for hyperbolic manifolds of dimension at least 4.
We show that closed aspherical manifolds supporting an affine structure, whose holonomy map is injective and contains a pure translation, must have vanishing simplicial volume. This provides some further evidence for the veracity of the Auslander Conjecture. Along the way, we provide a simple cohomological criterion for aspherical manifolds with normal amenable subgroups of $pi_1$ to have vanishing simplicial volume. This answers a special case of a question due to Luck.