arXiv subjects
Publications and source records attributed to Michel Van den Bergh.
In this paper we give a direct proof of the properties of the $\ZZ D_\infty$ category which was introduced in the classification of noetherian, hereditary categories with Serre duality by Idun Reiten and the author.
In this paper we develop the basic infinitesimal deformation theory of abelian categories. This theory yields a natural generalization of the well-known deformation theory of algebras developed by Gerstenhaber. As part of our deformation theory we define a notion of flatness for abelian categories. We show that various basic properties are preserved under flat deformations and we construct several equivalences between deformation problems.
Assume that $S$ is a semigroup generated by $\{x_1,...,x_n\}$, and let $\Uscr$ be the multiplicative free commutative semigroup generated by $\{u_1,...,u_n\}$. We say that $S$ is of \emph{$I$-typ}e if there is a bijection $v:\Uscr\r S$ such that for all $a\in\Uscr$, $\{v(u_1a),... v(u_na)\}=\{x_1v(a),...,x_nv(a)\}$. This condition appeared naturally in the work on Sklyanin algebras by John Tate and the second author. In this paper we show that the condition for a semigroup to be of $I$-type is related to various other mathematical notions found in the literature. In particular we show that semigroups of $I$-type appear in the study of the settheoretic solutions of the Yang-Baxter equation, in the theory of Bieberbach groups and in the study of certain skew binomial polynomial rings which were introduced by the first author.
Let W be a finite dimensional representation of a linearly reductive group G over a field k. Motivated by their work on classical rings of invariants, Levasseur and Stafford asked whether the ring of invariants under G of the symmetric algebra of W has a simple ring of differential operators. In this paper, we show that this is true in prime characteristic. Indeed, if R is a graded subring of a polynomial ring over a perfect field of characteristic p>0 and if the inclusionof R into S splits, then D_k(R) is a simple ring. In the last section of the paper, we discuss how one might try to deduce the characteristic zero case from this result. As yet, however, this is a subtle problem and the answer to the question of Levasseur and Stafford remains open in characteristic zero.
If Y,Z are three-dimensional smooth varieties related by a flop, then Bondal and Orlov conjectured that the derived categories of coherent sheaves on Y and Z are equivalent. This conjecture was recently proved by Bridgeland. Our aim in this paper is to give a partially new proof of Bridgeland's result using non-commutative rings. The new proof also covers some mild singular and higher dimensional situations (including the one in the recent paper by Chen: ``Flops and Equivalences of derived Categories for Threefolds with only Gorenstein Singularities'').
We give a sufficient condition for an Ext-finite triangulated category to be saturated. Saturatedness means that every contravariant cohomological functor of finite type to vector spaces is representable. The condition consists in existence of a strong generator. We prove that the bounded derived categories of coherent sheaves on smooth proper commutative and noncommutative varieties have strong generators, hence saturated. In contrast the similar category for a smooth compact analytic surface with no curves is not saturated.
In this paper we classify noetherian hereditary abelian categories satisfying Serre duality in the sense of Bondal and Kapranov. As a consequence we obtain a classification of saturated noetherian hereditary categories. As a side result we show that when our hereditary categories have no nonzero projectives or injectives, then the Serre duality property is equivalent to the existence of almost split sequences.
A conjecture of Kac states that the polynomial counting the number of absolutely indecomposable representations of a quiver over a finite field with given dimension vector has positive coefficients and furthermore that its constant term is equal to the multiplicity of the corresponding root in the associated Kac-Moody Lie algebra. In this paper we prove these conjectures for indivisible dimension vectors.
The representations of dimension vector $α$ of the quiver Q can be parametrised by a vector space $R(Q,α)$ on which an algebraic group $\Gl(α)$ acts so that the set of orbits is bijective with the set of isomorphism classes of representations of the quiver. We describe the semi--invariant polynomial functions on this vector space in terms of the category of representations. More precisely, we associate to a suitable map between projective representations a semi-invariant polynomial function that describes when this map is inverted on the representation and we show that these semi-invariant polynomial functions form a spanning set of all semi-invariant polynomial functions in characteristic 0. If the quiver has no oriented cycles, we may replace consideration of inverting maps between projective representations by consideration of representations that are left perpendicular to some representation of dimension vector $α$. These left perpendicular representations are just the cokernels of the maps between projective representations that we consider.
In this paper we will think of certain abelian categories with favorable properties as non-commutative surfaces. We show that under certain conditions a point on a non-commutative surface can be blown up. This yields a new non-commutative surface which is in a certain sense birational to the original one. This construction is analogous to blowing up a Poisson surface in a point of the zero-divisor of the Poisson bracket. By blowing up $\le 8$ points in the elliptic quantum plane one obtains global non-commutative deformations of Del-Pezzo surfaces. For example blowing up six points yields a non-commutative cubic surface. Under a number of extra hypotheses we obtain a formula for the number of non-trivial simple objects on such non-commutative surfaces.
Assume that $X$ is a surface over an algebraically closed field $k$. Let $\tilde{X}$ be obtained from $X$ by blowing up a smooth point and let $L$ be the exceptional curve. Let $\coh(X)$ be the category of coherent sheaves on $X$. In this note we show how to recover $\coh({X})$ from $\coh(\tilde{X})$, if we know the object $\Oscr_L(L)$.