Showing 1–27 of 27 results for author: Halpern-Leistner, D

Intrinsic Donaldson-Thomas theory. I. Component lattices of stacks

Authors: Chenjing Bu, Daniel Halpern-Leistner, Andrés Ibáñez Núñez, Tasuki Kinjo

Abstract: This is the first paper in a series on intrinsic Donaldson-Thomas theory, a generalization of Donaldson-Thomas theory from the linear case, or the case of moduli stacks of objects in $3$-Calabi-Yau abelian categories, to the non-linear case of general $(-1)$-shifted symplectic stacks. This is done by developing a new framework for studying the enumerative geometry of general algebraic stacks, and… ▽ More This is the first paper in a series on intrinsic Donaldson-Thomas theory, a generalization of Donaldson-Thomas theory from the linear case, or the case of moduli stacks of objects in $3$-Calabi-Yau abelian categories, to the non-linear case of general $(-1)$-shifted symplectic stacks. This is done by developing a new framework for studying the enumerative geometry of general algebraic stacks, and we expect that this framework can also be applied to extending other types of enumerative theories for linear stacks to the non-linear case. In this paper, we establish the foundations of our framework. We introduce the component lattice of an algebraic stack, which is the key combinatorial object in our theory. It generalizes and globalizes the cocharacter lattice and the Weyl group of an algebraic group, and is defined as the set of connected components of the stack of graded points of the original stack. We prove several results on the structure of graded and filtered points of a stack using the component lattice. The first is the constancy theorem, which states that there is a wall-and-chamber structure on the component lattice, such that the isomorphism types of connected components of the stacks of graded and filtered points stay constant within each chamber. The second is the finiteness theorem, providing a criterion for the finiteness of the number of possible isomorphism types of these components. The third is the associativity theorem, generalizing the structure of Hall algebras from linear stacks to general stacks, involving a notion of Hall categories. Finally, we discuss some applications of these results outside Donaldson-Thomas theory, including a construction of stacks of real-weighted filtrations, and a generalization of the semistable reduction theorem to real-weighted filtrations. △ Less

Submitted 19 February, 2025; originally announced February 2025.

Comments: 64 pages

The space of augmented stability conditions

Authors: Daniel Halpern-Leistner, Antonios-Alexandros Robotis

Abstract: Given a triangulated category $\mathcal{C}$, we construct a partial compactification, denoted $\mathcal{A}\mathrm{Stab}(\mathcal{C})$, of the quotient of its stability manifold by $\mathbb{C}$. The purpose of $\mathcal{A}\mathrm{Stab}(\mathcal{C})$ is to shed light on the structure of semiorthogonal decompositions of $\mathcal{C}$. A point of $\mathcal{A}\mathrm{Stab}(\mathcal{C})$, called an augm… ▽ More Given a triangulated category $\mathcal{C}$, we construct a partial compactification, denoted $\mathcal{A}\mathrm{Stab}(\mathcal{C})$, of the quotient of its stability manifold by $\mathbb{C}$. The purpose of $\mathcal{A}\mathrm{Stab}(\mathcal{C})$ is to shed light on the structure of semiorthogonal decompositions of $\mathcal{C}$. A point of $\mathcal{A}\mathrm{Stab}(\mathcal{C})$, called an augmented stability condition on $\mathcal{C}$, consists of a newly introduced homological structure called a multiscale decomposition, along with stability conditions on subquotient categories of $\mathcal{C}$ associated to this multiscale decomposition. A generic multiscale decomposition corresponds to a semiorthogonal decomposition along with a configuration of points in $\mathbb{C}$. We give a conjectural description of open neighborhoods of certain boundary points, called the "manifold-with-corners conjecture," and we prove it in a special case. We show that this conjecture implies the existence of proper good moduli spaces of Bridgeland semistable objects in $\mathcal{C}$ when $\mathcal{C}$ is smooth and proper, and discuss some first examples where the manifold-with-corners conjecture holds. △ Less

Submitted 31 December, 2024; originally announced January 2025.

Comments: 109 pages, 8 figures, preliminary version, comments welcome!

MSC Class: 18G80; 14H10; 14J10

On the structure of equivariant derived categories

Authors: Daniel Halpern-Leistner

Abstract: In this expository note, we discuss some results of the author on the structure of derived categories of equivariant coherent sheaves and the derived categories of geometric invariant theory quotients. We take a recent perspective, emphasizing the theory of restricted local cohomology. We also discuss several applications and concrete examples: studying the effects of birational modification on de… ▽ More In this expository note, we discuss some results of the author on the structure of derived categories of equivariant coherent sheaves and the derived categories of geometric invariant theory quotients. We take a recent perspective, emphasizing the theory of restricted local cohomology. We also discuss several applications and concrete examples: studying the effects of birational modification on derived categories, constructing categorical completions of equivariant derived categories, and constructing actions of generalized braid groups on derived categories of GIT quotients. This is a contribution to the proceedings of the International Congress of Basic Science, held in July 2024. △ Less

Submitted 14 October, 2024; originally announced October 2024.

Comments: 10 pages

MSC Class: 14F08

Projectivity of the moduli of equidimensional branchvarieties

Authors: Daniel Halpern-Leistner, Andres Fernandez Herrero, Trevor Jones, Ritvik Ramkumar

Abstract: We resolve an open problem posed by Alexeev-Knutson on the projectivity of the moduli of branchvarieties in the equidimensional case. As an application, we construct projective moduli spaces of reduced equidimensional varieties equipped with ample linear series and subject to a semistability condition. We resolve an open problem posed by Alexeev-Knutson on the projectivity of the moduli of branchvarieties in the equidimensional case. As an application, we construct projective moduli spaces of reduced equidimensional varieties equipped with ample linear series and subject to a semistability condition. △ Less

Submitted 14 May, 2025; v1 submitted 14 October, 2024; originally announced October 2024.

Comments: 34 pages. Final accepted version

Stability conditions and semiorthogonal decompositions I: quasi-convergence

Authors: Daniel Halpern-Leistner, Jeffrey Jiang, Antonios-Alexandros Robotis

Abstract: We develop a framework relating semiorthogonal decompositions of a triangulated category $\mathcal{C}$ to paths in its space of stability conditions. We prove that when $\mathcal{C}$ is the homotopy category of a smooth and proper idempotent complete pre-triangulated dg-category, every semiorthogonal decomposition whose factors admit a Bridgeland stability condition can be obtained from our framew… ▽ More We develop a framework relating semiorthogonal decompositions of a triangulated category $\mathcal{C}$ to paths in its space of stability conditions. We prove that when $\mathcal{C}$ is the homotopy category of a smooth and proper idempotent complete pre-triangulated dg-category, every semiorthogonal decomposition whose factors admit a Bridgeland stability condition can be obtained from our framework. △ Less

Submitted 27 March, 2024; v1 submitted 31 December, 2023; originally announced January 2024.

Comments: 41 pages, 2 figures, several typos corrected

MSC Class: 14F08

The structure of the moduli of gauged maps from a smooth curve

Authors: Daniel Halpern-Leistner, Andres Fernandez Herrero

Abstract: For a reductive group $G$, Harder-Narasimhan theory gives a structure theorem for principal $G$ bundles on a smooth projective curve $C$. A bundle is either semistable, or it admits a canonical parabolic reduction whose associated Levi bundle is semistable. We extend this structure theorem by constructing a $Θ$-stratification of the moduli stack of gauged maps from $C$ to a projective-over-affine… ▽ More For a reductive group $G$, Harder-Narasimhan theory gives a structure theorem for principal $G$ bundles on a smooth projective curve $C$. A bundle is either semistable, or it admits a canonical parabolic reduction whose associated Levi bundle is semistable. We extend this structure theorem by constructing a $Θ$-stratification of the moduli stack of gauged maps from $C$ to a projective-over-affine $G$-variety $X$. The open stratum coincides with the previously studied moduli of Mundet semistable maps, and in special cases coincides with the moduli of stable quasi-maps. As an application of the stratification, we provide a formula for K-theoretic gauged Gromov-Witten invariants when $X$ is an arbitrary linear representation of $G$. This can be viewed as a generalization of the Verlinde formula for moduli spaces of decorated principal bundles. We establish our main technical results for smooth families of curves over an arbitrary Noetherian base. Our proof develops an infinite-dimensional analog of geometric invariant theory and applies the theory of optimization on degeneration fans. △ Less

Submitted 16 May, 2023; originally announced May 2023.

Comments: 90 pages

MSC Class: 14D23; 14N35; 14D20

The noncommutative minimal model program

Authors: Daniel Halpern-Leistner

Abstract: This note aims to clarify the deep relationship between birational modifications of a variety and semiorthogonal decompositions of its derived category of coherent sheaves. The result is a conjecture on the existence and properties of canonical semiorthogonal decompositions, which is a noncommutative analog of the minimal model program. We identify a mechanism for constructing semiorthogonal decom… ▽ More This note aims to clarify the deep relationship between birational modifications of a variety and semiorthogonal decompositions of its derived category of coherent sheaves. The result is a conjecture on the existence and properties of canonical semiorthogonal decompositions, which is a noncommutative analog of the minimal model program. We identify a mechanism for constructing semiorthogonal decompositions using Bridgeland stability conditions, and we propose that through this mechanism the quantum differential equation of the variety controls the conjectured semiorthogonal decompositions. We establish several implications of the conjectures: one direction of Dubrovin's conjecture on the existence of full exceptional collections; the $D$-equivalence conjecture; the existence of new categorical birational invariants for varieties of positive genus; and the existence of minimal noncommutative resolutions of singular varieties. Finally, we verify the conjectures for smooth projective curves by establishing a previously conjectured description of the stability manifold of $\mathbb{P}^1$. △ Less

Submitted 27 March, 2024; v1 submitted 30 January, 2023; originally announced January 2023.

Comments: 33 pages, 2 figures

MSC Class: 14F08; 14E30; 14N35

Artin algebraization for pairs with applications to the local structure of stacks and Ferrand pushouts

Authors: Jarod Alper, Daniel Halpern-Leistner, Jack Hall, David Rydh

Abstract: We give a variant of Artin algebraization along closed subschemes and closed substacks. Our main application is the existence of étale, smooth, or syntomic neighborhoods of closed subschemes and closed substacks. In particular, we prove local structure theorems for stacks and their derived counterparts and the existence of henselizations along linearly fundamental closed substacks. These results e… ▽ More We give a variant of Artin algebraization along closed subschemes and closed substacks. Our main application is the existence of étale, smooth, or syntomic neighborhoods of closed subschemes and closed substacks. In particular, we prove local structure theorems for stacks and their derived counterparts and the existence of henselizations along linearly fundamental closed substacks. These results establish the existence of Ferrand pushouts, which answers positively a question of Temkin-Tyomkin. △ Less

Submitted 17 May, 2022; originally announced May 2022.

Comments: 26 pages, comments welcome!

MSC Class: 14B12; 14D23; 13B12

Full exceptional collections of vector bundles on rank-two linear GIT quotients

Authors: Daniel Halpern-Leistner, Kimoi Kemboi

Abstract: We produce full strong exceptional collections consisting of vector bundles on the geometric invariant theory quotient of certain linear actions of a split reductive group $G$ of rank two. The vector bundles correspond to irreducible $G$-representations whose weights lie in an explicit bounded region in the weight space of $G$. We also describe a method for constructing more examples of linear GIT… ▽ More We produce full strong exceptional collections consisting of vector bundles on the geometric invariant theory quotient of certain linear actions of a split reductive group $G$ of rank two. The vector bundles correspond to irreducible $G$-representations whose weights lie in an explicit bounded region in the weight space of $G$. We also describe a method for constructing more examples of linear GIT quotients with full strong exceptional collections of this kind as "decorated" quiver varieties. △ Less

Submitted 25 February, 2022; originally announced February 2022.

Comments: 31 pages, 7 figures

MSC Class: 14L24; 14F08

Moduli spaces of sheaves via affine Grassmannians

Authors: Daniel Halpern-Leistner, Andres Fernandez Herrero, Trevor Jones

Abstract: We develop a new method for analyzing moduli problems related to the stack of pure coherent sheaves on a polarized family of projective schemes. It is an infinite-dimensional analogue of geometric invariant theory. We apply this to two familiar moduli problems: the stack of $Λ$-modules and the stack of pairs. In both examples, we construct a $Θ$-stratification of the stack, defined in terms of a p… ▽ More We develop a new method for analyzing moduli problems related to the stack of pure coherent sheaves on a polarized family of projective schemes. It is an infinite-dimensional analogue of geometric invariant theory. We apply this to two familiar moduli problems: the stack of $Λ$-modules and the stack of pairs. In both examples, we construct a $Θ$-stratification of the stack, defined in terms of a polynomial numerical invariant, and we construct good moduli spaces for the open substacks of semistable points. One of the essential ingredients is the construction of higher dimensional analogues of the affine Grassmannian for the moduli problems considered. △ Less

Submitted 1 February, 2024; v1 submitted 5 July, 2021; originally announced July 2021.

Comments: 47 pages, LaTex. Fixed typos and made minor revisions. Comments welcome

MSC Class: 14D23 (Primary) 14J60; 14F06; 14L24 (Secondary)

On properness of K-moduli spaces and optimal degenerations of Fano varieties

Authors: Harold Blum, Daniel Halpern-Leistner, Yuchen Liu, Chenyang Xu

Abstract: We establish an algebraic approach to prove the properness of moduli spaces of K-polystable Fano varieties and reduce the problem to a conjecture on destabilizations of K-unstable Fano varieties. Specifically, we prove that if the stability threshold of every K-unstable Fano variety is computed by a divisorial valuation, then such K-moduli spaces are proper. The argument relies on studying certain… ▽ More We establish an algebraic approach to prove the properness of moduli spaces of K-polystable Fano varieties and reduce the problem to a conjecture on destabilizations of K-unstable Fano varieties. Specifically, we prove that if the stability threshold of every K-unstable Fano variety is computed by a divisorial valuation, then such K-moduli spaces are proper. The argument relies on studying certain optimal destabilizing test configurations and constructing a Theta-stratification on the moduli stack of Fano varieties. △ Less

Submitted 17 July, 2021; v1 submitted 3 November, 2020; originally announced November 2020.

Comments: v2: to appear in Selecta Math

Derived $Θ$-stratifications and the $D$-equivalence conjecture

Authors: Daniel Halpern-Leistner

Abstract: The theory of $Θ$-stratifications generalizes a classical stratification of the moduli of vector bundles on a smooth curve, the Harder-Narasimhan-Shatz stratification, to any moduli problem that can be represented by an algebraic stack. Using derived algebraic geometry, we develop a structure theory, which is a refinement of the theory of local cohomology, for the derived category of quasi-coheren… ▽ More The theory of $Θ$-stratifications generalizes a classical stratification of the moduli of vector bundles on a smooth curve, the Harder-Narasimhan-Shatz stratification, to any moduli problem that can be represented by an algebraic stack. Using derived algebraic geometry, we develop a structure theory, which is a refinement of the theory of local cohomology, for the derived category of quasi-coherent complexes on an algebraic stack equipped with a $Θ$-stratification. We then apply this to the $D$-equivalence conjecture, which predicts that birationally equivalent Calabi-Yau manifolds have equivalent derived categories of coherent sheaves. We prove that any two projective Calabi-Yau manifolds that are birationally equivalent to a smooth moduli space of Gieseker semistable coherent sheaves on a $K3$ surface have equivalent derived categories. This establishes the first known case of the $D$-equivalence conjecture for a birational equivalence class in dimension greater than three. △ Less

Submitted 18 June, 2021; v1 submitted 2 October, 2020; originally announced October 2020.

Comments: 99 pages. Update reorganizes sections, and strengthens the main theorem for Perf(X)

MSC Class: 14A30; 14F08; 14D23

Learning selection strategies in Buchberger's algorithm

Authors: Dylan Peifer, Michael Stillman, Daniel Halpern-Leistner

Abstract: Studying the set of exact solutions of a system of polynomial equations largely depends on a single iterative algorithm, known as Buchberger's algorithm. Optimized versions of this algorithm are crucial for many computer algebra systems (e.g., Mathematica, Maple, Sage). We introduce a new approach to Buchberger's algorithm that uses reinforcement learning agents to perform S-pair selection, a key… ▽ More Studying the set of exact solutions of a system of polynomial equations largely depends on a single iterative algorithm, known as Buchberger's algorithm. Optimized versions of this algorithm are crucial for many computer algebra systems (e.g., Mathematica, Maple, Sage). We introduce a new approach to Buchberger's algorithm that uses reinforcement learning agents to perform S-pair selection, a key step in the algorithm. We then study how the difficulty of the problem depends on the choices of domain and distribution of polynomials, about which little is known. Finally, we train a policy model using proximal policy optimization (PPO) to learn S-pair selection strategies for random systems of binomial equations. In certain domains, the trained model outperforms state-of-the-art selection heuristics in total number of polynomial additions performed, which provides a proof-of-concept that recent developments in machine learning have the potential to improve performance of algorithms in symbolic computation. △ Less

Submitted 17 August, 2020; v1 submitted 4 May, 2020; originally announced May 2020.

Comments: 14 pages, minor typo and format fixes, to appear in Proceedings of the 37th International Conference on Machine Learning (ICML 2020)

Reductivity of the automorphism group of K-polystable Fano varieties

Authors: Jarod Alper, Harold Blum, Daniel Halpern-Leistner, Chenyang Xu

Abstract: We prove that K-polystable log Fano pairs have reductive automorphism groups. In fact, we deduce this statement by establishing more general results concerning the S-completeness and $Θ$-reductivity of the moduli of K-semistable log Fano pairs. Assuming the conjecture that K-semistability is an open condition, we prove that the Artin stack parametrizing K-semistable Fano varieties admits a separat… ▽ More We prove that K-polystable log Fano pairs have reductive automorphism groups. In fact, we deduce this statement by establishing more general results concerning the S-completeness and $Θ$-reductivity of the moduli of K-semistable log Fano pairs. Assuming the conjecture that K-semistability is an open condition, we prove that the Artin stack parametrizing K-semistable Fano varieties admits a separated good moduli space. △ Less

Submitted 27 July, 2020; v1 submitted 7 June, 2019; originally announced June 2019.

Comments: 32 pages. Final version. To appear in Inventiones Math

Cartan-Iwahori-Matsumoto decompositions for reductive groups

Authors: Jarod Alper, Daniel Halpern-Leistner, Jochen Heinloth

Abstract: We provide a short and self-contained argument for the existence of Cartan-Iwahori-Matsumoto decompositions for reductive groups. We provide a short and self-contained argument for the existence of Cartan-Iwahori-Matsumoto decompositions for reductive groups. △ Less

Submitted 28 February, 2019; originally announced March 2019.

Comments: 8 pages

Existence of moduli spaces for algebraic stacks

Authors: Jarod Alper, Daniel Halpern-Leistner, Jochen Heinloth

Abstract: We provide necessary and sufficient conditions for when an algebraic stack admits a good moduli space and prove a semistable reduction theorem for points of algebraic stacks equipped with a $Θ$-stratification. These results provide a generalization of the Keel--Mori theorem to moduli problems whose objects have positive dimensional automorphism groups and give criteria on the moduli problem to hav… ▽ More We provide necessary and sufficient conditions for when an algebraic stack admits a good moduli space and prove a semistable reduction theorem for points of algebraic stacks equipped with a $Θ$-stratification. These results provide a generalization of the Keel--Mori theorem to moduli problems whose objects have positive dimensional automorphism groups and give criteria on the moduli problem to have a separated or proper good moduli space. To illustrate our method, we apply these results to construct proper moduli spaces parameterizing semistable $\mathcal{G}$-bundles on curves and moduli spaces for objects in abelian categories. △ Less

Submitted 23 February, 2024; v1 submitted 3 December, 2018; originally announced December 2018.

Comments: 79 pages: compatible with final published version

MSC Class: 14D23; 14D22; 14H60; 18E15

Journal ref: Inventiones mathematicae, volume 234, pages 949-1038, (2023)

Theta-stratifications, Theta-reductive stacks, and applications

Authors: Daniel Halpern-Leistner

Abstract: These are expanded notes on a lecture of the same title at the 2015 AMS summer institute in algebraic geometry. We give an introduction and overview of the "beyond geometric invariant theory" program for analyzing moduli problems in algebraic geometry. We discuss methods for analyzing stability in general moduli problems, focusing on the moduli of coherent sheaves on a smooth projective scheme as… ▽ More These are expanded notes on a lecture of the same title at the 2015 AMS summer institute in algebraic geometry. We give an introduction and overview of the "beyond geometric invariant theory" program for analyzing moduli problems in algebraic geometry. We discuss methods for analyzing stability in general moduli problems, focusing on the moduli of coherent sheaves on a smooth projective scheme as a toy example. We describe several applications: a general structure theorem for the derived category of coherent sheaves on an algebraic stack; some results on the topology of moduli stacks; and a "virtual non-abelian localization formula" in K-theory. We also propose a generalization of toric geometry to arbitrary compactifications of homogeneous spaces for algebraic groups, and formulate a conjecture on the Hodge theory of algebraic-symplectic stacks. △ Less

Submitted 16 August, 2016; originally announced August 2016.

Comments: 25 pages, 2015 AMS Summer Institute in Algebraic Geometry

The equivariant Verlinde formula on the moduli of Higgs bundles

Authors: Daniel Halpern-Leistner

Abstract: We prove an analog of the Verlinde formula on the moduli space of semistable meromorphic G-Higgs bundles over a smooth curve for a reductive group G whose fundamental group is free. The formula expresses the graded dimension of the space of sections of a positive line bundle as a finite sum whose terms are indexed by formal solutions of a generalized Bethe ansatz equation on the maximal torus of G… ▽ More We prove an analog of the Verlinde formula on the moduli space of semistable meromorphic G-Higgs bundles over a smooth curve for a reductive group G whose fundamental group is free. The formula expresses the graded dimension of the space of sections of a positive line bundle as a finite sum whose terms are indexed by formal solutions of a generalized Bethe ansatz equation on the maximal torus of G. In an appendix, Constantin Teleman proves a vanishing theorem for the higher cohomology of positive line bundles on the stack of Higgs bundles. △ Less

Submitted 13 August, 2016; v1 submitted 5 August, 2016; originally announced August 2016.

Comments: 22 pages, Appendix by Constantin Teleman, new version corrects a typo in the abstract

MSC Class: 14xx; 14D20; 14F05

Combinatorial constructions of derived equivalences

Authors: Daniel Halpern-Leistner, Steven V Sam

Abstract: Given a certain kind of linear representation of a reductive group, referred to as a quasi-symmetric representation in recent work of Špenko and Van den Bergh, we construct equivalences between the derived categories of coherent sheaves of its various geometric invariant theory (GIT) quotients for suitably generic stability parameters. These variations of GIT quotient are examples of more complica… ▽ More Given a certain kind of linear representation of a reductive group, referred to as a quasi-symmetric representation in recent work of Špenko and Van den Bergh, we construct equivalences between the derived categories of coherent sheaves of its various geometric invariant theory (GIT) quotients for suitably generic stability parameters. These variations of GIT quotient are examples of more complicated wall crossings than the balanced wall crossings studied in recent work on derived categories and variation of GIT quotients. Our construction is algorithmic and quite explicit, allowing us to: 1) describe a tilting vector bundle which generates the derived category of such a GIT quotient, 2) provide a combinatorial basis for the K-theory of the GIT quotient in terms of the representation theory of G, and 3) show that our derived equivalences satisfy certain relations, leading to a representation of the fundamental groupoid of a "Kähler moduli space" on the derived category of such a GIT quotient. Finally, we use graded categories of singularities to construct derived equivalences between all Deligne-Mumford hyperkähler quotients of a symplectic linear representation of a reductive group (at the zero fiber of the algebraic moment map and subject to a certain genericity hypothesis on the representation), and we likewise construct actions of the fundamental groupoid of the corresponding Kähler moduli space. △ Less

Submitted 29 July, 2021; v1 submitted 8 January, 2016; originally announced January 2016.

Comments: 37 pages, v2: added Sections 5.1 and 6; v3: added Remark 3.10, Remark 6.9, Example 6.10 elaborating on action of fundamental groupoid on K-theory

MSC Class: 14F05; 14L24; 19E08

Journal ref: J. Amer. Math. Soc. 33 (2020), 735-773

Tannaka duality revisited

Authors: Bhargav Bhatt, Daniel Halpern-Leistner

Abstract: We establish several strengthened versions of Lurie's Tannaka duality theorem for certain classes of spectral algebraic stacks. Our most general version of Tannaka duality identifies maps between stacks with exact symmetric monoidal functors between $\infty$-categories of quasi-coherent complexes which preserve connective and pseudo-coherent complexes. We establish several strengthened versions of Lurie's Tannaka duality theorem for certain classes of spectral algebraic stacks. Our most general version of Tannaka duality identifies maps between stacks with exact symmetric monoidal functors between $\infty$-categories of quasi-coherent complexes which preserve connective and pseudo-coherent complexes. △ Less

Submitted 7 July, 2015; originally announced July 2015.

Comments: 25 pages, comments welcome

MSC Class: 14F05; 55P43; 18G55

Equivariant Hodge theory and noncommutative geometry

Authors: Daniel Halpern-Leistner, Daniel Pomerleano

Abstract: We develop a version of Hodge theory for a large class of smooth formally proper quotient stacks $X/G$ analogous to Hodge theory for smooth projective schemes. We show that the noncommutative Hodge-de Rham sequence for the category of equivariant coherent sheaves degenerates. This spectral sequence converges to the periodic cyclic homology, which we canonically identify with the topological equiva… ▽ More We develop a version of Hodge theory for a large class of smooth formally proper quotient stacks $X/G$ analogous to Hodge theory for smooth projective schemes. We show that the noncommutative Hodge-de Rham sequence for the category of equivariant coherent sheaves degenerates. This spectral sequence converges to the periodic cyclic homology, which we canonically identify with the topological equivariant K-theory of $X$ with respect to a maximal compact subgroup of $G$, equipping the latter with a canonical pure Hodge structure. We also establish Hodge-de Rham degeneration for categories of matrix factorizations for a large class of equivariant Landau-Ginzburg models. △ Less

Submitted 5 February, 2022; v1 submitted 7 July, 2015; originally announced July 2015.

Comments: 47 pages, updated to match the published version, to avoid confusion. Following referee's suggestion, we reorganized the paper so that all matrix factorization material appears in its own separate section

MSC Class: 19L47; 19D55; 14A22; 14C30

Journal ref: Geom. Topol. 24 (2020) 2361-2433

Remarks on Theta-stratifications and derived categories

Authors: Daniel Halpern-Leistner

Abstract: This note extends some recent results on the derived category of a geometric invariant theory quotient to the setting of derived algebraic geometry. Our main result is a structure theorem for the derived category of a derived local quotient stack which admits a stratification of the kind arising in geometric invariant theory. The use of derived algebraic geometry leads to results with pleasingly f… ▽ More This note extends some recent results on the derived category of a geometric invariant theory quotient to the setting of derived algebraic geometry. Our main result is a structure theorem for the derived category of a derived local quotient stack which admits a stratification of the kind arising in geometric invariant theory. The use of derived algebraic geometry leads to results with pleasingly few hypotheses, even when the stack is not smooth. Using the same methods, we establish a "virtual non-abelian localization theorem" which is a K-theoretic analog of the virtual localization theorem in cohomology. △ Less

Submitted 10 February, 2015; originally announced February 2015.

Comments: 18 pages, preliminary

MSC Class: 14F05; 18Gxx; 14D23; 19-XX

On the structure of instability in moduli theory

Authors: Daniel Halpern-Leistner

Abstract: We formulate a theory of instability and Harder-Narasimhan filtrations for an arbitrary moduli problem in algebraic geometry. We introduce the notion of a $Θ$-stratification of a moduli problem, which generalizes the Kempf-Ness stratification in GIT as well as the Harder-Narasimhan stratification of the moduli of coherent sheaves on a projective scheme. Our main theorems establish necessary and su… ▽ More We formulate a theory of instability and Harder-Narasimhan filtrations for an arbitrary moduli problem in algebraic geometry. We introduce the notion of a $Θ$-stratification of a moduli problem, which generalizes the Kempf-Ness stratification in GIT as well as the Harder-Narasimhan stratification of the moduli of coherent sheaves on a projective scheme. Our main theorems establish necessary and sufficient conditions for the existence of these stratifications. We define a structure on an algebraic stack called a numerical invariant, and we show that in many situations a numerical invariant defines a $Θ$-stratification on the stack, assuming a certain "HN boundedness" condition holds. We also discuss criteria under which the semistable locus has a moduli space. We apply our methods to an example that lies beyond the reach of classical methods: the stratification of the stack of objects in the heart of a Bridgeland stability condition. △ Less

Submitted 4 February, 2022; v1 submitted 3 November, 2014; originally announced November 2014.

Comments: Final version, 173 pages, default margins. 1 figure. Minor corrections and improvements throughout the paper. Major additions since the last version: i) the notion of monotonicity for numerical invariants, 2) discussion of existence of moduli spaces

MSC Class: 14D20; 14D23; 14L24

Mapping stacks and categorical notions of properness

Authors: Daniel Halpern-Leistner, Anatoly Preygel

Abstract: One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack. This result has been generalized by replacing $X$ with a proper algebraic stack. We show, however, that it also holds when $X$ is replaced by many examples of algebraic stacks which are not proper, includ… ▽ More One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack. This result has been generalized by replacing $X$ with a proper algebraic stack. We show, however, that it also holds when $X$ is replaced by many examples of algebraic stacks which are not proper, including many global quotient stacks. This leads us to revisit the definition of properness for stacks. We introduce the notion of a formally proper morphism of stacks and study its properties. We develop methods for establishing formal properness in a large class of examples. Along the way, we prove strong h-descent results which hold in the setting of derived algebraic geometry but not in classical algebraic geometry. Our main applications are algebraicity results for mapping stacks and the stack of coherent sheaves on a flat and formally proper stack. △ Less

Submitted 29 July, 2019; v1 submitted 13 February, 2014; originally announced February 2014.

Comments: 47 pages, complete re-write of first version: definitions simplified; section on PGE removed; strengthened results on reductive group schemes; added comparison between formal properness and other notions of properness

MSC Class: 14A20; 18-XX; 14F05

Autoequivalences of derived categories via geometric invariant theory

Authors: Daniel Halpern-Leistner, Ian Shipman

Abstract: We study autoequivalences of the derived category of coherent sheaves of a variety arising from a variation of GIT quotient. We show that these automorphisms are spherical twists, and describe how they result from mutations of semiorthogonal decompositions. Beyond the GIT setting, we show that all spherical twist autoequivalences of a dg-category can be obtained from mutation in this manner. Mot… ▽ More We study autoequivalences of the derived category of coherent sheaves of a variety arising from a variation of GIT quotient. We show that these automorphisms are spherical twists, and describe how they result from mutations of semiorthogonal decompositions. Beyond the GIT setting, we show that all spherical twist autoequivalences of a dg-category can be obtained from mutation in this manner. Motivated by a prediction from mirror symmetry, we refine the recent notion of "grade restriction rules" in equivariant derived categories. We produce additional derived autoequivalences of a GIT quotient and propose an interpretation in terms of monodromy of the quantum connection. We generalize this observation by proving a criterion under which a spherical twist autoequivalence factors into a composition of other spherical twists. △ Less

Submitted 13 August, 2016; v1 submitted 22 March, 2013; originally announced March 2013.

Comments: 26 pages, 5 figures, remarks in section 3.1 were incomplete and are now removed, minor corrections in final version

MSC Class: 14F05; 14L24; 18E30; 18F20

The derived category of a GIT quotient

Authors: Daniel Halpern-Leistner

Abstract: Given a quasiprojective algebraic variety with a reductive group action, we describe a relationship between its equivariant derived category and the derived category of its geometric invariant theory quotient. This generalizes classical descriptions of the category of coherent sheaves on projective space and categorifies several results in the theory of Hamiltonian group actions on projective mani… ▽ More Given a quasiprojective algebraic variety with a reductive group action, we describe a relationship between its equivariant derived category and the derived category of its geometric invariant theory quotient. This generalizes classical descriptions of the category of coherent sheaves on projective space and categorifies several results in the theory of Hamiltonian group actions on projective manifolds. This perspective generalizes and provides new insight into examples of derived equivalences between birational varieties. We provide a criterion under which two different GIT quotients are derived equivalent, and apply it to prove that any two generic GIT quotients of an equivariantly Calabi-Yau projective-over-affine manifold by a torus are derived equivalent. △ Less

Submitted 24 June, 2014; v1 submitted 1 March, 2012; originally announced March 2012.

Comments: 38 pages, 1 figures

MSC Class: 14-XX (primary) 19Exx; 20Gxx (secondary)

Lefschetz Hyperplane Theorem for Stacks

Authors: Daniel Halpern-Leistner

Abstract: We use Morse theory to prove that the Lefschetz Hyperplane Theorem holds for compact smooth Deligne-Mumford stacks over the site of complex manifolds. For $Z \subset X$ a hyperplane section, $X$ can be obtained from $Z$ by a sequence of deformation retracts and attachments of high-dimensional finite disc quotients. We use this to derive more familiar statements about the relative homotopy, homolog… ▽ More We use Morse theory to prove that the Lefschetz Hyperplane Theorem holds for compact smooth Deligne-Mumford stacks over the site of complex manifolds. For $Z \subset X$ a hyperplane section, $X$ can be obtained from $Z$ by a sequence of deformation retracts and attachments of high-dimensional finite disc quotients. We use this to derive more familiar statements about the relative homotopy, homology, and cohomology groups of the pair $(X,Z)$. We also prove some preliminary results suggesting that the Lefschetz Hyperplane Theorem holds for Artin stacks as well. One technical innovation is to reintroduce an inequality of Łojasiewicz which allows us to prove the theorem without any genericity or nondegeneracy hypotheses on $Z$. △ Less

Submitted 4 August, 2010; originally announced August 2010.

Comments: 16 pages

MSC Class: 37B25; 57R18; 32Q55; 14D23; 14F45