Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userTopological generation of exceptional algebraic groups
162
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Let $G$ be a simple algebraic group over an algebraically closed field $k$ and let $C_1, ldots, C_t$ be non-central conjugacy classes in $G$. In this paper, we consider the problem of determining whether there exist $g_i in C_i$ such that $langle g_1, ldots, g_t rangle$ is Zariski dense in $G$. First we establish a general result, which shows that if $Omega$ is an irreducible subvariety of $G^t$, then the set of tuples in $Omega$ generating a dense subgroup of $G$ is either empty or dense in $Omega$. In the special case $Omega = C_1 times cdots times C_t$, by considering the dimensions of fixed point spaces, we prove that this set is dense when $G$ is an exceptional algebraic group and $t geqslant 5$, assuming $k$ is not algebraic over a finite field. In fact, for $G=G_2$ we only need $t geqslant 4$ and both of these bounds are best possible. As an application, we show that many faithful representations of exceptional algebraic groups are generically free. We also establish new results on the topological generation of exceptional groups in the special case $t=2$, which have applications to random generation of finite exceptional groups of Lie type. In particular, we prove a conjecture of Liebeck and Shalev on the random $(r,s)$-generation of exceptional groups.
rate research
Read More
Let $G$ be a simple algebraic group over an algebraically closed field and let $X$ be an irreducible subvariety of $G^r$ with $r geqslant 2$. In this paper, we consider the general problem of determining if there exists a tuple $(x_1, ldots, x_r) in X$ such that $langle x_1, ldots, x_r rangle$ is Zariski dense in $G$. We are primarily interested in the case where $X = C_1 times cdots times C_r$ and each $C_i$ is a conjugacy class of $G$ comprising elements of prime order modulo the center of $G$. In this setting, our main theorem gives a complete solution to the problem when $G$ is a symplectic or orthogonal group. By combining our results with earlier work on linear and exceptional groups, this gives a complete solution for all simple algebraic groups. We also present several applications. For example, we use our main theorem to show that many faithful representations of symplectic and orthogonal groups are generically free. We also establish new asymptotic results on the probabilistic generation of finite simple groups by pairs of prime order elements, completing a line of research initiated by Liebeck and Shalev over 25 years ago.
In this paper, we investigate algebraic and topological properties of the Riordan groups over finite fields. These groups provide a new class of topologically finitely generated profinite groups with finite width. We also introduce, characterize index-subgroups of our Riordan groups, and finally we show exactly the range of Hausdorff dimensions of these groups. The latter results are analogous to the work of Barnea and Klopsch for the Nottingham groups.
In this paper we characterize the finite permutation groups $F<S_d$ on $d$ letters such that every compact open subgroup of the associated universal group $U(F)<{rm Aut} T_d$ is topologically finitely generated. Actually we show that in this case the groups are positively finitely generated.
Let $q$ be a prime power and let $G$ be an absolutely irreducible subgroup of $GL_d(F)$, where $F$ is a finite field of the same characteristic as $F_q$, the field of $q$ elements. Assume that $G cong G(q)$, a quasisimple group of exceptional Lie type over $F_q$ which is neither a Suzuki nor a Ree group. We present a Las Vegas algorithm that constructs an isomorphism from $G$ to the standard copy of $G(q)$. If $G otcong {}^3 D_4(q)$ with $q$ even, then the algorithm runs in polynomial time, subject to the existence of a discrete log oracle.
Let $G$ be a reductive algebraic group---possibly non-connected---over a field $k$ and let $H$ be a subgroup of $G$. If $G= GL_n$ then there is a degeneration process for obtaining from $H$ a completely reducible subgroup $H$ of $G$; one takes a limit of $H$ along a cocharacter of $G$ in an appropriate sense. We generalise this idea to arbitrary reductive $G$ using the notion of $G$-complete reducibility and results from geometric invariant theory over non-algebraically closed fields due to the authors and Herpel. Our construction produces a $G$-completely reducible subgroup $H$ of $G$, unique up to $G(k)$-conjugacy, which we call a $k$-semisimplification of $H$. This gives a single unifying construction which extends various special cases in the literature (in particular, it agrees with the usual notion for $G= GL_n$ and with Serres $G$-analogue of semisimplification for subgroups of $G(k)$). We also show that under some extra hypotheses, one can pick $H$ in a more canonical way using the Tits Centre Conjecture for spherical buildings and/or the theory of optimal destabilising cocharacters introduced by Hesselink, Kempf and Rousseau.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
