Abstract:Let $X$ be a smooth, projective, and geometrically connected curve defined over a finite field $\mathbb{F}_q$ of characteristic $p$ different from $2$ and $S\subseteq X$ a subset of closed points. Let $\overline{X}$ and $\overline{S}$ be their base changes to an algebraic closure of $\mathbb{F}_q$. We study the number of $\ell$-adic local systems $(\ell\neq p)$ in rank $2$ over $\overline{X}-\overline{S}$ with all possible prescribed tame local monodromies fixed by $k$-fold iterated action of Frobenius endomorphism for every $k\geq 1$. In all cases, we confirm conjectures of Deligne predicting that these numbers behave as if they were obtained from a Lefschetz fixed point formula. In fact, our counting results are expressed in terms of the numbers of some Higgs bundles.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the counting of rank - 2 $\ell$-adic local systems on curves. Specifically, the author studied the number of rank - 2 $\ell$-adic local systems on a smooth, projective, and geometrically connected curve $X$ defined over the finite field $\mathbb{F}_q$, which have a predetermined tame local monodromy on $X - S$ and remain invariant under the $k$-fold iteration of the Frobenius endomorphism. The goal of the paper is to verify Deligne's conjecture regarding the behavior of these numbers being consistent with the Lefschetz fixed - point formula.
### Main problems
1. **Problem background**:
- Consider a smooth, projective, and geometrically connected curve $X$ defined over the finite field $\mathbb{F}_q$ with characteristic $p$.
- $S\subseteq X$ is a subset of closed points.
- $X$ and $S$ are obtained by base change through the algebraic closure of $\mathbb{F}_q$.
- Study the number of rank - 2 $\ell$-adic local systems (where $\ell\neq p$) that have a predetermined tame local monodromy on $X - S$ and remain invariant under the $k$-fold iteration of the Frobenius endomorphism.
2. **Main objective**:
- Verify Deligne's conjecture, that is, the behavior of these numbers is consistent with the Lefschetz fixed - point formula.
- Specifically, for rank - 2 $\ell$-adic local systems, their number can be expressed as the number of certain Higgs bundles.
### Main contributions of the paper
- **Verify Deligne's conjecture**: Through detailed calculations and analysis, the author verified Deligne's conjecture regarding the number of rank - 2 $\ell$-adic local systems.
- **Lefschetz fixed - point formula**: Proved that the behavior of these numbers is consistent with the Lefschetz fixed - point formula, which provides a theoretical basis for further understanding the properties of these local systems.
- **Relationship with Higgs bundles**: Showed the relationship between these numbers and the number of certain Higgs bundles, which has a certain analogy with Simpson's non - commutative Hodge theory.
### Key concepts and formulas
- **Frobenius endomorphism**: Denoted as $\text{Frob}$, it is an endomorphism on the curve $X$ defined by $a\mapsto a^q$.
- **Tame local monodromy**: The behavior of local systems at certain points is tame, that is, the eigenvalues of the local monodromy matrix are distinct in $\mathbb{Q}_\ell$.
- **Lefschetz fixed - point formula**: A formula for calculating the number of fixed points on an algebraic variety, in the form:
\[
h(k)=\sum_{\alpha}m_{\alpha}\alpha^k
\]
where $\alpha$ is a $q$-Weil integer and $m_{\alpha}$ is an integer.
### Conclusion
Through detailed research and calculations, the paper verified Deligne's conjecture regarding the number of rank - 2 $\ell$-adic local systems and showed the relationship between these numbers and the number of Higgs bundles. This result not only deepens the understanding of these local systems but also provides an important theoretical basis for further research.