Related papers: Three-manifolds and Kaehler groups

We prove a finiteness theorem for subgroups of bounded rank in hyperbolic $3$-manifold groups. As a consequence, we show that every bounded rank covering tower of closed hyperbolic $3$-manifolds is a tower of finite covers associated to a…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

A free-by-cyclic group $F_N\rtimes_\phi\mathbb{Z}$ has non-trivial centre if and only if $[\phi]$ has finite order in ${\rm{Out}}(F_N)$. We establish a profinite ridigity result for such groups: if $\Gamma_1$ is a free-by-cyclic group with…

The following results are proved: The center of any finite index subgroup of an irreducible, infinite, non-affine Coxeter group is trivial; Any finite index subgroup of an irreducible, infinite, non-affine Coxeter group cannot be expressed…

It was proved by Tien-Cuong Dinh and me that there is a smooth complex projective surface whose automorphism group is discrete and not finitely generated. In this paper, we will show that there is a smooth projective surface, birational to…

We show that compact complex manifolds of algebraic dimension zero bearing a holomorphic Cartan geometry of algebraic type have infinite fundamental group. This generalizes the main Theorem in [DM] where the same result was proved for the…

For a compact smooth manifold $M$ (with boundary) we prove that the topological rank of the diffeomorphism group Diff$_0^k(M)$ is finite for all $k\geq 1$. This extends a result from [2] where the same claim is proved in the special case of…

Let $\mathcal X$ be a regular variety, flat and proper over a complete regular curve over a finite field, such that the generic fiber $X$ is smooth and geometrically connected. We prove that the Brauer group of $\mathcal X$ is finite if and…

A myriad of irreducible symplectic 4-manifolds with abelian non-cyclic fundamental group is constructed. The botany of manifolds with finite non-cyclic fundamental groups is also studied.

We prove that all finitely generated fully residually free groups (limit groups) have a sequence of finite dimensional unitary representations that `strongly converge' to the regular representation of the group. The corresponding statement…

Free products of two residually finite groups with amalgamated retracts are considered. It is proved that a cyclic subgroup of such a group is not finitely separable if, and only if, it is conjugated with a subgroup of a free factor which…

It follows from the work of Kapovitch and Wilking that a closed manifold with nonnegative Ricci curvature has an almost nilpotent fundamental group. Leftover questions and conjectures have asked if in this context the fundamental group is…

The main result of this paper is that any $3$-dimensional manifold with a finite group action is equivariantly, invertibly homology cobordant to a hyperbolic manifold; this result holds with suitable twisted coefficients as well. The…

How different is the universal cover of a given finite 2-complex from a 3-manifold (from the proper homotopy viewpoint)? Regarding this question, we recall that a finitely presented group $G$ is said to be properly 3-realizable if there…

Groups of finite type (also called finitely constrained groups), introduced by Grigorchuk, are known to be the closure of regular branch groups. This article explores many of their properties. Firstly, we prove that being finitely…

We classify all closed non-orientable $\mathbb{P}^2$-irreducible 3-manifolds obtained by identifying the faces of a cube. These turn out to be the closed non-orientable $\mathbb{P}^2$-irreducible 3-manifolds with surface-complexity one. We…

The purpose of this note is to classify unital cubic maps from the cyclic group of order $3$ into an arbitrary non-abelian group. We show that the universal group admitting a unital cubic map from the cyclic group of order $3$ is infinite,…

Cyclohedra are a well-known infinite familiy of finite-dimensional polytopes that can be constructed from centrally symmetric triangulations of even-sided polygons. In this article we introduce an infinite-dimensional analogue and prove…

Let f:A-->B be a covering map. We say A has e filtered ends with respect to f (or B) if for some filtration {K_n} of B by compact subsets, A - f^{-1}(K_n) "eventually" has e components. The main theorem states that if Y is a (suitable) free…

We extend the Siu--Beauville theorem to a certain class of compact Kaehler--Weyl manifolds, proving that they fiber holomorphically over hyperbolic Riemannian surfaces whenever they satisfy the necessary topological hypotheses. As…