Quadratic Moduli Schemes

• Quadratic moduli schemes are geometric structures that classify algebraic objects enhanced with quadratic forms or relations, fundamental to deformation and compactification theories.
• They employ tools such as GIT, Hurwitz spaces, period coordinates, and tau functions to analyze stability and degeneracy in quadratic maps, bundles, and differentials.
• These schemes bridge diverse fields including complex dynamics, arithmetic geometry, and noncommutative projective geometry, linking thematic aspects like uniform boundedness conjectures and quantum line schemes.

A quadratic moduli scheme is a moduli-theoretic object parameterizing algebraic structures equipped with quadratic forms or quadratic relations, appearing across algebraic and arithmetic geometry, complex dynamics, noncommutative geometry, and the study of vector bundles and differentials. Quadratic moduli schemes encode the deformation and compactification theory underlying quadratic rational maps, quadratic bundles, holomorphic and meromorphic quadratic differentials, and quadratic quantum projective spaces. The theory incorporates tools from GIT, Hurwitz and Hilbert modular surfaces, period coordinates, Stack theory, and equivariant geometry.

1. Moduli of Quadratic Maps and Critical Periodic Loci

Quadratic rational self-maps on $\mathbb{P}^1$ arise naturally in the study of complex dynamics and arithmetic. The moduli space $M_2$ is the coarse moduli of degree-2 rational self-maps modulo conjugation by $PGL_2$, and is isomorphic (over $\mathbb{Q}$) to $\mathbb{A}^2$, with coordinates corresponding to the elementary symmetric functions of the three fixed-point multipliers. The subvariety $\mathrm{Per}_n(0)\subset M_2$ consists of conjugacy classes of degree-2 maps having a critical point of exact period $n$. Scheme-theoretically, $\mathrm{Per}_n(0)$ is the vanishing locus of a single relation in $(\sigma_1,\sigma_2)$ and is one-dimensional, whereas the $0$-dimensional Gleason scheme is defined as $M_2$0, where $M_2$1 is the $M_2$2th Gleason polynomial selecting parameters $M_2$3 for $M_2$4 with a critical point of exact period $M_2$5 (Ramadas, 2022).

There is an intersection-theoretic identification:

$M_2$6

Projective compactification of $M_2$7 is achieved via the Hurwitz space of degree-2 admissible covers with marked critical orbits, resulting in a $M_2$8-dimensional $M_2$9-variety $PGL_2$0, which is birational to $PGL_2$1. Deligne-Mumford admissible covers extend this to a proper stack $PGL_2$2, containing $PGL_2$3 as a dense open. The existence of a $PGL_2$4-rational smooth boundary point in $PGL_2$5 is instrumental in deducing geometric irreducibility results, notably that irreducibility of $PGL_2$6 over $PGL_2$7 implies irreducibility of $PGL_2$8 over $PGL_2$9.

2. Quadratic Bundles and Properness of the Moduli

Moduli of quadratic bundles on a smooth projective curve $\mathbb{Q}$0—that is, pairs $\mathbb{Q}$1 with $\mathbb{Q}$2 a vector bundle and $\mathbb{Q}$3—are central objects in the study of degeneracy, stability, and properness. For prescribed degeneracy data (invertible sheaf $\mathbb{Q}$4, nonzero section $\mathbb{Q}$5, $\mathbb{Q}$6-dimensional sheaf $\mathbb{Q}$7), families of such $\mathbb{Q}$8 form a moduli functor, quotiented by the action of line bundle twists and base change. This functor is representable by a quasi-projective scheme (projective under suitable stability hypotheses), constructed equivariantly via GIT on the double cover $\mathbb{Q}$9 branched along the discriminant divisor (Pandey, 2013).

Stability for quadratic bundles is defined by a $\mathbb{A}^2$0-parameter semistability condition, operationalized via slope inequalities involving the augmented degree and framing contribution. A critical equivalence arises: generically nondegenerate quadratic bundles on $\mathbb{A}^2$1 correspond, via pullback, to Z/2-equivariant orthogonal bundles with framing on the double cover $\mathbb{A}^2$2. Semistable reduction theorems extend families over DVRs by Hecke modifications, preserving stability and properness. The moduli of polystable orthogonal bundles are shown to be proper, without recourse to Bruhat-Tits theory.

3. Moduli of Quadratic Differentials and Their Boundary

Quadratic differentials $\mathbb{A}^2$3 on smooth curves $\mathbb{A}^2$4 of genus $\mathbb{A}^2$5—or, more generally, stable nodal curves—with fixed zero and pole order, assemble into moduli stacks $\mathbb{A}^2$6, where $\mathbb{A}^2$7 are the prescribed orders. Stable compactifications, constructed as Deligne-Mumford stacks, introduce twisted quadratic differentials on pointed stable curves, subject to node-order and residue conditions at the boundary. Each such stack admits local period coordinates through the Prym anti-invariant part of the homology of the canonical double cover defined by $\mathbb{A}^2$8 (Chen et al., 2016).

The principal boundary of $\mathbb{A}^2$9 for a given configuration of saddle connections corresponds precisely to degenerations into twisted quadratic differentials supported on dual graphs determined by these saddle connections. Compactification by twisted differentials establishes that the scheme-theoretic boundary is a normal crossings divisor, stratified by dual graphs and compatible with the Deligne-Mumford compactification of the moduli of curves.

4. Picard Groups, Period Coordinates, and Tau Functions

The orbifold and line bundle structure of projectivized quadratic moduli schemes are concretely encoded in their Picard groups. For moduli spaces of quadratic differentials $\mathrm{Per}_n(0)\subset M_2$0 (of genus $\mathrm{Per}_n(0)\subset M_2$1 curves with $\mathrm{Per}_n(0)\subset M_2$2 marked points and quadratic differentials with prescribed singularities), the Bergman tau function $\mathrm{Per}_n(0)\subset M_2$3 yields holomorphic trivializations in terms of the Hodge class $\mathrm{Per}_n(0)\subset M_2$4, the Prym class $\mathrm{Per}_n(0)\subset M_2$5, and the tautological bundle $\mathrm{Per}_n(0)\subset M_2$6 in $\mathrm{Per}_n(0)\subset M_2$7. Divisor class relations for all relevant boundary divisors and tautological classes can be explicitly written using the transformation properties and zero/pole structure of the $\mathrm{Per}_n(0)\subset M_2$8-functions (Korotkin et al., 2021).

Local coordinates on $\mathrm{Per}_n(0)\subset M_2$9 employ homological periods of the canonical Abelian differential on the double cover branched at zeros and poles, with the orbifold structure arising from finite automorphisms and symmetries in the moduli problem. The projectivization introduces a natural scaling action, and the tau functions transform equivariantly under this and under symplectic changes of basis.

5. Quadratic Moduli Schemes in Abelian Varieties and Hilbert Modular Surfaces

Hilbert modular surfaces, such as $n$0 for real multiplication by $n$1, act as explicit quadratic moduli schemes, parametrizing principally polarized abelian surfaces with extra endomorphisms. The universal family over $n$2 carries Jacobians of genus $n$3 curves. The construction of rational genus $n$4 curves with prescribed real multiplication is reduced to solving norm equations for quadratic forms, realized via the reduction of the Mestre conic to diagonal form using simple degree and discriminant reduction operations over polynomial rings. The existence of a rational point on the conic is equivalent to the suitability of norm conditions, and explicit Weierstrass equations can be written when the obstruction vanishes (Cowan et al., 2022).

This approach demonstrates how explicit equations and rationality are organized within a quadratic moduli context, linking the geometry of Hilbert modular surfaces, the arithmetic of norm forms, and the moduli of curves.

6. Noncommutative Quadratic Moduli: Quantum $n$5 Line Schemes

In noncommutative projective algebraic geometry, quadratic moduli schemes parameterize line modules (graded modules of Hilbert series $n$6) for quadratic Artin-Schelter regular algebras of global dimension $n$7 ("quantum $n$8"s). These line schemes are constructed explicitly as projective subschemes of $n$9, cut out by quartic equations and Plücker relations arising from the Koszul dual of the algebra. For generic families $\mathrm{Per}_n(0)$0, the one-dimensional line scheme decomposes into eight irreducible components: spatial and planar elliptic curves, spatial rational nodal curves, and unions of conics and lines—reflecting subtle degeneration in noncommutative moduli theory (Tomlin et al., 2017).

Detailed analysis of these components and their intersections elucidates the algebraic and geometric structure of "generic" quadratic regular algebras, supporting refined classification conjectures in the field.

7. Arithmetic, Compactification, and Open Questions

In arithmetic dynamics, consequences for rational points on quadratic moduli schemes are closely related to uniform boundedness conjectures: for instance, the Morton–Silverman conjecture predicts uniform boundedness of $\mathrm{Per}_n(0)$1-rational preperiodic points for rational maps of fixed degree, implying finiteness of $\mathrm{Per}_n(0)$2-rational points on loci such as $\mathrm{Per}_n(0)$3 for large $\mathrm{Per}_n(0)$4. The existence of rational boundary points in compactifications (e.g., the distinguished $\mathrm{Per}_n(0)$5 in the Hurwitz compactification of $\mathrm{Per}_n(0)$6) does not contradict such finiteness, as these points lie in the boundary and do not correspond to honest quadratic rational maps.

Open directions involve the irreducibility of higher Gleason polynomials, generalizations to higher-degree maps and orbit relations, and extending compactification frameworks (such as the tau function machinery and moduli of differentials) to higher order and twisted structure settings (Ramadas, 2022, Korotkin et al., 2021). Quadratic moduli schemes thus form a foundational infrastructure linking algebraic, arithmetic, geometric, and dynamical phenomena.