In this paper we introduce the categorical "true local terms" maps for Artin stacks and show that they are additive and commute with proper pushforwards, smooth pullbacks and specializations. In particular, we generalizing results of [Va2] to this setting.
As an application, we supply proofs of two theorems stated in [AGKRRV]. Namely, we show that the "true local terms" of the Frobenius endomorphism coincide with the "naive local terms" and that the "naive local terms" commute with !-pushforwards. The latter result is a categorical version of the classical Grothendieck--Lefschetz trace formula.
We survey some recent work on the geometric Satake of p-adic groups and its applications to some arithmetic problems of Shimura varieties. We reformulate a few constructions appeared in the previous works more conceptually.
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 spac…
In this paper, we prove a window theorem for categorical Donaldson-Thomas theories on local surfaces as an analogue of window theorem for GIT quotient stacks. We give two applications of our main result. The first one is a proof of wall-crossing equivalences of DT categories for one dimensional stable sheave on local surfaces, under some technical condition on strictly semistable sheaves. The second one is to show the existence of fully-faithful functors from categorical PT theories to categorical MNOP theories, when the curve class is reduced. These results indicate categorifications of wall-…
We develope $\mathbb{C}^{\ast}$-equivariant categorical Donaldson-Thomas theory for local surfaces, i.e. the total spaces of canonical line bundles on smooth projective surfaces. We introduce $\mathbb{C}^{\ast}$-equivariant DT categories for local surfaces as Verdier quotients of derived categories of coherent sheaves on derived moduli stacks of coherent sheaves on surfaces, by subcategories of objects whose singular supports are contained in unstable loci. Via Koszul duality, our construction may be regarded as certain gluing of $\mathbb{C}^{\ast}$-equivariant derived categories of factorizat…
We prove two kinds of $\mathbb{Z}/2$-periodic Koszul duality equivalences for triangulated categories of matrix factorizations associated with $(-1)$-shifted cotangents over quasi-smooth affine derived schemes. We use this result to define $\mathbb{Z}/2$-periodic version of Donaldson-Thomas categories for local surfaces, whose $\mathbb{C}^{\ast}$-equivariant version was introduced and developed in the author's previous paper. We compare $\mathbb{Z}/2$-periodic DT category with the $\mathbb{C}^{\ast}$-equivariant one, and deduce wall-crossing equivalences of $\mathbb{Z}/2$-periodic DT categorie…
We show that the categorified cohomological Hall algebra structures on surfaces constructed by Porta-Sala descend to those on Donaldson-Thomas categories on local surfaces introduced in the author's previous paper. A similar argument also shows that Pandharipande-Thomas categories on local surfaces admit actions of categorified COHA for zero dimensional sheaves on surfaces. We also construct annihilator actions of its simple operators, and show that their commutator in the K-theory satisfies the relation similar to the one of Weyl algebras. This result may be regarded as a categorification of …
