SearcharxivSearch

arXiv · 2608.24673

The Smooth Narrow Mordell-Weil Group of Elliptically Fibered 4-Manifolds

Abstract

For an elliptically fibered 4-manifold $\pi\colon M\to B$, we introduce a subgroup of the smooth mapping class group of $M$ with explicit geometric representatives: the smooth narrow Mordell-Weil group $MW_0(\pi)$. Leveraging Kodaira's classification of singular fibers, we construct a natural isomorphism between $MW_0(\pi)$ and the orthogonal complement of the trivial lattice in $H^2(M)$. This identification parallels its holomorphic counterpart. This paper generalizes work of Farb and Looijenga, who defined the smooth Mordell-Weil group and computed it for fibrations over a sphere with only nodal fibers. We give an explicit formula for the rank of $MW_0(\pi)$ depending only on the genus of the base curve and the types of singular fibers of $\pi$. As a corollary, we show that rational elliptic surfaces are the only elliptic surfaces with holomorphic and smooth Mordell-Weil groups of the same rank.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Maria Morariu. 2026-08-25. The Smooth Narrow Mordell-Weil Group of Elliptically Fibered 4-Manifolds. https://arxiv.org/abs/2608.24673

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

KEEP EXPLORING

Related papers

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

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