arXiv research

We prove that the free splitting complex of a finite rank free group, also known as Hatcher's sphere complex, is hyperbolic.

We show how to derive hyperbolicity of the free factor complex of $F_N$ from the Handel-Mosher proof of hyperbolicity of the free splitting complex of $F_N$, thus obtaining an alternative proof of a theorem of Bestvina-Feighn. We also show that under the natural map $τ$ from the free splitting complex to free factor co…

We show that the complex of free factors of a free group of rank n > 1 is homotopy equivalent to a wedge of spheres of dimension n-2. We also prove that for n > 1, the complement of (unreduced) Outer space in the free splitting complex is homotopy equivalent to the complex of free factor systems and moreover is (n-2)-c…

The paper explores the geometry and dynamics of free splitting and free factor complexes for groups.

The Waldhausen construction of Mayer-Vietoris splittings of chain complexes over an injective generalized free product of group rings is extended to a combinatorial construction of Seifert-van Kampen splittings of CW complexes with fundamental group an injective generalized free product.

We show that the arc graph of $S_g^1$ is a coarse Lipschitz retract of the free splitting complex of $F_{2g}$. We also show that the arc and curve graph of $S_g^1$ is a coarse Lipschitz retract of both the cyclic splitting graph of $F_{2g}$ and the maximally cyclic splitting graph of $F_{2g}$.

Handel and Mosher have proved that the free splitting complex FS for the free group is Gromov hyperbolic. This is a deep and much sought-after result, since it establishes FS as a good analogue of the curve complex for surfaces. We give a shorter alternative proof of this theorem, using surgery paths in Hatcher's spher…

The pants graph of a free group is constructed and studied.

In the current article our primary objects of study are compact complex submanifolds of quotient manifolds of irreducible bounded symmetric domains by torsion free discrete lattices of automorphisms. We are interested in the characterization of the totally geodesic submanifolds among compact splitting complex submanifo…

The study shows that surface groups are the only non-free infinite index subgroups of certain hyperbolic groups.

We give an algorithm to decide which elements of pi_2(S^2\times S^1#...#S^2\times S^1) can be represented by embedded spheres. Such spheres correspond to splittings of the free group on k generators. Equivalently our algorithm decides whether, for a handlebody N, an element in pi_2(N,\partial N) can be represented by a…

By using a notion of a geometric Dehn twist in $\sharp_k(S^2 \times S^1)$, we prove that when projections of two $\mathbb{Z}$-splittings to the free factor complex are far enough from each other in the free factor complex, Dehn twist automorphisms corresponding to the $\mathbb{Z}$-splittings generate a free group of ra…

When two free factors A and B of a free group F_n are in "general position" we define the projection of B to the splitting complex (alternatively, the complex of free factors) of A. We show that the projections satisfy properties analogous to subsurface projections introduced by Masur and Minsky. We use the subfactor p…

New condition prevents hyperbolic spaces from matching curve complexes.

The group $\Out$ of outer automorphisms of the free group has been an object of active study for many years, yet its geometry is not well understood. Recently, effort has been focused on finding a hyperbolic complex on which $\Out$ acts, in analogy with the curve complex for the mapping class group. Here, we focus on o…

We show that the algebraic intersection number of Scott and Swarup for splittings of free groups coincides with the geometric intersection number for the sphere complex of the connected sum of copies of $S^2\times S^1$.

The Thurston norm is derived from polytopes and applied to group cohomology.

New hyperbolic graph constructed from projections of free splitting graph.

Triangle Artin groups split as graphs of free groups under specific conditions.

We show that the Gromov boundary of the free factor graph for the free group Fn with n>2 generators is the space of equivalence classes of minimal very small indecomposable projective Fn-trees without point stabilizer containing a free factor equipped with a quotient topology. Here two such trees are equivalent if the …

We define analogues of the graphs of free splittings, of cyclic splittings, and of maximally-cyclic splittings of $F_N$ for free products of groups, and show their hyperbolicity. Given a countable group $G$ which splits as $G=G_1\ast\dots\ast G_k\ast F$, where $F$ denotes a finitely generated free group, we identify th…

We prove that any isometry of the graph of cyclic splittings of a finitely generated free group $F_N$ of rank $N\ge 3$ is induced by an outer automorphism of $F_N$. The same statement also applies to the graphs of maximally-cyclic splittings, and of very small splittings.

Let K be a knot of genus g. If K is fibered, then it is well known that the knot group pi(K) splits only over a free group of rank 2g. We show that if K is not fibered, then pi(K) splits over non-free groups of arbitrarily large rank. Furthermore, if K is not fibered, then pi(K) splits over every free group of rank at …

Turaev conjectured that the classification, realization and splitting results for Poincaré duality complexes of dimension $3$ (PD$_{3}$-complexes) generalize to PD$_{n}$-complexes with $(n-2)$-connected universal cover for $n \ge 3$. Baues and Bleile showed that such complexes are classified, up to oriented homotopy eq…

New complex connects graph separability to group properties.

Link Floer homology is split into snake complexes and local systems.

The outer automorphism group Out(F_2g) of a free group on 2g generators naturally contains the mapping class group of a punctured surface as a subgroup. We define a subsurface projection of the sphere complex of the connected sum of n copies of S^1 x S^2 into the arc complex of the surface and use this to show that thi…

We present an algorithm which given a presentation of a group $G$ without 2-torsion, a solution to the word problem with respect to this presentation, and an acylindricity constant $κ$, outputs a collection of tracks in an appropriate presentation complex. We give two applications: the first is an algorithm which decid…

An important part of the classical theory of real or complex manifolds is the theory of (smooth, real analytic or complex analytic) vector bundles. With any vector bundle over a manifold (M,F) the sheaf of its (smooth, real analytic or complex analytic) sections is associated which is a locally free sheaf of F-modules,…

Free group automorphisms group rigidity proven.

We extend some results of [BF12] on subfactor projections to show that the projection of a free factor B to the free factor complex of the free factor A is well-defined with uniformly bound diameter, unless either A is contained in B or A and B are vertex stabilizers of a single splitting of F_n, i.e. they are disjoint…

We prove that the curve graph $\calC^{(1)}(S)$ is Gromov-hyperbolic with a constant of hyperbolicity independent of the surface $S$. The proof is based on the proof of hyperbolicity of the free splitting complex by Handel and Mosher, as interpreted by Hilion and Horbez.

We present structural properties of Lie algebras admitting symmetric, invariant and nondegenerate bilinear forms. We show that these properties are not satisfied by nilradicals of parabolic subalgebras of real split forms of complex simple Lie algebras, neither by 2-step nilpotent Lie algebras associated with graphs, w…

Study finds rigid properties of boundary-free hypersurfaces in specific data sets.

One of the most useful tools for studying the geometry of the mapping class group has been the subsurface projections of Masur and Minsky. Here we propose an analogue for the study of the geometry of Out(F_n) called submanifold projection. We use the doubled handlebody M_n = #^n S^2 \times S^1 as a geometric model of F…

Axis bundles in free-by-cyclic groups have non-generic monodromies.

We generalise the Karrass-Pietrowski-Solitar and the Nielsen realisation theorems from the setting of free groups to that of free products. As a result, we obtain a fixed point theorem for finite groups of outer automorphisms acting on the relative free splitting complex of Handel--Mosher and on the outer space of a fr…

Performing exact Bayesian inference for complex models is computationally intractable. Markov chain Monte Carlo (MCMC) algorithms can provide reliable approximations of the posterior distribution but are expensive for large datasets and high-dimensional models. A standard approach to mitigate this complexity consists i…

The study shows that certain complex geometries are hyperbolic and contractible but fail to be CAT(0).

Split conformal prediction provides finite-sample guarantees for black-box models without distributional assumptions.

New methods reveal rare epimorphisms linking 3-manifold groups to free groups.

We extend Obata's rigidity theorem to free probability.

Backpropagation-free trunk training improves model performance on various benchmarks.

Non-split almost complex supermanifolds and non-split Riemannian supermanifolds are studied. The first obstacle for a splitting is parametrized by group orbits on an infinite dimensional vector space. Further it is shown that non-split structures appear in the first case as deformations of a split reduction and in the …

We show that if a Heegaard splitting is obtained by gluing a splitting of Hempel distance at least 4 and the genus-1 splitting of $S^2 \times S^1$, then the Goeritz group of the splitting is finitely generated. To show this, we first provide a sufficient condition for a full subcomplex of the arc complex for a compact …

We study the Kakimizu complex of a split link. As part of this, we also study Seifert surfaces and the Kakimizu complex for a non-split link in a 3-ball. In addition, we show that a simplex of the Kakimizu complex of a non-split link can be realised in an essentially unique way.

It is a classical result that any complex analytic Lie supergroup $\mathcal{G}$ is split \cite{kosz}, that is its structure sheaf is isomorphic to the structure sheaf of a certain vector bundle. However, there do exist non-split complex analytic homogeneous supermanifolds. We study the question how to find out whether …

New method combines randomization tests and flexible models for valid inference without splitting data.