Search

Quasi-BPS categories appear as summands in semiorthogonal decompositions of DT categories for Hilbert schemes of points in the three dimensional affine space and in the categorical Hall algebra of the two dimensional affine space. In this paper, we prove several properties of quasi-BPS categories analogous to BPS sheaves in cohomological DT theory. We first prove a categorical analogue of Davison's support lemma, namely that complexes in the quasi-BPS categories for coprime length and weight are supported over the small diagonal in the symmetric product of the three dimensional affine space. The categorical support lemma is used to determine the torsion-free generator of the torus equivariant K-theory of the quasi-BPS category of coprime length and weight. We next construct a bialgebra structure on the torsion free equivariant K-theory of quasi-BPS categories for a fixed ratio of length and weight. We define the K-theoretic BPS space as the space of primitive elements with respect to the coproduct. We show that all localized equivariant K-theoretic BPS spaces are one dimensional, which is a K-theoretic analogue of the computation of (numerical) BPS invariants of the three dimensional affine space., Comment: 45 pages

In this paper, we prove the categorical wall-crossing formula for certain quivers containing the three loop quiver, which we call DT/PT quivers. These quivers appear as Ext-quivers for the wall-crossing of DT/PT moduli spaces on Calabi-Yau 3-folds. The resulting formula is a semiorthogonal decomposition which involves quasi-BPS categories studied in our previous papers, and we regard it as a categorical analogue of the numerical DT/PT correspondence. As an application, we prove a categorical DT/PT correspondence for sheaves supported on reduced plane curves in the affine three dimensional space., Comment: 35 pages

We begin the study of categorifications of Donaldson-Thomas invariants associated with Hilbert schemes of points on the three-dimensional affine space, which we call DT categories. The DT category is defined to be the category of matrix factorizations on the non-commutative Hilbert scheme with a super-potential whose critical locus is the Hilbert scheme of points. The first main result in this paper is the construction of semiorthogonal decompositions of DT categories, which can be regarded as categorical wall-crossing formulae of the framed triple loop quiver. Each summand is given by the categorical Hall product of some subcategories of matrix factorizations, called quasi-BPS categories. They are categories of matrix factorizations on twisted versions of noncommutative resolutions of singularities considered by \v{S}penko-Van den Bergh, and were used by the first author to prove a PBW theorem for K-theoretic Hall algebras. We next construct explicit objects of quasi-BPS categories via Koszul duality equivalences, and show that they form a basis in the torus localized K-theory. These computations may be regarded as a numerical K-theoretic analogue in dimension three of the McKay correspondence for Hilbert schemes of points. In particular, the torus localized K-theory of DT categories has a basis whose cardinality is the number of plane partitions, giving a K-theoretic analogue of MacMahon's formula. We also study the topological K-theory of DT categories and prove similar results as above., Comment: 56 pages

K-theoretic Hall algebras (KHAs) of quivers with potential $(Q,W)$ are a generalization of preprojective KHAs of quivers, which are conjecturally positive parts of the Okounkov-Smironov quantum affine algebras. In particular, preprojective KHAs are expected to satisfy a Poincar\'e-Birkhoff-Witt theorem. We construct semi-orthogonal decompositions of categorical Hall algebras using techniques developed by Halpern-Leistner, Ballard-Favero-Katzarkov, and \v{S}penko-Van den Bergh. For a quotient of $\text{KHA}(Q,W)_{\mathbb{Q}}$, we refine these decompositions and prove a PBW-type theorem for it. The spaces of generators of $\text{KHA}(Q,0)_{\mathbb{Q}}$ are given by (a version of) intersection K-theory of coarse moduli spaces of representations of $Q$., Comment: This article is a revised version of Section 7 from arXiv:1911.05526. Submitted, 30 pages

Let $Y$ be a smooth projective threefold and let $f:Y\to X$ be a birational map with $Rf_*\mathcal{O}_Y=\mathcal{O}_X$. When $Y$ is Calabi-Yau, Bryan-Steinberg defined enumerative invariants associated to such maps called $f$-relative stable (or Bryan-Steinberg) invariants. When $X$ has Gorenstein singularities and $f$ has relative dimension one, they compared these invariants to the Donaldson-Thomas, or equivalently the Pandharipande-Thomas invariants of $Y$. We define Bryan-Steinberg invariants for maps $f$ as above without assuming that $Y$ is Calabi-Yau. For $X$ with Gorenstein and rational singularities, $f$ of relative dimension one, and for insertions from $X$ and arbitrary descendant levels, we conjecture a relation between the generating functions of Bryan-Steinberg and Pandharipande-Thomas invariants of $Y$. We check the conjecture for the contraction $f: Y\to X$ of a rational curve $C$ with normal bundle $N_{C/Y}\cong \mathcal{O}_C(-1)^{\oplus 2}$ using degeneration and localization techniques to reduce to a Calabi-Yau situation, which we then treat using Joyce's motivic Hall algebra., Comment: 38 pages

Given a quiver with potential $(Q,W)$, Kontsevich-Soibelman constructed a Hall algebra on the cohomology of the stack of representations of $(Q,W)$. As shown by Davison-Meinhardt, this algebra comes with a filtration whose associated graded algebra is supercommutative. A special case of this construction is related to work of Nakajima, Varagnolo, Maulik-Okounkov etc. about geometric constructions of Yangians and their representations; indeed, given a quiver $Q$, there exists an associated pair $(\widetilde{Q},\widetilde{W})$ for which the CoHA is conjecturally the positive half of the Yangian $Y_{\text{MO}}(\mathfrak{g}_Q)$. The goal of this article is to extend these ideas to K-theory. More precisely, we construct a K-theoretic Hall algebra using category of singularities, define a filtration whose associated graded algebra is a deformation of a symmetric algebra, and compare the $\text{KHA}$ and the $\text{CoHA}$ using the Chern character. As before, we expect our construction for the special class of quivers $(\widetilde{Q},\widetilde{W})$ to recover the positive part of quantum affine algebra $U_q(\hat{\mathfrak{g}_Q})$ defined by Okounkov-Smirnov, but for general pairs $(Q,W)$ we expect new phenomena., Comment: 118 pages

A natural place to study the Chow ring of the classifying space $BG$, for $G$ a linear algebraic group, is Voevodsky's triangulated category of motives, inside which Morel and Voevodsky, and Totaro have defined motives $M(BG)$ and $M^c(BG)$, respectively. We show that, for any group $G$ of order $p^3$ over a field of characteristic not $p$ which contains a primitive $p^2$-th root of unity, the motive $M(BG)$ is a mixed Tate motive. We also show that, for a finite group $G$ over a field of characteristic zero, $M(BG)$ is a mixed Tate motive if and only $M^c(BG)$ is a mixed Tate motive., Comment: 17 pages