Abstract:We show that the space of vector-valued Siegel automorphic forms in characteristic $p$ is zero when the weight is outside of an explicit locus. This result is a special case of a general conjecture about Hodge-type Shimura varieties formulated in previous work with W. Goldring.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the vanishing problem of vector - valued Siegel automorphic forms in characteristic p. Specifically, the author aims to prove that when the weight is outside a certain explicit region, the space of vector - valued Siegel automorphic forms will vanish. This result is a special case of the general conjecture about Hodge - type Shimura varieties proposed in previous cooperation with W. Goldring.
### Specific description of the problem
1. **Research object**: Properties of vector - valued Siegel automorphic forms in characteristic p.
2. **Main problem**: Prove that the space of these automorphic forms will vanish when the weight is outside a certain specific region.
3. **Background and motivation**: The study of this problem helps to understand the geometric properties of automorphic forms in algebraic geometry and provides theoretical support for Hodge - type Shimura varieties more widely.
### Main contributions of the paper
- **Theorem 1**: For the Siegel - type Shimura variety \(A_{n,K}\) with good reduction, if \(f\in H^0(A_{n,K}\otimes_{\mathbb{Z}_p}\mathbb{F}_p, V_I(\lambda))\) is a non - zero automorphic form, and the weight \(\lambda=(a_1,\ldots,a_n,b)\), then the following inequality is satisfied:
\[
\sum_{i = 1}^{j}a_i+\frac{1}{p}\sum_{i = j + 1}^{n}a_i\leq0\quad\text{for all }j = 1,\ldots,n.
\]
If the above inequality does not hold, then \(H^0(A_{n,K}\otimes_{\mathbb{F}_p}\mathbb{F}_p, V_I(\lambda)) = 0\).
- **Method**: The author proves these conclusions by introducing the flag space \(\text{Flag}(A_{n,K})\) of Ekedahl - van der Geer and using the action of Hecke operators.
### Significance and influence
- **Theoretical significance**: This result provides a new vanishing theorem for automorphic forms of Hodge - type Shimura varieties, further verifying the previous conjecture.
- **Application prospects**: These results can be applied to broader fields of algebraic geometry and number theory, especially when studying the geometric properties of automorphic forms and Shimura varieties.
Through these works, the author not only solves specific mathematical problems but also provides important theoretical bases and technical means for future research.