Densities of quartic fields with even Galois groups

Let be the number of degree number fields with Galois group and whose discriminant satisfies . Under standard conjectures in diophantine geometry, we show that , and that there are monic, quartic polynomials with integral coefficients of height whose Galois groups are smaller than , confirming a question of Gallagher. Unconditionally we have , and that the -class groups of almost all Abelian cubic fields have size . The proofs depend on counting integral points on elliptic fibrations.

     

The sectional category of spherical fibrations

We give homological conditions which determine sectional category, secat, for rational spherical fibrations. In the odd dimensional case the secat is the least power of the Euler class which is trivial. In the even dimensional case secat is one when a certain homology class in twice the dimension of the sphere is times a square. Otherwise secat is two. We apply our results to construct a fibration such that and genus . We also observe that secat, unlike cat, can decrease in a field extension of .

     

Extremal Kähler metrics on projective bundles over a curve

Let M=P(E) be the complex manifold underlying the total space of the projectivization of a holomorphic vector bundle E→Σ over a compact complex curve Σ of genus ?2. Building on ideas of Fujiki (1992) [27], we prove that M admits a Kähler metric of constant scalar curvature if and only if E is polystable. We also address the more general existence problem of extremal Kähler metrics on such bundles and prove that the splitting of E as a direct sum of stable subbundles is necessary and sufficient condition for the existence of extremal Kähler metrics in Kähler classes sufficiently far from the boundary of the Kähler cone. The methods used to prove the above results apply to a wider class of manifolds, called rigid toric bundles over a semisimple base, which are fibrations associated to a principal torus bundle over a product of constant scalar curvature Kähler manifolds with fibres isomorphic to a given toric Kähler variety. We discuss various ramifications of our approach to this class of manifolds.     

Surface Bundles with Nonvanishing Signature

Using the theory of Lefschetz fibrations and recent advances in mapping class group theory, surface bundles over surfaces with nonzero signature and small base genus are constructed. In particular, a genus-5 fibration over the surface of genus 26 with nonzero signature is given –- improving former results on the possible base genera for surface bundles over surfaces with nonzero signature.     

Seshadri fibrations of algebraic surfaces

We refine results of [6] and [10] which relate local invariants – Seshadri constants – of ample line bundles on surfaces to the global geometry – fibration structure. We show that the same picture emerges when looking at Seshadri constants measured at any finite subset of the given surface (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On upper bounds on stable commutator lengths in mapping class groups

We give new upper bounds on the stable commutator lengths of Dehn twists in mapping class groups and new lower bounds on the stable commutator lengths of Dehn twists in hyperelliptic mapping class groups. In particular, we show that the stable commutator lengths of Dehn twists about a nonseparating and a separating curve on an oriented closed surface of genus 2 are not equal to each other.     

Grothendieck Institutions

We extend indexed categories, fibred categories, and Grothendieck constructions to institutions. We show that the 2-category of institutions admits Grothendieck constructions (in a general 2-categorical sense) and that any split fibred institution is equivalent to a Grothendieck institution of an indexed institution. We use Grothendieck institutions as the underlying mathematical structure for the semantics of multi-paradigm (heterogenous) algebraic specification. We recuperate the so-called extra theory morphisms as ordinary theory morphisms in a Grothendieck institution. We investigate the basic mathematical properties of Grothendieck institutions, such as theory colimits, liberality (free constructions), exactness (model amalgamation), and inclusion systems by globalisation from the local level of the indexed institution to the level of the Grothendieck institution.     

Indecomposability of certain Lefschetz fibrations

We prove that Lefschetz fibrations admitting a section of square cannot be decomposed as fiber sums. In particular, Lefschetz fibrations on symplectic 4-manifolds found by Donaldson are indecomposable. This observation also shows that symplectic Lefschetz fibrations are not necessarily fiber sums of holomorphic ones.

     

Noncomplex smooth 4-manifolds with genus-2 Lefschetz fibrations

We construct noncomplex smooth 4-manifolds which admit genus-2 Lefschetz fibrations over . The fibrations are necessarily hyperelliptic, and the resulting 4-manifolds are not even homotopy equivalent to complex surfaces. Furthermore, these examples show that fiber sums of holomorphic Lefschetz fibrations do not necessarily admit complex structures.

     

On M-theory on real toric fibrations

Borrowing ideas from elliptic complex geometry, we approach M-theory compactifications on real fibrations. Precisely, we explore real toric equations rather than complex ones exploited in F-theory and related dual models. These geometries have been built by moving real toric manifolds over real bases. Using topological changing behaviors, we unveil certain data associated with gauge sectors relying on affine lie symmetries.