[Submitted on 25 May 2026]

View PDF

Abstract:We use the fixed point method and toroidal compactifications to establish general lower bounds for the essential dimension of congruence covers $\Gamma' \backslash \mathcal{X}^0 \rightarrow \Gamma \backslash \mathcal{X}^0$ of mixed Shimura varieties. Our main result shows that $\mathrm{ed}_{\mathbb{C}}(\Gamma' \backslash \mathcal{X}^0 \rightarrow \Gamma \backslash \mathcal{X}^0; p)$ is bounded from below by the dimension of certain unipotent subgroups associated with the rational boundary components of the given mixed Shimura datum. This generalizes theorems of Brosnan and Fakhruddin to the case of an arbitrary mixed Shimura datum. As a consequence, we obtain incompressibility results for congruence covers of universal families of principally polarized abelian varieties. We also describe explicit fixed points for $(GL_2, \mathcal{H}_2)$ and $(V \rtimes GL_2, \mathcal{Y}_2)$.

Submission history

From: Qi'An Chen [view email]
[v1] Mon, 25 May 2026 09:29:52 UTC (74 KB)

Current browse context:

math.AG

Bookmark

Bibliographic and Citation Tools

Code, Data and Media Associated with this Article

Demos

Recommenders and Search Tools

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.