Matthew Hedden, Philip Ording
In this paper we present several counterexamples to Rasmussen's conjecture that the concordance invariant coming from Khovanov homology is equal to twice the invariant coming from Ozsv{á}th-Szab{ó} Floer homology. The counterexamples are twisted Whitehead doubles of the (2,2n+1) torus knots.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In this article we present infinitely many 3-manifolds admitting infinitely many universally tight contact structures each with trivial Ozsvath-Szabo contact invariants. By known properties of these invariants the contact structures constructed here are non weakly symplectically fillable.
Ozsvath-Szabo contact invariants are a powerful way to prove tightness of contact structures but they are known to vanish in the presence of Giroux torsion. In this paper we construct, on infinitely many manifolds, infinitely many isotopy classes of universally tight torsion free contact structures whose Ozsvath-Szabo invariant vanishes. We also discuss the relation between these invariants and an invariant on T^3 and construct other examples of new phenomena in Heegaard--Floer theory. Along the way, we prove two conjectures of K Honda, W Kazez and G Matic about their contact topological quant…
Using the knot Floer homology filtration, we define invariants associated to a knot in a three-manifold possessing non-vanishing Floer co(homology) classes. In the case of the Ozsvath-Szabo contact invariant we obtain an invariant of knots in a contact three-manifold. This invariant provides an upper bound for the Thurston-Bennequin plus rotation number of any Legendrian realization of the knot. We use it to demonstrate the first systematic construction of prime knots in contact manifolds other than the three-sphere with negative maximal Thurston-Bennequin invariant. Perhaps more interesting, …
In this paper we examine the relationship between various types of positivity for knots and the concodance invariant tau discovered by Ozsvath and Szabo and independently by Rasmussen. The main result shows that, for fibered knots, tau characterizes strong quasipositivity. This is quantified by the statement that for K fibered, tau(K)=g(K) if and only if K is strongly quasipositive. In addition, we survey existing results regarding tau and forms of positivity and highlight several consequences concerning the types of knots which are (strongly) (quasi) positive. For instance, we show that any k…
We present some non-trivial calculations of Baldwin-Ozsváth-Szabó cohomology of links, and applications to Heegaard-Floer homology of branched double covers.
Based on work of Rasmussen, we construct a concordance invariant associated to the knot Floer complex, and exhibit examples in which this invariant gives arbitrarily better bounds on the 4-ball genus than the Ozsvath-Szabo tau invariant.
We investigate a relationship between Ozsváth and Szabó's bordered theory and the algebras and bimodules constructed by Khovanov-Seidel. Specifically, we show that (a variant of) a special case of Ozsváth-Szabó's algebras has a quotient which is isomorphic to the Khovanov-Seidel quiver algebra with coefficients in $\mathbb{Z}/2\mathbb{Z}$. Furthermore, we show that after induction and restriction of scalars, the dg bimodule over quiver algebras associated to a crossing by Khovanov-Seidel is homotopy equivalent to Ozsváth-Szabó's DA bimodule for the crossing in this special case.
The Khovanov homology of a link in $S^3$ and the Heegaard Floer homology of its branched double cover are related through a spectral sequence constructed by Ozsváth and Szabó. This spectral sequence has topological applications but is difficult to compute. We build an isomorphic spectral sequence whose underlying filtered complex is as simple as possible: it has the same rank as the Khovanov chain group. We show that this spectral sequence is not isomorphic to Szabó's combinatorial spectral sequence, which Seed and Szabó conjectured to be equivalent to Ozsváth-\Szabo's. The discrepancy leads u…
We use grid diagrams to investigate the Ozsvath-Szabo concordance invariant tau, and to prove that |tau(K_1)-tau(K_2)|<=g, whenever there is a genus g knot cobordism joining K_1 to K_2. This leads to an entirely grid diagram-based proof of Kronheimer-Mrowka's theorem, formerly known as the Milnor conjecture.
We give new tightness criteria for positive surgeries along knots in the 3-sphere, generalising results of Lisca and Stipsicz, and Sahamie. The main tools will be Honda, Kazez and Matic's, Ozsvath and Szabo's Floer-theoretic contact invariants. We compute the Ozsvath and Szabo's invariant of positive contact surgeries along Legendrian knots in the 3-sphere in terms of the classical invariants of the knot. We also combine a Legendrian cabling construction with contact surgeries to get results about rational contact surgeries.
We study the behavior of the Ozsvath-Szabo and Rasmussen knot concordance invariants tau and s on K(m,n), the (m,n)-cable of a knot K where m and n are relatively prime. We show that for every knot K and for any fixed positive integer m, both of the invariants evaluated on K(m,n) differ from their value on the torus knot T(m,n) by a fixed constant for all but finitely many n>0. Combining this result together with Hedden's extensive work on the behavior of tau on (m,mr+1)-cables yields bounds on the value of tau on any (m,n)-cable of K. In addition, several of Hedden's obstructions for cables b…
We give a generators-and-relations description of differential graded algebras recently introduced by Ozsváth and Szabó for the computation of knot Floer homology. We also compute the homology of these algebras and determine when they are formal.
Recently, Ozsváth and Szabó introduced some algebraic constructions computing knot Floer homology in the spirit of bordered Floer homology, including a family of algebras B(n) and, for a generator of the braid group on n strands, a certain type of bimodule over B(n). We define analogous bimodules for singular crossings. Our bimodules are motivated by counting holomorphic disks in a bordered sutured version of a Heegaard diagram considered previously by Ozsváth, Stipsicz, and Szabó.
We compute the effect of concordance surgery, a generalization of knot surgery defined using a self-concordance of a knot, on the Ozsváth-Szabó 4-manifold invariant. The formula involves the graded Lefschetz number of the concordance map on knot Floer homology. The proof uses the sutured Floer TQFT, and a version of sutured Floer homology perturbed by a 2-form.
We define new differential graded algebras A(n,k,S) in the framework of Lipshitz-Ozsváth-Thurston's and Zarev's strands algebras from bordered Floer homology. The algebras A(n,k,S) are meant to be strands models for Ozsváth-Szabó's algebras B(n,k,S); indeed, we exhibit a quasi-isomorphism from B(n,k,S) to A(n,k,S). We also show how Ozsváth-Szabó's gradings on B(n,k,S) arise naturally from the general framework of group-valued gradings on strands algebras.
We relate decategorifications of Ozsváth-Szabó's new bordered theory for knot Floer homology to representations of $\mathcal{U}_q(\mathfrak{gl}(1|1))$. Specifically, we consider two subalgebras $\mathcal{C}_r(n,\mathcal{S})$ and $\mathcal{C}_l(n,\mathcal{S})$ of Ozsváth- Szabó's algebra $\mathcal{B}(n,\mathcal{S})$, and identify their Grothendieck groups with tensor products of representations $V$ and $V^*$ of $\mathcal{U}_q(\mathfrak{gl}(1|1))$, where $V$ is the vector representation. We identify the decategorifications of Ozsváth-Szabó's DA bimodules for elementary tangles with corresponding…
On the Ozsváth-Szabó $d$-invariants for almost simple linear graphs
本文改进了Karakurt和Şavk对Brieskorn同调3球体的$d$-不变量公式，并给出了不等式等于或严格成立的无限例，进而推导了结同调群的结论。
The main goal of the present article is the computation of the Heegaard Floer homology introduced by Ozsvath and Szabo for a family of plumbed rational homology 3-spheres. The main motivation is the study of the Seiberg-Witten type invariants of links of normal surface singularities.
Ozsvath and Szabo have defined a knot concordance invariant tau that bounds the 4-ball genus of a knot. Here we discuss shortcuts to its computation. We include examples of Alexander polynomial one knots for which the invariant is nontrivial, including all iterated untwisted positive doubles of knots with nonnegative Thurston-Bennequin number, such as the trefoil, and explicit computations for several 10 crossing knots. We also note that a new proof of the Slice-Bennequin Inequality quickly follows from these techniques.
Let νbe any integer-valued additive knot invariant that bounds the smooth 4-genus of a knot K, |ν(K)| <= g_4(K), and determines the 4-ball genus of positive torus knots, ν(T_{p,q}) = (p-1)(q-1)/2. Either of the knot concordance invariants of Ozsvath-Szabo or Rasmussen, suitably normalized, have these properties. Let D_{\pm}(K,t) denote the positive or negative t-twisted double of K. We prove that if ν(D_{+}(K,t)) = \pm 1, then ν(D_{-}(K,t)) = 0. It is also shown that ν(D_{+}(K,t))= 1 for all t <= TB(K) and ν(D_{+}(K, t)) = 0 for all t \ge -TB(-K), where TB(K) denotes the Thurston-Bennequin num…
We show that Ozsváth-Szabó's bordered algebra used to efficiently compute knot Floer homology is a graded flat deformation of the regular block of a $\mathfrak{q}$-presentable quotient of parabolic category $\mathcal{O}$. We identify the endomorphism algebra of a minimal projective generator for this block with an explicit quotient of the Ozsváth-Szabó algebra using Sartori's diagrammatic formulation of the endomorphism algebra. Both of these algebras give rise to categorifications of tensor products of the vector representation $V^{\otimes n}$ for $U_q(\mathfrak{gl}(1|1))$. Our isomorphism al…
We compute the knot Floer filtration induced by a cable of the meridian of a knot in the manifold obtained by large integer surgery along the knot. We give a formula in terms of the original knot Floer complex of the knot in the three-sphere. As an application, we show that a knot concordance invariant of Hom can equivalently be defined in terms of filtered maps on the Heegaard Floer homology groups induced by the two-handle attachment cobordism of surgery along a knot.
We introduce a refinement of the Ozsvath-Szabo complex associated to a balanced sutured manifold $(X,τ)$ by Juhasz. An algebra $A_τ$ is associated to the boundary of a sutured manifold and a filtration of its generators by $H^2(X,\partial X;\Z)$ is defined. For a fixed Spin^c structure $s$ over the manifold $X'$, which is obtained from $X$ by filling out the sutures, the Ozsvath-Szabo chain complex $CF(X,τ,s)$ is then defined as a chain complex with coefficients in $A_τ$ and filtered by $\SpinC(X,τ)$. The filtered chain homotopy type of this chain complex is an invariant of $(X,τ)$ and the Spi…
In this paper, we show that the Ozsváth-Szabó contact invariant $c^+(ξ)\in HF^+(-Y)$ of a contact 3-manifold $(Y,ξ)$ can be calculated combinatorially if $Y$ is the boundary of a certain type of plumbing $X$, and $ξ$ is induced by a Stein structure on $X$. Our technique uses an algorithm of Ozsváth and Szabó to determine the Heegaard-Floer homology of such 3-manifolds. We discuss two important applications of this technique in contact topology. First, we show that it simplifies the calculation of the Ozsváth-Stipsicz-Szabó obstruction to admitting a planar open book. Then we define a numerical…
As proved by Hedden and Ording, there exist knots for which the Ozsvath-Szabo and Rasmussen smooth concordance invariants, tau and s, differ. The Hedden-Ording examples have nontrivial Alexander polynomials and are not topologically slice. It is shown in this note that a simple manipulation of the Hedden-Ording examples yields a topologically slice Alexander polynomial one knot for which tau and s differ. Manolescu and Owens have previously found a concordance invariant that is independent of both tau and s on knots of polynomial one, and as a consequence have shown that the smooth concordance…
The Ozsváth-Szabó tau-invariant of braided satellites
本文给出了模式为辫状的卫星结的τ和ε不变量公式，定义了挤压模式类，并证明了所有辫状模式都是挤压的，且给出了挤压模式的τ公式，进而证明了缠绕数至少为2的挤压模式不诱导同调群同态。
Compatibility in Ozsvath-Szabo's bordered HFK via higher representations
本文将有界结 Floer 同调的局部交叉双模刻画为 2-表示的 1-态射，范畴化 $U_q(\mathfrak{gl}(1|1)^+)$ 缠结性质，并代数化解释其直和项相容性。
We compute the Ozsváth-Szabó Heegaard Floer homology of three stranded pretzel knots.
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.
Rasmussen invariants of Whitehead doubles and other satellites
本文借助Khovanov与Bar-Natan同调的多曲线技术，建立环绕数为2的卫星结的$\mathbb{F}_2$-Rasmussen不变量公式，并考察其与$τ$不变量的可能联系。
An Ozsváth--Szabó-type spectral sequence for links in $S^1\times S^2$
本文证明 $S^1\times S^2$ 中链环的 Khovanov 同调构成谱序列 $E^2$ 页，收敛于 bordered Floer 不变量定义的 $A_\infty$-双模的 Hochschild 同调，并给出弧代数的非平凡形变。
We use the Ozsvath-Szabo theory of Floer homology to define an invariant of knot complements in three-manifolds. This invariant takes the form of a filtered chain complex, which we call CF_r. It carries information about the Floer homology of large integral surgeries on the knot. Using the exact triangle, we derive information about other surgeries on knots, and about the maps on Floer homology induced by certain surgery cobordisms. We define a certain class of \em{perfect} knots in S^3 for which CF_r has a particularly simple form. For these knots, formal properties of the Ozsvath-Szabo theor…
Ozsvath and Szabo recently constructed an algebraically defined invariant of tangles which takes the form of a DA bimodule. This invariant is expected to compute knot Floer homology. The authors have a similar construction for open braids and their plat closures which can be viewed as a filtered DA bimodule over the same algebras. For a closed diagram, this invariant computes the Khovanov homology of the knot or link. We show that forgetting the filtration, our DA bimodules are homotopy equivalent to a suitable version of the Ozsvath- Szabo bimodules. In addition to giving a relationship betwe…
Ozsváth, Rasmussen and Szabó constructed odd Khovanov homology. It is a link invariant which has the same reduction modulo 2 as (even) Khovanov homology. Szabó introduced a spectral sequence with mod 2 coefficients from mod 2 Khovanov homology to another link homology. He got his spectral sequence from a chain complex with a filtration. We give an integral lift of Szabó's complex that provides a spectral sequence from odd Khovanov homology to a link homology, from which one can get Szabó's link homology with the Universal Coefficient Theorem. Szabó has constructed such a lift independently (un…
The nonorientable 4-genus is an invariant of knots which has been studied by many authors, including Gilmer and Livingston, Batson, and Ozsváth, Stipsicz, and Szabó. Given a nonorientable surface $F \subset B^4$ with $\partial F = K\subset S^3$ a knot, an analysis of the existing methods for bounding and computing the nonorientable 4-genus reveals relationships between the first Betti number $β_1$ of $F$ and the normal Euler class $e$ of $F$. This relationship yields a geography problem: given a knot $K$, what is the set of realizable pairs $(e(F), β_1(F))$ where $F\subset B^4$ is a nonorienta…
Given a link in the three-sphere, Ozsváth and Szabó showed that there is a spectral sequence starting at the Khovanov homology of the link and converging to the Heegaard Floer homology of its branched double cover. The aim of this paper is to explicitly calculate this spectral sequence in terms of bordered Floer homology. There are two primary ingredients in this computation: an explicit calculation of bimodules associated to Dehn twists, and a general pairing theorem for polygons. The previous part (arXiv:1011.0499) focuses on computing the bimodules; this part focuses on the pairing theorem …
Khovanov homology and the Involutive Heegaard Floer homology of branched double covers
本文利用 involutive Heegaard Floer 同调，借助 bordered Floer 同调重构与手术正合三角，推广了 Ozsváth-Szabó 分支双覆盖谱序列，建立 Khovanov 同调与 Heegaard Floer 同调间的联系。
Ozsváth and Szabó conjectured that knot Floer homology detects fibred knots in $S^3$. We will prove this conjecture for null-homologous knots in arbitrary closed 3--manifolds. Namely, if $K$ is a knot in a closed 3--manifold $Y$, $Y-K$ is irreducible, and $\hat{HFK}(Y,K)$ is monic, then $K$ is fibred. The proof relies on previous works due to Gabai, Ozsváth--Szabó, Ghiggini and the author. A corollary is that if a knot in $S^3$ admits a lens space surgery, then the knot is fibred.
There are a number of homological knot invariants, each satisfying an unoriented skein exact sequence, which can be realized as the limit page of a spectral sequence starting at a version of the Khovanov chain complex. Compositions of elementary 1-handle movie moves induce a morphism of spectral sequences. These morphisms remain unexploited in the literature, perhaps because there is still an open question concerning the naturality of maps induced by general movies. In this paper we focus on the spectral sequences due to Kronheimer-Mrowka from Khovanov homology to instanton knot Floer homology…
We survey Ozsváth-Szabó's bordered approach to knot Floer homology. After a quick introduction to knot Floer homology, we introduce the relevant algebraic concepts ($\mathcal{A}_\infty$-modules, type $D$-structures, box tensor, etc.), we discuss partial Kauffman states, the construction of the boundary algebra, and sketch Ozsváth and Szabó's analytic construction of the type $D$-structure associated to an upper diagram. Finally we give an explicit description of the structure maps of the $DA$-bimodules of some elementary partial diagrams. These can be used to perform explicit computations of t…
Lipshitz, Ozsváth and Thurston defined a bordered Heegaard Floer invariant CFDA for 3-manifolds with two boundary components, including mapping cylinders for surface diffeomorphisms. We define a related invariant for certain 4-dimensional cobordisms with corners, by associating a morphism F from CFDA(f) to CFDA(g) to each such cobordism between two mapping cylinders f and g. Like the Ozsváth-Szabó invariants of cobordisms between closed 3-manifolds, this morphism arises from counting holomorphic triangles on Heegaard triples. We demonstrate that the homotopy class of the morphism F only depend…
In their recent preprint, Baldwin, Ozsváth and Szabó defined a twisted version (with coefficients in a Novikov ring) of a spectral sequence, previously defined by Ozsváth and Szabó, from Khovanov homology to Heegaard-Floer homology of the branched double cover along a link. In their preprint, they give a combinatorial interpretation of the $E_3$-term of their spectral sequence. The main purpose of the present paper is to prove directly that this $E_3$-term is a link invariant. We also give some concrete examples of computation of this invariant.
Seidel-Smith and Hendricks used equivariant Floer cohomology to define some spectral sequences from symplectic Khovanov homology and Heegaard Floer homology. These spectral sequences give rise to Smith-type inequalities. Similar-looking spectral sequences have been defined by Lee, Bar-Natan, Ozsváth-Szabó, Lipshitz-Treumann, Szabó, Sarkar-Seed-Szabó, and others. In this paper we give another construction of equivariant Floer cohomology with respect to a finite group action and use it to prove some invariance properties of these spectral sequences; prove that some of these spectral sequences ag…
In this paper, we study the behavior of $Υ_K(t)$ under the cabling operation, where $Υ_K(t)$ is the knot concordance invariant defined by Ozsváth, Stipsicz, and Szabó, associated to a knot $K\subset S^3$. The main result is an inequality relating $Υ_K(t)$ and $Υ_{K_{p,q}}(t)$, which generalizes the inequalities of Hedden and Van Cott on the Ozsváth-Szabó $τ$-invariant. As applications, we give a computation of $Υ_{(T_{2,-3})_{2,2n+1}}(t)$ for $n\geq 8$, and we also show that the set of iterated $(p,1)$-cables of $Wh^{+}(T_{2,3})$ for any $p\geq 2$ span an infinite-rank summand of topologically…
We give bounds on knot signature, the Ozsvath-Szabo tau invariant, and the Rasmussen s invariant in terms of the Turaev genus of the knot.
A proof of Dunfield-Gukov-Rasmussen Conjecture
本文通过构造从 gl_0 同调到纽结 Floer 同调的 Bockstein 型双分次谱序列，证明了 Dunfield-Gukov-Rasmussen 猜想，并推出相关同调可识别若干经典纽结。
In this paper we construct a sequence of integer-valued concordance invariants $ν_n(K)$ that generalize the Ozsváth-Szabó $ν$-invariant and the Hom-Wu $ν^+$-invariant.
Using a knot concordance invariant from the Heegaard Floer theory of Ozsvath and Szabo, we obtain new bounds for the Thurston-Bennequin and rotation numbers of Legendrian knots in S^3. We also apply these bounds to calculate the knot concordance invariant for certain knots.
We compute the Ozsváth--Szabó contact invariants for all tight contact structures on the manifolds -Σ(2,3,6n-1).
We use the Ozsváth-Szabó contact invariants to distinguish between tight contact structures obtained by Legendrian surgeries on stabilized Legendrian links in tight contact 3-manifolds. We also discuss the implication of our result on the tight contact structures on the Brieskon homology spheres $-Σ(2,3,6n-1)$.
Obstructing Unknotting Number Two For Some Alternating Knots
该研究利用Ozsváth-Szabó的d不变量与Brendan Owens的定理，算出194个13交叉以内交错纽结的解结数，为纽结理论研究提供了具体数据支撑。
Plamenevskaya defined an invariant of transverse links as a distinguished class in the even Khovanov homology of a link. We define an analog of Plamenevskaya's invariant in the odd Khovanov homology of Ozsváth, Rasmussen, and Szabó. We show that the analog is also an invariant of transverse links and has similar properties to Plamenevskaya's invariant. We also show that the analog invariant can be identified with an equivalent invariant in the reduced odd Khovanov homology. We demonstrate computations of the invariant on various transverse knot pairs with the same topological knot type and sel…
We describe an invariant of a contact 3-manifold with convex boundary as an element of Juhász's sutured Floer homology. Our invariant generalizes the contact invariant in Heegaard Floer homology in the closed case, due to Ozsváth and Szabó. This version has some clarifications and new figures.
Using the theory of involutive Heegaard Floer knot theory developed by Hendricks-Manolescu, we define two involutive analogs of the Upsilon knot concordance invariant of Ozsvath-Stipsicz-Szabo. These involutive invariants are piecewise linear functions defined on the interval [0,2]. Each is a concordance invariant and provides bounds on the three-genus of a knot.
We study the relationship between Bar-Natan's perturbation in Khovanov homology and Szabo's geometric spectral sequence, and construct a link invariant that generalizes both into a common theory. We study a few properties of the new invariant, and introduce a family of s-invariants from the new theory in the same spirit as Rasmussen's s-invariant.
We use monopole Floer homology for sutured manifolds to construct invariants of Legendrian knots in a contact 3-manifold. These invariants assign to a knot K in Y elements of the monopole knot homology KHM(-Y,K), and they strongly resemble the knot Floer homology invariants of Lisca, Ozsváth, Stipsicz, and Szabó. We prove several vanishing results, investigate their behavior under contact surgeries, and use this to construct many examples of non-loose knots in overtwisted 3-manifolds. We also show that these invariants are functorial with respect to Lagrangian concordance.
On the slice-torus invariant $q_M$ from $\mathbb{Z}_2$-equivariant Seiberg--Witten Floer cohomology
该数学研究证明Iida–Taniguchi提出的$\u2124$-值切片环面不变量$q_M$无法由多种已知的纽结配边不变量线性组合表示，明确了该不变量的独立性。
By using grid homology theory, we give an explicit algorithm for computing Ozsváth-Stipsicz-Szabó's $Υ$-invariant and the $d$-invariant of Dehn surgeries along knots in $S^3$. As its application, we compute the two invariants for all prime knots with up to 11 crossings.
We utilize the Ozsvath-Szabo contact invariant to detect the action of involutions on certain homology spheres that are surgeries on symmetric links, generalizing a previous result of Akbulut and Durusoy. Potentially this may be useful to detect different smooth structures on 4-manifolds by cork twisting operation.
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 Heegaard Floer homology of certain classes of 3-manifolds, and a characterization of Juhasz's sutured Floer homology.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。