Generation in singularity categories of hypersurfaces of countable representation type

The Orlov spectrum and Rouquier dimension are invariants of a triangulated category to measure how big the category is, and they have been studied actively. In this paper, we investigate the singularity category $$\textsf {D} _{\textsf {sg} }(R)$$ of a hypersurface R of countable representation type. For a thick subcategory $${\mathcal {T}}$$ of $$\textsf {D} _{\textsf {sg} }(R)$$ and a full subcategory $$\mathcal {X}$$ of $${\mathcal {T}}$$, we calculate the Rouquier dimension of $${\mathcal {T}}$$ with respect to $$\mathcal {X}$$. Furthermore, we prove that the level in $$\textsf {D} _{\textsf {sg} }(R)$$ of the residue field of R with respect to each nonzero object is at most one.     

Extended canonical algebras and Fuchsian singularities

The authors introduce a new class of finite dimensional algebras called extended canonical, and determine the shape of their derived categories. Extended canonical algebras arise from a canonical algebra ?? by onepoint extension or coextension by an indecomposable projective module. Our main results concern the case of negative Euler characteristic of the corresponding weighted projective line ${\mathbb{X}}$ ; more specifically we establish, for a base field of arbitrary characteristic, a link to the Fuchsian singularity R of ${\mathbb{X}}$ which for the base field of complex numbers is isomorphic to an algebra of automorphic forms. By means of a recent result of Orlov we show that the triangulated category of the graded singularities of R (in the sense of Buchweitz and Orlov) admits a tilting object whose endomorphism ring is the corresponding extended canonical algebra. Of particular interest are those cases where the attached Coxeter transformation has spectral radius one. A K-theoretic analysis then shows that this happens exactly for 38 cases including Arnold??s 14 exceptional unimodal singularities. The paper is related to recent independent work by Kajiura, Saito and Takahashi.     

A category of kernels for equivariant factorizations,II: Further implications

We leverage the results of the prequel [8], in combination with a theorem of D. Orlov to create a categorical covering picture for factorizations. As applications, we provide a conjectural geometric framework to further understand M. Kontsevich's Homological Mirror Symmetry conjecture and obtain new cases of a conjecture of Orlov concerning the Rouquier dimension of the bounded derived category of coherent sheaves on a smooth variety.     

Geometricity for derived categories of algebraic stacks

We prove that the dg category of perfect complexes on a smooth, proper Deligne–Mumford stack over a field of characteristic zero is geometric in the sense of Orlov, and in particular smooth and proper. On the level of triangulated categories, this means that the derived category of perfect complexes embeds as an admissible subcategory into the bounded derived category of coherent sheaves on a smooth, projective variety. The same holds for a smooth, projective, tame Artin stack over an arbitrary field.     

Cluster Tilted Algebras with a Cyclically Oriented Quiver

In association with a finite dimensional algebra A of global dimension two, we consider the endomorphism algebra of A, viewed as an object in the triangulated hull of the orbit category of the bounded derived category, in the sense of Amiot. We characterize the algebras A of global dimension two such that its endomorphism algebra is isomorphic to a cluster-tilted algebra with a cyclically oriented quiver. Furthermore, in the case that the cluster tilted algebra with a cyclically oriented quiver is of Dynkin or extended Dynkin type then A is derived equivalent to a hereditary algebra of the same type.     

Unifying two results of Orlov on singularity categories

Let \mathbbX\mathbb{X} be a separated Noetherian scheme of finite Krull dimension which has enough locally free sheaves of finite rank and let U í \mathbbXU\subseteq \mathbb{X} be an open subscheme. We prove that the singularity category of U is triangle equivalent to the Verdier quotient triangulated category of the singularity category of \mathbbX\mathbb{X} with respect to the thick triangulated subcategory generated by sheaves supported in the complement of U. The result unifies two results of Orlov. We also prove a noncommutative version of this result.     

Tilting on non-commutative rational projective curves

In this article we introduce a new class of non-commutative projective curves and show that in certain cases the derived category of coherent sheaves on them has a tilting complex. In particular, we prove that the right bounded derived category of coherent sheaves on a reduced rational projective curve with only nodes and cusps as singularities, can be fully faithfully embedded into the right bounded derived category of the finite dimensional representations of a certain finite dimensional algebra of global dimension two. As an application of our approach we show that the dimension of the bounded derived category of coherent sheaves on a rational projective curve with only nodal or cuspidal singularities is at most two. In the case of the Kodaira cycles of projective lines, the corresponding tilted algebras belong to a well-known class of gentle algebras. We work out in details the tilting equivalence in the case of the Weierstrass nodal curve zy ² = x ³ + x ² z.     

Subcategories of fixed points of mutations by exceptional objects in triangulated categories

We first prove that the subcategory of fixed points of mutation determined by an exceptional object E in a triangulated category coincide with the perpendicular category of E. Based on this characterisation, we prove that the subcategory of fixed points of mutation in the derived category of the coherent sheaves on weighted projective line with genus one is equivalent to the derived category of a hereditary algebra. Meanwhile, we induce two new recollements by left and right mutations from a given recollement.     

Triangulated categories of Gorenstein cyclic quotient singularities

We prove there is an equivalence of derived categories between Orlov's triangulated category of singularities for a Gorenstein cyclic quotient singularity and the derived category of representations of a quiver with relations, which is obtained from a McKay quiver by removing one vertex and half of the arrows. This result produces examples of distinct quivers with relations which have equivalent derived categories of representations.

     

Classifying thick subcategories of the stable category of Cohen-Macaulay modules

Various classification theorems of thick subcategories of a triangulated category have been obtained in many areas of mathematics. In this paper, as a higher-dimensional version of the classification theorem of thick subcategories of the stable category of finitely generated representations of a finite p-group due to Benson, Carlson and Rickard, we consider classifying thick subcategories of the stable category of Cohen-Macaulay modules over a Gorenstein local ring. The main result of this paper yields a complete classification of the thick subcategories of the stable category of Cohen-Macaulay modules over a local hypersurface in terms of specialization-closed subsets of the prime ideal spectrum of the ring which are contained in its singular locus.     

Exponential sums and singular hypersurfaces

We give upper bounds for the absolute value of exponential sums in several variables attached to certain polynomials with coefficients in a finite field. This bounds are given in terms of invariants of the singularities of the projective hypersurface defined by its highest degree form. For exponential sums attached to the reduction modulo a power of a large prime of a polynomial f with integer coefficients and veryfying a certain condition on the singularities of its highest degree form, we give a bound in terms of the dimension of the Jacobian quotient . Received: 3 November 1997     

Generators and Dimensions of Derived Categories of Modules

Several years ago, Bondal, Rouquier, and Van den Bergh introduced the notion of the dimension of a triangulated category, and Rouquier proved that the bounded derived category of coherent sheaves on a separated scheme of finite type over a perfect field has finite dimension. In this article, we study the dimension of the bounded derived category of finitely generated modules over a commutative Noetherian ring. The main result of this article asserts that it is finite over a complete local ring containing a field with perfect residue field. Our methods also give a ring-theoretic proof of the affine case of Rouquier's theorem.     

Landau-Ginzburg/Calabi-Yau correspondence,global mirror symmetry and Orlov equivalence

We show that the Gromov-Witten theory of Calabi-Yau hypersurfaces matches, in genus zero and after an analytic continuation, the quantum singularity theory (FJRW theory) recently introduced by Fan, Jarvis and Ruan following a proposal of Witten. Moreover, on both sides, we highlight two remarkable integral local systems arising from the common formalism of $\widehat {\Gamma }$ -integral structures applied to the derived category of the hypersurface {W=0} and to the category of graded matrix factorizations of W. In this setup, we prove that the analytic continuation matches Orlov equivalence between the two above categories.     

Lifting to Cluster-Tilting Objects in 2-Calabi–Yau Triangulated Categories

We show that a tilting module over the endomorphism algebra of a cluster-tilting object in a 2-Calabi–Yau triangulated category lifts to a cluster-tilting object in this 2-Calabi–Yau triangulated category. This generalizes a recent work of Smith for cluster categories.     

Homological mirror symmetry for Brieskorn�CPham singularities

We prove that the derived Fukaya category of the Lefschetz fibration defined by a Brieskorn–Pham polynomial is equivalent to the triangulated category of singularities associated with the same polynomial together with a grading by an abelian group of rank one. Symplectic Picard-Lefschetz theory developed by Seidel is an essential ingredient of the proof.     

A Characterization of Quasi-Homogeneous Purely Elliptic Complete Intersection Singularities

It is well-known that quasi-homogeneity is characterized by equality of the Milnor and Tjurina numbers for isolated complex analytic hypersurface singularities and for certain low-dimensional singularities. In this paper we prove that this characterization extends to isolated purely elliptic complete intersection singularities, with bounds on neither the embedding codimension nor the dimension of the singularity.     

On one-sided torsion pair

Motivated by the concept of a torsion pair in a pre-triangulated category induced by Beligiannis and Reiten, the notion of a left (right) torsion pair in the left (right) triangulated category is introduced and investigated. We provide new connections between different aspects of torsion pairs in one-sided triangulated categories, pre-triangulated categories, stable categories and derived categories.     

Lanne's T-functor and Hypersurfaces

Through discussing the transformation of the invariant ideals, we firstly prove that the T-functor can only decrease the embedding dimension in the category of unstable algebras over the Steenrod algebra. As a corollary we obtain that the T-functor preserves the hypersurfaces in the category of unstable algebras. Then with the applications of these results to invariant theory, we provide an alternative proof that if the invariant of a finite group is a hypersurface, then so are its stabilizer subgroups. Moreover, by several counter-examples we demonstrate that if the invariants of the stabilizer subgroups or Sylow p-subgroups are hypersurfaces, the invariant of the group itself is not necessarily a hypersurface.     

Derived categories of sheaves on singular schemes with an application to reconstruction

We prove that the bounded derived category of coherent sheaves with proper support is equivalent to the category of locally-finite, cohomological functors on the perfect derived category of a quasi-projective scheme over a field. We introduce the notions of pseudo-adjoints and Rouquier functors and study them. As an application of these ideas and results, we extend the reconstruction result of Bondal and Orlov to Gorenstein projective varieties.