Preprojective Algebras Interacting with Singularities, Cohen-Macaulay Modules and Weighted projective Spaces (15w5116)

Arriving in Oaxaca, Mexico Sunday, October 4 and departing Friday October 9, 2015


Ragnar-Olaf Buchweitz (University of Toronto Scarborough)

(Centro de Investigación en Matemáticas)

(Nagoya University)

Helmut Lenzing (University of Paderborn)


1. Preprojective algebras
Classical preprojective algebras, introduced by Gelfand-Ponomarev cite{Gelfand:Ponomarev:1979}, are a well-studied topic of the representation theory of finite quivers or, in different terminology, of finite dimensional hereditary algebras. If $H$ is such an algebra, supposed to be of infinite representation type, the associated preprojective algebra $Pi(H)$ occurs in two differently looking, but isomorphic, incarnations, see cite{Baer:Geigle:Lenzing:1987}. The first one owes its existence to Auslander-Reiten theory: The orbit $(tau^{-n}H)$, $ngeq0$, of the inverse Auslander-Reiten translation, has the category of all preprojective $H$-modules as its additive closure, hence a well-understood category of combinatorial flavor. By setting $R=bigoplus_{ngeq0}R_n$ with $R_n=mathrm{Hom}(H,tau^{-n}H)$, we obtain the graded preprojective algebra as an orbit algebra. The second approach is homological in nature: If $D$ denotes the standard vector space duality, one first forms the $(H,H)$-bimodule $mathrm{Ext}^1(DH,H)$ describing the homological interaction between projective and injective $H$-modules, and then obtains the tensor algebra $mathbb{T}({mathrm{Ext}^1(DH,H)})$ as a natural algebraic object which encodes this kind of homological interplay.

A well-established approach to study the graded preprojective algebra, is by treating it as a cone singularity, that is, by studying its graded projective spectrum. This is done by applying Serre's construction cite{Serre:1955}, which associates to the setting an abelian category, to be interpreted as a category of coherent sheaves on a space $mathbb{X}$ incorporating the geometry of the problem. If $H$ is tame, that is, if $H$ is the path algebra of an extended Dynkin quiver, then this category $mathrm{coh},mathbb{X}$ is known to be equivalent to the category of coherent sheaves on a weighted projective line $mathbb{X}(a,b,c)$, whose weight type is given by a Dynkin triple $(a,b,c)$ cite{Geigle:Lenzing:1987},cite{Baer:Geigle:Lenzing:1987}. If $H$ is wild, the space $mathbb{X}$ is still mysterious. But even then, actually in both cases, the category $mathrm{coh},mathbb{X}$ is well understood, since it is derived equivalent to the category $mod{H}$ of finite dimensional $H$-modules cite{Lenzing:1986}, cite{Minamoto:2008}, cite{Minamoto:2012}.

One major attempt at this workshop will be to obtain a better understanding of the so-called emph{higher preprojective algebras}, see cite{Iyama:Oppermann:2013,Kel11}, by choosing a similar geometric approach. Simplifying, such a $d$-preprojective algebra $Pi^{(d)}(A)$ can be attached to any finite dimensional algebra $A$ of finite global dimension $d$, just by forming the tensor algebra of the $(A,A)$-bimodule $mathrm{Ext}^d(DA,A)$. Moreover, in good cases, $d$ also has a geometric interpretation of a (possibly non-commutative) smooth projective variety. This amounts to putting severe additional restrictions on $A$, because the ring-theoretic properties of $Pi^{(d)}(A)$ are usually not good enough to support a successful geometric analysis. In the framework of higher Auslander-Reiten theory, a group of researchers [HIMO] (Herschend-Iyama-Minamoto-Oppermann) is investigating the setting. By now, promising preliminary results have been obtained cite{Oppermann:2013}, cite{Iyama:2013}. Specializing to socalled $d$-emph{representation-infinite} algebras, one obtains noetherian algebras with the potential to undertake a geometric analysis via Serre construction. Up to now, however, only few cases have lead to a fairly complete analysis. As these partial results indicate, there is a good chance to identify more of the obtained spaces to be weighted projective spaces or, in a different setup, as orbifolds, a class of geometric objects typically arising as quotients of well-behaved geometrical group actions.

This explains current interest in this new kind of spaces, where currently two groups [HIMO] and [KLM] (Kussin-Lenzing-Meltzer), see cite{Kussin:Lenzing:Meltzer:2013adv}, cite{Lenzing:2013}, cite{Lenzing:2013a}, in particular two of the organizers, are involved.

2. Weighted projective spaces
Weighted projective varieties, containing the class of weighted projective spaces, apparently made their first appearance as Satake's V-spaces cite{Satake:1956} already in 1956.

Still at present, there is no generally accepted concept for the `right definition' of a weighted projective space. Correspondingly, the present knowledge on such spaces is very fragmentary. Only slight exaggerating, it is true that there is a chaos of competing and incompatible definitions, and a corresponding confusion concerns the results. In the setting of algebraic geometry, weighted projective spaces were introduced and studied by I. Dolgachev cite{Dolgachev:1982} and Beltrametti-Robbiano cite{Beltrametti:Robbiano:1986}. These spaces, let's call them having type (I), arise by allowing a grading for the projective coordinate algebra, an appropriate polynomial algebra, where the generators get arbitrary positive degrees. The resulting (classical) projective spectrum then, typically, is a singular space. More recently, it gets customary in this situation, alternatively, to form the attached category of coherent sheaves by means of the associated emph{graded} projective spectrum, equivalently by Serre construction cite{Auroux:Katzarkov:Orlov:2008}. The advantage of such an approach is to obtain a non-singular or smooth weighted projective space $mathbb{X}$ whose category $mathrm{coh},mathbb{X}$ of coherent sheaves thus has finite global dimension. We will say, that these spaces have type (II).

A similar approach also yielding smooth weighted projective spaces was already established in the late 1980's by Geigle-Lenzing cite{Geigle:Lenzing:1987} and D. Baer cite{Baer:1988} where the coordinate algebra of the `underlying' projective space $mathbb{P}^d$ is suitably graded by a finitely generated, rank one abelian group $mathbb{L}$ and then Serre's construction is applied to obtain the categories $mathrm{coh},mathbb{X}$. Let's call these spaces to have type (III). To complicate the situation, Geigle-Lenzing introduced the concept of a weighted projective line, resulting in a space $mathbb{X}$ with a finite number of `weighted' points. Weighted projective lines turn out to be an important tool in the representation theory of finite dimensional algebras, and by a theorem of Happel cite{Happel:2001} their categories of coherent sheaves $mathrm{coh},mathbb{X}$ exhaust together with the module categories $mod{H}$ over a finite quiver (without oriented cycles) --- up to derived equivalence --- the class of hereditary categories with a tilting object. Due to Happel's result, it is generally accepted, that the concept of weighted projective lines is the proper notion for dimension one. However, a weighted projective line is typically NOT a one-dimensional weighted projective space of type (I), (II) or (III). Let's therefore call the weighted projective lines to have type (iv).

Only very recently in ongoing research, weighted projective spaces of type (IV), where specialization to dimension one agrees with type (iv), were introduced independently by [HIMO] and [KLM]. Both groups are following complementary motivations. These spaces, called GL-spaces by [HIMO], will be said to have type (IV).

(i)The motivation of [KLM] is a study of the (suitably graded) singularity theory of Brieskorn singularities $f=x_1^{a_1}+x_2^{a_2}+cdots+x_t^{a_t}$. Following the well-established pattern of the study of triangle singularities (case $t=3$) cite{Kussin:Lenzing:Meltzer:2013adv}, one associates by Serre construction to a Brieskorn singularity, more generally, to a complete intersection of such ones, a non-commutative projective space $mathbb{X}$, that turns out to be a weighted projective space over $mathbb{P}^d$, $d=t-2$, where as in type (III) the weights (expressed by multiplicities of simple sheaves) are concentrated in $t$ hyperplanes of $mathbb{P}^d$.

(ii) The motivation for [HIMO] is to create a set-up to produce algebraic and geometric applications for a number of important concepts from the higher Auslander-theory, also developed by these researchers. Let us just mention the $d$-representation-finite and $d$-representation-infinite algebras and, very importantly, for such classes of finite dimensional algebras the $d$-preprojective algebras which are usually infinite dimensional. [HIMO] is, in particular, interested in the class of $d$-canonical algebras, defined to be the endomorphism algebra of a canonical tilting object $T$ on a GL-space. ($T$ is a direct sum of line bundles, naturally arising in the theory.) Of particular interest for this, are the $d$ canonical algebras $Lambda$, where the GL-space $mathbb{X}$ has emph{Fano type}, corresponding to positive Gorenstein parameter. Conjecturally, assuming Fano type, the algebra $Lambda$ is $d$-representation-infinite, implying a nice behavior of the associated $d$-preprojective algebra $Pi=Pi^{(d)}(Lambda)$. It is expected that the associated geometric object then is the weighted projective space $mathbb{X}$, again.

As a byproduct, the Workshop aims to clarify the relationship between weighted projective spaces of smooth type (II), (III) and (IV) by taking the respective weight loci, that is, the arrangements of subspaces (or subvarieties) endowed with weights as an ordering principle. For instance, it is easy to see that for types (III) and (IV) the weights are concentrated on hyperplanes; moreover type (III) is a subclass of type (IV) if we allow weights to be one. For type (II), a preliminary analysis shows that the weights may be concentrated in subspaces of many different dimensions (points, lines, planes, ldots). However, the present knowledge is fragmentary, and quite unsatisfactory, not yet allowing a global picture about the arising arrangements of subspaces.

-Singularity theory and Cohen-Macaulay representations
The theory of Cohen-Macaulay representations of isolated singularities is controlled by Auslander-Reiten theory cite{Aus78,Yos90}. Among others, by algebraic McKay correspondence due to Auslander cite{Aus86}, the stable category of Cohen-Macaulay modules over a simple surface singularity is equivalent to the 1-cluster category of the path algebra of a Dynkin quiver, that is the orbit category of the derived category by the action of the Auslander-Reiten translation. Recently, a similar type of equivalences was given in cite{AIR11,BH,TV10} between the stable category of Cohen-Macaulay
modules over a certain class of quotient singularity in dimension $d$ and the $(d-1)$-cluster category of a certain finite dimensional algebra by using the $d$-preprojective algebra.

As mentioned in the last section, a weighted projective space leads to a (graded) coordinate algebras $S$ that is determined by Brieskorn singularities or, more generally, to a complete intersections of Brieskorn singularities. Accordingly, $S$ is a graded hypersurface (resp. a Gorenstein) singularity. The proposed Workshop will thus focus on the singularity theory of hypersurface, respectively Gorenstein, singularities but not restrict to those coming from Brieskorn singularities. A general feature for them is that the natural habitat for their investigation is the study of associated Cohen-Macaulay representations, which in the situation, we focus upon, is built by the category of graded Cohen-Macaulay modules, carrying a natural exact structure, which is Frobenius and leads to the triangulated stable category of Cohen-Macaulay modules cite{Buchweitz:1986},cite{Orlov:2009}. This category, in turn, is in the center of many investigations, and related to the strange duality of Arnold, more generally to mirror symmetry and mathematical physics (matrix factorizations and Landau-Ginzburg models).

In particular, we are going to investigate situations where the stable categories are (fractionally) Calabi-Yau; an instance of this is given by the graded coordinate algebras of weighted projective spaces, given by a single Brieskorn singularity. Further, and then assuming the base field of complex numbers, we will look into recent work by Ebeling and Takahashi giving interpretations of the Milnor lattice for certain isolated singularity, equipped with the Seifert form, to be isomorphic to the Grothendieck group of the stable category of Cohen-Macaulay modules, equipped with the homological Euler form, giving a new grip to attack mirror symmetry from a new angle.

Finally, and complementing a fundamental theorem by Orlov cite{Orlov:2009}, relating the derived category $mathrm{coh},mathbb{X}$ and the singularity category of $S$ by perpendicular constructions, we want to investigate another relationship, sofar only established for triangle singularities cite{Kussin:Lenzing:Meltzer:2013adv}, to investigate conditions, allowing to interpret the category of (graded) Cohen-Macaulay modules directly as a full subcategory of the category of vector bundles on $mathbb{X}$. In particular, the search for tilting objects will then conjecturally lead to interesting classes of vector bundles, not identified sofar. In the spirit of cite{Lenzing:Pena:2008}, we will also investigate the K-theoretic implications.

D. Auroux, L. Katzarkov, and D. Orlov, emph{Mirror symmetry for
weighted projective planes and their noncommutative deformations}, Ann. of
Math. (2) textbf{167} (2008), no.~3, 867--943. MR{2415388 (2009f:53142)}

bibitem[Aus78]{Aus78}{M. Auslander, Functors and morphisms determined by objects, Representation theory of algebras (Proc. Conf., Temple Univ.,
Philadelphia, Pa., 1976), pp. 1?244. Lecture Notes in Pure
Appl. Math., Vol. 37, Dekker, New York, 1978.}

bibitem[Aus86]{Aus86}{M. Auslander, Rational singularities and almost split
sequences, Trans. Amer. Math. Soc. 293 (1986), no. 2, 511--531.}

bibitem[AIR11]{AIR11}{C. Amiot, O. Iyama, I. Reiten, Stable categories
of Cohen-Macaulay modules and cluster categories, arXiv:1104.3658.}

D. Baer, emph{Tilting sheaves in representation theory of algebras},
Manuscripta Math. textbf{60} (1988), no.~3, 323--347. MR{928291

D. Baer, W. Geigle, and H. Lenzing, emph{The preprojective algebra
of a tame hereditary {A}rtin algebra}, Comm. Algebra textbf{15} (1987),
no.~1-2, 425--457. MR{876985 (88i:16036)}

M. Beltrametti and L. Robbiano, emph{Introduction to the theory of
weighted projective spaces}, Exposition. Math. textbf{4} (1986), no.~2,
111--162. MR{879909 (88h:14052)}

R. Buchweitz, emph{{Maximal Cohen-Macaulay Modules and
Tate-Cohomology over Gorenstein Rings}}, preprint, 1986,
texttt{}, 1986.

bibitem[BH]{BH}{R. Buchweitz, L. Hille, in preparation.}

Igor Dolgachev, emph{Weighted projective varieties}, Group actions and vector
fields ({V}ancouver, {B}.{C}., 1981), Lecture Notes in Math., vol. 956,
Springer, Berlin, 1982, pp.~34--71. MR{704986 (85g:14060)}

W. Geigle and H. Lenzing, emph{A class of weighted projective curves
arising in representation theory of finite-dimensional algebras},
Singularities, representation of algebras, and vector bundles ({L}ambrecht,
1985), Lecture Notes in Math., vol. 1273, Springer, Berlin, 1987,
pp.~265--297. MR{915180 (89b:14049)}

I.~M. Gel{cprime}fand and V.~A. Ponomarev, emph{Model algebras and
representations of graphs}, Funktsional. Anal. i Prilozhen. textbf{13}
(1979), no.~3, 1--12. MR{545362 (82a:16030)}

D. Happel, emph{A characterization of hereditary categories with tilting
object}, Invent. Math. textbf{144}, 381--398, 2001. MR{1827736 (2002a:18014)}

O. Iyama and S. Oppermann, emph{Stable categories of higher
preprojective algebras}, Adv. Math. textbf{244} (2013), 23--68. MR{3077865}

O. Iyama, emph{Geigle-lenzing spaces and canonical algebras in dimension
$d$}, Talk at the second ARTA Conference, Torun, September 2013.

bibitem[Kel11]{Kel11}{B. Keller, Deformed Calabi-Yau completions, With Appendix by Michel Van den Bergh, J. Reine Angew. Math., 654 (2011), 125?180.}

D. Kussin, H. Lenzing, and H. Meltzer, emph{Triangle singularities,
{ADE}-chains, and weighted projective lines}, Adv. Math. textbf{237} (2013),
194--251. MR{3028577}

H. Lenzing and J.~A. de~la Peña, emph{Spectral analysis of
finite dimensional algebras and singularities}, Trends in representation
theory of algebras and related topics, EMS Ser. Congr. Rep., Eur. Math. Soc.,
Zürich, 2008, pp.~541--588. MR{2484735 (2010i:16017)}

H. Lenzing, emph{Categories of matrix factorizations for Brieskorn (and
triangle) singularities. Talk at Oberwolfach-workshop on Matrix Factorizations, September 2013}.

H. Lenzing, emph{Categories of matrix factorizations for triangle (and Brieskorn) singularities. Talk at ESI-workshop on Matrix Factorizations, Vienna, May 2013}.

H. Lenzing, emph{Curve singularities arising from the representation theory of
tame hereditary algebras}, Representation theory, {I} ({O}ttawa, {O}nt.,
1984), Lecture Notes in Math., vol. 1177, Springer, Berlin, 1986,
pp.~199--231. MR{842467 (87i:16060)}

H. Minamoto, emph{A noncommutative version of {B}eilinson's theorem}, J.
Algebra textbf{320} (2008), no.~1, 238--252. MR{2417986 (2009i:16027)}

H. Minamoto, emph{Ampleness of two-sided tilting complexes}, Int. Math. Res. Not. IMRN (2012), no.~1, 67--101. MR{2874928}

Steffen Oppermann, emph{$d$-dimensional Geigle-lenzing spaces and canonical
algebras}, Talk at the Auslander Conference, Woodshole, April 2013.

D. Orlov, emph{Derived categories of coherent sheaves and triangulated
categories of singularities}, Algebra, arithmetic, and geometry: in honor of
{Y}u. {I}. {M}anin. {V}ol. {II}, Progr. Math., vol. 270, Birkhäuser Boston
Inc., Boston, MA, 2009, pp.~503--531. MR{2641200 (2011c:14050)}

I.~Satake, emph{On a generalization of the notion of manifold}, Proc. Nat.
Acad. Sci. U.S.A. textbf{42} (1956), 359--363. MR{0079769 (18,144a)}

Jean-Pierre Serre, emph{Faisceaux algébriques cohérents}, Ann. of Math.
(2) textbf{61} (1955), 197--278. MR{0068874 (16,953c)}

bibitem[TV10]{TV10}{L. Thanhoffer de Völcsey, M. Van den Bergh,
emph{Explicit models for some stable categories of maximal
Cohen-Macaulay modules}, arXiv:1006.2021.}

bibitem[Yos90]{Yos90}{Y. Yoshino, Cohen-Macaulay modules over Cohen-Macaulay rings, London Mathematical Society Lecture Note Series, 146.
Cambridge University Press, Cambridge, 1990.}