Showing 1–30 of 30 results for author: Stoffregen, M

A note on the involutive invariants of splices

Authors: Kristen Hendricks, Matthew Stoffregen, Ian Zemke

Abstract: A natural family of potentially 2-torsion elements in the integer homology cobordism group consists of splices of knots with their mirrors. We show that such 3-manifolds have locally trivial involutive Floer homology. We show some related families of splices also have locally trivial involutive Floer homology. Our arguments show that many gauge theoretic invariants also vanish on these 3-manifolds… ▽ More A natural family of potentially 2-torsion elements in the integer homology cobordism group consists of splices of knots with their mirrors. We show that such 3-manifolds have locally trivial involutive Floer homology. We show some related families of splices also have locally trivial involutive Floer homology. Our arguments show that many gauge theoretic invariants also vanish on these 3-manifolds. △ Less

Submitted 5 June, 2024; originally announced June 2024.

Comments: 14 pages

MSC Class: 57K31; 57K18; 57R58

Jones-Wenzl projectors and the Khovanov homotopy of the infinite twist

Authors: Matthew Stoffregen, Michael Willis

Abstract: We construct and study a lift of Jones-Wenzl projectors to the setting of Khovanov spectra, and provide a realization of such lifted projectors via a Cooper-Krushkal-like sequence of maps. We also give a polynomial action on the 3-strand spectral projector allowing a complete computation of the 3-colored Khovanov spectrum of the unknot, proving a conjecture of Lobb-Orson-Schütz. As a byproduct, we… ▽ More We construct and study a lift of Jones-Wenzl projectors to the setting of Khovanov spectra, and provide a realization of such lifted projectors via a Cooper-Krushkal-like sequence of maps. We also give a polynomial action on the 3-strand spectral projector allowing a complete computation of the 3-colored Khovanov spectrum of the unknot, proving a conjecture of Lobb-Orson-Schütz. As a byproduct, we disprove a conjecture of Lawson-Lipshitz-Sarkar on the topological Hochschild homology of tangle spectra. △ Less

Submitted 15 February, 2024; originally announced February 2024.

Comments: 63 pages, many figures

MSC Class: 57K18 (Primary) 57K10; 55P42 (Secondary)

Lattice homology and Seiberg-Witten-Floer spectra

Authors: Irving Dai, Hirofumi Sasahira, Matthew Stoffregen

Abstract: 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 $κ$-invariant for certain connected sums of these spac… ▽ More 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 $κ$-invariant for certain connected sums of these spaces. △ Less

Submitted 3 September, 2023; originally announced September 2023.

Comments: 66 pages, 8 figures

MSC Class: 57R58

PL-genus of surfaces in homology balls

Authors: Jennifer Hom, Matthew Stoffregen, Hugo Zhou

Abstract: We consider manifold-knot pairs $(Y,K)$ where $Y$ is a homology sphere that bounds a homology ball. We show that the minimum genus of a PL surface $Σ$ in a homology ball $X$ such that $\partial (X, Σ) = (Y, K)$ can be arbitrarily large. Equivalently, the minimum genus of a surface cobordism in a homology cobordism from $(Y, K)$ to any knot in $S^3$ can be arbitrarily large. The proof relies on Hee… ▽ More We consider manifold-knot pairs $(Y,K)$ where $Y$ is a homology sphere that bounds a homology ball. We show that the minimum genus of a PL surface $Σ$ in a homology ball $X$ such that $\partial (X, Σ) = (Y, K)$ can be arbitrarily large. Equivalently, the minimum genus of a surface cobordism in a homology cobordism from $(Y, K)$ to any knot in $S^3$ can be arbitrarily large. The proof relies on Heegaard Floer homology. △ Less

Submitted 11 January, 2023; originally announced January 2023.

Comments: 19 pages, 3 figures

MSC Class: 57K18; 57Q60

Rank-expanding satellites, Whitehead doubles, and Heegaard Floer homology

Authors: Irving Dai, Matthew Hedden, Abhishek Mallick, Matthew Stoffregen

Abstract: 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ón-Caicedo. More generally, we establish a Floer-theoretic condition for a… ▽ More 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ón-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 $τ$-invariant. Our also results recover and extend several theorems in this area established using instanton Floer homology. △ Less

Submitted 15 September, 2022; originally announced September 2022.

Comments: 38 pages; 18 figures

MSC Class: 57M25; 57M27; 57R58

The $(2,1)$-cable of the figure-eight knot is not smoothly slice

Authors: Irving Dai, Sungkyung Kang, Abhishek Mallick, JungHwan Park, Matthew Stoffregen

Abstract: 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. 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. △ Less

Submitted 28 July, 2022; originally announced July 2022.

Comments: 14 pages

MSC Class: 57K18; 57M12

An involutive dual knot surgery formula

Authors: Kristen Hendricks, Jennifer Hom, Matthew Stoffregen, Ian Zemke

Abstract: We prove an involutive analog of the dual knot surgery formula of Eftekhary and Hedden-Levine. We also compute a small model for the local equivalence class of the involutive dual knot complex. We prove an involutive analog of the dual knot surgery formula of Eftekhary and Hedden-Levine. We also compute a small model for the local equivalence class of the involutive dual knot complex. △ Less

Submitted 25 May, 2022; originally announced May 2022.

Comments: 47 pages, 7 figures. Comments welcomed!

MSC Class: 57K18; 57K31; 57R58

Naturality and functoriality in involutive Heegaard Floer homology

Authors: Kristen Hendricks, Jennifer Hom, Matthew Stoffregen, Ian Zemke

Abstract: We prove first-order naturality of involutive Heegaard Floer homology, and furthermore construct well-defined maps on involutive Heegaard Floer homology associated to cobordisms between three-manifolds. We also prove analogous naturality and functoriality results for involutive Floer theory for knots and links. The proof relies on the doubling model for the involution, as well as several variation… ▽ More We prove first-order naturality of involutive Heegaard Floer homology, and furthermore construct well-defined maps on involutive Heegaard Floer homology associated to cobordisms between three-manifolds. We also prove analogous naturality and functoriality results for involutive Floer theory for knots and links. The proof relies on the doubling model for the involution, as well as several variations. △ Less

Submitted 6 February, 2023; v1 submitted 30 January, 2022; originally announced January 2022.

Comments: v2. 105 pages. Addresses dependence of our model on a framing of the basepoint

MSC Class: 57K18; 57K41

Equivariant knots and knot Floer homology

Authors: Irving Dai, Abhishek Mallick, Matthew Stoffregen

Abstract: 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… ▽ More 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. △ Less

Submitted 6 August, 2023; v1 submitted 5 January, 2022; originally announced January 2022.

Comments: 67 pages; 33 figures. To appear in the Journal of Topology

MSC Class: 57K18; 57R58; 57R55

Homology concordance and knot Floer homology

Authors: Irving Dai, Jennifer Hom, Matthew Stoffregen, Linh Truong

Abstract: 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 infin… ▽ More 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. △ Less

Submitted 27 October, 2021; originally announced October 2021.

Comments: 70 pages, 3 figures

MSC Class: 57M25; 57N70; 57R58

A note on PL-disks and rationally slice knots

Authors: Kristen Hendricks, Jennifer Hom, Matthew Stoffregen, Ian Zemke

Abstract: We give infinitely many examples of manifold-knot pairs (Y, J) such that Y bounds an integer homology ball, J does not bound a non-locally-flat PL-disk in any integer homology ball, but J does bound a smoothly embedded disk in a rational homology ball. The proof relies on formal properties of involutive Heegaard Floer homology. We give infinitely many examples of manifold-knot pairs (Y, J) such that Y bounds an integer homology ball, J does not bound a non-locally-flat PL-disk in any integer homology ball, but J does bound a smoothly embedded disk in a rational homology ball. The proof relies on formal properties of involutive Heegaard Floer homology. △ Less

Submitted 19 July, 2021; originally announced July 2021.

Comments: 4 pages, 1 figure

MSC Class: 57K18; 57Q60; 57R58

Seiberg-Witten Floer spectra for $b_1>0$

Authors: Hirofumi Sasahira, Matthew Stoffregen

Abstract: We construct a generalization of the Seiberg-Witten Floer spectrum for suitable three-manifolds $Y$ with $b_1(Y)>0$. For a cobordism between three-manifolds we define Bauer-Furuta maps on these new spectra, and additionally compute some examples. We construct a generalization of the Seiberg-Witten Floer spectrum for suitable three-manifolds $Y$ with $b_1(Y)>0$. For a cobordism between three-manifolds we define Bauer-Furuta maps on these new spectra, and additionally compute some examples. △ Less

Submitted 30 March, 2021; originally announced March 2021.

Comments: 111 pages

MSC Class: 57R57

On the quotient of the homology cobordism group by Seifert spaces

Authors: Kristen Hendricks, Jennifer Hom, Matthew Stoffregen, Ian Zemke

Abstract: We prove that the quotient of the integer homology cobordism group by the subgroup generated by the Seifert fibered spaces is infinitely generated. We prove that the quotient of the integer homology cobordism group by the subgroup generated by the Seifert fibered spaces is infinitely generated. △ Less

Submitted 7 September, 2022; v1 submitted 7 March, 2021; originally announced March 2021.

Comments: 22 pages, 11 figures. v4: Minor expositional improvements. This version to be published in Transactions of the American Mathematical Society

MSC Class: 57K18; 57K31; 57R58

Linear independence of rationally slice knots

Authors: Jennifer Hom, Sungkyung Kang, JungHwan Park, Matthew Stoffregen

Abstract: A knot in $S^3$ is rationally slice if it bounds a disk in a rational homology ball. We give an infinite family of rationally slice knots that are linearly independent in the knot concordance group. In particular, our examples are all infinite order. All previously known examples of rationally slice knots were order two. A knot in $S^3$ is rationally slice if it bounds a disk in a rational homology ball. We give an infinite family of rationally slice knots that are linearly independent in the knot concordance group. In particular, our examples are all infinite order. All previously known examples of rationally slice knots were order two. △ Less

Submitted 3 December, 2021; v1 submitted 15 November, 2020; originally announced November 2020.

Comments: 21 pages, 4 figures, final version, to appear in Geometry & Topology

Journal ref: Geom. Topol. 26 (2022) 3143-3172

Surgery exact triangles in involutive Heegaard Floer homology

Authors: Kristen Hendricks, Jennifer Hom, Matthew Stoffregen, Ian Zemke

Abstract: We establish a surgery exact triangle for involutive Heegaard Floer homology by using a doubling model of the involution. We use this exact triangle to give an involutive version of Ozsváth-Szabó's map** cone formula for knot surgery. As an application, we use this surgery formula to give examples of integer homology spheres that are not homology cobordant to any linear combination of Seifert fi… ▽ More We establish a surgery exact triangle for involutive Heegaard Floer homology by using a doubling model of the involution. We use this exact triangle to give an involutive version of Ozsváth-Szabó's map** cone formula for knot surgery. As an application, we use this surgery formula to give examples of integer homology spheres that are not homology cobordant to any linear combination of Seifert fibered spaces. △ Less

Submitted 30 October, 2020; originally announced November 2020.

Comments: 209 pages

MSC Class: 57K18; 57K31; 57R58

More concordance homomorphisms from knot Floer homology

Authors: Irving Dai, Jennifer Hom, Matthew Stoffregen, Linh Truong

Abstract: 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, c… ▽ More 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. △ Less

Submitted 13 January, 2022; v1 submitted 8 February, 2019; originally announced February 2019.

Comments: 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

MSC Class: 57M25; 57N70; 57R58

Journal ref: Geom. Topol. 25 (2021) 275-338

An infinite-rank summand of the homology cobordism group

Authors: Irving Dai, Jennifer Hom, Matthew Stoffregen, Linh Truong

Abstract: 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 analogou… ▽ More 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. △ Less

Submitted 11 February, 2019; v1 submitted 14 October, 2018; originally announced October 2018.

Comments: 50 pages, 14 figures; added some minor lemmas

MSC Class: 57M27; 57R58

Localization in Khovanov homology

Authors: Matthew Stoffregen, Melissa Zhang

Abstract: We construct equivariant Khovanov spectra for periodic links, using the Burnside functor construction introduced by Lawson, Lipshitz, and Sarkar. By identifying the fixed-point sets, we obtain rank inequalities for odd and even Khovanov homologies, and their annular filtrations, for prime-periodic links in $S^3$. We construct equivariant Khovanov spectra for periodic links, using the Burnside functor construction introduced by Lawson, Lipshitz, and Sarkar. By identifying the fixed-point sets, we obtain rank inequalities for odd and even Khovanov homologies, and their annular filtrations, for prime-periodic links in $S^3$. △ Less

Submitted 5 October, 2022; v1 submitted 10 October, 2018; originally announced October 2018.

Comments: To appear in Geometry & Topology

MSC Class: 57K18; 57S17; 55P91; 55P42

An odd Khovanov homotopy type

Authors: Sucharit Sarkar, Christopher Scaduto, Matthew Stoffregen

Abstract: For each link L in S^3 and every quantum grading j, we construct a stable homotopy type X^j_o(L) whose cohomology recovers Ozsvath-Rasmussen-Szabo's odd Khovanov homology, H_i(X^j_o(L)) = Kh^{i,j}_o(L), following a construction of Lawson-Lipshitz-Sarkar of the even Khovanov stable homotopy type. Furthermore, the odd Khovanov homotopy type carries a Z/2 action whose fixed point set is a desuspensio… ▽ More For each link L in S^3 and every quantum grading j, we construct a stable homotopy type X^j_o(L) whose cohomology recovers Ozsvath-Rasmussen-Szabo's odd Khovanov homology, H_i(X^j_o(L)) = Kh^{i,j}_o(L), following a construction of Lawson-Lipshitz-Sarkar of the even Khovanov stable homotopy type. Furthermore, the odd Khovanov homotopy type carries a Z/2 action whose fixed point set is a desuspension of the even Khovanov homotopy type. We also construct a Z/2 action on an even Khovanov homotopy type, with fixed point set a desuspension of X^j_o(L). △ Less

Submitted 2 August, 2019; v1 submitted 19 January, 2018; originally announced January 2018.

Comments: 45 pages

On homology cobordism and local equivalence between plumbed manifolds

Authors: Irving Dai, Matthew Stoffregen

Abstract: 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 spher… ▽ More 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 $μ(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. △ Less

Submitted 4 September, 2018; v1 submitted 22 October, 2017; originally announced October 2017.

Comments: 43 pages; final version, to appear in Geometry & Topology

Journal ref: Geom. Topol. 23 (2019) 865-924

On Newstead's Mayer-Vietoris argument in characteristic 2

Authors: Christopher Scaduto, Matthew Stoffregen

Abstract: Consider the moduli space of framed flat $U(2)$ connections with fixed odd determinant over a surface. Newstead combined some fundamental facts about this moduli space with the Mayer-Vietoris sequence to compute its betti numbers over any field not of characteristic two. We adapt his method in characteristic two to produce conjectural recursive formulae for the mod two betti numbers of the framed… ▽ More Consider the moduli space of framed flat $U(2)$ connections with fixed odd determinant over a surface. Newstead combined some fundamental facts about this moduli space with the Mayer-Vietoris sequence to compute its betti numbers over any field not of characteristic two. We adapt his method in characteristic two to produce conjectural recursive formulae for the mod two betti numbers of the framed moduli space which we partially verify. We also discuss the interplay with the mod two cohomology ring structure of the unframed moduli space. △ Less

Submitted 19 July, 2017; originally announced July 2017.

Comments: 16 pages, 8 figures

MSC Class: 57R19

The cohomology of rank two stable bundle moduli: mod two nilpotency & skew Schur polynomials

Authors: Christopher Scaduto, Matthew Stoffregen

Abstract: We compute cup product pairings in the integral cohomology ring of the moduli space of rank two stable bundles with odd determinant over a Riemann surface using methods of Zagier. The resulting formula is related to a generating function for certain skew Schur polynomials. As an application, we compute the nilpotency degree of a distinguished degree two generator in the mod two cohomology ring. We… ▽ More We compute cup product pairings in the integral cohomology ring of the moduli space of rank two stable bundles with odd determinant over a Riemann surface using methods of Zagier. The resulting formula is related to a generating function for certain skew Schur polynomials. As an application, we compute the nilpotency degree of a distinguished degree two generator in the mod two cohomology ring. We then give descriptions of the mod two cohomology rings in low genus, and describe the subrings invariant under the map** class group action. △ Less

Submitted 19 July, 2017; originally announced July 2017.

Comments: 34 pages, 2 figures

MSC Class: 14D20; 57R58

Two-fold quasi-alternating links, Khovanov homology and instanton homology

Authors: Christopher Scaduto, Matthew Stoffregen

Abstract: We introduce a class of links strictly containing quasi-alternating links for which mod 2 reduced Khovanov homology is always thin. We compute the framed instanton homology for double branched covers of such links. Aligning certain dotted markings on a link with bundle data over the branched cover, we also provide many computations of framed instanton homology in the presence of a non-trivial real… ▽ More We introduce a class of links strictly containing quasi-alternating links for which mod 2 reduced Khovanov homology is always thin. We compute the framed instanton homology for double branched covers of such links. Aligning certain dotted markings on a link with bundle data over the branched cover, we also provide many computations of framed instanton homology in the presence of a non-trivial real 3-plane bundle. We discuss evidence for a spectral sequence from the twisted Khovanov homology of a link with mod 2 coefficients to the framed instanton homology of the double branched cover. We also discuss the relevant mod 4 gradings. △ Less

Submitted 17 May, 2016; originally announced May 2016.

Comments: 29 pages, 14 figures

MSC Class: 57M27

Klein-four connections and the Casson invariant for non-trivial admissible $U(2)$ bundles

Authors: Christopher Scaduto, Matthew Stoffregen

Abstract: Given a rank 2 hermitian bundle over a 3-manifold that is non-trivial admissible in the sense of Floer, one defines its Casson invariant as half the signed count of its projectively flat connections, suitably perturbed. We show that the 2-divisibility of this integer invariant is controlled in part by a formula involving the mod 2 cohomology ring of the 3-manifold. This formula counts flat connect… ▽ More Given a rank 2 hermitian bundle over a 3-manifold that is non-trivial admissible in the sense of Floer, one defines its Casson invariant as half the signed count of its projectively flat connections, suitably perturbed. We show that the 2-divisibility of this integer invariant is controlled in part by a formula involving the mod 2 cohomology ring of the 3-manifold. This formula counts flat connections on the induced adjoint bundle with Klein-four holonomy. △ Less

Submitted 3 May, 2016; originally announced May 2016.

Comments: 17 pages, 2 figures

MSC Class: 57M27

Journal ref: Algebr. Geom. Topol. 17 (2017) 2841-2861

A Remark on $\mathrm{Pin}(2)$-equivariant Floer homology

Authors: Matthew Stoffregen

Abstract: In this remark, we show how the monopole Frøyshov invariant, as well as the analogues of the Involutive Heegaard Floer correction terms $\underline{d},\overline{d}$, are related to the $\mathrm{Pin}(2)$-equivariant Floer homology $\mathit{SWFH}^G_*$. We show that the only interesting correction terms of a $\mathrm{Pin}(2)$-space are those coming from the subgroups $\mathbb{Z}/4$, $S^1$, and… ▽ More In this remark, we show how the monopole Frøyshov invariant, as well as the analogues of the Involutive Heegaard Floer correction terms $\underline{d},\overline{d}$, are related to the $\mathrm{Pin}(2)$-equivariant Floer homology $\mathit{SWFH}^G_*$. We show that the only interesting correction terms of a $\mathrm{Pin}(2)$-space are those coming from the subgroups $\mathbb{Z}/4$, $S^1$, and $\mathrm{Pin}(2)$ itself. △ Less

Submitted 1 May, 2016; originally announced May 2016.

Comments: 13 pages

Manolescu Invariants of Connected Sums

Authors: Matthew Stoffregen

Abstract: We give inequalities for the Manolescu invariants $α,β,γ$ under the connected sum operation. We compute the Manolescu invariants of connected sums of some Seifert fiber spaces. Using these same invariants, we provide a proof of Furuta's Theorem, the existence of a $\mathbb{Z}^\infty$ subgroup of the homology cobordism group. To our knowledge, this is the first proof of Furuta's Theorem using monop… ▽ More We give inequalities for the Manolescu invariants $α,β,γ$ under the connected sum operation. We compute the Manolescu invariants of connected sums of some Seifert fiber spaces. Using these same invariants, we provide a proof of Furuta's Theorem, the existence of a $\mathbb{Z}^\infty$ subgroup of the homology cobordism group. To our knowledge, this is the first proof of Furuta's Theorem using monopoles. We also provide information about Manolescu invariants of the connected sum of $n$ copies of a three-manifold $Y$, for large $n$. △ Less

Submitted 5 October, 2015; originally announced October 2015.

Comments: 41 pages, 10 figures

Stern Sequences for a Family of Multidimensional Continued Fractions: TRIP-Stern Sequences

Authors: Ilya Amburg, Krishna Dasaratha, Laure Flapan, Thomas Garrity, Chansoo Lee, Cornelia Mihaila, Nicholas Neumann-Chun, Sarah Peluse, Matthew Stoffregen

Abstract: The Stern diatomic sequence is closely linked to continued fractions via the Gauss map on the unit interval, which in turn can be understood via systematic subdivisions of the unit interval. Higher dimensional analogues of continued fractions, called multidimensional continued fractions, can be produced through various subdivisions of a triangle. We define triangle partition-Stern sequences (TRIP-… ▽ More The Stern diatomic sequence is closely linked to continued fractions via the Gauss map on the unit interval, which in turn can be understood via systematic subdivisions of the unit interval. Higher dimensional analogues of continued fractions, called multidimensional continued fractions, can be produced through various subdivisions of a triangle. We define triangle partition-Stern sequences (TRIP-Stern sequences for short), higher-dimensional generalizations of the Stern diatomic sequence, from the method of subdividing a triangle via various triangle partition algorithms. We then explore several combinatorial results about TRIP-Stern sequences, which may be used to give rise to certain well-known sequences. We finish by generalizing TRIP-Stern sequences and presenting analogous results for these generalizations. △ Less

Submitted 26 March, 2017; v1 submitted 17 September, 2015; originally announced September 2015.

Comments: Expanded exposition

Journal ref: Journal of Integer Sequences (2017) Article 17.1.7

Pin(2)-equivariant Seiberg-Witten Floer homology of Seifert fibrations

Authors: Matthew Stoffregen

Abstract: We compute the $\mathrm{Pin}(2)$-equivariant Seiberg-Witten Floer homology of Seifert rational homology three-spheres in terms of their Heegaard Floer homology. As a result of this computation, we prove Manolescu's conjecture that $β=-\barμ$ for Seifert integral homology three-spheres. We show that the Manolescu invariants $α, β,$ and $γ$ give new obstructions to homology cobordisms between Seifer… ▽ More We compute the $\mathrm{Pin}(2)$-equivariant Seiberg-Witten Floer homology of Seifert rational homology three-spheres in terms of their Heegaard Floer homology. As a result of this computation, we prove Manolescu's conjecture that $β=-\barμ$ for Seifert integral homology three-spheres. We show that the Manolescu invariants $α, β,$ and $γ$ give new obstructions to homology cobordisms between Seifert fiber spaces, and that many Seifert homology spheres $Σ(a_1,...,a_n)$ are not homology cobordant to any $-Σ(b_1,...,b_n)$. We then use the same invariants to give an example of an integral homology sphere not homology cobordant to any Seifert fiber space. We also show that the $\mathrm{Pin}(2)$-equivariant Seiberg-Witten Floer spectrum provides homology cobordism obstructions distinct from $α,β,$ and $γ$. In particular, we identify an $\mathbb{F}[U]$-module called connected Seiberg-Witten Floer homology, whose isomorphism class is a homology cobordism invariant. △ Less

Submitted 5 October, 2015; v1 submitted 13 May, 2015; originally announced May 2015.

Comments: 49 pages, 11 figures. Corrected an error in Lemma 3.8, slightly changing the statement of Theorem 1.1

Journal ref: Compositio Math. 156 (2020) 199-250

Cubic Irrationals and Periodicity via a Family of Multi-dimensional Continued Fraction Algorithms

Authors: Krishna Dasaratha, Laure Flapan, Thomas Garrity, Chansoo Lee, Cornelia Mihaila, Nicholas Neumann-Chun, Sarah Peluse, Matthew Stoffregen

Abstract: We construct a countable family of multi-dimensional continued fraction algorithms, built out of five specific multidimensional continued fractions, and find a wide class of cubic irrational real numbers a so that either (a, a^2) or (a, a-a^2) is purely periodic with respect to an element in the family. These cubic irrationals seem to be quite natural, as we show that, for every cubic number field… ▽ More We construct a countable family of multi-dimensional continued fraction algorithms, built out of five specific multidimensional continued fractions, and find a wide class of cubic irrational real numbers a so that either (a, a^2) or (a, a-a^2) is purely periodic with respect to an element in the family. These cubic irrationals seem to be quite natural, as we show that, for every cubic number field, there exists a pair (u,u') with u a unit in the cubic number field (or possibly the quadratic extension of the cubic number field by the square root of the discriminant) such that (u,u') has a periodic multidimensional continued fraction expansion under one of the maps in the family generated by the initial five maps. Thus these results are built on a careful technical analysis of certain units in cubic number fields and our family of multi-dimensional continued fractions. We then recast the linking of cubic irrationals with periodicity to the linking of cubic irrationals with the construction of a matrix with nonnegative integer entries for which at least one row is eventually periodic. △ Less

Submitted 26 April, 2014; v1 submitted 21 August, 2012; originally announced August 2012.

Comments: 14 pages; New section on earlier work added; to appear in Monatshefte für Mathematik

A Solution to the Lonely Runner Conjecture for Almost All Points

Authors: C. Harold Horvat, Matthew Stoffregen

Abstract: The Lonely Runner Conjecture is a number theory problem, dating to 1964. Using dynamical systems theory, we show almost all sets of velocities solve the conjecture. Furthermore, any "traditional" approach of Diophantine approximation cannot solve the problem, and we offer a short list of reformulations of the problem. The Lonely Runner Conjecture is a number theory problem, dating to 1964. Using dynamical systems theory, we show almost all sets of velocities solve the conjecture. Furthermore, any "traditional" approach of Diophantine approximation cannot solve the problem, and we offer a short list of reformulations of the problem. △ Less

Submitted 8 March, 2011; originally announced March 2011.

Comments: 5 pages

MSC Class: 11