BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Mikhail Khovanov

Mikhail Khovanov contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.QAmath.RTmath.ATmath.GTmath.KTFormal Languages and Automata Theorymath-phmath.CTmath.MP

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
19works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

19 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access