Ternary Quartic¶

A homogeneous polynomial form of total degree four in exactly three variables, carrying a fifteen-coefficient parameter space whose positivity, zero locus, and linear-change invariants support distinct algebraic and geometric analyses.

Version: v3 · 2026-09-06 · History
Domain-specific #: 2947
Origin domain: mathematics
Subdomain: algebraic geometry
Aliases: Ternary quartic form, Ternary biquadratic form

Core Idea¶

A ternary quartic is a homogeneous polynomial of total degree four in three variables. Over a coefficient field \(K\), it has the form \(f(x,y,z)=\sum_{i+j+k=4}a_{ijk}x^iy^jz^k\). There are \(\binom{6}{2}=15\) degree-four monomials, so the coefficient vector belongs to a fifteen-dimensional vector space before projective scaling or change-of-variables identifications are imposed. Homogeneity gives \(f(\lambda x,\lambda y,\lambda z)=\lambda^4f(x,y,z)\), the recognition invariant that separates the form from a general polynomial of degree at most four.

The name fixes an algebraic species, not one theorem about that species. A ternary quartic can be evaluated as a scalar-valued map, treated as a formal polynomial, used to define a projective plane quartic \(f=0\), or studied up to the action of \(\mathrm{GL}_3\) or \(\mathrm{SL}_3\). Those views share the same coefficient form but answer different questions. In characteristic zero the Dixmier–Ohno invariant package organizes orbits of ternary quartics, while the discriminant detects singularity of the associated plane curve.^[1]

Over the reals, a particularly important subproblem asks when the form is nonnegative. Hilbert's exceptional theorem says that every nonnegative real ternary quartic is a sum of three squares of real quadratic forms.^[2] The theorem is not part of the definition: indefinite forms, singular forms, and forms over other fields remain ternary quartics. The abstraction is the constrained formal family whose coefficient, evaluation, orbit, and zero-locus views can be moved between without confusing them.

Structural Signature¶

The coefficient field. A declared field or coefficient ring fixes which scalars, factorizations, and coordinate changes are allowed.
Exactly three variables. The arity is ternary; binary quartics and quaternary quartics are different form families.
Total degree four. Every nonzero monomial has exponent sum four.
Homogeneity. Scaling all variables by \(\lambda\) scales the value by \(\lambda^4\).
The coefficient vector. Fifteen coefficients, subject to any declared normalization, parameterize the general form.
The evaluation map. Substituting a triple yields a scalar, while the formal polynomial remains distinct from the induced function where necessary.
The linear-change action. An invertible change of variables moves the coefficient vector within an equivalence orbit.
The projective zero locus. When considered geometrically, \(f=0\) defines a plane quartic whose smoothness depends on the discriminant.
The invariant package. Polynomial invariants can label or separate orbits under a declared group action and characteristic regime.
The real-positivity branch. Over \(\mathbb R\), nonnegativity and sum-of-squares representation form an important but proper subfamily.

What It Is Not¶

Not any polynomial with three variables. All monomials must have total degree four.
Not any quartic polynomial. Lower-degree terms destroy homogeneity even if the highest degree is four.
Not the plane quartic curve itself. The form is an equation; its projective zero locus is a geometric object derived from it.
Not necessarily positive semidefinite. Hilbert's sum-of-three-squares theorem concerns a restricted real subfamily.
Not its invariant tuple. Invariants summarize coordinate-change behavior but do not replace the form without hypotheses about orbit separation.
Not a ternary quadratic form. 'Quartic' names degree four; historical 'biquadratic' terminology must not be read as degree two.

Scope of Application¶

The construct is literal wherever a homogeneous degree-four form in three variables is the object being transformed, classified, optimized, or used as an equation.

Classical invariant theory. Computing invariants and covariants under linear changes of variables.
Plane algebraic geometry. Studying smooth and singular plane quartics represented by homogeneous equations.
Real algebraic geometry. Comparing nonnegativity and sum-of-squares representations.
Polynomial optimization. Certifying positivity for a tightly bounded degree-and-variable family.
Arithmetic geometry. Comparing models and reductions of genus-three non-hyperelliptic curves.
Symbolic computation. Storing coefficients, testing discriminants, normalizing forms, and evaluating invariants.

Clarity¶

State the coefficient field or ring, write all fifteen possible monomial slots or declare a sparse specialization, and specify whether equality means equality of formal polynomials, equality of induced functions, scalar proportionality, or equivalence under a linear group. If a curve is intended, say that the projective zero locus is being formed and test singularity separately. If positivity is intended, restrict to real coefficients and distinguish nonnegative from positive definite. If invariant coordinates are used, name the action, normalization, characteristic exclusions, and whether the invariants classify the relevant stable orbit rather than assuming that a tuple is universally complete.

Manages Complexity¶

The name compresses fifteen coefficients plus a homogeneity law into one reusable type. That type controls which coordinate transformations are legal, which discriminant is relevant, which invariant ring is consulted, and why real nonnegativity has an exceptional sum-of-squares theorem. It also exposes useful subfamilies—smooth, singular, positive semidefinite, reducible, symmetric—without promoting any one of them to the definition. Compression can mislead when a formal form is silently replaced by its projective curve or induced function. Over finite fields, distinct formal polynomials may define the same function; over projective space scalar multiples define the same curve; and coordinate-equivalent forms need not have identical coefficient vectors. A rigorous workflow therefore records the level of identity before computing. The fifteen-dimensional coefficient space is finite and explicit, but orbit spaces and invariant relations remain nontrivial. The abstraction reduces bookkeeping while preserving the exact boundaries at which algebra, geometry, and optimization ask different questions.

Abstract Reasoning¶

Declare the coefficient domain and the three variables.
Verify that every present monomial has exponent sum four.
Represent the form by its fifteen-slot coefficient vector.
Choose the identity relation: formal equality, scaling, or a specified linear-change orbit.
Derive the evaluation, projective-curve, or positivity object required by the question.
Compute discriminants or invariant coordinates only under their stated characteristic hypotheses.
Separate conclusions about the form from conclusions about its zero locus or a chosen representation.
Test any real sum-of-squares claim against nonnegativity and the exact ternary-quartic theorem.

Knowledge Transfer¶

The strict parent is Function (Mapping): after a coefficient domain is fixed, evaluation assigns one scalar to every input triple according to a deterministic polynomial rule. The domain-specific residual is not generic input-output mapping but the exact three-variable, homogeneous-degree-four formal species, with its coefficient action and curve/invariant interfaces. Formal-polynomial identity must be retained where induced functions cease to be faithful.

Examples¶

Canonical¶

The form \(f(x,y,z)=x^4+y^4+z^4\) is ternary quartic because each monomial has total degree four and \(f(\lambda x,\lambda y,\lambda z)=\lambda^4f(x,y,z)\). Over \(\mathbb R\) it is visibly a sum of squares, \((x^2)^2+(y^2)^2+(z^2)^2\), and it is nonnegative. The form \(x^4+y^4-z^4\) has the same ternary-quartic type but is indefinite; the type therefore does not encode positivity.^[2]

Mapped back: three-variable coefficient rule → homogeneous degree-four evaluation → scalar value and optional projective zero locus.

Applied / In Practice¶

A computer-algebra system receives fifteen rational coefficients for a proposed plane-quartic model. It first checks degree and homogeneity, then computes the discriminant to reject singular models, and finally evaluates normalized invariant coordinates to compare the surviving form with models obtained by linear coordinate changes. The system does not equate identical invariant tuples with identical coefficient arrays and does not invoke Hilbert's real theorem unless real nonnegativity is the question.^[1]

Mapped back: coefficient vector → type check → discriminant and orbit invariants → model comparison under a declared equivalence.

Structural Tensions¶

Formal polynomial vs. induced function. Evaluation is operational, but formal coefficients carry more information over some fields. Diagnostic: Which equality relation is the claim using?
Equation vs. geometric locus. A form represents a plane curve without being identical to that curve. Diagnostic: Are scalar multiples or coordinate changes being quotiented out?
General family vs. positive subfamily. The celebrated sum-of-squares result can eclipse indefinite forms. Diagnostic: Was real nonnegativity actually assumed?
Invariant compression vs. orbit detail. Invariants simplify comparison but can require stability and characteristic hypotheses. Diagnostic: Do the cited invariants separate the stated objects?
Autonomous form family vs. generic mapping. Function evaluation travels, while arity, degree, homogeneity, and group action define this residual. Diagnostic: Would the object remain ternary quartic if any defining restriction were removed?

Structural–Framed Character¶

Ternary quartic is strongly structural. Degree, arity, homogeneity, coefficient action, discriminant, and positivity are mathematical conditions independent of a community's preferences once conventions are fixed. Variable names and invariant normalizations are conventional. The entry remains domain-specific because its autonomous apparatus belongs to polynomial, invariant, and algebraic-geometric practice rather than transferring unchanged to arbitrary mappings.

Structural Core vs. Domain Accent¶

The portable skeleton is fixed inputs + deterministic rule → output. The domain accent is the fifteen-dimensional space of homogeneous degree-four forms in three variables, together with linear-coordinate action, projective zero loci, discriminants, and the real sum-of-squares exception. Removing those features leaves Function (Mapping), not this form family.

Function (Mapping) is the strict parent because evaluation on a declared scalar domain maps each triple to exactly one scalar. Ternary Quartic adds the formal coefficient object, three-input arity, fourth-degree homogeneity, and invariant-theoretic interfaces that generic functions do not possess.

The prospective workspace queue contains one strict upward edge to prime:function_mapping. No live DAG mutation is authorized.

Relationships to Other Abstractions¶

Current abstraction Ternary Quartic Domain-specific

Parents (1) — more general patterns this builds on

Ternary Quartic is a kind of Function (Mapping) Prime

Function (Mapping) is the strict parent because evaluation on a declared scalar domain maps each triple to exactly one scalar.

Hierarchy path (1) — routes to 1 parentless root

Ternary Quartic → Function (Mapping)

Neighborhood in Abstraction Space¶

Ternary Quartic sits in a sparse region of the domain-specific corpus (79^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

Plane quartic. The projective curve cut out by a homogeneous quartic equation.
Quartic polynomial. Any polynomial of degree four, possibly in another number of variables or with lower-degree terms.
Ternary quadratic form. A homogeneous degree-two polynomial in three variables.
Binary quartic. A degree-four homogeneous form in two variables with different invariant theory.
Dixmier–Ohno invariants. Coordinate-change invariants computed from ternary quartic coefficients.
Sum-of-squares form. A representation property shared by a restricted real subfamily and other polynomial classes.

References¶

[1] Reynald Lercier and Christophe Ritzenthaler, ‘Siegel Modular Forms of Degree Three and Invariants of Ternary Quartics,’ Proceedings of the American Mathematical Society 152, no. 6 (2024): 2267–2282, https://doi.org/10.1090/proc/14940. registry ↩a ↩b

[2] Albrecht Pfister and Claus Scheiderer, ‘An Elementary Proof of Hilbert’s Theorem on Ternary Quartics,’ Journal of Algebra 371 (2012): 1–25, https://doi.org/10.1016/j.jalgebra.2012.07.042. registry ↩a ↩b