Showing 1–50 of 80 results for author: Khovanov, M

Two-dimensional topological quantum field theories of rank two over Dedekind domains

Authors: Fabian Espinoza, Mee Seong Im, Mikhail Khovanov

Abstract: We give examples of Frobenius algebras of rank two over ground Dedekind rings which are projective but not free and discuss possible applications of these algebras to link homology. We give examples of Frobenius algebras of rank two over ground Dedekind rings which are projective but not free and discuss possible applications of these algebras to link homology. △ Less

Submitted 28 February, 2025; v1 submitted 6 February, 2025; originally announced February 2025.

Comments: Minor sign typo in the first equation in (4.8), and the derived proceeding equations, have been fixed. 20 pages, 2 figures

MSC Class: Primary: 11R04; 57K16; 18M05; 16L60

Entropy, cocycles, and their diagrammatics

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: The first part of the paper explains how to encode a one-cocycle and a two-cocycle on a group $G$ with values in its representation by networks of planar trivalent graphs with edges labelled by elements of $G$, elements of the representation floating in the regions, and suitable rules for manipulation of these diagrams. When the group is a semidirect product, there is a similar presentation via ov… ▽ More The first part of the paper explains how to encode a one-cocycle and a two-cocycle on a group $G$ with values in its representation by networks of planar trivalent graphs with edges labelled by elements of $G$, elements of the representation floating in the regions, and suitable rules for manipulation of these diagrams. When the group is a semidirect product, there is a similar presentation via overlapping networks for the two subgroups involved. M. Kontsevich and J.-L. Cathelineau have shown how to interpret the entropy of a finite random variable and infinitesimal dilogarithms, including their four-term functional relations, via 2-cocycles on the group of affine symmetries of a line. We convert their construction into a diagrammatical calculus evaluating planar networks that describe morphisms in suitable monoidal categories. In particular, the four-term relations become equalities of networks analogous to associativity equations. The resulting monoidal categories complement existing categorical and operadic approaches to entropy. △ Less

Submitted 8 October, 2024; v1 submitted 12 September, 2024; originally announced September 2024.

Comments: In v2, expanded Remarks 4.6, 4.8 and added more references. 82 pages, many figures

MSC Class: Primary: 94A17; 20J06; 18M10; 18M30; Secondary: 18B40; 37A20; 18G45

Foams with flat connections and algebraic K-theory

Authors: David Gepner, Mee Seong Im, Mikhail Khovanov, Nitu Kitchloo

Abstract: This paper proposes a connection between algebraic K-theory and foam cobordisms, where foams are stratified manifolds with singularities of a prescribed form. We consider $n$-dimensional foams equipped with a flat bundle of finitely-generated projective $R$-modules over each facet of the foam, together with gluing conditions along the subfoam of singular points. In a suitable sense which will beco… ▽ More This paper proposes a connection between algebraic K-theory and foam cobordisms, where foams are stratified manifolds with singularities of a prescribed form. We consider $n$-dimensional foams equipped with a flat bundle of finitely-generated projective $R$-modules over each facet of the foam, together with gluing conditions along the subfoam of singular points. In a suitable sense which will become clear, a vertex (or the smallest stratum) of an $n$-dimensional foam replaces an $(n+1)$-simplex with a total ordering of vertices. We show that the first K-theory group of a ring $R$ can be identified with the cobordism group of decorated 1-foams embedded in the plane. A similar relation between the $n$-th algebraic K-theory group of a ring $R$ and the cobordism group of decorated $n$-foams embedded in $\mathbb{R}^{n+1}$ is expected for $n>1$. An analogous correspondence is proposed for arbitrary exact categories. Modifying the embedding and other conditions on the foams may lead to new flavors of K-theory groups. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Comments: 57 pages, many figures

MSC Class: Primary: 57R90; 19B99; 19D06; 18M05; Secondary: 19A99; 55N22

Foam cobordism and the Sah-Arnoux-Fathi invariant

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: This is the first in a series of papers where scissor congruence and K-theoretical invariants are related to cobordism groups of foams in various dimensions. A model example is provided where the cobordism group of weighted one-foams is identified, via the Sah-Arnoux-Fathi invariant, with the first homology of the group of interval exchange automorphisms and with the Zakharevich first K-group of t… ▽ More This is the first in a series of papers where scissor congruence and K-theoretical invariants are related to cobordism groups of foams in various dimensions. A model example is provided where the cobordism group of weighted one-foams is identified, via the Sah-Arnoux-Fathi invariant, with the first homology of the group of interval exchange automorphisms and with the Zakharevich first K-group of the corresponding assembler. Several variations on this cobordism group are computed as well. △ Less

Submitted 9 March, 2024; originally announced March 2024.

Comments: 38 pages, many figures

MSC Class: 37E05; 37E99; 18M30; 19D99

Boolean TQFTs with accumulating defects, sofic systems, and automata for infinite words

Authors: Paul Gustafson, Mee Seong Im, Mikhail Khovanov

Abstract: Any finite state automaton gives rise to a Boolean one-dimensional TQFT with defects and inner endpoints of cobordisms. This paper extends the correspondence to Boolean TQFTs where defects accumulate toward inner endpoints, relating such TQFTs and topological theories to sofic systems and $ω$-automata. Any finite state automaton gives rise to a Boolean one-dimensional TQFT with defects and inner endpoints of cobordisms. This paper extends the correspondence to Boolean TQFTs where defects accumulate toward inner endpoints, relating such TQFTs and topological theories to sofic systems and $ω$-automata. △ Less

Submitted 25 December, 2023; originally announced December 2023.

Comments: 31 pages, many figures

MSC Class: Primary: 57K16; 68Q45; 18M05; 37B10; Secondary: 06A12; 68Q70; 18B20

On the universal pairing for 2-complexes

Authors: Mikhail Khovanov, Vyacheslav Krushkal, John Nicholson

Abstract: The universal pairing for manifolds was defined and shown to lack positivity in dimension 4 by Freedman et al. We prove an analogous result for 2-complexes, and also show that the universal pairing does not detect the difference between simple homotopy equivalence and 3-deformations. The question of whether these two equivalence relations are different for 2-complexes is the subject of the Andrews… ▽ More The universal pairing for manifolds was defined and shown to lack positivity in dimension 4 by Freedman et al. We prove an analogous result for 2-complexes, and also show that the universal pairing does not detect the difference between simple homotopy equivalence and 3-deformations. The question of whether these two equivalence relations are different for 2-complexes is the subject of the Andrews-Curtis conjecture. We also discuss the universal pairing for higher-dimensional complexes and show that it is not positive. △ Less

Submitted 10 February, 2024; v1 submitted 12 December, 2023; originally announced December 2023.

Comments: 17 pages. Version 2 is a substantial revision, in particular the main theorem is strengthened and a section is added on the universal pairing of higher-dimensional complexes

MSC Class: Primary: 57K16; 57K20; 20F05

From finite state automata to tangle cobordisms: a TQFT journey from one to four dimensions

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: This is a brief introduction to link homology theories that categorify Reshetikhin--Turaev $\mathsf{SL}(N)$-quantum link invariants. A recently discovered surprising connection between finite state automata and Boolean TQFTs in dimension one is explained as a warm-up. This is a brief introduction to link homology theories that categorify Reshetikhin--Turaev $\mathsf{SL}(N)$-quantum link invariants. A recently discovered surprising connection between finite state automata and Boolean TQFTs in dimension one is explained as a warm-up. △ Less

Submitted 17 September, 2023; v1 submitted 1 September, 2023; originally announced September 2023.

Comments: 40 pages, many figures, corrected minor misprints. To appear in Contemporary Mathematics, conference proceedings "From Representation Theory to Mathematical Physics and Back"

MSC Class: Primary: 57K16; 57K18; 57K45; 68Q45; 18M30; Secondary: 68Q70; 18B20

A topological theory of unoriented SL(4) foams

Authors: Mikhail Khovanov, Jozef H. Przytycki, Louis-Hadrien Robert, Marithania Silvero

Abstract: Unoriented SL(3) foams are two-dimensional CW complexes with generic singularities embedded in 3- and 4-manifolds. They naturally come up in the Kronheimer-Mrowka SO(3) gauge theory for 3-orbifolds and, in the oriented case, in a categorification of the Kuperberg bracket quantum invariant. The present paper studies the more technically complicated case of SL(4) foams. Combinatorial evaluation of u… ▽ More Unoriented SL(3) foams are two-dimensional CW complexes with generic singularities embedded in 3- and 4-manifolds. They naturally come up in the Kronheimer-Mrowka SO(3) gauge theory for 3-orbifolds and, in the oriented case, in a categorification of the Kuperberg bracket quantum invariant. The present paper studies the more technically complicated case of SL(4) foams. Combinatorial evaluation of unoriented SL(4) foams is defined and state spaces for it are studied. In particular, over a suitably localized ground ring, the state space of any web is free of the rank given by the number of its 4-colorings. △ Less

Submitted 2 July, 2023; originally announced July 2023.

Comments: 26 pages, many figures, comments welcome

MSC Class: 05C15; 57M15; 57K16; 18N25; 05A30

Universal construction in monoidal and non-monoidal settings, the Brauer envelope, and pseudocharacters

Authors: Mee Seong Im, Mikhail Khovanov, Victor Ostrik

Abstract: This paper clarifies basic definitions in the universal construction of topological theories and monoidal categories. The definition of the universal construction is given for various types of monoidal categories, including rigid and symmetric. It is also explained how to set up the universal construction for non-monoidal categories. The second part of the paper explains how to associate a rigid s… ▽ More This paper clarifies basic definitions in the universal construction of topological theories and monoidal categories. The definition of the universal construction is given for various types of monoidal categories, including rigid and symmetric. It is also explained how to set up the universal construction for non-monoidal categories. The second part of the paper explains how to associate a rigid symmetric monoidal category to a small category, a sort of the Brauer envelope of a category. The universal construction for the Brauer envelopes generalizes some earlier work of the first two authors on automata, power series and topological theories. Finally, the theory of pseudocharacters (or pseudo-representations), which is an essential tool in modern number theory, is interpreted via one-dimensional topological theories and TQFTs with defects. The notion of a pseudocharacter is studied for Brauer categories and the lifting property to characters of semisimple representations is established in characteristic 0 for Brauer categories with at most countably many objects. The paper contains a brief discussion of pseudo-holonomies, which are functions from loops in a manifold to real numbers similar to traces of the holonomies along loops of a connection on a vector bundle on the manifold. It concludes with a classification of pseudocharacters (pseudo-TQFTs) and their generating functions for the category of oriented two-dimensional cobordisms in the characteristic 0 case. △ Less

Submitted 5 March, 2023; originally announced March 2023.

Comments: 59 pages, many figures

MSC Class: Primary: 57K16; 18M05; 18M30; Secondary: 15A15

Automata and one-dimensional TQFTs with defects

Authors: Paul Gustafson, Mee Seong Im, Remy Kaldawy, Mikhail Khovanov, Zachary Lihn

Abstract: This paper explains how any nondeterministic automaton for a regular language $L$ gives rise to a one-dimensional oriented Topological Quantum Field Theory (TQFT) with inner endpoints and zero-dimensional defects labelled by letters of the alphabet for $L$. The TQFT is defined over the Boolean semiring $\mathbb{B}$. Different automata for a fixed language $L$ produce TQFTs that differ by their val… ▽ More This paper explains how any nondeterministic automaton for a regular language $L$ gives rise to a one-dimensional oriented Topological Quantum Field Theory (TQFT) with inner endpoints and zero-dimensional defects labelled by letters of the alphabet for $L$. The TQFT is defined over the Boolean semiring $\mathbb{B}$. Different automata for a fixed language $L$ produce TQFTs that differ by their values on decorated circles, while the values on decorated intervals are described by the language $L$. The language $L$ and the TQFT associated to an automaton can be given a path integral interpretation. In this TQFT the state space of a one-point 0-manifold is a free module over $\mathbb{B}$ with the basis of states of the automaton. Replacing a free module by a finite projective $\mathbb{B}$-module $P$ allows to generalize automata and this type of TQFT to a structure where defects act on open subsets of a finite topological space. Intersection of open subsets induces a multiplication on $P$ allowing to extend the TQFT to a TQFT for one-dimensional foams (oriented graphs with defects modulo a suitable equivalence relation). A linear version of these constructions is also explained, with the Boolean semiring replaced by a commutative ring. △ Less

Submitted 27 February, 2023; v1 submitted 2 January, 2023; originally announced January 2023.

Comments: Corollary 3.5 added. 36 pages, many figures

MSC Class: Primary: 57K16; 68Q45; 18M10; 18M30; Secondary: 06A12; 68Q70; 18B20

One-dimensional topological theories with defects: the linear case

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: The paper studies the Karoubi envelope of a one-dimensional topological theory with defects and inner endpoints, defined over a field. It turns out that the Karoubi envelope is determined by a symmetric Frobenius algebra K associated to the theory. The Karoubi envelope is then equivalent to the quotient of the Frobenius-Brauer category of K modulo the ideal of negligible morphisms. Symmetric Frobe… ▽ More The paper studies the Karoubi envelope of a one-dimensional topological theory with defects and inner endpoints, defined over a field. It turns out that the Karoubi envelope is determined by a symmetric Frobenius algebra K associated to the theory. The Karoubi envelope is then equivalent to the quotient of the Frobenius-Brauer category of K modulo the ideal of negligible morphisms. Symmetric Frobenius algebras, such as K, describe two-dimensional TQFTs for the category of thin flat surfaces, and elements of the algebra can be turned into defects on the side boundaries of these surfaces. We also explain how to couple K to the universal construction restricted to closed surfaces to define a topological theory of open-closed two-dimensional cobordisms which is usually not an open-closed 2D TQFT. △ Less

Submitted 4 April, 2023; v1 submitted 1 October, 2022; originally announced October 2022.

Comments: 38 pages, Figure 2.3.4 corrected. Many figures

MSC Class: 18M05; 18M30; 57K16; 16W60; 15A63

Odd two-variable Soergel bimodules and Rouquier complexes

Authors: Mikhail Khovanov, Krzysztof Putyra, Pedro Vaz

Abstract: We consider the odd analogue of the category of Soergel bimodules. In the odd case and already for two variables, the transposition bimodule cannot be merged into the generating Soergel bimodule, forcing one into a monoidal category with a larger Grothendieck ring compared to the even case. We establish biadjointness of suitable functors and develop graphical calculi in the 2-variable case for the… ▽ More We consider the odd analogue of the category of Soergel bimodules. In the odd case and already for two variables, the transposition bimodule cannot be merged into the generating Soergel bimodule, forcing one into a monoidal category with a larger Grothendieck ring compared to the even case. We establish biadjointness of suitable functors and develop graphical calculi in the 2-variable case for the odd Soergel category and the related singular Soergel 2-category. We describe the odd analogue of the Rouquier complexes and establish their invertibility in the homotopy category. For three variables, the absence of a direct sum decomposition of the tensor product of generating Soergel bimodules presents an obstacle for the Reidemeister III relation to hold in the homotopy category. △ Less

Submitted 6 February, 2023; v1 submitted 25 May, 2022; originally announced May 2022.

Comments: v3. Fixed some misprints. v2. 20 pages, figures in color, minor changes, integrated referee comments (including the name of the paper)

MSC Class: 18M30; 18N25; 16D20

Topological theories and automata

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: The paper explains the connection between topological theories for one-manifolds with defects and values in the Boolean semiring and automata and their generalizations. Finite state automata are closely related to regular languages. To each pair of a regular language and a circular regular language we associate a topological theory for one-dimensional manifolds with zero-dimensional defects labell… ▽ More The paper explains the connection between topological theories for one-manifolds with defects and values in the Boolean semiring and automata and their generalizations. Finite state automata are closely related to regular languages. To each pair of a regular language and a circular regular language we associate a topological theory for one-dimensional manifolds with zero-dimensional defects labelled by letters of the language. This theory takes values in the Boolean semiring. Universal construction of topological theories gives rise in this case to a monoidal category of Boolean semilinear combinations of one-dimensional cobordisms with defects modulo skein relations. The latter category can be interpreted as a semilinear rigid monoidal closure of standard structures associated to a regular language, including minimal deterministic and nondeterministic finite state automata for the language and the syntactic monoid. The circular language plays the role of a regularizer, allowing to define the rigid closure of these structures. When the state space of a single point for a regular language describes a distributive lattice, there is a unique associated circular language such that the resulting theory is a Boolean TQFT. △ Less

Submitted 27 February, 2022; originally announced February 2022.

Comments: 70 pages, many figures

MSC Class: Primary: 57K16; 68Q45; 18M10; 18M30; Secondary: 06A12; 68Q70; 18B20

Categorical lifting of the Jones polynomial: a survey

Authors: Mikhail Khovanov, Robert Lipshitz

Abstract: This is a brief review of the categorification of the Jones polynomial and its significance and ramifications in geometry, algebra, and low-dimensional topology. This is a brief review of the categorification of the Jones polynomial and its significance and ramifications in geometry, algebra, and low-dimensional topology. △ Less

Submitted 21 March, 2022; v1 submitted 4 February, 2022; originally announced February 2022.

Comments: 22 pages. V2: Various minor improvements. To appear in an issue of the Bulletin of the AMS, dedicated to the mathematical legacy of Vaughan Jones

MSC Class: 57K14; 57K18; 18N25

Monoidal categories, representation gap and cryptography

Authors: Mikhail Khovanov, Maithreya Sitaraman, Daniel Tubbenhauer

Abstract: The linear decomposition attack provides a serious obstacle to direct applications of noncommutative groups and monoids (or semigroups) in cryptography. To overcome this issue we propose to look at monoids with only big representations, in the sense made precise in the paper, and undertake a systematic study of such monoids. One of our main tools is Green's theory of cells (Green's relations). A… ▽ More The linear decomposition attack provides a serious obstacle to direct applications of noncommutative groups and monoids (or semigroups) in cryptography. To overcome this issue we propose to look at monoids with only big representations, in the sense made precise in the paper, and undertake a systematic study of such monoids. One of our main tools is Green's theory of cells (Green's relations). A large supply of monoids is delivered by monoidal categories. We consider simple examples of monoidal categories of diagrammatic origin, including the Temperley-Lieb, the Brauer and partition categories, and discuss lower bounds for their representations. △ Less

Submitted 11 February, 2024; v1 submitted 5 January, 2022; originally announced January 2022.

Comments: 52 pages, many figures, revised version, comments welcome

MSC Class: Primary: 18M05; 20M30; Secondary: 94A60

Journal ref: Trans. Amer. Math. Soc. Ser. B 11 (2024), 329-395

Foams, iterated wreath products, field extensions and Sylvester sums

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: Certain foams and relations on them are introduced to interpret functors and natural transformations in categories of representations of iterated wreath products of cyclic groups of order two. We also explain how patched surfaces with defect circles and foams relate to separable field extensions and Galois theory and explore a relation between overlapping foams and Sylvester double sums. In the ap… ▽ More Certain foams and relations on them are introduced to interpret functors and natural transformations in categories of representations of iterated wreath products of cyclic groups of order two. We also explain how patched surfaces with defect circles and foams relate to separable field extensions and Galois theory and explore a relation between overlapping foams and Sylvester double sums. In the appendix, joint with Lev Rozansky, we compare traces in two-dimensional TQFTs coming from matrix factorizations with those in field extensions. △ Less

Submitted 16 July, 2021; originally announced July 2021.

Comments: 78 pages, many figures

MSC Class: 57K16; 18M30; 20E22 (Primary) 18N25; 13P15; 57K99; 20C99 (Secondary)

Anchored foams and annular homology

Authors: Rostislav Akhmechet, Mikhail Khovanov

Abstract: We describe equivariant SL(2) and SL(3) homology for links in the solid torus via foam evaluation. The solid torus is replaced by 3-space with a distinguished line in it. Generators of state spaces for annular webs are represented by foams with boundary that may intersect the distinguished line; intersection points, called anchor points, contribute additional terms, reminiscent of square roots of… ▽ More We describe equivariant SL(2) and SL(3) homology for links in the solid torus via foam evaluation. The solid torus is replaced by 3-space with a distinguished line in it. Generators of state spaces for annular webs are represented by foams with boundary that may intersect the distinguished line; intersection points, called anchor points, contribute additional terms, reminiscent of square roots of the Hessian, to the foam evaluation. Both oriented and unoriented SL(3) foams are treated in the paper. △ Less

Submitted 3 May, 2021; originally announced May 2021.

Comments: 56 pages, many figures

MSC Class: 57K18; 57K16; 18N25

Journal ref: Algebr. Geom. Topol. 23 (2023) 3129-3204

Planar diagrammatics of self-adjoint functors and recognizable tree series

Authors: Mikhail Khovanov, Robert Laugwitz

Abstract: A pair of biadjoint functors between two categories produces a collection of elements in the centers of these categories, one for each isotopy class of nested circles in the plane. If the centers are equipped with a trace map into the ground field, then one assigns an element of that field to a diagram of nested circles. We focus on the self-adjoint functor case of this construction and study the… ▽ More A pair of biadjoint functors between two categories produces a collection of elements in the centers of these categories, one for each isotopy class of nested circles in the plane. If the centers are equipped with a trace map into the ground field, then one assigns an element of that field to a diagram of nested circles. We focus on the self-adjoint functor case of this construction and study the reverse problem of recovering such a functor and a category given values associated to diagrams of nested circles. △ Less

Submitted 1 November, 2021; v1 submitted 3 April, 2021; originally announced April 2021.

Comments: 61 pages. v2: This revised version is to appear in Pure Appl. Math. Q

MSC Class: Primary 18M30; Secondary 18A40; 18M10; 57K16; 11B85

Journal ref: Pure and Applied Mathematics Quarterly, Volume 19 (2023), Number 5, Special issue on Subfactors and Related Topics in memory of Vaughan Jones, pp. 2409-2499

Two-dimensional topological theories, rational functions and their tensor envelopes

Authors: Mikhail Khovanov, Victor Ostrik, Yakov Kononov

Abstract: We study generalized Deligne categories and related tensor envelopes for the universal two-dimensional cobordism theories described by rational functions, recently defined by Sazdanovic and one of the authors. We study generalized Deligne categories and related tensor envelopes for the universal two-dimensional cobordism theories described by rational functions, recently defined by Sazdanovic and one of the authors. △ Less

Submitted 30 November, 2020; originally announced November 2020.

Comments: 60 pages

MSC Class: 18M10; 57R56; 18M25; 17B10; 05A18; 81R05

Conical SL(3) foams

Authors: Mikhail Khovanov, Louis-Hadrien Robert

Abstract: In the unoriented SL(3) foam theory, singular vertices are generic singularities of two-dimensional complexes. Singular vertices have neighbourhoods homeomorphic to cones over the one-skeleton of the tetrahedron, viewed as a trivalent graph on the two-sphere. In this paper we consider foams with singular vertices with neighbourhoods homeomorphic to cones over more general planar trivalent graphs.… ▽ More In the unoriented SL(3) foam theory, singular vertices are generic singularities of two-dimensional complexes. Singular vertices have neighbourhoods homeomorphic to cones over the one-skeleton of the tetrahedron, viewed as a trivalent graph on the two-sphere. In this paper we consider foams with singular vertices with neighbourhoods homeomorphic to cones over more general planar trivalent graphs. These graphs are subject to suitable conditions on their Kempe equivalence Tait coloring classes and include the dodecahedron graph. In this modification of the original homology theory it is straightforward to show that modules associated to the dodecahedron graph are free of rank 60, which is still an open problem for the original unoriented SL(3) foam theory. △ Less

Submitted 22 November, 2020; originally announced November 2020.

Comments: 25 pages, many figures

MSC Class: 05C10; 05C15; 57M15; 57K16

Decorated one-dimensional cobordisms and tensor envelopes of noncommutative recognizable power series

Authors: Mikhail Khovanov

Abstract: The paper explores the relation between noncommutative power series and topological theories of one-dimensional cobordisms decorated by labelled zero-dimensional submanifolds. These topological theories give rise to several types of tensor envelopes of noncommutative recognizable power series, including the categories built from the syntactic algebra and syntactic ideals of the series and the anal… ▽ More The paper explores the relation between noncommutative power series and topological theories of one-dimensional cobordisms decorated by labelled zero-dimensional submanifolds. These topological theories give rise to several types of tensor envelopes of noncommutative recognizable power series, including the categories built from the syntactic algebra and syntactic ideals of the series and the analogue of the Deligne category. △ Less

Submitted 12 October, 2020; originally announced October 2020.

Comments: 33 pages, 20 figures

MSC Class: 18M05; 18M30; 57K16; 16W60; 15A63

Evaluating thin flat surfaces

Authors: Mikhail Khovanov, You Qi, Lev Rozansky

Abstract: We consider recognizable evaluations for a suitable category of oriented two-dimensional cobordisms with corners between finite unions of intervals. We call such cobordisms thin flat surfaces. An evaluation is given by a power series in two variables. Recognizable evaluations correspond to series that are ratios of a two-variable polynomial by the product of two one-variable polynomials, one for e… ▽ More We consider recognizable evaluations for a suitable category of oriented two-dimensional cobordisms with corners between finite unions of intervals. We call such cobordisms thin flat surfaces. An evaluation is given by a power series in two variables. Recognizable evaluations correspond to series that are ratios of a two-variable polynomial by the product of two one-variable polynomials, one for each variable. They are also in a bijection with isomorphism classes of commutative Frobenius algebras on two generators with a nondegenerate trace fixed. The latter algebras of dimension n correspond to points on the dual tautological bundle on the Hilbert scheme of n points on the affine plane, with a certain divisor removed from the bundle. A recognizable evaluation gives rise to a functor from the above cobordism category of thin flat surfaces to the category of finite-dimensional vector spaces. These functors may be non-monoidal in interesting cases. To a recognizable evaluation we also assign an analogue of the Deligne category and of its quotient by the ideal of negligible morphisms. △ Less

Submitted 2 September, 2020; originally announced September 2020.

Comments: 38 pages, 21 figures

MSC Class: 18M05; 57K16; 57K20; 18M30; 15A63

Bilinear pairings on two-dimensional cobordisms and generalizations of the Deligne category

Authors: Mikhail Khovanov, Radmila Sazdanovic

Abstract: The Deligne category of symmetric groups is the additive Karoubi closure of the partition category. It is semisimple for generic values of the parameter t while producing categories of representations of the symmetric group when modded out by the ideal of negligible morphisms when t is a non-negative integer. The partition category may be interpreted, following Comes, via a particular linearizatio… ▽ More The Deligne category of symmetric groups is the additive Karoubi closure of the partition category. It is semisimple for generic values of the parameter t while producing categories of representations of the symmetric group when modded out by the ideal of negligible morphisms when t is a non-negative integer. The partition category may be interpreted, following Comes, via a particular linearization of the category of two-dimensional oriented cobordisms. The Deligne category and its semisimple quotients admit similar interpretations. This viewpoint coupled to the universal construction of two-dimensional topological theories leads to multi-parameter monoidal generalizations of the partition and the Deligne categories, one for each rational function in one variable. △ Less

Submitted 22 July, 2020; originally announced July 2020.

Comments: 15 pages

MSC Class: 18M05; 18M30; 05A18; 15A63

Universal construction of topological theories in two dimensions

Authors: Mikhail Khovanov

Abstract: We consider Blanchet, Habegger, Masbaum and Vogel's universal construction of topological theories in dimension two, using it to produce interesting theories that do not satisfy the usual two-dimensional TQFT axioms. Kronecker's characterization of rational functions allows us to classify theories over a field with finite-dimensional state spaces and introduce their extension to theories with the… ▽ More We consider Blanchet, Habegger, Masbaum and Vogel's universal construction of topological theories in dimension two, using it to produce interesting theories that do not satisfy the usual two-dimensional TQFT axioms. Kronecker's characterization of rational functions allows us to classify theories over a field with finite-dimensional state spaces and introduce their extension to theories with the ground ring the product of rings of symmetric functions in N and M variables. We look at several examples of non-multiplicative theories and see Hankel matrices, Schur and supersymmetric Schur polynomials quickly emerge from these structures. The last section explains how an extension of the Robert-Wagner foam evaluation to overlapping foams gives the Sergeev-Pragacz formula for the supersymmetric Schur polynomials and the Day formula for the Toeplitz determinant of rational power series as special cases. △ Less

Submitted 7 July, 2020; originally announced July 2020.

Comments: 56 pages, 32 figures

MSC Class: 2020: 57K16; 47B35; 17B10

Link homology and Frobenius extensions II

Authors: Mikhail Khovanov, Louis-Hadrien Robert

Abstract: The first two sections of the paper provide a convenient scheme and additional diagrammatics for working with Frobenius extensions responsible for key flavors of equivariant SL(2) link homology theories. The goal is to clarify some basic structures in the theory and propose a setup to work over sufficiently non-degenerate base rings. The third section works out two related SL(2) evaluations for se… ▽ More The first two sections of the paper provide a convenient scheme and additional diagrammatics for working with Frobenius extensions responsible for key flavors of equivariant SL(2) link homology theories. The goal is to clarify some basic structures in the theory and propose a setup to work over sufficiently non-degenerate base rings. The third section works out two related SL(2) evaluations for seamed surfaces. △ Less

Submitted 16 May, 2020; originally announced May 2020.

Comments: 39 pages, many tikz figures and diagrams

MSC Class: 57K18; 57K16; 18N25; 13B02 (MSC 2020)

A deformation of Robert-Wagner foam evaluation and link homology

Authors: Mikhail Khovanov, Nitu Kitchloo

Abstract: We consider a deformation of the Robert-Wagner foam evaluation formula, with an eye toward a relation to formal groups. Integrality of the deformed evaluation is established, giving rise to state spaces for planar GL(N) MOY graphs (Murakami-Ohtsuki-Yamada graphs). Skein relations for the deformation are worked out in details in the GL(2) case. These skein relations deform GL(2) foam relations of B… ▽ More We consider a deformation of the Robert-Wagner foam evaluation formula, with an eye toward a relation to formal groups. Integrality of the deformed evaluation is established, giving rise to state spaces for planar GL(N) MOY graphs (Murakami-Ohtsuki-Yamada graphs). Skein relations for the deformation are worked out in details in the GL(2) case. These skein relations deform GL(2) foam relations of Beliakova, Hogancamp, Putyra and Wehrli. We establish the Reidemeister move invariance of the resulting chain complexes assigned to link diagrams, giving us a link homology theory. △ Less

Submitted 29 April, 2020; originally announced April 2020.

Comments: 57 pages, 54 figures

MSC Class: 57K18; 14L05; 18N25

Diagrammatic categorification of the Chebyshev polynomials of the second kind

Authors: Mikhail Khovanov, Radmila Sazdanovic

Abstract: We develop a diagrammatic categorification of the polynomial ring Z[x], based on a geometrically defined graded algebra. This construction generalizes to categorification of some special functions, such as Chebyshev polynomials. Diagrammatic algebras featured in these categorifications lead to the first topological interpretations of the Bernstein-Gelfand-Gelfand reciprocity property. We develop a diagrammatic categorification of the polynomial ring Z[x], based on a geometrically defined graded algebra. This construction generalizes to categorification of some special functions, such as Chebyshev polynomials. Diagrammatic algebras featured in these categorifications lead to the first topological interpretations of the Bernstein-Gelfand-Gelfand reciprocity property. △ Less

Submitted 25 March, 2020; originally announced March 2020.

Comments: 24 pages

MSC Class: 16G99; 16S99; 18G10

A faithful braid group action on the stable category of tricomplexes

Authors: Mikhail Khovanov, You Qi

Abstract: Bicomplexes of vector spaces frequently appear throughout algebra and geometry. In Section 2 we explain how to think about the arrows in the spectral sequence of a bicomplex via its indecomposable summands. Polycomplexes seem to be much more rare. In Section 3 of this paper we rethink a well-known faithful categorical braid group action via an action on the stable category of tricomplexes. Bicomplexes of vector spaces frequently appear throughout algebra and geometry. In Section 2 we explain how to think about the arrows in the spectral sequence of a bicomplex via its indecomposable summands. Polycomplexes seem to be much more rare. In Section 3 of this paper we rethink a well-known faithful categorical braid group action via an action on the stable category of tricomplexes. △ Less

Submitted 30 March, 2020; v1 submitted 6 November, 2019; originally announced November 2019.

Comments: 32 pages. Dedicated to Dmitry Fuchs on his 80th birthday

Journal ref: SIGMA 16 (2020), 019, 32 pages

Foam evaluation and Kronheimer--Mrowka theories

Authors: Mikhail Khovanov, Louis-Hadrien Robert

Abstract: We introduce and study combinatorial equivariant analogues of the Kronheimer--Mrowka homology theory of planar trivalent graphs. We introduce and study combinatorial equivariant analogues of the Kronheimer--Mrowka homology theory of planar trivalent graphs. △ Less

Submitted 29 August, 2018; originally announced August 2018.

Comments: 53 pages, 23 tikz figures

MSC Class: 05C10 (Primary) 05C15; 57M15; 57R56; 57M25 (Secondary)

Braid group actions from categorical symmetric Howe duality on deformed Webster algebras

Authors: Mikhail Khovanov, Aaron D. Lauda, Joshua Sussan, Yasuyoshi Yonezawa

Abstract: We construct a 2-representation categorifying the symmetric Howe representation of $\mathfrak{gl}_m$ using a deformation of an algebra introduced by Webster. As a consequence, we obtain a categorical braid group action taking values in a homotopy category. We construct a 2-representation categorifying the symmetric Howe representation of $\mathfrak{gl}_m$ using a deformation of an algebra introduced by Webster. As a consequence, we obtain a categorical braid group action taking values in a homotopy category. △ Less

Submitted 15 January, 2020; v1 submitted 14 February, 2018; originally announced February 2018.

Comments: 71 pages, tikz diagrams. v2 corrects typos

MSC Class: 16D20; 16E20; 81R50; 20F36

Journal ref: Transformation Groups, Volume 27, pg 919-982, 2022

Towards functor exponentiation

Authors: Mikhail Khovanov, Yin Tian

Abstract: We consider a possible framework to categorify the exponential map exp(-f) given the categorification of a generator f of $\frak{sl}_2$ by Lauda. In this setup the Taylor expansions of exp(-f) and exp(f) turn into complexes built out of categorified divided powers of f. Hom spaces between tensor powers of categorified f are given by diagrammatics combining nilHecke algebra relations with those for… ▽ More We consider a possible framework to categorify the exponential map exp(-f) given the categorification of a generator f of $\frak{sl}_2$ by Lauda. In this setup the Taylor expansions of exp(-f) and exp(f) turn into complexes built out of categorified divided powers of f. Hom spaces between tensor powers of categorified f are given by diagrammatics combining nilHecke algebra relations with those for a additional "short strand" generator. The proposed framework is only an approximation to categorification of exponentiation, because the functors categorifying exp(f) and exp(-f) are not invertible. △ Less

Submitted 31 December, 2019; v1 submitted 6 December, 2017; originally announced December 2017.

Comments: 27 pages

Journal ref: Journal of Algebra 505 (2018) 125-149

p-DG cyclotomic nilHecke algebras

Authors: Mikhail Khovanov, You Qi, Joshua Sussan

Abstract: We categorify a tensor product of two Weyl modules for quantum sl(2) at a prime root of unity. We categorify a tensor product of two Weyl modules for quantum sl(2) at a prime root of unity. △ Less

Submitted 1 December, 2021; v1 submitted 20 November, 2017; originally announced November 2017.

Comments: 72 pages, multiple diagrammatic computations, best viewed in color. v2 contains corrections from referee reports. Accepted by the Memoirs of the AMS. Comments welcome

MSC Class: 81R50; 16E20; 16E35

Journal ref: Memoirs of the American Mathematical Society, Volume 293, Number 1462, 2024

How to categorify the ring of integers localized at two

Authors: Mikhail Khovanov, Yin Tian

Abstract: We construct a triangulated monoidal Karoubi closed category with the Grothendieck ring, naturally isomorphic to the ring of integers localized at two. We construct a triangulated monoidal Karoubi closed category with the Grothendieck ring, naturally isomorphic to the ring of integers localized at two. △ Less

Submitted 31 December, 2019; v1 submitted 24 February, 2017; originally announced February 2017.

Comments: 49 pages, 21 figures, final version

MSC Class: 16E20; 18D10; 16E35

Journal ref: Quantum Topology 10, no.4 (2019), 723-775

The Soergel category and the redotted Webster algebra

Authors: Mikhail Khovanov, Joshua Sussan

Abstract: We describe a collection of graded rings which surject onto Webster rings for sl(2) and which should be related to certain categories of singular Soergel bimodules. In the first non-trivial case, we construct a categorical braid group action which categorifies the Burau representation. We describe a collection of graded rings which surject onto Webster rings for sl(2) and which should be related to certain categories of singular Soergel bimodules. In the first non-trivial case, we construct a categorical braid group action which categorifies the Burau representation. △ Less

Submitted 9 May, 2016; originally announced May 2016.

MSC Class: 16D20; 16E20

Linearization and categorification

Authors: Mikhail Khovanov

Abstract: We discuss the notion of linearization through examples, which include the Price map, PageRank, representation theory, the Euler characteristic and quantum invariants. We also review categorification, which adds an additional layer of structure, in the context of the last two examples. We discuss the notion of linearization through examples, which include the Price map, PageRank, representation theory, the Euler characteristic and quantum invariants. We also review categorification, which adds an additional layer of structure, in the context of the last two examples. △ Less

Submitted 27 March, 2016; originally announced March 2016.

Comments: 14 pages

MSC Class: 16E99

A categorification of the positive half of quantum gl(m|1)

Authors: Mikhail Khovanov, Joshua Sussan

Abstract: We describe a collection of differential graded rings that categorify weight spaces of the positive half of the quantized universal enveloping algebra of the Lie superalgebra gl(m|1). We describe a collection of differential graded rings that categorify weight spaces of the positive half of the quantized universal enveloping algebra of the Lie superalgebra gl(m|1). △ Less

Submitted 6 June, 2014; originally announced June 2014.

Positive half of the Witt algebra acts on triply graded link homology

Authors: Mikhail Khovanov, Lev Rozansky

Abstract: The positive half of the Witt algebra is the Lie algebra spanned by vector fields x^{m+1} d/dx acting as differentiations on the polynomial algebra Q[x] upon which the Soergel bimodule construction of triply graded link homology is based. We show that this action of Witt algebra can be extended to the link homology. The positive half of the Witt algebra is the Lie algebra spanned by vector fields x^{m+1} d/dx acting as differentiations on the polynomial algebra Q[x] upon which the Soergel bimodule construction of triply graded link homology is based. We show that this action of Witt algebra can be extended to the link homology. △ Less

Submitted 7 May, 2013; originally announced May 2013.

Comments: 45 pages

MSC Class: 57M25; 18G60

An approach to categorification of some small quantum groups

Authors: Mikhail Khovanov, You Qi

Abstract: We categorify one half of the small quantum sl(2) at a prime root of unity. An extension of this construction to an arbitrary simply-laced case is proposed. We categorify one half of the small quantum sl(2) at a prime root of unity. An extension of this construction to an arbitrary simply-laced case is proposed. △ Less

Submitted 16 June, 2013; v1 submitted 2 August, 2012; originally announced August 2012.

Comments: Latex file, 104 pages, many ps tricks figures. V3 contains minor corrections. Comments welcome

MSC Class: 81R50; 16E20; 16E35

Journal ref: Quantum Topology, Volume 6, Issue 2, 2015, pp. 185-311

The odd nilHecke algebra and its diagrammatics

Authors: Alexander P. Ellis, Mikhail Khovanov, Aaron D. Lauda

Abstract: We introduce an odd version of the nilHecke algebra and develop an odd analogue of the thick diagrammatic calculus for nilHecke algebras. We graphically describe idempotents which give a Morita equivalence between odd nilHecke algebras and the rings of odd symmetric functions in finitely many variables. Cyclotomic quotients of odd nilHecke algebras are Morita equivalent to rings which are odd anal… ▽ More We introduce an odd version of the nilHecke algebra and develop an odd analogue of the thick diagrammatic calculus for nilHecke algebras. We graphically describe idempotents which give a Morita equivalence between odd nilHecke algebras and the rings of odd symmetric functions in finitely many variables. Cyclotomic quotients of odd nilHecke algebras are Morita equivalent to rings which are odd analogues of the cohomology rings of Grassmannians. Like their even counterparts, odd nilHecke algebras categorify the positive half of quantum sl(2). △ Less

Submitted 5 November, 2011; originally announced November 2011.

Comments: 48 pages, eps and xypic diagrams

MSC Class: 20G42; 14M15; 17B37; 16W50

Journal ref: International Math Research Notices, vol. 2014, No. 4, pages 991--1062

The Hopf algebra of odd symmetric functions

Authors: Alexander P. Ellis, Mikhail Khovanov

Abstract: We consider a q-analogue of the standard bilinear form on the commutative ring of symmetric functions. The q=-1 case leads to a Z-graded Hopf superalgebra which we call the algebra of odd symmetric functions. In the odd setting we describe counterparts of the elementary and complete symmetric functions, power sums, Schur functions, and combinatorial interpretations of associated change of basis re… ▽ More We consider a q-analogue of the standard bilinear form on the commutative ring of symmetric functions. The q=-1 case leads to a Z-graded Hopf superalgebra which we call the algebra of odd symmetric functions. In the odd setting we describe counterparts of the elementary and complete symmetric functions, power sums, Schur functions, and combinatorial interpretations of associated change of basis relations. △ Less

Submitted 18 September, 2013; v1 submitted 27 July, 2011; originally announced July 2011.

Comments: 43 pages, 12 figures. v2: some corrections

MSC Class: 05E05 (Primary); 16T05; 17A70 (Secondary)

Journal ref: Advances in Mathematics 231 (2), 965--999, 2012

Categorification of the polynomial ring

Authors: Mikhail Khovanov, Radmila Sazdanovic

Abstract: We develop a diagrammatic categorification of the polynomial ring $Z[x]$. Our categorification satisfies a version of Bernstein-Gelfand-Gelfand reciprocity property with the indecomposable projective modules corresponding to $x^n$ and standard modules to $(x-1)^n$ in the Grothendieck ring. We develop a diagrammatic categorification of the polynomial ring $Z[x]$. Our categorification satisfies a version of Bernstein-Gelfand-Gelfand reciprocity property with the indecomposable projective modules corresponding to $x^n$ and standard modules to $(x-1)^n$ in the Grothendieck ring. △ Less

Submitted 31 December, 2010; originally announced January 2011.

Comments: 29 pages, 26 figures

MSC Class: 16S99; 18G10

Heisenberg algebra and a graphical calculus

Authors: Mikhail Khovanov

Abstract: A new calculus of planar diagrams involving diagrammatics for biadjoint functors and degenerate affine Hecke algebras is introduced. The calculus leads to an additive monoidal category whose Grothendieck ring contains an integral form of the Heisenberg algebra in infinitely many variables. We construct bases of vector spaces of morphisms between products of generating objects in this category. A new calculus of planar diagrams involving diagrammatics for biadjoint functors and degenerate affine Hecke algebras is introduced. The calculus leads to an additive monoidal category whose Grothendieck ring contains an integral form of the Heisenberg algebra in infinitely many variables. We construct bases of vector spaces of morphisms between products of generating objects in this category. △ Less

Submitted 16 September, 2010; originally announced September 2010.

Comments: 45 pages, eps files

MSC Class: 18D10; 19A22

Categorifications from planar diagrammatics

Authors: Mikhail Khovanov

Abstract: A diagrammatic presentation of functors and natural transformations and the virtues of biadjointness are discussed. We then review a graphical description of the category of Soergel bimodules and a diagrammatic categorification of positive halves of quantum groups. These notes are a write-up of Takagi lectures given by the author in Hokkaido University in June 2009. A diagrammatic presentation of functors and natural transformations and the virtues of biadjointness are discussed. We then review a graphical description of the category of Soergel bimodules and a diagrammatic categorification of positive halves of quantum groups. These notes are a write-up of Takagi lectures given by the author in Hokkaido University in June 2009. △ Less

Submitted 30 August, 2010; originally announced August 2010.

Comments: 30 pages, latex, eps

MSC Class: 81R50

A categorification of the Casimir of quantum sl(2)

Authors: Anna Beliakova, Mikhail Khovanov, Aaron D. Lauda

Abstract: We categorify the Casimir element of the idempotented form of quantum sl(2). We categorify the Casimir element of the idempotented form of quantum sl(2). △ Less

Submitted 10 January, 2011; v1 submitted 2 August, 2010; originally announced August 2010.

Comments: 63 pages, xypic diagrams. v2 corrects typos

MSC Class: 81R50; 17B37

Journal ref: Advances in Mathematics, Volume 230, Issue 3, 20 June 2012, Pages 1442-1501

How to categorify one-half of quantum gl(1|2)

Authors: Mikhail Khovanov

Abstract: We describe a collection of differential graded rings that categorify weight spaces of the positive half of the quantized universal enveloping algebra of the Lie superalgebra gl(1|2). We describe a collection of differential graded rings that categorify weight spaces of the positive half of the quantized universal enveloping algebra of the Lie superalgebra gl(1|2). △ Less

Submitted 25 July, 2010; v1 submitted 20 July, 2010; originally announced July 2010.

Comments: 26 pages, 24 figures

MSC Class: 81R50

Extended graphical calculus for categorified quantum sl(2)

Authors: Mikhail Khovanov, Aaron D. Lauda, Marco Mackaay, Marko Stosic

Abstract: A categorification of the Beilinson-Lusztig-MacPherson form of the quantum sl(2) was constructed in the paper arXiv:0803.3652 by the second author. Here we enhance the graphical calculus introduced and developed in that paper to include two-morphisms between divided powers one-morphisms and their compositions. We obtain explicit diagrammatical formulas for the decomposition of products of divided… ▽ More A categorification of the Beilinson-Lusztig-MacPherson form of the quantum sl(2) was constructed in the paper arXiv:0803.3652 by the second author. Here we enhance the graphical calculus introduced and developed in that paper to include two-morphisms between divided powers one-morphisms and their compositions. We obtain explicit diagrammatical formulas for the decomposition of products of divided powers one-morphisms as direct sums of indecomposable one-morphisms; the latter are in a bijection with the Lusztig canonical basis elements. These formulas have integral coefficients and imply that one of the main results of Lauda's paper---identification of the Grothendieck ring of his 2-category with the idempotented quantum sl(2)---also holds when the 2-category is defined over the ring of integers rather than over a field. △ Less

Submitted 14 June, 2010; originally announced June 2010.

Comments: 72 pages, LaTeX2e with xypic and pstricks macros

MSC Class: 81R50; 17B37; 16W50

Journal ref: Memoirs of the AMS, Volume 219, (2012)

Diagrammatics for Soergel categories

Authors: Ben Elias, Mikhail Khovanov

Abstract: The monoidal category of Soergel bimodules can be thought of as a categorification of the Hecke algebra of a finite Weyl group. We present this category, when the Weyl group is the symmetric group, in the language of planar diagrams with local generators and local defining relations. The monoidal category of Soergel bimodules can be thought of as a categorification of the Hecke algebra of a finite Weyl group. We present this category, when the Weyl group is the symmetric group, in the language of planar diagrams with local generators and local defining relations. △ Less

Submitted 5 March, 2016; v1 submitted 26 February, 2009; originally announced February 2009.

Comments: long awaited update to published version

MSC Class: 16G99; 20C08

Journal ref: Int. J. Math. Math. Sci. (2010) Article 978635

A diagrammatic approach to categorification of quantum groups III

Authors: Mikhail Khovanov, Aaron D. Lauda

Abstract: We categorify the idempotented form of quantum sl(n). We categorify the idempotented form of quantum sl(n). △ Less

Submitted 21 July, 2008; originally announced July 2008.

Comments: 88 pages, LaTeX2e with xypic and pstricks macros, 3 eps files

MSC Class: 81R50; 14M15; 17B37; 16W99

Journal ref: Quantum Topology, Vol 1, Issue 1, 2010, pp. 1-92.

A diagrammatic approach to categorification of quantum groups II

Authors: Mikhail Khovanov, Aaron D. Lauda

Abstract: We categorify one-half of the quantum group associated to an arbitrary Cartan datum. We categorify one-half of the quantum group associated to an arbitrary Cartan datum. △ Less

Submitted 13 April, 2008; originally announced April 2008.

Comments: 18 pages, 35 eps files

MSC Class: 81R50; 16S99

Journal ref: Trans. Amer. Math. Soc. 363 (2011), 2685-2700

Notes on link homology

Authors: Marta Asaeda, Mikhail Khovanov

Abstract: This article consists of six lectures on the categorification of the Burau representation and on link homology groups which categorify the Jones and the HOMFLY-PT polynomial. The notes are based on the lecture course at the PCMI 2006 summer school in Park City, Utah. This article consists of six lectures on the categorification of the Burau representation and on link homology groups which categorify the Jones and the HOMFLY-PT polynomial. The notes are based on the lecture course at the PCMI 2006 summer school in Park City, Utah. △ Less

Submitted 8 April, 2008; originally announced April 2008.

Comments: 67 pages

MSC Class: 57M27; 18G99