Torus bundles and 2-forms on the universal family of Riemann surfaces

Robin de Jong

doi:10.4171/161

Home/Archive/arXiv

arXiv · 1309.0951

Torus bundles and 2-forms on the universal family of Riemann surfaces

Robin de Jong

View original source ↗Read source document ↗Export metadata ↓

Abstract

We revisit three results due to Morita expressing certain natural integral cohomology classes on the universal family of Riemann surfaces C_g, coming from the parallel symplectic form on the universal jacobian, in terms of the Miller-Morita-Mumford classes e and e_1. Our discussion will be on the level of the natural 2-forms representing the relevant cohomology classes, and involves a comparison with other natural 2-forms representing e, e_1 induced by the Arakelov metric on the relative tangent bundle of C_g over M_g. A secondary object called a_g occurs, which was discovered and studied by Kawazumi around 2008. We present alternative proofs of Kawazumi's (unpublished) results on the second variation of a_g on M_g. Also we review some results that were previously obtained on the invariant a_g, with a focus on its connection with Faltings's delta-invariant and Hain-Reed's beta-invariant.

Explore related subjects

math.GT math.AG

Keep this discovery

BibTeX RIS

Robin de Jong. 2013-09-04. Torus bundles and 2-forms on the universal family of Riemann surfaces. https://doi.org/10.4171/161

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Bar cohomology of links: beyond Milnor invariants

We develop bar cohomology of link complements as an invariant of links in homology spheres. In this setting, bar cohomology is a Hopf algebra which is calculable using surfaces and their intersection curves in a link complement. In this first in a sequence of works, we introduce the invariant and show that it defines a canonical subspace of the tensor Hopf algebra, which already encodes information about Milnor's link invariants and provides geometrically significant information beyond them.

math.GT↗

arXiv2026

A counterexample to the wrapping number conjecture

We exhibit an annular knot with wrapping number four whose Kauffman bracket has annular degree at most two. This disproves the wrapping number conjecture.

math.GT↗

arXiv2026

Homological lifts of Arnold invariants $J^-$ and $J^+$

Viro's Euler-integral polynomial $P_C(q)$ and the Lanzat--Polyak quantized-curvature polynomial $I_q(C)$ refine Arnold's invariants $J^-$ and $J^+$ for generic immersed one-component plane curves. We construct homological lifts of both. The bigraded region homology retains the singular homology of every connected Alexander-index region; its graded Euler characteristic is $P_C(q)$. The triply graded smoothing-circle homology is generated by the oriented circles of the orientation-preserving smoothing and decategorifies to the smoothing term in $I_q(C)$. Keeping the actual region summands and the boundary regions of every smoothing circle gives a homological refinement of the oriented smoothing configuration, or Seifert state. An infinite family proves strictness: both polynomial data and the ordinary homological lifts agree, while the component-graded region homology and the branch-decomposed circle homology distinguish every pair. Further constructions recover the full $I_q(C)$ by a vertex complex, realize the local change of its curvature integral by edge homology, and give a canonical two-state homology for unoriented curves. Viro described his Euler-integral formula as an analogue of face state-sum formulas for quantum knot polynomials. Through the categorifications developed here, we obtain one concrete homological face-state-sum model realizing that analogy.

math.GT↗