-
Nonexistence of singly compactly generated $t$-structures for schemes, with A. Bhaduri, M. Hrbek, P. Lank and K. Manali Rahul.
arXiv |
▸ Abstract
▸ We show the first instances of schemes whose standard aisles on their derived category of quasi-coherent sheaves are not singly compactly generated.
-
A note on quasi-perfect morphisms, with P. Lank and K. Manali Rahul.
arXiv |
▸ Abstract
▸ 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 é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.
-
Categorical characterizations of regularity for algebraic stacks, with P. Lank, K. Manali Rahul and F. Peng.
arXiv |
▸ Abstract
▸ 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.
-
Descending strong generation in algebraic geometry, with P. Lank and K. Manali Rahul.
arXiv |
▸ Abstract
▸ 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.
-
Descent and generation for noncommutative coherent algebras over schemes, with P. Lank and K. Manali Rahul.
arXiv |
▸ Abstract
▸ Our work shows forms of descent, in the fppf, h and \'{e}tale topologies, for strong generation of the bounded derived category of a noncommutative coherent algebra over a scheme.
Even for (commutative) schemes this yields new perspectives.
As a consequence we exhibit new examples where these bounded derived categories admit strong generators.
We achieve our main results by leveraging the action of the scheme on the coherent algebra, allowing us to lift statements into the noncommutative setting.
In particular, this leads to interesting applications regarding generation for Azumaya algebras.
-
Approximability and Rouquier dimension for noncommutative algebras over schemes, with P. Lank and K. Manali Rahul.
arXiv |
▸ Abstract
▸ This work is concerned with approximability (à la Neeman) and Rouquier dimension for triangulated categories associated to noncommutative algebras over schemes.
Amongst other things, we establish that the category of perfect complexes of a Noetherian quasi-coherent algebra over a separated Noetherian scheme is strongly generated if, and only if,
there exists an affine open cover where the algebra has finite global dimension.
As a consequence, we solve an open problem posed by Neeman.
Further, as a first application, we study the existence of generators for Azumaya algebras.