This paper presents some algorithms in linear algebraic groups. These algorithms solve the word problem and compute the spinor norm for orthogonal groups. This gives us an algorithmic definition of the spinor norm. We compute the double coset decomposition with respect to a Siegel maximal parabolic subgroup, which is important in computing infinite-dimensional representations for some algebraic groups.
Algebraic cohomotopy groups, algebraic fundamental groups and stably free modules
School Of Mathematics, Tata Institute of fundamental Research(塔塔基础研究所数学学院);Department of Applied Sciences, Indian Institute of Information Technology Allahabad(阿拉哈巴德印度信息技术学院应用科学系)
We study topological group theoretic properties of algebraic groups over local fields. In particular, we find conditions under which such groups have closed images under arbitrary continuous homomorphisms into arbitrary topological groups.
For simple algebraic groups defined over algebraically closed fields of good characteristic, we give upper bounds on the covering numbers of unipotent conjugacy classes in terms of their (co)ranks and in terms of their dimensions.
The main purpose of this paper is to give a new definition for the notion of group-groupoid. Also, several basic properties of group-groupoids are established.
Let G be an algebraic group over a complete separable valued field k. We discuss the dynamics of the G-action on spaces of probability measures on algebraic G-varieties. We show that the stabilizers of measures are almost algebraic and the orbits are separated by open invariant sets. We discuss various applications, including existence results for algebraic representations of amenable ergodic actions. The latter provides an essential technical step in the recent generalization of Margulis-Zimmer super-rigidity phenomenon due to Bader and Furman.
We show that any adjoint absolutely simple linear algebraic group over a field of characteristic zero is the automorphism group of some projector on a central simple algebra. Projective homogeneous varieties can be described in these terms; in particular, we reproduce quadratic equations by Lichtenstein defining them.
Let $k$ be an algebraically closed field, $G$ a linear algebraic group over $k$ and $φ\in Aut(G)$, the group of all algebraic group automorphisms of $G$. Two elements $x, y$ of $G$ are said to be $φ$-twisted conjugate if $y=gxφ(g)^{-1}$ for some $g\in G$. In this paper we prove that for a connected non-solvable linear algebraic group $G$ over $k$, the number of its $φ$-twisted conjugacy classes is infinite for every $φ\in Aut(G)$.
Let $G$ be a linear algebraic group over an algebraically closed field $k$ and $\mathrm{Aut}_{\mathrm{alg}}(G)$ the group of all algebraic group automorphisms of $G$. For every $φ\in \mathrm{Aut}_{\mathrm{alg}}(G)$ let $\mathcal{R}(φ)$ denote the set of all orbits of the $φ$-twisted conjugacy action of $G$ on itself (given by $(g,x)\mapsto gxφ(g^{-1})$, for all $g,x\in G$). We say that $G$ has the algebraic $R_\infty$-property if $\mathcal{R}(φ)$ is infinite for every $φ\in \mathrm{Aut}_{\mathrm{alg}}(G)$. In \citep{bb} we have shown that this property is satisfied by every connected non-solva…
We determine all finite subgroups of simple algebraic groups that have irreducible centralizers - that is, centralizers whose connected component does not lie in a parabolic subgroup.
A subgroup of a group $G$ is called algebraic if it can be expressed as a finite union of solution sets to systems of equations. We prove that a non-elementary subgroup $H$ of an acylindrically hyperbolic group $G$ is algebraic if and only if there exists a finite subgroup $K$ of $G$ such that $C_G(K) \leq H \leq N_G(K)$. We provide some applications of this result to free products, torsion-free relatively hyperbolic groups, and ascending chains of algebraic subgroups in acylindrically hyperbolic groups.
The focus of this article is to define the descriptively approximations in proximal relator spaces. Afterwards, descriptive approximately algebraic structures such as groupoids, semigroups and groups in digital images endowed with descriptive Efremovic proximity relations were introduced.
The additivity with respect to exact sequences is notoriously a fundamental property of the algebraic entropy of group endomorphisms. It was proved for abelian groups by deeply exploiting their structure. On the other hand, a solvable counterexample was recently found, showing that it does not hold in general. Nevertheless, we give a rather short proof of the additivity of the algebraic entropy for locally finite groups that are either quasihamiltonian or FC-groups.
We show that, in a weakly regular $p$-adic Lie group $G$, the subgroup $G_u$ spanned by the one-parameter subgroups of $G$ admits a Levi decomposition. As a consequence, there exists a regular open subgroup of $G$ which contains $G_u$.
Let $G$ be a permutation group on a set $Ω$. A subset of $Ω$ is a base for $G$ if its pointwise stabilizer is trivial; the base size of $G$ is the minimal cardinality of a base. In this paper we initiate the study of bases for algebraic groups defined over an algebraically closed field. In particular, we calculate the base size for all primitive actions of simple algebraic groups, obtaining the precise value in almost all cases. We also introduce and study two new base measures, which arise naturally in this setting. We give an application concerning the essential dimension of simple algebraic…
We establish a surprising correspondence between groups definable in o-minimal structures and linear algebraic groups, in the nilpotent case. It turns out that in the o-minimal context, like for finite groups, nilpotency is equivalent to the normalizer property or to uniqueness of Sylow subgroups. As a consequence, we show algebraic decompositions of o-minimal nilpotent groups, and we prove that a nilpotent Lie group is definable in an o-minimal expansion of the reals if and only if it is a linear algebraic group.
In this paper, we attempt to develop the Quillen Suslin theory for the algebraic fundamental group of a ring. We give a surjective group homomorphism from the algebraic fundamental group of the field of the real numbers to the group of integers. At the end of the paper, we also propose some problems related to the algebraic fundamental group of some particular type of rings.
Let $G$ be a group and let $V$ be an algebraic group over an algebraically closed field. We introduce algebraic group subshifts $Σ\subset V^G$ which generalize both the class of algebraic sofic subshifts of $V^G$ and the class of closed group subshifts over finite group alphabets. When $G$ is a polycyclic-by-finite group, we show that $V^G$ satisfies the descending chain condition and that the notion of algebraic group subshifts, the notion of algebraic group sofic subshifts, and that of algebraic group subshifts of finite type are all equivalent. Thus, we obtain extensions of well-known resul…
We say that a smooth algebraic group $G$ over a field $k$ is very special if for any field extension $K/k$, every $G_K$-homogeneous $K$-variety has a $K$-rational point. It is known that every split solvable linear algebraic group is very special. In this note, we show that the converse holds, and discuss its relationship with the birational classification of algebraic group actions.
In this paper, we study group equations with occurrences of automorphisms. We describe equational domains in this class of equations. Moreover, we solve a number of open problem posed in universal algebraic geometry.
We show an analogue of Jordan's theorem for algebraic groups defined over a field $\mathbb k$ of arbitrary characteristic. As a consequence, a Jordan-type property holds for the automorphism group of any projective variety over $\mathbb k$.
We describe an algorithm, which - given the characters of tilting modules and assuming that Donkin's tilting conjecture is true - computes the characters of simple modules for an algebraic group in any characteristic.