Abstract:Abstract The automorphism group of an affine variety is an ind‐group. Its Lie algebra is canonically embedded into the Lie algebra of vector fields on . We study the relations between subgroups of and Lie subalgebras of . We show that a subgroup generated by a family of connected algebraic subgroups of is algebraic if and only if the Lie algebras generate a finite‐dimensional Lie subalgebra of . Extending a result by Cohen–Draisma (Transform. Groups 8 (2003), no. 1, 51–68), we prove that a locally finite Lie algebra generated by locally nilpotent vector fields is algebraic, that is, for an algebraic subgroup . Along the same lines, we prove that if a subgroup generated by finitely many connected algebraic groups is solvable, then it is an algebraic group. We also show that a unipotent algebraic subgroup has derived length . This result is based on the following triangulation theorem: Every unipotent algebraic subgroup of with a dense orbit in is conjugate to a subgroup of the de Jonquières subgroup . Furthermore, we give an example of a free subgroup generated by two algebraic elements such that the Zariski closure is a free product of two nested commutative closed unipotent ind‐subgroups. To any affine ind‐group , one can associate a canonical ideal . It is linearly generated by the tangent spaces for all algebraic subsets that are smooth in . It has the important property that for a surjective homomorphism , the induced homomorphism is surjective as well. Moreover, if is a subnormal closed ind‐subgroup of finite codimension, then has finite codimension in .

Algebraic fundamental groups of fake projective planes

Quotients of fake projective planes

On the Geometry of a Fake Projective Plane with $21$ Automorphisms

Real polynomials with constrained real divisors. I. Fundamental groups

Real Fundamental Chevalley Involutions and Conjugacy Classes

The inverse Galois problem for connected algebraic groups

Algebraically generated groups and their Lie algebras

Galois covers of singular curves in positive characteristics

Smooth structures on four-manifolds with finite cyclic fundamental groups

Lefschetz classes on projective varieties

Quotient gradings and the intrinsic fundamental group

Exotic definite four-manifolds with non-trivial fundamental group

On the proalgebraic fundamental group of topological spaces and amalgamated products of affine group schemes

Arithmetic representations of fundamental groups II: finiteness

Finite abelian subgroups in the groups of birational and bimeromorphic selfmaps

Virtual algebraic fibrations of surface-by-surface groups and orbits of the mapping class group

The geometric fundamental group of the affine line over a finite field

A Lie algebra attached to a projective variety

Exotic definite four-manifolds with non-cyclic fundamental group

On the algebraic fundamental group of smooth varieties in characteristic $p>0$

Geometric realisation over aspherical groups