We define the cohomological Hall algebra ${AHA}_{Higgs(X)}$ of the ($2$-dimensional) Calabi-Yau category of Higgs sheaves on a smooth projective curve $X$, as well as its nilpotent and semistable variants, in the context of an arbitrary oriented Borel-Moore homology theory. In the case of usual Borel-Moore homology, ${AHA}_{Higgs(X)}$ is a module over the (universal) cohomology ring $\mathbb{H}$ of the stacks of coherent sheaves on $X$ . We show that it is a torsion-free $\mathbb{H}$-module, and we provide an explicit collection of generators (the collection of fundamental classes $[Coh_{r,d}]$ of the zero-sections of the map $Higgs_{r,d} \to Coh_{r,d}$, for $r \geq 0, d \in Z$).
We give bounds for the cohomology of constructible sheaves on the moduli stacks M_{g,n} over the complex field. This enables us recover Harer's bound for the virtual cohomological dimension of the associated mapping class groups as well the theorem of Diaz on complete subvarieties of M_g. We also obtain such bounds for any open subset of the Deligne-Mumford compactification of M_{g,n} that is a union of strata. Our proof yields a template for obtaining similar bounds for the cohomological dimension for quasicoherent sheaves on M_{g,n}.
Let $alb_X: X \rightarrow A$ be the Albanese map of a smooth projective variety and $f: X \rightarrow Y$ the fibration from the Stein factorization of $alb_X$. For a positive integer $m$, if $f$ and $m$ satisfy the assumptions AS(1,2), then the translates through the origin of all components of cohomological locus $V^0(ω_X^m, alb_X)$ generates $I^*Pic^0(S)$ where $I: X \rightarrow S$ denotes the Iitaka fibration. This result applies to studying pluricanonical maps. We also considered the problem about whether a fibration is isotrivial and isogenous to a product.
We derive a combinatorial formula for quantized Donaldson-Thomas invariants of the m-loop quiver. Our main tools are the combinatorics of noncommutative Hilbert schemes and a degenerate version of the Cohomological Hall algebra of this quiver.
The moduli stack of representations of a quiver, or coherent sheaves on a proper curve, carries two structures on its cohomology: a Hall algebra and braided vertex coalgebra. We show that they are compatible, by developing a formulation of abelian localisation which works in the derived/singular setting. An application of these techniques gives an explicit formula for the cohomological Hall algebra products.
This paper aims at a geometric realization of the Yangian of non-simply laced type in terms of quiver with potentials. For every quiver with symmetrizer, there is an extended quiver with superpotential, whose Jacobian algebra is the generalized preprojective algebra of Geiß, Leclerc, and Schröer arXiv:1410.1403. We study the cohomological Hall algebra of Kontsevich and Soibelman associated to this quiver with potential. In particular, we prove a dimensional reduction result, and provide a shuffle formula of this cohomological Hall algebra. In the case when the quiver with symmetrizer comes fro…
We give a short introduction to Cohomological Hall algebras of quivers and describe the semistable Cohomological Hall algebra of central slope of the Kronecker quiver in terms of generators and relations.
We propose a conjecture on the relative twist formula of $\ell$-adic sheaves, which can be viewed as a generalization of Kato-Saito's conjecture. We verify this conjecture under some transversal assumptions. We also define a relative cohomological characteristic class and prove that its formation is compatible with proper push-forward. A conjectural relation is also given between the relative twist formula and the relative cohomological characteristic class.
For an Abel-Prym curve contained in a Prym variety, we determine the cohomological support loci of its twisted ideal sheaves and the dimension of its theta-dual.
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 t…
Recently, the Riemann-Hilbert correspondence was generalized in the context of general holonomic D-modules by A. D'Agnolo and M. Kashiwara. Namely, they proved that their enhanced de Rham functor gives a fully faithfully embedding of the derived category of cohomologically holonomic complexes of D-modules into the derived category of complexes of real constructible enhanced ind-sheaves. In this paper, we study a condition when a complex of real constructible enhanced ind-sheaves $K$ is induced by a cohomologically holonomic complex of D-modules. We characterize such $K$ in terms of the restric…
This paper is devoted to the study of the gluing construction for perverse sheaves on $G/U$ introduced by Kazhdan and Laumon ($G$ is a semisimple gourp, $U$ is the unipotent radical of a Borel subgroup in $G$). Kazhdan and Laumon conjectured that all Ext-groups in the glued category are finite-dimensional and that global cohomological dimension is finite. We prove the first part of this conjecture. In the appendix we show that the simple object in the glued category corresponding to the constant sheaf has infinite cohomological dimension, thus disproving the second part of the above conjecture…
Given a Calabi-Yau manifold and considering the $B$-branes on it as objects in the derived category of coherent sheaves, we identify the vertex operators for strings between two branes with elements of the cohomology groups of Ext sheaves. We define the correlation functions for these general vertex operators. Strings stretching between two coherent sheaves are studied as homological extensions of the corresponding branes. In this context, we relate strings between different pairs of branes when there are maps between these branes. We also interpret some strings with ghost number $k$ as obstru…
For any acyclic quiver, we establish a family of structure isomorphisms for its cohomological Hall algebra (CoHA). The family is parameterized by partitions of the quiver into Dynkin subquivers. For each such partition, we write the domain of our isomorphism as a tensor product of subalgebras in two ways. In the first, each tensor factor is isomorphic to the CoHA of the quiver with a single vertex and no arrows. In the second, the tensor factors are each isomorphic to the CoHAs of the corresponding Dynkin subquivers. When the quiver is already an orientation of a simply-laced Dynkin diagram, o…
We introduce a notion of regularity for coherent sheaves on Grassmannians of lines. We use this notion to prove some extension of Evans-Griffith criterion to characterize direct sums of line bundles. We also give a cohomological characterization of exterior and symmetric powers of the universal bundles of the Grassmannian.
The equivariant Chern-Schwartz-MacPherson (CSM) class and the equivariant Motivic Chern (MC) class are important characteristic classes of singular varieties in cohomology and K theory---and their theory overlaps with the theory of Okounkov's stable envelopes. We study CSM and MC classes for the orbits of Dynkin quiver representations. We show that the problem of computing the CSM and MC classes of all these orbits can be reduced to some basic classes $c^o_β$, $C^o_β$ parameterized by positive roots $β$. We prove an identity in a deformed version of Kontsevich-Soibelman's Cohomological (and K-…
In this paper we investigate the relationship between twisted and untwisted character varieties via a specific instance of the Cohomological Hall algebra for moduli of objects in 3-Calabi-Yau categories introduced by Kontsevich and Soibelman. In terms of Donaldson--Thomas theory, this relationship is completely understood via the calculations of Hausel and Villegas of the E polynomials of twisted character varieties and untwisted character stacks. We present a conjectural lift of this relationship to the cohomological Hall algebra setting.
A multiplication on the 2D cohomological Hall algebra (CoHA) of the variety of commuting matrices was described by Schiffman and Vasserot. This construction can be generalised to other varieties that exist as the zero-locus of a function on a smooth ambient variety. On the 2D CoHA of the character variety of the fundamental group of a genus $g$ Riemann surface, we compare the multiplication induced by the standard presentation and that of a brane tiling presentation.
We introduce a new class of representations of the cohomological Hall algebras of Kontsevich and Soibelman, which we call cohomological Hall modules, or CoHM for short. These representations are constructed from self-dual representations of a quiver with contravariant involution $σ$ and provide a mathematical model for the space of BPS states in orientifold string theory. We use the CoHM to define a generalization of the cohomological Donaldson-Thomas theory of quivers which allows the quiver representations to have orthogonal and symplectic structure groups. The associated invariants are call…
The paper is devoted to several questions related to the notion of Cohomological Hall algebra (COHA for short) introduced few years ago by Maxim Kontsevich and the author. In particular we discuss a class of representations of COHA in the cohomology groups of the moduli spaces of stable framed objects. We speculate about possible sources of interesting representations as well as about some applications to geometry and physics.
Cohomological Hall algebras of one-dimensional sheaves on surfaces and Yangians
Rutgers, The State University Of New Jersey（新泽西州立罗格斯大学）；The University of Tokyo（东京大学）；Simion Stoilow Institute of Mathematics（西蒙·斯托伊洛数学研究所）；Université de Paris（巴黎大学）
This paper concerns the cohomological aspects of Donaldson-Thomas theory for Jacobi algebras and the associated cohomological Hall algebra, introduced by Kontsevich and Soibelman. We prove the Hodge-theoretic categorification of the integrality conjecture and the wall crossing formula, and furthermore realise the isomorphism in both of these theorems as Poincaré-Birkhoff-Witt isomorphisms for the associated cohomological Hall algebra. We do this by defining a perverse filtration on the cohomological Hall algebra, a result of the "hidden properness" of the semisimplification map from the moduli…
Pursuing the similarity between the Kontsevich--Soibelman construction of the cohomological Hall algebra of BPS states and Lusztig's construction of canonical bases for quantum enveloping algebras, and the similarity between the inetgrality conjecture for motivic Donaldson--Thomas invariants and the PBW theorem for quantum enveloping algebras, we build a coproduct on the cohomological Hall algebra associated to a quiver with potential. We also prove a cohomological dimensional reduction theorem, further linking a special class of cohomological Hall algebras with Yangians, and explaining how to…
We define an action of the (double of) Cohomological Hall algebra of Kontsevich and Soibelman on the cohomology of the moduli space of spiked instantons of Nekrasov. We identify this action with the one of the affine Yangian of $\mathfrak{gl}(1)$. Based on that we derive the vertex algebra at the corner $\mathcal{W}_{r_1,r_2,r_3}$ of Gaiotto and Rapcak. We conjecture that our approach works for a big class of Calabi-Yau categories, including those associated with toric Calabi-Yau $3$-folds.
This paper is a sequel to math.AG/0505148, where the Hall algebra U^+_E of the category of coherent sheaves on an elliptic curve E defined over a finite field was explicitly described, and shown to be a two-parameter deformation of the ring of diagonal invariants R^+=C[x_1^{\pm 1}, ..., y_1,...]^{S_{\infty}} (in infinitely many variables). In the present work, we study a geometric version of this Hall algebra, by considering a convolution algebra of perverse sheaves on the moduli spaces of coherent sheaves on E. This allows us to define a "canonical basis" B of U^+_E in terms of intersection c…
We discuss semicanonical bases from the point of view of Cohomological Hall algebras via the "dimensional reduction" from 3-dimensional Calabi-Yau categories to 2-dimensional ones. Also, we discuss the notion of motivic Donaldson-Thomas invariants (as defined by M. Kontsevich and Y. Soibelman) in the framework of 2-dimensional Calabi-Yau categories. In particular we propose a conjecture which allows one to define Kac polynomials for a 2-dimensional Calabi-Yau category (this is a theorem of S. Mozgovoy in the case of preprojective algebras).
This review gives an introduction to cohomological Donaldson-Thomas theory: the study of a cohomology theory on moduli spaces of sheaves on Calabi-Yau threefolds, and of complexes in 3-Calabi-Yau categories, categorifying their numerical DT invariant. Local and global aspects of the theory are both covered, including representations of quivers with potential. We will discuss the construction of the DT sheaf, a nontrivial topological coefficient system on such a moduli space, along with some cohomology computations. The Cohomological Hall Algebra, an algebra structure on cohomological DT spaces…
Consider the Cohomological Hall Algebra as defined by Kontsevich and Soibelman, associated with a Dynkin quiver. We reinterpret the geometry behind the multiplication map in the COHA, and give an iterated residue formula for it. We show natural subalgebras whose product is the whole COHA (except in the $E_8$ case). The dimension count version of this statement is an identity for quantum dilogarithm series, first proved by Reineke. We also show that natural structure constants of the COHA are universal polynomials representing degeneracy loci, a.k.a. quiver polynomials.
In the present paper, we introduce two-dimensional categorified Hall algebras of smooth curves and smooth surfaces. A categorified Hall algebra is an associative monoidal structure on the stable $\infty$-category $\mathsf{Coh}^{\mathsf{b}}(\mathbb{R}\mathsf{M})$ of complexes of sheaves with bounded coherent cohomology on a derived moduli stack $\mathbb{R}\mathsf{M}$. In the surface case, $\mathbb{R}\mathsf{M}$ is a suitable derived enhancement of the moduli stack $\mathsf{M}$ of coherent sheaves on the surface. This construction categorifies the K-theoretical and cohomological Hall algebras of…
We define a new type of Hall algebras associated e.g. with quivers with polynomial potentials. The main difference with the conventional definition is that we use cohomology of the stack of representations instead of constructible sheaves or functions. In order to take into account the potential we introduce a generalization of theory of mixed Hodge structures, related to exponential integrals. Generating series of our Cohomological Hall algebra is a generalization of the motivic Donaldson-Thomas invariants introduced in arXiv:0811.2435. Also we prove a new integrality property of motivic Dona…
We define and study the category $Coh_n(\Pone)$ of normal coherent sheaves on the monoid scheme $\Pone$ (equivalently, the $\mathfrak{M}_0$-scheme $\Pone / \fun$ in the sense of Connes-Consani-Marcolli \cite{CCM}). This category resembles in most ways a finitary abelian category, but is not additive. As an application, we define and study the Hall algebra of $Coh_n(\Pone)$. We show that it is isomorphic as a Hopf algebra to the enveloping algebra of the product of a non-standard Borel in the loop algebra $L {\mathfrak{gl}}_2$ and an abelian Lie algebra on infinitely many generators. This shoul…
Commutativity of nilpotent cohomological Hall algebras of $\mathbf{A}^2$
Université de Picardie Jules Verne（皮卡第朱尔·凡尔纳大学）；Laboratoire Amiénois de Mathématique Fondamentale et Appliquée, CNRS UMR 7352（阿米安基础与应用数学实验室，法国国家科学研究中心联合研究单位7352）
We study the Hodge filtration on the local cohomology sheaves of a smooth complex algebraic variety along a closed subscheme Z in terms of log resolutions, and derive applications regarding the local cohomological dimension, the Du Bois complex, local vanishing, and reflexive differentials associated to Z.
Given a Galois étale map of varieties $π:Y\to X$ and an $\ell$-adic sheaf or derived category object $P\in D^b_c(Y,{\mathbb Q}_\ell)$, we study two cohomological operations: the tensor direct image and (in the case of perverse sheaves) the convolution direct image, which give objects of $D^b_c(X,{\mathbb Q}_\ell)$, and can be used to improve the estimates on some partial exponential sums and the number of rational points on certain varieties.
Hecke operators on symplectic surfaces and $χ$-independence
University of Edinburgh（爱丁堡大学）；Université de Picardie Jules Verne（约尔·凡尔纳皮卡第大学）；Kyoto University（京都大学）；Université Paris-Saclay（巴黎萨克雷大学）；Simion Stoilow Institute of Mathematics（西米翁·斯托伊洛瓦数学研究所）；Université Paris-Cité（巴黎城市大学）
Gerstenhaber and Schack ([GS]) developed a deformation theory of presheaves of algebras on small categories. We translate their cohomological description to sheaf cohomology. More precisely, we describe the deformation space of (admissible) quasicoherent sheaves of algebras on a quasiprojective scheme $X$ in terms of sheaf cohomology on $X$ and $X\times X$. These results are applied to the study of deformations of the sheaf $D_X$ of differential operators on $X$. In particular, in case $X$ is a flag variety we show that any deformation of $D_X$, which is induced by a deformation of $\cO_X$, mu…
In this note we compute the cohomological obstruction to the existence of certain sheaves of vertex algebras on smooth varieties. These sheaves have been introduced and studied in the previous work by A.Vaintrob and two of the authors. Hopefully our result clarifies to some extent the constructions of the above work.
We describe the derived category of coherent sheaves on the minimal resolution of the Kleinian singularity associated to a finite subgroup G of SL(2). Then, we give an application to the Euler-characteristic version of the Hall algebra of the category of coherent sheaves on an algebraic surface.
