Abstract:The Hodge bundle $\omega$ over a modular curve is a square-root of the canonical bundle twisted by the cuspidal divisor, or a theta characteristic, due to the Kodaira--Spencer isomorphism. We prove that, in most cases, a section of a theta characteristic $\nu$ (or any odd power of it) different from $\omega$ is a noncongruence modular form. On the other hand, we show how $\nu\ne\omega$ gives rise to a ``twisted'' analogue of the diagonal period map to a Siegel threefold, whose difference attributes to the stackiness of the moduli of abelian surfaces $\mathcal{A}_{2}$. Some questions on the Brill--Noether theory of the modular curves are answered.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **Is the Hodge bundle ω special among the theta characteristics of the modular curve?**
Specifically, the author explores the following issues:
1. **The relationship between theta characteristics and non - congruence modular forms**:
- The author proves that for a theta characteristic ν different from the Hodge bundle ω, its k - th power (k is odd) of sections are non - congruence modular forms. This means that in most cases, the sections of theta characteristics other than the Hodge bundle ω are non - congruence modular forms.
2. **Geometric local systems and twisted Kuga - Sato varieties**:
- The author studies the finite - index subgroup Γν corresponding to each theta characteristic ν, and establishes the connection between these theta characteristics and geometric local systems through the non - abelian Hodge correspondence.
- Constructs the twisted Kuga - Sato variety \( W_ν \) and shows how it gives a geometric local system, which contains the standard representation \( ρ_ν \).
3. **Twisted period maps to the Siegel three - fold moduli space**:
- The author shows how to construct a twisted period map \( π_ν: Y \to A_2 \) from a theta characteristic ν. This is different from the classical diagonal period map \( π_{\text{diag}}: Y \to A_2 \), but the difference is very subtle, mainly coming from the stack property of \( A_2 \).
4. **Applications of Brill - Noether theory**:
- The author also studies the speciality of the modular curve and its Hodge bundle in Brill - Noether theory, and proves that the modular curve of a sufficiently fine level is special in the sense of Brill - Noether theory.
In summary, the main objective of the paper is to explore the unique position of the Hodge bundle ω among all the theta characteristics of the modular curve, and to demonstrate this through multiple perspectives (such as non - congruence modular forms, geometric local systems, period maps, etc.).