🔢 mathematics

Non- $R$ -trivial proper projective similitudes in type $A_3\equiv D_3$

This paper constructs an algebra with an orthogonal involution of degree 6 over specific fields that admits proper projective similitudes which are not $R$ -trivial, thereby demonstrating the existence of such non-trivial elements in type $A_3 \equiv D_3$ over various transcendental extensions of local, global, and real fields.

Original authors: M. Archita, Karim Johannes Becher

Published 2026-05-12

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: M. Archita, Karim Johannes Becher

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a mathematician trying to organize a massive, chaotic dance floor. The dancers are numbers and algebraic structures, and the rules of the dance are governed by a field of numbers (like the real numbers, or fractions).

This paper is about a specific type of dance move called a "proper projective similitude." That sounds intimidating, but let's break it down into a story about keys, locks, and dance partners.

The Setting: The Dance Floor (The Field)

The authors are working in a world called a "field" (a set of numbers where you can add, subtract, multiply, and divide). They are looking at a specific kind of dance floor called Type A3 (which is secretly the same as Type D3). Think of this as a very specific, high-level dance routine that only happens on certain floors.

The Characters: The Dancers and the Keys

The Algebra (A): This is the dance floor itself, a complex structure made of numbers.
The Involution (σ): This is a special rule or a "mirror" that flips the dancers around. It's like a choreographer who says, "If you step left, you must also step right."
Similitudes: These are the dancers who can change the size of the dance floor (scale it up or down) but keep the shape of the dance the same. They are the "leaders" of the dance.
R-Equivalence (The "R" in the title): This is the concept of connectivity. Two dancers are "R-equivalent" if you can transform one into the other by taking a series of small, continuous steps (like walking across the floor without jumping).
- R-trivial: If every dancer can be reached from the starting point by these small steps, the group is "R-trivial." It's a perfectly connected dance floor.
- Non-R-trivial: If there are some dancers who are stuck in a corner and cannot be reached by walking from the start (you'd have to "jump" or teleport), the group is "Non-R-trivial." There are isolated islands on the dance floor.

The Big Question

The authors wanted to know: Can we build a dance floor where some dancers are stuck on isolated islands?

In the past, mathematicians knew how to find these "islands" if you were allowed to bring in new, imaginary numbers (extensions of the field). But the authors wanted to find a case where the islands exist right here, right now, on the original field, without needing to import new numbers.

The Solution: The "Mercury" Construction

The authors use a clever construction (originally by a mathematician named Merkurjev) to build a specific dance floor of degree 6 (a 6-dimensional space).

To make the "islands" appear, they need a very specific ingredient:

The 3-Fold Pfister Form: Think of this as a special, rigid geometric shape made of three blocks.
Anisotropic: This means the shape is "stiff" and doesn't collapse. It holds its form perfectly.
Torsion: This is a fancy way of saying the shape has a specific kind of "twist" or periodicity.

The Analogy:
Imagine trying to build a bridge between two islands. Usually, the water (the math rules) is calm, and you can walk across. But the authors found a way to build a bridge where the water is so turbulent (due to the "anisotropic torsion 3-fold Pfister form") that the bridge breaks in the middle.

They proved that if your number system (field) allows for this specific "stiff, twisted shape" to exist, you can construct a dance floor where some proper projective similitudes (leaders) are stuck on an island. They cannot be reached by the standard "walking" steps (R-equivalence).

Where Does This Happen?

The paper says these "islands" exist in many places:

Transcendental extensions of number fields: Imagine taking a standard number system (like fractions) and adding a new, infinite variable (like $t$ ). If you do this a few times, you create a complex enough environment for these islands to form.
Extensions of the Real Numbers: If you take the real numbers and add three new variables, you get a place where these isolated dancers exist.

The "Split" vs. "Non-Split" Mystery

The authors also looked at a special case called the "split" case (where the dance floor is perfectly flat and simple). They noted that while we know islands can exist in complex, non-flat environments, we don't yet have a confirmed example of an island existing on a perfectly flat, simple floor of this specific type. It's like knowing a storm can trap a ship in a rough sea, but we haven't yet found a ship trapped in a calm, flat lake (though the math suggests it might be possible).

The Conclusion

The paper's main claim is simple: If your mathematical world contains a specific, rigid, twisted shape (an anisotropic torsion 3-fold Pfister form), then you can build a 6-dimensional algebraic structure where some "leaders" are permanently isolated from the rest of the group.

They didn't just say "it's possible"; they gave a recipe (using quaternion algebras and specific quadratic forms) to build these isolated groups explicitly.

In short: They found the exact mathematical conditions required to create "unreachable" spots in a specific type of algebraic dance, proving that perfect connectivity (R-triviality) is actually the exception, not the rule, in these complex mathematical worlds.

Technical Summary: Non-R-Trivial Proper Projective Similitudes in Type $A_3 \equiv D_3$

Problem Statement
The paper addresses the problem of $R$ -equivalence for classical adjoint linear algebraic groups over an arbitrary field $K$ of characteristic different from 2. Specifically, it focuses on groups of type $A_3 \equiv D_3$ , which can be realized as the group of proper projective similitudes, denoted $PSim^+(A, \sigma)$ , of a central simple $K$ -algebra $A$ of degree 6 equipped with an orthogonal involution $\sigma$ .

While previous work by Merkurjev provided a criterion to determine $R$ -equivalence classes, the existence of fields where these groups are not $R$ -trivial (i.e., where the group of $R$ -equivalence classes $G(K)/R$ is non-trivial) was known primarily through transcendental extensions or specific cohomological dimensions. The authors aim to establish sufficient conditions on the base field $K$ itself to ensure the existence of such non- $R$ -trivial examples, specifically constructing cases where $PSim^+(A, \sigma)(K)/R \neq \{1\}$ .

Methodology
The authors employ a construction originally developed by Merkurjev, utilizing the interplay between:

Algebras with Involution: They construct a degree 6 algebra with orthogonal involution $(A, \sigma)$ as an orthogonal sum involving tensor products of quaternion algebras and a specific component $(Q, \gamma)$ .
Norm Groups and Similitudes: They analyze the group of multipliers $G^+(A, \sigma)$ and the subgroup $H(A, \sigma)$ generated by norms from extensions where the involution becomes hyperbolic.
Merkurjev's Theorem: They apply Merkurjev's isomorphism $PSim^+(A, \sigma)/R \simeq G^+(A, \sigma)/H(A, \sigma)$ . To prove non-triviality, they demonstrate that $G^+(A, \sigma)$ strictly contains $H(A, \sigma)$ .
Pfister Forms and Quaternion Algebras: The construction relies on the existence of an anisotropic torsion 3-fold Pfister form $\langle\langle a, b, c \rangle\rangle$ over $K$ . This form dictates the choice of quaternion algebras $Q_1, Q_2, Q$ and the quadratic extension $L/K$ used in the decomposition of $(A, \sigma)$ .

Key Contributions and Results

Characterization of Non-Triviality: The paper provides a concrete construction of a degree 6 algebra with orthogonal involution $(A, \sigma)$ such that $PSim^+(A, \sigma)(K)/R \neq \{1\}$ , provided $K$ admits an anisotropic torsion 3-fold Pfister form.
Explicit Group Structure: Theorem 3.3 establishes that for the constructed algebra, the group of $R$ -equivalence classes is isomorphic to the quotient:
$\frac{N^*_{L/K} \cap (Nrd^*_{Q_1} \cdot Nrd^*_{Q_2})}{N^*_{L/K} \cap Nrd^*_{Q_k}}$
where $L$ is a quadratic extension contained in a quaternion algebra $Q$ , and $Q_1, Q_2$ are quaternion algebras such that $Q_1 \otimes Q_2 \sim Q$ .
Sufficient Conditions: Proposition 3.4 and Theorem 3.7 prove that if there exist $a, b, c \in K^\times$ such that $-1$ is a sum of two squares in the subfield generated by $\langle\langle a, b \rangle\rangle$ and the 3-fold Pfister form $\langle\langle a, b, c \rangle\rangle$ is anisotropic, then the resulting group is non- $R$ -trivial.
Specific Field Extensions: The authors demonstrate that such examples exist over:
- Every finitely generated transcendental extension of a local or global number field.
- Every finitely generated extension of transcendence degree 3 over $\mathbb{R}$ .
Characterization for Nonreal Fields: Corollary 3.8 provides a necessary and sufficient condition for the triviality of $PSim^+(A, \sigma)(K)/R$ for all degree 6 algebras with orthogonal involution over a nonreal field $K$ : this occurs if and only if the third power of the fundamental ideal of the Witt ring, $I^3K$ , is zero.

Significance
The paper claims to strengthen previous results by moving from the existence of non- $R$ -trivial groups over field extensions to the existence of such groups over the base field $K$ itself, under specific algebraic conditions (the existence of an anisotropic torsion 3-fold Pfister form).

The authors note that while Merkurjev's work characterized $R$ -triviality for type $A_3 \equiv D_3$ in terms of invariants, this work exhibits sufficient conditions for the presence of non-trivial $R$ -equivalence classes. This contributes to the broader understanding that $R$ -triviality is likely the exception rather than the rule for adjoint classical groups, particularly in the context of type $D_3$ . The results also clarify the boundary between trivial and non-trivial cases for nonreal fields via the vanishing of $I^3K$ .