arXiv Science⌕ Search

arXiv subjects

Robert Lipshitz

Publications and source records attributed to Robert Lipshitz.

At least 19 recordsLinked to original sources
arXiv2026

Bordered Floer homology and incompressible surfaces

We show that bordered Heegaard Floer homology detects incompressible surfaces and bordered-sutured Floer homology detects partly boundary parallel tangles and bridges, in natural ways. For example, there is a bimodule Lambda so that the tensor product of CFD(Y) and Lambda is Hom-orthogonal to CFD(Y) if and only if the boundary of Y admits an essential compressing disk. In the process, we sharpen a nonvanishing result of Ni's. We also extend Lipshitz-Ozsváth-Thurston's "factoring" algorithm for computing HF-hat to compute bordered-sutured Floer homology, to make both results on detecting incompressibility practical. In particular, this makes Zarev's tangle invariant manifestly combinatorial.

math.GT↗
arXiv2026

Real bordered Floer homology

Fix a 3-manifold $Y$ with boundary $F\amalg F$ and an orientation-preserving involution $τ: Y\to Y$ exchanging the boundary components, with nonempty fixed set. To an appropriate kind of Heegaard diagram for $Y$, we describe how to associate a module over the bordered Heegaard Floer algebra of $F$. These modules satisfy a gluing, or pairing, theorem, and extend the "hat" variant of Guth-Manolescu's real Heegaard Floer homology, $\widehat{HFR}(Y,τ)$. Using these modules, we give a practical algorithm to compute $\widehat{HFR}(Y,τ)$ for real 3-manifolds $(Y,τ)$ with connected fixed set.

math.GT↗
arXiv2025

Local equivalence and refinements of Rasmussen's s-invariant

Inspired by the notions of local equivalence in monopole and Heegaard Floer homology, we introduce a version of local equivalence that combines odd Khovanov homology with equivariant even Khovanov homology into an algebraic package called a local even-odd (LEO) triple. We get a homomorphism from the smooth concordance group $C$ to the resulting local equivalence group $C_{LEO}$ of such triples. We give several versions of the $s$-invariant that descend to $C_{LEO}$, including one that completely determines whether the image of a knot $K$ in $C_{LEO}$ is trivial. We discuss computer experiments illustrating the power of these invariants in obstructing sliceness, both statistically and for some interesting knots studied by Manolescu-Piccirillo. Along the way, we explore several variants of this local equivalence group, including one that is totally ordered.

math.GT↗
arXiv2025

Involutive bordered Floer homology

We give a bordered extension of involutive HF-hat and use it to give an algorithm to compute involutive HF-hat for general 3-manifolds. We also explain how the mapping class group action on HF-hat can be computed using bordered Floer homology. As applications, we prove that involutive HF-hat satisfies a surgery exact triangle and compute HFI-hat of the branched double covers of all 10-crossing knots.

math.GT↗
arXiv2025

Detecting Heegaard Floer homology solid tori

We show that a rational homology solid torus is a Heegaard Floer homology solid torus if and only if it has a Dehn filling with a non-separating 2-sphere. Using this, we characterize Seifert fibered Heegaard Floer solid tori.

math.GT↗
arXiv2025

Bordered Floer homology, handlebody detection, and compressing diffeomorphisms

We show that, up to connected sums with integer homology $L$-spaces, bordered Floer homology detects handlebodies, as well as whether a mapping class extends over a given handlebody or compression body. Using this, we combine ideas of Casson-Long with the theory of train tracks to give an algorithm using bordered Floer homology to detect whether a mapping class extends over any compression body.

math.GT↗
arXiv2024

A bordered HF- algebra for the torus

We describe a weighted $A_\infty$-algebra associated to the torus. We give a combinatorial construction of this algebra, and an abstract characterization. The abstract characterization also gives a relationship between our algebra and the wrapped Fukaya category of the torus. These algebras underpin the (unspecialized) bordered Heegaard Floer homology for three-manifolds with torus boundary, which will be constructed in forthcoming work.

math.GT↗
arXiv2024

Torsion in linearized contact homology for Legendrian knots

We present examples of Legendrian knots in $\mathbb{R}^3$ that have linearized Legendrian contact homology over $\mathbb{Z}$ containing torsion. As a consequence, we show that there exist augmentations of Legendrian knots over $\mathbb{Z}$ that are not induced by exact Lagrangian fillings, even though their mod $2$ reductions are.

math.SG↗
arXiv2023

Bordered HF- for three-manifolds with torus boundary

We define an invariant for bordered 3-manifolds with torus boundary, taking the form of a module over a weighted A-infinity algebra associated to a torus defined in previous work. On setting U=0, we obtain the bordered three-manifold invariants with torus boundary constructed earlier.

math.GT↗
arXiv2023

Diagonals and A-infinity Tensor Products

Extending work of Saneblidze-Umble and others, we use diagonals for the associahedron and multiplihedron to define tensor products of A-infinity algebras, modules, algebra homomorphisms, and module morphisms, as well as to define a bimodule analogue of twisted complexes (type DD structures, in the language of bordered Heegaard Floer homology) and their one- and two-sided tensor products. We then give analogous definitions for 1-parameter deformations of A-infinity algebras; this involves another collection of complexes. These constructions are relevant to bordered Heegaard Floer homology.

math.RA↗
arXiv2023

Floer homology beyond borders

Bordered Floer homology is an invariant for 3-manifolds with boundary, defined by the authors in 2008. It extends the Heegaard Floer homology of closed 3-manifolds, defined in earlier work of Zoltán Szabó and the second author. In addition to its conceptual interest, bordered Floer homology also provides powerful computational tools. This survey outlines the theory, focusing on recent developments and applications.

math.GT↗
arXiv2022

A Khovanov stable homotopy type

Given a link diagram L we construct spectra X^j(L) so that the Khovanov homology Kh^{i,j}(L) is isomorphic to the (reduced) singular cohomology H^i(X^j(L)). The construction of X^j(L) is combinatorial and explicit. We prove that the homotopy type of X^j(L) depends only on the isotopy class of the corresponding link.

math.GT↗
arXiv2022

Khovanov homology of strongly invertible knots and their quotients

We construct a spectral sequence relating the Khovanov homology of a strongly invertible knot to the annular Khovanov homologies of the two natural quotient knots. Using this spectral sequence, we re-prove that Khovanov homology distinguishes certain slice disks. We also give an analogous spectral sequence for the Heegaard Floer homology of the branched double cover.

math.GT↗
arXiv2022

Rank inequalities for the Heegaard Floer homology of branched covers

Given a double cover between 3-manifolds branched along a nullhomologous link, we establish an inequality between the dimensions of their Heegaard Floer homologies. We discuss the relationship with the L-space conjecture and give some other topological applications, as well as an analogous result for sutured Floer homology.

math.GT↗
arXiv2022

Khovanov homology detects split links

Extending ideas of Hedden-Ni, we show that the module structure on Khovanov homology detects split links. We also prove an analogue for untwisted Heegaard Floer homology of the branched double cover. Technical results proved along the way include two interpretations of the module structure on untwisted Heegaard Floer homology in terms of twisted Heegaard Floer homology and the fact that the module structure on the reduced Khovanov complex of a link is well-defined up to quasi-isomorphism.

math.GT↗