English
Related papers

Related papers: Elementary equivalence of Chevalley groups over fi…

200 papers

We prove that if $G$ is a countably infinite group and $(L, \lambda)$ and $(K, \kappa)$ are probability spaces having equal Shannon entropy, then the Bernoulli shifts $G \curvearrowright (L^G, \lambda^G)$ and $G \curvearrowright (K^G,…

Dynamical Systems · Mathematics 2018-05-23 Brandon Seward

We propose a definition of equivariant (with respect to an Iwahori subgroup) $K$-theory of the formal power series model $\mathbf{Q}_{G}$ of semi-infinite flag manifold and prove the Pieri-Chevalley formula, which describes the product, in…

Quantum Algebra · Mathematics 2020-12-16 Syu Kato , Satoshi Naito , Daisuke Sagaki

In this paper we prove that every automorphism of a Chevalley group (or its elementary subgroup) with root system of rank >1 over a commutative ring (with 1/2 for the systems A_2, F_4, B_l, C_l; with 1/2 and 1/3 for the system G_2) is…

Group Theory · Mathematics 2023-06-06 Elena Bunina

We find a basis for the $G$-graded identities of the $n\times n$ matrix algebra $M_n(K)$ over an infinite field $K$ of characteristic $p>0$ with an elementary grading such that the neutral component corresponds to the diagonal of $M_n(K)$.

Rings and Algebras · Mathematics 2014-07-08 Diogo Diniz Pereira da Silva e Silva

We consider generalized $\Lambda$-structures on algebras and schemes over the ring of integers $\mathit{O}_K$ of a number field $K$. When $K=\mathbb{Q}$, these agree with the $\lambda$-ring structures of algebraic K-theory. We then study…

Number Theory · Mathematics 2018-09-10 James Borger , Bart de Smit

Let H_q(S_n) be the Iwahori-Hecke algebra of the symmetric group. This algebra is semisimple over the rational function field Q(q), where q is an indeterminate, and its irreducible representations over this field are q-analogues S_q(lambda)…

Representation Theory · Mathematics 2007-05-23 Matthias Künzer , Andrew Mathas

Let $G$ be the universal Chevalley-Demazure group scheme corresponding to a reduced irreducible root system of rank $\geq 2$, and let $R$ be a commutative ring. We analyze the linear representations $\rho \colon G(R)^+ \to GL_n (K)$ over an…

Group Theory · Mathematics 2014-02-26 Igor A. Rapinchuk

In this paper we consider Chevalley groups over commutative rings with~$1$, constructed by irreducible root systems of rank $>1$. We always suppose that for the systems $A_2, B_\ell, C_\ell, F_4, G_2$ our rings contain $1/2$ and for the…

Group Theory · Mathematics 2025-07-22 Elena Bunina , Pavel Gvozdevsky

We revisit localisation and patching method in the setting of Chevalley groups. Introducing certain subgroups of relative elementary Chevalley groups, we develop relative versions of the conjugation calculus and the commutator calculus in…

Rings and Algebras · Mathematics 2012-12-03 Roozbeh Hazrat , Nikolai Vavilov , Zuhong Zhang

We show that if G is a split semisimple algebraic group over a model complete field K, then the groups G(K) and G(K)' (the commutator group which is a ``Chevalley group'' as for example the group PSL_2(K)) are model complete as well.

Logic · Mathematics 2025-03-04 Daniel Max Hoffmann , Piotr Kowalski , Chieu-Minh Tran , Jinhe Ye

Given a non-trivial complete valued field $K$ with value group $\Lambda$, we construct a $\Lambda$-tree space associated to $K$ analog of the Bruhat-Tits tree, and locally finite trees associated to compact subsets of the projective line.…

Algebraic Geometry · Mathematics 2017-07-21 Xavier Xarles , Dani Samaniego

Polynomial $n\times n$ matrices $A(\lambda)$ and $B(\lambda)$ over a field $\mathbb F $ are called semi-scalar equivalent if there exist a nonsingular $n\times n$ matrix $P$ over the field $\mathbb F $ and an invertible $n\times n$ matrix…

Commutative Algebra · Mathematics 2020-03-12 V. M. Prokip

Types over a discrete valued field $(K,v)$ are computational objects that parameterize certain families of monic irreducible polynomials in $K_v[x]$, where $K_v$ is the completion of $K$ at $v$. Two types are considered to be equivalent if…

Number Theory · Mathematics 2015-07-27 Enric Nart

V.I. Kopeiko proved that over a euclidean ring, the symplectic group defined with respect to the standard skew-symmetric matrix is same as the elementary symplectic group. Here we generalise the result of Kopeiko for a symplectic group…

Commutative Algebra · Mathematics 2024-12-17 Ruddarraju Amrutha , Pratyusha Chattopadhyay

Given a homological epimorphism $\pi:\mathcal{C}\longrightarrow \mathcal{C}/\mathcal{I}$ between $K$-categories, we show that if the ideal $\mathcal{I}$ satisfies certain conditions, then there exists an equivalence between the singularity…

Representation Theory · Mathematics 2025-10-14 Juan Andrés Orozco Gutiérrez , Valente Santiago Vargas

We prove a version of the classical $\lambda$-lemma for holomorphic families of Riemann surfaces. We then use it to show that critical loci for complex H\'{e}non maps that are small perturbations of quadratic polynomials with Cantor Julia…

Dynamical Systems · Mathematics 2014-04-16 Tanya Firsova , Mikhail Lyubich

We consider the effect of performing an elementary equivalence as defined by Okuyama on a group block of form $F(C_p \times C_p)\rtimes C_r$, for a field $F$ of characteristic $p$. If $I=\{0,1,2,\dots r-1\}$ is the set of residues…

Representation Theory · Mathematics 2024-08-05 Mary Schaps , Zehavit Zvi

Given a number field $K$ one associates to it the set $\Lambda_K$ of Dedekind zeta-functions of finite abelian extensions of $K$. In this short note we present a proof of the following Theorem: for any number field $K$ the set $\Lambda_K$…

Number Theory · Mathematics 2019-01-29 Pavel Solomatin

We prove that two co-Hopfian finitely generated virtually free groups are elementarily equivalent if and only if they are isomorphic. We also prove that co-Hopfian finitely generated virtually free groups are homogeneous in the sense of…

Group Theory · Mathematics 2021-12-09 Simon André

Let $k$ be an algebraically closed field of characteristic $p > 0$, and let $G$ be a simple, simply connected algebraic group defined over $\mathbb{F}_p$. Given $r \geq 1$, set $q=p^r$, and let $G(\mathbb{F}_q)$ be the corresponding finite…