arXiv research

In this paper we give an example of a linear group such that its tensor square is not linear. Also, we formulate some sufficient conditions for the linearity of non-abelian tensor products $G \otimes H$ and tensor squares $G \otimes G$. Using these results we prove that tensor squares of some groups with one relation a…

Study shows non-abelian free groups' 4th cohomology is non-zero.

The study finds a subgroup of graph braid groups that is a direct product of non-abelian free groups.

We give a description of the model theoretic relation of forking independence in terms of the notion of JSJ decompositions in non abelian free groups.

Trivial Massey product in specific cohomology groups.

We show that if a group is not virtually cyclic and is hyperbolic relative to a family of proper subgroups, then it has a hyperbolically embedded subgroup which contains a finitely generated non-abelian free group as a finite index subgroup.

We prove that, except for a few explicit roots of unity, the quantum image of any Johnson subgroup of the mapping class group contains an explicit free non-abelian subgroup.

We show, using Wise's equitable sets criterion, that every tubular free by cyclic group acts freely on a CAT(0) cube complex. We also show that these groups have a finite index subgroup satisfying the strongest Tits alternative, which means that every subgroup either surjects a non abelian free group or is torsion free…

Recall that a group is called large if it has a finite index subgroup which surjects onto a non-abelian free group. By work of Agol and Cooper-Long-Reid, most 3-manifold groups are large; in particular, the fundamental groups of hyperbolic 3-manifolds are large. In previous work, the first author gave examples of close…

Researchers show how to perturb free group representations into higher rank groups.

We discuss various lifting and reduction problems for bundles and gerbes in the context of a strict Lie 2-group. We obtain a geometrical formulation (and a new proof) for the exactness of Breen's long exact sequence in non-abelian cohomology. We use our geometrical formulation in order to define a transgression map in …

Maps between automorphism groups are isomorphisms for free factor complexes.

Let $\varphi$ be a hyperbolic outer automorphism of a non-abelian free group $F_N$ such that $\varphi$ and $\varphi^{-1}$ admit absolute train track representatives. We prove that $\varphi$ acts on the space of projectivized geodesic currents on $F_N$ with generalized uniform North-South dynamics.

Probabilistic proof shows separability in free groups.

Homotopy braid groups are shown to be torsion-free.

Let M be a smooth compact connected oriented manifold of dimension at least two endowed with a volume form. Assuming certain conditions on the fundamental group $π_1(M)$ we construct quasi-isometric embeddings of either free Abelian or direct products of non-Abelian free groups into the group of volume preserving diffe…

Study shows monodromy kernels are large, failing to prove commensurability in specific strata.

Many physical theories, including notably string theory, require non-abelian higher gauge fields defining higher holonomy. Previous approaches to such higher connections on categorified principal bundles require these to be fake flat. This condition, however, renders them locally gauge equivalent to connections on abel…

We establish new strong lower bounds on the (subnormal) subgroup growth of a large class of groups. This includes the fundamental groups of all finite-volume hyperbolic 3-manifolds and all (free non-abelian)-by-cyclic groups. The lower bound is nearly exponential, which should be compared with the fastest possible subg…

Study of Dehn twists in free groups generates right-angled Artin groups.

The abstract discusses braided surfaces and their characteristic maps, linking them to algebraic and geometric properties.

Study confirms non-injective monodromy for even genus 4 translation surfaces.

This is the first in a planned series of papers giving an alternate approach to Zlil Sela's work on the Tarski problems. The present paper is an exposition of work of Kharlampovich-Myasnikov and Sela giving a parametrization of Hom(G,F) where G is a finitely generated group and F is a non-abelian free group.

Given two Lagrangian spheres in an exact symplectic manifold, we find conditions under which the Dehn twists about them generate a free non-abelian subgroup of the symplectic mapping class group. This extends a result of Ishida for Riemann surfaces. The proof generalises the categorical version of Seidel's long exact s…

Let $p$ be an odd prime. We construct a non-abelian extension $Γ$ of $S^1$ by $Z/p \times Z/p$, and prove that any finite subgroup of $Γ$ acts freely and smoothly on $S^{2p-1} \times S^{2p-1}$. In particular, for each odd prime $p$ we obtain free smooth actions of infinitely many non-metacyclic rank two $p$-groups on $…

Graphically discrete groups have strong rigidity properties.

A generalized Baumslag-Solitar group (GBS group) is a finitely generated group $G$ which acts on a tree with all edge and vertex stabilizers infinite cyclic. We show that Out(G) either contains non-abelian free groups or is virtually nilpotent of class at most 2. It has torsion only at finitely many primes. One may dec…

We give an example of a subgroup of SL(2,C) which is a strictly ascending HNN extension of a non-abelian finitely generated free group F. In particular, we exhibit a free group F in SL(2,C) of rank 6 which is conjugate to a proper subgroup of itself. This answers positively a question of Drutu and Sapir. The main ingre…

Gromov proposed an averaged version of the Dehn function and claimed that in many cases it should be subasymptotic to the Dehn function. Using results on random walks in nilpotent groups, we confirm this claim for most nilpotent groups. In particular, if a nilpotent group satisfies the isoperimetric inequality $δ(l)<Cl…

New theory connects non-abelian bundle gerbes to abelian ones.

We construct homogeneous flat pseudo-Riemannian manifolds with non-abelian fundamental group. In the compact case, all homogeneous flat pseudo-Riemannian manifolds are complete and have abelian linear holonomy group. To the contrary, we show that there do exist non-compact and non-complete examples, where the linear ho…

Abstract: Proves non-abelian group of equivariant concordance.

A group is known as `large' if some finite index subgroup admits a surjective homomorphism onto a non-abelian free group. The main theorem of the paper is as follows. Let G be a finitely generated, large group and let g_1,...,g_r be a collection of elements of G. Then G/<<g_1^n,...,g_r^n>> is also large, for infinitely…

We construct a non-abelian extension $Γ$ of $S^1$ by $\cy 3 \times \cy 3$, and prove that $Γ$ acts freely and smoothly on $S^{5} \times S^{5}$. This gives new actions on $S^{5} \times S^{5}$ for an infinite family $\cP$ of finite 3-groups. We also show that any finite odd order subgroup of the exceptional Lie group $G_…

A group is known as `large' if some finite index subgroup admits a surjective homomorphism onto a non-abelian free group. In this paper, we give a necessary and sufficient condition for a finitely presented group to be large, in terms of the existence of a normal series where successive quotients are finite abelian gro…

We show that a complete flat pseudo-Riemannian homogeneous manifold with non-abelian linear holonomy is of dimension at least 14. Due to an example constructed in a previous article by Oliver Baues and the author, this is a sharp bound. Also, we give a structure theory for the fundamental groups of complete flat pseudo…

We show that for acylindrically hyperbolic groups $Γ$ (with no nontrivial finite normal subgroups) and arbitrary unitary representation $ρ$ of $Γ$ in a (nonzero) uniformly convex Banach space the vector space $H^2_b(Γ;ρ)$ is infinite dimensional. The result was known for the regular representations on $\ell^p(Γ)$ with …

We consider linear groups which do not contain unipotent elements of infinite order, which includes all linear groups in positive characteristic, and show that this class of groups has good properties which resemble those held by groups of non positive curvature and which do not hold for arbitrary characteristic zero l…

According to the classical Plante-Thurston Theorem, all nilpotent groups of $C^2$-diffeomorphisms of the closed interval are Abelian. Using techniques coming from the works of Denjoy and Pixton, Farb and Franks constructed a faithful action by $C^1$-diffeomorphisms of $[0,1]$ for every finitely-generated, torsion-free,…

Study of subgroups in complex hyperbolic lattice triangle groups.

We describe a generalization of GKM theory for actions of arbitrary compact connected Lie groups. To an action satisfying the non-abelian GKM conditions we attach a graph encoding the structure of the non-abelian 1-skeleton, i.e., the subspace of points with isotopy rank at most one less than the rank of the acting gro…

We introduce an axiomatic framework for the parallel transport of connections on gerbes. It incorporates parallel transport along curves and along surfaces, and is formulated in terms of gluing axioms and smoothness conditions. The smoothness conditions are imposed with respect to a strict Lie 2-group, which plays the …

Let G be a finitely presented group, and let p be a prime. Then G is 'large' (respectively, 'p-large') if some normal subgroup with finite index (respectively, index a power of p) admits a non-abelian free quotient. This paper provides a variety of new methods for detecting whether G is large or p-large. These relate t…

Defines non-Abelian gerbes with connections for physical applications.

A long-standing conjecture due to Michael Freedman asserts that the 4-dimensional topological surgery conjecture fails for non-abelian free groups, or equivalently that a family of canonical examples of links (the generalized Borromean rings) are not A-B slice. A stronger version of the conjecture, that the Borromean r…

Let F be a non-abelian finite rank free group, and let H_g be the fundamental group of a surface of genus g with one boundary component represented by D_g in H_g. So, H_g is the free group <a_1,b_1,...,a_g,b_g> and D_g is the product of commutators [a_1,b_1]...[a_g,b_g]. Given x in F, we are interested in the number nu…

We extend the equivariant holomorphic Morse inequalities of circle actions to cases with torus and non-Abelian group actions on holomorphic vector bundles over Kahler manifolds and show the necessity of the Kahler condition. For torus actions, there is a set of inequalities for each choice of action chambers specifying…

The question was raised as to whether the cut number of a 3-manifold X is bounded from below by 1/3 beta_1(X). We show that the answer to this question is `no.' For each m>0, we construct explicit examples of closed 3-manifolds X with beta_1(X)=m and cut number 1. That is, pi_1(X) cannot map onto any non-abelian free g…