BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Ben Davison appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We motivate and survey the theory of BPS invariants of categories and BPS cohomology of stacks, indicating applications in enumerative geometry and representation theory, as well as recent advances.
We introduce and study a fermionization procedure for the cohomological Hall algebra $\mathcal{H}_{Π_Q}$ of representations of a preprojective algebra, that selectively switches the cohomological parity of the BPS Lie algebra from even to odd. We do so by determining the cohomological Donaldson--Thomas invariants of central extensions of preprojective algebras studied in the work of Etingof and Rains, via deformed dimensional reduction. Via the same techniques, we determine the Borel-Moore homology of the stack of representations of the $μ$-deformed preprojective algebra introduced by Crawley-Boevey and Holland, for all dimension vectors. This provides a common generalisation of the results of Crawley-Boevey and Van den Bergh on the cohomology of smooth moduli schemes of representations of deformed preprojective algebras, and my earlier results on the Borel-Moore homology of the stack of representations of the undeformed preprojective algebra.
We study the Borel-Moore homology of stacks of representations of preprojective algebras $Π_Q$, via the study of the DT theory of the undeformed 3-Calabi-Yau completion $Π_Q[x]$. Via a result on the supports of the BPS sheaves for $Π_Q[x]$-mod, we prove purity of the BPS cohomology for the stack of $Π_Q[x]$-modules, and define BPS sheaves for stacks of $Π_Q$-modules. These are mixed Hodge modules on the coarse moduli space of $Π_Q$-modules that control the Borel-Moore homology and geometric representation theory associated to these stacks. We show that the hypercohomology of these objects is pure, and thus that the Borel-Moore homology of stacks of $Π_Q$-modules is also pure. We transport the cohomological wall-crossing and integrality theorems from DT theory to the category of $Π_Q$-modules. Among these and other applications, we use our results to prove positivity of a number of "restricted" Kac polynomials, determine the critical cohomology of $\mathrm{Hilb}_n(\mathbb{A}^3)$, and the Borel-Moore homology of genus one character stacks, as well as various applications to the cohomological Hall algebras associated to Borel-Moore homology of stacks of preprojective algebras, including the PBW theorem, and torsion-freeness.
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 stack of semistable representations of the Jacobi algebra to the coarse moduli space of polystable representations. This enables us to construct a degeneration of the cohomological Hall algebra, for generic stability condition and fixed slope, to a free supercommutative algebra generated by a mixed Hodge structure categorifying the BPS invariants. As a corollary of this construction we furthermore obtain a Lie algebra structure on this mixed Hodge structure - the Lie algebra of BPS invariants - for which the entire cohomological Hall algebra can be seen as the positive part of a Yangian-type quantum group.
Since its first use by Behrend, Bryan, and Szendrői in the computation of motivic Donaldson-Thomas (DT) invariants of $\mathbb{A}_{\mathbb{C}}^3$, dimensional reduction has proved to be an important tool in motivic and cohomological DT theory. Inspired by a conjecture of Cazzaniga, Morrison, Pym, and Szendrői on motivic DT invariants, work of Dobrovolska, Ginzburg, and Travkin on exponential sums, and work of Orlov and Hirano on equivalences of categories of singularities, we generalize the dimensional reduction theorem in motivic and cohomological DT theory and use it to prove versions of the Cazzaniga-Morrison-Pym-Szendrői conjecture in these settings.
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.
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 connect the study of character varieties with the study of cohomological Hall algebras.
The aim of the paper is twofold. Firstly, we give an axiomatic presentation of Donaldson-Thomas theory for categories of homological dimension at most one with potential. In particular, we provide rigorous proofs of all standard results concerning the integration map, wall-crossing, PT-DT correspondence, etc. following Kontsevich and Soibelman. We also show the equivalence of their approach and the one given by Joyce and Song. Secondly, we relate Donaldson-Thomas functions for such a category with arbitrary potential to those with zero potential under some mild conditions. As a result of this, we obtain a geometric interpretation of Donaldson-Thomas functions in all known realizations, i.e. mixed Hodge modules, perverse sheaves and constructible functions.
Consider a smooth quasiprojective variety X equipped with a C*-action, and a regular function f: X -> C which is C*-equivariant with respect to a positive weight action on the base. We prove the purity of the mixed Hodge structure and the hard Lefschetz theorem on the cohomology of the vanishing cycle complex of f on proper components of the critical locus of f, generalizing a result of Steenbrink for isolated quasi-homogeneous singularities. Building on work of Kontsevich-Soibelman, Nagao and Efimov, we use this result to prove the quantum positivity conjecture for cluster mutations for all quivers admitting a positively graded nondegenerate potential. We deduce quantum positivity for all quivers of rank at most 4; quivers with nondegenerate potential admitting a cut; and quivers with potential associated to triangulations of surfaces with marked points and nonempty boundary.
In this paper we study a special class of Calabi-Yau algebras (in the sense of Ginzburg): those arising as the fundamental group algebras of acyclic manifolds. Motivated partly by the usefulness of `superpotential descriptions' in motivic Donaldson-Thomas theory, we investigate the question of whether these algebras admit superpotential presentations. We establish that the fundamental group algebras of a wide class of acyclic manifolds, including all hyperbolic manifolds, do not admit such descriptions, disproving Ginzburg's conjecture regarding them. We also describe a class of manifolds that do admit such descriptions, and discuss a little their motivic Donaldson-Thomas theory. Finally, some links with topological field theory are described.
Given a brane tiling on a torus, we provide a new way to prove and generalise the recent results of Szendroi, Mozgovoy and Reineke regarding the Donaldson-Thomas theory of the moduli space of framed cyclic representations of the associated algebra. Using only a natural cancellation-type consistency condition, we show that the algebras are 3-Calabi-Yau, and calculate Donaldson-Thomas type invariants of the moduli spaces. Two new ingredients to our proofs are a grading of the algebra by the path category of the associated quiver modulo relations, and a way of assigning winding numbers to pairs of paths in the lift of the brane tiling to R^2. These ideas allow us to generalise the above results to all consistent brane tilings on K(pi,1) surfaces. We also prove a converse: no consistent brane tiling on a sphere gives rise to a 3-Calabi-Yau algebra.
We study orientation data, as introduced by Kontsevich and Soibelman in order to define well-behaved integration maps from the motivic Hall algebra of 3-dimensional Calabi-Yau categories to rings of motives. We start with an example that demonstrates the role of orientation data in this story, before working through the technical details. We give an account of orientation data in the case of categories of compactly supported sheaves on noncompact Calabi-Yau three-folds. We finally study how this structure behaves under pullbacks along quasi-equivalences of categories, prove Kontsevich and Soibelman's conjecture regarding this behaviour, and also some stronger theorems regarding flops and more general tilts.
In this paper we compute the motivic Donaldson--Thomas invariants for the quiver with one loop and any potential. As the presence of arbitrary potentials requires the full machinery of \hat(μ)-equivariant motives, we give a detailed account of them. In particular, we will prove two results for the motivic vanishing cycle which might be of importance not only in Donaldson--Thomas theory.