Searcharxiv⌕ Search

arXiv subjects

Benjamin Bakker

Publications and source records attributed to Benjamin Bakker.

At least 19 recordsLinked to original sources
arXiv2026

Deformations of fibered Calabi--Yau varieties

Koll\'{a}r showed that small deformations of elliptically fibered smooth $K$-torsion varieties with $H^2(X,\mathcal{O}_X)=0$ remain elliptically fibered. We extend this result to any fibered smooth $K$-torsion variety $X$ with $H^2(X,\mathcal{O}_X)=0$, using Hodge theoretic techniques and the $T^1$-lifting criterion of Kawamata--Ran. More generally, our strategy implies that even without the cohomological assumption, small deformations of a semiample line bundle on a smooth $K$-torsion variety remain semiample up to homological equivalence.

math.AG↗
arXiv2025

Finiteness of function field-valued points on exceptional Shimura varieties

Let $C/k$ be a smooth curve over a finite field of characteristic $p>0$. We prove that there are finitely many principally polarized abelian schemes of given dimension $g$ over $C$ up to $p$-power isogeny. For curves over $\overline{k}$, we prove that the moduli space of such abelian schemes is finite type up to $p$-power isogeny. Moreover, we generalize this result to arbitrary (not necessarily abelian type) Shimura varieties $S$ and sufficiently large primes $p$ in terms of $S$: The space of generically ordinary morphisms $C\to S_{k}$ (resp. $C\to S_{\overline{k}})$ is finite (resp. finite type) up to $p$-Hecke orbits.

math.NT↗
arXiv2025

$p$-adic hyperbolicity for Shimura varieties and period images

We prove that Shimura varieties and geometric period images satisfy a $p$-adic extension property for large enough primes $p$. More precisely, let $\mathsf{D}^{\times}\subset \mathsf{D}$ denote the inclusion of the closed punctured unit disc in the closed unit disc. Let $X$ be either a Shimura variety or a geometric period image with torsion-free level structure. Let $F$ be a discretely valued $p$-adic field containing the number field of definition of $X$, where $p$ is a large enough prime. Then, any rigid-analytic map $f: (\mathsf{D}^{\times})^a \times \mathsf{D}^b \rightarrow X_F^{\textrm{an}}$ defined over $F$ whose image intersects the good reduction locus of $X_F^{\textrm{an}}$ (with respect to an integral canonical model) extends to a map $\mathsf{D}^{a+b}\rightarrow X_F^{\textrm{an}}$. We note that this hypothesis is vacuous if $X$ is proper. We also deduce an application to algebraicity of rigid-analytic maps. Our methods also apply to the more general situation of the rigid generic fiber of formal schemes admitting Fontaine-Laffaile modules which satisfy certain positivity conditions.

math.NT↗
arXiv2025

Baily--Borel compactifications of period images and the b-semiampleness conjecture

We address two questions related to the semiampleness of line bundles arising from Hodge theory. First, we prove there is a functorial compactification of the image of a period map of a polarizable integral pure variation of Hodge structures for which the Griffiths bundle extends amply. In particular the Griffiths bundle is semiample. We prove more generally that the Hodge bundle of a Calabi--Yau variation of Hodge structures is semiample subject to some extra conditions, and as our second result deduce the b-semiampleness conjecture and the existence of a functorial Hodge-theoretic compactification of moduli spaces of polarized Calabi--Yau varieties. The semiampleness results (and the construction of the Baily--Borel compactifications) crucially use o-minimal GAGA, and the deduction of the b-semiampleness conjecture uses work of Ambro and results of Koll\'ar on the geometry of minimal lc centers to verify the extra conditions.

math.AG↗
arXiv2024

CM points have everywhere good reduction

We prove that for every Shimura variety $S$, there is an integral model $\mathcal{S}$ such that all CM points of $S$ have good reduction with respect to $\mathcal{S}$. In other words, every CM point is contained in $\mathcal{S}(\overline{\mathbb{Z}})$. This follows from a stronger local result wherein we characterize the points of $S$ with potentially-good reduction (with respect to some auxiliary prime $\ell$) as being those that extend to integral points of $\mathcal{S}$.

math.NT↗
arXiv2024

The linear Shafarevich conjecture for quasiprojective varieties and algebraicity of Shafarevich morphisms

We prove that the universal cover of a normal complex algebraic variety admitting a faithful complex representation of its fundamental group is an analytic Zariski open subset of a holomorphically convex complex space. This is a non-proper version of the Shafarevich conjecture. More generally we define a class of subset of the Betti stack for which the covering space trivializing the corresponding local systems has this property. Secondly, we show that for any complex local system $V$ on a normal complex algebraic variety $X$ there is an algebraic map $f \colon X\to Y$ contracting precisely the subvarieties on which $V$ is isotrivial.

math.AG↗
arXiv2024

Integral canonical models of exceptional Shimura varieties

We prove that Shimura varieties admit integral canonical models for sufficiently large primes. In the case of abelian-type Shimura varieties, this recovers work of Kisin-Kottwitz for sufficiently large primes. We also prove the existence of integral canonical models for images of period maps corresponding to geometric families. We deduce several consequences from this, including an unramified rigid analogue of Borel's extension theorem, a version of Tate semisimplicity, CM lifting theorems, and a weakened version of Tate's isogeny theorem for ordinary points.

math.NT↗
arXiv2022

o-minimal GAGA and a conjecture of Griffiths

We prove a conjecture of Griffiths on the quasi-projectivity of images of period maps using algebraization results arising from o-minimal geometry. Specifically, we first develop a theory of analytic spaces and coherent sheaves that are definable with respect to a given o-minimal structure, and prove a GAGA-type theorem algebraizing definable coherent sheaves on complex algebraic spaces. We then combine this with algebraization theorems of Artin to show that proper definable images of complex algebraic spaces are algebraic. Applying this to period maps, we conclude that the images of period maps are quasi-projective and that the restriction of the Griffiths bundle is ample.

math.AG↗
arXiv2022

A short proof of a conjecture of Matsushita

In this note we build on the arguments of van Geemen and Voisin to prove a conjecture of Matsushita that a Lagrangian fibration of an irreducible hyperkähler manifold is either isotrivial or of maximal variation. We also complete a partial result of Voisin regarding the density of torsion points of sections of Lagrangian fibrations.

math.AG↗
arXiv2022

The global moduli theory of symplectic varieties

We develop the global moduli theory of symplectic varieties in the sense of Beauville. We prove a number of analogs of classical results from the smooth case, including a global Torelli theorem. In particular, this yields a new proof of Verbitsky's global Torelli theorem in the smooth case (assuming $b_2\geq 5$) which does not use the existence of a hyperkähler metric or twistor deformations.

math.AG↗
arXiv2022

Definable structures on flat bundles

A flat vector bundle on an algebraic variety supports two natural definable structures given by the flat and algebraic coordinates. In this note we show these two structures coincide, subject to a condition on the local monodromy at infinity which is satisfied for all flat bundles underlying variations of Hodge structures.

math.AG↗
arXiv2021

Finiteness for self-dual classes in integral variations of Hodge structure

We generalize the finiteness theorem for the locus of Hodge classes with fixed self-intersection number, due to Cattani, Deligne, and Kaplan, from Hodge classes to self-dual classes. The proof uses the definability of period mappings in the o-minimal structure $\mathbb{R}_{\mathrm{an},\exp}$.

math.AG↗
arXiv2021

A global Torelli theorem for singular symplectic varieties

We systematically study the moduli theory of symplectic varieties (in the sense of Beauville) which admit a resolution by an irreducible symplectic manifold. In particular, we prove an analog of Verbitsky's global Torelli theorem for the locally trivial deformations of such varieties. Verbitsky's work on ergodic complex structures replaces twistor lines as the essential global input. In so doing we extend many of the local deformation-theoretic results known in the smooth case to such (not-necessarily-projective) symplectic varieties. We deduce a number of applications to the birational geometry of symplectic manifolds, including some results on the classification of birational contractions of $K3^{[n]}$-type varieties.

math.AG↗
arXiv2020

Quasiprojectivity of images of mixed period maps

We prove a mixed version of a conjecture of Griffiths: that the closure of the image of any admissible mixed period map is quasiprojective, with a natural ample bundle. Specifically, we consider the map from the image of the mixed period map to the image of the period map of the associated graded. On the one hand, we show in a precise manner that the parts of this map parametrizing extension data of non-adjacent-weight pure Hodge structures are quasi-affine. On the other hand, extensions of adjacent-weight pure polarized Hodge structures are parametrized by a compact complex torus (the intermediate Jacobian) equipped with a natural theta bundle which is ample in Griffiths transverse directions. Our proof makes heavy use of o-minimality, and recent work with B. Klingler associating a $\mathbb{R}_{an,exp}$-definable structure to mixed period domains and admissible mixed period maps.

math.AG↗
arXiv2020

Tame topology of arithmetic quotients and algebraicity of Hodge loci

In this paper we prove the following results: $1)$ We show that any arithmetic quotient of a homogeneous space admits a natural real semi-algebraic structure for which its Hecke correspondences are semi-algebraic. A particularly important example is given by Hodge varieties, which parametrize pure polarized integral Hodge structures. $2)$ We prove that the period map associated to any pure polarized variation of integral Hodge structures $\mathbb{V}$ on a smooth complex quasi-projective variety $S$ is definable with respect to an o-minimal structure on the relevant Hodge variety induced by the above semi-algebraic structure. $3)$ As a corollary of $2)$ and of Peterzil-Starchenko's o-minimal Chow theorem we recover that the Hodge locus of $(S, \mathbb{V})$ is a countable union of algebraic subvarieties of $S$, a result originally due to Cattani-Deligne-Kaplan. Our approach simplifies the proof of Cattani-Deligne-Kaplan, as it does not use the full power of the difficult multivariable $SL_2$-orbit theorem of Cattani-Kaplan-Schmid.

math.AG↗