Search

We study locally flat disks in $(\mathbb{C} P^2)^\circ:=(\mathbb{C} P^2)\setminus \mathring{B^4}$ with boundary a fixed knot $K$ and whose complement has fundamental group $\mathbb{Z}$. We show that up to topological isotopy rel. boundary, such disks necessarily arise by performing a positive crossing change on $K$ to an Alexander polynomial one knot and capping off with a $\mathbb{Z}$-disk in $D^4.$ Such a crossing change determines a loop in $S^3 \setminus K$ and we prove that the homology class of its lift to the infinite cyclic cover leads to a complete invariant of the disk. We prove that this determines a bijection between the set of rel. boundary topological isotopy classes of $\mathbb{Z}$-disks with boundary $K$ and a quotient of the set of unitary units of the ring $\mathbb{Z}[t^{\pm 1}]/(\Delta_K)$. Number-theoretic considerations allow us to deduce that a knot $K \subset S^3$ with quadratic Alexander polynomial bounds $0,1,2,4$, or infinitely many $\mathbb{Z}$-disks in $(\mathbb{C} P^2)^\circ$. This leads to the first examples of knots bounding infinitely many topologically distinct disks whose exteriors have the same fundamental group and equivariant intersection form. Finally we give several examples where these disks are realized smoothly., Comment: 40 pages, 9 figures

Gompf showed that for $K$ in a certain family of double-twist knots, the swallow-follow operation makes $1/n$-surgery on $K \# -K$ into a cork boundary. We derive a general Floer-theoretic condition on $K$ under which this is the case. Our formalism allows us to produce many further examples of corks, partially answering a question of Gompf. Unlike Gompf's method, our proof does not rely on any closed 4-manifold invariants or effective embeddings, and also generalizes to other diffeomorphisms., Comment: 21 pages; 7 figures. Final version; to appear in International Mathematics Research Notices

Building on the work of Nozaki, Sato and Taniguchi, we develop an instanton-theoretic invariant aimed at studying strong corks and equivariant bounding. Our construction utilizes the Chern-Simons filtration and is qualitatively different from previous Floer-theoretic methods used to address these questions. As an application, we give an example of a cork whose boundary involution does not extend over any 4-manifold $X$ with $H_1(X, \mathbb{Z}_2) = 0$ and $b_2(X) \leq 1 $, and a strong cork which survives stabilization by either of $n\smash{\mathbb{CP}^2}$ or $n\smash{\overline{\mathbb{CP}}}^2$. We also prove that every nontrivial linear combination of $1/n$-surgeries on the strongly invertible knot $\smash{\overline{9}_{46}}$ constitutes a strong cork. Although Yang-Mills theory has been used to study corks via the Donaldson invariant, this is the first instance where the critical values of the Chern-Simons functional have been utilized to produce such examples. Finally, we discuss the geography question for nonorientable surfaces in the case of extremal normal Euler number., Comment: 58 pages, 11 figures; added some minor results and references

Using lattice homology, we give an explicit combinatorial description of the Seiberg-Witten-Floer spectrum $\mathit{SWF}(Y)$ for $Y$ an almost-rational plumbed homology sphere. This class of manifolds includes all Seifert fibered rational homology spheres with base orbifold $S^2$. Using our computations, we provide a calculation of Manolescu's $\kappa$-invariant for certain connected sums of these spaces., Comment: 66 pages, 8 figures

We show that a large class of satellite operators are rank-expanding; that is, they map some rank-one subgroup of the concordance group onto an infinite linearly independent set. Our work constitutes the first systematic study of this property in the literature and partially affirms a conjecture of the second author and Pinz\'on-Caicedo. More generally, we establish a Floer-theoretic condition for a family of companion knots to have infinite-rank image under satellites from this class. The methods we use are amenable to patterns which act trivially in topological concordance and are capable of handling a surprisingly wide variety of companions. For instance, we give an infinite linearly independent family of Whitehead doubles whose companion knots all have negative $\tau$-invariant. Our also results recover and extend several theorems in this area established using instanton Floer homology., Comment: 38 pages; 18 figures

We prove that the $(2,1)$-cable of the figure-eight knot is not smoothly slice by showing that its branched double cover bounds no equivariant homology ball., Comment: 14 pages; 5 figures. Final version; to appear in Inventiones Mathematicae

We define several equivariant concordance invariants using knot Floer homology. We show that our invariants provide a lower bound for the equivariant slice genus and use this to give a family of strongly invertible slice knots whose equivariant slice genus grows arbitrarily large, answering a question of Boyle and Issa. We also apply our formalism to several seemingly non-equivariant questions. In particular, we show that knot Floer homology can be used to detect exotic pairs of slice disks, recovering an example due to Hayden, and extend a result due to Miller and Powell regarding stabilization distance. Our formalism suggests a possible route towards establishing the non-commutativity of the equivariant concordance group., Comment: 67 pages; 33 figures. To appear in the Journal of Topology

We study the homology concordance group of knots in integer homology three-spheres which bound integer homology four-balls. Using knot Floer homology, we construct an infinite number of $\mathbb{Z}$-valued, linearly independent homology concordance homomorphisms which vanish for knots coming from $S^3$. This shows that the homology concordance group modulo knots coming from $S^3$ contains an infinite-rank summand. The techniques used here generalize the classification program established in previous papers regarding the local equivalence group of knot Floer complexes over $\mathbb{F}[U, V]/(UV)$. Our results extend this approach to complexes defined over a broader class of rings., Comment: 65 pages; 3 figures. Removed some speculative sections for readability. Final version; to appear in Mathematische Annalen

We show that if $Y$ is the boundary of an almost-rational plumbing, then the framed instanton Floer homology $\smash{I^\#(Y)}$ is isomorphic to the Heegaard Floer homology $\smash{\widehat{\mathit{HF}}(Y; \mathbb{C})}$. This class of 3-manifolds includes all Seifert fibered rational homology spheres with base orbifold $S^2$ (we establish the isomorphism for the remaining Seifert fibered rational homology spheres$\unicode{x2014}$with base $\mathbb{RP}^2$$\unicode{x2014}$directly). Our proof utilizes lattice homology, and relies on a decomposition theorem for instanton Floer cobordism maps recently established by Baldwin and Sivek., Comment: 41 pages, 9 figures; fixed minor typos, to appear in Geometry & Topology

Building on the algebraic framework developed by Hendricks, Manolescu, and Zemke, we introduce and study a set of Floer-theoretic invariants aimed at detecting corks. Our invariants obstruct the extension of a given involution over any homology ball, rather than a particular contractible manifold. Unlike previous approaches, we do not utilize any closed 4-manifold topology or contact topology. Instead, we adapt the formalism of local equivalence coming from involutive Heegaard Floer homology. As an application, we define a modification $\Theta^{\tau}_{\mathbb{Z}}$ of the homology cobordism group which takes into account an involution on each homology sphere, and prove that this admits a $\mathbb{Z}^\infty$-subgroup of strongly non-extendable corks. The group $\Theta^{\tau}_{\mathbb{Z}}$ can also be viewed as a refinement of the bordism group of diffeomorphisms. Using our invariants, we furthermore establish several new families of corks and prove that various known examples are strongly non-extendable. Our main computational tool is a monotonicity theorem which constrains the behavior of our invariants under equivariant negative-definite cobordisms, and an explicit method of constructing such cobordisms via equivariant surgery., Comment: 68 pages; fixed typo in Figure 5, to appear in J. Eur. Math. Soc

Under the relation of $0$-concordance, the set of knotted 2-spheres in $S^4$ forms a commutative monoid $\mathcal{M}_0$ with the operation of connected sum. Sunukjian has recently shown that $\mathcal{M}_0$ contains a submonoid isomorphic to $\mathbb{Z}^{\ge 0}$. In this note, we show that $\mathcal{M}_0$ contains a submonoid isomorphic to $(\mathbb{Z}^{\ge 0})^\infty$. Our argument relates the $0$-concordance monoid to linear independence of certain Seifert solids in the (spin) rational homology cobordism group., Comment: 10 pages; final version. Published in Proc. Amer. Math. Soc

We define an infinite family of linearly independent, integer-valued smooth concordance homomorphisms. Our homomorphisms are explicitly computable and rely on local equivalence classes of knot Floer complexes over the ring $\mathbb{F}[U, V]/(UV=0)$. We compare our invariants to other concordance homomorphisms coming from knot Floer homology, and discuss applications to topologically slice knots, concordance genus, and concordance unknotting number., Comment: 50 pages, 6 figures v2: Included a 2 page erratum pointing out an error in a lemma, along with a reference to a revised and correct version of the lemma. The main results of the paper are unaffected

We show that the three-dimensional homology cobordism group admits an infinite-rank summand. It was previously known that the homology cobordism group contains a $\mathbb{Z}^\infty$-subgroup and a $\mathbb{Z}$-summand. Our proof proceeds by introducing an algebraic variant of the involutive Heegaard Floer package of Hendricks-Manolescu and Hendricks-Manolescu-Zemke. This is inspired by an analogous argument in the setting of knot concordance due to the second author., Comment: 50 pages, 14 figures; added some minor lemmas

We compute the connected Heegaard Floer homology (defined by Hendricks, Hom, and Lidman) for a large class of 3-manifolds, including all linear combinations of Seifert fibered homology spheres. We show that for such manifolds, the connected Floer homology completely determines the local equivalence class of the associated $\iota$-complex. Some identities relating the rank of the connected Floer homology to the Rokhlin invariant and the Neumann-Siebenmann invariant are also derived. Our computations are based on combinatorial models inspired by the work of N\'emethi on lattice homology., Comment: 33 pages; final version, to appear in Algebraic & Geometric Topology

We establish a structural understanding of the involutive Heegaard Floer homology for all linear combinations of almost-rational (AR) plumbed three-manifolds. We use this to show that the Neumann-Siebenmann invariant is a homology cobordism invariant for all linear combinations of AR plumbed homology spheres. As a corollary, we prove that if $Y$ is a linear combination of AR plumbed homology spheres with $\mu(Y) = 1$, then $Y$ is not torsion in the homology cobordism group. A general computation of the involutive Heegaard Floer correction terms for these spaces is also included., Comment: 43 pages; final version, to appear in Geometry & Topology

We compute the involutive Heegaard Floer homology of the family of three-manifolds obtained by plumbings along almost-rational graphs. (This includes all Seifert fibered homology spheres.) We also study the involutive Heegaard Floer homology of connected sums of such three-manifolds, and explicitly determine the involutive correction terms in the case that all of the summands have the same orientation. Using these calculations, we give a new proof of the existence of an infinite-rank subgroup in the three-dimensional homology cobordism group., Comment: 35 pages; corrected the statement of Lemma 7.1 and the proof of Theorem 7.2; final version, to appear in J. Inst. Math. Jussieu

We compute the Pin(2)-equivariant monopole Floer homology for the class of plumbed 3-manifolds with at most one "bad" vertex (in the sense of Ozsvath and Szabo). We show that for these manifolds, the Pin(2)-equivariant monopole Floer homology can be calculated in terms of the Heegaard Floer/monopole Floer lattice complex defined by Nemethi. Moreover, we prove that in such cases the ranks of the usual monopole Floer homology groups suffice to determine both the Manolescu correction terms and the Pin(2)-homology as an abelian group. As an application of this, we show that $\beta(-Y, s) = \bar{\mu}(Y, s)$ for all plumbed 3-manifolds with at most one bad vertex, proving a conjecture posed by Manolescu. Our proof also generalizes results by Stipsicz and Ue relating the Neumann-Siebenmann invariant with the Ozsvath-Szabo $d$-invariant., Comment: 21 pages; final version, to appear in Michigan Math. J

We introduce and study a variant of the family of Johnson graphs, the Full-Flag Johnson graphs. We show that Full-Flag Johnson graphs are Cayley graphs on S_n generated by certain classes of permutations, and that they are in fact generalizations of permutahedra. We derive some results about the adjacency matrices of Full-Flag Johnson graphs and apply these to the set of permutahedra to deduce part of their spectra.

We study the notions of weak rational ergodicity and rational weak mixing as defined by Jon Aaronson. We prove that various families of infinite measure-preserving rank-one transformations possess (or do not posses) these properties, and consider their relation to other notions of mixing in infinite measure., Comment: Some typos corrected, a reference added, arguments expanded