arXiv subjects

Haitao Zou

Publications and source records attributed to Haitao Zou.

8 recordsLinked to original sources

arXiv2026

Monodromy rank and the semisimple Mumford-Tate conjecture for hyper-Kähler varieties

We study the Mumford-Tate conjecture for hyper-Kähler varieties. We identify the Mumford-Tate group with a Levi factor of the connected total $\ell$-adic monodromy group. It follows that the Mumford-Tate conjecture holds after semisimplification in every cohomological degree. We call this the semisimple Mumford-Tate conjecture. As applications, we derive a Hodge-to-Tate implication for powers, prove deformation invariance of the Mumford-Tate conjecture, establish the $\ell$-adic Nagai conjecture for Type I reduction, and extend Hui-Larsen's hyperspecial maximality theorem from degree two to total cohomology. The proof combines Pink's generation theorem for weak Hodge cocharacters with a multiplicity-weighted direct-sum construction and a rigidity argument for the graded cohomology algebra.

math.AG↗

arXiv2026

Finiteness of pointed families of symplectic varieties: a geometric Shafarevich conjecture

We investigate in this paper the so-called pointed Shafarevich problem for families of primitive symplectic varieties. More precisely, for any fixed pointed curve $(B, 0)$ and any fixed primitive symplectic variety $X$, among all locally trivial families of $\mathbb{Q}$-factorial and terminal primitive symplectic varieties over $B$ whose fiber over $0$ is isomorphic to $X$, we show that there are only finitely many isomorphism classes of generic fibers. Moreover, assuming semi-ampleness of isotropic nef divisors, which holds true for all hyper-Kähler manifolds of known deformation types, we show that there are only finitely many such projective families up to isomorphism. These results are optimal since we can construct infinitely many pairwise non-isomorphic (not necessarily projective) families of smooth hyper-Kähler varieties over some pointed curve $(B, 0)$ such that they are all isomorphic over the punctured curve $B\backslash \{0\}$ and have isomorphic fibers over the base point $0$.

math.AG↗

arXiv2026

Unpolarized Shafarevich conjectures for hyper-Kähler varieties

The Shafarevich conjecture/problem is about the finiteness of isomorphism classes of a family of varieties defined over a number field with good reduction outside a finite collection of places. For K3 surfaces, such a finiteness result was proved by Y. She. For hyper-Kähler varieties, which are higher-dimensional analogs of K3 surfaces, Y. André proved the Shafarevich conjecture for hyper-Kähler varieties of a given dimension and admitting a very ample polarization of bounded degree. In this paper, we provide a unification of both results by proving the (unpolarized) Shafarevich conjecture for hyper-Kähler varieties in a given deformation type. We also discuss the cohomological generalization of the Shafarevich conjecture by replacing the good reduction condition by the unramifiedness of the cohomology, where our results are subject to a certain necessary assumption on the faithfulness of the action of the automorphism group on cohomology. In a similar fashion, generalizing a result of Orr and Skorobogatov on K3 surfaces, we prove the finiteness of geometric isomorphism classes of hyper-Kähler varieties of CM type in a given deformation type defined over a number field with bounded degree. A key to our approach to these results is a uniform Kuga--Satake map, inspired by She's work, and we study its arithmetic properties, which are of independent interest.

math.AG↗

arXiv2025

Arithmetic monodromy of hyper-Kähler varieties over $p$-adic fields

In this paper, we study the $p$-adic and $\ell$-adic monodromy operators associated with hyper-Kähler varieties over $p$-adic fields, in connection with Looijenga-Lunts-Verbitsky Lie algebras. We investigate a conjectural relation between the nilpotency indices of these monodromy operators on higher-degree cohomology groups and on the second cohomology, which may be viewed as an arithmetic analogue of Nagai's conjecture for degenerations of hyper-Kähler manifolds over a disk. We verify this arithmetic version of Nagai's conjecture for hyper-Kähler varieties over $p$-adic fields, assuming they belong to one of the four known deformation types. As part of our approach, we introduce a new method to analyze the $p$-adic cohomology of hyper-Kähler varieties via Sen's theory.

math.AG↗

arXiv2025

Derived isogenies and isogenies for abelian surfaces

In this paper, we study the twisted Fourier-Mukai partners of abelian surfaces. Following the work of Huybrechts [doi:10.4171/CMH/465], we introduce the twisted derived equivalence between abelian surfaces. We show that there is a twisted derived Torelli theorem for abelian surfaces over algebraically closed fields with characteristic $\neq 2,3$. Over complex numbers, the derived isogenies correspond to rational Hodge isometries between the second cohomology groups, which is in analogy to the work of Huybrechts and Fu-Vial on K3 surfaces. Their proof relies on the global Torelli theorem over $\mathbb{C}$, which is missing in positive characteristics. To overcome this issue, we firstly extend a trick given by Shioda on integral Hodge structures, to rational Hodge structures, $\ell$-adic Tate modules and $F$-crystals. Then we make use of Tate's isogeny theorem to give a characterization of the twisted derived equivalences between abelian surfaces via isogenies. As a consequence, we show the two abelian surfaces are principally isogenous if and only if they are derived isogenous.

math.AG↗

arXiv2022

A note on Fourier-Mukai partners of abelian varieties over positive characteristic fields

Over complex numbers, the Fourier-Mukai partners of abelian varieties are well-understood. A celebrated result is Orlov's derived Torelli theorem. In this note, we study the FM-partners of abelian varieties in positive characteristic. We notice that, in odd characteristics, two abelian varieties of odd dimension are derived equivalent if their associated Kummer stacks are derived equivalent, which is Krug and Sosna's result over complex numbers. For abelian surfaces in odd characteristic, we show that two abelian surfaces are derived equivalent if and only if their associated Kummer surfaces are isomorphic. This extends the result [doi:10.1215/s0012-7094-03-12036-0] to odd characteristic fields, which solved a classical problem originally from Shioda. Furthermore, we establish the derived Torelli theorem for supersingular abelian varieties and apply it to characterize the quasi-liftable birational models of supersingular generalized Kummer varieties.

math.AG↗

arXiv2022

Unpolarized Shafarevich conjectures for hyper-Kähler varieties

Shafarevich conjecture/problem is about the finiteness of isomorphism classes of a family of varieties defined over a number field with good reduction outside a finite collection of places. For K3 surfaces, such a finiteness result was proved by Y. She. For hyper-Kähler varieties, which are higher-dimensional analogs of K3 surfaces, Y. André has verified the Shafarevich conjecture for hyper-Kähler varieties of a given dimension and admitting a very ample polarization of bounded degree. In this paper, we provide a unification of both results by proving the (unpolarized) Shafarevich conjecture for hyper-Kähler varieties in a given deformation type. In a similar fashion, generalizing a result of Orr and Skorobogatov on K3 surfaces, we prove the finiteness of geometric isomorphism classes of hyper-Kähler varieties of CM type in a given deformation type defined over a number field with bounded degree. A key to our approach is a uniform Kuga--Satake map, inspired by She's work, and we study its arithmetic properties, which are of independent interest.

math.AG↗

arXiv2020

Supersingular O'Grady varieties of dimension six

O'Grady constructed a 6-dimensional irreducible holomorphic symplectic variety by taking a crepant resolution of some moduli space of stable sheaves on an abelian surface. In this paper, we naturally extend O'Grady's construction to fields of positive characteristic p greater than 2, called OG6 varieties. We show that a supersingular OG6 variety is unirational, its rational cohomology group is generated by algebraic classes, and its rational Chow motive is of Tate type. These results confirm in this case the generalized Artin--Shioda conjecture, the supersingular Tate conjecture and the supersingular Bloch conjecture proposed in our previous work, in analogy with the theory of supersingular K3 surfaces.

math.AG↗