Computing HF by factoring mapping
The article is concerned with computational aspects of Heegaard Floer homology, an invariant of three-manifolds defined using the theory of holomorphic curves. The main objective is the establishment of an explicit algorithm for the computation of this invariant. While not the first known result of this form, the approach pursued here is different from the previous ones: after taking a Heegaard decomposition of a given three-manifold, i.e. a decomposition into two handlebodies identified via a diffeomorphism \(\psi\) between their boundary surfaces, the Heegaard Floer homology of the three-manifold is calculated in terms of \(\psi\). In more detail, the technical setting is as follows. Having chosen some additional combinatorial data on the boundary surface (the representation of the surface by a \textit{pointed matched circle}, roughly a handle decomposition with extra structure), a relative version of Heegaard Floer homology (\textit{bordered} Heegard Floer homology) can be associated to the mapping cylinder of the diffeomorphism \(\psi\). This relative theory comes in the form of a bimodule over a certain algebra defined in terms of the pointed matched circle (the algebra of \textit{strand diagrams}), whose elements can be thought of as endomorphisms of the boundary data. The main Theorem of the paper (Theorem 4) provides a formula for the Heegaard Floer homology of the three-manifold in terms of this bimodule: roughly, it is given by the homology of the chain complex of morphisms between the two bimodules corresponding to the cases \(\psi=Id\) and the special \(\psi\) from the Heegaard decomposition. The reason that the above result can be used to provide an algorithm for computations is that any surface diffeomorphism \(\psi\) can be factorized into a sequence of elementary moves (\textit{arc-slides}) and that the bimodule associated to an arc-slide can be computed explicitly. This is in fact also the key idea behind the proof of the main result. On the technical side, the proof of Theorem 4 requires an intricate matching between geometrically defined objects from Heegaard Floer theory, and corresponding algebraic objects that are given in terms of the algebra of strand diagrams (these matchings are established in Theorems 1, 2 and 3 of the paper and as results leading to their proofs). This is the main reason for the scope of the paper. The exposition is largely self-contained and the required notions and facts from Heegaard Floer theory are carefully presented (see Section 2 of the paper). Some sample computations, including a computer-assisted one, are provided in the last Section.
- Computing Frobenius maps and factoring polynomials
- On factorization of Hilbert--Schmidt mappings
- The complexity of homomorphism factorization
- Factorizations of functions in Hp (Tn )
- Computing a Hurwitz factorization of a polynomial
- Encoding the factorisation calculus
- Factoring multiadditive mappings
- Factorization of homomorphisms through \(H^{\infty}\)(\(D\))
- A factorization algorithm to compute Pfaffians
- The factorization of H^ p and the commutators
- A chord diagrammatic presentation of the mapping class group of a once bordered surface
- An algorithm for computing some Heegaard Floer homologies
- Bimodules in bordered Heegaard Floer homology
- Combinatorial Heegaard Floer homology and nice Heegaard diagrams
- Groupoid extensions of mapping class representations for bordered surfaces
- Heegaard Floer homology as morphism spaces
- Holomorphic disks and genus bounds
- Holomorphic disks and topological invariants for closed three-manifolds
- Introduction to \(A\)-infinity algebras and modules
- Slicing planar grid diagrams: a gentle introduction to bordered Heegaard Floer homology
- Kauffman states, bordered algebras, and a bigraded knot invariant
- Comparing homological invariants for mapping classes of surfaces
- Bordered Floer homology and incompressible surfaces
- Bordered knot algebras with matchings
- Bimodules in bordered Heegaard Floer homology
- A faithful linear-categorical action of the mapping class group of a surface with boundary
- Bordered Floer homology of \((2,2n)\)-torus link complement
- Floer theory and its topological applications
- Strands algebras and Ozsváth and Szabó's Kauffman-states functor
- Bordered Floer homology and the spectral sequence of a branched double cover. II: The spectral sequences agree
- Notes on bordered Floer homology
- Nonsurjective satellite operators and piecewise-linear concordance
- Bordered Heegaard Floer homology
- Computing fixed point Floer homology via the Hochschild homology of a sequence of curves
- scientific article; zbMATH DE number 7629507 (Why is no real title available?)
- An overview of knot Floer homology
- Cornered Heegaard Floer Homology
- Involutive bordered Floer homology
- Correction to: ``Bimodules in bordered Heegaard Floer homology
- Heegaard Floer homology as morphism spaces
- Holomorphic polygons and the bordered Heegaard Floer homology of link complements
- The Thurston norm via spun-normal immersions
- Grid diagrams and Heegaard Floer invariants
- Bordered Heegaard Floer homology and graph manifolds
- Satellite knots and immersed Heegaard Floer homology
- Invariant splitting principles for the Lipshitz-Ozsváth-Thurston correspondence
- An algorithm for computing some Heegaard Floer homologies
This page was built for publication: Computing \(\widehat {HF}\) by factoring mapping
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q477451)
