Hereditary noetherian categories with a tilting complex

We are characterizing the categories of coherent sheaves on a weighted projective line as the small hereditary noetherian categories without projectives and admitting a tilting complex. The paper is related to recent work with de la Peña (Math. Z., to appear) characterizing finite dimensional algebras with a sincere separating tubular family, and further gives a partial answer to a question of Happel, Reiten, Smalø (Mem. Amer. Math. Soc. 120 (1996), no. 575) regarding the characterization of hereditary categories with a tilting object.

     

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.     

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.     

Exceptional Pairs in Hereditary Categories

We study the category 𝒞(X, Y) generated by an exceptional pair (X, Y) in a hereditary category ?. If r = dim _k Hom(X, Y) ≥ 1 we show that there are exactly 3 possible types for 𝒞(X, Y), all derived equivalent to the category of finite dimensional modules mod(H _r ) over the r-Kronecker algebra H _r . In general 𝒞(X, Y) will not be equivalent to a module category. More specifically, if ? is the category of coherent sheaves over a weighted projective line 𝕏, then 𝒞(X, Y) is equivalent to the category of coherent sheaves on the projective line ?¹ or to mod(H _r ) and, if 𝕏 is wild, then every r ≥ 1 can occur in this way.     

Schofield Induction for Sheaves on Weighted Projective Lines

We show that each exceptional vector bundle on a weighted projective line in the sense of Geigle and Lenzing can be obtained by Schofield induction from exceptional sheaves of rank one and zero. This relates to results of Ringel concerning modules over finite dimensional k-algebras over an arbitrary field.     

On the composition subalgebras of Bridgeland’s Hall algebras

Let A be a finite dimensional hereditary algebra over a finite field k and 𝒫 the category consisting of finite dimensional projective (left) A-modules. In this paper, we consider the composition subalgebra of Bridgeland’s Hall algebra of the category 𝒞_m(𝒫) of m-cyclic complexes for any positive integer m≥2 and determine its generating relations.     

The automorphism group of the derived category for a weighted projective line

We show that up to a translation each automorphism of the derived category D ^b X of coherent sheaves on a weighted projective line X, equiv-alently of the derived category D ^b A of finite dimensional modules over a derived canonical algebra A, is composed of tubular mutations and automorphisms of X. In the case of genus one this implies that the automorphism group is a semi-direct product of the braid group on three strands by a finite group.

Moreover we prove that most automorphisms lift from the Grothendieck group to the derived category.     

Auslander–Reiten sequences on schemes

Auslander–Reiten sequences are the central item of Auslander–Reiten theory, which is one of the most important techniques for the investigation of the structure of abelian categories. This note considers X, a smooth projective scheme of dimension at least 1 over the field k, and , an indecomposable coherent sheaf on X. It is proved that in the category of quasi-coherent sheaves on X, there is an Auslander–Reiten sequence ending in .     

Semi-orthogonal decomposability of the derived category of a curve

We show that the bounded derived category of coherent sheaves on a smooth projective curve except the projective line admits no non-trivial semi-orthogonal decompositions.     

Gorenstein categories and Tate cohomology on projective schemes

We study Gorenstein categories. We show that such a category has Tate cohomological functors and Avramov–Martsinkovsky exact sequences connecting the Gorenstein relative, the absolute and the Tate cohomological functors. We show that such a category has what Hovey calls an injective model structure and also a projective model structure in case the category has enough projectives. As examples we show that if X is a locally Gorenstein projective scheme then the category ??????(X) of quasi‐coherent sheaves on X is such a category and so has these features. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The Witt Ring of a Smooth Projective Curve Over a Finite Field

In this paper, we calculate the Witt ring W(C) of a smooth geometrically connected projective curve C over a finite field with characteristic other than 2. We view W(C) as a subring of W(k(C)) where k(C) is the function field of C. The calculation is then completed using classical results for bilinear spaces over fields.     

Naïve noncommutative blowups at zero-dimensional schemes

In an earlier paper [D.S. Keeler, D. Rogalski, J.T. Stafford, Naïve noncommutative blowing up, Duke Math. J. 126 (2005) 491–546, MR 2120116], we defined and investigated the properties of the naïve blowup of an integral projective scheme X at a single closed point. In this paper we extend those results to the case when one naïvely blows up X at any suitably generic zero-dimensional subscheme Z. The resulting algebra A has a number of curious properties; for example it is noetherian but never strongly noetherian and the point modules are never parametrized by a projective scheme. This is despite the fact that the category of torsion modules in qgr-A is equivalent to the category of torsion coherent sheaves over X. These results are used in the companion paper [D. Rogalski, J.T. Stafford, A class of noncommutative projective surfaces, in press] to prove that a large class of noncommutative surfaces can be written as naïve blowups.     

Quotient categories,stability conditions,and birational geometry

This article deals with the quotient category of the category of coherent sheaves on an irreducible smooth projective variety by the full subcategory of sheaves supported in codimension greater than c. We prove that this category has homological dimension c. As an application, we describe the space of stability conditions on its derived category in the case c  \(=\) 1. Moreover, we describe all exact equivalences between these quotient categories in this particular case, which is closely related to classification problems in birational geometry.     

A Gabriel Theorem for coherent twisted sheaves

The aim of this work is to give a generalization of Gabriel’s Theorem on coherent sheaves to coherent twisted sheaves on noetherian schemes. We start by showing that we can recover a noetherian scheme X from the category Coh(X, α) of coherent α-twisted sheaves over X, where α lies in the cohomological Brauer group of X. This follows from the bijective correspondence between closed subsets of X and Serre subcategories of finite type of Coh(X, α). Moreover, any equivalence between Coh(X, α) and Coh(Y, β), where X and Y are noetherian schemes, and , β Br ′(Y) induces an isomorphism between X and Y.     

Integral approximation of the characteristic function of an interval and the Jackson inequality in C($$ \mathbb{T} $$)

We give an analog of D.O. Orlov’s theorem on semiorthogonal decompositions of the derived category of projective bundles for the case of equivariant derived categories. Under the condition that the action of a finite group on the projectivization X of a vector bundle E is compatible with the twisted action of the group on the bundle E, we construct a semiorthogonal decomposition of the derived category of equivariant coherent sheaves on X into subcategories equivalent to the derived categories of twisted sheaves on the base scheme.     

On the structure of modules over wild hereditary algebras Dedicated to Daniel Simson on the occasion of his sixtieth birthday

 Let H be a connected finite dimensional wild hereditary path-algebra over an arbitrary field K and the Auslander-Reiten translation on H-mod, the category of finite dimensional H-modules. Let X be a finite dimensional H-module. We prove unexpected new results on the structure of the shifted modules , for , their minimal projective and injective resolutions, and the Auslander-Reiten components of the one-point extensions and coextensions of H by the modules . Received: 5 November 2001     

Quasicoherent sheaves on complex noncommutative two-tori

We introduce the notion of a quasicoherent sheaf on a complex noncommutative two-torus T as an ind-object in the category of holomorphic vector bundles on T. Extending the results of [10] and [9] we prove that the derived category of quasicoherent sheaves on T is equivalent to the derived category of usual quasicoherent sheaves on the corresponding elliptic curve. We define the rank of a quasicoherent sheaf on T that can take arbitrary nonnegative real values. We study the category Qcoh(η _T ) obtained by taking the quotient of the category of quasicoherent sheaves by the subcategory of objects of rank zero (called torsion sheaves). We show that projective objects of finite rank in Qcoh(η _T ) are classified up to an isomorphism by their rank. We also prove that the subcategory of objects of finite rank in Qcoh(η _T ) is equivalent to the category of finitely presented modules over a semihereditary algebra.     

Stability conditions and extremal contractions

We study extremal contractions from smooth projective varieties via a moduli theoretic approach. In the two dimensional case, we show that any extremal contraction appears as a moduli space of Bridgeland stable objects in the derived category of coherent sheaves. In the three dimensional case, we show that a a similar result holds with respect to conjectural Bridgeland stability conditions.     

Composition algebras and outer automorphisms of algebraic groups via triality

In this note, we establish an equivalence of categories between the category of all eight-dimensional composition algebras with any given quadratic form n over a field k of characteristic not two, and a category arising from an action of the projective similarity group of n on certain pairs of automorphisms of the group scheme PGO⁺(n) defined over k. This extends results recently obtained in the same direction for symmetric composition algebras. We also derive known results on composition algebras from our equivalence.