Real Algebraic Curves with Involution

• Real algebraic curves with involution are curves over ℝ endowed with an involutive map (typically antiholomorphic) that distinguishes their real loci through fixed-point sets.
• They link real algebraic geometry with Riemann surface theory, moduli spaces, and integrable systems via explicit computations such as period matrices and Smith normal forms.
• The classification based on topological invariants and automorphism groups offers refined insights into their spectral properties and computational tractability.

A real algebraic curve with involution is an algebraic curve $C$ over $\mathbb{R}$ equipped with an involutive morphism—typically antiholomorphic, sometimes holomorphic—that endows $C$ with distinguished geometric, topological, and group-theoretic structures. Antiholomorphic involutions model complex conjugation and define a fixed-point real locus, providing a bridge between real algebraic geometry, Riemann surface theory, moduli spaces, and representation theory. Such curves underpin the equivariant study of complex structures, the classification of real varieties, birational geometry, and arise as spectral data in the theory of invariant hypercomplex structures and integrable systems.

1. Definitions and Types of Involutions

Let $C$ be a nonsingular algebraic curve of genus $g$ over $\mathbb{R}$, considered as a compact Riemann surface $S$. An antiholomorphic involution $\tau:C\to C$ satisfies $\tau^2=\id$ and acts on affine coordinates $(x, y)$ via complex conjugation: $\mathbb{R}$0 Its fixed point set $\mathbb{R}$1—the real points—decomposes into $\mathbb{R}$2 disjoint simple closed curves, or "real ovals". For holomorphic involutions $\mathbb{R}$3 with $\mathbb{R}$4, one typically requires that $\mathbb{R}$5 and $\mathbb{R}$6 commute, $\mathbb{R}$7 (Sheinman, 6 Nov 2025).

Topological type is encoded as $\mathbb{R}$8, where $\mathbb{R}$9 is the genus, $C$0 the number of real ovals, and $C$1 for separating (dividing) curves where $C$2 is disconnected, $C$3 otherwise (Kalla et al., 2012, Sheinman, 6 Nov 2025). Harnack's theorem states $C$4, with equality indicating an $C$5-curve.

2. Correspondence with Symmetric Geometric Structures

A central development is the bijection between $C$6-invariant hypercomplex structures on regular semisimple adjoint orbits in $C$7, and triples $C$8 where $C$9 is a real algebraic curve of genus $C$0, $C$1 is a flat degree-$C$2 projection, and $C$3 is an antiholomorphic involution covering the antipodal map $C$4 on $C$5 (Bielawski, 2021). Explicitly,

$C$6

and $C$7 is cut out by a characteristic polynomial equation in the total space of $C$8: $C$9 for a quadratic $g$0 in $g$1 with coefficients in $g$2. The moduli space of such curves $g$3 has real dimension $g$4.

3. Computation of Topological Type and Homological Invariants

Given a real plane algebraic curve $g$5 with coefficients in $g$6, the antiholomorphic involution $g$7 acts on homology and differentials. One introduces a canonical symplectic basis $g$8 with intersection pairings $g$9. The involution's action on homology is encoded by an integer matrix $\mathbb{R}$0 diagonalizable over $\mathbb{R}$1 (Kalla et al., 2012).

An algorithm, based on symplectic transformations and Smith normal forms, computes a basis where $\mathbb{R}$2-cycles are fixed by $\mathbb{R}$3 and deduces the topological invariants $\mathbb{R}$4. The matrix $\mathbb{R}$5 (over $\mathbb{R}$6), extracted from these computations, determines $\mathbb{R}$7 and the dividing/non-dividing character $\mathbb{R}$8 via its rank and block structure.

Example Output Table

Curve	Genus $\mathbb{R}$9	Ovals $S$0	Dividing $S$1
Trott (quartic)	3	4	0 (dividing)
Klein's curve ($S$2)	3	1	1 (non-div.)
Fermat quartic	3	0	1 (non-div.)
Fermat quintic	6	1	1 (non-div.)

These numerical procedures are computationally tractable for genus $S$3 using existing symbolic or numerical algebra systems.

4. Prym Varieties, Abel–Prym Maps, and Real Spectral Data

When a real curve admits a holomorphic involution $S$4 commuting with the antiholomorphic $S$5, the associated Prym variety and Abel–Prym map carry additional real structure. The Prym variety is defined using the anti-invariant differentials under $S$6, with period matrix $S$7 constructed as

$S$8

for anti-invariant holomorphic 1-forms $S$9. The isoPrymian $\tau:C\to C$0 is an unramified cover of the Prym variety (Sheinman, 6 Nov 2025).

The Abel–Prym map $\tau:C\to C$1 is inverted by the Riemann–Prym vanishing theorem: divisors corresponding to zeros of the Prym theta function $\tau:C\to C$2 are parametrized by explicit formulas involving period shifts and symmetric functions of local coordinates. Realness (Novikov–Veselov conditions) for spectral data is encoded in constraints on $\tau:C\to C$3,

$\tau:C\to C$4

or its variants, determining whether the inverse image is $\tau:C\to C$5- or $\tau:C\to C$6-invariant.

Example: Real Elliptic Curve

For $\tau:C\to C$7, with $\tau:C\to C$8, the real locus consists of one oval, and the Abel–Prym inversion is realized via classical elliptic function theory.

5. Birational Involutions and Classification in the Real Projective Plane

Birational involutions $\tau:C\to C$9 over $\tau^2=\id$0, defined by degree $\tau^2=\id$1 homogeneous polynomials satisfying $\tau^2=\id$2, are classified according to their behavior on fixed curves (Mangolte, 23 May 2025). Over $\tau^2=\id$3, there are twelve conjugacy classes; some fix no irrational curve, others fix curves of geometric genus $\tau^2=\id$4, including:

• Bertini: $\tau^2=\id$5, non-hyperelliptic
• Geiser: $\tau^2=\id$6, non-hyperelliptic
• Kowalevskaya: $\tau^2=\id$7, elliptic
• de Jonquières: $\tau^2=\id$8, hyperelliptic
• Twisted Iskovskikh: $\tau^2=\id$9

Unlike the complex case, the curve $(x, y)$0 alone fails to determine the conjugacy class of $(x, y)$1 in $(x, y)$2. For real hyperelliptic curves of genus $(x, y)$3 with at least two ovals, there exist uncountably many non-conjugate involutions fixing an isomorphic $(x, y)$4.

6. Moduli Spaces and Dimension Counts

The moduli space of real algebraic curves with antiholomorphic involution (with or without boundary/punctures) decomposes into connected components indexed by the topological type $(x, y)$5. Each component is homeomorphic to a quotient $(x, y)$6, where $(x, y)$7 is a real vector space of explicit dimension (Natanzon et al., 2020): $(x, y)$8 In the compact (no boundary/punctures) case, $(x, y)$9 matches the known dimension for real Teichmüller spaces.

7. Hyperelliptic Curves of Genus 3 and Involution

Genus 3 hyperelliptic curves admitting an extra involution are classified and parametrized by three dihedral invariants $\mathbb{R}$00 (Gutierrez et al., 2012). The normal form

$\mathbb{R}$01

with involution $\mathbb{R}$02 is birationally equivalent to a locus $\mathbb{R}$03 in the moduli space $\mathbb{R}$04, with stratification by automorphism group given by relations among $\mathbb{R}$05:

• $\mathbb{R}$06 generic, higher symmetry loci for special relations.

A key result is that for $\mathbb{R}$07, the field of moduli is a field of definition. When $\mathbb{R}$08, explicit rational models over the field of moduli are constructed.

Summary

Real algebraic curves equipped with involution exhibit a rich interplay between topological invariants $\mathbb{R}$09, moduli spaces, equivariant deformation theory, and representation-theoretic phenomena. Classification schemes, both birational and automorphism-theoretic, reveal subtleties unique to the real case, including non-rigidity and spectral degeneracy. Algorithmic techniques using period matrices, Smith normal forms, and symmetric invariants enable computational exploration of these curves' structure and moduli, with applications spanning real algebraic geometry, theta function theory, integrable systems, and equivariant complex geometry.