Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generated
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Antiunitary AZ symmetry classes give Clifford extension problems

Statement

In the finite-dimensional stable gapped free model, use the normalized AZ relation algebra: antiunitaries T,C have T2=t, C2=c, with t,c∈{1,−1}, TH=HT, CH=−HC, and TC=CT when both are present. A lone chiral symmetry is a self-adjoint unitary involution anticommuting with H. The real extension indices are AI,BDI,D,DIII,AII,CII,C,CI at q=0,1,2,3,4,5,6,7, respectively. The complex classes A and AIII have indices 0,1 modulo two. They are obtained by the explicit realification and mass generators below. Adding d fixed negative-square Dirac generators decreases the real index to q−d. Individual T,C squares without the specified mutual relation do not define this normalized tenfold algebra; additional unitary symmetries remain extra model data.

Facts & Assumptions

Given: A finite-dimensional complex Hilbert space W, its real-linear complex structure I, and the exact displayed symmetry relations, with T or C omitted in the appropriate classes.

[F1]

Spectral flattening preserves the gap and exact symmetry relations and gives a self-adjoint involution H (Spectral flattening preserves gaps and symmetry relations).

[F2]

Plus-square Clifford algebras use the positive-first signature convention and have their square-free monomial dimensions and matrix classification (PBW basis and exterior associated graded for a Clifford algebra, Real and complex Clifford algebra classification with explicit signature).

[F3]

Mixed-pair Clifford cancellation is Cla+1,b+1≅Cla,b⊗M2(R) with the explicit generator map of Real Clifford signature recurrences and eightfold periodicity.

Proof technique: exact real-linear generator dictionaries and matrix units.

Proof

technique · direct construction
1.1givenF1algebra

Apply [F1]. On the underlying real inner-product space, I2=−1, I∗=−I and IH=HI. Each antiunitary is orthogonal and anticommutes with I. An orthogonal generator of square ϵ∈{1,−1} has adjoint ϵ times itself. Thus positive generators are symmetric and negative generators skew-symmetric in this same metric. In the simultaneous case TC is unitary and anticommutes with H; its square is tc, so the chiral involution is TC for tc=1 and iTC for tc=−1.

1.2F2F3constructalgebra

Put r=diag⁡(1,−1), s=(0110) and J=rs. Then r2=s2=1, J2=−1, and J anticommutes with r,s. Send sign-reversed old generators to x⊗J and two new positive generators to 1⊗r,1⊗s. Their squares and anticommutators prove a homomorphism Clb+2,a→Cla,b⊗M2(R). Its image contains 1⊗J, hence all x⊗1 and both tensor factors. Equal PBW dimensions [F2] make it an isomorphism. An old negative added mass becomes a positive added mass under this map. Together with [F3], this reduces a positive-mass problem with fixed signature (a,b) to index a−b, and a negative-mass problem to index b+2−a. The matrix-unit functors extracting E11W and reconstructing W preserve metrics, fixed representation identifications, continuous homotopies and direct-sum reference stabilization. Therefore this is equivalence of mass problems, not only an equality of algebra dimensions.

2.1givenstep 1.1constructalgebra

If only C is present use positive mass M=H and fixed generators e1=C,e2=IC. Their squares are both c, they anticommute, and both anticommute with M. Conversely I=ce2e1 is an orthogonal complex structure, C=e1 is antiunitary for it, and a positive symmetric mass anticommuting with both fixed generators commutes with I and anticommutes with C. Thus this is an exact invertible dictionary: class D has fixed signature (2,0) and class C has fixed signature (0,2), both with positive mass.

2.2givenstep 1.1constructalgebra

If only T is present use negative mass M=IH and fixed generators e1=T,e2=IT. Their squares are both t, they anticommute with one another and with M. Conversely I=te2e1 and H=−IM recover a complex-linear self-adjoint involution commuting with the antiunitary T=e1. The matrix M is skew-symmetric and has square −1, so these formulas recover all adjoint conditions too. Thus AI has fixed signature (2,0) and AII fixed signature (0,2), with a negative mass.

3.1givenstep 2.1constructalgebra

When both antiunitaries occur use positive mass M=H and e1=C,e2=IC,e3=ITC. The fixed squares are (c,c,−tc). They pairwise anticommute: the first pair was checked in step 2.1, e3C=cIT while Ce3=−cIT, and e3 commutes with I, so it also anticommutes with IC. Each anticommutes with H. Conversely set C=e1, I=ce2e1 and T=−cIe3C. Multiplying these formulas using the three Clifford relations gives I2=−1, CI=−IC, TI=−IT, C2=c, T2=t, TC=CT; the mass commutes with I,T and anticommutes with C. This recovers the exact normalized input algebra. The fixed signatures are BDI (2,1), DIII (3,0), CII (0,3) and CI (1,2).

4.1F2F3step 2.1step 2.2step 3.1step 1.2algebra∎

Substituting the signatures of step 2.1, step 2.2 and step 3.1 gives exactly the eight indices in the Statement, with the eightfold identification of [F2]. Each additional fixed negative Dirac generator increases b by one in the positive-mass model and therefore decreases its index by one. These are fixed anticommuting matrices, not suspension coordinates of an arbitrary parameter family. For the complex classes, A has no fixed generator and a positive Hermitian mass, while AIII has the fixed chiral involution and a positive anticommuting mass. The same Pauli construction over C gives twofold matrix periodicity; multiplication of a generator by i changes its square, so the complex index is modulo two. This proves all class labels and the dimension shift with their declared signs.

Depends on

Used by

Dependency tree · two levels

26 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources