Showing 1–22 of 22 results for author: Greene, J E

Polynomial Inscriptions

Authors: Joshua Evan Greene, Andrew Lobb

Abstract: We prove that for every smooth Jordan curve $γ\subset \mathbb{C}$ and for every set $Q \subset \mathbb{C}$ of six concyclic points, there exists a non-constant quadratic polynomial $p \in \mathbb{C}[z]$ such that $p(Q) \subset γ$. The proof relies on a theorem of Fukaya and Irie. We also prove that if $Q$ is the union of the vertex sets of two concyclic regular $n$-gons, there exists a non-constan… ▽ More We prove that for every smooth Jordan curve $γ\subset \mathbb{C}$ and for every set $Q \subset \mathbb{C}$ of six concyclic points, there exists a non-constant quadratic polynomial $p \in \mathbb{C}[z]$ such that $p(Q) \subset γ$. The proof relies on a theorem of Fukaya and Irie. We also prove that if $Q$ is the union of the vertex sets of two concyclic regular $n$-gons, there exists a non-constant polynomial $p \in \mathbb{C}[z]$ of degree at most $n-1$ such that $p(Q) \subset γ$. The proof is based on a computation in Floer homology. These results support a conjecture about which point sets $Q \subset \mathbb{C}$ admit a polynomial inscription of a given degree into every smooth Jordan curve $γ$. △ Less

Submitted 12 December, 2024; originally announced December 2024.

Comments: 18 pages

Square pegs between two graphs

Authors: Joshua Evan Greene, Andrew Lobb

Abstract: We show that there always exists an inscribed square in a Jordan curve given as the union of two graphs of functions of Lipschitz constant less than $1 + \sqrt{2}$. We are motivated by Tao's result that there exists such a square in the case of Lipschitz constant less than $1$. In the case of Lipschitz constant $1$, we show that the Jordan curve inscribes rectangles of every similarity class. Our… ▽ More We show that there always exists an inscribed square in a Jordan curve given as the union of two graphs of functions of Lipschitz constant less than $1 + \sqrt{2}$. We are motivated by Tao's result that there exists such a square in the case of Lipschitz constant less than $1$. In the case of Lipschitz constant $1$, we show that the Jordan curve inscribes rectangles of every similarity class. Our approach involves analysing the change in the spectral invariants of the Jordan Floer homology under perturbations of the Jordan curve. △ Less

Submitted 10 July, 2024; originally announced July 2024.

Comments: 28 pages

Floer homology and square pegs

Authors: Joshua Evan Greene, Andrew Lobb

Abstract: We construct a version of Lagrangian Floer homology whose chain complex is generated by the inscriptions of a rectangle into a real analytic Jordan curve. By using its associated spectral invariants, we establish that a rectifiable Jordan curve admits inscriptions of a whole interval of rectangles. In particular, it inscribes a square if the area it encloses is more than half that of a circle of e… ▽ More We construct a version of Lagrangian Floer homology whose chain complex is generated by the inscriptions of a rectangle into a real analytic Jordan curve. By using its associated spectral invariants, we establish that a rectifiable Jordan curve admits inscriptions of a whole interval of rectangles. In particular, it inscribes a square if the area it encloses is more than half that of a circle of equal diameter. △ Less

Submitted 13 July, 2024; v1 submitted 8 April, 2024; originally announced April 2024.

Comments: 29 pages, 9 figures; version 2: updated introduction, streamlined proof of properties of spectral invariants

Special Alternating Knots are Band Prime

Authors: Joe Boninger, Joshua Evan Greene

Abstract: We prove that a special alternating knot does not decompose as a non-trivial band sum. This restricts concordances from special alternating knots, and we conjecture that special alternating knots are ribbon concordance minimal. We verify our conjecture in many cases. This work is motivated by another conjecture of Owens and the second author, which posits that the set of alternating knots is downw… ▽ More We prove that a special alternating knot does not decompose as a non-trivial band sum. This restricts concordances from special alternating knots, and we conjecture that special alternating knots are ribbon concordance minimal. We verify our conjecture in many cases. This work is motivated by another conjecture of Owens and the second author, which posits that the set of alternating knots is downward closed under ribbon concordance. △ Less

Submitted 15 March, 2024; v1 submitted 30 October, 2023; originally announced October 2023.

Comments: Some added citations and exposition

MSC Class: 57K10

Journal ref: Int. Math. Res. Not. IMRN 2024, no. 10, 8758-8763

On the signature of a positive braid

Authors: Joshua Evan Greene, Livio Liechti

Abstract: We show that the signature of a positive braid link is bounded from below by a quarter of its first Betti number. We show that the signature of a positive braid link is bounded from below by a quarter of its first Betti number. △ Less

Submitted 4 August, 2023; originally announced August 2023.

Comments: 14 pages, 1 figure

MSC Class: 57K10

Alternating links, rational balls, and cube tilings

Authors: Joshua Evan Greene, Brendan Owens

Abstract: When does the double cover of the three-sphere branched along an alternating link bound a rational homology ball? Heegaard Floer homology generates a necessary condition for it to bound: the link's chessboard lattice must be cubiquitous, implying that its normalized determinant is less than or equal to one. We conjecture that the converse holds and prove it when the normalized determinant equals o… ▽ More When does the double cover of the three-sphere branched along an alternating link bound a rational homology ball? Heegaard Floer homology generates a necessary condition for it to bound: the link's chessboard lattice must be cubiquitous, implying that its normalized determinant is less than or equal to one. We conjecture that the converse holds and prove it when the normalized determinant equals one. The proof involves flows on planar graphs and the Hajós-Minkowski theorem that a lattice tiling of Euclidean space by cubes contains a pair of cubes which touch along an entire facet. We extend our main results to the study of ribbon cobordism and ribbon concordance. △ Less

Submitted 25 July, 2023; v1 submitted 12 December, 2022; originally announced December 2022.

Comments: 35 pages, 8 figures. V2: Improved exposition incorporating referee's suggestions. Accepted for publication in J. Eur. Math. Soc

MSC Class: 57K10; 57K18; 57K41; 05C21; 52C07; 52C22

Fibered simple knots

Authors: Joshua Evan Greene, John Luecke

Abstract: We prove that a simple knot in the lens space $L(p,q)$ fibers if and only if its order in homology does not divide any remainder occurring in the Euclidean algorithm applied to the pair $(p,q)$. One corollary is that if $p=m^2$ is a perfect square, then any simple knot of order $m$ fibers, answering a question of Cebanu. More generally, we compute the leading coefficient of the Alexander polynomia… ▽ More We prove that a simple knot in the lens space $L(p,q)$ fibers if and only if its order in homology does not divide any remainder occurring in the Euclidean algorithm applied to the pair $(p,q)$. One corollary is that if $p=m^2$ is a perfect square, then any simple knot of order $m$ fibers, answering a question of Cebanu. More generally, we compute the leading coefficient of the Alexander polynomial of a simple knot, and we describe how to construct a minimum complexity Seifert surface for one. The methods are direct, combinatorial, and geometric. △ Less

Submitted 15 June, 2021; originally announced June 2021.

Comments: 39 pages

MSC Class: 57K10

Cyclic quadrilaterals and smooth Jordan curves

Authors: Joshua Evan Greene, Andrew Lobb

Abstract: For every smooth Jordan curve $γ$ and cyclic quadrilateral $Q$ in the Euclidean plane, we show that there exists an orientation-preserving similarity taking the vertices of $Q$ to $γ$. The proof relies on the theorem of Polterovich and Viterbo that an embedded Lagrangian torus in $\mathbb{C}^2$ has minimum Maslov number 2. For every smooth Jordan curve $γ$ and cyclic quadrilateral $Q$ in the Euclidean plane, we show that there exists an orientation-preserving similarity taking the vertices of $Q$ to $γ$. The proof relies on the theorem of Polterovich and Viterbo that an embedded Lagrangian torus in $\mathbb{C}^2$ has minimum Maslov number 2. △ Less

Submitted 10 November, 2020; originally announced November 2020.

Comments: 4 pages, 1 figure

The Rectangular Peg Problem

Authors: Joshua Evan Greene, Andrew Lobb

Abstract: For every smooth Jordan curve $γ$ and rectangle $R$ in the Euclidean plane, we show that there exists a rectangle similar to $R$ whose vertices lie on $γ$. The proof relies on Shevchishin's theorem that the Klein bottle does not admit a smooth Lagrangian embedding in $\mathbb{C}^2$. For every smooth Jordan curve $γ$ and rectangle $R$ in the Euclidean plane, we show that there exists a rectangle similar to $R$ whose vertices lie on $γ$. The proof relies on Shevchishin's theorem that the Klein bottle does not admit a smooth Lagrangian embedding in $\mathbb{C}^2$. △ Less

Submitted 18 May, 2020; originally announced May 2020.

Comments: 6 pages

On curves intersecting at most once, II

Authors: Joshua Evan Greene

Abstract: We prove that on a closed, orientable surface of genus $g$, a set of simple loops with the property that no two are homotopic or intersect in more than $k$ points has cardinality $\lesssim_k g^{k+1} \log g$. The bound matches the size of the largest known construction to within a factor of $\sim_k \log g$. It generalizes an earlier result of the author, which treated the case $k=1$. The proof blen… ▽ More We prove that on a closed, orientable surface of genus $g$, a set of simple loops with the property that no two are homotopic or intersect in more than $k$ points has cardinality $\lesssim_k g^{k+1} \log g$. The bound matches the size of the largest known construction to within a factor of $\sim_k \log g$. It generalizes an earlier result of the author, which treated the case $k=1$. The proof blends probabilistic ideas with covering space arguments related to the fact that surface groups are LERF. △ Less

Submitted 4 November, 2018; originally announced November 2018.

Comments: 10 pages

MSC Class: 57M15; 05C62; 05D40

On curves intersecting at most once

Authors: Joshua Evan Greene

Abstract: We prove that on a closed surface of genus $g$, the cardinality of a set of simple closed curves in which any two are non-homotopic and intersect at most once is $\lesssim g^2 \log(g)$. This bound matches the largest known constructions to within a logarithmic factor. The proof uses a probabilistic argument in graph theory. It generalizes as well to the case of curves that intersect at most $k$ ti… ▽ More We prove that on a closed surface of genus $g$, the cardinality of a set of simple closed curves in which any two are non-homotopic and intersect at most once is $\lesssim g^2 \log(g)$. This bound matches the largest known constructions to within a logarithmic factor. The proof uses a probabilistic argument in graph theory. It generalizes as well to the case of curves that intersect at most $k$ times in pairs. △ Less

Submitted 15 July, 2018; originally announced July 2018.

Comments: 6 pages

MSC Class: 57M15; 05C62; 05D40

(1,1) L-space knots

Authors: Joshua Evan Greene, Sam Lewallen, Faramarz Vafaee

Abstract: We characterize the (1, 1) knots in the three-sphere and lens spaces that admit non-trivial L-space surgeries. As a corollary, 1-bridge braids in these manifolds admit non- trivial L-space surgeries. We also recover a characterization of the Berge manifold amongst 1-bridge braid exteriors. We characterize the (1, 1) knots in the three-sphere and lens spaces that admit non-trivial L-space surgeries. As a corollary, 1-bridge braids in these manifolds admit non- trivial L-space surgeries. We also recover a characterization of the Berge manifold amongst 1-bridge braid exteriors. △ Less

Submitted 14 January, 2018; v1 submitted 15 October, 2016; originally announced October 2016.

Comments: 17 pages, 5 figures; v2: corrects minor errors, has a new figure (Figure 2). This is the version to appear in Compositio Mathematica

MSC Class: 57M25; 57M27

Journal ref: Compositio Math. 154 (2018) 918-933

Coloring curves on surfaces

Authors: Jonah Gaster, Joshua Evan Greene, Nicholas G. Vlamis

Abstract: We study the chromatic number of the curve graph of a surface. We show that the chromatic number grows like k log k for the graph of separating curves on a surface of Euler characteristic -k. We also show that the graph of curves that represent a fixed non-zero homology class is uniquely t-colorable, where t denotes its clique number. Together, these results lead to the best known bounds on the ch… ▽ More We study the chromatic number of the curve graph of a surface. We show that the chromatic number grows like k log k for the graph of separating curves on a surface of Euler characteristic -k. We also show that the graph of curves that represent a fixed non-zero homology class is uniquely t-colorable, where t denotes its clique number. Together, these results lead to the best known bounds on the chromatic number of the curve graph. We also study variations for arc graphs and obtain exact results for surfaces of low complexity. Our investigation leads to connections with Kneser graphs, the Johnson homomorphism, and hyperbolic geometry. △ Less

Submitted 4 August, 2016; originally announced August 2016.

Comments: 32 pages, 10 figures

MSC Class: 57M15; 05C15

Journal ref: Forum Math. Sigma 6 (2018), e17

A note on applications of the d-invariant and Donaldson's theorem

Authors: Joshua Evan Greene

Abstract: This note contains two remarks about the application of the d-invariant in Heegaard Floer homology and Donaldson's diagonalization theorem to knot theory. The first is the equivalence of two obstructions they give to a 2-bridge knot being smoothly slice. The second carries out a suggestion by Stefan Friedl to replace the use of Heegaard Floer homology by Donaldson's theorem in the proof of the mai… ▽ More This note contains two remarks about the application of the d-invariant in Heegaard Floer homology and Donaldson's diagonalization theorem to knot theory. The first is the equivalence of two obstructions they give to a 2-bridge knot being smoothly slice. The second carries out a suggestion by Stefan Friedl to replace the use of Heegaard Floer homology by Donaldson's theorem in the proof of the main result of Invent. Math. 192 (2013) no.3 717-750 concerning Conway mutation of alternating links. △ Less

Submitted 27 December, 2015; originally announced December 2015.

Comments: 7 pages, 1 figure

MSC Class: 05C21; 05C50; 11H55; 57M15; 57M25; 57M27

Alternating links and definite surfaces

Authors: Joshua Evan Greene

Abstract: We establish a characterization of alternating links in terms of definite spanning surfaces. We apply it to obtain a new proof of Tait's conjecture that reduced alternating diagrams of the same link have the same crossing number and writhe. We also deduce a result of Banks and Hirasawa-Sakuma about Seifert surfaces for special alternating links. The appendix, written by Juhász and Lackenby, applie… ▽ More We establish a characterization of alternating links in terms of definite spanning surfaces. We apply it to obtain a new proof of Tait's conjecture that reduced alternating diagrams of the same link have the same crossing number and writhe. We also deduce a result of Banks and Hirasawa-Sakuma about Seifert surfaces for special alternating links. The appendix, written by Juhász and Lackenby, applies the characterization to derive an exponential time algorithm for alternating knot recognition. △ Less

Submitted 19 November, 2015; originally announced November 2015.

Comments: 11 pages, 1 figure

MSC Class: 05C21; 05C50; 11H55; 57M15; 57M25; 57M27

Journal ref: Duke Math. J. 166, no. 11 (2017), 2133-2151

Strong Heegaard diagrams and strong L-spaces

Authors: Joshua Evan Greene, Adam Simon Levine

Abstract: We study a class of 3-manifolds called strong L-spaces, which by definition admit a certain type of Heegaard diagram that is particularly simple from the perspective of Heegaard Floer homology. We provide evidence for the possibility that every strong L-space is the branched double cover of an alternating link in the three-sphere. For example, we establish this fact for a strong L-space admitting… ▽ More We study a class of 3-manifolds called strong L-spaces, which by definition admit a certain type of Heegaard diagram that is particularly simple from the perspective of Heegaard Floer homology. We provide evidence for the possibility that every strong L-space is the branched double cover of an alternating link in the three-sphere. For example, we establish this fact for a strong L-space admitting a strong Heegaard diagram of genus two via an explicit classification. We also show that there exist finitely many strong L-spaces with bounded order of first homology; for instance, through order eight, they are connected sums of lens spaces. The methods are topological and graph theoretic. We discuss many related results and questions. △ Less

Submitted 23 November, 2014; originally announced November 2014.

Comments: 33 pages, 9 figures

MSC Class: 57M27; 57R58

Journal ref: Algebr. Geom. Topol. 16 (2016) 3167-3208

Non-simple genus minimizers in lens spaces

Authors: Joshua Evan Greene, Yi Ni

Abstract: Given a one-dimensional homology class in a lens space, a question related to the Berge conjecture on lens space surgeries is to determine all knots realizing the minimal rational genus of all knots in this homology class. It is known that simple knots are rational genus minimizers. In this paper, we construct many non-simple genus minimizers. This negatively answers a question of Rasmussen. Given a one-dimensional homology class in a lens space, a question related to the Berge conjecture on lens space surgeries is to determine all knots realizing the minimal rational genus of all knots in this homology class. It is known that simple knots are rational genus minimizers. In this paper, we construct many non-simple genus minimizers. This negatively answers a question of Rasmussen. △ Less

Submitted 2 May, 2013; originally announced May 2013.

Comments: 16 pages, 6 figures

MSC Class: 57M25; 57M27

Alternating links and left-orderability

Authors: Joshua Evan Greene

Abstract: Let L \subset S^3 denote an alternating link and Sigma(L) its branched double-cover. We give a short proof of the fact that the fundamental group of Sigma(L) admits a left-ordering iff L is an unlink. This result is originally due to Boyer-Gordon-Watson. Let L \subset S^3 denote an alternating link and Sigma(L) its branched double-cover. We give a short proof of the fact that the fundamental group of Sigma(L) admits a left-ordering iff L is an unlink. This result is originally due to Boyer-Gordon-Watson. △ Less

Submitted 26 July, 2011; originally announced July 2011.

Comments: 3 pages, 1 figure

MSC Class: 57M25; 57M05

Turaev torsion, definite 4-manifolds, and quasi-alternating knots

Authors: Joshua Evan Greene, Liam Watson

Abstract: We construct an infinite family of hyperbolic, homologically thin knots that are not quasi-alternating. To establish the latter, we argue that the branched double-cover of each knot in the family does not bound a negative definite 4-manifold with trivial first homology and bounded second betti number. This fact depends in turn on information from the correction terms in Heegaard Floer homology, wh… ▽ More We construct an infinite family of hyperbolic, homologically thin knots that are not quasi-alternating. To establish the latter, we argue that the branched double-cover of each knot in the family does not bound a negative definite 4-manifold with trivial first homology and bounded second betti number. This fact depends in turn on information from the correction terms in Heegaard Floer homology, which we establish by way of a relationship to, and calculation of, the Turaev torsion. △ Less

Submitted 27 June, 2011; originally announced June 2011.

Comments: 11 pages, 3 figures

Lattices, graphs, and Conway mutation

Authors: Joshua Evan Greene

Abstract: The d-invariant of an integral, positive definite lattice L records the minimal norm of a characteristic covector in each equivalence class mod 2L. We prove that the 2-isomorphism type of a connected graph is determined by the d-invariant of its lattice of integral cuts (or flows). As an application, we prove that a reduced, alternating link diagram is determined up to mutation by the Heegaard Flo… ▽ More The d-invariant of an integral, positive definite lattice L records the minimal norm of a characteristic covector in each equivalence class mod 2L. We prove that the 2-isomorphism type of a connected graph is determined by the d-invariant of its lattice of integral cuts (or flows). As an application, we prove that a reduced, alternating link diagram is determined up to mutation by the Heegaard Floer homology of the link's branched double-cover. Thus, alternating links with homeomorphic branched double-covers are mutants. △ Less

Submitted 2 March, 2011; originally announced March 2011.

Comments: 26 pages, 4 figures

The lens space realization problem

Authors: Joshua Evan Greene

Abstract: We determine the lens spaces that arise by integer Dehn surgery along a knot in the three-sphere. Specifically, if surgery along a knot produces a lens space, then there exists an equivalent surgery along a Berge knot with the same knot Floer homology groups. This leads to sharp information about the genus of such a knot. The arguments rely on tools from Floer homology and lattice theory, and are… ▽ More We determine the lens spaces that arise by integer Dehn surgery along a knot in the three-sphere. Specifically, if surgery along a knot produces a lens space, then there exists an equivalent surgery along a Berge knot with the same knot Floer homology groups. This leads to sharp information about the genus of such a knot. The arguments rely on tools from Floer homology and lattice theory, and are primarily combinatorial in nature. △ Less

Submitted 29 October, 2010; originally announced October 2010.

Comments: 52 pages, 1 figure

L-space surgeries, genus bounds, and the cabling conjecture

Authors: Joshua Evan Greene

Abstract: We prove that if positive integer p-surgery along a knot K \subset S^3 produces an L-space and it bounds a sharp 4-manifold, then the knot genus obeys the bound 2g(K) -1 \leq p - \sqrt{3p+1}. Moreover, there exists an infinite family of pairs (K_n,p_n) attaining this bound, where K_n denotes an n-fold iterated cable of the unknot and p_n \to \infty. In particular, the stated bound applies when the… ▽ More We prove that if positive integer p-surgery along a knot K \subset S^3 produces an L-space and it bounds a sharp 4-manifold, then the knot genus obeys the bound 2g(K) -1 \leq p - \sqrt{3p+1}. Moreover, there exists an infinite family of pairs (K_n,p_n) attaining this bound, where K_n denotes an n-fold iterated cable of the unknot and p_n \to \infty. In particular, the stated bound applies when the knot surgery produces a lens space or a connected sum thereof. Combined with work of Gordon-Luecke, Hoffman, and Matignon-Sayari, it follows that if surgery along a knot produces a connected sum of lens spaces, then the knot is either a torus knot or a cable thereof, confirming the cabling conjecture in this case. △ Less

Submitted 5 January, 2012; v1 submitted 6 September, 2010; originally announced September 2010.

Comments: 13 pages, 3 figures