Related papers: K_g is not finitely generated

We prove that the mapping class group of a closed connected orientable surface of genus $g$ is generated by two elements of order $g$ for $g\geq 6$. Moreover, for $g\geq 7$ we found a generating set of two elements, of order $g$ and $g'$…

We prove that the abstract commensurator of a nonabelian free group, an infinite surface group, or more generally of a group that splits appropriately over a cyclic subgroup, is not finitely generated. This applies in particular to all…

In this paper we prove that the profinite completion $\mathcal{\hat G}$ of the Grigorchuk group $\mathcal{G}$ is not finitely presented as a profinite group. We obtain this result by showing that $H^2(\mathcal{\hat G},\field{F}_2)$ is…

Building on the work of K. Mann and K. Rafi, we analyze the large scale geometry of big mapping class groups of surfaces with a unique maximal end. We obtain a complete characterization of those that are globally CB, which does not require…

Let $G$ be the linear algebraic group $SL_3$ over a field $k$ of characteristic two. Let $A$ be a finitely generated commutative $k$-algebra on which $G$ acts rationally by $k$-algebra automorphisms. We show that the full cohomology ring…

We prove that the Dehn function of a group of Stallings that is finitely presented but not of type F_3 is quadratic. To appear in Geometric and Functional Analysis.

We show that for any $k$ at least $6$ and $g$ sufficiently large, the mapping class group of a surface of genus $g$ can be generated by three elements of order $k$. We also show that this can be done with four elements of order $5$. We…

Let $G$ be the group scheme $SL_2$ defined over a noetherian ring $k$. If $G$ acts on a finitely generated commutative $k$-algebra $A$, then $H^*(G,A)$ is a finitely generated $k$-algebra.

It is proven that an infinite finitely generated group cannot be elementarily equivalent to an ultraproduct of finite groups of a given Pr\"ufer rank. Furthermore, it is shown that an infinite finitely generated group of finite Pr\"ufer…

For a closed surface $S$, its Torelli group $\mathcal{I}(S)$ is the subgroup of the mapping class group of $S$ consisting of elements acting trivially on $H_1(S;\mathbb{Z})$. When $S$ is orientable, a generating set for $\mathcal{I}(S)$ is…

We prove that if $X$ is a complex projective K3 surface and $g>0$, then there exist infinitely many families of curves of geometric genus $g$ on $X$ with maximal, i.e., $g$-dimensional, variation in moduli. In particular every K3 surface…

We give a characterization of hypercyclic abelian semigroup G of affine maps on C^n. If G is finitely generated, this characterization is explicit. We prove in particular that no abelian group generated by n affine maps on C^n has a dense…

We prove that any finitely generated one ended group has linear end depth. Moreover, we give alternative proofs to theorems relating the growth of a finitely generated group to the number of its ends.

We study subgroups of the mapping class group of the torus generated by powers generated by powers of Dehn twists. We give a criterion to show when a collection of powers Dehn twists generates a free group using the ping pong lemma. We show…

Following the philosophy of arithmetic topology, we describe a point of view which helps look at surfaces and $p$-adic fields in a "uniform way", and show that results on mapping class groups can be extended to this point of view, and thus…

We prove that if a surface group embeds as a normal subgroup in a K\"ahler group and the conjugation action of the K\"ahler group on the surface group preserves the conjugacy class of a non-trivial element, then the K\"ahler group is…

We prove that second rational homology of the Torelli group of an orientable closed surface of genus g is finite dimensional for g at least 51. This rules out the simplest obstruction to the Torelli group being finitely presented and…

Let $\Gamma_g$ denote the orientation-preserving Mapping Class Group of the genus $g\geq 1$ closed orientable surface. In this paper we show that for fixed $g$, every finite group occurs as a quotient of a finite index subgroup of…

We study whether there exist infinitely many surfaces with given discrete invariants for which the H^2 is of CM type. This is a surface analogue of a conjecture of Coleman about curves. We construct a large number of examples of families of…

The classical theorem of Weitzenboeck states that the algebra of invariants of a single unipotent transformation $g$ in $GL_m(K)$ acting on the polynomial algebra $K[x_1,...,x_m]$ over a field $K$ of characteristic 0 is finitely generated.…