arXiv subjects

Steven Boyer

Publications and source records attributed to Steven Boyer.

At least 19 recordsLinked to original sources

arXiv2026

Toroidal 3-manifolds have circularly orderable fundamental groups

In this article we prove that toroidal 3-manifolds have circularly-orderable fundamental groups by showing that they admit finite cyclic covers with left-orderable fundamental groups. These covers are also not L-spaces and often admit co-orientable taut foliations, as predicted by the L-space conjecture. As a consequence, we verify a conjecture of Ba and Clay, which characterises graph manifolds with circularly-orderable fundamental groups.

math.GT↗

arXiv2025

On 3-manifolds admitting co-orientable taut foliations, but none with vanishing Euler class

In this article, we construct infinitely many (small Seifert fibred, hyperbolic and toroidal) rational homology $3$-spheres that admit co-orientable taut foliations, but none with vanishing Euler class. In the context of the $L$-space conjecture, these examples provide rational homology $3$-spheres that admit co-orientable taut foliations (and hence are not $L$-spaces) and have left-orderable fundamental groups, yet none of the left orders arise directly from the universal circle actions associated to co-orientable taut foliations. The hyperbolic and non-Seifert toroidal examples are obtained from Dehn surgeries on knots in the $3$-sphere and use Heegaard Floer homology to obstruct the existence of a co-orientable foliation with vanishing Euler class. For the Seifert fibred case, we establish necessary and sufficient conditions for the Euler class of the normal bundle of the Seifert fibration to vanish. Moreover, when the base orbifold is hyperbolic, we also provide a second proof of this condition from the viewpoint of discrete faithful representations of Fuchsian groups.

math.GT↗

arXiv2025

Slope detection, taut foliations, and the relative L-space conjecture

The $L$-space conjecture asserts the equivalence, for prime $3$-manifolds, of three properties: not being an $L$-space ($NLS$), having a left-orderable fundamental group ($LO$), and admitting a co-orientable taut foliation ($CTF$). In this paper we introduce a relative version of the $L$-space conjecture for knot manifolds $M$, stated in terms of sets of slopes on $\partial M$ characterised (i.e. detected) by Heegaard Floer homology, left-orders, and foliations, respectively. We give a unified characterisation of slope detection, and conjecture that the relative $L$-space conjecture is equivalent to the $L$-space conjecture for toroidal manifolds. We confirm this equivalence for the properties $CTF$ and $NLS$. Much of our technical work lies in proving that the set of $CTF$-detected slopes on $\partial M$ is a finite union of possibly degenerate closed intervals with rational endpoints; in particular, it is closed in the space of slopes. This involves generalizing results of Tao Li on laminar branched surfaces to the setting of manifolds with boundary. Within the slopes detected by co-orientable taut foliations, we identify a special subset, which we call exceptional $CTF$-detected slopes. This set includes $CTF$-detected slopes whose associated Dehn fillings don't admit co-orientable taut foliations. We believe this exceptional set is important to understand. In this article, we show that the set of exceptional slopes is finite. However, many questions remain open. Finally, in the last section of the article we provide a structured synthesis of previous work in the area.

math.GT↗

arXiv2024

Cyclic branched covers of Seifert links and properties related to the $ADE$ link conjecture

In this article we show that all cyclic branched covers of a Seifert link have left-orderable fundamental groups, and therefore admit co-oriented taut foliations and are not $L$-spaces, if and only if it is not an $ADE$ link up to orientation. This leads to a proof of the $ADE$ link conjecture for Seifert links. When $L$ is an $ADE$ link up to orientation, we determine which of its canonical $n$-fold cyclic branched covers $\Sigma_n(L)$ have non-left-orderable fundamental groups. In addition, we give a topological proof of Ishikawa's classification of strongly quasipositive Seifert links and we determine the Seifert links that are definite, resp. have genus zero, resp. have genus equal to its smooth $4$-ball genus, among others. In the last section, we provide a comprehensive survey of the current knowledge and results concerning the $ADE$ link conjecture.

math.GT↗

arXiv2023

JSJ decompositions of knot exteriors, Dehn surgery and the $L$-space conjecture

In this article, we apply slope detection techniques to study properties of toroidal $3$-manifolds obtained by performing Dehn surgeries on satellite knots in the context of the $L$-space conjecture. We show that if $K$ is an $L$-space knot or admits an irreducible rational surgery with non-left-orderable fundamental group, then the JSJ graph of its exterior is a rooted interval. Consequently, any rational surgery on a composite knot has a left-orderable fundamental group. This is the left-orderable counterpart of Krcatovich's result on the primeness of $L$-space knots, which we reprove using our methods. Analogous results on the existence of co-orientable taut foliations are proved when the knot has a fibred companion. Our results suggest a new approach to establishing the counterpart of Krcatovich's result for surgeries with co-orientable taut foliations, on which partial results have been achieved by Delman and Roberts. Finally, we prove results on left-orderable $p/q$-surgeries on knots with $p$ small.

math.GT↗

arXiv2023

Recalibrating $\mathbb{R}$-order trees and $\mbox{Homeo}_+(S^1)$-representations of link groups

In this paper we study the left-orderability of $3$-manifold groups using an enhancement, called recalibration, of Calegari and Dunfield's "flipping" construction, used for modifying $\mbox{Homeo}_+(S^1)$-representations of the fundamental groups of closed $3$-manifolds. The added flexibility accorded by recalibration allows us to produce $\mbox{Homeo}_+(S^1)$-representations of hyperbolic link exteriors so that a chosen element in the peripheral subgroup is sent to any given rational rotation. We apply these representations to show that the branched covers of families of links associated to arbitrary epimorphisms of the link group onto a finite cyclic group are left-orderable. This applies, for instance, to fibered hyperbolic strongly quasipositive links. Our result on the orderability of branched covers implies that the degeneracy locus of any pseudo-Anosov flow on an alternating knot complement must be meridional, which generalizes the known result that the fractional Dehn twist coefficient of any hyperbolic fibered alternating knot is zero. Applications of these representations to order-detection of slopes are also discussed in the paper.

math.GT↗

arXiv2022

Order-detection of slopes on the boundaries of knot manifolds

Motivated by the L-space conjecture, we investigate various notions of order-detection of slopes on knot manifolds. These notions are designed to characterise when rational homology 3-spheres obtained by gluing compact manifolds along torus boundary components have left-orderable fundamental groups and when a Dehn filling of a knot manifold has a left-orderable fundamental group. Our developments parallel existing results in the case of Heegaard-Floer slope detection and foliation slope detection, leading to several conjectured structure theorems that connect relative Heegaard-Floer homology and the boundary behaviour of co-oriented taut foliations with the set of left-orders supported by the fundamental group of a 3-manifold. The dynamics of the actions of 3-manifold groups on the real line plays a key role in our constructions and proofs. Our analysis leads to conjectured dynamical constraints on such actions in the case where the underlying manifold is Floer simple.

math.GT↗

arXiv2021

Slope detection and toroidal 3-manifolds

The $L$-space conjecture asserts the equivalence, for prime 3-manifolds, of three properties: not being an $L$-space, having a left-orderable fundamental group, and admitting a co-oriented taut foliation. We investigate these properties for toroidal $3$-manifolds using various notions of slope detection. Our main technical result gives sufficient conditions for certain slopes on the boundaries of rational homology solid tori to be detected by left-orders, foliations, and Heegaard Floer homology, using Thurston's universal circle actions, Li's result on laminar branched surfaces, and Rasmussen-Rasmussen's result on L-space intervals, respectively. This leads to a proof that toroidal integer homology spheres have left-orderable fundamental groups, as predicted by the $L$-space conjecture. It also allows us to show that the cyclic branched covers of prime satellite knots are not $L$-spaces and have left-orderable fundamental groups, as conjectured by Gordon and Lidman. Similarly we show that a cyclic branched cover of a satellite knot admits a co-oriented taut foliation when it has a fibred companion. A partial extension of these results to toroidal links leads to a proof that prime quasi-alternating links are either hyperbolic or $(2, m)$-torus links, which generalises Menasco's classical theorem that non-split alternating links are either hyperbolic or $(2, m)$-torus links.

math.GT↗

arXiv2020

Dehn fillings of knot manifolds containing essential twice-punctured tori

We show that if a hyperbolic knot manifold $M$ contains an essential twice-punctured torus $F$ with boundary slope $\beta$ and admits a filling with slope $\alpha$ producing a Seifert fibred space, then the distance between the slopes $\alpha$ and $\beta$ is less than or equal to $5$ unless $M$ is the exterior of the figure eight knot. The result is sharp; the bound of $5$ can be realized on infinitely many hyperbolic knot manifolds. We also determine distance bounds in the case that the fundamental group of the $\alpha$-filling contains no non-abelian free group. The proofs are divided into the four cases $F$ is a semi-fibre, $F$ is a fibre, $F$ is non-separating but not a fibre, and $F$ is separating but not a semi-fibre, and we obtain refined bounds in each case.

math.GT↗

arXiv2018

On definite strongly quasipositive links and L-space branched covers

We investigate the problem of characterising the family of strongly quasipositive links which have definite symmetrised Seifert forms and apply our results to the problem of determining when such a link can have an L-space cyclic branched cover. In particular, we show that if $\delta_n = \sigma_1 \sigma_2 \ldots \sigma_{n-1}$ is the dual Garside element and $b = \delta_n^k P \in B_n$ is a strongly quasipositive braid whose braid closure $\widehat b$ is definite, then $k \geq 2$ implies that $\widehat b$ is one of the torus links $T(2, q), T(3,4), T(3,5)$ or pretzel links $P(-2, 2, m), P(-2,3,4)$. Applying Theorem 1.1 of our previous paper we deduce that if one of the standard cyclic branched covers of $\widehat b$ is an L-space, then $\widehat b$ is one of these links. We show by example that there are strongly quasipositive braids $\delta_n P$ whose closures are definite but not one of these torus or pretzel links. We also determine the family of definite strongly quasipositive $3$-braids and show that their closures coincide with the family of strongly quasipositive $3$-braids with an L-space branched cover.

math.GT↗

arXiv2017

Taut foliations in branched cyclic covers and left-orderable groups

We study the left-orderability of the fundamental groups of cyclic branched covers of links which admit co-oriented taut foliations. In particular we do this for cyclic branched covers of fibred knots in integer homology $3$-spheres and cyclic branched covers of closed braids. The latter allows us to complete the proof of the L-space conjecture for closed, connected, orientable, irreducible $3$-manifolds containing a genus $1$ fibred knot. We also prove that the universal abelian cover of a manifold obtained by generic Dehn surgery on a hyperbolic fibred knot in an integer homology $3$-sphere admits a co-oriented taut foliation and has left-orderable fundamental group, even if the surgered manifold does not, and that the same holds for many branched covers of satellite knots with braided patterns. A key fact used in our proofs is that the Euler class of a universal circle representation associated to a co-oriented taut foliation coincides with the Euler class of the foliation's tangent bundle. Though known to experts, no proof of this important result has appeared in the literature. We provide such a proof in the paper.

math.GT↗

arXiv2017

On the Tits alternative for $PD(3)$ groups

We prove the Tits alternative for an almost coherent $PD(3)$ group which is not virtually properly locally cyclic. In particular, we show that an almost coherent $PD(3)$ group which cannot be generated by fewer than four elements always contains a rank 2 free group.

math.GT↗

arXiv2017

Branched covers of quasipositive links and L-spaces

Let $L$ be a oriented link such that $\Sigma_n(L)$, the $n$-fold cyclic cover of $S^3$ branched over $L$, is an L-space for some $n \geq 2$. We show that if either $L$ is a strongly quasipositive link other than one with Alexander polynomial a multiple of $(t-1)^{2g(L) + (|L|-1)}$, or $L$ is a quasipositive link other than one with Alexander polynomial divisible by $(t-1)^{2g_4(L) + (|L|-1)}$, then there is an integer $n(L)$, determined by the Alexander polynomial of $L$ in the first case and the Alexander polynomial of $L$ and the smooth $4$-genus of $L$, $g_4(L)$, in the second, such that $n \leq n(L)$. If $K$ is a strongly quasipositive knot with monic Alexander polynomial such as an L-space knot, we show that $\Sigma_n(K)$ is not an L-space for $n \geq 6$, and that the Alexander polynomial of $K$ is a non-trivial product of cyclotomic polynomials if $\Sigma_n(K)$ is an L-space for some $n = 2, 3, 4, 5$. Our results allow us to calculate the smooth and topological 4-ball genera of, for instance, quasi-alternating quasipositive links. They also allow us to classify strongly quasipositive alternating links and $3$-strand pretzel links.

math.GT↗

arXiv2015

1-domination of knots

We say that a knot $k_1$ in the $3$-sphere {\it $1$-dominates} another $k_2$ if there is a proper degree 1 map $E(k_1) \to E(k_2)$ between their exteriors, and write $k_1 \ge k_2$. When $k_1 \ge k_2$ but $k_1 \ne k_2$ we write $k_1 > k_2$. One expects in the latter eventuality that $k_1$ is more {\it complicated}. In this paper we produce various sorts of evidence to support this philosophy.

math.AT↗

arXiv2015

Slope detection, foliations in graph manifolds, and L-spaces

A graph manifold rational homology $3$-sphere $W$ with a left-orderable fundamental group admits a co-oriented taut foliation, though it is unknown whether it admits a smooth co-oriented taut foliation. In this paper we extend the gluing theorem of arXiv:1401.7726 to graph manifold rational homology solid tori and use this to show that there are smooth foliations on the pieces of $W$ which come close to matching up on its JSJ tori. This is applied to prove that a graph manifold with left-orderable fundamental group is not an L-space.

math.GT↗

arXiv2015

Knot complements, hidden symmetries and reflection orbifolds

In this article we examine the conjecture of Neumann and Reid that the only hyperbolic knots in the $3$-sphere which admit hidden symmetries are the figure-eight knot and the two dodecahedral knots. Knots whose complements cover hyperbolic reflection orbifolds admit hidden symmetries, and we verify the Neumann-Reid conjecture for knots which cover small hyperbolic reflection orbifolds. We also show that a reflection orbifold covered by the complement of an AP knot is necessarily small. Thus when $K$ is an AP knot, the complement of $K$ covers a reflection orbifold exactly when $K$ is either the figure-eight knot or one of the dodecahedral knots.

math.GT↗

arXiv2014

Foliations, orders, representations, L-spaces and graph manifolds

We show that the properties of admitting a co-oriented taut foliation and having a left-orderable fundamental group are equivalent for rational homology $3$-sphere graph manifolds and relate them to the property of not being a Heegaard-Floer L-space. This is accomplished in several steps. First we show how to detect families of slopes on the boundary of a Seifert fibred manifold in four different fashions - using representations, using left-orders, using foliations, and using Heegaard-Floer homology. Then we show that each method of detection determines the same family of detected slopes. Next we provide necessary and sufficient conditions for the existence of a co-oriented taut foliation on a graph manifold rational homology $3$-sphere, respectively a left-order on its fundamental group, which depend solely on families of detected slopes on the boundaries of its pieces. The fact that Heegaard-Floer methods can be used to detect families of slopes on the boundary of a Seifert fibred manifold combines with certain conjectures in the literature to suggest an L-space gluing theorem for rational homology $3$-sphere graph manifolds as well as other interesting problems in Heegaard-Floer theory.

math.GT↗

arXiv2013

Graph manifolds Z-homology 3-spheres and taut foliations

We show that a graph manifold which is a Z-homology 3-sphere not homeomorphic to either the 3-sphere or the Poincaré homology 3-sphere admits a horizontal foliation. This combines with known results to show that the conditions of not being an L-space, of having a left-orderable fundamental group, and of admitting a co-oriented taut foliation, are equivalent for graph manifold Z-homology 3-spheres.

math.GT↗