Chevalley's theorem for affine Nash groups

yingjue fang,binyong sun

2016-01-01

Journal of lie theory

Abstract:We formulate and prove Chevalley's theorem in the setting of affine Nash groups. As a consequence, we show that the semi-direct product of two almost linear Nash groups is also an almost linear Nash group.

What problem does this paper attempt to address?

Chevalley's Theorem for Affine Nash Groups

Yingjue Fang,Binyong Sun

DOI: https://doi.org/10.48550/arxiv.1506.03211

2015-01-01

Abstract:We formulate and prove Chevalley's theorem in the setting of affine Nash groups. As a consequence, we show that the semi-direct product of two almost linear Nash groups is still an almost linear Nash group.
Almost Linear Nash Groups

Binyong Sun

DOI: https://doi.org/10.1007/s11401-015-0915-7

2015-01-01

Abstract:A Nash group is said to be almost linear if it has a Nash representation with a finite kernel. Structures and basic properties of these groups are studied.
Schwartz Homologies of Representations of Almost Linear Nash Groups

Yangyang Chen,Binyong Sun

DOI: https://doi.org/10.1016/j.jfa.2020.108817

IF: 1.891

2020-01-01

Journal of Functional Analysis

Abstract:Let G be an almost linear Nash group, namely, a Nash group that admits a Nash homomorphism with finite kernel to some GLk(R). A homology theory (the Schwartz homology) is established for the category of smooth Fréchet representations of G of moderate growth. Frobenius reciprocity and Shapiro's lemma are proved in this category. As an application, we give a criterion for automatic extensions of Schwartz homologies of Schwartz sections of a tempered G-vector bundle.
Real Fundamental Chevalley Involutions and Conjugacy Classes

Gang Han,Binyong Sun

DOI: https://doi.org/10.1090/proc/16722

IF: 0.9709

2024-01-01

Proceedings of the American Mathematical Society

Abstract:Let G \mathsf G be a connected reductive linear algebraic group defined over R \mathbb R , and let C : G → G C: \mathsf G\rightarrow \mathsf G be a fundamental Chevalley involution. We show that for every g ∈ G ( R ) g\in \mathsf G(\mathbb R) , C ( g ) C(g) is conjugate to g − 1 g^{-1} in the group G ( R ) \mathsf G(\mathbb R) . Similar result on the Lie algebras is also obtained.
Chevalley groups over $\Z$: A representation-theoretic approach

Abid Ali,Lisa Carbone,Scott H. Murray

2024-08-30

Abstract:Let $G(\mathbb{Q})$ be a simply connected Chevalley group over $\mathbb{Q}$ corresponding to a simple Lie algebra $\mathfrak g$ over $\mathbb{C}$. Let $V$ be a finite dimensional faithful highest weight $\mathfrak g$-module and let $V_\mathbb{Z}$ be a Chevalley $\mathbb{Z}$-form of $V$. Let $\Gamma(\mathbb{Z})$ be the subgroup of $G(\mathbb{Q})$ that preserves $V_{\mathbb{Z}}$ and let $G(\mathbb{Z})$ be the group of $\mathbb{Z}$-points of $G(\mathbb{Q})$. Then $G(\mathbb{Q})$ is \emph{integral} if $G(\mathbb{Z})=\Gamma(\mathbb{Z})$. Chevalley's original work constructs a scheme-theoretic integral form of $G(\mathbb{Q})$ which equals $\Gamma(\mathbb{Z})$. Here we give a representation-theoretic proof of integrality of $G(\mathbb{Q})$ using only the action of $G(\mathbb{Q})$ on $V$, rather than the language of group schemes. We discuss the challenges and open problems that arise in trying to extend this to a proof of integrality for Kac-Moody groups over $\mathbb{Q}$.

Representation Theory
Certain linear isomorphisms for hyperalgebras relative to a Chevalley group

Yutaka Yoshii

DOI: https://doi.org/10.1142/s0219498825501853

2024-02-02

Journal of Algebra and Its Applications

Abstract:Journal of Algebra and Its Applications, Ahead of Print. Let [math] be a simply connected and simple algebraic group defined and split over a finite prime field [math] of [math] elements. In this paper, using an [math]-linear map splitting Frobenius endomorphism on a hyperalgebra relative to [math], we obtain some [math]-linear isomorphisms induced by multiplication in the hyperalgebra.

mathematics, applied
Nash equilibria of quasisupermodular games

Lu Yu

2024-06-20

Abstract:We prove three results on the existence and structure of Nash equilibria for quasisupermodular games. A theorem is purely order-theoretic, and the other two involve topological hypotheses. Our topological results genralize Zhou's theorem (for supermodular games) and Calciano's theorem.

Theoretical Economics,Computer Science and Game Theory
Regular bi-interpretability and finite axiomatizability of Chevalley groups

Elena Bunina,Pavel Gvozdevsky

2024-08-25

Abstract: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 system $G_2$ also $1/3$. Under these assumptions we prove that the central quotients of Chevalley groups are regularly bi-interpretable with the corresponding rings, the class of all central quotients of Chevalley groups of a given type is elementarily definable and even finitely axiomatizable (see Definition~2.2). The same holds for adjoint Chevalley groups and for bondedly generated Chevalley groups. We also give an example of Chevalley group with infinite center, which is not bi-interpretable with the corresponding ring and is elementarily equivalent to a group that is not a Chevalley group itself.

Group Theory,Logic
Automorphisms of Chevalley groups over commutative rings

Elena Bunina

DOI: https://doi.org/10.1080/00927872.2023.2300446

2024-01-11

Communications in Algebra

Abstract: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 A2,F4,Bl,Cl ; with 1/2 and 1/3 for the system G2 ) is standard, i.e., it is a composition of ring, inner, central and graph automorphisms. This result finalizes description of automorphisms of Chevalley groups. However, the restrictions on invertible elements can be a topic of further considerations. We provide also some model-theoretic applications of this description.

mathematics
Chevalley groups over Laurent polynomial rings

Anastasia Stavrova

2024-11-26

Abstract:Let $G$ be a simply connected Chevalley--Demazure group scheme without $SL_2$-factors. For any unital commutative ring $R$, we denote by $E(R)$ the standard elementary subgroup of $G(R)$, that is, the subgroup generated by the elementary root unipotent elements. We prove that the map $$ G(R[x_1^{\pm 1},\ldots,x_n^{\pm 1}])/E(R[x_1^{\pm 1},\ldots,x_n^{\pm 1}])\to G\bigl(R((x_1))\ldots((x_n))\bigr)/E\bigl(R((x_1))\ldots((x_n))\bigr) $$ is injective for any $n\ge 1$, if $R$ is either a Dedekind domain or a Noetherian ring that is geometrically regular over a Dedekind domain with perfect residue fields. For $n=1$ this map is also an isomorphism. As a consequence, we show that if $D$ is a PID such that $SL_2(D)=E_2(D)$ (e.g. $D=\mathbb{Z}$), then $G(D[x_1^{\pm 1},\ldots,x_n^{\pm 1}])=E(D[x_1^{\pm 1},\ldots,x_n^{\pm 1}])$. This extends earlier results for special linear and symplectic groups due to A. A. Suslin and V. I. Kopeiko.

Group Theory,K-Theory and Homology
Affine Laumon space and contragredient dual Verma module of $U_q(\widehat{\mathfrak{gl}_n})$

Che Shen

2024-06-26

Abstract:We study the action of the quantum group $U_q(\widehat{\mathfrak{gl}_n})$ on the equivariant K-theory of affine Laumon spaces. We show that, at any highest weight away from the critical level, this can be identified with the contragredient dual Verma module of $U_q(\widehat{\mathfrak{gl}_n})$, improving earlier results of Braverman-Finkelberg and Negu{ţ}. The proof uses a variant of stable envelopes first introduce by Maulik-Okounkov in the study of Nakajima quiver varieties.

Representation Theory
A density theorem for Borel-Type Congruence subgroups and arithmetic applications

Edgar Assing

2023-03-16

Abstract:We use a (pre)-Kuznetsov type formula to prove a density result for the Borel-type congruence subgroup of GLn. This has some arithmetic applications to optimal lifting and counting considered earlier by A. Kamber and H. Lavner for $GL_3$.

Number Theory
Two-dimensional locally $\mathbb{K}$-Nash groups

Elías Baro,Juan de Vicente,Margarita Otero

DOI: https://doi.org/10.48550/arXiv.1711.00806

2017-11-03

Abstract:We give a classification of connected abelian locally (real) Nash groups of dimension two. We first consider Painlevé's description of meromorphic maps admitting an Algebraic Addition Theorem and analyse the algebraic dependence of such maps. We then give a classification of connected abelian locally complex Nash groups of dimension two, from which we deduce the corresponding real classification.

Algebraic Geometry
The Chevalley-Bass Theorem

Yuri Bilu

2023-08-09

Abstract:This is an exposition of a theorem due to Chevalley (1951) and Bass (1965). Let $K$ be a finitely generated field. Then there exists a positive integer $\Lambda$, depending only on $K$, such that for every positive integer $n$ the following holds: if $\alpha\in K$ is a $\Lambda n$th power in the cyclotomic extension $K(\zeta_{\Lambda n})$, then $\alpha$ is an $n$th power in $K$. We also give explicit expressions for a suitable $\Lambda$ of two kinds: one in terms of the degree of the maximal abelian subfield of $K$, the other in terms of the discriminant of this subfield.

Number Theory
Nash Equilibrium Existence without Convexity

Conrad Kosowsky

DOI: https://doi.org/10.48550/arXiv.2308.11597

2023-08-23

Abstract:In this paper, I prove the existence of a pure-strategy Nash equilibrium for a large class of games with nonconvex strategy spaces. Specifically, if each player's strategies form a compact, connected Euclidean neighborhood retract and if all best-response correspondences are null-homotopic, then the game has a pure-strategy Nash equilibrium. As an application, I show how this result can prove the fundamental theorem of algebra.

Theoretical Economics
Some results on certain finite-dimensional subalgebras of the hyperalgebra of a universal Chevalley group

Yutaka Yoshii

2023-11-12

Abstract:In the hyperalgebra of the $r$-th Frobenius kernel of a universal Chevalley group over a field of characteristic $p>0$, we study some subsets and the subalgebras generated by them and give some results. We are particularly interested in the case that $p$ is 'very small' and the Dynkin diagram is not simply-laced.

Rings and Algebras
Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

Montserrat Casals-Ruiz,Jone Lopez de Gamiz Zearra

2023-10-09

Abstract:A result by Bridson, Howie, Miller, and Short states that if $S$ is a finitely presented subgroup of the direct product of free groups, then $S$ is virtually a nilpotent extension of a direct product of free groups. Moreover, if $S$ is a subgroup of type $FP_n$ of the direct product of $n$ free groups, then the nilpotent extension is finite, so $S$ is actually virtually the direct product of free groups. In this paper, these results are generalized to $2$-dimensional coherent right-angled Artin groups. More precisely, we show that a finitely presented subgroup of the direct product of $2$-dimensional coherent RAAGs is still virtually a nilpotent extension of a direct product of subgroups. If $S$ is moreover a type $FP_n$ subgroup of the direct product of $n$ $2$-dimensional coherent RAAGs, then $S$ is commensurable to a kernel of a character of a direct product of subgroups. Finally, we show that the multiple conjugacy problem and the membership problem are decidable for finitely presented subgroups of direct products of $2$-dimensional coherent RAAGs.

Group Theory
Kazhdan constants for Chevalley groups over the integers

Marek Kaluba,Dawid Kielak

2024-11-04

Abstract:We compute lower bounds for Kazhdan constants of Chevalley groups over the integers, endowed with the standard Steinberg generators. For types other than $\mathtt{A}_{n}$, these are the first explicit asymptotically sharp such bounds. The method relies on establishing a new connection between the structure of a root system grading a family of groups and the behaviour of the square of the Laplace operator in the family.

Group Theory,Operator Algebras
Translation equivalence in free groups

Ilya Kapovich,Gilbert Levitt,Paul Schupp,Vladimir Shpilrain

DOI: https://doi.org/10.48550/arXiv.math/0409284

2005-01-11

Abstract:Motivated by the work of Leininger on hyperbolic equivalence of homotopy classes of closed curves on surfaces, we investigate a similar phenomenon for free groups. Namely, we study the situation when two elements $g,h$ in a free group $F$ have the property that for every free isometric action of $F$ on an $\mathbb{R}$-tree $X$ the translation lengths of $g$ and $h$ on $X$ are equal. We give a combinatorial characterization of this phenomenon, called translation equivalence, in terms of Whitehead graphs and exhibit two difference sources of it. The first source of translation equivalence comes from representation theory and $SL_2$ trace identities. The second source comes from geometric properties of groups acting on real trees and a certain power redistribution trick. We also analyze to what extent these are applicable to the tree actions of surface groups that occur in the Thurston compactification of the Teichmuller space.

Group Theory,Geometric Topology

Chevalley's theorem for affine Nash groups

Chevalley's Theorem for Affine Nash Groups

Almost Linear Nash Groups

Schwartz Homologies of Representations of Almost Linear Nash Groups

Real Fundamental Chevalley Involutions and Conjugacy Classes

Chevalley groups over $\Z$: A representation-theoretic approach

Certain linear isomorphisms for hyperalgebras relative to a Chevalley group

Nash equilibria of quasisupermodular games

Regular bi-interpretability and finite axiomatizability of Chevalley groups

Automorphisms of Chevalley groups over commutative rings

Chevalley groups over Laurent polynomial rings

Affine Laumon space and contragredient dual Verma module of $U_q(\widehat{\mathfrak{gl}_n})$

A density theorem for Borel-Type Congruence subgroups and arithmetic applications

Two-dimensional locally $\mathbb{K}$-Nash groups

The Chevalley-Bass Theorem

Nash Equilibrium Existence without Convexity

Some results on certain finite-dimensional subalgebras of the hyperalgebra of a universal Chevalley group

Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

Kazhdan constants for Chevalley groups over the integers

Translation equivalence in free groups