Abstract:We prove that the effective cone of automorphic vector bundles on the Siegel modular variety of rank $n$ in characteristic $p$ at a place of good reduction is encoded by the stack of $G$-zips of Pink--Wedhorn--Ziegler. Specifically, we show that the degree zero cohomology groups of automorphic vector bundles always vanish outside of the zip cone. This result is a special case of a general conjecture formulated by the Goldring and the author for all Hodge-type Shimura varieties of good reduction. In the case $n=3$, we give explicit conditions for the vanishing of the $0$-th cohomology group. Finally, in the course of the proof we define the notion of automorphic forms of trivial-type and study their properties.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to explore and prove the Cone Conjecture for vector - valued Siegel automorphic forms on Siegel model varieties under the characteristic \(p\). Specifically, the author attempts to verify the general conjecture about the weights of these automorphic forms proposed by Goldring and himself in [GK18]. The core of this conjecture is to assert that the vanishing of the zero - degree cohomology group of the automorphic vector bundle is controlled by the \(G\)-zip stack of Pink - Wedhorn - Ziegler.
#### Main contributions
- **Verification of the Cone Conjecture**: For the Siegel model variety \(A_n\), the author proves that the effective cone is encoded by the \(G\)-zip stack and shows that the zero - degree cohomology group always vanishes outside the zip cone.
- **Introduction of automorphic forms of the trivial type**: In the proof process, the author defines the concept of automorphic forms of the trivial type and studies their properties.
- **Provision of specific vanishing results**: Especially for the case of \(n = 3\), specific conditions for the vanishing of the zero - degree cohomology group are given.
#### Mathematical background and formulas
- **Hodge vector bundle**: Let \(\pi: A\rightarrow A_{n,K}\) be the universal abelian scheme, then the Hodge vector bundle \(\Omega=\pi^*\Omega^1_{A/A_{n,K}}\).
- **Schur functor**: For any integer \(n\)-tuple \(\lambda=(k_1,\ldots,k_n)\), a vector bundle \(V_I(\lambda)\) can be constructed by the Schur functor.
- **Zip cone**: Defined as
\[
C_{\text{zip}}=\left\{\lambda\in\mathbb{Z}^n\mid H^0(G\text{-Zip}_\mu, V_I(\lambda))\neq 0\right\}.
\]
- **Trivial part**: For \(\lambda\in\mathbb{Z}^n\), let \(V_I(\lambda)^{\leq 0}\) be the non - positive part of \(V_I(\lambda)\), then
\[
H^0(G\text{-Zip}_\mu, V_I(\lambda)) = V_I(\lambda)^{L(\mathbb{F}_p)}\cap V_I(\lambda)^{\leq 0}.
\]
#### Conclusion
Through the above work, the author successfully applies the general conjecture to the Siegel model variety and proves that the vanishing of the zero - degree cohomology group is controlled by the \(G\)-zip stack. This not only verifies an important special case of the Cone Conjecture, but also lays the foundation for further research on other types of Shimura varieties.