-
Descent and generation for noncommutative coherent algebras over schemes
Authors:
Timothy De Deyn,
Pat Lank,
Kabeer Manali Rahul
Abstract:
Our work investigates a form of descent, in the fppf and h topologies, for generation of triangulated categories obtained from noncommutative coherent algebras over schemes. In addition, also the behaviour of generation with respect to the derived pushforward of proper morphisms is studied. This allows us to exhibit many new examples where the associated bounded derived categories of coherent shea…
▽ More
Our work investigates a form of descent, in the fppf and h topologies, for generation of triangulated categories obtained from noncommutative coherent algebras over schemes. In addition, also the behaviour of generation with respect to the derived pushforward of proper morphisms is studied. This allows us to exhibit many new examples where the associated bounded derived categories of coherent sheaves admit strong generators. We achieve our main results by combining Matthew's concept of descendability with Stevenson's tensor actions on triangulated categories, allowing us to generalize statements regarding generation into the noncommutative setting. In particular, we establish a noncommutative generalization of Aoki's result to Azumaya algebras over quasi-excellent schemes. Moreover, as a byproduct of the tensor action, we extend Olander's result on countable Rouquier dimension to the noncommutative setting for Azumaya algebras over derived splinters, and we extend a result of Ballard-Iyengar-Lank-Mukhopadhyay-Pollitz regarding strong generation for schemes of prime characteristic to the case of Azumaya algebras.
△ Less
Submitted 2 October, 2024;
originally announced October 2024.
-
Approximability and Rouquier dimension for noncommuative algebras over schemes
Authors:
Timothy De Deyn,
Pat Lank,
Kabeer Manali Rahul
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…
▽ More
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.
△ Less
Submitted 3 October, 2024; v1 submitted 8 August, 2024;
originally announced August 2024.
-
Classification and nonexistence results for tensor $t$-structures on derived categories of schemes
Authors:
Rudradip Biswas,
Alexander Clark,
Pat Lank,
Kabeer Manali Rahul,
Chris J. Parker
Abstract:
Our work examines $t$-structures in derived categories related to Noetherian schemes, establishing both classification and nonexistence results for compactly generated $t$-structures that satisfy a tensor compatibility condition. First, we classify which $t$-structures on the derived category of quasi-coherent sheaves can be restricted to the bounded derived category of coherent sheaves. This sign…
▽ More
Our work examines $t$-structures in derived categories related to Noetherian schemes, establishing both classification and nonexistence results for compactly generated $t$-structures that satisfy a tensor compatibility condition. First, we classify which $t$-structures on the derived category of quasi-coherent sheaves can be restricted to the bounded derived category of coherent sheaves. This significantly generalizes Takahashi's results for CM-excellent rings of finite Krull dimension, and its sharpness is illustrated using an example of Nagata. Second, we show that there are no non-trivial tensor $t$-structures on the category of perfect complexes with cohomology supported on an irreducible closed subset if that subset is not contained in the regular locus of the scheme, which generalizes a result of Smith in the affine setting concerning a conjecture of Antieau, Gepner, and Heller.
△ Less
Submitted 13 August, 2024; v1 submitted 12 April, 2024;
originally announced April 2024.
-
Bounded $t$-structures, finitistic dimensions, and singularity categories of triangulated categories
Authors:
Rudradip Biswas,
Hongxing Chen,
Kabeer Manali Rahul,
Chris J. Parker,
Junhua Zheng
Abstract:
Recently, Amnon Neeman settled a bold conjecture by Antieau, Gepner, and Heller regarding the relationship between the regularity of finite-dimensional noetherian schemes and the existence of bounded $t$-structures on their derived categories of perfect complexes.
In this paper, using different methods, we prove some very general results about the existence of bounded $t$-structures on (not nece…
▽ More
Recently, Amnon Neeman settled a bold conjecture by Antieau, Gepner, and Heller regarding the relationship between the regularity of finite-dimensional noetherian schemes and the existence of bounded $t$-structures on their derived categories of perfect complexes.
In this paper, using different methods, we prove some very general results about the existence of bounded $t$-structures on (not necessarily algebraic or topological) triangulated categories and their invariance under completion. We show that if the opposite category of an essentially small triangulated category has finite finitistic dimension in our sense, then the existence of a bounded t-structure on it forces it to be equal to its completion. We also prove a parallel result regarding the equivalence of all bounded t-structures on any intermediate triangulated category between the starting category and its completion.
Our general treatment, when specialized to the case of schemes, immediately gives us Neeman's theorem as an application and significantly generalizes another remarkable theorem by Neeman about the equivalence of bounded $t$-structures on the bounded derived categories of coherent sheaves. When specialized to other cases like associative rings, nonpositive DG-rings, connective $\mathbb{E}_1$-rings, triangulated categories without models, etc., we get many other applications. Under mild finiteness assumptions, these results not only give a categorical obstruction (the singularity category in our sense) to the existence of bounded $t$-structures on a triangulated category, but also provide plenty of triangulated categories on which all bounded $t$-structures are equivalent. The strategy used in our treatment is introducing a new concept of finitistic dimension for triangulated categories and lifting $t$-structures along completions of triangulated categories.
△ Less
Submitted 25 July, 2024; v1 submitted 29 December, 2023;
originally announced January 2024.