Quadratic Orthogonal Pairs in Algebra & Geometry

• Quadratic orthogonal pairs are structures defined by an orthogonal involution and a compatible semi-trace, appearing in contexts like Azumaya algebras, holomorphic maps, and hyperelliptic functions.
• They unify distinct mathematical frameworks by linking cohomological obstruction theory in scheme settings with concrete constructions in Clifford algebras and projective geometry.
• Their applications include reconciling continued-fraction expansions with Hankel determinants in Somos recurrences, offering practical tools for analyzing complex algebraic systems.

“Quadratic orthogonal pairs” is not a single universally fixed term across the cited literature. In the theory of Azumaya algebras over schemes, the central object is a quadratic pair on an algebra with orthogonal involution, namely a semi-trace compatible with the reduced trace (Gille et al., 2022). In complex projective geometry, orthogonal pairs are pairs of holomorphic maps preserving orthogonality for possibly degenerate Hermitian forms (Gao, 2021). In hyperelliptic function theory, a quadratic orthogonal pair is a pair of functions $(Y_0,\tilde Y_0)$ satisfying $\tilde Y_0Y_0^*=-1$, introduced to resolve a continued-fraction “mismatch” problem and to construct bilateral Hankel-determinant solutions of Somos recurrences (Chang et al., 12 Mar 2026). A further scheme-theoretic development studies canonical quadratic pairs on Clifford algebras attached to Azumaya algebras with quadratic pair (Ruether, 2023).

1. Terminological scope and ambient structures

The phrase occurs in several adjacent but distinct settings.

Context	Basic object	Defining condition
Azumaya algebras over a scheme	$(A,\sigma,f)$ with $\sigma$ orthogonal	$f(a+\sigma(a))=\operatorname{Trd}_A(a)$
Projective spaces with Hermitian forms	holomorphic pair $(U,V)$	$H(x,y)=0 \Rightarrow H'(U(x),V(y))=0$
Hyperelliptic function fields	nonzero pair $(Y_0,\tilde Y_0)$	$\tilde Y_0\cdot Y_0^*=-1$

In the Azumaya-algebra setting, Gille–Neher–Ruether investigate quadratic pairs for Azumaya algebras with involutions over a base scheme $S$, generalizing the case of quadratic pairs on central simple algebras over a field due to Knus, Merkurjev, Rost, and Tignol (Gille et al., 2022). In the hyperelliptic setting, the terminology “orthogonal” refers to the analogue of a bilinear pairing $\tilde Y_0Y_0^*=-1$0, for which a quadratic orthogonal pair satisfies $\tilde Y_0Y_0^*=-1$1 (Chang et al., 12 Mar 2026). In projective geometry, Gao–Ng define orthogonal pairs between projective spaces equipped with possibly degenerate Hermitian forms and connect them to Segre maps between real hyperquadrics (Gao, 2021).

This suggests that the terminology is context-sensitive. What remains common is the presence of an involutive or Hermitian notion of orthogonality together with an additional compatibility condition that is linear, semi-tracial, or multiplicative.

2. Quadratic pairs on Azumaya algebras with orthogonal involution

Let $\tilde Y_0Y_0^*=-1$2 be a scheme with structure sheaf $\tilde Y_0Y_0^*=-1$3. An $\tilde Y_0Y_0^*=-1$4-algebra $\tilde Y_0Y_0^*=-1$5 is Azumaya of degree $\tilde Y_0Y_0^*=-1$6 if $\tilde Y_0Y_0^*=-1$7 is finite locally free of rank $\tilde Y_0Y_0^*=-1$8 over $\tilde Y_0Y_0^*=-1$9 and the sandwich map

$(A,\sigma,f)$0

is an isomorphism. An involution of the first kind on $(A,\sigma,f)$1 is an anti-automorphism $(A,\sigma,f)$2 with $(A,\sigma,f)$3. Étale-locally on $(A,\sigma,f)$4, one has

$(A,\sigma,f)$5

for some locally free $(A,\sigma,f)$6 and regular bilinear form $(A,\sigma,f)$7 on $(A,\sigma,f)$8; $(A,\sigma,f)$9 is called orthogonal if $\sigma$0 is symmetric, weakly symplectic if $\sigma$1 is skew, and symplectic if in addition $\sigma$2 is alternating (Gille et al., 2022).

For an orthogonal involution, the standard submodules are

$\sigma$3

together with

$\sigma$4

A quadratic pair, or quadratic triple, on $\sigma$5 is a linear form

$\sigma$6

such that for every local section $\sigma$7 one has

$\sigma$8

This is the semi-trace property. When $\sigma$9 is invertible in $f(a+\sigma(a))=\operatorname{Trd}_A(a)$0, the assignment

$f(a+\sigma(a))=\operatorname{Trd}_A(a)$1

on symmetric elements automatically satisfies the defining condition, and hence there is a unique quadratic pair (Gille et al., 2022).

The same framework underlies the Clifford-algebra construction over schemes. Ruether formulates an algebra with quadratic pair as a triple $f(a+\sigma(a))=\operatorname{Trd}_A(a)$2, where $f(a+\sigma(a))=\operatorname{Trd}_A(a)$3 is orthogonal and $f(a+\sigma(a))=\operatorname{Trd}_A(a)$4 is a semi-trace on $f(a+\sigma(a))=\operatorname{Trd}_A(a)$5 (Ruether, 2023). In this sense, “quadratic orthogonal pair” in the scheme-theoretic literature refers not to a pair of maps or functions, but to an orthogonal involution together with a compatible semi-trace.

A classification statement is available when $f(a+\sigma(a))=\operatorname{Trd}_A(a)$6 is locally quadratic, meaning $f(a+\sigma(a))=\operatorname{Trd}_A(a)$7. Then the set of all quadratic pairs

$f(a+\sigma(a))=\operatorname{Trd}_A(a)$8

is in bijection with the fibre of $f(a+\sigma(a))=\operatorname{Trd}_A(a)$9 over $(U,V)$0,

$(U,V)$1

so the existence and multiplicity of quadratic pairs are controlled by a quotient modulo alternating elements (Gille et al., 2022).

3. Cohomological obstructions, affine vanishing, and non-affine counterexamples

The obstruction theory of Gille–Neher–Ruether is formulated from the exact rows and columns involving $(U,V)$2, $(U,V)$3, $(U,V)$4, and $(U,V)$5. Passing to fppf or étale cohomology yields connecting maps

$(U,V)$6

and

$(U,V)$7

Since $(U,V)$8, one defines

$(U,V)$9

the strong obstruction, and

$H(x,y)=0 \Rightarrow H'(U(x),V(y))=0$0

the weak obstruction (Gille et al., 2022).

The existence theorem separates two levels of extension. If $H(x,y)=0 \Rightarrow H'(U(x),V(y))=0$1 is Azumaya with $H(x,y)=0 \Rightarrow H'(U(x),V(y))=0$2 locally quadratic, then there exists $H(x,y)=0 \Rightarrow H'(U(x),V(y))=0$3 on all of $H(x,y)=0 \Rightarrow H'(U(x),V(y))=0$4 extending a quadratic pair if and only if $H(x,y)=0 \Rightarrow H'(U(x),V(y))=0$5. There exists $H(x,y)=0 \Rightarrow H'(U(x),V(y))=0$6 defined only on $H(x,y)=0 \Rightarrow H'(U(x),V(y))=0$7 making $H(x,y)=0 \Rightarrow H'(U(x),V(y))=0$8 a quadratic pair if and only if $H(x,y)=0 \Rightarrow H'(U(x),V(y))=0$9. Constructively, choosing local sections $(Y_0,\tilde Y_0)$0 with $(Y_0,\tilde Y_0)$1 on a cover $(Y_0,\tilde Y_0)$2 produces local semi-traces

$(Y_0,\tilde Y_0)$3

and the Čech $(Y_0,\tilde Y_0)$4-cocycle $(Y_0,\tilde Y_0)$5 represents the obstruction class (Gille et al., 2022).

On affine schemes the obstruction vanishes. If $(Y_0,\tilde Y_0)$6 is affine, then any quasi-coherent $(Y_0,\tilde Y_0)$7-module $(Y_0,\tilde Y_0)$8 satisfies $(Y_0,\tilde Y_0)$9. In particular, $\tilde Y_0\cdot Y_0^*=-1$0 and $\tilde Y_0\cdot Y_0^*=-1$1 have vanishing $\tilde Y_0\cdot Y_0^*=-1$2, so

$\tilde Y_0\cdot Y_0^*=-1$3

and $\tilde Y_0\cdot Y_0^*=-1$4. Consequently, on any affine open $\tilde Y_0\cdot Y_0^*=-1$5, every locally quadratic involution extends to a quadratic pair, and in fact there is an $\tilde Y_0\cdot Y_0^*=-1$6-linear form $\tilde Y_0\cdot Y_0^*=-1$7 with the semi-trace property (Gille et al., 2022).

The non-affine case is genuinely different. In characteristic $\tilde Y_0\cdot Y_0^*=-1$8, Gille–Neher–Ruether construct a nontrivial strong obstruction using an ordinary elliptic curve $\tilde Y_0\cdot Y_0^*=-1$9 over a field $S$0 of $S$1, the $S$2-multiplication torsor $S$3, and a twisted quaternion Azumaya algebra $S$4 of degree $S$5 with canonical orthogonal involution $S$6. Here $S$7 only, and Lemma 6.4 gives $S$8. Tensoring $S$9 copies of $\tilde Y_0Y_0^*=-1$00 yields degree $\tilde Y_0Y_0^*=-1$01 examples with nonzero strong obstruction. They also construct a nontrivial weak obstruction in characteristic $\tilde Y_0Y_0^*=-1$02 from a Galois torsor $\tilde Y_0Y_0^*=-1$03 with group $\tilde Y_0Y_0^*=-1$04 over a connected smooth projective $\tilde Y_0Y_0^*=-1$05-variety $\tilde Y_0Y_0^*=-1$06; a Čech-cocycle check shows that no global $\tilde Y_0Y_0^*=-1$07 on $\tilde Y_0Y_0^*=-1$08 can satisfy the semi-trace property, so $\tilde Y_0Y_0^*=-1$09 (Gille et al., 2022).

These results sharply separate local and global behavior: the affine case is unobstructed, whereas non-affine schemes may carry precisely the cohomological obstructions that prevent the existence of quadratic pairs.

4. Canonical quadratic pairs on Clifford algebras

Ruether studies the Clifford algebra attached to an Azumaya algebra with quadratic pair over an arbitrary base scheme $\tilde Y_0Y_0^*=-1$10 (Ruether, 2023). For an algebra with quadratic pair $\tilde Y_0Y_0^*=-1$11 of even degree $\tilde Y_0Y_0^*=-1$12, one forms the tensor algebra $\tilde Y_0Y_0^*=-1$13 and two two-sided ideals

$\tilde Y_0Y_0^*=-1$14

where $\tilde Y_0Y_0^*=-1$15 is generated by $\tilde Y_0Y_0^*=-1$16 for $\tilde Y_0Y_0^*=-1$17 and $\tilde Y_0Y_0^*=-1$18 is generated by elements $\tilde Y_0Y_0^*=-1$19 for $\tilde Y_0Y_0^*=-1$20 satisfying $\tilde Y_0Y_0^*=-1$21. The Clifford algebra is then

$\tilde Y_0Y_0^*=-1$22

with canonical map $\tilde Y_0Y_0^*=-1$23 and canonical involution

$\tilde Y_0Y_0^*=-1$24

The orthogonality of $\tilde Y_0Y_0^*=-1$25 is exceptional. Writing $\tilde Y_0Y_0^*=-1$26, the canonical involution on the Clifford algebra is orthogonal precisely in the following two situations: $\tilde Y_0Y_0^*=-1$27, or $\tilde Y_0Y_0^*=-1$28 and $\tilde Y_0Y_0^*=-1$29 in the structure sheaf. Under these hypotheses, and assuming $\tilde Y_0Y_0^*=-1$30, there is a unique semi-trace

$\tilde Y_0Y_0^*=-1$31

such that the canonical homomorphism

$\tilde Y_0Y_0^*=-1$32

factors through

$\tilde Y_0Y_0^*=-1$33

Explicitly,

$\tilde Y_0Y_0^*=-1$34

where $\tilde Y_0Y_0^*=-1$35 is the distinguished class in $\tilde Y_0Y_0^*=-1$36 with $\tilde Y_0Y_0^*=-1$37 (Ruether, 2023).

The construction is functorial for isomorphisms of quadratic pairs and stable under base-change. Over a field of characteristic $\tilde Y_0Y_0^*=-1$38, if $\tilde Y_0Y_0^*=-1$39 admits an element $\tilde Y_0Y_0^*=-1$40 with $\tilde Y_0Y_0^*=-1$41, then $\tilde Y_0Y_0^*=-1$42 and

$\tilde Y_0Y_0^*=-1$43

recovering the construction of Dolphin–Quéguiner-Mathieu (Ruether, 2023).

Degree $\tilde Y_0Y_0^*=-1$44 is an exceptional failure mode. When $\tilde Y_0Y_0^*=-1$45 and $\tilde Y_0Y_0^*=-1$46 in $\tilde Y_0Y_0^*=-1$47, the involution $\tilde Y_0Y_0^*=-1$48 is orthogonal, but there is no semi-trace

$\tilde Y_0Y_0^*=-1$49

for which the natural map

$\tilde Y_0Y_0^*=-1$50

factors through $\tilde Y_0Y_0^*=-1$51. The paper states this equivalently as the nonexistence of a canonical semi-trace in degree $\tilde Y_0Y_0^*=-1$52 (Ruether, 2023).

5. Orthogonal pairs of holomorphic maps and Segre rigidity

Gao–Ng define a local orthogonal pair for projective spaces equipped with possibly degenerate Hermitian forms (Gao, 2021). Let

$\tilde Y_0Y_0^*=-1$53

carry Hermitian forms $\tilde Y_0Y_0^*=-1$54 and $\tilde Y_0Y_0^*=-1$55 of signatures $\tilde Y_0Y_0^*=-1$56 and $\tilde Y_0Y_0^*=-1$57, with projectivizations

$\tilde Y_0Y_0^*=-1$58

A local orthogonal pair is a pair of holomorphic maps

$\tilde Y_0Y_0^*=-1$59

such that for any lifts $\tilde Y_0Y_0^*=-1$60 of points in $\tilde Y_0Y_0^*=-1$61,

$\tilde Y_0Y_0^*=-1$62

Equivalently,

$\tilde Y_0Y_0^*=-1$63

The basic dichotomy is between degenerate and non-degenerate orthogonal pairs. The pair $\tilde Y_0Y_0^*=-1$64 is degenerate if one branch, say $\tilde Y_0Y_0^*=-1$65, has image contained in a proper linear subspace of $\tilde Y_0Y_0^*=-1$66 of dimension strictly less than $\tilde Y_0Y_0^*=-1$67; if neither branch lies in a proper linear subspace, the pair is non-degenerate. Gao–Ng prove that every degenerate local orthogonal pair is in fact null:

$\tilde Y_0Y_0^*=-1$68

Thus degeneracy forces global orthogonality rather than merely orthogonality along incident pairs (Gao, 2021).

The main rigidity theorem imposes the codimension restriction

$\tilde Y_0Y_0^*=-1$69

equivalently $\tilde Y_0Y_0^*=-1$70. Under this hypothesis, every local orthogonal pair

$\tilde Y_0Y_0^*=-1$71

is either null or quasi-standard. Here quasi-standard means that, after possibly projecting onto a non-degenerate subspace in the target and splitting off a null summand, the pair is induced by a single complex-linear isometry up to an overall constant factor $\tilde Y_0Y_0^*=-1$72. For a linear orthogonal pair there exist linear $\tilde Y_0Y_0^*=-1$73 with

$\tilde Y_0Y_0^*=-1$74

and

$\tilde Y_0Y_0^*=-1$75

The proof uses a hyperplane-restriction lemma, projection away from null directions, and reduction until one branch becomes a linear embedding (Gao, 2021).

This framework is directly related to Segre maps of real hyperquadrics. The Heisenberg hypersurface

$\tilde Y_0Y_0^*=-1$76

has complexification identified with the null cone in $\tilde Y_0Y_0^*=-1$77. By Lemma 4.1 of Gao–Ng, a holomorphic Segre map is exactly an orthogonal pair, and Zhang’s rigidity theorem becomes the special case $\tilde Y_0Y_0^*=-1$78, $\tilde Y_0Y_0^*=-1$79, $\tilde Y_0Y_0^*=-1$80, $\tilde Y_0Y_0^*=-1$81, $\tilde Y_0Y_0^*=-1$82 with $\tilde Y_0Y_0^*=-1$83: every local Segre map $\tilde Y_0Y_0^*=-1$84 is either null or quasi-standard (Gao, 2021).

6. Hyperelliptic quadratic orthogonal pairs, continued fractions, and Hankel determinants

In the hyperelliptic-function setting, a quadratic orthogonal pair is defined in a function field with involution (Chang et al., 12 Mar 2026). Let $\tilde Y_0Y_0^*=-1$85 be a hyperelliptic curve of genus $\tilde Y_0Y_0^*=-1$86 over $\tilde Y_0Y_0^*=-1$87 given by

$\tilde Y_0Y_0^*=-1$88

where

$\tilde Y_0Y_0^*=-1$89

and the coefficients are generic so that the right-hand side has $\tilde Y_0Y_0^*=-1$90 distinct zeros. In the function field

$\tilde Y_0Y_0^*=-1$91

the nontrivial Galois involution is $\tilde Y_0Y_0^*=-1$92, given by $\tilde Y_0Y_0^*=-1$93 and $\tilde Y_0Y_0^*=-1$94. A pair of nonzero functions

$\tilde Y_0Y_0^*=-1$95

is called a quadratic orthogonal pair if

$\tilde Y_0Y_0^*=-1$96

Equivalently,

$\tilde Y_0Y_0^*=-1$97

The notion is introduced to resolve the “mismatch” problem that remained unsolved in Hone’s work on continued-fraction expansions and Hankel determinants from hyperelliptic curves. There, the positive and negative halves of a Somos-4 or Somos-5 sequence produce two independent families of Hankel determinants, and the difficulty is to glue them into a single bi-infinite solution. The single algebraic relation

$\tilde Y_0Y_0^*=-1$98

forces the positive and negative continued-fraction expansions to be compatible and hence yields a coherent bi-infinite Hankel-determinant solution (Chang et al., 12 Mar 2026).

Existence and uniqueness are immediate: for any $\tilde Y_0Y_0^*=-1$99 with $(A,\sigma,f)$00, there is a unique partner

$(A,\sigma,f)$01

If $(A,\sigma,f)$02 admits a nonterminating continued-fraction expansion as a J-fraction in $(A,\sigma,f)$03, then so does $(A,\sigma,f)$04, and their partial quotients satisfy

$(A,\sigma,f)$05

The paper also gives a constructive realization from polynomial recurrences. Choosing initial polynomials $(A,\sigma,f)$06 of degrees $(A,\sigma,f)$07 so that

$(A,\sigma,f)$08

one defines sequences $(A,\sigma,f)$09 for all $(A,\sigma,f)$10 by

$(A,\sigma,f)$11

with

$(A,\sigma,f)$12

Then

$(A,\sigma,f)$13

for all $(A,\sigma,f)$14, and

$(A,\sigma,f)$15

form a quadratic orthogonal pair for each $(A,\sigma,f)$16:

$(A,\sigma,f)$17

The associated generating functions

$(A,\sigma,f)$18

define moment Hankel determinants

$(A,\sigma,f)$19

and the tau-sequence

$(A,\sigma,f)$20

In genus $(A,\sigma,f)$21, the theorem states that $(A,\sigma,f)$22 satisfies the bilinear Somos-4 recurrence

$(A,\sigma,f)$23

with

$(A,\sigma,f)$24

For Somos-5, if

$(A,\sigma,f)$25

then the even and odd subsequences each satisfy a Somos-4 relation with

$(A,\sigma,f)$26

where $(A,\sigma,f)$27 is the conserved quantity of the bilinear form. In this way, the QOP condition is the mechanism that reconstructs a bi-infinite sequence from its two half-sequences (Chang et al., 12 Mar 2026).