🔢 mathematics

Real versus complex plane curves

This paper establishes that a smooth complex plane curve of odd degree is definable by a polynomial with real coefficients if and only if it is isomorphic to its complex conjugate, while also proving that for plane curves of any degree over a characteristic zero field, a model exists over an extension of the field of moduli with degree at most 3 that divides the curve's degree.

Original authors: Giulio Bresciani

Published 2026-06-18

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Giulio Bresciani

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 Big Picture: The "Mirror" Problem

Imagine you are an artist drawing a shape on a piece of glass. This shape is a curve (like a circle, a squiggly line, or a complex flower).

The Complex World: You draw this shape using numbers that include "imaginary" parts (like $i$ , the square root of -1). This is the "Complex" world.
The Real World: You want to draw the exact same shape, but using only "Real" numbers (the ones we use for counting, like 1, 2, 3, or -5).

The paper asks a simple question: If your complex shape looks exactly the same as its reflection in a mirror (its "complex conjugate"), can you always redraw it using only real numbers?

The answer depends on how "wiggly" or "complicated" the shape is, specifically how many times it loops or crosses itself, which mathematicians call the degree of the curve.

The Main Discovery: Odd vs. Even

The author proves a surprising rule about these shapes:

If the shape has an ODD number of "loops" (Odd Degree):
- The Rule: If the shape looks the same as its mirror image, you can always redraw it using only real numbers.
- The Analogy: Imagine a triangle (3 sides). If you look at it in a mirror and it looks identical to the original, you can definitely draw it with a standard pencil (real numbers). The paper proves this is true for any odd-degree shape, no matter how complex.
If the shape has an EVEN number of "loops" (Even Degree):
- The Rule: The mirror trick doesn't always work. Even if the shape looks like its reflection, you might not be able to draw it with real numbers.
- The Analogy: Imagine a figure-eight (2 loops). Sometimes, even if it looks symmetric in the mirror, the "instructions" to draw it require imaginary numbers that can't be simplified away. The paper notes that mathematicians already knew this was possible for even numbers, but the new discovery is that it never happens for odd numbers.

How Did They Prove It? (The "Magic Map")

To prove this, the author didn't just look at the curves; he looked at the "blueprints" and the "symmetry groups" behind them.

1. The "Field of Moduli" (The Minimal Instruction Set)
Think of a curve as a secret recipe. The "Field of Moduli" is the smallest set of ingredients (numbers) you need to write down that recipe.

Usually, if a recipe looks symmetric, the ingredients are simple (Real numbers).
Sometimes, the recipe is so tricky that you need a slightly larger pantry (an extension of the field) to write it down.

2. The "Gerbe" (The Mystery Box)
The author uses a high-level mathematical tool called a "gerbe."

Analogy: Imagine a locked box containing all the possible ways to draw your curve.
If the box has a "key" (a rational point), you can open it and draw the curve with the specific numbers you want.
If the box is locked, you can't draw it with those numbers.

3. The "Index" (How Hard is the Lock?)
The paper calculates the "Index" of this box.

If the Index is 1, the box is unlocked. You can draw the curve with the minimal ingredients.
If the Index is 3, you need to go to a pantry that is 3 times bigger to find the right ingredients.

The "Odd Degree" Secret

The core of the paper is a clever trick involving symmetry.

The Symmetry Group: Every curve has a group of symmetries (ways you can rotate or flip it and it looks the same).
The Odd Degree Trick: When the degree is odd, the author shows that the "lock" on the mystery box is always weak enough to be opened.
- He looks at specific points on the curve (like the corners of a triangle).
- He proves that because the degree is odd, the "symmetry group" behaves nicely (it's "metabelian" and has specific properties).
- This forces the "Index" of the box to be 1.
- Result: The box opens. The curve can be defined with real numbers.
The Even Degree Problem: When the degree is even, the symmetry group can be "stubborn." It can create a lock that requires a pantry 2 or 3 times bigger than the minimum. This is why counterexamples exist for even numbers.

The "Three-Step" Guarantee

The paper also proves a broader rule (Theorem 3):
Even if you can't draw the curve with the smallest possible set of numbers (the Field of Moduli), you never need to go far.

You will always be able to draw it if you expand your number set by a tiny amount.
Specifically, you only need to multiply the size of your number set by 1, 2, or 3.
And, interestingly, if the degree of the curve is odd, you only need to multiply by 1 (meaning you can always use the minimal numbers).

Summary in One Sentence

If a smooth, complex curve has an odd number of "wiggles" and looks the same as its mirror image, it is guaranteed to be drawable using only real numbers; if it has an even number of wiggles, it might not be.

Technical Summary: Real Versus Complex Plane Curves

Problem Statement
The paper addresses the problem of defining smooth plane curves over specific fields, specifically investigating the relationship between a curve's isomorphism class and its field of definition. The primary focus is on smooth complex plane curves $C$ of odd degree. The central question is whether a curve $C$ that is isomorphic to its complex conjugate $\bar{C}$ can be defined by a polynomial with real coefficients. While it is known that such a definition is possible for curves of even degree only under specific conditions (with known counterexamples), the status for odd degrees was previously unclear. More generally, the paper investigates the "field of moduli" $k_C$ of a plane curve $C$ over an algebraically closed field $K$ of characteristic 0. The field of moduli is the fixed field of the subgroup of the Galois group that stabilizes the curve up to isomorphism. The core problem is determining whether $C$ admits a model (a defining polynomial) over $k_C$ , or if a finite extension $k'/k_C$ is required, and if so, bounding the degree of this extension.

Methodology
The author employs a stack-theoretic approach to study fields of moduli, building upon recent joint work with A. Vistoli [BV] which extends previous technologies (largely restricted to dimension 1) to varieties of arbitrary dimension. The methodology proceeds as follows:

Gerbes and Fundamental Groups: The problem is translated into the language of finite étale gerbes. A residual gerbe $\mathcal{G}$ over the base field $k$ classifies twisted forms of the pair $(\mathbb{P}^2, C)$ . The existence of a model over $k$ is equivalent to the gerbe $\mathcal{G}$ having a $k$ -rational point, which in turn is equivalent to the splitting of a short exact sequence of fundamental groups associated with the gerbe.
Index of a Gerbe: The paper utilizes the concept of the "index" of a gerbe, defined as the greatest common divisor of the degrees of finite splitting fields. The goal is to prove that the index is 1 (implying a model exists) or to bound it.
Group-Theoretic Analysis: The proof relies heavily on the classification of automorphism groups of smooth plane curves of degree $d \geq 4$ . The author analyzes specific finite subgroups of $\text{PGL}_3$ (specifically abelian groups of types (1) and (2), and Hessian groups $H_2$ and $H_3$ ) that can arise as $\text{Aut}(C)$ .
Type R Singularities and Lang–Nishimura Theorem: A crucial technical tool is the classification of "type R" singularities in dimension 2. The author identifies distinguished subsets of the coarse moduli space (compression) of the quotient stack $\mathbb{P}^2 / \text{Aut}(C)$ . By finding rational points on this compression that lift to the stack (guaranteed if the corresponding singularities are of type R), the author applies the Lang–Nishimura theorem for stacks to deduce the existence of rational points on the gerbe $\mathcal{G}$ .
Sylow Subgroup Arguments: The proof of the main theorems involves analyzing the Sylow subgroups of the automorphism groups and applying theorems by L. A. Šemetkov and B. Sambale regarding the splitting of short exact sequences of finite groups under specific solvability conditions.

Key Contributions and Results

Theorem 1 (Real vs. Complex Curves): The paper proves that for a smooth complex plane curve $C$ of odd degree, the following are equivalent:
1. $C$ can be defined by a homogeneous polynomial with real coefficients.
2. There exists a polynomial $p \in \mathbb{C}[x,y,z]$ for $C$ and a linear transformation $g \in \text{GL}_3(\mathbb{C})$ such that $p \circ g = \bar{p}$ .
3. The curves $C$ and its complex conjugate $\bar{C}$ are isomorphic as abstract curves.
  The paper notes that the implications (i) $\Rightarrow$ (ii) $\Rightarrow$ (iii) are trivial, and (iii) $\Rightarrow$ (ii) follows from the uniqueness of the embedding of smooth plane curves of degree $\geq 4$ . The novel contribution is the proof of (iii) $\Rightarrow$ (i), which relies on the stack-theoretic methods described above. The author explicitly states that counterexamples exist for curves of even degree.
Theorem 2 (Structure of Automorphism Groups): The paper characterizes the automorphism groups of smooth plane curves of odd degree that do not admit a model over their field of moduli. If such a curve exists, its automorphism group must be conjugate to a specific abelian group $C_a \times C_{an}$ generated by diagonal matrices, subject to strict arithmetic conditions on the integers $a, n, e$ (specifically involving the solvability of $e^2 - e + 1 \equiv 0 \pmod n$ ). Furthermore, the degree $d$ of the curve must satisfy specific divisibility relations with these parameters (e.g., $an \mid d$ or $n \mid d^2 - 3d + 3$ ).
Theorem 3 (General Field of Moduli Bound): The paper establishes a general bound for the field of definition of any smooth plane curve $C$ over a field $K$ of characteristic 0. Let $k_C$ be the field of moduli. There exists a finite extension $k'/k_C$ such that:
- $[k' : k_C] \leq 3$ .
- $[k' : k_C]$ divides $\deg C$ .
- $C$ is defined by a homogeneous polynomial with coefficients in $k'$ .

Significance and Claims
The paper claims that Theorem 1 resolves a long-standing gap in the literature regarding the definability of odd-degree plane curves over their field of moduli (specifically $\mathbb{R}$ in the real case). The author expresses surprise that this fact had gone unnoticed, noting that while counterexamples for even degrees are known, the odd-degree case had not been settled.

The work generalizes previous results (such as those in [Brec]) which showed that curves of degree prime to 6 are defined over their field of moduli. By addressing the case where 2 does not divide the degree (odd degree), the paper highlights the critical role of the primes 2 and 3 in the problem of fields of moduli for plane curves. The results suggest that for odd degrees, the obstruction to defining the curve over the field of moduli is at most a cubic extension, and for the specific case of real coefficients, no extension is needed if the curve is isomorphic to its conjugate.

The paper does not propose new experimental applications or future research directions beyond the immediate mathematical implications of the theorems. It frames its contribution as a necessary completion of the classification of fields of moduli for plane curves, utilizing advanced stack-theoretic machinery to overcome the limitations of previous methods restricted to dimension 1.