Some Classical Invariants, from Harmonic Quadruples to Triangle Groups

Imagine you are a detective trying to solve a mystery, but instead of fingerprints or footprints, your clues are shapes, sounds, and numbers. This paper is a collection of notes from a summer school where mathematicians explored the hidden "DNA" of geometric shapes and algebraic equations.

Here is the story of the paper, broken down into simple concepts with everyday analogies.

1. The Musical Roots: Finding the Perfect Harmony

The story begins with music. Long ago, the Pythagoreans discovered that certain musical notes sound "harmonious" together because their string lengths have a special mathematical relationship (like 1, 4/5, and 2/3).

In math, this is called a Harmonic Quadruple. Imagine four points on a line. If they are arranged just right, they create a perfect balance. The paper explains that this balance is a "projective invariant."

The Analogy: Think of a photo of a musical chord. If you stretch the photo (an affine transformation), the notes might sound slightly different, but the relationship between the points remains. However, if you warp the photo wildly (a projective transformation), the harmony breaks. The mathematicians are looking for the "secret sauce" that stays the same no matter how you stretch or twist the picture.

There is also a "super-harmony" called Equianharmonic. These are even more special, but they are so perfect that you can't find them in the real world (they only exist in the complex number world, like imaginary numbers).

2. The Shape Shifter: Binary Quartics

The paper moves to Binary Quartics. These are just fancy names for equations with two variables (like $x$ and $y$ ) raised to the 4th power.

The Analogy: Imagine a blob of clay. You can squish it, stretch it, or rotate it. The "roots" of the equation are like four distinct points on the surface of that clay.
The Invariants: The mathematicians found two special numbers, $I$ and $J$ , that act like a fingerprint for the shape.
- If $J = 0$ , the four points form a perfect square (Harmonic).
- If $I = 0$ , the four points form the corners of a perfect tetrahedron (a pyramid with a triangular base) when projected onto a sphere (Equianharmonic).
- If neither is zero, the shape is "generic."

The paper shows that these shapes are connected to Polyhedral Groups (the symmetries of the Platonic solids: the tetrahedron, octahedron, and icosahedron). It's like saying the algebra of these equations is secretly the same as the geometry of a soccer ball or a dice.

3. The Cube Connection: Ternary Cubics

Next, the authors look at Ternary Cubics (equations with three variables, $x, y, z$ ). These describe Elliptic Curves, which are the shapes behind modern cryptography and the famous "Fermat's Last Theorem."

The Analogy: Imagine a 3D surface. If you slice it with a plane, you get a curve. The paper explains a magical trick: if you pick a point on this curve and project the rest of the curve onto a line, you get a set of four points.
The Surprise: It doesn't matter which point you pick! The four points you get will always have the same "harmonic" or "equianharmonic" relationship. This links the 3D world (Ternary Cubics) directly to the 2D world (Binary Quartics) we discussed earlier.

4. Hilbert's Forgotten Puzzle: The "Power" Problem

The paper highlights a short, 100-year-old note by the famous mathematician David Hilbert.

The Question: If you have a complicated polynomial (a shape), how do you know if it is just a simpler shape raised to a power? (For example, is this complex shape actually just $(x+y)^4$ ?)
The Solution: Hilbert invented a "magic detector" (a specific mathematical formula) that, if it equals zero, proves the shape is indeed a perfect power.
The Metaphor: Imagine you have a smoothie. You want to know if it's just a pureed apple ( $g^1$ ) or a pureed apple blended 4 times ( $g^4$ ). Hilbert's formula is a taste-test that tells you exactly which one it is without having to separate the ingredients.

5. The Hyperbolic Universe: Tilings and Monsters

The final section jumps to Hyperbolic Geometry.

The Analogy: Imagine a flat sheet of paper (Euclidean geometry). You can tile it with squares or triangles perfectly. Now, imagine a surface that curves inward like a saddle or a Pringles chip (Hyperbolic geometry). Here, you can fit more triangles around a point than on a flat sheet.
The Tiling: The paper discusses "Triangle Groups," which are rules for tiling this curved space.
The Connection: These tilings are deeply connected to Modular Forms, which are functions that describe the symmetries of these shapes. The paper mentions Escher's "Circle Limit" drawings, where fish get smaller as they approach the edge. Those fish are actually tiles in a hyperbolic triangle group!

6. The Appendix: The Secret Code (Pfaffians)

The appendix, written by Vincenzo Galgano, introduces Pfaffians.

The Analogy: You know how the "Determinant" of a matrix tells you about the volume of a shape? The Pfaffian is a special cousin of the determinant that only works for "skew-symmetric" matrices (matrices that look like a mirror image of themselves, but with signs flipped).
Why it matters: It's a special code used to detect if a certain type of geometric structure is "full" or "empty." It's like a specialized key that only fits a very specific lock in the world of high-dimensional geometry.

Summary: The Big Picture

This paper is a journey through Symmetry.

It starts with music and the harmony of four points.
It moves to shapes (squares and pyramids) hidden inside algebraic equations.
It connects 3D curves to 2D points using a projection trick.
It solves a puzzle about whether shapes are just powers of simpler shapes.
It ends in a curved universe where fish and angels tile the edge of a circle.

The author, Giorgio Ottaviani, is essentially saying: "Math is a language of patterns. Whether you are looking at a musical chord, a 3D curve, or a tiling of a hyperbolic plane, the same deep, invisible rules of symmetry are governing them all."

The paper is dedicated to the memory of Alan Huckleberry, a mathematician who loved these connections, reminding us that even in the most abstract corners of math, there is beauty and history waiting to be discovered.

Technical Summary: Some Classical Invariants, from Harmonic Quadruples to Triangle Groups

Author: Giorgio Ottaviani (with an appendix by Vincenzo Galgano)
Context: Expanded lectures from the Lie-Størmer Summer School (Tromsø, May 2025), bridging classical invariant theory with modern developments in algebraic geometry and modular forms.

1. Problem Statement

The paper addresses the structural analogies between different classes of homogeneous polynomials (binary quartics and ternary cubics) through the lens of invariant theory. It seeks to unify classical geometric configurations (harmonic and equianharmonic quadruples) with modern algebraic structures (polyhedral groups, moduli spaces, and triangle groups). A specific historical gap is addressed: the rediscovery and analysis of a short, forgotten 1886 paper by David Hilbert concerning the conditions under which a homogeneous polynomial is a perfect power ( $f = g^\mu$ ).

2. Methodology

The author employs a multi-faceted approach combining:

Classical Invariant Theory: Utilizing transvectants, Hessians, and covariants to define invariants ( $I, J, A, T$ ) for binary quartics and ternary cubics.
Geometric Group Theory: Analyzing finite subgroups of $SO(3)$ and their binary lifts in $SL(2, \mathbb{C})$ (polyhedral groups) and their action on the sphere and hyperbolic plane.
Algebraic Geometry: Studying orbit closures, secant varieties, and moduli spaces (GIT quotients) to classify smooth Fano 3-folds arising from these group actions.
Computational Algebra: Using computer algebra systems (Macaulay2) to verify Hilbert's conditions for power varieties and to compute Betti numbers and Hilbert series.
Modular Forms: Connecting the invariant rings of polynomials to the graded rings of modular forms via the upper half-plane and triangle groups.

3. Key Contributions and Results

A. Harmonic and Equianharmonic Configurations

Binary Quartics: The paper establishes that the roots of a binary quartic form a harmonic 4-tuple if the invariant $J=0$ $J = 0$ and an equianharmonic 4-tuple if $I=0$ $I = 0$ .
- $J=0$ corresponds to the roots being coplanar (vertices of a square on the sphere).
- $I=0$ corresponds to the roots forming a regular tetrahedron on the sphere.
- The invariant ring is $\mathbb{C}[I, J]$ , and the discriminant is $D = I^3 - 27J^2$ .
Ternary Cubics: Through Salmon's Theorem, the paper links ternary cubics to binary quartics. Projecting a ternary cubic from a point on the curve yields a binary quartic whose cross-ratio is independent of the projection point.
- Equianharmonic Cubics: Defined by the vanishing of the Aronhold invariant $A$ (degree 4), corresponding to the Fermat cubic $x^3+y^3+z^3$ .
- Harmonic Cubics: Defined by the vanishing of the Clebsch invariant $T$ (degree 6).
- The invariant ring is $\mathbb{C}[A, T]$ .

B. Finite Polyhedral Groups and ADE Classification

The paper reviews Klein's classification of finite subgroups of $SO(3)$ (Cyclic, Dihedral, Tetrahedral $A_4$ , Octahedral $S_4$ , Icosahedral $A_5$ ) and their binary lifts in $SL(2, \mathbb{C})$ .
ADE Correspondence: These groups correspond to the positive definite quadratic forms of the Dynkin diagrams $A_n, D_n, E_6, E_7, E_8$ .
Semi-invariants: The authors compute the Hilbert series for the semi-invariant rings of binary polyhedral groups, identifying generators of specific degrees (e.g., degrees 6, 8, 12 for the binary tetrahedral group) linked by algebraic relations.
McKay Correspondence: A sketch is provided linking the character tables of these groups to the extended Dynkin diagrams.

C. Hilbert's Forgotten Paper on Powers

The Problem: Determining conditions for a homogeneous polynomial $f$ of degree $n=\mu\nu$ to be a $\mu$ -th power of a polynomial $g$ of degree $\nu$ .
Hilbert's Solution: The paper reconstructs Hilbert's 1886 construction of a covariant that vanishes exactly on the variety of $\mu$ $μ$ -powers.
- The condition is given by the operator: $f^{\nu+1-1/\mu} \Delta^{\nu+1}(f^{1/\mu}) = 0$ , where $\Delta$ is a specific differential operator.
- This generalizes the Hessian condition for powers of linear forms.
Modern Context: The paper notes that recent work (Raicu, Sam, Weyman, Yang) confirms that Hilbert's constructed elements generate the ideal of the variety of powers scheme-theoretically.

D. Smooth Fano 3-folds and Orbit Closures

The paper discusses the classification of smooth 3-dimensional $SL(2)$ -orbit closures in projective spaces $\mathbb{P}(\text{Sym}^d \mathbb{C}^2)$ .
Theorem (Aluffi-Faber): There are exactly four classes of such smooth 3-folds, corresponding to the powers of:
1. $(x^3+y^3)$ (Stabilizer $D_3$ ) $\to \mathbb{P}^3$ .
2. $(x^4+xy^3)$ (Stabilizer $A_4$ ) $\to$ Smooth Quadric $Q^3$ .
3. $(x^5y-xy^5)$ (Stabilizer $S_4$ ) $\to$ Quintic Del Pezzo $V_5$ .
4. $(x^{11}y+11x^6y^6-xy^{11})$ (Stabilizer $A_5$ ) $\to$ Prime Fano 3-fold $U_{22}$ of genus 12.
The paper highlights the geometric properties of $U_{22}$ , including its Betti numbers and its relation to the sum of powers of quartics.

E. Hyperbolic Triangle Groups and Modular Forms

The paper transitions from spherical tilings (elliptic) to hyperbolic tilings.
Triangle Groups: Defined by angles $(\pi/l, \pi/m, \pi/n)$ where $1/l + 1/m + 1/n < 1$.
Modular Forms: The graded ring of modular forms for $SL(2, \mathbb{Z})$ is isomorphic to $\mathbb{C}[G_2, G_3]$ , directly analogous to the invariant rings of binary quartics and ternary cubics.
Belyi's Theorem: The paper connects these geometric structures to arithmetic geometry, stating that Riemann surfaces defined over $\overline{\mathbb{Q}}$ are finite covers of $\mathbb{P}^1$ ramified at three points, corresponding to triangle groups.

4. Significance

Historical Synthesis: The paper successfully bridges 19th-century classical invariant theory (Hilbert, Klein, Salmon) with 21st-century algebraic geometry (Fano varieties, moduli spaces).
Rediscovery: It brings attention to Hilbert's 1886 paper on power varieties, which had been overlooked for over a century, and validates its results using modern computational tools.
Unification: It demonstrates a profound unity between seemingly disparate fields: the geometry of polynomials, the classification of finite groups (ADE), the theory of modular forms, and the topology of Riemann surfaces.
Educational Value: The inclusion of exercises, sketches of solutions, and a dedicated section on Pfaffians (by V. Galgano) makes the complex material accessible for advanced students and researchers.

5. Conclusion

Ottaviani's notes provide a comprehensive tour of classical invariants, showing how the study of harmonic and equianharmonic configurations serves as a foundational thread connecting the geometry of polynomials, the symmetry of polyhedra, and the arithmetic of modular forms. The work emphasizes that the "classical" invariants are not merely historical artifacts but active tools for understanding modern geometric structures like Fano varieties and triangle groups.