arXiv Science⌕ Search

arXiv subjects

Corey Bregman

Publications and source records attributed to Corey Bregman.

At least 19 recordsLinked to original sources
arXiv2026

The prime decomposition fibre sequence for moduli spaces of reducible 3-manifolds

We study the moduli space $B\textrm{Diff}^+(M)$, for $M$ a reducible, oriented 3-manifold with irreducible prime factors $P_1,\ldots,P_n$. A programme of C\'esar de S\'a-Rourke, Hendriks-Laudenbach, and Hendriks-McCullough studies the homotopy type of $\textrm{Diff}^+(M)$ in terms of the $\textrm{Diff}^+(P_i)$. Inspired by a delooping proposed by Hatcher, we construct a map from $B\textrm{Diff}^+(M)$ to $B\textrm{Diff}^+(P_1 \sqcup \dots \sqcup P_n)$, called the splitting map, that yields a prime decomposition fibre sequence. The fibre $H_g(P_1, \dots, P_n)$ is a space of $1$-handle attachments which we describe geometrically as a homotopy colimit of certain configuration spaces on the $P_i$. Firstly, this allows us to show that for $n>0$ the fibre is equivalent to a finite, connected cell complex. Secondly, this makes the fibre sequence an effective tool for computations, which we illustrate by computing the rational cohomology ring of $B\textrm{Diff}^+\!\left((S^1\times S^2)^{\sharp 2}\right)$.

math.GT↗
arXiv2025

The embedding space of a Hopf link

We study the unparametrised smooth embedding space of a Hopf link in $\mathbb{R}^3$, and prove that it is homotopy equivalent to the closed 3-manifold $S^3/\mathbb{Q}_8$. As an intermediate step in the proof, we show that the inclusion of the subspace of round embeddings is a homotopy equivalence. We provide analogous results for the unparametrised smooth embedding space of a Hopf link in $S^3$, which we show is homotopy equivalent to $\mathbb{R} P^2\times \mathbb{R} P^2$.

math.GT↗
arXiv2024

CAT(0) geometry of complex curve complements and families

Motivated by the question of whether braid groups are CAT(0), we investigate the CAT(0) behavior of fundamental groups of plane curve complements and certain universal families. If $C$ is the branch locus of a generic projection of a smooth, complete intersection surface to $\PP^2$, we show that $\pi_1(\PP^2\setminus C)$ is CAT(0). In the other direction, we prove that the fundamental group of the universal family associated with the singularities of type $E_6$, $E_7$, and $E_8$ is not CAT(0).

math.GT↗
arXiv2024

On a generalization of Cannon's conjecture for cubulated hyperbolic groups

We show that cubulated hyperbolic groups with spherical boundary of dimension 3 or at least 5 are virtually fundamental groups of closed, orientable, aspherical manifolds, provided that there are sufficiently many quasi-convex, codimension-1 subgroups whose limit sets are locally flat subspheres. The proof is based on ideas used by Markovic in his work on Cannon's conjecture for cubulated hyperbolic groups with 2-sphere boundary.

math.GT↗
arXiv2024

Moduli spaces of 3-manifolds with boundary are finite

We study the classifying space B Diff(M) of the diffeomorphism group of a connected, compact, orientable 3-manifold M. In the case that M is reducible we build a contractible space parametrising the systems of reducing spheres. We use this to prove that if M has non-empty boundary, then B Diff(M rel boundary) has the homotopy type of a finite CW complex. This was conjectured by Kontsevich and appears on the Kirby problem list as Problem 3.48. As a consequence, we are able to show that for every compact, orientable 3-manifold M, B Diff(M) has finite type.

math.GT↗
arXiv2023

Finite groups of untwisted outer automorphisms of RAAGs

For any right-angled Artin group $A_{\Gamma}$, Charney--Stambaugh--Vogtmann showed that the subgroup $U^0(A_{\Gamma}) \leq\text{Out}(A_{\Gamma})$ generated by Whitehead automorphisms and inversions acts properly and cocompactly on a contractible space $K_{\Gamma}$. In the present paper we show that any finite subgroup of $U^0(A_{\Gamma})$ fixes a point of $K_{\Gamma}$. This generalizes the fact that any finite subgroup of $\text{Out}(F_n)$ fixes a point of Outer Space, and implies that there are only finitely many conjugacy classes of finite subgroups in $U^0(A_{\Gamma})$.

math.GR↗
arXiv2022

Relatively geometric actions of K\"ahler groups on CAT(0) cube complexes

We prove that for $n\geq 2$, a non-uniform lattice in $\text{PU}(n,1)$ does not admit a relatively geometric action on a $\mathrm{CAT}(0)$ cube complex, in the sense of Einstein and Groves. As a consequence, if $\Gamma$ is a non-uniform lattice in a non-compact semisimple Lie group $G$ without compact factors that admits a relatively geometric action on a $\mathrm{CAT}(0)$ cube complex, then $G$ is commensurable with $\text{SO}(n,1)$. We also prove that if a K\"ahler group is hyperbolic relative to residually finite parabolic subgroups, and acts relatively geometrically on a $\mathrm{CAT}(0)$ cube complex, then it is virtually a surface group.

math.GR↗
arXiv2022

Embedding spaces of split links

We study the homotopy type of the space $E(L)$ of unparametrised embeddings of a split link $L=L_1\sqcup \ldots \sqcup L_n$ in $\mathbb{R}^3$. Our main result is a simple description of the fundamental group, or motion group, of $E(L)$, and we extend this to a description of the motion group of embeddings in $S^3$. The main tool we build is a semi-simplicial space of separating systems, which we show is homotopy equivalent to $E(L)$. This combinatorial object provides a gateway to studying the homotopy type of $E(L)$ via the homotopy type of the spaces $E(L_i)$.

math.GT↗
arXiv2022

Isometry groups of skewed $\Gamma$-complexes

Let $A_\Gamma$ be a right-angled Artin group. Charney, Vogtmann and the author constructed an outer space for $\text{Out}(A_\Gamma)$ generalizing both $CV_n$ for $\text{Out}(F_n)$ and the symmetric space $\text{SL}_n(\mathbb{R})/\text{SO}_n(\mathbb{R})$ for $\text{GL}_n(\mathbb{Z})$. Points in this space are equivalence classes of pairs $(X,\rho)$ where $\rho\colon X\rightarrow \mathbb{S}_\Gamma$ is a homotopy equivalence from $X$ to the Salvetti complex $\mathbb{S}_\Gamma$ and $X$ is a locally CAT(0) space called a skewed $\Gamma$-complex. In this note we show that any isometry of a skewed $\Gamma$-complex which is homotopic to the identity lies in the identity component of $\text{Isom}(X)$. As a corollary, we prove that the group of path components of $\text{Isom}(X)$ is finite and injects into $\text{Out}(A_\Gamma)$.

math.GT↗
arXiv2021

The normal growth exponent of a codimension-1 hypersurface of a negatively curved manifold

Let $X$ be a Hadamard manifold with pinched negative curvature $-b^2\leq\kappa\leq -1$. Suppose $\Sigma\subseteq X$ is a totally geodesic, codimension-1 submanifold and consider the geodesic flow $\Phi^\nu_t$ on $X$ generated by a unit normal vector field $\nu$ on $\Sigma$. We say the normal growth exponent of $\Sigma$ in $X$ is at most $\beta$ if \[ \lim_{t \rightarrow \pm \infty} \frac{ \Vert d \Phi_t^\nu \Vert_{\infty} }{ e^{\beta \vert t \vert}} < \infty, \] where $\Vert d \Phi_t^\nu \Vert_{\infty} $ is the supremum of the operator norm of $d \Phi_t^\nu $ over all points of $\Sigma$. We show that if $\Sigma$ is bi-Lipschitz to hyperbolic $n$-space $\mathbb{H}^n$ and the normal growth exponent is at most 1, then $X$ is bi-Lipschitz to $\mathbb{H}^{n+1}$. As an application, we prove that if $M$ is a closed, negatively curved $(n+1)$-manifold, and $N\subset M$ is a totally geodesic, codimension-1 submanifold that is bi-Lipschitz to a hyperbolic manifold and whose normal growth exponent is at most 1, then $\pi_1(M)$ is isomorphic to a lattice in $\text{Isom}(\mathbb{H}^{n+1})$. Finally, we show that the assumption on the normal growth exponent is necessary in dimensions at least 4.

math.GT↗
arXiv2021

Contractibility of boundaries of cocompact convex sets and embeddings of limit sets

We provide sufficient conditions as to when a boundary component of a cocompact convex set in a CAT(0)-space is contractible. We then use this to study when the limit set of a quasi-convex, codimension one subgroup of a negatively curved manifold group is `wild' in the boundary. The proof is based on a notion of coarse upper curvature bounds in terms of barycenters and the careful study of interpolation in geodesic metric spaces.

math.GT↗
arXiv2020

Minimal volume entropy of free-by-cyclic groups and 2-dimensional right-angled Artin groups

Let $G$ be a free-by-cyclic group or a 2-dimensional right-angled Artin group. We provide an algebraic and a geometric characterization for when each aspherical simplicial complex with fundamental group isomorphic to $G$ has minimal volume entropy equal to 0. In the nonvanishing case, we provide a positive lower bound to the minimal volume entropy of an aspherical simplicial complex of minimal dimension for these two classes of groups. Our results rely upon a criterion for the vanishing of the minimal volume entropy for 2-dimensional groups with uniform uniform exponential growth. This criterion is shown by analyzing the fiber $\pi_1$-growth collapse and non-collapsing assumptions of Babenko-Sabourau.

math.GR↗
arXiv2020

Outer space for RAAGs

For any right-angled Artin group $A_{\Gamma}$ we construct a finite-dimensional space $\mathcal{O}_{\Gamma}$ on which the group $\text{Out}(A_{\Gamma})$ of outer automorphisms of $A_{\Gamma}$ acts with finite point stabilizers. We prove that $\mathcal{O}_{\Gamma}$ is contractible, so that the quotient is a rational classifying space for $\text{Out}(A_{\Gamma})$. The space $\mathcal{O}_{\Gamma}$ blends features of the symmetric space of lattices in $\mathbb{R}^n$ with those of Outer space for the free group $F_n$. Points in $\mathcal{O}_{\Gamma}$ are locally CAT(0) metric spaces that are homeomorphic (but not isometric) to certain locally CAT(0) cube complexes, marked by an isomorphism of their fundamental group with $A_{\Gamma}$.

math.GR↗
arXiv2020

Isotopy and equivalence of knots in 3-manifolds

We show that in a prime, closed, oriented 3-manifold M, equivalent knots are isotopic if and only if the orientation preserving mapping class group is trivial. In the case of irreducible, closed, oriented $3$-manifolds we show the more general fact that every orientation preserving homeomorphism which preserves free homotopy classes of loops is isotopic to the identity. In the case of $S^1\times S^2$, we give infinitely many examples of knots whose isotopy classes are changed by the Gluck twist.

math.GT↗
arXiv2018

On Kodaira fibrations with invariant cohomology

A Kodaira fibration is a compact, complex surface admitting a holomorphic submersion onto a complex curve, such that the fibers have nonconstant moduli. We consider Kodaira fibrations X with nontrivial invariant rational cohomology in degree 1, proving that if the dimension of the holomorphic invariants is 1 or 2, then X admits a branch covering over a product of curves inducing an isomorphism on rational cohomology in degree 1. We also study the class of Kodaira fibrations possessing a holomorphic section, and demonstrate that having a section imposes no restriction on possible monodromies.

math.GT↗
arXiv2018

Dilatation of outer automorphisms of Right-angled Artin Groups

We study the dilatation of outer automorphisms of right-angled Artin groups. Given a right-angled Artin group defined on a simplicial graph: $A(\Gamma) = \langle V | E \rangle$ and an automorphism $\phi \in Out(A(\Gamma))$ there is a natural measure of how fast the length of a word of $A(\Gamma)$ grows after $n$ iterations of $\phi$ as a function of $n$, which we call the dilatation of $w$ under $\phi$. We define the dilatation of $\phi$ as the supremum over dilatations of all $w \in A(\Gamma)$. Assuming that $\phi$ is a pure and square map, we show that if the dilatation of $\phi$ is positive, then either there exists a free abelian special subgroup on which that dilatation is realized; or there exists a strata of either free or free abelian groups on which the dilatation is realized.

math.GR↗
arXiv2017

Isometry groups of CAT(0) cube complexes

Given a CAT(0) cube complex X, we show that if Aut(X) $\neq$ Isom(X) then there exists a full subcomplex of X which decomposes as a product with $\mathbb{R}^n$. As applications, we prove that if X is $\delta$-hyperbolic, cocompact and 1-ended, then Aut(X) $=$ Isom(X) unless X is quasi-isometric to $\mathbb{H}^2$, and extend the rank-rigidity result of Caprace-Sageev to any lattice $ \Gamma\leq$ Isom(X).

math.GT↗