---
title: Cyclic Trigonal Curves in Algebraic Geometry
url: https://www.emergentmind.com/topics/cyclic-trigonal-curves
type: topic
---

# Cyclic Trigonal Curves in Algebraic Geometry

A cyclic trigonal curve is a smooth, projective algebraic curve over a field of characteristic not $2$ or $3$, defined as a cyclic Galois cover of degree three over the projective line. Such curves are an important subclass of superelliptic curves and occupy a central role in the modern theory of abelian functions, moduli spaces of curves, and the arithmetic and geometry of low-degree field extensions.

## 1. Definition and Structural Properties

A cyclic trigonal curve $X$ of genus $g$ is a degree $3$ Galois cover $\pi: X \to \mathbb{P}^1$ with Galois group $\mathbb{Z}/3\mathbb{Z}$, typically realized as the smooth projective model of an affine plane curve
\[
y^3 = f(x)
\]
where $f(x)$ is a separable polynomial of degree $r$ in $x$; the requirement that the cover is cyclic Galois (i.e., that the extension $K(X)/K(x)$ is Galois of group $C_3$) imposes that all ramification indices are $3$, and so Riemann--Hurwitz yields $g = r - 2$ for such curves (with $r \ge 4$ to ensure genus at least $2$) [1312.4107], [2601.16183], [2405.13743].

The action of the deck transformation group is given by $(x,y) \mapsto (x, \zeta_3 y)$, where $\zeta_3$ is a primitive cube root of unity. The branch points of the covering are the zeros of $f(x)$ and, if necessary, $x = \infty$.

## 2. Moduli, Automorphisms, and Classification

The presence of a cyclic trigonal structure restricts the automorphism group of the curve. In genus $g \ge 5$, Castelnuovo’s inequality ensures uniqueness of the trigonal map, and any further automorphism $\sigma$ of prime order $p \ge 5$ must induce a corresponding degree $p$ automorphism of $\mathbb{P}^1$. This is only possible if $p \leq 3$ when the order is fixed-point-free, effectively implying that generic high-genus cyclic trigonal curves only admit the cyclic group of order $3$ as nontrivial automorphisms acting fiberwise [1512.07963].

For curves of genus $3$ or $4$ exceptional examples with larger automorphism groups occur, notably the Klein quartic ($g=3$, $p=7$), Bring's curve ($g=4$, $p=5$), and certain Humbert curves ($g=5$, $p=5$), but these do not generally admit cyclic trigonal structures compatible with such automorphisms [1512.07963].

Parameter spaces for trigonal curves, such as the locus $\mathcal{M}_g(g^1_3)$ in the moduli space of curves of genus $g$, are described by ball quotients in some low-genus cases. For example, the moduli of genus $4$ curves with a $g^1_3$ maps by a degree $(3^{10}-1)/2$ cover to a $9$-dimensional Deligne-Mostow ball quotient, and certain divisors in these moduli correspond to totally geodesic submanifolds, reflecting the algebraic and arithmetic rigidity of cyclic trigonal structures [2211.09941].

## 3. Analytic Theory: Abelian Functions and Sigma Functions

Cyclic trigonal curves admit a rich analytic theory generalizing classical elliptic function theory. The canonical basis of holomorphic differentials is typically given as
\[
\omega_1 = \frac{dx}{3y^2},\quad \omega_2 = \frac{x\,dx}{3y^2},\quad \omega_3 = \frac{dx}{3y}
\]
in genus $3$ [1312.4107], with analogues in higher genus [1003.4144]. The period matrices, Abel–Jacobi map, and the associated Jacobian $J(X) = \mathbb{C}^g / \Lambda$ (where $\Lambda$ is the period lattice) are central objects.

The Kleinian $\sigma$-function is defined for $u \in \mathbb{C}^g$ using the period matrices and the Riemann theta function:
\[
\sigma(u) = C\,\exp\left[-\frac12 u^{\mathrm{T}} \eta' (\omega')^{-1} u\right]\,\theta[\delta](\tfrac12 \omega'^{-1}u; \tau)
\]
where $\tau = (\omega')^{-1}\omega''$ and $C$ is a normalization constant [1312.4107], [1712.00694]. The equivariance properties under the period lattice and deck group are explicit: for lattice translations and for the cyclic automorphism, which acts linearly on the holomorphic differentials, the sigma function transforms predictably [1909.03858].

The algebraic and analytic theory extends to higher genus cyclic trigonal curves (e.g., genus $6$ and $7$ for curves $y^3 = x^7 + \dots$), including full solutions to the Jacobi inversion problem, explicit polynomial expressions for multivariate Abelian functions (the higher-genus analogues of Weierstrass $\wp$-functions), and hierarchical algebraic relations among these functions, including a generalization of the addition theorems and connections to integrable PDEs such as the Boussinesq equation [1003.4144]. 

The behavior of the sigma function under degeneration (e.g., when a branch point coalesces, producing a nodal curve with genus decreasing by one) is regular, and unlike theta functions, Kleinian sigma functions extend holomorphically through such degenerations, with the limit describing the sigma function of the normalization of the singular fiber [1909.03858].

## 4. Generalized Special Functions and Trigonometric Identities

For genus $3$, cyclic trigonal curves admit three distinguished meromorphic functions $\mathrm{al}^{(c)}_r(u)$, defined in terms of shifted sigma function ratios and explicitly interpretable as cyclic analogues of Jacobi's $\mathrm{sn}$, $\mathrm{cn}$, and $\mathrm{dn}$ elliptic functions:
\[
\mathrm{al}^{(c)}_r(u) = A_{r,c}\exp[-u^{\mathrm{T}}\varphi_{r;c}]\frac{\sigma(u + \zeta_3^c \Omega_r)}{\sigma(u)}
\]
where $\Omega_r$ are the Abelian half-periods at the branch points [1312.4107]. These functions satisfy an identity generalizing the fundamental relation $\mathrm{sn}^2 u + \mathrm{cn}^2 u = 1$:
\[
\sum_{r=1}^4 \frac{\prod_{c=0}^2 \mathrm{al}_r^{(c)}(u)}{f'(b_r)} = 1
\]
providing a genus-$3$ Frobenius theta identity. The construction leverages properties of the Kleinian sigma function, choice of period shifts, and transposes classical elliptic function addition theorems to the cyclic trigonal setting.

The polynomial relations among the Kleinian $\wp$-functions, obtained from derivatives of $\sigma$, extend the classical relations among $\wp$ and its derivatives to higher genus, such as in the genus $6$ and $7$ cyclic trigonal cases, and encode a rich algebraic structure of the function field of the Jacobian [1003.4144].

## 5. Arithmetic, Galois Cohomology, and Brauer Groups

Over a field $k$ of characteristic $\ne 2,3$, the function fields of cyclic trigonal curves correspond to cyclic cubic extensions of $k(x)$. Their Jacobians, torsor structures, and relative Brauer groups $\mathrm{Br}(k(C_f)/k)$ are studied via Galois cohomology. If $C_f: Z^3 = f(X,Y)$ is the projective model of a binary cubic $f$, then $C_f$ is an order-$3$ twist of its Jacobian $E: y^2 = x^3 + c$ ($c$ tied to the discriminant of $f$) [1004.0714]. The relative Brauer group in the diagonalizable case consists of cyclic algebras of the form $(a, s + \sqrt{c})_3$ attached to $k$-rational points on $E$, and in the non-diagonalizable case is described by cup products of Galois cohomology classes.

The explicit cohomological formulas, Clifford algebra constructions, and concrete computations for examples over $\mathbb{Q}$ and $\mathbb{Q}(\omega)$ illustrate the interplay between the arithmetic of cyclic trigonal curves and the structures of their Brauer groups. The classification of curves with infinitely many points defined over cyclic cubic extensions relies on the existence of cyclic trigonal morphisms, with concrete tests based on discriminant conditions, Brill–Noether loci, and Jacobian torsion computations [2405.13743].

## 6. Gaussian Maps, Canonical Divisors, and Deformation Theory

For a smooth projective cyclic trigonal curve $C$ of genus $g$, the canonical bundle $K_C$ and its symmetric powers yield vector spaces $V_k = H^0(C, K_C^{\otimes (2k+2)})$. The even Gaussian maps (Wahl maps) are defined as
\[
\mu_{2k}: \operatorname{Ker}\mu_{2k-2} \to H^0(K_C^{\otimes (2k+2)})
\]
and represent higher-order infinitesimal deformations of the canonical image of $C$ in projective space. For $g\geq 16$ and $2 \leq k \leq \lfloor n_i/2 \rfloor$, Lacopo establishes precise lower bounds for the ranks of these maps and describes the explicit kernel of the second Gaussian map in terms of explicit linear algebraic equations [2601.16183]. The structural splitting of $H^0(K_C \otimes L^{\vee})$ into $W_1 \oplus W_2$ (where $L$ is the covering line bundle for the cyclic structure) underlies the reduction of the Gaussian map rank problem.

A key application is the nonexistence of extra asymptotic directions in the space generated by higher Schiffer variations at ramification points: in any $4$-dimensional space spanned by higher Schiffer variations at a ramification point, the only asymptotic direction is the one induced by $\xi_p^1$; no new totally geodesic subvarieties in the Torelli locus arise from such directions in cyclic trigonal curves of genus $g\geq 10$ [2601.16183].

## 7. Degenerations, Limit Linear Series, and Compact Moduli

The study of degenerations of families of cyclic trigonal curves—where branch points coalesce, producing nodal singular fibers—is significant for both geometry and arithmetic. The behavior of the sigma function across singular fibers is regular: in families $X_s: y^3 = x(x-s)(x-b_1)(x-b_2)$ as $s \to 0$, the genus-$3$ sigma function converges to the genus-$2$ sigma function of the normalization of the nodal fiber. The period matrices, Riemann constants, and translated theta divisors admit explicit limits, allowing the extension of abelian function theory and divisor class geometry to the boundary of the moduli space. The canonical extension of the theta line bundle and the regularity of sigma, in contrast to theta functions, is key for applications in integrable systems and moduli problems [1909.03858], [1712.00694].

## References

- [1312.4107] "The al function of a cyclic trigonal curve of genus three"
- [1003.4144] "Higher Genus Abelian Functions Associated with Cyclic Trigonal Curves"
- [1712.00694] "The sigma function for trigonal cyclic curves"
- [1909.03858] "The sigma function over a family of cyclic trigonal curves with a singular fiber"
- [1004.0714] "Curves C that are Cyclic Twists of Y^2 = X^3+c and the Relative Brauer Groups Br(k(C)/k"
- [1512.07963] "Some remarks on bielliptic and trigonal curves"
- [2405.13743] "Cyclic Cubic Points on Higher Genus Curves"
- [2601.16183] "Gaussian maps on trigonal curves"
- [2211.09941] "A ball quotient parametrizing trigonal genus 4 curves"

Source: https://www.emergentmind.com/topics/cyclic-trigonal-curves