Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2508.13731

Remark on twists of Frobenius algebra and link homology

Noboru Ito·Keita Nakagane·Jun Yoshida
View original source ↗Read source document ↗Export metadata ↓

Abstract

We discuss twists on Frobenius algebras in the context of link homology. In his paper in 2006, Khovanov asserted that a twist of a Frobenius algebra yields an isomorphic chain complex on each link diagram. Although the result has been widely accepted for nearly two decades, a subtle gap in the original proof was found in the induction step of the construction of the isomorphism. Following discussion with Khovanov, we decided to provide a new proof. Our proof is based on a detailed analysis of configurations of circles in each state.

Explore related subjects

math.QAmath.GT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Noboru Ito, Keita Nakagane, Jun Yoshida. 2025-09-09. Remark on twists of Frobenius algebra and link homology. https://arxiv.org/abs/2508.13731

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

KEEP EXPLORING

Related papers

arXiv2026

Brunnian braids and the inclusion from double shuffle Lie algebra to Kashiwara-Vergne Lie algebra

Schneps \cite{Schneps2012,Schneps2025} and Enriquez-Furusho \cite{EF4} proved that the double shuffle Lie algebra $\mathfrak{dmr}_0$ embeds into the Kashiwara--Vergne Lie algebra $\mathfrak{krv}_2$. We give a Brunnian braid interpretation of a related embedding into the symmetric Kashiwara--Vergne Lie algebra $\mathfrak{krv}_2^{\mathrm{sym}}$. More precisely, the map \[ φ\longmapsto \bigl(φ(-x_0-x_1,x_0),φ(-x_0-x_1,x_1)\bigr) \] defines an injective Lie algebra homomorphism from the subalgebra of $\mathfrak{dmr}_0$ satisfying the condition \[ [x_0,φ(-x_0-x_1,x_0)] +[x_1,φ(-x_0-x_1,x_1)]=0 \] into $\mathfrak{krv}_2^{\mathrm{sym}}$. The proof reformulate the double shuffle and symmetric Kashiwara--Vergne relations through abelianizations of Brunnian Lie algebras associated with the disk and punctured disks. We generalize this inclusion in two directions. First, replacing these abelianizations by higher lower central series quotients yields generalizations of relations and implications among them. Second, we establish explicit identities relating the linear pentagon defect to the stuffle coproduct, the divergence map, and the necklace cobracket.

math.QA↗
arXiv2026

Birational Equivalences for Kac--Moody Borel Enveloping Algebras

A Coxeter ordering of the simple roots of a finite-rank Kac--Moody algebra determines a finite family of commuting real-root vectors. We prove that $U^{\geq0}(\mathfrak g)$ is birationally equivalent to $Z\otimes\mathbb A_n$, where $Z$ is the residual Coxeter centralizer, by identifying the Coxeter localization $U^{\geq0}(\mathfrak g)[\mathbf X^{-1}]$ with $Z\otimes\mathbb A_n[\mathbf x^{-1}]$. For symmetrizable Cartan matrices the residual algebra is generated by finite Coxeter windows and is finitely presented. For the generic quantum Borel with torus dual to the root lattice, we prove the analogous birational equivalence.

math.QA↗
arXiv2026

Kontsevich's Cocycle Construction and Quantization of the Loday-Quillen-Tsygan Theorem

We relate graph complexes, Calabi-Yau $A_\infty$-categories and Kontsevich's cocycle construction. Our main result produces a commutative square of shifted Poisson algebras; one of its edges is the Loday-Quillen-Tsygan map, generalized to $A_\infty$-categories. We describe a quantized version via Beilinson-Drinfeld algebras. The larger context is to provide categorical methods which relate enumerative geometry (as in mirror symmetry) and large $N$ gauge theories.

math.QA↗