Searcharxiv⌕ Search

arXiv subjects

Tudor Pădurariu

Publications and source records attributed to Tudor Pădurariu.

At least 19 recordsLinked to original sources

The Dolbeault geometric Langlands conjecture via limit categories

We introduce limit categories for cotangent stacks of smooth stacks as an effective version of classical limits of categories of D-modules on them. We develop their general theory and pursue their relation with categories of D-modules. In particular, we establish the functorial properties of limit categories such as the smooth pull-back and projective push-forward. Using the notion of limit categories, we propose a precise formulation of the Dolbeault geometric Langlands conjecture, proposed by Donagi-Pantev as the classical limit of the de Rham geometric Langlands equivalence. It states an equivalence between the derived categories of moduli stacks of semistable Higgs bundles and limit categories of moduli stacks of all Higgs bundles. We prove the existence of a semiorthogonal decomposition of the limit category into quasi-BPS categories, which are categorical versions of BPS invariants on a non-compact Calabi-Yau 3-fold. This semiorthogonal decomposition is interpreted as a Langlands dual to the semiorthogonal decomposition constructed in our previous work on the category of coherent sheaves on the moduli stack of semistable Higgs bundles. We also construct Hecke operators on limit categories for Higgs bundles. They are expected to be compatible with Wilson operators under our formulation of Dolbeault geometric Langlands conjecture. The conjectured equivalence implies an equivalence between BPS categories for semistable Higgs bundles, which we expect to be a categorical version of the topological mirror symmetry conjecture for Higgs bundles by Hausel-Thaddeus.

math.AG↗

Semiorthogonal decompositions for stacks

We give a systematic construction of semiorthogonal decompositions of derived categories of coherent sheaves on quasi-smooth derived algebraic stacks over $\mathbb{C}$, where the summands are subcategories defined by weight conditions, and the inclusion functors are given by parabolic induction. The summands are indexed by the component lattice of the stack, a central combinatorial structure in intrinsic Donaldson-Thomas theory. As examples, we obtain semiorthogonal decompositions for moduli stacks of semistable $G$-bundles or $G$-Higgs bundles on a curve, and moduli stacks of de Rham or Betti $G$-local systems on a curve, for reductive groups $G$ not necessarily of type A.

math.AG↗

Topological K-theory of quasi-BPS categories of symmetric quivers with potential

In previous works, we introduced and studied certain categories called quasi-BPS categories associated to symmetric quivers with potential, preprojective algebras, and local surfaces. They have properties reminiscent of BPS invariants/ cohomologies in enumerative geometry, for example they play important roles in categorical wall-crossing formulas. In this paper, we make the connections between quasi-BPS categories and BPS cohomologies more precise via the cycle map for topological K-theory. We show the existence of filtrations on topological K-theory of quasi-BPS categories whose associated graded are isomorphic to the monodromy invariant BPS cohomologies. Along the way, we also compute the topological K-theory of categories of matrix factorizations in terms of the monodromy invariant vanishing cycles (a version of this comparison was already known by work of Blanc-Robalo-Toën-Vezzosi), prove a Grothendieck-Riemann-Roch theorem for matrix factorizations, and prove the compatibility between the Koszul equivalence in K-theory and dimensional reduction in cohomology. In a separate paper, we use the results from this paper to show that the quasi-BPS categories of K3 surfaces recover the BPS invariants of the corresponding local surface, which are Euler characteristics of Hilbert schemes of points on K3 surfaces.

math.AG↗

Quasi-BPS categories for symmetric quivers with potential

We study certain categories associated to symmetric quivers with potential, called quasi-BPS categories. We construct semiorthogonal decompositions of the categories of matrix factorizations for moduli stacks of representations of (framed or unframed) symmetric quivers with potential, where the summands are categorical Hall products of quasi-BPS categories. These results generalize our previous results about the three loop quiver. We prove several properties of quasi-BPS categories: wall-crossing equivalence, strong generation, and categorical support lemma in the case of tripled quivers with potential. We also introduce reduced quasi-BPS categories for preprojective algebras, which have trivial relative Serre functor and are indecomposable when the weight is coprime with the total dimension. In this case, we regard the reduced quasi-BPS categories as noncommutative local hyperkähler varieties, and as (twisted) categorical versions of crepant resolutions of singularities of good moduli spaces of representations of preprojective algebras. The studied categories include the local models of quasi-BPS categories of K3 surfaces. In a follow-up paper, we establish analogous properties for quasi-BPS categories of K3 surfaces.

math.AG↗

Cohomology of symmetric stacks

We construct decompositions of: (1) the cohomology of smooth stacks, (2) the Borel--Moore homology of $0$-shifted symplectic stacks, and (3) the vanishing cycle cohomology of $(-1)$-shifted symplectic stacks, assuming a good moduli space exists and the tangent space has a pointwise orthogonal structure. These conditions are satisfied by many stacks of interest, including moduli stacks of semistable $G$-bundles and (twisted) $G$-Higgs bundles on curves, $G$-character stacks of oriented closed 2-manifolds and various 3-manifolds, and moduli stacks of semistable coherent sheaves on Calabi--Yau threefolds and K3 surfaces with generic polarization. As a special case, we prove a PBW-type theorem for cohomological Hall algebras of $3$-Calabi--Yau categories with commutative orientation data, a strong form of the cohomological integrality conjecture for such categories. We define the BPS cohomology as the primary summand of the decomposition. When the stack is smooth, the BPS cohomology coincides with the intersection cohomology of the good moduli space, generalizing a theorem of Meinhardt--Reineke. Using the BPS cohomology for singular spaces, we propose a formulation of the topological mirror symmetry conjecture for the stack of $G$-Higgs bundles generalizing the work of Hausel and Thaddeus for type A groups, and a version of Langlands duality for character stacks of compact oriented 3-manifolds, following Ben-Zvi--Gunningham--Jordan--Safronov.

math.AG↗

Topological K-theory of quasi-BPS categories for Higgs bundles

In a previous paper, we introduced quasi-BPS categories for moduli stacks of semistable Higgs bundles. Under a certain condition on the rank, Euler characteristic, and weight, the quasi-BPS categories (called BPS in this case) are non-commutative analogues of Hitchin integrable systems. We proposed a conjectural equivalence between BPS categories which swaps Euler characteristics and weights. The conjecture is inspired by the Dolbeault Geometric Langlands equivalence of Donagi--Pantev, by the Hausel--Thaddeus mirror symmetry, and by the $χ$-independence phenomenon for BPS invariants of curves on Calabi-Yau threefolds. In this paper, we show that the above conjecture holds at the level of topological K-theories. When the rank and the Euler characteristic are coprime, such an isomorphism was proved by Groechenig--Shen. Along the way, we show that the topological K-theory of BPS categories is isomorphic to the BPS cohomology of the moduli of semistable Higgs bundles.

math.AG↗

Quasi-BPS categories for Higgs bundles

We introduce quasi-BPS categories for twisted Higgs bundles, which are building blocks of the derived category of coherent sheaves on the moduli stack of semistable twisted Higgs bundles over a smooth projective curve. Under some condition (called BPS condition), the quasi-BPS categories are non-commutative analogues of Hitchin integrable systems. We begin the study of these quasi-BPS categories by focusing on a conjectural symmetry which swaps the Euler characteristic and the weight. Our conjecture is inspired by the Dolbeault Geometric Langlands equivalence of Donagi--Pantev, by the Hausel--Thaddeus mirror symmetry, and by the $χ$-independence phenomenon for BPS invariants of curves on Calabi-Yau threefolds. We prove our conjecture in the case of rank two and genus zero. In higher genus, we prove a derived equivalence of rank two stable twisted Higgs moduli spaces as a special case of our conjecture. In a separate paper, we prove a version of our conjecture for the topological K-theory of quasi-BPS categories and we discuss the relation between quasi-BPS categories and BPS invariants of the corresponding local Calabi-Yau threefold.

math.AG↗

Generators for K-theoretic Hall algebras of quivers with potential

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é-Birkhoff-Witt theorem. We construct semi-orthogonal decompositions of categorical Hall algebras using techniques developed by Halpern-Leistner, Ballard-Favero-Katzarkov, and Š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$.

math.AG↗

Quasi-BPS categories for K3 surfaces

We introduce and begin the study of quasi-BPS categories for K3 surfaces, which are a categorical version of the BPS cohomologies for K3 surfaces. We construct semiorthogonal decompositions of derived categories of coherent sheaves on moduli stacks of semistable objects on K3 surfaces, where each summand is a categorical Hall product of quasi-BPS categories. We also prove the wall-crossing equivalence of quasi-BPS categories, which generalizes Halpern-Leistner's wall-crossing equivalence of moduli spaces of stable objects for primitive Mukai vectors on K3 surfaces. We also introduce and study a reduced quasi-BPS category. When the weight is coprime to the Mukai vector, the reduced quasi-BPS category is proper, smooth, and its Serre functor is trivial étale locally on the good moduli space. Moreover we prove that its topological K-theory recovers the BPS invariants of K3 surfaces, which are known to be equal to the Euler characteristics of Hilbert schemes of points on K3 surfaces. We regard reduced quasi-BPS categories as noncommutative hyperkähler varieties which are categorical versions of crepant resolutions of singular symplectic moduli spaces of semistable objects on K3 surfaces.

math.AG↗

Categorical and K-theoretic Donaldson-Thomas theory of $\mathbb{C}^3$ (part II)

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.

math.AG↗

Categorical and K-theoretic Donaldson-Thomas theory of $\mathbb{C}^3$ (part I)

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 Š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.

math.AG↗

Groups of order $p^3$ are mixed Tate

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.

math.AG↗

K-theoretic Hall algebras of quivers with potential as Hopf algebras

For $(Q,W)$ a symmetric quiver with potential satisfying a Künneth-type condition, we construct (positive and negative) extensions of its K-theoretic Hall algebra which are bialgebras. In particular, there are bialgebra extensions of preprojective KHAs of a quiver $Q$ and one can construct their Drinfeld double algebra.

math.RT↗

Generators for categorical Hall algebras of surfaces

For a smooth surface $S$, Porta-Sala defined a categorical Hall algebra generalizing previous work in K-theory of Zhao and Kapranov-Vasserot. We construct semi-orthogonal decompositions for categorical Hall algebras of points on $S$. We refine these decompositions in K-theory for a topological K-theoretic Hall algebra.

math.AG↗

Relative stable pairs and a non-Calabi-Yau wall crossing

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.

math.AG↗

The local categorical DT/PT correspondence

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.

math.AG↗

The categorical DT/PT correspondence and quasi-BPS categories for local surfaces

We construct semiorthogonal decompositions of Donaldson-Thomas (DT) categories for reduced curve classes on local surfaces into products of quasi-BPS categories and Pandharipande-Thomas (PT) categories, giving a categorical analogue of the numerical DT/PT correspondence for Calabi-Yau 3-folds. The main ingredient is a categorical wall-crossing formula for DT/PT quivers (which appear as Ext-quivers in the DT/PT wall-crossing) proved in our previous paper. We also study quasi-BPS categories of points on local surfaces and propose conjectural computations of their K-theory analogous to formulas already known for the three dimensional affine space.

math.AG↗

Noncommutative resolutions and intersection cohomology for quotient singularities

For a large class of good moduli spaces $X$ of symmetric stacks $\mathcal{X}$, we define noncommutative motives $\mathbb{D}^{\text{nc}}(X)$ which can be regarded as categorifications of the intersection cohomology of $X$. These motives are summands of noncommutative resolutions of singularities $\mathbb{D}(X)\subset D^b(\mathcal{X})$ of $X$. The category $\mathbb{D}(X)$ is a global analogue of the noncommutative resolutions of singularities of $V//G$ for $V$ a symmetric representation of a reductive group $G$ constructed by Špenko-Van den Bergh.

math.AG↗