arxiv: 2605.09110 · v1 · submitted 2026-05-09 · 🧮 math.NT · math.AG· math.KT· math.RA

Recognition: 2 theorem links

· Lean Theorem

Non-R-trivial proper projective similitudes in type A₃equiv D₃

Karim Johannes Becher, M. Archita

Pith reviewed 2026-05-12 02:31 UTC · model grok-4.3

classification 🧮 math.NT math.AGmath.KTmath.RA

keywords orthogonal involutionprojective similitudeR-trivialPfister formMerkurjev constructiondegree 6 algebraquadratic forminvolution

0 comments

The pith

Degree 6 algebras with orthogonal involution can admit non-R-trivial proper projective similitudes

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

The authors construct an algebra with an orthogonal involution of degree 6 over suitable base fields. They show that this algebra has proper projective similitudes which are not R-trivial. The method relies on a construction of Merkurjev and requires the field to have characteristic not 2 and to admit an anisotropic torsion 3-fold Pfister form. Examples arise over many extensions of number fields and over certain extensions of the real numbers. This matters because it separates the notion of proper projective similitudes from R-trivial ones in a concrete algebraic object of type A3 or D3.

Core claim

Over an arbitrary field of characteristic different from 2 admitting an anisotropic torsion 3-fold Pfister form, we apply a construction due to Merkurjev to produce an algebra with orthogonal involution of degree 6 which admits proper projective similitudes that are not R-trivial. In particular, such examples exist over every finitely generated transcendental extension of a local or global number field, as well as over every finitely generated extension of transcendence degree 3 of the real numbers.

What carries the argument

Merkurjev's construction applied to produce an algebra with orthogonal involution of degree 6 that carries non-R-trivial proper projective similitudes

Load-bearing premise

The base field must have characteristic different from 2 and admit an anisotropic torsion 3-fold Pfister form

What would settle it

A direct check showing that all proper projective similitudes in the Merkurjev-constructed degree-6 algebra are R-trivial over a field admitting the required Pfister form would falsify the claim

read the original abstract

Over an arbitrary field of characteristic different from $2$ admitting an anisotropic torsion $3$-fold Pfister form, we apply a construction due to Merkurjev to produce an algebra with orthogonal involution of degree $6$ which admits proper projective similitudes that are not $R$-trivial. In particular, such examples exist over every finitely generated transcendental extension of a local or global number field, as well as over every finitely generated extension of transcendence degree $3$ of $\mathbb{R}$.

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 applies Merkurjev's construction to produce non-R-trivial proper projective similitudes for degree-6 orthogonal involutions over fields admitting an anisotropic torsion 3-fold Pfister form, with explicit examples over the listed extensions of local, global, and real fields.

read the letter

The main point is that the authors take Merkurjev's known construction for an algebra with orthogonal involution of degree 6 and show it yields proper projective similitudes that lie outside the R-trivial subgroup. They then verify that the needed base-field condition—an anisotropic torsion 3-fold Pfister form—holds for every finitely generated extension of a local or global number field and for every trdeg-3 extension of the reals. The argument uses standard invariants for groups of type D3 ≅ A3 to confirm properness and non-R-triviality, and it stays within the stated hypotheses of char ≠ 2. This is a clean, incremental existence result rather than a broad new theory. The application to these concrete classes of fields is the part that was not already in the literature they cite. The checks on the field conditions and the verification steps appear to go through without gaps or circular reasoning. The paper is explicit that everything rests on the existence of the 3-fold Pfister form, so there is no hidden assumption there. The only real limitation is that the result remains conditional on that form; it does not produce examples over arbitrary fields of characteristic not 2. That is stated clearly, so it is not a flaw in the logic, just a boundary on the scope. Within the narrow area of quadratic forms and algebraic groups with involution, the examples are useful for anyone tracking R-equivalence questions in low degree. A reader who already works with Merkurjev's methods or with similitudes over number fields will see the value immediately. Someone outside that subfield will find it too specialized to matter. I would bring it to a reading group focused on quadratic forms or algebraic groups over fields. I would not cite it in my own papers unless I needed a reference for this exact type of example. It deserves a serious referee because the claim is precise, the construction is correctly applied, and the field verifications are explicit.

Referee Report

0 major / 1 minor

Summary. Over an arbitrary field of characteristic different from 2 that admits an anisotropic torsion 3-fold Pfister form, the paper applies a construction due to Merkurjev to produce an algebra with orthogonal involution of degree 6 which admits proper projective similitudes that are not R-trivial. In particular, such examples exist over every finitely generated transcendental extension of a local or global number field, as well as over every finitely generated extension of transcendence degree 3 of R.

Significance. If the application of Merkurjev's construction holds, the result supplies concrete examples of non-R-trivial proper projective similitudes for groups of type A3 ≅ D3. This contributes to the study of R-equivalence in algebraic groups by exhibiting such elements over fields of arithmetic interest (finitely generated extensions of local/global fields) and over real closed fields of low transcendence degree. The manuscript appropriately invokes an external construction and verifies the required field conditions plus the properness and non-R-triviality via standard invariants for type D3, without introducing internal inconsistencies or unsupported steps.

minor comments (1)

The abstract and title employ the notation 'Non-$R$-trivial' and 'R-trivial'; ensure that the definition of R-triviality and the distinction from proper similitudes is recalled explicitly in the introduction for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending acceptance.

Circularity Check

0 steps flagged

No significant circularity; external Merkurjev construction supplies the key property

full rationale

The central claim rests on applying Merkurjev's external construction to an algebra with orthogonal involution of degree 6 over fields satisfying the stated hypotheses (char ≠ 2 and existence of an anisotropic torsion 3-fold Pfister form). The non-R-triviality of the proper projective similitudes is inherited directly from that cited construction together with standard invariants for groups of type D3 ≅ A3; no parameter is fitted inside the paper and then renamed as a prediction, no self-citation chain bears the load of the main result, and no ansatz or uniqueness statement is smuggled in from prior work by the same authors. The verification that such fields exist in the listed classes (finitely generated extensions of local/global fields, trdeg-3 extensions of R) is a separate existence check that does not loop back on the similitude property itself. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence of fields satisfying the Pfister form condition and on Merkurjev's prior construction; no free parameters or new entities are introduced in the abstract.

axioms (2)

domain assumption The field has characteristic different from 2.
Required for the definition of orthogonal involutions and Pfister forms.
domain assumption The field admits an anisotropic torsion 3-fold Pfister form.
This is the key hypothesis enabling the Merkurjev construction to produce the desired algebra.

pith-pipeline@v0.9.0 · 5385 in / 1266 out tokens · 50865 ms · 2026-05-12T02:31:37.073416+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
we apply a construction due to Merkurjev to produce an algebra with orthogonal involution of degree 6 which admits proper projective similitudes that are not R-trivial
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Theorem 3.3 (Merkurjev). ... PSim+(A, σ)(K)/R ≃ N∗L/K ∩ (Nrd∗Q1 · Nrd∗Q2) / N∗L/K ∩ Nrd∗Qk

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

[1]

Archita, K.J

M. Archita, K.J. Becher. Rational connectedness for groups of proper projective simili- tudes. Preprint (2025), https://doi.org/10.48550/arXiv.2506.21717

work page doi:10.48550/arxiv.2506.21717 2025
[2]

Archita, K.J

M. Archita, K.J. Becher. Similitudes over fields with I 4 = 0. Preprint (2026), https://doi.org/10.48550/arXiv.2602.22147

work page doi:10.48550/arxiv.2602.22147 2026
[3]

Archita, R

M. Archita, R. Preeti. Rational equivalence on adjoint groups of type Dn over fields of virtual cohomological dimension 2. Trans. Amer. Math. Soc. 375 (2022), 7373–7384

work page 2022
[4]

Bhaskhar

N. Bhaskhar. More examples of non-rational adjoint groups. J. Algebra 397 (2014), 39–46

work page 2014
[5]

Berhuy, M

G. Berhuy, M. Monsurr` o, J.-P. Tignol. Cohomological invariants and R-triviality of adjoint classical groups. Math. Z. 248 (2004), 313–323

work page 2004
[6]

P. Gille. Examples of non-rational varieties of adjoint groups. J. Algebra 193 (1997), 728–747

work page 1997
[7]

M. Knus, A. Merkurjev, M. Rost, J.-P. Tignol. The Book of Involutions . Amer. Math. Soc. Colloq. Publ., 44 American Mathematical Society, Providence, RI, 1998

work page 1998
[8]

Kulshrestha, R

A. Kulshrestha, R. Parimala. R-equivalence in adjoint classical groups over fields of virtual cohomological dimension 2 . Trans. Amer. Math. Soc. 360 (2008), 1193–1221

work page 2008
[9]

T.Y. Lam. Introduction to quadratic forms over fields . Grad. Stud. Math., 67 American Mathematical Society, Providence, RI, 2005

work page 2005
[10]

A. S. Merkurjev. R-equivalence and rationality problem for semisimple adjoint classical algebraic groups. Publ. Math. de l’IH ´ES 84.1 (1996), 189–213

work page 1996
[11]

Preeti, A

R. Preeti, A. Soman. Adjoint groups over Qp(X) and R-equivalence. J. Pure Appl. Algebra 219 (2015), 4254–4264

work page 2015
[12]

Preeti, A

R. Preeti, A. Soman. Adjoint groups over Qp(X) and R-equivalence – revisited. Proc. Amer. Math. Soc. 145.3 (2017), 1019–1029

work page 2017
[13]

Parimala, J.-P

R. Parimala, J.-P. Tignol, R.M. Weiss. The Kneser-Tits conjecture for groups with Tits-index over an arbitrary field. Transformation Groups 17.1 (2012), 209–231

work page 2012
[14]

A. Weil. Algebras with involutions and the classical groups. J. Ind. Math. Soc. 24 (1961), 589–623. University of Antwerp, Department of Mathematics, Antwerp, Belgium. Email address: archita.mondal@uantwerpen.be Email address: karimjohannes.becher@uantwerpen.be

work page 1961