Chenxin Huang | arXiv Science

arXiv2026

On Special Subvarieties of the Universal Semi-abelian Scheme and Zilber--Pink Conjectures

We classify the special subvarieties of the universal semi-abelian scheme of arbitrary toric rank, viewed as a mixed Shimura variety. As an application, we show that the Zilber--Pink conjecture for mixed Shimura varieties implies its counterpart for semi-abelian varieties, correcting an error in an unpublished manuscript of Pink. Our classification also reveals that the relative Manin--Mumford conjecture for semi-abelian schemes must account for subvarieties of Ribet type, and we give a corrected formulation that does so.

math.AG↗

arXiv2025

The Picard group of the Baily--Borel compactification of the moduli space of quasi-polarized K3 surfaces and generalizations

In this paper, we investigate the Picard group of the Baily--Borel compactification of orthogonal Shimura varieties. As a key result, we determine the Picard group of the Baily--Borel compactification of the moduli space of quasi-polarized K3 surfaces, proving that it is isomorphic to $\mathbb{Z}$. Notably, this contrasts with the moduli space of smooth curves, where the Picard group exhibits a more complex structure after natural compactification. Our result follows from a general theorem for orthogonal Shimura varieties: for even lattices $M$ of signature $(2,n)$ with $n > 8$ satisfying specific arithmetic conditions (e.g. K3 type or $p$-elementary), the rational Picard group of $\overline{\operatorname{Sh}}_Γ(M)$ with $Γ$ containing the stable orthogonal group is $1$-dimensional. The core of our proof lies in constructing an arithmetic obstruction space that governs the extension of Heegner divisors to the generic points of the boundary in orthogonal Shimura varieties. We further establish a connection between this obstruction space and the space of theta series, demonstrating that the obstruction space is maximal under our conditions.

math.AG↗