Related papers: Perfect generation for regular algebraic stacks
We develop a theory of perfect algebraic stacks that extend our theory of perfect algebraic spaces in arXiv:2303.07672, arXiv:2303.08502 to the setting of algebraic stacks. We prove several desired properties of perfect algebraic stacks.…
An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is…
In the paper \cite{KS}, Kontsevich and Soibelman in particular associate to each finite quiver $Q$ with a set of vertices $I$ the so-called Cohomological Hall algebra $\cH,$ which is $\Z_{\geq 0}^I$-graded. Its graded component…
We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…
We prove that the Andre-Quillen homology and cohomology modules of F-finite Z(p)-algebras are finitely generated.
We construct varieties B(r;An) such that a map X -> B(r;An) corresponds to a degree-n \'etale algebra on X equipped with r generating global sections. We then show that when n = 2, i.e., in the quadratic \'etale case, that the singular…
The moduli stack of representations of a quiver, or coherent sheaves on a proper curve, carries two structures on its cohomology: a Hall algebra and braided vertex coalgebra. We show that they are compatible, by developing a formulation of…
This work studies conditions under which integral transforms induce exact functors on singularity categories between schemes that are proper over a Noetherian base scheme. A complete characterization for this behavior is provided, which…
We utilize the coherent-constructible correspondence to construct full strongly exceptional collections of nef line bundles in the derived category of a toric variety through the combinatorics of constructible sheaves built from polytopes.…
Let $\mathscr{A}$ be a connected cochain DG algebra such that $H(\mathscr{A})$ is a Noetherian graded algebra. We give some criteria for $\mathscr{A}$ to be homologically smooth in terms of the singularity category, the cone length of the…
We prove very general formulae for the generating series of (Hodge) genera of symmetric products with coefficients, which hold for complex quasi-projective varieties with any kind of singularities, and which include many of the classical…
Let $X$ be a finite-dimensional, noetherian scheme. Antieau, Gepner and Heller conjectured that its derived category of perfect complexes has a bounded t-structure if and only if $X$ is regular. We prove a generalization, and to do so we…
We prove finite generation of the cohomology ring of any finite dimensional pointed Hopf algebra, having abelian group of grouplike elements, under some mild restrictions on the group order. The proof uses the recent classification by…
For an abelian tensor category a stack is constructed. As an application we show that our construction can be used to recover a quasi-compact separated scheme from the category of its quasi-coherent sheaves. In another application, we show…
A convenient bicategory of topological stacks is constructed which is both complete and Cartesian closed. This bicategory, called the bicategory of compactly generated stacks, is the analogue of classical topological stacks, but for a…
Let $X$ be either a quasi-compact semi-separated scheme, or a Noetherian scheme of finite Krull dimension. We show that the Grothendieck abelian category $X{-}\mathsf{Qcoh}$ of quasi-coherent sheaves on $X$ satisfies the Roos axiom…
The coprimary filtration is a basic construction in commutative algebra. In this article, we prove the existence and uniqueness of coprimary filtration of modules (not necessarily finitely generated) over a Noetherian ring. Moreover, we…
We show that connected separable locally compact groups are infinitesimally finitely generated, meaning that there is an integer $n$ such that every neighborhood of the identity contains $n$ elements generating a dense subgroup. We…
A geometric stack is a quasi-compact and semi-separated algebraic stack. We prove that the quasi-coherent sheaves on the small flat topology, Cartesian presheaves on the underlying category, and comodules over a Hopf algebroid associated to…
This article investigates strong generation within the module category of a commutative Noetherian ring. We establish a criterion for such rings to possess strong generators within their module category, addressing a question raised by…