Abstract:We determine the summands of the decomposition theorem for the Hitchin system for $\mathrm{GL}_n$, in arbitrary degree, over the locus of reduced spectral curves. The key ingredient is an equivariant formula for lattice point counts in graphical zonotopes.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the combinatorial description of the decomposition theorem in the Hitchin system. Specifically, the authors aim to determine the direct summands in the decomposition theorem of the Hitchin system at any degree, especially in the case of the reduced spectral curve. The key contribution of the paper is to provide an equivariant formula for calculating the number of lattice points in the graph zonotope, and this method provides a new combinatorial perspective for understanding these direct summands.
### Main contributions of the paper
1. **Combinatorial decomposition theorem**:
- Through the lattice point counting in the graph zonotope, the authors give a combinatorial description of the decomposition theorem of the Hitchin system at any degree.
- This method is not only applicable to the Hitchin system but also can be generalized to other types of compactified Jacobian varieties, such as the Mukai system.
2. **Support sets of local systems**:
- The support sets of the local systems \( L_n(d) \) in the Hitchin fibration are determined. These support sets are composed of sub - varieties \( S_n \) corresponding to non - \( d \)-integer partitions of \( n \).
- A combinatorial characteristic is proposed, that is, the local system \( L_n(d) \) can be identified as the highest reduced homology group of the \( \text{Stab}(n) \) representation, twisted by the sign representation.
3. **Ranks of local systems**:
- A closed formula for the rank of the local system \( L_n(d) \) is given. This formula involves the combinatorial properties of \( \omega_n(d) \)-integer partitions.
- It is proved that when \( \omega \) is an integral vector, the sum in the formula is zero; otherwise, when \( \Delta(\Pi_{\omega_n(d)}) \) contains at least one sphere, the sum in the formula is positive.
### Main results
- **Theorem 1.1** (Effective Hitchin fibration decomposition theorem):
- For any partition \( n=\{n_1,\ldots,n_r\} \), let \( S_n\subseteq A_{\text{red}}^n \) be the closure of the irreducible factors of the characteristic polynomial \( \text{char}(\phi) \) with degrees \( n_i \), and \( g_n:A^n\times\to S_n \) be the relative Jacobian of the simultaneously normalized spectral curve.
- There exists an isomorphism:
\[
R\chi(n, d)_* IC(M(n, d),\mathbb{Q})|_{A_{\text{red}}^n}\cong\bigoplus_{n\vdash n}d\text{-integral} IC(S_n, Rg_{n,*}\mathbb{Q}_{A^n\times}\otimes L_n(d))[- 2\text{codim}S_n](-\text{codim}S_n)
\]
- where \( L_n(d) \) is a polarized variation of pure Hodge structures, with weight zero and of Hodge - Tate type.
- **Theorem 1.4** (Support sets at any degree):
- The support set of \( R\chi(n, d)_* IC(M(n, d),\mathbb{Q})|_{A_{\text{red}}^n} \) is all and only the sub - varieties \( S_n \), where \( n \) is not a \( d \)-integer partition.
- **Theorem 1.6** (Combinatorial characteristics of local systems):
- The local system \( L_n(d) \) can be identified as the highest reduced homology group of the \( \text{Stab}(n) \) representation, twisted by the sign representation:
\[
L_n(d)\cong\text{sgn}\otimes\tilde{H}_{\ell(n)-3}(\Delta(\Pi_{\om