Related papers: Topological generation of simple algebraic groups
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…
Let $C_1,\ldots,C_e$ be noncentral conjugacy classes of the algebraic group $G=SL_n(k)$ defined over a sufficiently large field $k$, and let $\Omega:=C_1\times \ldots \times C_e$. This paper determines necessary and sufficient conditions…
Let $G$ be a simple algebraic group of exceptional type over an algebraically closed field of characteristic $p \geqslant 0$ which is not algebraic over a finite field. Let $\mathcal{C}_1, \ldots, \mathcal{C}_t$ be non-central conjugacy…
We prove that for a connected, semisimple linear Lie group $G$ the spaces of generating pairs of elements or subgroups are well-behaved in a number of ways: the set of pairs of elements generating a dense subgroup is Zariski-open in the…
Tkachenko and Yaschenko [34] characterized the abelian groups G such that all proper unconditionally closed subsets of G are finite, these are precisely the abelian groups G having cofinite Zariski topology (they proved that such a G is…
We introduce the first provably efficient algorithm to check if a finitely generated subgroup of an almost simple semi-simple group over the rationals is Zariski-dense. We reduce this question to one of computing Galois groups, and to this…
Let $G$ be a finite simple group of Lie type and let $P$ be a Sylow $2$-subgroup of $G$. In this paper, we prove that for any nontrivial element $x \in G$, there exists $g \in G$ such that $G = \langle P, x^g \rangle$. By combining this…
Let $\Gamma$ be a Zariski-dense subgroup of a reductive group $\mathbf{G}$ defined over a field $F$. Given a finite collection of finite subgroups $H_i$ ($i \in I$) of $\mathbf{G}(F)$ avoiding the center, we establish a criterion to ensure…
We prove two results about the natural representation of a group G of automorphisms of a normal projective threefold X on its second cohomology. We show that if X is minimal then G, modulo a normal subgroup of null entropy, is embedded as a…
Let \alpha_0 be an affine action of a discrete group \Gamma on a compact homogeneous space X and \alpha_1 a smooth action of \Gamma on X which is C^1-close to \alpha_0. We show that under some conditions, every topological conjugacy between…
We construct generating pairs of simple Lie algebras in characteristic zero. We apply this construction to exhibit infinite series of 2-generator Zariski dense subgroups that are free of rank 2 of the simple algebraic groups SL(n, C), Sp(n,…
Let G be a semi-simple algebraic group over a finitely generated field K of characteristic zero, and let \Gamma < G(K) be a finitely generated Zariski-dense subgroup. In this note we prove that the set of K-generic elements of \Gamma (whose…
We prove in a large number of cases, that a Zariski dense discrete subgroup of a simple real algebraic group $G$ which contains a higher rank lattice is a lattice in the group $G$. For example, we show that a Zariski dense subgroup of…
According to Markov, a subset of an abelian group G of the form {x in G: nx=a}, for some integer n and some element a of G, is an elementary algebraic set; finite unions of elementary algebraic sets are called algebraic sets. We prove that…
We provide a new condition for an absolutely almost simple algebraic group to have good reduction with respect to a discrete valuation of the base field which is formulated in terms of the existence of maximal tori with special properties.…
In this article, we establish results concerning the cohomology of Zariski dense subgroups of solvable linear algebraic groups. We show that for an irreducible solvable $\mathbb{Q}$-defined linear algebraic group $\mathbf{G}$, there exists…
In previous work, the second author introduced a topology, for spaces of irreducible representations, that reduces to the classical Zariski topology over commutative rings but provides a proper refinement in various noncommutative settings.…
Let $X$ be a connected normal scheme of finite type over $\mathbf{Z}$, let $G$ be a connected reductive group over $\mathbf{Q}$, and let $\{\rho_\ell\colon\pi_1(X[1/\ell])\to G(\mathbf{Q}_\ell)\}_\ell$ be a Frobenius-compatible collection…
We investigate for which linear-algebraic groups (over the complex numbers or any local field) there exists subgroups which are dense in the Zariski topology, but discrete in the Hausdorff topology. For instance, such subgroups exist for…
Let $G$ be a simple algebraic group over the algebraic closure of $GF(p)$ ($p$ prime), and let $G(q)$ denote a corresponding finite group of Lie type over $GF(q)$, where $q$ is a power of $p$. Let $X$ be an irreducible subvariety of $G^r$…