Cones of special cycles of codimension 2 on orthogonal Shimura varieties

Abstract

Let $X$ be an orthogonal Shimura variety associated to a unimodular lattice. We investigate the polyhedrality of the cone ${\mathcal{C}}_X$ of special cycles of codimension 2 on $X$. We show that the rays generated by such cycles accumulate towards infinitely many rays, the latter generating a non-trivial cone. We also prove that such an accumulation cone is polyhedral. The proof relies on analogous properties satisfied by the cones of Fourier coefficients of Siegel modular forms. We show that the accumulation rays of ${\mathcal{C}}_X$ are generated by combinations of Heegner divisors intersected with the Hodge class of $X$. As a result of the classification of the accumulation rays, we implement an algorithm in SageMath to certify the polyhedrality of ${\mathcal{C}}_X$ in some cases.

arXiv comment52 pages, 3 figures; typos corrected, proof of Theorem 5.6 shortened, minor correction of Proposition 8.1. All main results unchanged

References in corpus (6)

• Extremal higher codimension cycles on moduli spaces of curves
• Effective cones of cycles on blow-ups of projective space
• Formal Fourier Jacobi Expansions and Special Cycles of Codimension 2
• Petersson norms of not necessarily cuspidal Jacobi modular forms and applications
• The modularity of special cycles on orthogonal Shimura varieties over totally real fields under the Beilinson-Bloch conjecture
• Remarks on generating series for special cycles

Cited by in corpus (1)

• Unfolding and injectivity of the Kudla-Millson lift of genus 1