Related papers: The surjectivity problem for one-generator,, one-r…

The Kervaire conjecture asserts that adding a generator and then a relator to a nontrivial group always results in a nontrivial group. We introduce new methods from stable commutator length to study this type of problems about nontriviality…

Adding two generators and one arbitrary relator to a nontrivial torsion-free group, we always obtain an SQ-universal group. In the course of the proof of this theorem, we obtain some other results of independent interest. For instance,…

Let G be a linear algebraic group defined over a field k. We prove that, under mild assumptions on k and G, there exists a finite k-subgroup S of G such that the natural map H^1(K, S) -> H^1(K, G) is surjective for every field extension…

We resolve the Grothendieck-Serre question over an arbitrary base field $k$: for a smooth $k$-group scheme $G$ and a smooth $k$-variety $X$, we show that every generically trivial $G$-torsor over $X$ trivializes Zariski semilocally on $X$.…

Let G be a compact connected Lie group, and (M,\omega) a Hamiltonian G-space with proper moment map \mu. We give a surjectivity result which expresses the K-theory of the symplectic quotient M//G in terms of the equivariant K-theory of the…

The Atiyah conjecture for a discrete group G states that the $L^2$-Betti numbers of a finite CW-complex with fundamental group G are integers if G is torsion-free and are rational with denominators determined by the finite subgroups of G in…

Let $K$ be a field of characteristic zero, let $G$ be a connected linear $K$-algebraic group, and let $H$ be a connected closed subgroup of $G$. Let $X_c$ be a smooth compactification of $X=G/H$, and let $Y\overset{}{\longrightarrow}X_c$ be…

We show that finitely generated groups which are Liouville and without infinite finite-dimensional linear representations must have a global fixed point whenever they act by isometry on a finite-dimensional complete CAT(0)-space. This…

We prove that any countable discrete and torsion free subgroup of a general linear group over an arbitrary field or a similar subgroup of an almost connected Lie group satisfies the integral algebraic K-theoretic (split) Novikov conjecture…

We use Klyachko's methods [A funny property of sphere and equations over groups, Comm. in Alg. 21 (1993) 2555--2575] (see also Fenn-Rourke, L'Enseignment Math. 42 (1996) 49--74 and math.GR/9810184 and Cohen-Rourke, math.GR/0009101) to prove…

The statement ``no nonabelian simple group can be obtained from a nonsimple group by adding one generator and one relator" 1) is equivalent to the Kervaire--Laudenbach conjecture; 2) becomes true under the additional assumption that the…

Let G be an algebraic group corresponding to a compact Lie group. We study the restiction map from the Chow ring CH(BG) to the Wely group invariants CH(BT)^W. For example, we note that if G is simply connect and H(G) has torsion, then the…

We apply the method of Arzhantseva-Ol'shanskii to prove that for an exponentially generic (in the sense of Ol'shanskii) class of one-relator groups the isomorphism problem is solvable in at most exponential time. This is obtained as a…

Let $G$ be a group containing a nilpotent normal subgroup $N$ with central series $\{N_j\}$, such that each $N_j/N_{j+1}$ is a $\mathbb{F}$-vector space over a field $\mathbb{F}$ and the action of $G$ on $N_j/N_{j+1}$ induced by the…

Suppose that G is a nontrivial torsion-free group and w is a word in the alphabet G\cup\{x_1^{\pm1},...,x_n^{\pm1}\} such that the word w' obtained from w by erasing all letters belonging to G is not a proper power in the free group…

We establish several results on the word problem for just infinite groups. First, for finitely generated just infinite groups we show that the word problem is uniformly decidable for presentations with recursively enumerable sets of…

Given a reflection $r$ in a Coxeter group $W$ (possibly of infinite rank), we consider the subgroup of $W$ generated by the reflections in $W$ having (-1)-eigenvectors orthogonal to the (-1)-eigenvector of $r$. In this paper, we determine…

For a set $X\subseteq \mathbb{N}$, we define the $X$-torsion of a group $G$ to be all elements $g\in G$ with $g^{n}=e$ for some $n\in X$. With $X$ recursively enumerable, we give two independent proofs (group-theoretic, and model-theoretic)…

Let $G$ be a non-trivial torsion free group and $s(t)=g_{1}t^{\epsilon_{1}}g_{2}t^{\epsilon_{2}} \cdots g_{n}t^{\epsilon_{n}}=1 \; (g_{i} \in G,\ \epsilon_i=\pm 1)$ be an equation over $G$ containing no blocks of the form…

We consider the class of finitely generated groups whose relators are powers of commutators of the generators. This class contains as a small subclass graph groups (also called RAAGs), namely if all powers are one. Graph groups are the only…