Additively Indecomposable Quadratic Forms

• Additively indecomposable quadratic forms are rigid quadratic objects over rings like O_K that cannot be expressed as sums of nonzero totally positive semi-definite forms.
• They are defined via indecomposable totally positive integers and extend to module settings, including orthogonal indecomposability in characteristic 2 and semiring contexts.
• Their construction imposes strong constraints on universal quadratic forms, establishing critical rank bounds and influencing decomposition theories in arithmetic and algebra.

Additively indecomposable quadratic forms arise in several adjacent literatures, and the phrase is not entirely uniform across them. In the arithmetic of totally real number fields, a totally positive definite quadratic form $Q$ over $\mathcal O_K$ is called additively indecomposable if it cannot be written as

$Q=Q_1+Q_2$

with $Q_1,Q_2$ nonzero totally positive semi-definite quadratic forms in the same number of variables (Fryšová et al., 28 Sep 2025). This notion is tightly linked to additively indecomposable totally positive integers, namely elements of $\mathcal O_K^+$ that cannot be expressed as sums of two totally positive integers, and to orthogonal indecomposability of quadratic or symplectic modules, where no nontrivial orthogonal direct-sum decomposition exists (Kala, 2023). The subject therefore sits at the intersection of the additive geometry of the totally positive cone, the theory of universal quadratic forms, and decomposition theory for quadratic objects in characteristic $2$ and over semirings.

1. Definitions and the range of meanings

For a totally real number field $K$ with ring of integers $\mathcal O_K$, the order relation

$$\alpha \succ \beta \quad \Longleftrightarrow \quad \alpha-\beta\in \mathcal O_K^+$$

is standard in the literature on quadratic forms over $\mathcal O_K$. A quadratic form in $\mathcal O_K$0 variables is written

$\mathcal O_K$1

and is called classical if $\mathcal O_K$2 for $\mathcal O_K$3. It is totally positive semi-definite if it takes values in $\mathcal O_K$4 on $\mathcal O_K$5, and totally positive definite if the only zero is the trivial one. In this arithmetic setting, additively indecomposable means precisely the impossibility of decomposing $\mathcal O_K$6 as a sum of two nonzero totally positive semi-definite forms (Fryšová et al., 28 Sep 2025).

A second notion, central to the theory of universal forms, concerns totally positive integers. An element $\mathcal O_K$7 is indecomposable if it cannot be written as

$\mathcal O_K$8

The survey literature treats these elements as additive atoms in the totally positive cone and uses them as the main arithmetic input in lower-bound arguments for universal forms (Kala, 2023).

A third notion appears in module-theoretic settings. For symplectic $\mathcal O_K$9-modules in characteristic $Q=Q_1+Q_2$0, indecomposable means the absence of a nontrivial orthogonal decomposition

$Q=Q_1+Q_2$1

with both summands smaller symplectic $Q=Q_1+Q_2$2-modules; this is explicitly stronger than indecomposability of $Q=Q_1+Q_2$3 as a $Q=Q_1+Q_2$4-module (Pforte et al., 2017). Over semirings with unique base, a quadratic module is indecomposable if it has no nontrivial orthogonal decomposition into basic summands (Izhakian et al., 2015).

A common source of confusion is therefore terminological rather than mathematical. In arithmetic papers, “additively indecomposable quadratic form” refers to decomposition as a sum of totally positive semi-definite forms; in characteristic-$Q=Q_1+Q_2$5 representation theory and semiring theory, the operative notion is orthogonal indecomposability. The notions are related by the general theme of forbidding nontrivial additive splitting, but they are not identical.

2. Indecomposable totally positive integers as the arithmetic source

The arithmetic theory is driven by the observation that universal forms are controlled not only by local representation theory, but also by the additive structure of $Q=Q_1+Q_2$6. A quadratic $Q=Q_1+Q_2$7-lattice $Q=Q_1+Q_2$8 is universal if

$Q=Q_1+Q_2$9

and indecomposable totally positive integers are singled out because every universal form must represent them in a particularly rigid way (Kala, 2023).

For diagonal forms this rigidity is immediate. If

$Q_1,Q_2$0

and $Q_1,Q_2$1 is indecomposable, then only one term can contribute, so $Q_1,Q_2$2 for some $Q_1,Q_2$3. Consequently, each square class of indecomposables forces a coefficient, yielding direct lower bounds on the rank of universal diagonal forms. The survey also records a basic but important fact: every totally positive unit is indecomposable (Kala, 2023).

In real quadratic fields there is a complete classical description due to Dress–Scharlau. If $Q_1,Q_2$4, the indecomposables are precisely the semiconvergents

$Q_1,Q_2$5

and their conjugates, where the $Q_1,Q_2$6 come from the continued fraction of $Q_1,Q_2$7; moreover $Q_1,Q_2$8 for every indecomposable (Kala, 2023). A more detailed analysis shows, under $Q_1,Q_2$9, that the indecomposable integers in $\mathcal O_K^+$0 are exactly the semiconvergents

$\mathcal O_K^+$1

for odd $\mathcal O_K^+$2 and $\mathcal O_K^+$3, and that Jang–Kim’s conjectured sharper upper bound for $\mathcal O_K^+$4 is false; the paper gives an explicit counterexample with

$\mathcal O_K^+$5

and

$\mathcal O_K^+$6

for the relevant $\mathcal O_K^+$7 (Kala, 2015).

Higher-dimensional geometry provides another viewpoint. Under the Minkowski embedding $\mathcal O_K^+$8, the Klein polyhedron $\mathcal O_K^+$9 has boundary $2$0, called the sail. If $2$1 lies on the sail $2$2, then $2$3 is indecomposable; in degree $2$4 the converse is true, but in higher degree there can be indecomposables strictly inside the Klein polyhedron (Kala et al., 2024). This suggests that additively indecomposable quadratic forms are best viewed against a broader geometric background in which the relevant additive atoms are organized by continued fractions in degree $2$5 and by sails in higher degree.

3. Construction of additively indecomposable forms over totally real fields

A basic construction principle is that indecomposable diagonal coefficients, together with a nonzero interaction term, force indecomposability of the form itself. If

$2$6

is totally positive definite, and $2$7 and $2$8 are indecomposable integers in $2$9 with $K$0, then $K$1 is additively indecomposable. As an immediate consequence, over every totally real field $K$2, there exists a non-classical additively indecomposable quadratic form in $K$3 variables; the example given is

$K$4

since $K$5 is indecomposable in every totally real field (Fryšová et al., 28 Sep 2025).

The same principle extends to longer “adjacency chains.” If

$K$6

is totally positive definite, each $K$7, and each $K$8 is an indecomposable integer in $K$9, then $\mathcal O_K$0 is additively indecomposable. The proof mechanism is combinatorial: indecomposability of the diagonal coefficients forces each diagonal term into only one summand in any putative decomposition $\mathcal O_K$1, and then a nonzero adjacent cross-term makes one summand fail total semidefiniteness because a $\mathcal O_K$2 principal submatrix has a zero diagonal entry but a nonzero off-diagonal entry (Fryšová et al., 28 Sep 2025).

This perspective yields a sharp contrast with the classical integral case. Over $\mathcal O_K$3, there are no additively indecomposable classical quadratic forms in $\mathcal O_K$4 variables. Over totally real fields, by contrast, additively indecomposable classical binary forms do occur. In every real biquadratic field, there exists a classical, additively indecomposable quadratic form in $\mathcal O_K$5 variables (Fryšová et al., 28 Sep 2025).

For simplest cubic fields $\mathcal O_K$6, where $\mathcal O_K$7 is the largest root of

$\mathcal O_K$8

the paper constructs explicit classical examples. One binary example is

$\mathcal O_K$9

which is additively indecomposable because $$\alpha \succ \beta \quad \Longleftrightarrow \quad \alpha-\beta\in \mathcal O_K^+$$0. A ternary example is

$$\alpha \succ \beta \quad \Longleftrightarrow \quad \alpha-\beta\in \mathcal O_K^+$$1

whose total positive definiteness is checked by Sylvester’s criterion, with

$$\alpha \succ \beta \quad \Longleftrightarrow \quad \alpha-\beta\in \mathcal O_K^+$$2

Accordingly, there exist classical, additively indecomposable quadratic forms in $$\alpha \succ \beta \quad \Longleftrightarrow \quad \alpha-\beta\in \mathcal O_K^+$$3 and $$\alpha \succ \beta \quad \Longleftrightarrow \quad \alpha-\beta\in \mathcal O_K^+$$4 variables over every simplest cubic field $$\alpha \succ \beta \quad \Longleftrightarrow \quad \alpha-\beta\in \mathcal O_K^+$$5 with $$\alpha \succ \beta \quad \Longleftrightarrow \quad \alpha-\beta\in \mathcal O_K^+$$6 (Fryšová et al., 28 Sep 2025).

4. Universality, rank bounds, and arithmetic obstructions

The strongest applications of indecomposability concern universal quadratic forms. The guiding principle is that a universal form must represent every indecomposable totally positive integer, and those representations are sufficiently rigid to force large rank. A particularly general criterion uses the codifferent

$$\alpha \succ \beta \quad \Longleftrightarrow \quad \alpha-\beta\in \mathcal O_K^+$$7

If there exists $$\alpha \succ \beta \quad \Longleftrightarrow \quad \alpha-\beta\in \mathcal O_K^+$$8 such that

$$\alpha \succ \beta \quad \Longleftrightarrow \quad \alpha-\beta\in \mathcal O_K^+$$9

then $\mathcal O_K$0 must be indecomposable. More generally, if there are $\mathcal O_K$1 elements $\mathcal O_K$2 and some $\mathcal O_K$3 with

$\mathcal O_K$4

then

$\mathcal O_K$5

where $\mathcal O_K$6 and $\mathcal O_K$7 denote the minimal ranks of universal and classical universal lattices (Kala, 2023).

In the real quadratic case, the method is fully explicit. Over $\mathcal O_K$8, the indecomposables up to multiplication by totally positive units fall into four square classes represented by

$\mathcal O_K$9

and this forces any diagonal universal form to have rank at least $\mathcal O_K$00. At the same time, there is a uniform construction: if $\mathcal O_K$01 is a set of representatives of indecomposables up to multiplication by totally positive units, then

$\mathcal O_K$02

is universal and has $\mathcal O_K$03 variables, where $\mathcal O_K$04 is the totally positive fundamental unit (Kala, 2023).

The obstruction theory becomes asymptotic in families. For every positive integer $\mathcal O_K$05, there are infinitely many quadratic fields $\mathcal O_K$06 that do not have a universal lattice of rank $\mathcal O_K$07. More precisely, for almost all squarefree $\mathcal O_K$08,

$\mathcal O_K$09

For simplest cubic fields $\mathcal O_K$10 with

$\mathcal O_K$11

the indecomposables lead to concrete bounds

$\mathcal O_K$12

while there exists a diagonal universal form of rank $\mathcal O_K$13 (Kala, 2023).

Biquadratic fields furnish a particularly strong nonuniversality theory. There are sufficient conditions under which an indecomposable element of a quadratic subfield remains indecomposable in a biquadratic extension $\mathcal O_K$14, and these allow escalation arguments over $\mathcal O_K$15. In particular, every classical universal totally positive quadratic form over

$\mathcal O_K$16

must have at least $\mathcal O_K$17 variables, and every such form over

$\mathcal O_K$18

must have at least $\mathcal O_K$19 variables (Čech et al., 2018). The obstruction can be pushed further: no classical totally positive definite ternary quadratic form over the ring of integers of a totally real biquadratic field is universal (Krásenský et al., 2019).

The sail viewpoint packages these phenomena geometrically. For totally real biquadratic fields with unit signature rank at least $\mathcal O_K$20, ranks of universal forms and numbers of indecomposables grow as a power of the discriminant, while the family

$\mathcal O_K$21

provides a contrasting example with

$\mathcal O_K$22

so that the number of indecomposables modulo totally positive units grows only logarithmically (Kala et al., 2024). A plausible implication is that “few” additively indecomposable integers and “few” additively indecomposable forms need not correlate uniformly across field families; the governing invariant is the ambient additive geometry rather than degree alone.

5. Orthogonal indecomposability in characteristic $\mathcal O_K$23

In representation theory over a perfect field $\mathcal O_K$24 of characteristic $\mathcal O_K$25, quadratic forms are organized not by positivity but by their associated bilinear forms. For the Klein four group

$\mathcal O_K$26

a quadratic form on a $\mathcal O_K$27-module $\mathcal O_K$28 is a map $\mathcal O_K$29 such that

$\mathcal O_K$30

is bilinear; in characteristic $\mathcal O_K$31, $\mathcal O_K$32 is alternating automatically. A symplectic $\mathcal O_K$33-module $\mathcal O_K$34 is indecomposable if it cannot be written as a nontrivial orthogonal sum

$\mathcal O_K$35

with both summands smaller symplectic $\mathcal O_K$36-modules (Pforte et al., 2017).

The classification in this setting is explicit. The indecomposable $\mathcal O_K$37-modules that can carry indecomposable symplectic forms are

$\mathcal O_K$38

and the paper determines all indecomposable symplectic forms on them up to isometry. The quadratic forms are then classified relative to the symplectic forms. A key structural fact is that once the associated bilinear form $\mathcal O_K$39 is fixed, any other quadratic form with the same $\mathcal O_K$40 differs by a diagonal correction: $\mathcal O_K$41 for some diagonal matrix $\mathcal O_K$42. The existence of a $\mathcal O_K$43-invariant quadratic form above a given symplectic form is therefore a system of explicit diagonal constraints, solved module by module (Pforte et al., 2017).

This literature uses “indecomposable quadratic form” in the orthogonal-sum sense. It therefore matches the additive language only after translation: the relevant additive operation is block-diagonal orthogonal addition, not pointwise addition of totally positive semi-definite forms. The distinction is substantive. In arithmetic papers, the obstruction comes from the additive semigroup $\mathcal O_K$44; in characteristic $\mathcal O_K$45, the obstruction comes from invariant-theoretic structure and isometry.

A related characteristic-$\mathcal O_K$46 result concerns principal indecomposable modules of finite groups. A principal indecomposable module $\mathcal O_K$47 has quadratic type if it affords a non-degenerate $\mathcal O_K$48-invariant quadratic form, and this occurs if and only if there exist involutions $\mathcal O_K$49 such that $\mathcal O_K$50 has odd order and

$\mathcal O_K$51

is not an algebraic integer, where $\mathcal O_K$52 is the Brauer character of the corresponding simple module. Moreover, the number of isomorphism classes of quadratic principal indecomposable $\mathcal O_K$53-modules is equal to the number of strongly real conjugacy classes of odd order elements of $\mathcal O_K$54 (Gow et al., 2018). This is another instance in which indecomposability is module-theoretic and orthogonal rather than arithmetic.

6. Semiring analogues, graph-theoretic structure, and conceptual synthesis

Over semirings, especially in the setting of free modules with unique base, quadratic-form decomposition acquires a combinatorial form. A quadratic form

$\mathcal O_K$55

satisfies

$\mathcal O_K$56

for some symmetric bilinear companion $\mathcal O_K$57, but because semirings do not have subtraction, a quadratic form can have many companions. Orthogonality is phrased through quasilinearity on pairs of submodules, and a basic submodule $\mathcal O_K$58 is indecomposable if it admits no nontrivial orthogonal decomposition

$\mathcal O_K$59

(Izhakian et al., 2015).

The decisive structural theorem is graph-theoretic. Given a base $\mathcal O_K$60 and a quasiminimal companion $\mathcal O_K$61, one defines an equivalence relation on $\mathcal O_K$62 by connectivity through chains

$\mathcal O_K$63

with

$\mathcal O_K$64

If $\mathcal O_K$65 is the basic submodule spanned by an equivalence class $\mathcal O_K$66, then each $\mathcal O_K$67 is indecomposable and

$\mathcal O_K$68

Moreover, these $\mathcal O_K$69 are exactly the indecomposable basic orthogonal summands. Thus a quadratic module is indecomposable if and only if the associated base graph is connected (Izhakian et al., 2015).

This setting also admits a cancellation theorem analogous to Witt cancellation and a tensor-product indecomposability theorem. If $\mathcal O_K$70 is isotypically finite and

$\mathcal O_K$71

then

$\mathcal O_K$72

For tensor products, if $\mathcal O_K$73 is an indecomposable bilinear module and $\mathcal O_K$74 an indecomposable quadratic module, then $\mathcal O_K$75 is indecomposable except in the special case where $\mathcal O_K$76 is alternate, $\mathcal O_K$77 is diagonally zero, and both $\mathcal O_K$78 and $\mathcal O_K$79 contain only even cycles, in which case exactly two indecomposable components arise (Izhakian et al., 2015).

Taken together, the arithmetic, representation-theoretic, and semiring literatures point to a unified conceptual picture. In the arithmetic of totally real fields, universal quadratic forms are governed by the fine additive geometry of $\mathcal O_K$80, and indecomposable totally positive algebraic integers behave as additive atoms that force rank and sometimes nonuniversality (Kala, 2023). In characteristic $\mathcal O_K$81 and over semirings, indecomposability is encoded by the impossibility of orthogonal decomposition, often reducible to explicit matrix normal forms or to connectivity in an interaction graph (Pforte et al., 2017). The common principle is that quadratic objects become rigid when their admissible additive splittings are sharply constrained; the ambient category determines what “addition” means.