SearcharxivSearch

arXiv · 1812.10258

Divisibility of Lee's class and its relation with Rasmussen's invariant

Abstract

Lee homology (a variant of Khovanov homology) over $\mathbb{Q}$ possesses the "canonical generators" as its basis. The generators (Lee's classes) $[\alpha(D, o)]$ are constructed combinatorially from an oriented link diagram $D$, one for each alternative orientation $o$ on $D$. Let $R$ be an integral domain. There exists a family of link homology theory $\{ H_c(-; R) \}_{c \in R}$, where Khovanov's theory corresponds to $c = 0$ and Lee's theory corresponds to $c = 2$. For each $c \in R \setminus 0$, Lee's classes $[\alpha(D, o)]$ can be defined as elements in $H_c(D; R)$, but when $c$ is not invertible then they do not form a basis; in fact they are divisible by $c$-powers. We define the $c$-divisibility $k_c(D)$ of $[\alpha(D, o)]$ with $o$ the given orientation of $D$. For any link $L$ and its diagram $D$, we prove that $\bar{s}_c(L) := 2k_c(D) + w(D) - r(D) + 1$ is a link invariant, where $w$ is the writhe, and $r$ is the number of Seifert circles. We pose the question whether $\bar{s}_c$ coincides with Rasmussen's $s$-invariant. There are several evidences that support the affirmative answer. For instance, $\bar{s}_c$ is a link concordance invariant, and the Milnor conjecture can be reproved using $\bar{s}_c$. Also for the special case $(R, c) = (\mathbb{Q}[h], h)$, our $\bar{s}_c$ actually coincides with $s$ as knot invariants.

Explore related subjects

Keep this discovery

BibTeXRIS

Taketo Sano. 2018-12-26. Divisibility of Lee's class and its relation with Rasmussen's invariant. https://doi.org/10.1142/s0218216520500376

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Bar cohomology of links: beyond Milnor invariants

We develop bar cohomology of link complements as an invariant of links in homology spheres. In this setting, bar cohomology is a Hopf algebra which is calculable using surfaces and their intersection curves in a link complement. In this first in a sequence of works, we introduce the invariant and show that it defines a canonical subspace of the tensor Hopf algebra, which already encodes information about Milnor's link invariants and provides geometrically significant information beyond them.

math.GT

Homological lifts of Arnold invariants $J^-$ and $J^+$

Viro's Euler-integral polynomial $P_C(q)$ and the Lanzat--Polyak quantized-curvature polynomial $I_q(C)$ refine Arnold's invariants $J^-$ and $J^+$ for generic immersed one-component plane curves. We construct homological lifts of both. The bigraded region homology retains the singular homology of every connected Alexander-index region; its graded Euler characteristic is $P_C(q)$. The triply graded smoothing-circle homology is generated by the oriented circles of the orientation-preserving smoothing and decategorifies to the smoothing term in $I_q(C)$. Keeping the actual region summands and the boundary regions of every smoothing circle gives a homological refinement of the oriented smoothing configuration, or Seifert state. An infinite family proves strictness: both polynomial data and the ordinary homological lifts agree, while the component-graded region homology and the branch-decomposed circle homology distinguish every pair. Further constructions recover the full $I_q(C)$ by a vertex complex, realize the local change of its curvature integral by edge homology, and give a canonical two-state homology for unoriented curves. Viro described his Euler-integral formula as an analogue of face state-sum formulas for quantum knot polynomials. Through the categorifications developed here, we obtain one concrete homological face-state-sum model realizing that analogy.

math.GT