Canonical Quadratic Map: Structure & Applications

• Canonical quadratic maps are specific quadratic transformations defined by normal forms, invariant properties, and unique algorithmic computability across various mathematical domains.
• They play a critical role in arithmetic classification, algebraic geometry, and polynomial dynamics by providing explicit invariants and facilitating equivalence testing.
• Efficient computation via block-diagonalization and normalization algorithms underpins both theoretical analysis and practical applications in mathematical classifications.

A canonical quadratic map is a distinguished representative within the class of quadratic maps, typically characterized by its normal form, invariance properties, and algorithmic computability. Canonical quadratic maps occur in several mathematical domains, including algebraic geometry, arithmetic, polynomial automorphisms, and discrete dynamical systems. Their structure serves as a foundational tool for classification, equivalence, and analysis of quadratic behavior across these areas.

1. Canonical Quadratic Form: Arithmetic and Classification

The canonical quadratic form addresses the problem of classifying $n$-ary integral quadratic forms $Q(x) = x^{\mathsf{T}}A x$ over $\mathbb{Z}$ modulo powers of a prime $p$. Two forms $Q_1,Q_2$ are $p^k$-equivalent if there exists $U \in \mathrm{GL}_n(\mathbb{Z}/p^k \mathbb{Z})$ such that $U^{\mathsf{T}}Q_1U \equiv Q_2 \mod p^k$. The canonical quadratic form, denoted $\operatorname{can}_p(Q)$, is a unique normal form within each $p$-adic equivalence class and can be computed deterministically in polynomial time using block-diagonalization and normalization algorithms (Dubey et al., 2014).

For odd primes $p$, $Q$ can be diagonalized into $p$-scaled blocks with prescribed Legendre symbols for determinants; for $p=2$, block-diagonalization into “type I” and “type II” blocks is used, with refinement via sign-walking and oddity-fusion. Canonical forms are dictated by invariants such as the $p$-symbol and $2$-symbol, and their explicit computation is central for equivalence testing and map construction.

2. Algebraic Geometry: Canonical Quadratic Maps of Surfaces

The canonical quadratic map of a minimal complex surface $X$ of general type is the canonical morphism $\varphi_K: X \to \Sigma \subset \mathbb{P}^{p_g-1}$ that factors through a degree $d=2$ mapping. There are two principal cases:

• Case (A): $\Sigma$ has geometric genus zero. Examples include del Pezzo surfaces, rational scrolls, and Veronese surfaces. Here, canonical maps of degree two represent double covers onto rational surfaces, with explicit construction methods involving branched covers and very ample divisors (Lopes et al., 2021).
• Case (B): $\Sigma$ itself is a canonical surface of general type, and $X$ admits a 2:1 cover onto $\Sigma$ via a generating pair or abelian cover construction. Explicit families achieve $K_X^2 \geq 6 p_g(X) + 2 q(X) - 14$ and illustrate unbounded geometric genus with concrete methods for controlling invariants.

Outstanding questions concern the possible accumulation points of the slope $K_X^2/p_g(X)$, the maximal irregularity $q(X)$ among infinite families, and the existence of infinite series for degree-three or higher non-birational canonical maps.

3. Polynomial and Symplectic Classification: Canonical Forms and the QRT Map

Quadratic maps appear in the classification of polynomial automorphisms and symplectic dynamical systems. In polynomial algebra, quadratic homogeneous maps $H: K^n \to K^n$ can be reduced via invertible linear transformations to one of six canonical forms when $\operatorname{rank} JH = 3$, partitioned by row or column support and field characteristic (Bondt et al., 2018). The "symplectic 4-row block" and other explicit forms provide structural insight into tame automorphism generators and the role of characteristic two.

In discrete dynamics, the canonical quadratic symplectic map in four dimensions, given by Moser's normal form,

$$M: (\xi,\eta) \mapsto (\xi',\eta') = \Bigl( \xi + C^{-T}(-\eta + C\,\xi + \nabla U(\xi)),\; C\,\xi \Bigr),$$

is universal for all quadratic symplectic maps in four dimensions. It is characterized by six continuous parameters $(a,b,c,\alpha,\delta,\mu)$ and two discrete signs $(\varepsilon_1,\varepsilon_2)$, encapsulating a full parameterization for the classification of bounded invariant tori, fixed-point bifurcations, and integrable phenomena via Broucke's stability parameters $(A,B)$ (Bäcker et al., 2018).

The 18-parameter canonical QRT map, defined in projective coordinates by bilinear forms $F^i(X,Y)$ and arising as the composition of two involutions on a quadratic pencil, preserves an explicit rational first integral and invariant measure, yielding Liouville integrability in the discrete setting (Kamp et al., 2018).

4. Canonical Quadratic Maps in One-dimensional Dynamics

For the real quadratic map $f_c(x)=x^2+c$, canonical algebraic construction gives a complete characterization of period-three cycles using elementary symmetric polynomials. The system of equations in $(s_1,s_2,s_3)$ yields fully explicit conditions for existence and stability:

• Real $3$-cycles exist iff $c\leq -7/4$;
• An exact stability window determined by $|8s_3|<1$ corresponds to $c_{min} \approx -1.768529$. Through conjugacy with the logistic map, classical bifurcation parameters $r = 1+2\sqrt{2}$ and $r_{max} \approx 3.841499$ are recovered, precisely delineating the onset of chaos (Benyi et al., 14 Oct 2025).

5. Algorithmic and Structural Properties

Computation of canonical quadratic maps is achieved via randomized polynomial-time algorithms (Las Vegas type) that guarantee explicit transformations to normal form representatives. Central techniques involve block-diagonalization, normalization of diagonal blocks using properties of quadratic residues, and sign or oddity resolutions. Correctness and uniqueness are underpinned by algebraic invariants (e.g., $p$-symbol, $2$-symbol, Broucke's parameters), and reduction to canonical form facilitates explicit equivalence testing and map construction (Dubey et al., 2014, Bondt et al., 2018).

The role of field characteristic, reduction modulo prime powers, invariant structures, and the explicit presence of wild automorphisms or tame maps are rigorously delineated in the canonical setup.

6. Open Problems and Directions

Several deep problems remain:

• In algebraic geometry, the possible range of $q(X)$ and the slope $K_X^2 / p_g(X)$ for infinite series of surfaces with canonical quadratic maps are unresolved (Lopes et al., 2021).
• Structure and classification of higher-degree canonical maps, especially in connection with invariants and moduli, are incompletely understood.
• In polynomial dynamics, whether further canonical normal forms emerge for higher rank or specific classes of fields (notably in characteristic two) remains the subject of ongoing research.

The canonical quadratic map thus occupies a central position as both an explicit normal form and an algorithmically tractable, invariant-defining tool for broader mathematical classification.