Khovanov–Sano Complex and Homotopy Algebras

• The Khovanov–Sano complex is a chain complex based on the equivariant Khovanov–Frobenius algebra defined by X² − hX − t = 0, establishing an intrinsic homotopy algebra structure.
• The BV Laplacian, linked with the Shumakovitch operator, generates higher derived brackets that are non-trivial and lift to the chain level to produce link invariants.
• Homotopy transfer techniques canonically lift the L∞ structure from homology to the complex, with conjectural links to Steenrod operations in Khovanov homology.

Searching arXiv for the cited paper and closely related work on Steenrod operations in Khovanov homology. The Khovanov–Sano complex is the chain complex underlying equivariant Khovanov homology in the sense studied by Khovanov and Sano, and in Kuriya’s formulation it carries an intrinsic $L_{\infty}$-algebra obtained by reinterpreting the Shumakovitch operator in the Batalin–Vilkovisky formalism. The central statement is that the symmetries of equivariant Khovanov homology admit a canonical homotopy-algebraic enhancement: a BV Laplacian on the equivariant Khovanov–Frobenius algebra induces higher derived brackets, these brackets are non-trivial, and after homotopy transfer they lift from homology to the chain level so that the resulting $\infty$-quasi-isomorphism class is a link invariant (Kuriya, 18 Sep 2025).

1. Algebraic setting of the Khovanov–Sano construction

The ambient algebra is the equivariant Khovanov–Frobenius algebra

$$A \;=\; R_{h,t}[X]\;/\;(X^2 - h\,X - t)\,, \qquad R_{h,t}=\mathbb{Z}[h,t],\;\deg(h)=2,\;\deg(t)=4,\;\deg(X)=2.$$

Within this algebra, Khovanov–Sano define a graded involution $\hat{\sigma}$ lifting the transformation $X\mapsto h-X$ (Kuriya, 18 Sep 2025).

This presentation isolates the relation $X^2-hX-t=0$ as the basic algebraic input from which the higher structure is extracted. In Kuriya’s treatment, the Khovanov–Sano complex is not used merely as a chain model for homology; it becomes the carrier of an intrinsic homotopy algebra. A plausible implication is that the equivariant parameters $h$ and $t$ are not auxiliary bookkeeping devices but part of the mechanism generating the higher operations.

2. Shumakovitch operator and BV interpretation

The Shumakovitch operator is identified with a BV Laplacian: $$\hat{\nu}\;=\;\Delta : A\longrightarrow A, \qquad \Delta(x)=\hat{\nu}(x)=\frac{x-\hat{\sigma}(x)}{h}.$$ It has algebraic degree $-2$ and odd parity. The nilpotency is derived from the involutivity of $\infty$0 together with the defining quadratic relation. Concretely,

$\infty$1

and since $\infty$2 is not a zero-divisor in $\infty$3,

$\infty$4

Kuriya’s reformulation places the Khovanov–Sano symmetry inside the BV formalism (Kuriya, 18 Sep 2025).

The significance of this step is structural. Nilpotent second-order operators in the BV setting generate higher brackets by derived-bracket constructions, so the operator $\infty$5 is not only a symmetry of the equivariant theory but the source of a full hierarchy of multilinear operations. This shifts the interpretation of the Khovanov–Sano framework from a collection of endomorphisms to a homotopy-algebraic package.

3. Higher-derived brackets on homology

By Voronov’s higher-derived-brackets construction, the BV operator $\infty$6 on the commutative superalgebra $\infty$7 produces an $\infty$8-structure on $\infty$9. The multilinear brackets

$$A \;=\; R_{h,t}[X]\;/\;(X^2 - h\,X - t)\,, \qquad R_{h,t}=\mathbb{Z}[h,t],\;\deg(h)=2,\;\deg(t)=4,\;\deg(X)=2.$$0

have degree $$A \;=\; R_{h,t}[X]\;/\;(X^2 - h\,X - t)\,, \qquad R_{h,t}=\mathbb{Z}[h,t],\;\deg(h)=2,\;\deg(t)=4,\;\deg(X)=2.$$1, with

$$A \;=\; R_{h,t}[X]\;/\;(X^2 - h\,X - t)\,, \qquad R_{h,t}=\mathbb{Z}[h,t],\;\deg(h)=2,\;\deg(t)=4,\;\deg(X)=2.$$2

and

$$A \;=\; R_{h,t}[X]\;/\;(X^2 - h\,X - t)\,, \qquad R_{h,t}=\mathbb{Z}[h,t],\;\deg(h)=2,\;\deg(t)=4,\;\deg(X)=2.$$3

The binary bracket $$A \;=\; R_{h,t}[X]\;/\;(X^2 - h\,X - t)\,, \qquad R_{h,t}=\mathbb{Z}[h,t],\;\deg(h)=2,\;\deg(t)=4,\;\deg(X)=2.$$4 is the usual derived bracket. On generators one finds, for instance,

$$A \;=\; R_{h,t}[X]\;/\;(X^2 - h\,X - t)\,, \qquad R_{h,t}=\mathbb{Z}[h,t],\;\deg(h)=2,\;\deg(t)=4,\;\deg(X)=2.$$5

The non-triviality of the higher structure is exhibited by explicit computations. The first higher bracket is

$$A \;=\; R_{h,t}[X]\;/\;(X^2 - h\,X - t)\,, \qquad R_{h,t}=\mathbb{Z}[h,t],\;\deg(h)=2,\;\deg(t)=4,\;\deg(X)=2.$$6

which shows that the Jacobi identity fails at order $$A \;=\; R_{h,t}[X]\;/\;(X^2 - h\,X - t)\,, \qquad R_{h,t}=\mathbb{Z}[h,t],\;\deg(h)=2,\;\deg(t)=4,\;\deg(X)=2.$$7. Likewise,

$$A \;=\; R_{h,t}[X]\;/\;(X^2 - h\,X - t)\,, \qquad R_{h,t}=\mathbb{Z}[h,t],\;\deg(h)=2,\;\deg(t)=4,\;\deg(X)=2.$$8

These values certify that the induced $$A \;=\; R_{h,t}[X]\;/\;(X^2 - h\,X - t)\,, \qquad R_{h,t}=\mathbb{Z}[h,t],\;\deg(h)=2,\;\deg(t)=4,\;\deg(X)=2.$$9-algebra is genuinely higher and not merely a dg Lie algebra (Kuriya, 18 Sep 2025).

In this form, the higher operations are intrinsic to the algebraic relation defining $\hat{\sigma}$0. The failure of strict Jacobi, measured by $\hat{\sigma}$1, is not an anomaly but the first visible manifestation of the homotopy-coherent structure.

4. Dual brackets and the conjectural homotopy $\hat{\sigma}$2

Using the Frobenius pairing $\hat{\sigma}$3, Kuriya defines an adjoint raising operator

$\hat{\sigma}$4

One checks that $\hat{\sigma}$5, where $\hat{\sigma}$6 is the counit, and that $\hat{\sigma}$7. Applying the same derived-bracket recipe yields a second family $\hat{\sigma}$8 with $\hat{\sigma}$9. A representative higher value is

$X\mapsto h-X$0

(Kuriya, 18 Sep 2025).

The pair $X\mapsto h-X$1, together with the graded commutator $X\mapsto h-X$2, satisfies

$X\mapsto h-X$3

These relations are presented as obstructions to a strict $X\mapsto h-X$4-action. Kuriya conjectures that an infinite sequence of mixed brackets $X\mapsto h-X$5 rectifies these obstructions and yields a homotopy $X\mapsto h-X$6.

A common misunderstanding would be to read these formulas as establishing an ordinary $X\mapsto h-X$7-representation. They do not. The strict commutation relations fail in the displayed manner; only a homotopy-theoretic replacement is conjectured. This suggests that the relevant symmetry is encoded at the $X\mapsto h-X$8 level rather than in a conventional Lie action.

5. Chain-level lift by homotopy transfer

Let $X\mapsto h-X$9 be the Khovanov–Sano chain complex and $X^2-hX-t=0$0 its homology equipped with the brackets $X^2-hX-t=0$1. One chooses a homotopy retraction

$X^2-hX-t=0$2

The Homotopy Transfer Theorem then produces, uniquely up to $X^2-hX-t=0$3-isomorphism, a chain-level $X^2-hX-t=0$4-structure $X^2-hX-t=0$5 on $X^2-hX-t=0$6 with $X^2-hX-t=0$7. Each $X^2-hX-t=0$8 is described concretely as a sum over planar rooted trees decorated by the $X^2-hX-t=0$9 at vertices and $h$0 on internal edges (Kuriya, 18 Sep 2025).

To make this transferred structure canonical, Forman’s discrete Morse theory is applied on the cube of resolutions to choose a canonical retraction $h$1. Under Reidemeister moves, the resulting chain complexes are homotopy-equivalent, and the transferred $h$2-algebras are shown to be $h$3-quasi-isomorphic. Consequently, the $h$4-quasi-isomorphism class of

$h$5

is independent of diagram and is a genuine link invariant.

This is the main chain-level theorem. The point is not only that homology inherits higher operations, but that the entire hierarchy can be lifted intrinsically to the complex itself. In Kuriya’s formulation, the resulting object is a new, computable link invariant.

6. Relation to Steenrod operations

Kuriya further specializes the chain-level $h$6-module to $h$7 by sending $h$8. The conjecture is that, after this reduction, the first non-trivial higher actions $h$9 reproduce the combinatorial formulas for the Steenrod squares $t$0 on Khovanov homology, in the sense associated in the summary with Lipshitz–Sarkar (Kuriya, 18 Sep 2025).

More precisely, the chain-level module structure over the intrinsic $t$1-algebra is expected to carry the entire Steenrod algebra action after reduction mod $t$2. The proposed verification strategy is explicit: compute a few low-order $t$3 on simple links and match them with known $t$4-operations.

This part of the theory is conjectural. No identification with Steenrod operations is asserted as proved in the stated results. The importance of the conjecture lies in the possibility that the higher brackets extracted from the BV operator provide the algebraic root of cohomology operations already observed in knot homology.

7. Conceptual significance

The construction organizes several features of equivariant Khovanov homology into a single framework. The quadratic relation $t$5 yields the operator $t$6, the nilpotency of $t$7 makes higher-derived brackets available, explicit computations such as

$t$8

prove that the resulting $t$9-algebra is genuinely higher, and homotopy transfer lifts the structure from homology to the Khovanov–Sano complex itself (Kuriya, 18 Sep 2025).

In this sense, the Khovanov–Sano complex carries an intrinsic homotopy algebra rather than an externally imposed one. The dual family $$\hat{\nu}\;=\;\Delta : A\longrightarrow A, \qquad \Delta(x)=\hat{\nu}(x)=\frac{x-\hat{\sigma}(x)}{h}.$$0 and the conjectural mixed brackets $$\hat{\nu}\;=\;\Delta : A\longrightarrow A, \qquad \Delta(x)=\hat{\nu}(x)=\frac{x-\hat{\sigma}(x)}{h}.$$1 further suggest that the natural symmetry is not strictly linear but homotopy-coherent. A plausible implication is that this framework supplies a unifying language for relating equivariant Frobenius-algebra data, chain-level link invariants, and the emergence of Steenrod-type operations in knot homology.