Source author record

Mikhail Khovanov

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.QA math.RT math.GT math.KT math.AT Formal Languages and Automata Theory math-ph math.CO math.CT math.MP

Catalog footprint

Research overview

30works

10topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Topological theories and automata

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.

preprint2021arXiv

p-DG cyclotomic nilHecke algebras

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

preprint2020arXiv

A deformation of Robert-Wagner foam evaluation and link homology

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.

preprint2020arXiv

A faithful braid group 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.

preprint2020arXiv

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

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.

preprint2020arXiv

Diagrammatic categorification of the Chebyshev polynomials of the second kind

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.

preprint2020arXiv

Evaluating thin flat surfaces

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.

preprint2020arXiv

How to categorify 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.

preprint2020arXiv

Link homology and Frobenius extensions II

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.

preprint2020arXiv

Towards functor exponentiation

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.

preprint2020arXiv

Universal construction of topological theories in two dimensions

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.

preprint2016arXiv

Diagrammatics for Soergel categories

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.

preprint2016arXiv

Linearization and categorification

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.

preprint2016arXiv

The Soergel category and the redotted Webster algebra

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.

preprint2014arXiv

A categorification of the positive half of quantum 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).

preprint2013arXiv

An approach to categorification of some small quantum groups

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.

preprint2013arXiv

Positive half of the Witt algebra acts on triply graded 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.

preprint2013arXiv

The Hopf algebra of odd symmetric functions

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.

preprint2011arXiv

A categorification of the Casimir of quantum sl(2)

We categorify the Casimir element of the idempotented form of quantum sl(2).

preprint2011arXiv

The odd nilHecke algebra and its diagrammatics

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).

preprint2010arXiv

Categorification of the polynomial 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.

preprint2010arXiv

Categorifications from planar diagrammatics

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.

preprint2010arXiv

Extended graphical calculus for categorified quantum sl(2)

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.

preprint2010arXiv

Heisenberg algebra and a graphical calculus

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.

preprint2010arXiv

How to categorify one-half of quantum 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).

preprint2008arXiv

A diagrammatic approach to categorification of quantum groups II

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

preprint2008arXiv

A diagrammatic approach to categorification of quantum groups III

We categorify the idempotented form of quantum sl(n).

preprint2006arXiv

Matrix factorizations and link homology II

To a presentation of an oriented link as the closure of a braid we assign a complex of bigraded vector spaces. The Euler characteristic of this complex (and of its triply-graded cohomology groups) is the HOMFLYPT polynomial of the link. We show that the dimension of each cohomology group is a link invariant.

preprint2004arXiv

sl(3) link homology

We define a bigraded homology theory whose Euler characteristic is the quantum sl(3) link invariant.

preprint2002arXiv

A functor-valued invariant of tangles

We construct a family of rings. To a plane diagram of a tangle we associate a complex of bimodules over these rings. Chain homotopy equivalence class of this complex is an invariant of the tangle. On the level of Grothendieck groups this invariant descends to the Kauffman bracket of the tangle. When the tangle is a link, the invariant specializes to the bigraded cohomology theory introduced in our earlier work.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Mikhail Khovanov

Research overview

Is this your work?

30 publications

Topological theories and automata

p-DG cyclotomic nilHecke algebras

A deformation of Robert-Wagner foam evaluation and link homology

A faithful braid group action on the stable category of tricomplexes

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

Diagrammatic categorification of the Chebyshev polynomials of the second kind

Evaluating thin flat surfaces

How to categorify the ring of integers localized at two

Link homology and Frobenius extensions II

Towards functor exponentiation

Universal construction of topological theories in two dimensions

Diagrammatics for Soergel categories

Linearization and categorification

The Soergel category and the redotted Webster algebra

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

An approach to categorification of some small quantum groups

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

The Hopf algebra of odd symmetric functions

A categorification of the Casimir of quantum sl(2)

The odd nilHecke algebra and its diagrammatics

Categorification of the polynomial ring

Categorifications from planar diagrammatics

Extended graphical calculus for categorified quantum sl(2)

Heisenberg algebra and a graphical calculus

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

A diagrammatic approach to categorification of quantum groups II

A diagrammatic approach to categorification of quantum groups III

Matrix factorizations and link homology II

sl(3) link homology

A functor-valued invariant of tangles

See the researcher in context

Building this map preview