Publications and Preprints
-
Quasi-perfect blowups detect regularity (with P. Lank and K. Manali-Rahul), 2025.
arXiv |
▸ Abstract
▸ This work gives a new characterization of regular Noetherian schemes (more generally algebraic spaces) as those for which blowups at closed points are quasi-perfect.
In particular, regularity is controlled by the property that alterations or modifications of the scheme (or algebraic space) are quasi-perfect.
Additionally, we study the local behavior of quasi-perfect morphisms, showing that for proper morphisms this property can be detected via stalks, and completions and (strict) Henselizations of those.
Furthermore, we show that the locus of points where a proper morphism is quasi-perfect forms a Zariski open set.
-
Regularity and bounded $t$-structures for algebraic stacks (with P. Lank, K. Manali-Rahul and F. Peng), 2025.
arXiv |
▸ Abstract
▸ Our work shows (the expected) cohomological characterization for regularity of (Noetherian) algebraic stacks; such a stack is regular if and only if all complexes with bounded and coherent cohomology are perfect.
This naturally enables us to extend various statements known for schemes to algebraic stacks.
In particular, the conjectures by Antieau--Gepner--Heller and Bondal--Van den Bergh, both resolved for schemes by Neeman, are proven for suitable algebraic stacks.
-
Descending strong generation in algebraic geometry (with P. Lank and K. Manali-Rahul), 2025.
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), 2024.
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), 2024.
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.
-
Categorical resolutions of filtered schemes, J. Noncommut. Geom., 2024.
arXiv |
Journal |
▸ Abstract
▸ We give an alternative proof of the theorem by Kuznetsov and Lunts, stating that any separated scheme of finite type over a field of characteristic zero admits a categorical resolution of singularities.
Their construction makes use of the fact that every variety (over a field of characteristic zero) can be resolved by a finite sequence of blow-ups along smooth centres.
We merely require the existence of (projective) resolutions.
To accomplish this we put the $\mathcal{A}$-spaces of Kuznetsov and Lunts in a different light, viewing them instead as schemes endowed with finite filtrations.
The categorical resolution is then constructed by gluing together differential graded categories obtained from a hypercube of finite length filtered schemes.
-
A note on affine cones over Grassmannians and their stringy $E$-functions, Proc. Amer. Math. Soc., 2023.
arXiv |
Journal |
▸ Abstract
▸ We compute the stringy $E$-function of the affine cone over a Grassmannian.
If the Grassmannian is not a projective space then its cone does not admit a crepant resolution.
Nonetheless the stringy $E$-function is sometimes a polynomial and in those cases the cone admits a noncommutative crepant resolution.
This raises the question as to whether the existence of a noncommutative crepant resolution implies that the stringy $E$-function is a polynomial.