Searcharxiv⌕ Search

arXiv subjects

David Shea Vela-Vick

Publications and source records attributed to David Shea Vela-Vick.

17 recordsLinked to original sources
arXiv2023

Lagrangian Zigzag Cobordisms

We investigate an equivalence relation on Legendrian knots in the standard contact three-space defined by the existence of an interpolating zigzag of Lagrangian cobordisms. We compare this relation, restricted to genus-$0$ surfaces, to smooth concordance and Lagrangian concordance. We then study the metric monoid formed by the set of Lagrangian zigzag concordance classes, which parallels the metric group formed by the set of smooth concordance classes, proving structural results on torsion and satellite operators. Finally, we discuss the relation of Lagrangian zigzag cobordism to non-classical invariants of Legendrian knots.

math.SG↗
arXiv2022

Ribbon homology cobordisms

We study 4-dimensional homology cobordisms without 3-handles, showing that they interact nicely with Thurston geometries, character varieties, and instanton and Heegaard Floer homologies. Using these, we derive obstructions to such cobordisms. As one example of these obstructions, we generalize other recent results on the behavior of knot Floer homology under ribbon concordances. Finally, we provide topological applications, including to Dehn surgery problems.

math.GT↗
arXiv2021

Upper bounds for the Lagrangian cobordism relation on Legendrian links

Lagrangian cobordism induces a preorder on the set of Legendrian links in any contact 3-manifold. We show that any finite collection of null-homologous Legendrian links in a tight contact 3-manifold with a common rotation number has an upper bound with respect to the preorder. In particular, we construct an exact Lagrangian cobordism from each element of the collection to a common Legendrian link. This construction allows us to define a notion of minimal Lagrangian genus between any two null-homologous Legendrian links with a common rotation number.

math.GT↗
arXiv2018

An unoriented skein relation via bordered-sutured Floer homology

We show that the bordered-sutured Floer invariant of the complement of a tangle in an arbitrary 3-manifold $Y$, with minimal conditions on the bordered-sutured structure, satisfies an unoriented skein exact triangle. This generalizes a theorem by Manolescu for links in $S^3$. We give a theoretical proof of this result by adapting holomorphic polygon counts to the bordered-sutured setting, and also give a combinatorial description of all maps involved and explicitly compute them. We then show that, for $Y = S^3$, our exact triangle coincides with Manolescu's. Finally, we provide a graded version of our result, explaining in detail the grading reduction process involved.

math.GT↗
arXiv2018

A note on the knot Floer homology of fibered knots

We prove that the knot Floer homology of a fibered knot is nontrivial in its next-to-top Alexander grading. Immediate applications include new proofs of Krcatovich's result that knots with $L$-space surgeries are prime and Hedden and Watson's result that the rank of knot Floer homology detects the trefoil among knots in the 3--sphere. We also generalize the latter result, proving a similar theorem for nullhomologous knots in any 3--manifold. We note that our method of proof inspired Baldwin and Sivek's recent proof that Khovanov homology detects the trefoils. As part of this work, we also introduce a numerical refinement of the Ozsváth-Szabó contact invariant. This refinement was the inspiration for Hubbard and Saltz's annular refinement of Plamenevskaya's transverse link invariant in Khovanov homology.

math.GT↗
arXiv2017

Lifting Lagrangian immersions in $\mathbb{C} P^{n-1}$ to Lagrangian cones in $\mathbb{C}^n$

In this paper we show how to lift Lagrangian immersions in $\mathbb{C} P^{n-1}$ to produce Lagrangian cones in $\mathbb{C} ^n$, and use this process to produce several families of examples of Lagrangian cones and special Lagrangian cones. Moreover we show how to produce Lagrangian cones, isotopic to the Harvey-Lawson and trivial cones, whose projections to $\mathbb{C} P^{n-1}$ are immersions with few transverse double points.

math.GT↗
arXiv2017

Transverse braids and combinatorial knot Floer homology

We describe a new method for combinatorially computing the transverse invariant in knot Floer homology. Previous work of the authors and Stone used braid diagrams to combinatorially compute knot Floer homology of braid closures. However, that approach was unable to explicitly identify the invariant of transverse links that naturally appears in braid diagrams. In this paper, we improve the previous approach in order to compute the transverse invariant. We define a new combinatorial complex that computes knot Floer homology and identify the BRAID invariant of transverse knots and links in the homology of this complex.

math.SG↗
arXiv2014

Sutured Floer homology and invariants of Legendrian and transverse knots

Using contact-geometric techniques and sutured Floer homology, we present an alternate formulation of the minus and plus version of knot Floer homology. We further show how natural constructions in the realm of contact geometry give rise to much of the formal structure relating the various versions of Heegaard Floer homology. In addition, to a Legendrian or transverse knot K in a contact manifold (Y,ξ), we associate distinguished classes EHL(K) in the minus-version of knot floer homology and EHIL(K) in the plus version, which are each invariant under Legendrian or transverse isotopies of K. The distinguished class EHL is shown to agree with the Legendrian/transverse invariant defined by Lisca, Ozsvath, Stipsicz, and Szabo despite a strikingly dissimilar definition. While our definitions and constructions only involve sutured Floer homology and contact geometry, the identification of our invariants with known invariants uses bordered sutured Floer homology to make explicit computations of maps between sutured Floer homology groups.

math.GT↗
arXiv2013

Braids and combinatorial knot Floer homology

We present a braid-theoretic approach to combinatorially computing knot Floer homology. To a knot or link K, which is braided about the standard disk open book decomposition for (S^3,ξ_std), we associate a corresponding multi-pointed nice Heegaard diagram. We then describe an explicit algorithm for computing the associated knot Floer homology groups. We compute explicit bounds for the computational complexity of our algorithm and demonstrate that, in many cases, it is significantly faster than the previous approach using grid diagrams.

math.GT↗
arXiv2012

Generalized Gauss maps and integrals for three-component links: toward higher helicities for magnetic fields and fluid flows, Part 2

We describe a new approach to triple linking invariants and integrals, aiming for a simpler, wider and more natural applicability to the search for higher order helicities of fluid flows and magnetic fields. To each three-component link in Euclidean 3-space, we associate a geometrically natural generalized Gauss map from the 3-torus to the 2-sphere, and show that the pairwise linking numbers and Milnor triple linking number that classify the link up to link homotopy correspond to the Pontryagin invariants that classify its generalized Gauss map up to homotopy. This can be viewed as a natural extension of the familiar fact that the linking number of a two-component link in 3-space is the degree of its associated Gauss map from the 2-torus to the 2-sphere. When the pairwise linking numbers are all zero, we give an integral formula for the triple linking number analogous to the Gauss integral for the pairwise linking numbers, but patterned after J.H.C. Whitehead's integral formula for the Hopf invariant. The integrand in this formula is geometrically natural in the sense that it is invariant under orientation-preserving rigid motions of 3-space, while the integral itself can be viewed as the helicity of a related vector field on the 3-torus. In the first paper of this series [math.GT 1101.3374] we did this for three-component links in the 3-sphere. Komendarczyk has applied this approach in special cases to derive a higher order helicity for magnetic fields whose ordinary helicity is zero, and to obtain from this nonzero lower bounds for the field energy.

math.GT↗
arXiv2011

On the equivalence of Legendrian and transverse invariants in knot Floer homology

Using the grid diagram formulation of knot Floer homology, Ozsvath, Szabo and Thurston defined an invariant of transverse knots in the tight contact 3-sphere. Shortly afterwards, Lisca, Ozsvath, Stipsicz and Szabo defined an invariant of transverse knots in arbitrary contact 3-manifolds using open book decompositions. It has been conjectured that these invariants agree where they are both defined. We prove this fact by defining yet another invariant of transverse knots, showing that this third invariant agrees with the two mentioned above.

math.SG↗
arXiv2011

Pontryagin invariants and integral formulas for Milnor's triple linking number

To each three-component link in the 3-sphere, we associate a geometrically natural characteristic map from the 3-torus to the 2-sphere, and show that the pairwise linking numbers and Milnor triple linking number that classify the link up to link homotopy correspond to the Pontryagin invariants that classify its characteristic map up to homotopy. This can be viewed as a natural extension of the familiar fact that the linking number of a two-component link in 3-space is the degree of its associated Gauss map from the 2-torus to the 2-sphere. When the pairwise linking numbers are all zero, we give an integral formula for the triple linking number analogous to the Gauss integral for the pairwise linking numbers. The integrand in this formula is geometrically natural in the sense that it is invariant under orientation-preserving rigid motions of the 3-sphere, while the integral itself can be viewed as the helicity of a related vector field on the 3-torus.

math.GT↗
arXiv2010

On the transverse invariant for bindings of open books

Consider a transverse knot which is the binding of an open book for the ambient contact manifold. In this paper, we show that the transverse invariants defined by Lisca, Ozsvath, Stipsicz, and Szabo (LOSS) are nonvanishing for such transverse knots. This is true regardless of whether or not the ambient contact structure is tight. We also prove a vanishing theorem for LOSS's Legendrian and transverse invariants. As a corollary, we show that if (T,π) is an open book with connected binding, then the complement of T has no Giroux torsion.

math.SG↗
arXiv2009

Torsion and Open Book Decompositions

We show that if (B,π) is an open book decomposition of a contact 3-manifold (Y,ξ), then the complement of the binding B has no Giroux torsion. We also prove the sutured Heegaard-Floer c-bar invariant of the binding of an open book is non-zero.

math.SG↗
arXiv2009

Triple linking numbers, ambiguous Hopf invariants and integral formulas for three-component links

Three-component links in the 3-dimensional sphere were classified up to link homotopy by John Milnor in his senior thesis, published in 1954. A complete set of invariants is given by the pairwise linking numbers p, q and r of the components, and by the residue class of one further integer mu, the "triple linking number" of the title, which is well-defined modulo the greatest common divisor of p, q and r. To each such link L we associate a geometrically natural characteristic map g_L from the 3-torus to the 2-sphere in such a way that link homotopies of L become homotopies of g_L. Maps of the 3-torus to the 2-sphere were classified up to homotopy by Lev Pontryagin in 1941. A complete set of invariants is given by the degrees p, q and r of their restrictions to the 2-dimensional coordinate subtori, and by the residue class of one further integer nu, an "ambiguous Hopf invariant" which is well-defined modulo twice the greatest common divisor of p, q and r. We show that the pairwise linking numbers p, q and r of the components of L are equal to the degrees of its characteristic map g_L restricted to the 2-dimensional subtori, and that twice Milnor's mu-invariant for L is equal to Pontryagin's nu-invariant for g_L. When p, q and r are all zero, the mu- and nu-invariants are ordinary integers. In this case we use J. H. C. Whitehead's integral formula for the Hopf invariant, adapted to maps of the 3-torus to the 2-sphere, together with a formula for the fundamental solution of the scalar Laplacian on the 3-torus as a Fourier series in three variables, to provide an explicit integral formula for nu, and hence for mu.

math.GT↗
arXiv2008

Higher-dimensional linking integrals

We derive an integral formula for the linking number of two submanifolds of the n-sphere S^n, of the product S^n x R^m, and of other manifolds which appear as "nice" hypersurfaces in Euclidean space. The formulas are geometrically meaningful in that they are invariant under the action of the special orthogonal group on the ambient space.

math.GT↗