30 1. GRADED FACTORIALITYH.1.1. Efficient automorphismsLet X be a homogeneous exceptional curve with associated hereditary category1.1.1. Recall that Aut 0 (H) is the subgroup of Aut(H) consisting of those automorphisms(autoequivalences) φ which are point fixing, that is, which satisfyφ(S x ) ≃ S x for all x ∈ X. Note that for example the Auslander-Reiten translationτ, itsinverseτ − and all tubular shifts are in Aut 0 (H). We will usually assume(without loss of generality) that a point fixing automorphism σ of X (that is, aghost) satisfies σ(A) =A (equality) for all objects A ∈H 0 .1.1.2. We fix a line bundle L (“structure sheaf”). Then L determines the degreefunction such that deg(L) = 0 (see 0.3.15). There is an indecomposable L ∈H +such that there is an irreducible map L −→ L. ThenT = L ⊕ L is a tilting bundleon H such that Λ = End(T ) is a tame hereditary bimodule algebra over k and theEnd(L)-End(L)-bimodule M =Hom(L, L) serves as underlying tame bimodule.The rank of L coincides with the numerical type ε of M, hence is one or two. TheAuslander-Reiten quiver (species) of H + has the following shape:··· τLM ∗ LM ∗ τ − LMMτ −2 L ···MM ∗··· τLLτ − Lτ −2 L ···where the dotted lines indicate the Auslander-Reiten orbits and M ∗ denotes thedual bimodule of M. A line bundle is (up to isomorphism) uniquely determined byits degree. The precise value depends on whether L is a line bundle or not. If it is aline bundle (that is, ε =1)thenwehavedeg(τ −n L)=2n and deg(τ −n L)=2n +1for all n ∈ Z. If it is not a line bundle (that is, ε = 2), then deg(τ −n L)=n for alln ∈ Z.Definition 1.1.3 (Efficient automorphism). Let σ ∈ Aut(H). We call σ efficientif it is point fixing and such that deg(σL) > 0 is minimal with this property.Obviously, if σ is efficient and γ is a ghost automorphism, then γ ◦ σ and σ ◦ γare efficient.Lemma 1.1.4. Let X be a homogeneous exceptional curve. Then there exists anefficient automorphism σ. Moreover, such an automorphism σ is uniquely determinedup to a ghost automorphism.Proof. For the existence it is sufficient to remark that the inverse Auslander-Reiten translation τ − is point fixing with deg(τ − L)=2/ε > 0. Thus there is anefficient automorphism σ such that 1 ≤ deg(σL) ≤ 2/ε. (Moreover,eitherσ(L) ≃ Lor σ(L) ≃ τ − (L).) If σ ′ is also efficient then σ −1 ◦ σ ′ fixes all objects in H andhence is a ghost automorphism.□1.1.5 (The orbit cases). Here we present a division of tame bimodules. Eachtame bimodule M belongs to precisely one of the following three classes, calledorbit cases:M
1.1. EFFICIENT AUTOMORPHISMS 31I M is a tame bimodule of type (1, 4) or (4, 1). In this case, the set of allline bundles coincides with the Auslander-Reiten orbit of L and also withthe Aut 0 (H)-orbit of L.II M is a tame bimodule of type (2, 2) and there is precisely one Aut 0 (H)-orbit of line bundles, that is, Aut 0 (H) acts transitively on the set of allline bundles.III M is a tame bimodule of type (2, 2), and there are precisely two Aut 0 (H)-orbits of line bundles, coinciding with the Auslander-Reiten orbits.Denote by O the Aut(H)-orbit and by O 0 the Aut 0 (H)-orbit of L, thatis,F ∈Hlies in O 0 if and only if there is σ ∈ Aut 0 (H) such that σ(L) ≃ F . (Similarly forO.)Remark 1.1.6. In orbit cases I and III the inverse Auslander-Reiten translationσ = τ − is an efficient automorphism. In orbit case II there is by definition aσ ∈ Aut 0 (H) such that σ(L) ≃ L, which gives an efficient automorphism. Moreover,by comparing dimensions of homomorphism spaces, σ(L) ≃ τ − L follows. Thus, inall orbit cases, if σ is efficient, the cyclic group 〈σ〉 acts transitively on O 0 .Definition 1.1.7. Let σ ∈ Aut(H). We call σ• positive, ifdeg(σL) > 0.• exhaustive, if the cyclic group 〈σ〉 acts transitively on O 0 .• transitive, if〈σ〉 acts transitively on O.Lemma 1.1.8. An autoequivalence σ ∈ Aut(H) is efficient if and only if it ispositive, point fixing and exhaustive.Proof. Follows immediately from Remark 1.1.6 by considering each of thethree orbit cases.□The following consequence is the main reason for defining efficient automorphismsand will be used in the next section.Corollary 1.1.9. Let σ be efficient and σ x be a tubular shift associated to apoint x. Then there is some positive integer d such that σ x (L) ≃ σ d (L). □Remark 1.1.10. (1) Assume that the underlying tame bimodule is non-simpleof type (2, 2). Then there is a unirational point x 0 ∈ X. Letσ 0 be the correspondingtubular shift. Then 〈σ 0 〉 acts transitively on the set of isomorphism classes of linebundles, implying orbit case II.(2) If k is algebraically closed, or if k = R, orifk is a finite field, then eachtame bimodule is either of orbit case I or non-simple as in (1).(3) The bimodule M = Q(√2)Q( √ 2, √ 3) Q(√3)belongs to orbit case III. Moregenerally each (2, 2)-bimodule F M G with non-isomorphic F and G belongs to thisclass since there is no automorphism sending L to L.(4) If k is algebraically closed then an efficient automorphism σ is uniquelydetermined. If k = R the same is true unless M = C ⊕ C; in that case we have thetwo possibilities σ = σ 0 as in (1) and σ = σ 0 ◦ γ = γ ◦ σ 0 ,whereγ is induced bycomplex conjugation. This will be proved in Section 5.3.(5) In cases I and II a tubular shift σ x at a point x is exhaustive (hence efficient)if and only if x is a unirational point. In case III a tubular shift σ x is exhaustive ifand only if either f(x) =1ande(x) =2orf(x) =2ande(x) = 1. Tubular shiftswhich are efficient do not always exist, see Example 1.1.13 below.