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 Kapranov

Mikhail Kapranov contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.ATmath.CTmath.QAhep-thmath.DGmath.GTmath.KT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
8topics
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

14 published item(s)

preprint2022arXiv

Fourier transform on hyperplane arrangements

We consider the category of perverse sheaves on a complex vector space smooth with respect to a stratification given by an arrangement of hyperplanes with real equations. As shown in an earlier wotk of two of the authors, this category can be described in terms of certain diagrams of vector spaces labelled by all the faces of the real arrangement (we call such diagrams hyperbolic sheaves). In this paper we calculate, in these terms, several fundamental operations of sheaf theory such as forming the space of vanishing cycles, specialization and the Fourier-Sato transform.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Gelfand-Fuchs cohomology in algebraic geometry and factorization algebras

Let X be a smooth affine variety over a field k of characteristic 0 and T(X) be the Lie algebra of regular vector fields on X. We compute the Lie algebra cohomology of T(X) with coefficients in k. The answer is given in topological terms relative to any embedding of k into complex numbers and is analogous to the classical Gelfand-Fuks computation for smooth vector fields on a C-infinity manifold. Unlike the C-infinity case, our setup is purely algebraic: no topology on T(X) is present. The proof is based on the techniques of factorization algebras, both in algebro-geometric and topological contexts.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The cohomological Hall algebra of a surface and factorization cohomology

For a smooth quasi-projective surface S over complex numbers we consider the Borel-Moore homology of the stack of coherent sheaves on S with compact support and make this space into an associative algebra by a version of the Hall multiplication. This multiplication involves data (virtual pullbacks) governing the derived moduli stack, i.e., the perfect obstruction theory naturally existing on the non-derived stack. By restricting to sheaves with support of given dimension, we obtain several types of Hecke operators. In particular, we study R(S), the Hecke algebra of 0-dimensional sheaves. For the flat case S=A^2, we show that R(S) is an enveloping algebra and identify it, as a vector space, with the symmetric algebra of an explicit graded vector space. For a general S we find the graded dimension of R(S), using the techniques of factorization cohomology.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Conformal maps in higher dimensions and derived geometry

By Liouville's theorem, in dimensions 3 or more conformal transformations form a finite-dimensional group, an apparent drastic departure from the 2-dimensional case. We propose a derived enhancement of the conformal Lie algebra which is an infinite-dimensional dg-Lie algebra incorporating not only symmetries but also deformations of the conformal structure. Our approach is based on (derived) deformation theory of the ambitwistor space of complex null-geodesics.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Perverse sheaves on Riemann surfaces as Milnor sheaves

Constructible sheaves of abelian groups on a stratified space can be equivalently described in terms of representations of the exit-path category. In this work, we provide a similar presentation of the abelian category of perverse sheaves on a stratified surface in terms of representations of the so-called paracyclic category of the surface. The category models a hybrid exit-entrance behaviour with respect to chosen sectors of direction, placing it "in between" exit and entrance path categories. In particular, this perspective yields an intrinsic definition of perverse sheaves as an abelian category without reference to derived categories and t-structures.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

PROBs and perverse sheaves I. Symmetric products

Algebraic structures involving both multiplications and comultiplications (such as, e.g., bialgebras or Hopf algebras) can be encoded using PROPs (categories with PROducts and Permutations) of Adams and MacLane. To encode such structures on objects of a braided monoidal category, we need PROBs (braided analogs of PROPs). Colored PROBs correspond to multi-sorted structures. In particular, we have a colored PROB B governing non-negatively graded bialgebras in braided categories. As a category, B splits into blocks B_n according to the grading. We relate B_n with the category P_n of perverse sheaves on the n-th symmetric product of the complex line, smooth with respect to the natural stratification by multiplicities. More precisely, we show that P_n is equivalent to the category of functors from B_n to vector spaces. This gives a natural quiver description of P_n.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Contingency Tables with Variable Margins (with an Appendix by Pavel Etingof)

Motivated by applications to perverse sheaves, we study combinatorics of two cell decompositions of the symmetric product of the complex line, refining the complex stratification by multiplicities. Contingency matrices, appearing in classical statistics, parametrize the cells of one such decomposition, which has the property of being quasi-regular. The other, more economical, decomposition, goes back to the work of Fox-Neuwirth and Fuchs on the cohomology of braid groups. We give a criterion for a sheaf constructible with respect to the ''contingency decomposition'' to be constructible with respect to the complex stratification. We also study a polyhedral ball which we call the stochastihedron and whose boundary is dual to the two-sided Coxeter complex (for the root system $A_n$) introduced by T.K. Petersen. The Appendix by P. Etingof studies enumerative aspects of contingency matrices. In particular, it is proved that the ''meta-matrix'' formed by the numbers of contingency matrices of various sizes, is totally positive.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Shuffle algebras and perverse sheaves

We relate shuffle algebras, as defined by Nichols, Feigin-Odesskii and Rosso, to perverse sheaves on symmetric products of the complex line (i.e., on the spaces of monic polynomials stratified by multiplicities of roots). More precisely, we construct an equivalence between: (i) Braided Hopf algebras of a certain type. (ii) Factorizable collections of perverse sheaves on all the symmetric products. Under this eqiuvalence, the Nichols algebra associated to an object V corresponds to the collection of the intersection cohomology extensions of the local systems on the open configuration spaces associated to the tensor powers of V. Our approach is based on using real skeleta of complex configuration spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The Hall algebra of a curve

Let X be a smooth projective curve over a finite field. We describe H, the full Hall algebra of vector bundles X as a Feigin-Odesskii shuffle algebra. This shuffle algebra corresponds to the scheme S of all cusp eigenforms and to the rational function of two variables on S coming from the Rankin-Selberg L-functions. This means that the zeroes of these L-functions control all the relations in H. The scheme S is a disjoint union of countably many G_m-orbits. In the case when X has a theta-characteristic defined over the base field, we embed H into the space of regular functions on the symmetric powers of S.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The spherical Hall algebra of Spec(Z)

We study an arithmetic analog of the Hall algebra of a curve, when the curve is replaced by the spectrum of the integers compactified at infinity. The role of vector bundles is played by lattices with quadratic forms. This algebra H consists of automorphic forms with respect to GL_n(Z), n>0, with multiplication given by the parabolic pseudo-Eisenstein series map. We concentrate on the subalgebra SH in H generated by functions on the Arakelov Picard group of Spec(Z). We identify H with a Feigin-Odesskii type shuffle algebra, with the function defining the shuffle algebra expressed through the Riemann zeta function. As an application we study relations in H. Quadratic relations express the functional equation for the Eisenstein-Maass series. We show that the space of additional cubic relations (lying an an appropriate completion of H and considered modulo rescaling), is identified with the space spanned by nontrivial zeroes of the zeta function.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Supersymmetry and the formal loop space

For any algebraic super-manifold M we define the super-ind-scheme LM of formal loops and study the transgression map (Radon transform) on differential forms in this context. Applying this to the super-manifold M=SX, the spectrum of the de Rham complex of a manifold X, we obtain, in particular, that the transgression map for X is a quasi-isomorphism between the [2,3)-truncated de Rham complex of X and the additive part of the [1,2)-truncated de Rham complex of LX. The proof uses the super-manifold SSX and the action of the Lie superalgebra sl(1|2) on this manifold. This quasi-isomorphism result provides a crucial step in the classification of sheaves of chiral differential operators in terms of geometry of the formal loop space.

0 citations0 reviewsNo code linkedOpen access