Related papers: Finiteness of algebraic fundamental groups

We show finiteness results on torsion points of commutative algebraic groups over a $p$-adic field $K$ with values in various algebraic extensions $L/K$ of infinite degree. We mainly study the following cases: (1) $L$ is an abelian…

For finitary regular monads T on locally finitely presentable categories we characterize the finitely presentable objects in the category of T-algebras in the style known from general algebra: they are precisely the algebras presentable by…

Given a closed smooth manifold $M$ of even dimension $2n\ge6$ with finite fundamental group, we show that the classifying space ${\rm BDiff}(M)$ of the diffeomorphism group of $M$ is of finite type and has finitely generated homotopy groups…

Generalizing work of Smith and Hara, we give a new characterization of log-terminal singularities for finitely generated algebras over $\mathbb C$, in terms of purity properties of ultraproducts of characteristic $p$ Frobenii. The first…

We show that locally acyclic cluster algebras have (at worst) canonical singularities. In fact, we prove that locally acyclic cluster algebras of positive characteristic are strongly F-regular. In addition, we show that upper cluster…

In this article, we prove a toroidalization principle for finite actions on klt singularities. As an application, we prove that the Jordan property for the regional fundamental group of klt singularities can be realized geometrically: by…

Let X be an affine variety and L be a solvable Lie subalgebra of Lie(Aut(X)) generated by a finite collection of locally finite Lie subalgebras. The authors of [arXiv:2507.09679] wondered whether L is itself locally finite. Here we present…

We establish several finiteness properties of groups defined by algebraic difference equations. One of our main results is that a subgroup of the general linear group defined by possibly infinitely many algebraic difference equations in the…

We prove that every finitely presentable group G arises as the fundamental group of an orientable 3-complex obtained from a hyperbolic link complement, by coning each boundary torus of the link exterior to a distinct point. We define the…

(On the fundamental group of rationnally connected varieties.) I show that the fundamental group of a normal variety which is rationally chain connected is finite. The proof holds in non-zero characteristic. Je d\'emontre que le groupe…

We show the boundedness of finite subgroups in any anisotropic reductive algebraic group over a perfect field that contains all roots of 1. Also, we provide explicit bounds for orders of finite subgroups of automorphism groups of…

Extending a theorem of Shelah we prove that fundamental groups of Peano continua (locally connected and connected metric compact spaces) are finitely presented if they are countable. The proof uses ideas from geometric group theory.

We prove that every finitary polynomial endofunctor of a category $C$ has a final coalgebra if $C$ is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of…

In this article, we introduce an approach to study the fundamental group of a log terminal T-variety. As applications, we prove the simply connectedness of the spectrum of the Cox ring of a complex Fano variety, we compute the fundamental…

All finite simple groups are determined with the property that every Galois orbit on conjugacy classes has size at most 4. From this we list all finite simple groups $G$ for which the normalized group of central units of the integral group…

We study the algebraic exceptional set for surfaces (S,B) of log general type, when B has at least three irreducible components; we prove that in most cases it is finite or empty.

In this note we prove that every finite collection of connected algebraic subgroups of the group of triangular automorphisms of the affine space generates a connected solvable algebraic subgroup.

We show the Jordan property for regional fundamental groups of klt singularities of fixed dimension. Furthermore, we prove the existence of effective simultaneous index one covers for $n$-dimensional klt singularities. We give an…

The classical knot groups are the fundamental groups of the complements of smooth or piecewise-linear (PL) locally-flat knots. For PL knots that are not locally-flat, there is a pair of interesting groups to study: the fundamental group of…

We prove that each \omega-categorical, generically stable group is solvable-by-finite.