Generalizations of quasielliptic curves

This paper generalizes quasielliptic curves to a hierarchy of regular curves with infinitesimal symmetries across all characteristics by utilizing invertible additive polynomials, numerical semigroups, and equivariant normalization to construct and classify their twisted forms via non-abelian cohomology.

The Gist

Imagine you are an architect working in a very strange world where the laws of physics (or in this case, mathematics) behave differently depending on the "color" of the universe you are in. This color is called characteristic.

In most of mathematics, we work in a world where things behave smoothly and predictably (characteristic 0, like the real numbers). But in this paper, the authors are exploring a specific, quirky corner of the mathematical universe: positive characteristic. Here, if you add a number to itself enough times, it eventually becomes zero.

The Mystery of the "Quasi-Elliptic" Curve

For a long time, mathematicians knew about a very strange, broken-looking shape called a quasi-elliptic curve.

• The Shape: Imagine a smooth line that suddenly develops a sharp, ugly point (a cusp) where it folds over itself. It looks like a teardrop that got pinched too hard.
• The Mystery: This shape was only known to exist in two specific "colors" of the universe: Characteristic 2 and Characteristic 3.
• The Secret: What made this shape special was that it had invisible symmetries. In normal math, if you rotate a circle, it looks the same. In this weird world, this broken curve had "infinitesimal" symmetries—movements so tiny they are smaller than any number you can write down, yet they still move the shape.

For decades, mathematicians thought this was just a weird accident of the numbers 2 and 3. They asked: "Is this just a fluke, or is there a deeper pattern?"

The Discovery: A Family of Broken Curves

The authors, Cesar Hilario and Stefan Schröer, decided to dig deeper. They didn't just look at the broken curve; they looked at the machine that creates its symmetries.

They discovered that the "broken curve" isn't a one-off accident. It's actually the first member of a massive family (or hierarchy) of shapes.

• The Analogy: Think of the original quasi-elliptic curve as a baby. The authors found the parents, grandparents, and great-grandparents. They found a whole lineage of these shapes, existing in any characteristic (not just 2 or 3), but getting more complex as you go up the family tree.
• The Name: They call these new shapes $X_{p,n}$.
  • $p$ is the "color" of the universe.
  • $n$ is the "generation" or complexity level.

How They Built It: The "Number Lock"

To build these shapes, the authors had to invent a new kind of mathematical "lock and key" system.

1. The Additive Polynomials (The Keys):
   Usually, polynomials are things like $x^2 + 3x + 1$. But in this weird world, they used "additive polynomials." Imagine a machine where if you put in a number, it doesn't just multiply; it adds itself to itself in a specific, magical way. The authors found a special set of these "keys" that only work if the numbers inside them are "nilpotent" (numbers that vanish if you multiply them by themselves enough times).

2. The Group Scheme (The Lock):
   These keys fit into a special lock called a group scheme. Think of this as a rigid, invisible robot that can twist and turn the curve. The authors built a specific robot, called $U_n$, that is perfectly sized to hold these curves together.

3. The Compactification (The Frame):
   The curve starts as an infinite line (like a number line going forever). To make it a closed shape (a curve), you have to "cap off" the ends.

   • The Metaphor: Imagine you have a long, flexible garden hose. You want to turn it into a closed loop, but you want to pinch it in a specific, ugly way to create that "cusp."
   • The authors used a tool called Numerical Semigroups. Think of this as a pattern of holes in a fence. You can only hang your hose on specific pegs (numbers). By choosing the right pattern of pegs (specifically the pattern $\Gamma_{p,n}$), the hose naturally snaps into the perfect, ugly-but-beautiful shape they wanted.

The Big Results

Here is what they found out about this new family of curves:

• They are "Complete Intersections":
  Usually, describing a complex shape requires a messy list of equations. But these curves are special. They can be described by a very neat, short list of equations (like a perfect recipe). They are "clean" in their brokenness.
• The Symmetry Machine:
  They calculated exactly how big the "robot" (the symmetry group) is for each curve. It turns out the robot gets bigger and more complex as the curve gets more complex.
• Twisted Forms (The "Ghost" Curves):
  This is the coolest part. In math, you can have a shape that looks broken in one place but is actually smooth if you look at it from a different angle (a "twisted form").
  • The authors proved that if you take these new curves and "twist" them using a specific mathematical trick (involving "torsors," which are like invisible wrapping paper), you can turn the broken, ugly cusp into a perfectly smooth, regular curve.
  • This is huge because it generalizes the old "quasi-elliptic" discovery. Now, instead of just one weird curve in characteristics 2 and 3, we have an entire universe of smooth curves that only exist because of these hidden, broken ancestors.

Why Does This Matter?

The authors quote a famous mathematician, Bombieri, who said studying these weird low-number characteristics is either "amusing" (fun puzzles) or "tedious" (boring calculations).

The authors argue: "It's not just a puzzle. It's a structural hierarchy."

They showed that what looked like a random accident in the numbers 2 and 3 is actually part of a grand, organized system. Just like how a single snowflake looks unique, but all snowflakes follow the same hexagonal crystal rules, these "broken" curves follow a deep, universal rule that applies to all numbers, not just the small ones.

In Summary:
The paper takes a weird, broken shape that only existed in two specific math-worlds, finds the "blueprint" for its hidden symmetries, and uses that blueprint to build a whole new family of shapes. They then show how to "fix" these broken shapes into smooth ones, revealing a hidden layer of order in the chaotic world of positive characteristic mathematics.

Technical Summary

Here is a detailed technical summary of the paper "Generalizations of quasielliptic curves" by Cesar Hilario and Stefan Schröer.

1. Problem Statement and Motivation

The paper addresses the classification and structural understanding of algebraic curves in positive characteristic $p > 0$ that possess infinitesimal symmetries (non-reduced automorphism group schemes).

• Context: In characteristics $p=2$ and $p=3$, the Enriques classification of algebraic surfaces reveals the existence of quasielliptic fibrations. The generic fiber of such a fibration is a quasielliptic curve, which is a twisted form of the rational cuspidal curve $X = \text{Spec}(K[T^2, T^3]) \cup \text{Spec}(K[T^{-1}])$. These curves are regular (all local rings are regular) but are not isomorphic to the projective line $\mathbb{P}^1$.
• The Gap: Historically, these phenomena were viewed as peculiarities of low characteristics ($p \le 3$). Bombieri and Mumford analyzed the $p=2,3$ cases, but a general structural hierarchy for higher genera and arbitrary characteristics was missing.
• Goal: The authors aim to generalize the notion of quasielliptic curves to a hierarchy of integral curves $X_{p,n}$ defined in all characteristics with higher genera, possessing non-reduced automorphism group schemes. They seek to understand these curves intrinsically via their automorphism groups and describe their twisted forms (regular curves locally isomorphic to $X_{p,n}$).

2. Methodology

The authors employ a multi-faceted approach combining algebraic geometry, group scheme theory, and commutative algebra:

• Invertible Additive Polynomials: They develop a theory of additive polynomials $P(x) = \sum \lambda_i x^{p^i}$ over rings with nilpotent elements. This leads to the definition of a specific hierarchy of infinitesimal group schemes $U_n$ via the skew polynomial ring $R[F; \sigma]$.
• Group Actions on the Affine Line: They study the action of the iterated semidirect product $G = \mathbb{G}_a \rtimes U_n \rtimes \mathbb{G}_m$ on the affine line $\mathbb{A}^1$.
• Equivariant Compactification: Using Brion's theory of equivariant normality, they construct a unique compactification $X_{p,n}$ of $\mathbb{A}^1$ to which the $U_n$-action extends optimally. This construction relies heavily on numerical semigroups $\Gamma_{p,n}$.
• Geometric Analysis: They analyze the resulting projective curves $X_{p,n}$ to determine their invariants (genus, embedding dimension) and show they are global complete intersections.
• Non-Abelian Cohomology: To classify the twisted forms (regular curves), they extend Serre's results on group cohomology to semidirect products, computing the non-abelian cohomology set $H^1(S, \text{Aut}(X_{p,n}))$.

3. Key Contributions and Results

A. The Hierarchy of Curves $X_{p,n}$

The authors define a family of curves $X_{p,n}$ associated with a numerical semigroup:
$$\Gamma_{p,n} = \langle p^n, p^n - p^{n-1}, \dots, p^n - p^0 \rangle \subset \mathbb{N}$$
The curve is defined as the toric compactification:
$$X_{p,n} = \text{Spec}(K[T^{\Gamma_{p,n}}]) \cup \text{Spec}(K[T^{-1}])$$

• Generalization: For $3 \le p^n \le 4$, this recovers the classical rational cuspidal curve ($p=2, n=1$or$p=3, n=1$). For higher$n$, the genus increases.
• Complete Intersection: The curve $X_{p,n}$ is a global complete intersection in $\mathbb{P}^{n+1}$, defined by $n$ homogeneous equations of degree $p$.
• Invariants:
  • Genus: $h^1(\mathcal{O}_X) = \frac{1}{2}(n p^{n+1} - (n+2)p^n + 2)$.
  • Automorphism Group: $\text{Aut}_{X/K} \cong \mathbb{G}_a \rtimes U_n \rtimes \mathbb{G}_m$. The group scheme $U_n$ has order $p^{n(n+1)/2}$ and is non-reduced.
  • Tangent Sheaf: The tangent sheaf $\Theta_{X/K}$ is invertible and very ample, providing a canonical embedding into projective space.

B. Equivariant Normality and Twisted Forms

A central theoretical contribution is the application of Brion's theory of equivariant normality.

• Theorem: The curve $X_{p,n}$ is equivariantly normal with respect to the action of $U_n$.
• Existence of Regular Twisted Forms: They prove that if the base field $K$ has "enough" imperfection (specifically, if there exists a $U_n$-torsor with a reduced total space), then there exist twisted forms $Y$ of $X_{p,n}$ that are regular (smooth).
• Significance: This generalizes the existence of quasielliptic curves (which are regular twisted forms of the cuspidal curve) to the entire hierarchy $X_{p,n}$. It establishes that the "pathological" behavior of low characteristics is part of a broader structural hierarchy.

C. Non-Abelian Cohomology for Semidirect Products

The authors develop effective techniques to compute non-abelian cohomology $H^1(S, G)$ where $G$ is a semidirect product.

• Method: They utilize the decomposition of $H^1$ for extensions $1 \to A \to B \to C \to 1$, specifically when$B = A \rtimes C$. They describe the set of twisted forms as a disjoint union over classes in$H^1(S, C)$of twisted forms of$A$.
• Explicit Computation: For $n=1$ and $n=2$, they explicitly compute the set of twisted forms.
  • For $n=1$ ($G = \mathbb{G}_a \rtimes \alpha_p \rtimes \mathbb{G}_m$), the twisted forms correspond to equations of the type $u^p - v + \alpha v^p = 0$.
  • For $n=2$, they derive equations involving parameters $\alpha, \beta$ and higher powers of $p$.
• Result: They provide the first explicit determination of the set of twisted forms $\text{Twist}(X)$ via purely non-abelian cohomological computations for a relevant hierarchy of schemes.

4. Significance

• Structural Insight: The paper demonstrates that the existence of quasielliptic curves is not an accidental "numerological" feature of characteristics 2 and 3, but rather the tip of a structural iceberg. The phenomena extend to all characteristics and higher genera.
• New Class of Curves: It introduces a new, well-understood class of singular curves ($X_{p,n}$) and their regular twisted forms, which are expected to play a role in the classification of algebraic surfaces of general type, analogous to the role of quasielliptic curves for K3 and Enriques surfaces.
• Methodological Advance: The combination of numerical semigroups for compactification, equivariant normality for regularity, and non-abelian cohomology for classification provides a robust toolkit for studying curves with infinitesimal symmetries.
• Cohomological Tools: The explicit computation of $H^1$ for semidirect products involving infinitesimal group schemes offers new tools for arithmetic geometry in positive characteristic.

In summary, Hilario and Schröer successfully generalize the theory of quasielliptic curves, replacing ad-hoc equations with a systematic hierarchy defined by group schemes and numerical semigroups, and providing a complete cohomological classification of their regular forms.