🔢 mathematics

Hecke curves in Frobenius strata of moduli space of rank 2 vector bundles

This paper demonstrates that in the moduli space of rank 2 stable vector bundles over a smooth projective curve in characteristic 2, there exists a Frobenius stratum that is covered by Hecke curves.

Original authors: Lingguang Li, Hongyi Zhang

Published 2026-02-11

📖 3 min read🧠 Deep dive

CC BY 4.0

Original authors: Lingguang Li, Hongyi Zhang

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Metaphor: The "Fragile Glass Sculptures" of Geometry

Imagine you are an artist in a world where you create beautiful, complex glass sculptures. These sculptures represent "Vector Bundles"—mathematical objects that carry information across a curved surface (the "Curve").

In this world, there is a standard for quality called "Stability." A "Stable" sculpture is perfectly balanced; it can withstand the wind and the elements. However, there is a strange phenomenon in this world: there is a magical, powerful wind called the "Frobenius Map."

When this wind blows, it can hit a perfectly balanced sculpture and suddenly shatter its stability, making it "unstable."

The Core Concepts

1. The Frobenius Strata (The "Damage Zones")
Not every sculpture breaks the same way. Some sculptures are very sturdy and barely wobble when the wind blows. Others are extremely fragile and fall apart instantly.
The researchers study the "Frobenius Strata," which are essentially different "damage zones." Think of them as layers of a landscape:

The Top Layer: The most stable sculptures.
The Middle Layers: Sculptures that become partially unstable when the wind blows.
The Bottom Layer ( $M_{g-1}$ ): The most fragile sculptures possible.

2. Hecke Curves (The "Connecting Paths")
The mathematicians want to know how these sculptures are connected to one another. They look for "Rational Curves," which you can think of as "smooth, continuous paths" or "slides" that connect one sculpture to another.
A "Hecke Curve" is a very specific, efficient kind of path. Imagine a specialized conveyor belt that allows you to transform one sculpture into another by making tiny, precise adjustments to its shape at a single point.

What the Paper Actually Proves

The authors, Li and Zhang, investigated how these "paths" (Hecke curves) behave within the "damage zones" (Frobenius strata) when the world is in a specific mathematical state (Characteristic 2).

They discovered three main things:

Result 1: The Dead End. In the most extreme damage zone ( $M_{g-1}$ ), there are no "slides" (rational curves) at all. The sculptures there are so isolated and strange that you cannot move smoothly from one to another. They are like islands in a sea where no bridges can be built.
Result 2: Staying in the Family. They proved that if you start moving along a path of sculptures, you won't accidentally drift into a different "family" (determinant). You stay within your specific mathematical lineage.
Result 3: The Hidden Highways. This is their big discovery. They showed that in the second-to-last damage zone ( $M_{g-2}$ ), there are actually "highways" (Hecke curves) running through it. Even though these sculptures are "damaged" by the wind, you can still find a smooth, continuous path of other "damaged" sculptures that passes through any one of them.

Why does this matter?

In the grand map of mathematics, we want to know if a space is "connected" or "fragmented." By proving that Hecke curves exist in these specific strata, the authors are showing that even in the "unstable" parts of the mathematical universe, there is still a hidden structure and a way to travel from one point to another. They are mapping the highways of a very strange, fragile landscape.

Technical Summary: Hecke Curves in Frobenius Strata of Moduli Space of Rank 2 Vector Bundles

Authors: Lingguang Li and Hongyi Zhang
Subject Area: Algebraic Geometry (Moduli spaces of vector bundles, characteristic $p$ geometry)

1. The Problem

The paper investigates the geometric structure of the Frobenius stratification within the moduli space of stable rank 2 vector bundles, denoted as $M_X^s(2, L)$ , over a smooth projective curve $X$ of genus $g \ge 2$ defined over an algebraically closed field $k$ of characteristic 2.

In positive characteristic, the absolute Frobenius morphism $F: X \to X$ can "destabilize" a vector bundle (i.e., the pullback $F^*E$ may no longer be semistable). This instability is categorized by Harder-Narasimhan polygons (HNP), which partition the moduli space into closed subvarieties called Frobenius strata ( $M_j$ ). The authors specifically aim to understand the existence and distribution of rational curves (specifically Hecke curves) within these strata.

2. Methodology

The authors employ several advanced techniques from algebraic geometry:

Harder-Narasimhan Theory: Used to classify the instability of the Frobenius pullback $F^*E$ via the stratification $M_j$ .
Hecke Transformations: The primary constructive tool. The authors use two types of Hecke transformations (I and II) to modify vector bundles at a point $x \in X$ . By varying a subspace in the fiber of the bundle, they construct families of bundles that form rational curves (Hecke curves) in the moduli space.
Local Analysis of Sheaves: To prove the stability of the constructed bundles, the authors perform local computations using the structure of the ring of formal power series $k[[t^2]]$ (reflecting the Frobenius map in characteristic 2) and the properties of skyscraper sheaves.
Comparison with Characteristic 0: The work builds upon the classical results of X. Sun regarding minimal rational curves and Hecke curves in characteristic 0, adapting these concepts to the more complex landscape of characteristic $p$ .

3. Key Contributions and Results

The paper provides a complete characterization of rational curves in the Frobenius strata for rank 2 bundles in characteristic 2. The main results are summarized in Theorem 1.1:

Non-existence in the highest stratum: The stratum $M_{g-1}$ contains no rational curves. This is proven by showing $M_{g-1}$ is isomorphic to an abelian variety (via the Frobenius map on the Picard group), and abelian varieties do not contain rational curves.
Containment in Fixed Determinant Subvarieties: Any rational curve in the full moduli space $M_X^s(2, d)$ must be contained within a specific fiber of the determinant morphism (i.e., within $M_X^s(2, L)$ for some line bundle $L$ ).
Existence of Hecke Curves in $M_{g-2}$ : For any point $[E]$ in the stratum $M_{g-2}(L)$ (excluding the more unstable $M_{g-1}$ ), there exists a Hecke curve passing through $[E]$ that remains entirely within the stratum $M_{g-2}(L) \setminus M_{g-1}(L)$ .

4. Significance

This research is significant for several reasons:

Geometric Understanding of Frobenius Strata: While the stratification itself was previously described by Joshi et al., the internal geometry (the presence of rational curves) was unknown. This paper fills a critical gap in the geometric description of these strata.
Refinement of Moduli Theory in Characteristic $p$ : The behavior of vector bundles in positive characteristic is often "pathological" compared to characteristic 0. This paper provides a rigorous framework for understanding how rational curves—the building blocks of uniruledness—interact with the instability induced by the Frobenius map.
Technical Advancement: The proof demonstrates a sophisticated way to use Hecke transformations to "navigate" through specific strata of the moduli space, ensuring that the resulting curves do not "leak" into more unstable strata.