Locally isotropic elementary groups

Egor Voronetsky

2023-11-12

Abstract:We construct elementary subgroups of all reductive groups of the local isotropic rank $\geq 2$ over rings and prove their basic properties. In particular, our results may be applied to the automorphism groups of any finitely generated projective modules over commutative unital rings of rank $\geq 3$ at every prime ideal.

Group Theory

What problem does this paper attempt to address?

Generically isotropic reductive group schemes are locally isotropic

Roman Fedorov

2023-04-11

Abstract:Let $R$ be a semilocal geometrically factorial Noetherian domain of characteristic zero. We show that a reductive $R$-group scheme is isotropic if it is generically isotropic. We derive various consequences, in particular for the Grothenieck-Serre conjecture and for homotopic invariance of torsors.

Algebraic Geometry
Locally isotropic Steinberg groups I. Centrality of the $\mathrm K_2$-functor

Egor Voronetsky

2024-10-18

Abstract:We begin to study Steinberg groups associated with a locally isotropic reductive group $G$ over a arbitrary ring. We propose a construction of such a Steinberg group functor as a group object in a certain completion of the category of presheaves. We also show that it is a crossed module over $G$ in a unique way, in particular, that the $\mathrm K_2$-functor is central. If $G$ is globally isotropic in a suitable sense, then the Steinberg group functor exists as an ordinary group-valued functor and all such abstract Steinberg groups are crossed modules over the groups of points of $G$.

Representation Theory,Group Theory,K-Theory and Homology
Reductive group actions

Friedrich Knop,Bernhard Krötz

2024-09-24

Abstract:In this paper, we study rationality properties of reductive group actions which are defined over an arbitrary field of characteristic zero. Thereby, we unify Luna's theory of spherical systems and Borel-Tits' theory of reductive groups. In particular, we define for any reductive group action a generalized Tits index whose main constituents are a root system and a generalization of the anisotropic kernel. The index controls to a large extent the behavior at infinity (i.e., embeddings). For k-spherical varieties (i.e., where a minimal parabolic has an open orbit) we obtain explicit (wonderful) completions of the set of rational points. For local fields this means honest compactifications generalizing the maximal Satake compactification of a symmetric space. Our main tool is a k-version of the local structure theorem.

Representation Theory,Algebraic Geometry
Locally Compact Groups with All Dense Subgroups Separable

Dekui Peng

2024-12-13

Abstract:By a recent result of Juhász and van Mill, a locally compact topological group whose dense subspaces are all separable is metrizable. In this note we investigate the following question: is every locally compact group having all dense subgroups separable also metrizable? We give an example to show the answer is negative for locally compact abelian groups, thereby showing that one cannot directly generalize the assertion by replacing ``subspaces'' with ``subgroups''. On the other hand, we prove that the answer is positive for compact groups which are either connected or algebraically abelian; and for locally compact groups containing only separable subgroups. As an application, we obtain a necessary condition for metrizability of pronilpotent groups.

Group Theory,General Topology
Unramified Grothendieck-Serre for isotropic groups

Kestutis Cesnavicius,Roman Fedorov

2023-11-15

Abstract:The Grothendieck-Serre conjecture predicts that every generically trivial torsor under a reductive group $G$ over a regular semilocal ring $R$ is trivial. We establish this for unramified $R$ granted that $G$ is totally isotropic, that is, has a "maximally transversal" parabolic $R$-subgroup. We also use purity for the Brauer group to reduce the conjecture for unramified $R$ to simply connected $G$--a much less direct such reduction of Panin had been a step in solving the equal characteristic case of Grothendieck-Serre. We base the group-theoretic aspects of our arguments on the geometry of the stack $\mathrm{Bun}_G$, instead of the affine Grassmannian used previously, and we quickly reprove the crucial weak $\mathbb{P}^1$-invariance input: for any reductive group $H$ over a semilocal ring $A$, every $H$-torsor $\mathscr{E}$ on $\mathbb{P}^1_A$ satisfies $\mathscr{E}|_{\{t = 0\}} \simeq \mathscr{E}|_{\{t = \infty\}}$. For the geometric aspects, we develop reembedding and excision techniques for relative curves with finiteness weakened to quasi-finiteness, thus overcoming a known obstacle in mixed characteristic, and show that every generically trivial torsor over $R$ under a totally isotropic $G$ trivializes over every affine open of $\mathrm{Spec}(R) \setminus Z$ for some closed $Z$ of codimension $\ge 2$.

Algebraic Geometry,Number Theory
Locally Integer Polynomial Functions

Alexander Borisov

2024-02-01

Abstract:The goal of this short note is to bring attention to an interesting ring: the ring of $\mathbb Z$-valued functions on $\mathbb Z$ whose restrictions to all finite sets are given by polynomials with integer coefficients. My interest in these functions was inspired by the work of Sayak Sengupta on iterations of integer polynomials, but this and related objects appear to be of independent interest.

Number Theory
On good $A_1$ subgroups, Springer maps, and overgroups of distinguished unipotent elements in reductive groups

Michael Bate,Sören Böhm,Benjamin Martin,Gerhard Roehrle

2024-10-21

Abstract:Suppose $G$ is a simple algebraic group defined over an algebraically closed field of good characteristic $p$. In 2018 Korhonen showed that if $H$ is a connected reductive subgroup of $G$ which contains a distinguished unipotent element $u$ of $G$ of order $p$, then $H$ is $G$-irreducible in the sense of Serre. We present a short and uniform proof of this result under an extra hypothesis using so-called good $A_1$ subgroups of $G$, introduced by Seitz. In the process we prove some new results about good $A_1$ subgroups of $G$ and their properties. We also formulate a counterpart of Korhonen's theorem for overgroups of $u$ which are finite groups of Lie type. Moreover, we generalize both results above by removing the restriction on the order of $u$ under a mild condition on $p$ depending on the rank of $G$, and we present an analogue of Korhonen's theorem for Lie algebras.

Group Theory,Representation Theory
A Localization Argument for Characters of Reductive Lie Groups

Matvei Libine

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

2003-05-20

Abstract:This article provides a geometric bridge between two entirely different character formulas for reductive Lie groups and answers the question posed by W.Schmid in [Sch]. A corresponding problem in the compact group setting was solved by N.Berline, E.Getzler and M.Vergne in [BGV] by an application of the theory of equivariant forms and particularly the fixed point integral localization formula. This article (besides its representation-theoretical significance) provides a whole family of examples where it is possible to localize integrals to fixed points with respect to an action of a NONcompact group. Moreover, a localization argument given here is not specific to the particular setting considered in this article and can be extended to a more general situation. There is a broadly accessible article [L] which explains how the argument works in the SL(2,R) case, where the key ideas are not obstructed by technical details and where it becomes clear how it extends to the general case.

Representation Theory,Differential Geometry
On the dearth of coproducts in the category of locally compact groups

Alexandru Chirvasitu

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

2021-07-25

Abstract:We prove that a family of at least two non-trivial, almost-connected locally compact groups cannot have a coproduct in the category of locally compact groups if at least one of the groups is connected; this confirms the intuition that coproducts in said category are rather hard to come by, save for the usual ones in the category of discrete groups. Along the way we also prove a number of auxiliary results on characteristic indices of locally compact or Lie groups as defined by Iwasawa: that characteristic indices can only decrease when passing to semisimple closed Lie subgroups, and also along dense-image morphisms.

Group Theory,Category Theory,Representation Theory
Locally nilpotent polynomials over $\mathbb{Z}$

Sayak Sengupta

2023-09-19

Abstract:For a polynomial $u=u(x)$ in $\mathbb{Z}[x]$ and $r\in\mathbb{Z}$, we consider the orbit of $u$ at $r$ denoted and defined by $\mathcal{O}_u(r):=\{u(r),u(u(r)),\ldots\}$. We ask two questions here: (i) what are the polynomials $u$ for which $0\in \mathcal{O}_u(r)$, and (ii) what are the polynomials for which $0\not\in \mathcal{O}_u(r)$ but, modulo every prime $p$, $0\in \mathcal{O}_u(r)$? In this paper, we give a complete classification of the polynomials for which (ii) holds for a given $r$. We also present some results for some special values of $r$ where (i) can be answered.

Number Theory,Dynamical Systems
The low dimensional homology groups of the elementary group of rank two

Behrooz Mirzaii,Elvis Torres Pérez

2024-07-25

Abstract:In this article we study the first, the second and the third homology groups of the elementary group $\textrm{E}_2(A)$, where $A$ is a commutative ring. In particular, we prove a refined Bloch-Wigner type exact sequence over a semilocal ring (with some mild restriction on its residue fields) such that $-1\in (A^{\times})^2$ or $|A^{\times}/(A^{\times})^2|\leq 4$.

K-Theory and Homology
Arithmetic Invariant Theory of Reductive Groups

Yidi Wang

2024-10-17

Abstract:In this manuscript, we define the notion of linearly reductive groups over commutative unital rings and study the Cohen-Macaulay property of the ring of invariants under rational actions of a linearly reductive group. Moreover, we study the equivalence of different notions of reductivity over regular rings of Krull dimension two by studying these properties locally.

Representation Theory,Commutative Algebra
Finite imprimitive rank $3$ affine groups -- I

Cai Heng Li,Hanyue Yi,Yan Zhou Zhu

2024-12-03

Abstract:This is one of a series of papers which aims towards a classification of imprimitive affine groups of rank $3$. In this paper, a complete classification is given of such groups of characteristic $p$ such that the point stabilizer is not $p$-local, which shows that such groups are very rare, namely, the two non-isomorphic groups of the form $2^4{:}\mathrm{GL}_3(2)$ with a unique minimal normal subgroup are the only examples.

Group Theory
Elementary abelian subgroups: from algebraic groups to finite groups

Jianbei An,Heiko Dietrich,Alastair J. Litterick

2024-01-26

Abstract:We describe a new approach for classifying conjugacy classes of elementary abelian subgroups in simple algebraic groups over an algebraically closed field, and understanding the normaliser and centraliser structure of these. For toral subgroups, we give an effective classification algorithm. For non-toral elementary abelian subgroups, we focus on algebraic groups of exceptional type with a view to future applications, and in this case we provide tables explicitly describing the subgroups and their local structure. We then describe how to transfer results to the corresponding finite groups of Lie type using the Lang-Steinberg Theorem; this will be used in forthcoming work to complete the classification of elementary abelian $p$-subgroups for torsion primes $p$ in finite groups of exceptional Lie type. Such classification results are important for determining the maximal $p$-local subgroups and $p$-radical subgroups, both of which play a crucial role in modular representation theory.

Group Theory
Invariant random subgroups over non-Archimedean local fields

Tsachik Gelander,Arie Levit

DOI: https://doi.org/10.1007/s00208-018-1767-8

2018-10-20

Mathematische Annalen

Abstract:Let G be a higher rank semisimple linear algebraic group over a non-Archimedean local field. The simplicial complexes corresponding to any sequence of pairwise non-conjugate irreducible lattices in G are Benjamini–Schramm convergent to the Bruhat–Tits building. Convergence of the relative Plancherel measures and normalized Betti numbers follows. This extends the work (Abert et al. in Ann Math 185(3):711–790, 2017) from real Lie groups to linear groups over arbitrary local fields. Along the way, various results concerning Invariant Random Subgroups and in particular a variant of the classical Borel density theorem are also extended.

mathematics
Totally disconnected locally compact groups locally of finite rank

Phillip Wesolek

DOI: https://doi.org/10.1017/S0305004115000122

2015-01-28

Abstract:We study totally disconnected locally compact second countable (t.d.l.c.s.c.) groups that contain a compact open subgroup with finite rank. We show such groups that additionally admit a pro-$\pi$ compact open subgroup for some finite set of primes $\pi$ are virtually an extension of a finite direct product of topologically simple groups by an elementary group. This result, in particular, applies to l.c.s.c. $p$-adic Lie groups. We go on to prove a decomposition result for all t.d.l.c.s.c. groups containing a compact open subgroup with finite rank. In the course of proving these theorems, we demonstrate independently interesting structure results for t.d.l.c.s.c. groups with a compact open pro-nilpotent subgroup and for topologically simple l.c.s.c. $p$-adic Lie groups.

Group Theory,Logic
On Locally Primitive Cayley Graphs of Finite Simple Groups

Xingui Fang,C. E. Praeger,Jie Wang

DOI: https://doi.org/10.1016/j.jcta.2010.10.008

2001-01-01

Science in China Series A Mathematics

Abstract:A graph Г is said to be G-locally primitive, where G is a subgroup of automorphisms of Г, if the stabiliser Ga of a vertex α acts primitively on the set Г( α ) of vertices of Г adjacent to α. For a finite non-abelian simple group L and a Cayley subset S of L, suppose that L ⊴ G ⩽ Aut( L), and the Cayley graph Г = Cay ( L, S) is G-locally primitive. In this paper we prove that L is a simple group of Lie type, and either the valency of Г is an add prine divisor of ¦Out(L)¦, orL =PΩ 8 + (q) and Г has valency 4. In either cases, it is proved that the full automorphism group of Г is also almost simple with the same socle L.
Elementary groups in $\PSL(3,\C)$

Waldemar Barrera,Angel Cano,Juan Pablo Navarrete,José Seade

2023-07-08

Abstract:In this paper, we give a classification of the subgroups of $\textrm{PSL}(3, \mathbb{C})$ that act on $\mathbb{P}_{\mathbb{C}}^2$ in such a way that their Kulkarni limit set has finitely many lines in general position lines. These are the elementary groups.

Group Theory
Local permutation stability

Henry Bradford

2024-09-05

Abstract:We introduce a notion of "local stability in permutations" for finitely generated groups. If a group is sofic and locally stable in our sense, then it is also locally embeddable into finite groups (LEF). Our notion is weaker than the "permutation stability" introduced by Glebsky-Rivera and Arzhantseva-Paunescu, which allows one to upgrade soficity to residual finiteness. We prove a necessary and sufficient condition for an amenable group to be locally permutation stable, in terms of invariant random subgroups (IRSs), inspired by a similar criterion for permutation stability due to Becker, Lubotzky and Thom. We apply our criterion to prove that derived subgroups of topological full groups of Cantor minimal subshifts are locally stable, using Zheng's classification of IRSs for these groups. This last result provides continuum-many groups which are locally stable, but not stable.

Group Theory
Characterisation of Locally Compact Abelian Groups Having Spectral Synthesis

László Székelyhidi

2024-10-03

Abstract:In this paper we solve a long-standing problem which goes back to Laurent Schwartz's work on mean periodic functions. Namely, we completely characterise those locally compact Abelian groups having spectral synthesis. So far a characterisation theorem was available for discrete Abelian groups only. Here we use a kind of localisation concept for the ideals of the Fourier algebra of the underlying group. We show that localisability of ideals is equivalent to synthesizability. Based on this equivalence we show that if spectral synthesis holds on each extension of it by a locally compact Abelian group consisting of compact elements, and also on any extension to a direct sum with a copy of the integers. Then, using Schwartz's result and Gurevich's counterexamples we apply the structure theory of locally compact Abelian groups.

Functional Analysis

Locally isotropic elementary groups

Generically isotropic reductive group schemes are locally isotropic

Locally isotropic Steinberg groups I. Centrality of the $\mathrm K_2$-functor

Reductive group actions

Locally Compact Groups with All Dense Subgroups Separable

Unramified Grothendieck-Serre for isotropic groups

Locally Integer Polynomial Functions

On good $A_1$ subgroups, Springer maps, and overgroups of distinguished unipotent elements in reductive groups

A Localization Argument for Characters of Reductive Lie Groups

On the dearth of coproducts in the category of locally compact groups

Locally nilpotent polynomials over $\mathbb{Z}$

The low dimensional homology groups of the elementary group of rank two

Arithmetic Invariant Theory of Reductive Groups

Finite imprimitive rank $3$ affine groups -- I

Elementary abelian subgroups: from algebraic groups to finite groups

Invariant random subgroups over non-Archimedean local fields

Totally disconnected locally compact groups locally of finite rank

On Locally Primitive Cayley Graphs of Finite Simple Groups

Elementary groups in $\PSL(3,\C)$

Local permutation stability

Characterisation of Locally Compact Abelian Groups Having Spectral Synthesis