arxiv: 2605.12083 · v1 · submitted 2026-05-12 · 🧮 math.RT

Recognition: no theorem link

Conjugacy of Isometries in Real Orthogonal Groups

Ziyang Zhu

Pith reviewed 2026-05-13 03:48 UTC · model grok-4.3

classification 🧮 math.RT MSC 20G2015A2115A63

keywords orthogonal groupsconjugacy classesisometriesquadratic spacesreal numberslinear groupscanonical forms

0 comments

The pith

The paper classifies all real orthogonal transformations where linear conjugacy implies orthogonal conjugacy.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper determines all orthogonal transformations of a quadratic space over the reals such that any orthogonal transformation conjugate to one of them in the general linear group is also conjugate in the orthogonal group itself. A sympathetic reader cares because this pins down precisely when the orthogonal group captures the full conjugacy information available in the larger linear group, sharpening the distinction between the two groups' actions on isometries. The result rests on standard canonical form theorems for real orthogonal matrices applied to finite-dimensional nondegenerate quadratic spaces.

Core claim

We determine all orthogonal transformations of a quadratic space over reals such that any orthogonal transformation which is conjugate to one of them in the linear group is conjugate in the orthogonal group.

What carries the argument

The property that conjugacy in the general linear group implies conjugacy in the orthogonal group, applied to individual orthogonal transformations.

If this is right

The classification yields a complete list of the orthogonal transformations satisfying the conjugacy condition.
For transformations in the list, the orthogonal group controls their conjugacy classes within the linear group.
The result distinguishes these special isometries from others whose conjugacy classes split when restricted to the orthogonal group.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The classification may simplify computations of centralizers or normalizers for these elements inside larger algebraic groups.
It could guide similar determinations over other real closed fields or for indefinite quadratic forms.
The same property might appear in related groups such as symplectic or unitary groups over reals, suggesting a uniform pattern across classical groups.

Load-bearing premise

The quadratic space is finite-dimensional, non-degenerate, and defined over the real numbers.

What would settle it

An explicit orthogonal transformation over the reals whose conjugacy class in the linear group splits into more than one class inside the orthogonal group, yet lies outside the paper's determined list.

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper classifies those real orthogonal isometries g where GL-conjugacy to another element of O(V) automatically implies O-conjugacy, but the argument looks incomplete for indefinite signatures.

read the letter

The core contribution is a determination of the orthogonal transformations g on a finite-dimensional real quadratic space V such that any h in O(V) that is conjugate to g inside GL(V) must already be conjugate to g inside O(V). This is a clean, precise question about the difference between linear and orthogonal conjugacy classes. If the paper delivers an explicit list or description of such g, that is new work in the classical theory of real orthogonal groups and their canonical forms. It builds directly on the usual real Jordan or rational canonical forms for isometries, which is the right starting point. The result could be useful to people who need to know when two elements of O(p,q) that look the same linearly are actually the same up to orthogonal change of basis. That is honest, limited-scope progress in linear algebra and group theory. The main soft spot is coverage of indefinite signatures. The stress-test note is on target: when the form has hyperbolic planes, a GL-conjugator can swap positive and negative directions in ways that preserve the orthogonal group but mix the invariants that the definite-case blocks do not see. If the proof only treats the positive-definite case or does not explicitly reduce via Witt decomposition, the claimed classification will miss or misstate the indefinite examples. The abstract gives no proof outline or sample list, so it is impossible to check whether the argument handles the (p,q) dependence properly. The paper is written for specialists already comfortable with quadratic forms over R and the structure theory of O(p,q). A reader working on real algebraic groups, representation theory of orthogonal groups, or explicit conjugacy problems might find the list handy once the gaps are fixed. It is worth sending to referees because the question is well-posed and the area is standard; a careful review can confirm whether the indefinite case is handled or needs a separate argument.

Referee Report

1 major / 2 minor

Summary. The paper classifies all orthogonal transformations g of a finite-dimensional non-degenerate real quadratic space V such that any h in O(V) that is conjugate to g in GL(V) must also be conjugate to g in O(V). Equivalently, it identifies those isometries whose GL(V)-conjugacy class intersects O(V) in precisely one O(V)-conjugacy class, providing an explicit list based on real canonical forms of isometries.

Significance. If the classification holds, the result clarifies the distinction between linear and orthogonal conjugacy for real isometries and strengthens the understanding of conjugacy classes in O(p,q) for varying signatures. It relies on standard tools such as the real Jordan canonical form for orthogonal matrices and Witt decomposition, with no free parameters or ad-hoc constructions, making the derivation parameter-free and falsifiable via explicit low-dimensional checks.

major comments (1)

[§3.2, Theorem 4.1] §3.2 and Theorem 4.1: the main classification lists forms including 2x2 rotation blocks and hyperbolic elements, but the proof does not explicitly verify the single O-class intersection property when the quadratic form is indefinite (e.g., signature (1,1)). GL-conjugators can interchange positive and negative directions while preserving the characteristic polynomial, potentially producing additional O-classes not accounted for in the listed g; an explicit computation for the hyperbolic plane case is required to confirm the claim.

minor comments (2)

[Abstract, §1] The abstract and introduction use 'quadratic space' without immediately recalling the non-degeneracy assumption, which is only stated in §2.1; this makes the scope unclear on first reading.
[§2, §4] Notation for the orthogonal group O(V) versus O(p,q) is introduced inconsistently between §2 and §4; a uniform definition would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed reading and the specific suggestion regarding verification in the indefinite signature case. We will strengthen the manuscript by adding the requested explicit computation.

read point-by-point responses

Referee: [§3.2, Theorem 4.1] §3.2 and Theorem 4.1: the main classification lists forms including 2x2 rotation blocks and hyperbolic elements, but the proof does not explicitly verify the single O-class intersection property when the quadratic form is indefinite (e.g., signature (1,1)). GL-conjugators can interchange positive and negative directions while preserving the characteristic polynomial, potentially producing additional O-classes not accounted for in the listed g; an explicit computation for the hyperbolic plane case is required to confirm the claim.

Authors: We agree that the current proof relies on the general theory of real canonical forms and Witt decomposition without a self-contained low-dimensional check for signature (1,1). In the revised version we will insert a new example (or subsection) that explicitly computes all matrices in GL(2,R) conjugating a given hyperbolic isometry to another while preserving the quadratic form of signature (1,1). We will show that any such conjugator lies in O(1,1) up to the centralizer already accounted for in the classification, confirming that no extra O(V)-classes appear. This computation uses the standard parametrization of O(1,1) and direct matrix multiplication, making the argument independent of the general case. revision: yes

Circularity Check

0 steps flagged

No circularity: standard classification via canonical forms

full rationale

The paper is a classification theorem determining which elements g in O(V) (V a finite-dimensional real quadratic space) have the property that GL(V)-conjugacy to g implies O(V)-conjugacy. This is established using standard, externally verified canonical form theorems for real orthogonal matrices (Jordan blocks for eigenvalues on the unit circle, hyperbolic blocks for indefinite signatures, and Witt decomposition), none of which are derived from or equivalent to the paper's own inputs by construction. No self-definitional steps, fitted parameters renamed as predictions, or load-bearing self-citations appear; the result is self-contained against independent mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are detailed in the provided text. The result appears to rest on standard assumptions about quadratic spaces and orthogonal groups.

axioms (1)

domain assumption Quadratic spaces over the reals admit standard orthogonal canonical forms or Jordan-like decompositions under the orthogonal group action.
Invoked implicitly by the classification claim in the abstract.

pith-pipeline@v0.9.0 · 5298 in / 1188 out tokens · 93115 ms · 2026-05-13T03:48:05.474410+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

5 extracted references · 5 canonical work pages

[1]

J. Levine. Knot Cobordism Groups in Codimension Two, Commentarii Mathematici Helvetici 44 (1969) 229-244

work page 1969
[2]

J. Levine. Invariant of Knot Cobordism, Inventiones Mathematicae. 8 (1969), 98-110

work page 1969
[3]

J. Milnor. On Isometries of Inner Product Spaces, Inventiones Mathematicae. 8 (1969), 83-97

work page 1969
[4]

Y. Takada. Characteristic Polynomials of Isometries of Even Unimodular Lattices and Dynamical Degrees of Automorphisms of K3 Surfaces, Hokkaido University, thesis, 2024

work page 2024
[5]

F. Xu, B. Zhang. Single Conjugacy Classes of Isometries in Orthogonal Groups over Local Fields, arXiv:2602.20481

work page arXiv