Lecture notes on Heegaard Floer homology for 3-manifolds and knots.
problem Understanding Heegaard Floer homology for 3-manifolds and knots.
method Explains Heegaard diagrams, Heegaard Floer homology, and knot Floer homology.
result Relationship between knot and 3-manifold invariants.
Introduces integer-valued Heegaard Floer theory with canonical orientations.
problem Defining and proving properties of Heegaard Floer homology over integers.
method Using canonical orientations from coupled Spin structures, proving naturality and surgery exact triangle.
result Established integer-valued Heegaard Floer theory and proved its properties.
Extends Khovanov homology spectral sequence using Heegaard Floer homology.
problem Relating Khovanov homology and Heegaard Floer homology of branched double covers.
method Involutive Heegaard Floer homology, bordered Floer homology, surgery exact triangle.
result Establishes spectral sequence connecting Khovanov homology and Heegaard Floer homology.
Heegaard Floer homology study confirms composition maps match up to homotopy.
problem Verifying consistency of composition maps in Heegaard Floer homology.
method Using Auroux and Zemke's results, proving agreement up to homotopy.
result Proves consistency of composition maps in Heegaard Floer homology.
Proves a formula in Heegaard Floer homology using combinatorial methods.
problem Proving Lipshitz's Maslov index formula in Heegaard Floer homology.
method Combinatorial proof via Heegaard diagrams.
result Validated Lipshitz's Maslov index formula in Heegaard Floer homology.
Identifies Heegaard Floer homology solid tori via Dehn fillings.
problem Characterizing Heegaard Floer homology solid tori.
method Using Dehn fillings to identify solid tori.
result Characterized Seifert fibered Heegaard Floer solid tori.
Lecture notes on Heegaard Floer homology for beginners.
problem Introducing Heegaard Floer homology to newcomers.
method Illustrates algebraic structures via grid homology, then defines Heegaard Floer homology geometrically.
result Defines and describes key properties of Heegaard Floer homology.
Formula for Heegaard Floer multicurves of double tangles from knot complements.
problem Computing Heegaard Floer multicurve invariants of double tangles.
method Using a simple formula derived from knot complements, comparing with Khovanov homology.
result New characterisation of L-space knots and first example of thin knot Floer homology.
Paper classifies Heegaard Floer minimal knots in sutured manifolds.
problem Classifying minimal knots in sutured manifolds.
method Uses Heegaard Floer homology.
result Agrees with instanton Floer homology classification when applicable.
Study proves naturality and functoriality in a type of Heegaard Floer homology.
problem Proving naturality and functoriality in a specific type of Heegaard Floer homology.
method Used the doubling model for the involution and variations to prove results.
result First-order naturality of involutive Heegaard Floer homology proved.
Study on knot concordance and homology cobordism using Heegaard Floer homology.
problem Knot concordance and homology cobordism.
method Heegaard Floer homology.
result Recent results in knot concordance and homology cobordism.
Real Heegaard Floer Homology extends Li's real monopole Floer homology.
problem Computing invariants of three-manifolds with symmetries.
method Real version of Lagrangian Floer homology, combinatorial computation.
result Euler characteristic of real Heegaard Floer homology is a knot invariant.
New Heegaard Floer homology for orbifolds with cyclic singularities.
problem Defining Heegaard Floer homology for orbifolds with arbitrary cyclic singularities.
method Generalizing recent work by defining Heegaard Floer homology for orbifolds with arbitrary cyclic singularities.
result Defined a new Heegaard Floer homology for orbifolds with arbitrary cyclic singularities.
This is a survey of bordered Heegaard Floer homology, an extension of the Heegaard Floer invariant HF-hat to 3-manifolds with boundary. Emphasis is placed on how bordered Heegaard Floer homology can be used for computations.
New invariants improve Heegaard Floer slice genus and clasp number bounds.
problem Improving bounds for knot concordance.
method Using knot Floer homology and involutive correction terms.
result Improved slice genus and clasp number bounds proved.
Maps from rational homology solid tori yield rank inequalities in Heegaard Floer homology.
problem Rank inequalities in Heegaard Floer homology.
method Using Hanselman-Rasmussen-Watson's bordered Floer homology, we extend their proof to rational homology solid tori.
result We provide rank inequalities for Heegaard Floer homology.
Heegaard Floer theory is a kind of topological quantum field theory, assigning graded groups to closed, connected, oriented 3-manifolds and group homomorphisms to smooth, oriented 4-dimensional cobordisms. Bordered Heegaard Floer homology is an extension of Heegaard Floer homology to 3-manifolds with boundary, with ext…
New signs and gradings enable detailed comparison in Heegaard Floer theory.
problem Comparing decategorified Heegaard Floer theory with modern TQFTs.
method Added signs and gradings to interval gluing theorem over Z.
result Detailed comparison possible with modern TQFTs.
New formulas link Milnor invariants to Heegaard Floer homology.
problem Understanding Milnor invariants through Heegaard Floer homology.
method Established new relationships between Milnor invariants and Heegaard Floer homology.
result Formula for the Milnor triple linking number from the link Floer complex.
New findings restrict Heegaard Floer homology for certain rational homology spheres.
problem The L-space conjecture or Heegaard Floer homology geography. method Verification of a stronger geography restriction for rational homology spheres.
result Heegaard Floer homology satisfies a stronger geography restriction for a wide class of rational homology spheres.
We consider a stabilized version of hat Heegaard Floer homology of a 3-manifold Y (i.e. the U=0 variant of Heegaard Floer homology for closed 3-manifolds). We give a combinatorial algorithm for constructing this invariant, starting from a Heegaard decomposition for Y, and give a combinatorial proof of its invariance pr…
Developed a real sutured Heegaard Floer theory.
problem Real sutured manifolds and their Floer homology.
method Real nice diagrams, combinatorial computation.
result New structural properties distinguishing from sutured Floer homology.
Extends Heegaard Floer theory to surfaces of dimension one.
problem Developing a theory for surfaces of dimension one.
method 2-representation theory of gl(1|1)^+ and tensor product construction.
result Extension of Heegaard Floer theory to dimension one.
We outline Hutchings's prescription that produces an ECH analog of Latschev and Wendl's algebraic k-torsion in the context of ech, a variant of ECH used in a proof of the isomorphism between Heegaard Floer and Seiberg-Witten Floer homologies; and we explain how it translates into Heegaard Floer homology.
Proves spectral sequence for real Heegaard Floer homology.
problem Real Heegaard Floer homology and its localization.
method Proves existence of a localization spectral sequence.
result Existence of spectral sequence for real Heegaard Floer hat variant.
Study shows inequality in Floer homologies for 3-manifold covers.
problem Establishing an inequality between Heegaard Floer homologies of branched covers.
method Using Heegaard Floer homology, the study establishes an inequality for dimensions of homologies of 3-manifold covers.
result An inequality is established between the dimensions of Heegaard Floer homologies of branched covers.
Using the combinatorial approach to Heegaard Floer homology we obtain a relatively easy formula for computation of hat Heegaard Floer homology for the three-manifold obtained by rational surgery on a knot K inside a homology sphere Y.
We construct maps on hat Heegaard Floer homology for cobordisms decorated with graphs. The graph TQFT allows for cobordisms with disconnected ends. Our construction uses Juhász's sutured Floer TQFT. We compute the maps for several elementary graph cobordisms. As an application, we compute the action of the fundamental …
We review the use of grid diagrams in the development of Heegaard Floer theory. We describe the construction of the combinatorial link Floer complex, and the resulting algorithm for unknot detection. We also explain how grid diagrams can be used to show that the Heegaard Floer invariants of 3-manifolds and 4-manifolds …
New method computes knot Floer homology for satellite knots.
problem Computing knot Floer homology for satellite knots.
method Using immersed Heegaard diagrams and bordered Floer homology.
result Computation of knot Floer homology for satellite knots streamlined.
Maps Heegaard Floer homology to Hecke algebras for surfaces.
problem Connecting Heegaard Floer homology with Hecke algebras.
method Constructs a map from Heegaard Floer homology to Hecke algebras.
result Shows the map is an isomorphism of algebras.
Decategorifies higher actions in Heegaard Floer homology.
problem Understanding higher actions in Heegaard Floer homology.
method Decategorification of bordered Heegaard Floer strands algebras and identification with actions on exterior powers of homology groups.
result Identifies decategorifications with certain actions on exterior powers of homology groups of surfaces.
Survey on proof of homology isomorphism between two complex theories.
problem Proof of isomorphism between Heegaard Floer homology and embedded contact homology.
method Survey of proof methods from multiple papers.
result Established isomorphism between Heegaard Floer homology and embedded contact homology.
We show that the graph TQFT for Heegaard Floer homology satisfies a strong version of Atiyah's duality axiom for a TQFT. As an application, we compute some Heegaard Floer mixed invariants of 4-dimensional mapping tori in terms of Lefschetz numbers on HF+.
This work has two goals. The first is to provide a conceptual introduction to Heegaard Floer homology, the second is to survey the current state of the field, without aiming for completeness. After reviewing the structure of Heegaard Floer homology, we list some of its most important applications. Many of these are pur…
We show that all versions of Heegaard Floer homology, link Floer homology, and sutured Floer homology are natural. That is, they assign concrete groups to each based 3-manifold, based link, and balanced sutured manifold, respectively. Furthermore, we functorially assign isomorphisms to (based) diffeomorphisms, and show…
Proves lattice homology equals Heegaard Floer homology for certain 3-manifolds.
problem Equivalence of lattice homology and Heegaard Floer homology for specific 3-manifolds.
method Proves conjecture using plumbing of disk bundles over S^2.
result Lattice homology equals Heegaard Floer homology for 3-manifolds with specified properties.
This is the second of five papers that construct an isomorphism between the Seiberg-Witten Floer homology and the Heegaard Floer homology of a given compact, oriented 3-manifold. The isomorphism is given as a composition of three isomorphisms; the first of these relates a version of embedded contact homology on an an a…
Paper proves a conjecture about a Heegaard Floer invariant for certain rational homology spheres.
problem Proving a conjecture about the Heegaard Floer d-invariant for negative-definite plumbed rational homology spheres.
method Using Zemke's isomorphism between lattice and Heegaard Floer homology, the paper proves Némethi's conjecture.
result The conjecture about the Heegaard Floer d-invariant for negative-definite plumbed rational homology spheres is proven.
We compute the Ozsváth-Szabó Heegaard Floer homology of three stranded pretzel knots.
Heegaard Floer homology connects to polynomial representations of Hecke algebras.
problem Understanding polynomial representations of double affine Hecke algebras.
method Using higher-dimensional Heegaard Floer homology and topological interpretations.
result Recovery of polynomial representations from Heegaard Floer homology.
Unified model for knot polynomials using quantum Heegaard diagrams.
problem Categorify knot polynomials using Floer homology.
method Construct quantum Heegaard diagrams, identify gradings, and define a two-variable graded intersection.
result Unified intersection model recovers Alexander and Jones polynomials.
In a previous paper, Sarkar and the third author gave a combinatorial description of the hat version of Heegaard Floer homology for three-manifolds. Given a cobordism between two connected three-manifolds, there is an induced map between their Heegaard Floer homologies. Assume that the first homology group of each boun…
We extend Perutz's Lagrangian matching invariants to 3-manifolds which are not necessarily fibred using the technology of holomorphic quilts. We prove an isomorphism of these invariants with Ozsvath-Szabo's Heegaard Floer invariants for certain extremal spin^c structures. As applications, we give new calculations of He…
New Heegaard Floer homology findings block chirally cosmetic surgeries.
problem Chirally cosmetic surgeries on knots and manifolds.
method Heegaard Floer homology, immersed curve formulations, and surgery formula.
result New obstructions to chirally cosmetic surgeries identified.
Study exact surgery formula in involutive Heegaard Floer homology.
problem Understanding integer homology spheres through knot surgery.
method Using doubling model of involution and mapping cone formula.
result Examples of non-homology cobordant integer homology spheres.
In this paper, we construct a canonical grading on bordered Heegaard Floer homology by homotopy classes of nonvanishing vector fields. This grading is a generalization of our construction of an absolute grading on Heegaard Floer homology and it extends the well-known grading with values in a noncommutative group define…
In this brief note, we give an explicit sequence of Heegaard moves interpolating between local versions of the Kauffman-states Heegaard diagram and the planar Heegaard diagram used in knot Floer homology, and show how these local moves can be used to go between the global versions of the Heegaard diagrams.