Search arXivSearch

arXiv · 1704.07811

$R$-triviality of some exceptional groups

Abstract

The main aim of this paper is to prove $R$-triviality for simple, simply connected algebraic groups with Tits index $E_{8,2}^{78}$ or $E_{7,1}^{78}$, defined over a field $k$ of arbitrary characteristic. Let $G$ be such a group. We prove that there exists a quadratic extension $K$ of $k$ such that $G$ is $R$-trivial over $K$, i.e., for any extension $F$ of $K$, $G(F)/R=\{1\}$, where $G(F)/R$ denotes the group of $R$-equivalence classes in $G(F)$, in the sense of Manin (see \cite{M}). As a consequence, it follows that the variety $G$ is retract $K$-rational and that the Kneser-Tits conjecture holds for these groups over $K$. Moreover, $G(L)$ is projectively simple as an abstract group for any field extension $L$ of $K$. In their monograph (\cite{TW}) J. Tits and Richard Weiss conjectured that for an Albert division algebra $A$ over a field $k$, its structure group $Str(A)$ is generated by scalar homotheties and its $U$-operators. This is known to be equivalent to the Kneser-Tits conjecture for groups with Tits index $E_{8,2}^{78}$. We settle this conjecture for Albert division algebras which are first constructions, in affirmative. These results are obtained as corollaries to the main result, which shows that if $A$ is an Albert division algebra which is a first construction and $Γ$ its structure group, i.e., the algebraic group of the norm similarities of $A$, then $Γ(F)/R=\{1\}$ for any field extension $F$ of $k$, i.e., $Γ$ is $R$-trivial.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Maneesh Thakur. 2017-04-25. $R$-triviality of some exceptional groups. https://arxiv.org/abs/1704.07811

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Hyperfiniteness of boundary actions via tree decompositions

We study conditions for a countable group acting on a connected locally finite hyperbolic graph to induce a hyperfinite orbit equivalence relation on the Gromov boundary of the graph in terms of tree-decompositions of the graph. We prove that for a connected locally finite hyperbolic graph $X$ equipped with an action of a countable group $G$, if $(T, β)$ is a $G$-invariant tree-decomposition of $X$ such that each bag induces a connected subgraph $X_t$ of $X$ for each $t \in V(T)$, each adhesion set is finite and such that there are only finitely many $G$-orbits of edges of $T$, then the orbit equivalence relation of $G$ acting on the Gromov boundary $\partial X$ is hyperfinite provided the orbit equivalence relation of $G$ acting on $\partial T$ is hyperfinite and the orbit equivalence relations of the bag stabilizers acting on $\partial X_t$ are all hyperfinite. We show that the converse also holds if $(T, β)$ satisfies the additional property that each adhesion set distinguishes at least two ends of $X$.

math.GR

Compatible additions on a six-element commutative semigroup: equational bases and subvariety lattices

Let $M$ be the six-element commutative semigroup occurring as the common multiplicative reduct of the semirings $SR_6$ and $TR_6$. The closing paragraph of Shao, Ren, and Gao~\cite{ShaoRenGao2026} asks for the finite-basis and subvariety questions for the four remaining compatible additions on $M$. We answer these questions for the four isomorphism types $R_{01},R_{02},R_{11},R_{12}$. First, we classify all compatible additions on $M$: there are nine labelled additions and six isomorphism types, parametrized by $R_{ij}$ with $0\leq i\leq j\leq 2$. For each of the four new types we give a graph-theoretic criterion for every identity, an explicit infinite basis, and a proof of nonfinite basability. The generated varieties $\V(R_{01})$ and $\V(R_{02})$ have eleven subvarieties each, while $\V(R_{11})$ has sixty-six. The lattice $\Sub(\V(R_{12}))$ is countably infinite. Every identity in this variety reduces to a subset of twenty-five fixed identities together with two monotone path families $γ_n$ and $\gammaD_n$. This yields a canonical signature $(H,p,q)$, complete normal forms, explicit meet and join operations, and a formula for all covers. There are 153 fixed nodes, 43 one-parameter families, and 9 two-parameter families; exactly eighteen subvarieties are finitely based, and the unique limit subvariety is $\V(SR_6)$. The strong nonfinite-basis status of the four finite semirings remains open.

math.GR