Questions tagged [heegaard-floer-homology]

For questions about Heegaard-Floer homology (as introduced by Ozsváth-Szabó in 2003) and its uses in 3- and 4-dimensional topology.

Filter by
Sorted by
Tagged with
7 votes
1 answer
170 views

Heegaard Floer homology of a genus two Heegaard splitting of $S^3$

This is a duplicate of a question (https://math.stackexchange.com/questions/4416204/heegaard-floer-homology-of-a-genus-two-diagram-of-s3) on stackexchange, which did not get any answer. Feel free to ...
user avatar
5 votes
0 answers
89 views

Do knot/link Floer homology detect variations of link genus?

$\newcommand{\wHFK}{\widehat{\mathrm{HFK}}}\newcommand{\wHFL}{\widehat{\mathrm{HFL}}}$Ni has shown that the knot Floer homology $\wHFK$ of an oriented link $L$ (in $S^3$ or more generally homology 3-...
user avatar
4 votes
1 answer
233 views

On Ozsváth and Szabó's branched covering description of holomorphic disks in symmetric products

On page 25 of Holomorphic Disks and Topological Invariants for 3-manifolds (https://arxiv.org/pdf/math/0101206.pdf), the following lemma appears. Given any holomorphic disk $u \in M(x,y)$, there is a ...
user avatar
4 votes
2 answers
366 views

Heegard diagrams for three-manifolds

I have a basic question about the Heegaard diagrams involved in providing a framework for calculation of Floer-Homology of three-manifolds. Typically such diagrams look like Figure 1 and Figure 2 here ...
user avatar
5 votes
1 answer
260 views

Computation of \tau invariant

I am trying to understand the following inequality, $$0 \leq \tau (K_{+}) - \tau(K_{-}) \leq 1$$ from the following paper by Livingston. \ https://arxiv.org/pdf/math/0311036.pdf . At page 737 , he ...
user avatar
1 vote
0 answers
70 views

Resolving a mismatch in indexing conventions of knot/link Floer homologies

I have trouble matching the indexing conventions for Ozsvath-Szabo's knot Floer homology with link Floer homology. Say we have a knot $K$ in a 3-sphere. Then we can consider the filtered chain ...
user avatar
  • 355
12 votes
0 answers
246 views

Understanding a formula in Ozsvath-Szabo

I'm a beginning graduate student reading Ozsvath-Szabo's foundational paper, Holomorphic disks and topological invariants for closed 3-manifolds. What I have trouble understanding is a formula in ...
user avatar
  • 355
1 vote
0 answers
229 views

Nice proof of the Reidemeister-Singer’s theorem?

Is there a nice proof (preferably with pictures) of the Reidemeister-Singer theorem? I'd prefer some classical methods, perhaps in a book or lecture notes? I want to learn how things are done.
user avatar
  • 1,365
15 votes
0 answers
308 views

Are there two non-equivalent exotic structures on $\mathbb{R}^4$ coming from topologically slice, non-slice knots?

For a knot $K \subset S^3$, which is topologically slice but not slice (in a smooth way), there's a four manifold $\mathbb{R}^4_K$, homeomorphic but not diffeomorphic to standard euclidean $\mathbb{R}^...
user avatar
5 votes
1 answer
209 views

Upsilon of an alternating knot

I have a couple of questions about how Oz-Stip-Sz computes the upsilon function invariant of an alternating knot in their upsilon ($\Upsilon$) paper here.1 This is theorem 1.14 (on the bottom of page ...
user avatar
  • 51
3 votes
2 answers
266 views

base point in Heegaard Floer homology

It is stated in Mcduff's overview paper "FLOER THEORY AND LOW DIMENSIONAL TOPOLOGY", end of page 9, that the Heegaard Floer homology without considering a base point depends only on the homology of ...
user avatar
  • 31
5 votes
1 answer
392 views

What is the Heegaard Floer Homology of a connect sum of $S^2 \times S^1$s?

There are many conjecturally-equivalent three-manifold Floer homologies, of which my understanding is the most-computable is Heegaard Floer homology. What is the (Heegaard) Floer homology of a ...
user avatar
7 votes
1 answer
284 views

Admissibility in Heegaard Floer, especially with torsion Spin^c structures

I'm confused about the relationship between strong admissibility and weak admissibility for pointed diagrams in Heegaard Floer theory. For reference, here are Ozsváth-Szàbo's original definitions: ...
user avatar
8 votes
1 answer
419 views

Questions on poincare homology spheres and branched covers

I have two questions: Question 1. Suppose that $K$ is a knot in $S^3$. Let $\Sigma(K)$ be the double branched cover of $S^3$ branched along $K$. If $\Sigma(K)=\#_{i=1}^n\Sigma(2,3,5)$, then $K=\#_{i=...
user avatar
15 votes
1 answer
995 views

Is Rasmussen's s-invariant of a knot an invariant of a 4-manifold?

Let $K$ be a knot in the 3-sphere $S^3$. Here we denote by $s(K)$ Rasmussen's s-invariant for $K$, and by $X_{K}(n)$ the 4-manifold obtained from the standard 4-ball $B^4$ by attaching a $2$-...
user avatar
14 votes
1 answer
458 views

Three-manifolds having a Reebless foliation but not a taut one

A straightforward argument reveals that a taut foliation is Reebless, and of course there are many examples of Reebless foliations that are not taut. I guess that there are many examples of three-...
user avatar
10 votes
1 answer
1k views

Introductory article of knot Heegaard Floer Homology

I am looking for some article that gives an introduction to Heegaard Floer homology of knot. I heard that it is very useful to determine the unknotting number of a knot, but I couldn't find any ...
user avatar
5 votes
1 answer
214 views

Does $H_*(A^-_0(K))=\mathbb{F}[U]$ imply that $K$ is an L-space knot?

Let $K$ be a knot in the three-sphere. Let $A_s^-(K)$ be the Alexander filtrations of the knot Floer complex $CFK^{\infty}$. Would $A_0^-(K)$ has homology $\mathbb{F}[U]$ imply that K is an L-space ...
user avatar
10 votes
0 answers
201 views

Kernel of "Hat to Plus" in Heegaard Floer Homology

Given a 3-manifold $M$, there is a map of Heegaard Floer groups $$f:\widehat{HF}(M) \to HF^+(M)$$ induced by the inclusion $$\widehat{CF}(M) \to CF^+(M)$$ of the respective chain complexes. Given a ...
user avatar
3 votes
1 answer
388 views

Does knot Floer homology detect knot genus in rational homology spheres?

My question is the following: Does knot Floer homology detect the genus of null-homologous knot in rational homology spheres? If the answer is yes, I would like to have a reference for the ...
user avatar
  • 381
16 votes
1 answer
645 views

Can infinitely many alternating knots have the same Alexander polynomial?

There exist many constructions of infinite families of knots with the same Alexander polynomial. However, alternating knots seem very special. While there are also many result on restricting the form ...
user avatar
2 votes
0 answers
100 views

Ozsvath-Szabo orientation convention for Seifert fibred spaces

I am confused by the orientation convention that Ozsvath and Szabo use in On Heegaard Floer homology and Seifert Fibered Surgeries and would appreciate if someone clarifies this for me. On page 15 ...
user avatar
3 votes
0 answers
179 views

Definition of the dual spider number and the formula for the first chern class of the triangle

In the process of trying to understand various maps in Heegaard Floer homology I got stuck on the definition of the dual spider number, which, it seems to me, has a combinatorial definition directly ...
user avatar
7 votes
1 answer
389 views

In the definition of the Heegard Floer surgery exact triangle, what exactly is the correspondence between Whitney triangles and periodic domains?

I'm reading Osváth-Szabó's notes on Heegard Floer homology, in particular about the surgery exact triangle. On page 14 (numbered 42 on the document), they describe an isomorphism between the space of ...
user avatar
5 votes
3 answers
999 views

Heegaard Floer Homology of double branched cover

The question is the following: Let $K\subset S^{3}$ be a knot, consider the double branched cover $Y$ of $S^{3}$ over $K$. We know $Y$ has a unique spin structure $\mathfrak{s}$, now the question is: ...
user avatar
  • 979
10 votes
0 answers
274 views

When were bordered Heegaard Floer homology's DA bimodules invented?

This is less of a strictly mathematical question and more of a reference request. In their paper "Bordered Heegaard Floer Homology (http://arxiv.org/pdf/0810.0687.pdf)," Lipshitz-Ozsvath-Thurston (...
user avatar
  • 1,444
12 votes
1 answer
838 views

Wanted: a nontrivial weakly inadmissible Heegaard diagram

This is a question asked by a student in my lecture. After drawing pictures for awhile, I thought it was a good one. I seek a nontrivial example of a pointed Heegaard diagram $(\Sigma,\mathbf{\alpha},\...
user avatar
12 votes
1 answer
395 views

Is there a reasonable definition of TQFTs for n-cobordisms with connected inputs/outputs?

A question that's been on my mind for a while is whether any precise statement to the effect of "Heegaard Floer homology is a TQFT," for some reasonable definition of TQFT, can be made. Of course, a ...
user avatar
  • 1,444
6 votes
1 answer
322 views

Untwisting Heegaard diagrams

Most Heegaard diagrams contain many rectangles, for instance from loops that circle around one of the handle disks. You can always `twist' a Heegaard diagram to get more and more rectangles (as in ...
user avatar
0 votes
1 answer
418 views

On the proof of Robert Lipshitz's formula on Maslov index.

Hello. I am a beginning graduate student who wants to study Heegaard Floer Homologies. I am now reading the paper https://arxiv.org/abs/1301.4919 Errata to 'A cylindrical reformulation of Heegaard ...
user avatar
3 votes
0 answers
566 views

maslov index of a holomorphic disk

I am studying some introductory papers on heegard floer homology and I do not understand the meaning of the Maslov index of a holomorphic disk. I could not find any definition in any of the papers. I ...
user avatar
  • 135
3 votes
1 answer
362 views

Decorations in Szabo's combinatorial spectral sequence

Szabo in http://arxiv.org/abs/1010.4252 gives a combinatorial candidate for what an explicit calculation of the spectral sequence of branched double covers should yield. In other words he gives a ...
user avatar
7 votes
2 answers
616 views

heegard diagram

It seems like there is an algorithm to find the Heegard diagram of a 3 manifold obtained by surgery on a link. Also someone told me I can find it in the Gompf and Stipciz's book. But I could not find ...
user avatar
  • 135
2 votes
1 answer
342 views

Heegard Floer homology [closed]

I am new to Heegard Floer. So far I understand that different HF groups are invariants of a three manifold. But I do not understand what these groups actually measure. I mean it seems to me that they ...
user avatar
  • 21
4 votes
1 answer
649 views

Sarkar's Maslov index formula

I have difficulty understanding Sarkar's maslov index formula in symmetric products from http://arxiv.org/abs/math/0609673. If $D$ is an $n$-sided region with corner points $p_1,\ldots, p_n$ then it ...
user avatar
11 votes
1 answer
863 views

Why is Heegaard Floer Homology defined in terms of Sym$^g\Sigma_g$ instead of Pic$^g\Sigma_g$?

Recall the definition of Heegaard Floer homology: $\Sigma_g$ is a closed surface, and $\{\alpha_1,\ldots,\alpha_g\}$ and $\{\beta_1,\ldots,\beta_g\}$ are sets of attaching circles. Then Heegaard ...
user avatar
  • 17.5k
7 votes
1 answer
937 views

Wanted: differential coming from higher genus surface in Heegaard Floer homology

I am interested in studying moduli of complex surfaces which arise in computing the differential on the Heegaard Floer homology chain complex. In particular, I am interested in the generic case, when ...
user avatar
  • 17.5k
5 votes
1 answer
493 views

path of almost complex structure in the definition of heegaard floer homology

In order to define Heegaard Floer Homology for a connected, closed, oriented 3 manifold, we fix a generic path of nearly symmetric almost complex strucutre $J_s$ over $Sym^g(\Sigma)$. By ...
user avatar
43 votes
7 answers
5k views

Why should I care about Heegaard-Floer theory?

I would like to collect a list of applications of Heegaard-Floer theory. By applications, I don't mean things like "it can detect the unknot" or "it can detect knot genus". Algorithms for these ...
11 votes
1 answer
1k views

Is $Sym^g$ of a Riemann Surface of genus $g$ Calabi-Yau?

The $g$-fold symmetric product of a Riemann surface of genus $g$ naturally has both a symplectic structure as well as a complex structure. Is it in fact Calabi-Yau? If so, is anything known about a ...
user avatar
  • 2,113
5 votes
3 answers
1k views

Is there a version of Seiberg-Witten-Floer or Heegard-Floer homology for 3-manifolds with boundary?

Recently, the Seiberg-Witten-Floer homology created by Kronheimer and Mrowka has important applications in Taubes' proofs of Weinstein conjecture and Arnold Chord Conjecture. Also, Cagatay Kutluhan, ...
user avatar