Hostname: page-component-74656f9884-npj9w Total loading time: 0 Render date: 2026-11-09T11:31:01.198Z Has data issue: false hasContentIssue false

GENERATORS, RELATIONS, AND HOMOLOGY FOR OZSVÁTH–SZABÓ’S KAUFFMAN-STATES ALGEBRAS

Published online by Cambridge University Press:  17 April 2020

ANDREW MANION
Affiliation:
Department of Mathematics, USC, 3620 S. Vermont Ave., Los Angeles, CA 90089, USA email amanion@usc.edu
MARCO MARENGON
Affiliation:
Department of Mathematics, UCLA, 520 Portola Plaza, Los Angeles, CA 90095, USA email marengon@math.ucla.edu
MICHAEL WILLIS
Affiliation:
Department of Mathematics, UCLA, 520 Portola Plaza, Los Angeles, CA 90095, USA email mike.willis@math.ucla.edu
Rights & Permissions [Opens in a new window]

Abstract

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.

Information

Type
Article
Copyright
© 2020 Foundation Nagoya Mathematical Journal
Figure 0

Figure 1. Elements $\mathbf{x}$ and $\mathbf{y}$ of $V(5,3)$ viewed as dots occupying regions.

Figure 1

Figure 2. Graphical interpretation of $\text{Quiv}(K(n,k),{\mathcal{R}}_{K})$, for $n=5$ and $k=3$. We have $\mathbf{x}=\{0,2,5\}$, $\mathbf{y}=\{2,3,4\}$, and $\mathbf{z}=\{0,4,5\}$.

Figure 2

Figure 3. Graphical interpretation of $\text{Quiv}(\unicode[STIX]{x1D6E4}(n,k),{\mathcal{R}})$, for $n=5$ and $k=3$.

Figure 3

Figure 4. Relations in ${\mathcal{R}}$, viewed as motions as in Figure 3.

Figure 4

Figure 5. The path $\unicode[STIX]{x1D6FE}_{\mathbf{x},\mathbf{y}}$ in Example 2.30.

Figure 5

Figure 6. Products of two $R$-segments in Lemma 2.35: first two cases.

Figure 6

Figure 7. Products of two $R$-segments in Lemma 2.35: final case.

Figure 7

Figure 8. Products of an $R$-segment and an $L$-segment in Lemma 2.35.

Figure 8

Figure 9. Products of an $L$-segment and an $R$-segment in Lemma 2.35: one case.

Figure 9

Figure 10. Relations defining ${\mathcal{B}}(n,k)$ as a quotient of ${\mathcal{B}}_{0}(n,k)$: some examples.

Figure 10

Figure 11. Crossed lines, not-fully-used coordinates, and generating intervals in Example 4.5.

Figure 11

Figure 12. The torus algebra as described in [HRW16, Figure 4].