Triple Quadratic Residue Symbols

• Triple quadratic residue symbols are third-order arithmetic invariants defined for prime triples meeting specific congruence and reciprocity conditions.
• They unify classical decomposition laws with cohomological methods and mod 2 Milnor invariants to analyze prime splitting in dihedral extensions.
• The theory connects arithmetic invariants with Massey product evaluations and topological interpretations, offering a comprehensive framework in number theory.

Triple quadratic residue symbols are third-order arithmetic invariants attached, in the classical setting, to triples of distinct rational primes $p_1,p_2,p_3$ satisfying $p_i\equiv 1 \pmod 4$ and $\left(\frac{p_i}{p_j}\right)=1$ for all $i\neq j$. Classically the symbol is Rédei’s symbol $[p_1,p_2,p_3]\in\{\pm1\}$, defined by the decomposition law of $p_3$ in a dihedral extension of degree $8$ determined by $p_1$ and $p_2$. In contemporary treatments it appears equally as a decomposition symbol, a cohomological secondary invariant, a mod $2$ Milnor invariant, and a triple Massey-product evaluation (Kim et al., 2024).

1. Classical definition over $p_i\equiv 1 \pmod 4$0

For distinct primes $p_i\equiv 1 \pmod 4$1 with

$p_i\equiv 1 \pmod 4$2

there exist integers $p_i\equiv 1 \pmod 4$3 such that

$p_i\equiv 1 \pmod 4$4

With

$p_i\equiv 1 \pmod 4$5

one forms

$p_i\equiv 1 \pmod 4$6

This is the unique Galois extension of $p_i\equiv 1 \pmod 4$7, determined by $p_i\equiv 1 \pmod 4$8, whose Galois group is the dihedral group of order $p_i\equiv 1 \pmod 4$9, unramified outside $\left(\frac{p_i}{p_j}\right)=1$0, and $\left(\frac{p_i}{p_j}\right)=1$1 (Hirano et al., 2019).

If a third prime $\left(\frac{p_i}{p_j}\right)=1$2 also satisfies

$\left(\frac{p_i}{p_j}\right)=1$3

then $\left(\frac{p_i}{p_j}\right)=1$4 is unramified in $\left(\frac{p_i}{p_j}\right)=1$5. Let $\left(\frac{p_i}{p_j}\right)=1$6, and let $\left(\frac{p_i}{p_j}\right)=1$7 be a prime of $\left(\frac{p_i}{p_j}\right)=1$8 over $\left(\frac{p_i}{p_j}\right)=1$9. The classical triple quadratic residue symbol is

$i\neq j$0

Equivalently, it records whether $i\neq j$1 splits completely in the degree-$i\neq j$2 dihedral extension attached to $i\neq j$3: it is $i\neq j$4 in the completely split case and $i\neq j$5 otherwise (Hirano et al., 2019).

This construction already exhibits the basic structural feature of triple quadratic residue symbols: they are not pairwise residue symbols in disguise, but decomposition invariants in a nonabelian extension.

2. Cohomological formulation and arithmetic Chern–Simons theory

A recent reformulation embeds the quadratic case into a general mod $i\neq j$6 theory. Let $i\neq j$7 be a number field containing $i\neq j$8, let $i\neq j$9, and let

$[p_1,p_2,p_3]\in\{\pm1\}$0

be continuous Kummer characters. Under the standing hypotheses that the ramification sets $[p_1,p_2,p_3]\in\{\pm1\}$1 are disjoint, each $[p_1,p_2,p_3]\in\{\pm1\}$2 is tame locally, and

$[p_1,p_2,p_3]\in\{\pm1\}$3

for all non-archimedean $[p_1,p_2,p_3]\in\{\pm1\}$4 and all $[p_1,p_2,p_3]\in\{\pm1\}$5, one defines a triple symbol

$[p_1,p_2,p_3]\in\{\pm1\}$6

by first choosing a global trivialization $[p_1,p_2,p_3]\in\{\pm1\}$7, then local unramified trivializations $[p_1,p_2,p_3]\in\{\pm1\}$8, and finally setting

$[p_1,p_2,p_3]\in\{\pm1\}$9

$p_3$0

The symbol is independent of the choices of $p_3$1, $p_3$2, and the auxiliary set $p_3$3, and it is alternating: $p_3$4 The construction is explicitly motivated by arithmetic Chern–Simons theory: the symbol measures the discrepancy between a global trivialization of a degree-$p_3$5 class and local unramified trivializations (Kim et al., 2024).

In the quadratic specialization

$p_3$6

take distinct primes $p_3$7 with

$p_3$8

and let $p_3$9 be the quadratic Kummer characters defined by

$8$0

Then $8$1 is defined and

$8$2

In this sense the classical Rédei symbol is recovered exactly as a cohomological secondary invariant (Kim et al., 2024).

3. Arithmetic-topological interpretations

In Ihara theory, triple quadratic residue symbols are expressed by mod $8$3 triple Milnor invariants of Frobenius elements. For a suitable punctured projective line $8$4, Ihara’s Galois representation acts on the pro-$8$5 fundamental group, and the preferred pro-$8$6 longitudes admit Magnus expansions whose coefficients are mod $8$7 Milnor invariants. In the quadratic setting one has the central formula

$8$8

and hence

$8$9

The mechanism is a mod $p_1$0 Heisenberg covering whose monodromy along the third longitude isolates the coefficient of $p_1$1, so that the triple symbol becomes the arithmetic analogue of a mod $p_1$2 triple linking invariant (Hirano et al., 2019).

The same quadratic symbol can also be written in terms of the second $p_1$3-adic Galois polylogarithm. With

$p_1$4

and $p_1$5 an extension of Frobenius above $p_1$6, one has

$p_1$7

The functional equation for $p_1$8-adic Galois polylogarithms then implies the reciprocity law

$p_1$9

which in the quadratic case is the usual symmetry in the first two entries, since the symbol takes values in $p_2$0 (Shiraishi, 2019).

These two viewpoints are compatible rather than competing. The first emphasizes nonabelian Galois actions and Heisenberg monodromy; the second expresses the same third-order phenomenon through the mod $p_2$1 value of the second Galois polylogarithm.

4. Massey products and generalizations to real quadratic fields

The triple symbol admits a cohomological interpretation via Massey products. In the quadratic examples where the pairwise cup products vanish, one may choose $p_2$2-cochains $p_2$3 with

$p_2$4

and define

$p_2$5

For $p_2$6, $p_2$7, and $p_2$8, the local invariant of this triple Massey product satisfies

$p_2$9

so that

$2$0

Thus the triple quadratic residue symbol is also the local invariant of a triple Massey product (Kim et al., 2024).

A genuine generalization beyond $2$1 has now been constructed for real quadratic fields. Let $2$2 be a real quadratic field with trivial narrow class group, let $2$3 be its fundamental unit, and let

$2$4

be distinct finite primes of $2$5, none above $2$6, with $2$7. Under the conditions

$2$8

the symbol is defined by

$2$9

It detects complete decomposition of $p_i\equiv 1 \pmod 4$00 in a unique Rédei type $p_i\equiv 1 \pmod 4$01-extension $p_i\equiv 1 \pmod 4$02 attached to $p_i\equiv 1 \pmod 4$03: $p_i\equiv 1 \pmod 4$04 The same paper gives the Massey-product formula

$p_i\equiv 1 \pmod 4$05

In this real quadratic setting, symmetry is proved only in the first two variables: $p_i\equiv 1 \pmod 4$06 and no full three-variable symmetry is claimed (Kuramoto, 31 Aug 2025).

5. Position in a higher-order hierarchy

Triple quadratic residue symbols sit in a broader hierarchy of nilpotent decomposition symbols. One formulation presents the progression

$p_i\equiv 1 \pmod 4$07

as successive invariants associated respectively with

$p_i\equiv 1 \pmod 4$08

In this hierarchy the Rédei symbol is the $p_i\equiv 1 \pmod 4$09-fold case and satisfies

$p_i\equiv 1 \pmod 4$10

while a $p_i\equiv 1 \pmod 4$11-th multiple residue symbol satisfies

$p_i\equiv 1 \pmod 4$12

This places triple quadratic residue symbols within a general theory of arithmetic Milnor invariants and nilpotent extensions, rather than treating them as isolated artifacts of genus theory (Amano, 2013).

Adjacent work also shows that genuinely triple-dependent quadratic phenomena need not always appear under the name “triple quadratic residue symbol.” In the degree-$p_i\equiv 1 \pmod 4$13 field

$p_i\equiv 1 \pmod 4$14

a residual bit

$p_i\equiv 1 \pmod 4$15

decides which of two squareclasses gives the final unit generator. The standard pairwise residue datum

$p_i\equiv 1 \pmod 4$16

does not determine $p_i\equiv 1 \pmod 4$17: the paper gives explicit triples

$p_i\equiv 1 \pmod 4$18

with the same $p_i\equiv 1 \pmod 4$19 but opposite values of $p_i\equiv 1 \pmod 4$20. The paper does not define a standard object called a triple quadratic residue symbol, but it isolates a triple-dependent residual squareclass invariant that is invisible to pairwise Legendre data alone (Phuc, 12 May 2026).

6. Scope, reciprocity, and common distinctions

A persistent source of confusion is the phrase “triple quadratic.” In the Rédei–Milnor–Massey tradition it means a ternary, third-order symbol attached to three primes or three Kummer characters. It does not mean repeated $p_i\equiv 1 \pmod 4$21-power residuosity. In particular, the rational $p_i\equiv 1 \pmod 4$22-th power residue symbols

$p_i\equiv 1 \pmod 4$23

form a different hierarchy: $p_i\equiv 1 \pmod 4$24 is quadratic, $p_i\equiv 1 \pmod 4$25 is quartic, and $p_i\equiv 1 \pmod 4$26 is octic. That theory concerns iterated $p_i\equiv 1 \pmod 4$27-power residuosity of a single element modulo a prime or composite modulus, not a ternary residue symbol of Rédei type (Hittmeir, 2016).

Another common misconception is that the triple quadratic residue symbol is defined unconditionally once three primes are given. Every formulation in the modern literature imposes pairwise compatibility conditions. In the classical rational case these are the conditions

$p_i\equiv 1 \pmod 4$28

In the cohomological theory they become the disjointness, tameness, and local vanishing conditions on pairwise cup products. This is the arithmetic analogue of the topological fact that a triple linking invariant is defined only after the relevant pairwise linking numbers vanish (Kim et al., 2024).

A further distinction concerns symmetry. Over $p_i\equiv 1 \pmod 4$29, the Rédei symbol is fully symmetric in $p_i\equiv 1 \pmod 4$30; in the cohomological formulation this follows from alternation together with the fact that inversion is trivial in $p_i\equiv 1 \pmod 4$31. Over real quadratic fields, by contrast, only symmetry in the first two variables is presently established (Amano, 2013).

Taken together, these developments show that triple quadratic residue symbols are best understood as third-order arithmetic invariants with several equivalent realizations: decomposition laws in $p_i\equiv 1 \pmod 4$32-extensions, mod $p_i\equiv 1 \pmod 4$33 Milnor invariants, local evaluations of triple Massey products, and global–local defects arising from cohomological trivializations. The classical symbol over $p_i\equiv 1 \pmod 4$34 remains the model case, but the modern theory has made its higher-order nature precise and transportable to broader arithmetic settings.