arXiv research

We prove that the first order theory of nonabelian free groups eliminates the "there exists infinitely many" quantifier (in eq). Equivalently, since the theory of nonabelian free groups is stable, it does not have the finite cover property. We also extend our results to torsion-free hyperbolic groups under some conditi…

New space of currents defined for nonabelian free groups and malnormal subgroups.

We discuss dense embeddings of surface groups and fully residually free groups in topological groups. We show that a compact topological group contains a nonabelian dense free group of finite rank if and only if it contains a dense surface group. Also, we obtain a characterization of those Lie groups which admit a dens…

Study embeddings of free group products into automorphism groups.

The validity of Freedman's disk theorem is known to depend only on the fundamental group. It was conjectured that it fails for nonabelian free fundamental groups. If this were true then surgery theory would work in dimension four. Recently, Krushkal and Lee proved a surprising result that surgery theory works for a lar…

We give a lower bound to the dimension of a contractible manifold on which a given group can act properly discontinuously. In particular, we show that the $n$-fold product of nonabelian free groups cannot act properly discontinuously on $\R^{2n-1}$.

We prove that, for n=3 and 4, the minimal nonabelian finite factor group of the outer automorphism group Out F_n of a free group of rank n is the linear group PSL_n(Z_2) (conjecturally, this may remain true for arbitrary rank n > 2). We also discuss some computational results on low index subgroups of Aut F_n and Out F…

Sharp bounds found on nonabelian quotients of surface braid groups.

The paper studies automorphisms of free groups with a North-South dynamics.

We give various estimates of the minimal number of self-intersections of a nontrivial element of the kth term of the lower central series and derived series of the fundamental group of a surface. As an application, we obtain a new topological proof of the fact that free groups and fundamental groups of closed surfaces …

We study biinvariant word metrics on groups. We provide an efficient algorithm for computing the biinvariant word norm on a finitely generated free group and we construct an isometric embedding of a locally compact tree into the biinvariant Cayley graph of a nonabelian free group. We investigate the geometry of cyclic …

We establish a close connection between stable commutator length in free groups and the geometry of sails (roughly, the boundary of the convex hull of the set of integer lattice points) in integral polyhedral cones. This connection allows us to show that the scl norm is piecewise rational linear in free products of Abe…

Researchers study injectivity of magnetic and thermostatic nonabelian ray transforms on compact surfaces.

We examine the relationship between nonabelian Hodge theory for Riemann surfaces and the theory of vector valued modular forms. In particular, we explain how one might use this relationship to prove a conjectural three-term inequality on the weights of free bases of vector valued modular forms associated to complex, fi…

In recent years, the RFRS condition has been used to analyze virtual fibering in 3-manifold topology. Agol's work shows that any 3-manifold with zero Euler characteristic satisfying the RFRS condition on its fundamental group virtually fibers over the circle. In this note we will show that a finitely generated nilpoten…

We construct a 2-dimensional twisted nonabelian multiplicative integral. This is done in the context of a Lie crossed module (an object composed of two Lie groups interacting), and a pointed manifold. The integrand is a connection-curvature pair, that consists of a Lie algebra valued 1-form and a Lie algebra valued 2-f…

Polynomial growth elements found in all subgroups of Out(F_n).

We analyze the structure of the \emph{frequency space} $Q(F)$ of a nonabelian free group $F=F(a_1,...,a_k)$ consisting of all shift-invariant Borel probability measures on $\partial F$ and construct a natural action of $Out(F)$ on $Q(F)$. In particular we prove that for any outer automorphism $φ$ of $F$ the \emph{conju…

Study shows infinite kernels in topological monodromy for curve families.

This note introduces and studies an open set of PSL(2,C) characters of a nonabelian free group, on which the action of the outer automorphism group is properly discontinuous, and which is strictly larger than the set of discrete, faithful convex-cocompact (i.e. Schottky) characters. This implies, in particular, that th…

In this note we show that many subgroups of mapping class groups of infinite-type surfaces without boundary have trivial centers, including all normal subgroups. Using similar techniques, we show that every nontrivial normal subgroup of a big mapping class group contains a nonabelian free group. In contrast, we show th…

Let G be a group and let O_G denote the set of left orderings on G. Then O_G can be topologized in a natural way, and we shall study this topology to answer three conjectures. In particular we shall show that O_G can never be countably infinite. Furthermore in the case G is a countable nonabelian free group, we shall s…

The paper extends arithmetic quotient results to right-angled Artin groups.

Right-angled Artin groups are classified based on measure equivalence.

Abelian gerbes and twisted bundles describe the topology of the NS-NS 3-form gauge field strength H. We review how they have been usefully applied to study and resolve global anomalies in open string theory. Abelian 2-gerbes and twisted nonabelian gerbes describe the topology of the 4-form field strength G of M-theory.…

We prove the following well known conjecture: let $Σ$ be an oriented surface of finite type whose fundamental group is a nonabelian free group. Let $φ\in \textup{Mod}(Σ)$ be a an infinite order mapping class. Then there exists a finite solvable cover $\widehatΣ \to Σ$, and a lift $\widehatφ$ of $φ$ such that the action…

This article studies the nonabelian localization results of Beasley and Witten, and considers the analogue of these results when the gauge group is U(1). It compares these results with results of Manoliu on abelian Chern-Simons theory, showing that the dependence on the coupling constant is the same.

The paper defines cocycles for positive Anosov representations and constructs affine actions with bounded fundamental domains.

Closed self-covering manifolds with abelian fundamental groups fiber over tori.

We construct $G$-corks for any extension $G$ of $\mathbb Z^m$ by any finite subgroup of $\mathrm{SO}(4)$ and weakly equivariant $G$-corks for any extension $G$ of $\mathbb Z^m$ by any finite solvable group. In particular, this is the first example of $G$-corks for an infinite nonabelian group $G$ and answers a question…

Maps links in 3-manifolds to links in branched covers, relating quantum field theories.

The study explores automorphisms and centralizers in free group outer automorphisms.

The Tits alternative applies to groups acting on specific CAT(0) spaces.

Study shows a central limit theorem for random coverings of manifolds with nilpotent groups.

In this paper we show that the normal closure of the mth power of a half-twist has infinite index in the mapping class group of a punctured sphere. Furthermore, in some cases we prove that the quotient of the mapping class group of the punctured sphere by the normal closure of a power of a half-twist contains a free ab…

We study two--generated subgroups $\langle f,g\rangle<\mathrm{Homeo}^+(I)$ such that $\langle f^2,g^2\rangle$ is isomorphic to Thompson's group $F$, and such that the supports of $f$ and $g$ form a chain of two intervals. We show that this class contains uncountably many isomorphism types. These include examples with n…

New surface observables yield 2-knot invariants in nonabelian theories.

The $C_k$-equivalence is an equivalence relation generated by $C_k$-moves defined by Habiro. Habiro showed that the set of $C_k$-equivalence classes of the knots forms an abelian group under the connected sum and it can be classified by the additive Vassiliev invariant of order $\leq k-1$. We see that the set of $C_k$-…

A finite nonabelian simple group does not admit a free action on a homology sphere, and the only finite simple group which acts on a homology sphere with at most 0-dimensional fixed point sets ("pseudofree action") is the alternating group A_5 acting on the 2-sphere. Our first main theorem is the finiteness result that…

Every homomorphism from finite index subgroups of a universal lattices to mapping class groups of orientable surfaces (possibly with punctures), or to outer automorphism groups of finitely generated nonabelian free groups must have finite image. Here the universal lattice denotes the special linear group G=SL_m(Z[x1,..…

Short survey based on talk given at the Institut Henri Poincare January 17th 2012, during program on surface groups. The aim was to describe some background results before describing in detail (in subsequent talks) the results of [Boa11c] related to wild character varieties and irregular mapping class groups.

Higher gauge theory via differential nonabelian cohomology

The worldvolume theory of coincident M5-branes is expected to contain a nonabelian 2-form/nonabelian gerbe gauge theory that is a higher analog of self-dual Yang-Mills theory. But the precise details -- in particular the global moduli / instanton / magnetic charge structure -- have remained elusive. Here we deduce from…

Numerical experiments support conjecture about opers and nonabelian Hodge.

The paper constructs exotic knotted surfaces and curves in 4-manifolds.

We consider orientation-preserving actions of a finite group G on the 3-sphere S^3 (and also on Euclidean space R^3). By the geometrization of finite group actions on 3-manifolds, if such an action is smooth then it is conjugate to an orthogonal action, and in particular G is isomorphic to a subgroup of the orthogonal …

Cencelj and Dranishnikov showed that for certain nilpotent groups $G$, $K(G_{ab},1) \in \text{AE}(X)$ is equivalent to $K(G,1) \in \text{AE}(X)$ for any compacta $X$ (here $G_{ab}$ is the abelianization of $G$). We examine the same problem for solvable groups. We also give an elementary proof of this fact for any nilpo…

We study the twisted Alexander polynomial from the viewpoint of the SL(2,C)-character variety of nonabelian representations of a knot group. It is known that if a knot is fibered, then the twisted Alexander polynomials associated with nonabelian SL(2,C)-representations are all monic. In this paper, we show that the con…