Indefinite orthogonal group¶
The real linear group O(p,q) preserving a nondegenerate symmetric form with both positive and negative directions.
Core Idea¶
An indefinite orthogonal group O(p,q) consists of invertible real linear transformations preserving a nondegenerate symmetric form with p positive and q negative directions, where p,q > 0. If G represents that form in a chosen basis, membership means AᵀGA = G. The form's mixed signature and this exact equation define the family; exchanging p and q replaces G by −G and gives an isomorphic group.[^ref-6f136b214bb3]
Scope of Application¶
The family covers Lorentzian O(1,3) and split O(n,n). Its members are linear maps on a real finite-dimensional vector space. An application may select an orientation-preserving or component-restricted subgroup for additional reasons, but those choices do not redefine membership in the full O(p,q). A definite form, a degenerate form, or an affine translation lies outside this identity.[ref-6f136b214bb3][ref-568dea5f1709]
Clarity¶
State the carrier, G, and the signature before naming the group. A positive and a negative number in a matrix do not by themselves show that the matrix preserves a mixed form. The test is AᵀGA = G; the chosen coordinate basis can change without changing the underlying preservation relation.[^ref-6f136b214bb3]
Manages Complexity¶
The invariant equation organizes many possible matrices into one group. It also separates membership from component-dependent consequences. Wang and colleagues' theorem gives different signs for det(I+M) in different components of O(n,n). Their positive-shift auxiliary-field spinless t–V construction uses products in O⁺⁺(n,n) to obtain a nonnegative determinant; a negative-shift variant can compensate a nonpositive determinant with a prefactor. Bare O(n,n) membership alone supplies neither result.[^ref-568dea5f1709]
Abstract Reasoning¶
For a proposed case, identify the real vector space and a symmetric nondegenerate G; count its positive and negative directions and require both counts to be nonzero. Test each proposed transformation against AᵀGA = G. Only after membership is established should one check added conditions such as determinant sign, time orientation, or a chosen connected component.[ref-6f136b214bb3][ref-568dea5f1709]
Knowledge Transfer¶
The same membership test applies to a Minkowski-form Lorentz matrix and to a split-form matrix in the fermionic simulation, though their carriers and uses differ. The second case demonstrates that the entry is a variable-signature mathematical family rather than another name for relativistic boosts. A simulation determinant theorem does not transfer merely because a Lorentz matrix also belongs to an indefinite orthogonal group.[ref-6f136b214bb3][ref-568dea5f1709]
Example¶
Lorentz case: on four-dimensional real Minkowski coordinates, G = diag(1,−1,−1,−1). Lorentz matrices preserving this form belong to O(1,3). Its identity component additionally preserves the chosen time direction and orientation; the full group has more components.[^ref-6f136b214bb3]
Split QMC case: Wang and colleagues order 2n single-particle site coordinates by two n-site sublattices, with η = diag(I_n,−I_n). Real 2n×2n transformation matrices M satisfying MᵀηM = η belong to O(n,n). Their positive-shift auxiliary-field construction chooses evolution-related products in O⁺⁺(n,n), enabling the nonnegative determinant conclusion under its additional hypotheses.[^ref-568dea5f1709]
Relationships to Other Abstractions¶
Current abstraction Indefinite orthogonal group Domain-specific
Parents (1) — more general patterns this builds on
-
Indefinite orthogonal group is a kind of Classical group Domain-specific
Every real mixed-signature orthogonal group is a classical form-preserving matrix group.
Hierarchy path (1) — routes to 1 parentless root
- Indefinite orthogonal group → Classical group → Classification
Neighborhood in Abstraction Space¶
Indefinite orthogonal group sits in a moderately populated region (54th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Vector Spaces & Linear Structures (17 abstractions)
Nearest neighbors
- Semilinear map — 0.86
- Classical group — 0.86
- Linear group — 0.85
- Linear complex structure — 0.85
- Z-matrix (mathematics) — 0.85
Computed from structural-signature embeddings · 2026-10-08
Not to Be Confused With¶
O(n) for a definite form is not indefinite. The pseudo-Euclidean or indefinite-form space is the carrier, not the transformation group. The broader Classical group is the accepted strict taxonomic parent, since it includes orthogonal families and other matrix-group families; O(p,q) adds the real mixed-signature restriction. The broad Prime Symmetry captures invariant preservation but not this exact mathematical family. Affine spacetime translations and a component-selected subgroup are not the full linear O(p,q).[ref-6f136b214bb3][ref-568dea5f1709]
References¶
[^ref-6f136b214bb3]: Y. Feng and Katherine E. Stange, The spin homomorphism SL2(C) → SO1,3(R): A summary from multiple sources, University of Colorado mathematical notes, §§1.4.1–1.4.2, PDF pp. 2–4. https://math.colorado.edu/~kstange/papers/notes-Spin.pdf
[^ref-568dea5f1709]: Lei Wang et al., Split orthogonal group: A guiding principle for sign-problem-free fermionic simulations, Physical Review Letters 115, 250601 (2015), DOI: 10.1103/PhysRevLett.115.250601, Eq. (2), Theorem (3), Corollary (4), and spinless t–V example. https://arxiv.org/html/1506.05349v3