Showing 1–8 of 8 results for author: Lank, P

Triangulated characterizations of singularities

Authors: Pat Lank, Sridhar Venkatesh

Abstract: This work presents a range of triangulated characterizations for important classes of singularities such as derived splinters, rational singularities, and Du Bois singularities. An invariant called 'level' in a triangulated category can be used to measure the failure of a variety to have a prescribed singularity type. We provide explicit computations of this invariant for reduced Nagata schemes of… ▽ More This work presents a range of triangulated characterizations for important classes of singularities such as derived splinters, rational singularities, and Du Bois singularities. An invariant called 'level' in a triangulated category can be used to measure the failure of a variety to have a prescribed singularity type. We provide explicit computations of this invariant for reduced Nagata schemes of Krull dimension one and for affine cones over smooth projective hypersurfaces. Furthermore, these computations are utilized to produce upper bounds for Rouquier dimension on the respective bounded derived categories. △ Less

Submitted 10 May, 2024; v1 submitted 7 May, 2024; originally announced May 2024.

Comments: Current: Removed properness assumptions, removed Section 4, improved exposition. Previous: Initial version

MSC Class: 14F08 (primary); 14B05 (secondary); 14F17; 14A30; 14E15; 18G80

Closedness of the singular locus and generation for derived categories

Authors: Souvik Dey, Pat Lank

Abstract: This work is concerned with a relationship regarding the closedness of the singular locus of a Noetherian scheme and existence of classical generators in its category of coherent sheaves, associated bounded derived category, and singularity category. Particularly, we extend an observation initially made by Iyengar and Takahashi in the affine context to the global setting. Furthermore, we furnish a… ▽ More This work is concerned with a relationship regarding the closedness of the singular locus of a Noetherian scheme and existence of classical generators in its category of coherent sheaves, associated bounded derived category, and singularity category. Particularly, we extend an observation initially made by Iyengar and Takahashi in the affine context to the global setting. Furthermore, we furnish an example a Noetherian scheme whose bounded derived category admits a classical generator, yet not every finite scheme over it exhibits the same property. △ Less

Submitted 28 March, 2024; originally announced March 2024.

Comments: Comments welcome!

MSC Class: 14F08 (primary); 18G80; 13D09; 14B05; 18E10

Dévissage for generation in derived categories

Authors: Souvik Dey, Pat Lank

Abstract: This work exhibits that the essential image of the derived pushforward along a proper surjective morphism of Noetherian schemes generates the targets derived category of bounded complexes with coherent cohomology. There are two primary consequences to our work. First, we show that classical generators in the bounded derived category are preserved by derived pushforward along a proper surjective mo… ▽ More This work exhibits that the essential image of the derived pushforward along a proper surjective morphism of Noetherian schemes generates the targets derived category of bounded complexes with coherent cohomology. There are two primary consequences to our work. First, we show that classical generators in the bounded derived category are preserved by derived pushforward along a proper surjective morphism of Noetherian schemes. Secondly, the bounded derived category coincides with the thick subcategory generated by perfect complexes and structure sheaves of closed integral subschemes supported in the singular locus of the ambient scheme. △ Less

Submitted 7 May, 2024; v1 submitted 24 January, 2024; originally announced January 2024.

Comments: Minor corrections

MSC Class: 14A30 (primary); 14F08; 13D09; 32S45

Approximation by perfect complexes detects Rouquier dimension

Authors: Pat Lank, Noah Olander

Abstract: This work explores bounds on the Rouquier dimension in the bounded derived category of coherent sheaves on Noetherian schemes. By utilizing approximations, we exhibit that Rouquier dimension is inherently characterized by the number of cones required to build all perfect complexes. We use this to prove sharper bounds on Rouquier dimension of singular schemes. Firstly, we show Rouquier dimension do… ▽ More This work explores bounds on the Rouquier dimension in the bounded derived category of coherent sheaves on Noetherian schemes. By utilizing approximations, we exhibit that Rouquier dimension is inherently characterized by the number of cones required to build all perfect complexes. We use this to prove sharper bounds on Rouquier dimension of singular schemes. Firstly, we show Rouquier dimension doesn't go up along étale extensions and is invariant under étale covers of affine schemes admitting a dualizing complex. Secondly, we demonstrate that the Rouquier dimension of the bounded derived category for a curve, with a delta invariant of at most one at closed points, is no larger than two. Thirdly, we bound the Rouquier dimension for the bounded derived category of a (birational) derived splinter variety by that of a resolution of singularities. △ Less

Submitted 18 January, 2024; originally announced January 2024.

Comments: v1, comments welcome!

MSC Class: 14A30 (Primary); 14F08; 13D09; 18G80; 14B05

A note on generation and descent for derived categories of noncommutative schemes

Authors: Anirban Bhaduri, Souvik Dey, Pat Lank

Abstract: This work demonstrates classical generation is preserved by the derived pushforward along the canonical morphism of a noncommutative scheme to its underlying scheme. There are intriguing examples illustrating this phenomenon, particularly from noncommutative resolutions, categorical resolutions, and homological projective duality. Additionally, we establish that the Krull dimension of a variety ov… ▽ More This work demonstrates classical generation is preserved by the derived pushforward along the canonical morphism of a noncommutative scheme to its underlying scheme. There are intriguing examples illustrating this phenomenon, particularly from noncommutative resolutions, categorical resolutions, and homological projective duality. Additionally, we establish that the Krull dimension of a variety over a field is a lower bound for the Rouquier dimension of the bounded derived category associated with a noncommutative scheme on it. This is an extension of a classical result of Rouquier to the noncommutative context. △ Less

Submitted 17 May, 2024; v1 submitted 5 December, 2023; originally announced December 2023.

Comments: Current version: Minor typos. Previous: Improved results and exposition

MSC Class: 14F08 (primary); 14A22; 13D09; 16S38; 16E35; 14A30

Descent conditions for generation in derived categories

Authors: Pat Lank

Abstract: This work establishes a condition that determines when strong generation in the bounded derived category of a Noetherian $J\textrm{-}2$ scheme is preserved by the derived pushforward of a proper morphism. Consequently, we can produce upper bounds on the Rouquier dimension of the bounded derived category, and applications concerning affine varieties are studied. In the process, a necessary and suff… ▽ More This work establishes a condition that determines when strong generation in the bounded derived category of a Noetherian $J\textrm{-}2$ scheme is preserved by the derived pushforward of a proper morphism. Consequently, we can produce upper bounds on the Rouquier dimension of the bounded derived category, and applications concerning affine varieties are studied. In the process, a necessary and sufficient constraint is observed for when a tensor-exact functor between rigidly compactly generated tensor triangulated categories preserves strong $\oplus$-generators. △ Less

Submitted 28 March, 2024; v1 submitted 15 August, 2023; originally announced August 2023.

Comments: Pre-final for publication

MSC Class: 14F08 (primary); 14A30; 13D09; 18G80

Journal ref: J. Pure Appl. Algebra (2024), 107671

Strong generation and (co)ghost index for module categories

Authors: Souvik Dey, Pat Lank, Ryo Takahashi

Abstract: This work focuses on notions of generation and (co)ghost index in the module category of a Noetherian commutative ring. In particular, a sufficiency condition is established for the existence of strong generators in the module category of a Noetherian ring. As a result, this provides an affirmative answer to a question posed by Iyengar and Takahashi. Furthermore, the techniques developed provide u… ▽ More This work focuses on notions of generation and (co)ghost index in the module category of a Noetherian commutative ring. In particular, a sufficiency condition is established for the existence of strong generators in the module category of a Noetherian ring. As a result, this provides an affirmative answer to a question posed by Iyengar and Takahashi. Furthermore, the techniques developed provide upper bounds on the Rouquier dimension and rank respectively for the singularity category and category of maximal Cohen-Macaulay modules. Additionally, a local-to-global principle for (co)ghost index in the module category is investigated, and explicit computations are provided. △ Less

Submitted 28 September, 2023; v1 submitted 25 July, 2023; originally announced July 2023.

Comments: V1, comments welcome; v2 consists of additional coauthors and massive improvements to results; v3, no changes, add grant information

MSC Class: 13D09 (primary); 13C60; 13C14; 13D05; 13D02; 13F40; 18G80

High Frobenius pushforwards generate the bounded derived category

Authors: Matthew R. Ballard, Srikanth B. Iyengar, Pat Lank, Alapan Mukhopadhyay, Josh Pollitz

Abstract: This work concerns generators for the bounded derived category of coherent sheaves over a noetherian scheme $X$ of prime characteristic. The main result is that when the Frobenius map on $X$ is finite, for any compact generator $G$ of $\mathsf{D}(X)$ the Frobenius pushforward $F ^e_*G$ generates the bounded derived category whenever $p^e$ is larger than the codepth of $X$, an invariant that is a m… ▽ More This work concerns generators for the bounded derived category of coherent sheaves over a noetherian scheme $X$ of prime characteristic. The main result is that when the Frobenius map on $X$ is finite, for any compact generator $G$ of $\mathsf{D}(X)$ the Frobenius pushforward $F ^e_*G$ generates the bounded derived category whenever $p^e$ is larger than the codepth of $X$, an invariant that is a measure of the singularity of $X$. The conclusion holds for all positive integers $e$ when $X$ is locally complete intersection. The question of when one can take $G=\mathcal{O}_X$ is also investigated. For smooth projective complete intersections it reduces to a question of generation of the Kuznetsov component. △ Less

Submitted 13 April, 2023; v1 submitted 31 March, 2023; originally announced March 2023.

Comments: 31 pages. Minor edits

MSC Class: 14A30 (primary); 13A35; 14G17; 13D09