Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.40136

The Kodaira dimension and minimal models of $\mathcal{A}_6$

Haowu Wang
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove that the moduli space $\mathcal{A}_6$ of principally polarized abelian sixfolds has Kodaira dimension zero, determining the remaining case in the Kodaira classification of the spaces $\mathcal{A}_g$. More precisely, every nonzero scalar Siegel modular form of genus six, weight $k$ and positive boundary order $b$ satisfies $k\geq 7b$, with equality precisely for powers of the weight-fourteen harmonic theta series of Dittmann, Salvati Manni and Scheithauer. The canonical ring is therefore a polynomial ring on one generator of degree two. We also prove numerical dimension zero and construct the unique projective $\mathbb{Q}$-factorial terminal minimal model. Its Picard number is one and its canonical divisor has order two. The perfect cone compactification is a Mori dream space, and the birational automorphism group of $\mathcal{A}_6$ is trivial. The proof combines normal vanishing on the Prym locus, polar intersections on abelian boundary fibers, and an exact theta calculation. A discrepancy estimate recovers the modular open subset from the minimal model.

Explore related subjects

math.AGmath.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Haowu Wang. 2026-10-29. The Kodaira dimension and minimal models of $\mathcal{A}_6$. https://arxiv.org/abs/2610.40136

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

KEEP EXPLORING

Related papers

arXiv2026

Wall divisors on irreducible symplectic orbifolds of Nikulin-type

We determine the wall divisors on irreducible symplectic orbifolds which are deformation equivalent to a special type of examples, called Nikulin orbifolds. The Nikulin orbifolds are obtained as partial resolutions in codimension 2 of a quotient by a symplectic involution of a Hilbert scheme of 2 points on a K3 surface. This builds on the previous article arXiv:2009.04873 in which the theory of wall divisors was generalized to orbifold singularities.

math.AG↗
arXiv2026

Prekosmic Grothendieck/Galois Categories

We establish a generalized version of the duality between groups and the categories of their representations on sets. Given an abstract symmetric monoidal category $K$ called Galois prekosmos, we define pre-Galois objects in $K$ and study the categories of their representations internal to $K$. The motivating example of $K$ is the cartesian monoidal category $\textit{Set}$ of sets, and pre-Galois objects in $\textit{Set}$ are groups. We present an axiomatic definition of pre-Galois $K$-categories, which is a complete abstract characterization of the categories of representations of pre-Galois objects in $K$. The category of covering spaces over a well-connected topological space is a prototype of a pre-Galois $\textit{Set}$-category. We establish a perfect correspondence between pre-Galois objects in $K$ and pre-Galois $K$-categories pointed with pre-fiber functors. We also establish a generalized version of the duality between flat affine group schemes and the categories of their linear representations. Given an abstract symmetric monoidal category $K$ called Grothendieck prekosmos, we define what are pre-Grothendieck objects in $K$ and study the categories of their representations internal to $K$. The motivating example of $K$ is the symmetric monoidal category $\textit{Vec}_k$ of vector spaces over a field $k$, and pre-Grothendieck objects in $\textit{Vec}_k$ are affine group $k$-schemes. We present an axiomatic definition of pre-Grothendieck $K$-categories, which is a complete abstract characterization of the categories of representations of pre-Grothendieck objects in $K$. The indization of a neutral Tannakian category over a field $k$ is a prototype of a pre-Grothendieck $\textit{Vec}_k$-category. We establish a perfect correspondence between pre-Grothendieck objects in $K$ and pre-Grothendieck $K$-categories pointed with pre-fiber functors.

math.AG↗