arXiv subjects
Publications and source records attributed to Pat Lank.
We develop a theory of relative perfect complexes on algebraic spaces. Our main result establishes openness for the loci where fibers of an integral transform are fully faithful (resp.\ an equivalence).
We prove descendability for fppf covers of quasi-compact quasi-separated algebraic spaces. Consequently, we show that point-generatedness is detectable along fppf covers. Moreover, we classify $\otimes$-localizing subcategories of the derived category of complexes with quasi-coherent cohomology on point-generated algebraic spaces in terms of subsets of the underlying topology.
We introduce a notion of proxy smallness for $t$-structures on triangulated categories associated to a Noetherian scheme. Specifically, the theory is developed in the presence of tensor actions. Consequently, our results yield a new characterization of schemes that are locally complete intersections in terms of $t$-structures, as well as a topological classification of preaisles on the bounded derived category of coherent sheaves.
This note is concerned with the Rouquier dimension of the bounded derived category of coherent complexes on a Noetherian algebraic stack. Specifically, we study the diagonal dimension of a morphism, which can be used to produce upper bounds on Rouquier dimension. First, we obtain an explicit upper bound for smooth morphisms with a regular target. Second, we identify classical generators of a fibre product, recovering a result of Elagin--Lunts--Schn\"{u}rer. Finally, we show that the diagonal dimension of a variety in arbitrary characteristic with mild singularities is at most twice its Krull dimension.
This work is concerned with $t$-structures on Noetherian algebraic spaces admitting dualizing complexes. In particular, we study their behavior in the \'{e}tale topology. As a consequence, we classify all tensor $t$-structures on their bounded derived category of coherent sheaves.
We show that the derived category of complexes with quasi-coherent cohomology on a regular Noetherian algebraic stack with quasi-finite diagonal is generated by a single perfect complex. In the concentrated case, the category is singly compactly generated. Key ingredients in the proofs include gluing generators along recollement and the use of suitable filtrations and presentations of the algebraic stack.
We study the behavior of integral transforms under base change. In particular, we establish a yoga of local algebra and fibers to test for derived equivalences or fully faithfulness via integral transforms. This generalizes a result of Orlov to singular varieties and strengthens several results in the literature by allowing arbitrary base fields. Additionally, it provides new insight into fibrations and their singularities in arithmetic settings (e.g.\ projective and flat schemes over a DVR).
We introduce a notion of $F$-finiteness for algebraic stacks in positive characteristic. Our main result shows that sufficiently many Frobenius pushforwards generate the bounded derived categories of coherent sheaves on Noetherian concentrated $F$-finite algebraic stacks with quasi-finite and separated diagonal. This generalizes, and independently recovers, a result of Ballard--Iyengar--Lank--Mukhopadhyay--Pollitz.
We show the first instances of schemes whose standard aisles on their derived category of quasi-coherent sheaves are not singly compactly generated.
This work is concerned with categorical methods for studying singularities. Our focus is on birational derived splinters, which is a notion that extends the definition of rational singularities beyond varieties over fields of characteristic zero. Particularly, we show that an invariant called `level' in the associated derived category measures the failure of these singularities.
This note is concerned with quasi-perfect morphisms between Noetherian algebraic spaces. In particular, we study the local behavior of quasi-perfect proper morphisms. We show that quasi-perfectness of a proper morphism can be detected at the \'{e}tale local rings of points of the target, as well as their completions and (strict) Henselizations. As a corollary, we obtain that the locus of points where a proper morphism is quasi-perfect is Zariski open.
This work establishes simple criteria for detecting higher rational singularities via the intersection Du Bois complex and the irrationality complex of a normal variety over the complex numbers.
This work studies $t$-structures for the derived category of complexes with quasi-coherent cohomology on algebraic spaces. The main result shows that the relative standard $t$-structures are compactly generated. As an application, we classify compactly generated tensor $t$-structures via Thomason filtrations on the underlying topological space.
This work focuses on approximation and generation for the derived category of complexes with quasi-coherent cohomology on algebraic stacks. Our methods establish that approximation by compact objects descends along covers that are quasi-finite and flat. This generalizes a result of Lipman--Neeman for schemes and extends a related result known for algebraic spaces. We also study the behavior of generation under the derived pushforward and pullback of a morphism between algebraic stacks.
We study the behavior of Du~Bois singularities under base change and fiber products. For embeddable varieties in characteristic zero, we show that Du~Bois singularities descend from any field extension. We also prove that the product of a variety with rational singularities and a variety with Du~Bois singularities again has Du~Bois singularities, and we discuss the case of products of curves.
For a Noetherian scheme $X$ of finite Krull dimension, Neeman recently established two characterizations of the regularity of $X$ using strong generators and bounded $t$-structures on $\operatorname{Perf}(X)$. In this note, we obtain variants of Neeman's results for large classes of Noetherian algebraic stacks. An important intermediate step is the fact that $X$ is regular if and only if $\operatorname{Perf}(X)=D_{\operatorname{coh}}^b(X)$, which we establish for Noetherian algebraic stacks. Our approach also yields a criterion for the existence of classical generators for the bounded derived categories of coherent sheaves on algebraic stacks, generalizing previous results for commutative rings and schemes.
We formalize the main approach for showing Zariski descent-type statements for strong generation of triangulated categories associated to algebro-geometric objects. This recovers various known statements in the literature. As applications we show that strong generation for the singularity category of a Noetherian separated scheme is Zariski local and obtain a strong generation result for the bounded derived category of a Noetherian concentrated algebraic stacks with finite diagonal.
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 extends earlier work of Ballard and Rizzardo. We leverage a description of the bounded derived category of coherent sheaves as finite cohomological functors on the category of perfect complexes, which is an application of Neeman's approximable triangulated categories, to reduce arguments to an affine local setting. Moreover, we study adjoints of such functors, extend a result of Olander to varieties with mild singularities, and provide an obstruction for derived equivalences between singular varieties.