18 0. BACKGROUNDWe say that M is a (tame) bimodule of (dimension) type (2, 2), (1, 4) or (4, 1) ifthis pair is ([M : F ], [M : G]). We call the number ε ∈{1, 2} the numerical type ofM (or of X), which is defined by{1 if M is of type (2, 2).ε =2 if M is of type (1, 4) or (4, 1).The numerical type is an invariant of the curve X.With κ := 〈[L], [L]〉, for the normalization factor c =[Z : 〈K 0 (X), w〉] asabovewe have c = κε.0.3.17 (Automorphism groups). Let X be an exceptional curve with associatedabelian hereditary category H and structure sheaf L. DenotebyAut(H) theautomorphism class group of H, that is, the group of isomorphism classes of autoequivalencesof H (in the literature sometimes also called the Picard group [8],which has a different meaning in our presentation). We call this group the automorphismgroup of H and call the elements automorphisms. (If there is need toemphasize the base field k, wealsowriteAut k (X) and use a similar notation inanalogue situations.)By a slight abuse of terminology, we will also call the autoequivalences themselvesautomorphisms, that is, the representatives of such classes; if F is an autoequivalence,then its class in the automorphism group is also denoted by F .The subgroup of elements of Aut(H) fixingL (up to isomorphism) is denotedby Aut(X), the automorphism group of X. (We will later see that this group doesnot dependent on L.)Each element φ ∈ Aut(H) induces a bijective map φ on the points of X byφ(U x )=U φ(x)for all x ∈ X. Wecallφ the shadow of φ. Ifφ lies in the kernel of thehomomorphism Aut(H) −→ Bij(X), φ ↦→ φ, thenwecallφ point fixing (or invisibleon X). If φ(x) =x we also say (by a slight abuse of terminology) that the point xis fixed by φ. Similarly, if φ(x) =y we also write φ(x) =y.Denote by Aut 0 (H) the (normal) subgroup of Aut(H) given by the point fixingautomorphisms.Non-trivial elements of Aut(X) which are point fixing are called ghost automorphisms,orjustghosts. The subgroup G of Aut(X) formed by the ghosts is called theghost group. It is a normal subgroup of Aut(H). We have G =Aut(X) ∩ Aut 0 (H).We call the factor group Aut(X)/G the geometric automorphism group of X, itselements geometric automorphisms. By a slight abuse of terminology, we also callthe elements in Aut(X) which are not ghosts geometric.Denote by Aut(D b (X)) the group of isomorphism classes of exact autoequivalencesof the triangulated category D b (X), called the automorphism group of D b (X).(Compare also [9]. There is also the related notion of the derived Picard group [82].)0.3.18 (Projective coordinate algebras). Let H be a finitely generated abeliangroup of rank one, which is equipped with a partial order ≤, compatible with thegroup structure. Let R = ⊕ h∈H R h be an H-graded k-algebra, such that eachhomogeneous component R h is finite dimensional over k and such that R h =0for0 ≰ h. Assume moreover that R is a finitely generated k-algebra and noetherian.Note that we do not require that R is commutative.Denote by mod H (R) the category of finitely generated right H-graded R-modules, and by mod H 0 (R) the full subcategory of graded modules of finite length
0.4. TUBULAR SHIFTS 19(which is equivalent to finite k-dimension). This is a Serre subcategory of mod H (R),that is, it is closed under subobjects, quotients and extensions. The quotient categorymod H (R)/ mod H 0 (R) is taken in the Serre-Grothendieck-Gabriel sense. Werefer to [85].Then the graded algebra R is called a projective coordinate algebra for X ifthere is an equivalence of categoriesH≃ modH (R)mod H 0 (R) .Each exceptional curve admits a projective coordinate algebra, even a Z-graded one(see 6.2.1). Thus, in the terminology of [2], H is a (noncommutative) noetherianprojective scheme.Note that a projective coordinate algebra is not uniquely determined by X.One of the main aims of this article is to show that there is a projective coordinatealgebra with “good” ringtheoretical properties.0.4. Tubular shiftsOne of the most important concepts we will use in these notes is that of shiftautomorphisms as developed in [70], which is a particular class of tubular mutations[71, 79, 80]. For the details we refer to [70]. Since we will also deal withthe degree shift of graded objects, we will call a shift automorphism in the senseof [70] atubular shift or just shift associated to a point.0.4.1. Let X be an exceptional curve with associated hereditary category Hand tubular family H 0 = ∐ x∈X U x, with connected uniserial length categories U xwhich are pairwise orthogonal. We fix a point x ∈ X of weight p(x). Let S x be asimple object in U x ,denotebyS x additive closure of the Auslander-Reiten orbit ofS x , which consists of the semisimple objects from U x .Let M be an object. By the semisimplicity of the category S x , for the objectp(x)⊕M x = Ext 1 (τ j S x ,M) ⊗ End(Sx ) τ j S xj=1there is a natural isomorphism of functors∼(0.4.1) η M :Hom(−,M x )| Sx −→ Ext 1 (−,M)| Sx ,which by the Yoneda lemma can be viewed as short exact sequenceη M :0−→ M α M−→ M(x) β M−→ M x −→ 0such that the Yoneda composition Hom(U, M x ) −→ Ext 1 (U, M), f ↦→ η M · f isan isomorphism for each U ∈ S x . η M is called the S x -universal extension ofM. (If p(x) = 1 we also call it S x -universal.) By means of the identificationHom(−,M x )| Sx =Ext 1 (−,M)| Sx the assignment M ↦→ M x extends to a functoru ↦→ u x for each u : M −→ N such that u · η M = η N · u x .ThenM x (u x ) is calledthe fibre of M (of u, resp.)inx.Similarly, letp(x)⊕xM = Hom(τ j S x ,M) ⊗ End(Sx ) τ j S x .j=1