Discriminant-Preserving Equivalence

• The paper establishes that all discriminant algebra functors in a fixed rank are canonically isomorphic, ensuring consistent discriminant preservation.
• Methodologies based on norm polynomial laws, Clifford algebras, and Pfaffian formulas are compared to reveal structured, functorial relationships.
• For ranks up to three, the unique isomorphism is proven, while the case for rank four and higher remains open, highlighting avenues for further research.

Discriminant-preserving equivalence of categories concerns the systematic relationship between constructions that assign to each rank-$n$ algebra a quadratic algebra with canonically matching discriminant data. In this framework, all established “discriminant algebra” functors for a fixed rank $n$ are shown to be canonically isomorphic in a suitable category $\mathcal{C}_n$; moreover, for ranks $n\leq 3$, this functor is unique up to unique isomorphism. The formalism captures and compares various discriminant algebra constructions appearing in the literature, establishing categorical equivalence and, in small ranks, uniqueness up to contractibility.

1. Categories and Functorial Structure

Let $\mathsf{Aff}$ denote the opposite of the category of commutative rings, and $\mathsf{Disc}$ the category whose objects are triples $(R,L,d)$ with $R$ a ring, $L$ a locally free rank-$1$ $n$0-module, and $n$1 an $n$2-linear discriminant pairing, with morphisms given by base change preserving $n$3. $n$4 is the category of rank-$n$5 algebras: objects are pairs $n$6 with $n$7 an $n$8-algebra locally free of rank $n$9, and morphisms are base change plus $\mathcal{C}_n$0-algebra isomorphism.

There is a tautological functor $\mathcal{C}_n$1 which to $\mathcal{C}_n$2 associates its top exterior power $\mathcal{C}_n$3 equipped with the discriminant bilinear form

$\mathcal{C}_n$4

A discriminant algebra in rank $\mathcal{C}_n$5 is a functor $\mathcal{C}_n$6 equipped with an isomorphism $\mathcal{C}_n$7 over $\mathcal{C}_n$8, supplying a quadratic algebra functorial in $\mathcal{C}_n$9 along with a discriminant-identifying isomorphism. The category $n\leq 3$0 has objects the such functors, with morphisms given by natural isomorphisms that respect the discriminant identifications.

A summary of the structural framework appears below:

Category	Objects	Morphisms
$n\leq 3$1	Rank-$n\leq 3$2 locally free $n\leq 3$3-algebras $n\leq 3$4	Base change + algebra isomorphism
$n\leq 3$5	Triples $n\leq 3$6 as above	Base change preserving $n\leq 3$7
$n\leq 3$8	Discriminant-algebra functors $n\leq 3$9 + data	Natural isomorphisms respecting discriminants

2. Constructions of Discriminant Algebras

Three main constructions of discriminant algebras for rank-$\mathsf{Aff}$0 algebras are systematically compared:

(a) Biesel–Gioia (“Ferrand”) Construction

Given $\mathsf{Aff}$1, the norm polynomial law $\mathsf{Aff}$2 is represented by an $\mathsf{Aff}$3-algebra homomorphism $\mathsf{Aff}$4. Considering the inclusion $\mathsf{Aff}$5 of invariants for the alternating subgroup, set

$\mathsf{Aff}$6

where the map $\mathsf{Aff}$7 is given by $\mathsf{Aff}$8. $\mathsf{Aff}$9 is locally free of rank 2 and its induced discriminant form agrees with that of $\mathsf{Disc}$0. Assigning $\mathsf{Disc}$1 defines an object in $\mathsf{Disc}$2.

(b) Rost’s Construction (Rank 3)

For $\mathsf{Disc}$3, let $\mathsf{Disc}$4 be a rank-3 $\mathsf{Disc}$5-algebra. Set $\mathsf{Disc}$6 and define the quadratic form $\mathsf{Disc}$7, with $\mathsf{Disc}$8, $\mathsf{Disc}$9 the characteristic polynomial coefficients. The even Clifford algebra $(R,L,d)$0 fits in a short exact sequence

$(R,L,d)$1

making $(R,L,d)$2 a quadratic $(R,L,d)$3-algebra. Adjusting the multiplication in $(R,L,d)$4 by the discriminant bilinear form on $(R,L,d)$5 yields a quadratic algebra $(R,L,d)$6 whose discriminant matches that of $(R,L,d)$7. Rost’s functor $(R,L,d)$8 defines an object in $(R,L,d)$9.

(c) Loos’s Construction (Even Rank)

For even $R$0, let $R$1 be a rank-$R$2 algebra, and write $R$3 for the quadratic trace. For any representable quadratic form $R$4 on a rank-$R$5 bundle $R$6, construct an algebra

$R$7

with multiplication determined via Pfaffian and “quarter-determinant” formulas. Different choices of representing bilinear form produce canonically isomorphic algebras, so $R$8 is well-defined. For $R$9 as above with $L$0, shift the algebra by $L$1 to align the discriminant form. This yields the functor $L$2 belonging to $L$3 for even $L$4.

3. Canonical Equivalences and Natural Isomorphisms

Within $L$5, the core phenomenon is the canonical isomorphism between any two discriminant-algebra constructions. For any two objects $L$6, there is a bijection of natural transformations $L$7 (identifications of discriminant forms). Explicit comparison maps are constructed:

• $L$8 (rank 3): The generator $L$9 is sent to $1$0, and this map preserves traces and norms after the algebra shift.
• $1$1 (even rank): The “wedge-generator” $1$2 corresponds to $1$3 built from a universal Pfaffian.
• In mixed or odd ranks, comparison isomorphisms are obtained by composing these via inverses as appropriate.

All three constructions ($1$4, $1$5, $1$6) are thus canonically isomorphic in $1$7. This establishes discriminant-preserving equivalence between all known reasonable constructions.

4. Uniqueness in Small Ranks

For $1$8, uniqueness up to unique isomorphism is established in $1$9, making it a contractible groupoid. The key lemma: for ring $n$00 with $n$01 invertible or a prime nonzero-divisor, and quadratic $n$02-algebras $n$03 with matching discriminant forms, there is a unique $n$04-algebra isomorphism $n$05 inducing that identification.

Trivial (rank $n$06) and quadratic ($n$07) algebras are handled by demonstrating uniqueness via universal quadratic algebras. For rank $n$08, universal associativity relations provide the necessary identifications, with suitable use of base change and Čech-like descent arguments. Thus, for $n$09, the discriminant functor is unique up to unique isomorphism across all constructions.

5. Existence, Scope, and Open Problems

Biesel–Gioia’s construction confirms that $n$10 is always nonempty for $n$11. For all $n$12, canonical isomorphisms between known constructions guarantee discriminant-preserving equivalence in $n$13. For ranks up to $n$14, categorical uniqueness holds, but for $n$15, uniqueness remains open.

The possibility of extending uniqueness to $n$16 appears to require a global “universal” parameter space for rank-$n$17 algebras, such as those provided by Bhargava or Wood for quartic and quintic algebras. In the absence of such parametrizations, the classification and uniqueness of discriminant algebra functors for higher ranks remains unresolved. This suggests scope for further research in both the construction of discriminant algebras for higher rank and in the development of suitable moduli spaces.

6. Mathematical Significance and Connections

Discriminant-preserving equivalence of categories systematically relates and generalizes classical invariants associated with commutative ring extensions and their quadratic forms. By formalizing discriminant algebra constructions in a categorical context, it provides a rigorous method for comparing functorial constructions and establishes conditions for their uniqueness. The equivalences established ensure that within suitable settings, the discriminant encoding is functorially canonical.

A plausible implication is that advances in parametrizing higher algebraic structures may permit a complete understanding of discriminant algebra uniqueness in all finite ranks. The framework also interfaces naturally with the study of polynomial invariants, Clifford algebras, and the behavior of quadratic forms under various base changes.