Table of Contents
Fetching ...

Partial Hasse invariants for genus zero curves in Hilbert modular varieties

Gabriele Bogo, Yingkun Li

TL;DR

The paper addresses lifting partial Hasse invariants for genus-zero curves embedded in Hilbert modular varieties by connecting characteristic-$p$ geometry to twisted modular forms via Picard–Fuchs equations along affine Kobayashi geodesics. It constructs explicit lifts $h_{p,j}$ of the partial Hasse invariants with controlled weights and divisors, proving that their $t$-expansions are constant modulo $p$ and relating the zeros to the non-ordinary locus; in genus zero, the degree of the associated polynomials $\mathrm{ph}_{p,j}(t)$ is tied to the dimensions of twisted modular form spaces, giving Deuring-like counts for Teichmüller curves. The results include minimal-weight lifts under elliptic-point assumptions and explicit computations for Teichmüller curves $W_D$ in Hilbert modular surfaces and for the triangle curve $W_5$, with representations in terms of hypergeometric functions. A constructive model-based method is provided to express partial Hasse invariants as polynomials in modular forms, enabling explicit $t$-expansions and Hasse–Witt matrix descriptions in worked examples.

Abstract

We construct characteristic-zero lifts of partial Hasse invariants for genus zero non-compact curves in Hilbert modular varieties. The construction is based on recent results on the associated Picard-Fuchs differential equations. As an application, we relate the size of the non-ordinary locus of the modulo $p$ reduction of these curves to the dimension of spaces of (twisted) modular forms. We compute it explicitly for several Teichmüller curves, obtaining Deuring-like formulae. Moreover, we study the modulo $p$ reduction of (twisted) modular forms on not necessarily arithmetic genus-zero Fuchsian groups with modular embedding.

Partial Hasse invariants for genus zero curves in Hilbert modular varieties

TL;DR

The paper addresses lifting partial Hasse invariants for genus-zero curves embedded in Hilbert modular varieties by connecting characteristic- geometry to twisted modular forms via Picard–Fuchs equations along affine Kobayashi geodesics. It constructs explicit lifts of the partial Hasse invariants with controlled weights and divisors, proving that their -expansions are constant modulo and relating the zeros to the non-ordinary locus; in genus zero, the degree of the associated polynomials is tied to the dimensions of twisted modular form spaces, giving Deuring-like counts for Teichmüller curves. The results include minimal-weight lifts under elliptic-point assumptions and explicit computations for Teichmüller curves in Hilbert modular surfaces and for the triangle curve , with representations in terms of hypergeometric functions. A constructive model-based method is provided to express partial Hasse invariants as polynomials in modular forms, enabling explicit -expansions and Hasse–Witt matrix descriptions in worked examples.

Abstract

We construct characteristic-zero lifts of partial Hasse invariants for genus zero non-compact curves in Hilbert modular varieties. The construction is based on recent results on the associated Picard-Fuchs differential equations. As an application, we relate the size of the non-ordinary locus of the modulo reduction of these curves to the dimension of spaces of (twisted) modular forms. We compute it explicitly for several Teichmüller curves, obtaining Deuring-like formulae. Moreover, we study the modulo reduction of (twisted) modular forms on not necessarily arithmetic genus-zero Fuchsian groups with modular embedding.
Paper Structure (10 sections, 18 theorems, 74 equations)

This paper contains 10 sections, 18 theorems, 74 equations.

Key Result

Theorem 1

Let $\mathbb{H}/\Gamma\simeq Y\hookrightarrow M_F$ and $p$ be as above. There exists twisted modular forms $h_{p,1}$ and $h_{p,2}$ on $\Gamma$, of weight $(-1,p)$ and $(p,-1)$ respectively, and a Hauptmodul $t$ such that the polynomial in $t$ describing the zeros of $h_{p,j}$ in a fundamental domain

Theorems & Definitions (31)

  • Theorem : Theorem \ref{['thm:phi']}, Part 1
  • Theorem : Theorem \ref{['thm:phi']}, Part 2
  • Corollary : Corollary \ref{['cor:modp']}
  • Corollary : Corollary \ref{['cor:degree']}
  • Theorem : Goren G2, Andreatta-Goren AG
  • Theorem : Möller-Viehweg MV
  • Lemma 1
  • proof
  • Theorem : B
  • Lemma 2
  • ...and 21 more