arxiv: v1 [math.ag] 4 Nov 2008

Transcription

1 CANONICAL DIVISORS ON T-VARIETIES HENDRIK SÜSS arxiv:08.066v [math.ag] 4 Nov 008 Abstract. Generalising toric geometry we study compact varieties admitting lower dimensional torus actions. In particular we describe divisors on them in terms of convex geometry and give a criterion for their ampleness. These results may be used to study Fano varieties with small torus actions. As a first result we classify log del Pezzo C -surfaces of Picard number and Gorenstein index. In further examples we show how classification might work in higher dimensions and we give explicit descriptions of some equivariant smoothings of Fano threefolds. Contents Introduction. T-Varieties. Invariant divisors 5. Singularities 9 4. Del Pezzo C -surfaces 4.. Multidivisors 4.. Classification 4 5. Examples in dimension 8 References Introduction A lot of effort was spend classifying Fano varieties. In dimension singular del Pezzo surfaces are completely classified up to Gorenstein index. In dimension there exists a complete classification of smooth Fano varieties ([Isk77], [Isk78], [MM8]). Toric geometry was successful used to study Fano varieties and their applications in mirror symmetry ([Bat94], [BB96]). There exists a classification of Gorenstein toric Fano varieties up to dimension 5 and the conjectured boundedness of Fano varieties was proven for toric varieties [BB9]. On the other hand toric geometry handles only a very restricted class of varieties in order to extend toric results and techniques to a broader class of varieties we may weaken our preconditions and consider T-varieties, i.e. we require only the effective action of a lower dimensional torus. Not much analysis was done for this special case, yet. Hence, there are only general statements available. We suggest to use the description of T-varieties from [AHS08] and invariant divisors on them from [PS08] to study Fano T-varieties. To do this a criterion for ampleness is needed as well as formulæ for important invariants as Gorenstein index, Fano index, Picard number, Fano degree. In this paper we provide these tools and give first applications. The paper is organised as follows

2 H. SÜSS In section we recall the description of T-varieties by polyhedral divisors and divisorial fans concentrating on the special case of torus actions of codimension. In section we study invariant divisors, describe them by piecewise affine functions and give a criterion for ampleness. In addition to that we provide a way to calculate a canonical divisor and intersection numbers. Section uses these results to study local properties on T-varieties as smoothness, Q-factoriallity, the Q-Gorenstein and log-terminal properties. As a first application in section 4 we classify log del Pezzo C -surfaces of Picard rank and Gorenstein index. In section 5 we pass to dimension and give some ideas how classification might here work here. In addition to that we give examples of equivariant smoothings of a Fano variety.. T-Varieties First we recall some facts and notations from convex geometry. Here, N always is a lattice and M := Hom(N, Z) its dual. The associated Q-vector spaces N Q and M Q are denoted by N Q and M Q respectively. Let σ N Q be a pointed convex polyhedral cone. A polyhedron which can be written as a Minkowski sum = π + σ of σ and a compact polyhedron π is said to have σ as its tail cone. With respect to Minkowski addition the polyhedra with tail cone σ form a semigroup which we denote by Pol + σ (N). Note that σ Pol + σ (N) is the neutral element of this semi-group and that by definition is also an element of Pol + σ (N). A polyhedral divisor with tail cone σ on a normal variety Y is a formal finite sum D = D D, D where D runs over all prime divisors on Y and D Pol + σ. Here, finite means that only finitely many coefficient differ from the tail cone the neutral element of Pol + σ. We might evaluate a polyhedral divisor for every element u σ M via D(u) := D min u, v D. v D in order to obtain an ordinary divisor on Loc D. Here, Loc D denotes the locus of D, the subset of Y where D has non-empty coefficients Loc D := Y \ ( D = D). Definition.. A polyhedral divisor D is called proper if () it is Cartier, i.e. D(u) is Cartier for every u σ M, () it is semi-ample, i.e. D(u) is semi-ample for every u σ M, () D is big outside the boundary, i.e. D(u) is big for every u in the relative interior of σ. To a proper polyhedral divisor we associate a M-graded C-algebra and consequently an affine scheme admitting a T N -action: X(D) := Spec Γ(O(D(u))). u σ M From [AH06] we know that this construction gives a normal variety of dimension dim Y + dim N. Moreover, every normal affine variety with torus action can be obtained this way. Definition.. Let D = D D D, D = D D D be two polyhedral divisors on Y. () We write D D if D D holds for every prime divisor D.

3 CANONICAL DIVISORS ON T-VARIETIES () We define the intersection of polyhedral divisors D D := ( D D ) D. D () We define the degree of a polyhedral divisor on a curve Y to be deg D := D deg(d). D (Note: If D carries -coefficients we get deg D = ) (4) For a (not necessarily closed) point y Y we define the fibre polyhedron D y := y D D. (Note that we may recover D = D D this way) (5) We might restrict D to an open subset U Y : D U := D + D Assume D D this implies Γ(O(D (u))) u σ M D U= u σ M and we get a dominant morphism X(D ) X(D). Γ(O(D(u))) Definition.. If D D and the corresponding defines an open inclusion, then we say D is a face of D and write D D. Definition.4. () A divisorial fan is a finite set Ξ of polyhedral divisors such that for D, D Ξ we have D D D D. () The polyhedral complex Ξ y defined by the polyhedra D y is called a slice of Ξ. () Ξ is called complete if all slices Ξ y are complete subdivisions of N Q. We may glue the affine varieties X(D) via X(D) X(D D ) X(D ). By [AHS08, prop. 5.4.] we know that the cocycle condition is fulfilled, so we obtain a scheme this way. In the case of a complete fan we get a complete variety. As a divisorial fan Ξ corresponds to an open affine covering of X(Ξ) it is not unique, because we may switch to another invariant open affine covering. We will do this occasionally by refining an existing divisorial fan. Let consider the affine case. X = Spec A, where A = u Γ(O(D(u))). We have A 0 = Γ(Loc D, O Loc D ) and consequently we get proper, surjective maps to Y 0 := Spec A 0, the categorial quotient of X q : X Y 0, π : Loc D Y 0 Lemma.5. Let D be a proper polyhedral divisor on Y and {U i } i I an open affine covering of Y 0. Then q (U i ) = X(D π (U i)). Moreover we get a divisorial fan Ξ := {X(D π (U i))} i I such that X(Ξ) = X(D). Proof. This is a direct consequence of remark. in [AHS08]. Remark.6. We may consider a complete toric variety X := X Ξ and restrict its torus action to that of a smaller torus T T X. This gives rise to a divisorial fan in the following way. The embedding T T corresponds to an exact sequence of lattices 0 N F N X P N 0.

4 4 H. SÜSS We may choose a splitting N X = N N with projections P : N X N, P : N X N. Now we choose Y = Σ, where Σ is a arbitrary smooth projective fan Σ refining P (Σ). Now every cone σ Σ gives a proper polyhedral divisor. For every ray ρ Σ () with primitive vector n ρ we set ρ = P (P (n ρ )) and D σ = ρ Σ ρ D () ρ. Now {D σ } σ Σ is a divisorial fan. The other way around we may consider a divisorial fan Ξ on a toric variety Y = X Σ, such that D D = tail D for every D Ξ and every non-invariant prime divisor D Y. Then every D = ρ Σ () ρ D ρ Ξ gives rise to a cone σ D := Q {n ρ } ρ N N. ρ Σ () Here the fact that the cone is pointed corresponds to the bigness of the corresponding polyhedral divisor and the convexity corresponds to the semi-ampleness. For the rest of the paper we restrict us to the case that a torus of dimension dim X is acting on X. This means that the underlying variety Y of the corresponding divisorial fan is a projective curve. In this situation the locus of a polyhedral divisor may be affine or complete and we get simple criteria for properness and for the face relation: D is a proper polyhedral divisor if deg D tail D and for every u σ with face (tail D, u) deg D some multiple of D(u) has to be principal. D D holds if and only if P is a face of P for every point P Y and we have deg D tail D = deg D. Theorem.7 ([AH06], theorem). Let D, D be polyhedral divisors on Y, Y. The we have X(D) = X(D ) if and only if there are isomorphisms ϕ : Y Y,F : N N such that n D ϕ(p ) = F (D P ) + a i P e i, Here, e,..., e n is a lattice basis of N and D i := P ai P P are principal divisors. We write D F ϕ D in this case. In general a X(Ξ) is not determined by the prime divisor slices Ξ D of Ξ. We really need to know which polyhedra in different slices belong to the same polyhedral divisor. For a divisorial fan on a curve which consists only of polyhedral divisors with affine locus the situation is different. If we consider two such fans Ξ, Ξ having the same slices lemma.5 tells us that there exists a common refinement Ξ = {D U D Ξ, U U} = {D U D Ξ, U U} with U being a sufficient fine affine covering of Y. We have X(Ξ) = X(Ξ ) = X(Ξ ). For Y a complete curve we have aside from polyhedral divisors with affine locus only those with locus Y. For reconstructing X(Ξ) from the slices we need to remember which of the maximal polyhedra came from divisors with complete loci. We do this by giving them a mark. As a consequence of theorem.7 we get the following theorem, which is essential for all classification purposes. i=

5 CANONICAL DIVISORS ON T-VARIETIES 5 Theorem.8. Let Ξ, Ξ be a polyhedral divisors on a curve Y. We have X(Ξ) = X(Ξ ) if and only if there are isomorphisms F : N N, ϕ : Y Y. such that F induces an isomorphism of marked subdivisions: n Ξ ϕ(p ) = F Q (Ξ P ) + a i P e i, Here, e,..., e n is a lattice basis of N and D i := P ai P P are principal divisors. Corollary.9. For a divisorial fan Ξ on a curve Y the associated variety X(Ξ) can be obtained from restricting the torus action of a toric variety (we say it is toric for short) if and only if Y = P and Ξ P is a translation of tail Ξ by a lattice element for all but at most two points P P. Proof. From the theorem we know that X(Ξ) is isomorphic to X(Ξ ), where Ξ has only trivial slices except from Ξ 0 and Ξ, but X(Ξ ) is toric as discussed in remark.6. Example.0. As an example for a divisorial fan we consider the set Ξ = {D, D, D, D 4 }. Each having locus P. The nontrivial slices of Ξ are shown in figure. Since dim N = and dim Y = the fan gives rise to a complete threefold with T action. From remark.6 ( we get that every X(D i ) is isomorphic to toric variety of the ) ( 0 ) ) cone spanned by,,, which is A. In particular X is non-singular. ( By corollary.9 we know that X(Ξ) it is not toric, i.e. the toric charts are glued in a non-toric way. Note that all polyhedra in the slices have to be marked, since they originate from polyhedral divisors with complete locus. i= Ξ 0 Ξ Ξ Figure. A divisorial fan. Invariant divisors In this section we recall the description of Cartier and Weil divisors on T-varieties given in [PS08] and state some of the results of the same paper in addition to that we deduce a criterion for ampleness and calculate intersection numbers. Let Σ N Q be a complete polyhedral subdivision of N consisting of tailed polyhedra. We consider continuous functions h : Σ Q which are affine on every polyhedron in Σ. Let Σ a polyhedron with tail cone δ, then h induces a linear function h 0 on δ = tail, by defining h 0 (v) := h(p + v) h(p ) for some P. We call h 0 the linear part of h. In this way we get a piecewise linear function h 0 on the tail fan tail(σ). Definition.. A piecewise affine function on Σ as above is called Q-support function. It is called (integral) support function if it has integer slope and integer

6 6 H. SÜSS translation. The groups of support functions on Σ are denoted by SF(Σ) and SF Q (Σ) respectively. Definition.. Let Ξ be a divisorial fan on a curve Y. For every P Y we get an a polyhedral subdivision Ξ P consisting of polyhedral coefficients. We consider SF(Ξ), the groups of (Q-)support functions on Ξ, i.e. collections (h P ) P Y P Y SF(Ξ P ) or P Y SF Q(Ξ P ) respectively with () all h P have the same linear part h 0. () only for finitely many P Y h P differs from h 0. Remark.. We may restrict an element h SF(Ξ) to a sub-fan or even to a polyhedral divisor D Ξ. The restriction will be denoted by h D. Definition.4. A support function h SF(Ξ) is called principal, if h(v) = u, v + D with u M and D is a principal divisor on Y. Definition.5. A support function is called T -Cartier divisor if for every D Ξ with complete locus h D is principal. The group of T -Cartier divisors is denoted by T-CaDiv(Ξ). The Q-support functions having a multiple being principal on all D with complete locus are denoted by T-CaDiv Q (Ξ) The invariant rational functions on X = X(Ξ) are given by K(X) T = u M K(Y ) χ u. Therefore principal support functions h = u, + div(f) encode principal divisors div(f χ u ). Given a T -Cartier divisor after refining Ξ we can always assume that h D is principal on D Ξ. In this way T-CaDiv(Ξ) correspond to the group of invariant Cartier divisors on X(Ξ). The special condition for D with complete locus is needed, because they can not be refined and hence every invariant Cartier divisor has to be principal on X(D) (c.f. [PS08, Prop...]) Now we are going to describe Weil divisors on X(Ξ). In general there are two types of T -invariant prime divisors. () orbit closures of dimension dim T = dim X. These correspond to pairs (P, V ) with P being point on Y and V a vertex of Ξ P, () families of orbit closures of dimension dim T. These correspond to rays ρ of σ with deg D ρ =. A ray of σ with deg D ρ = is called extremal ray. The set of extremal rays is denoted by x-rays(d) or x-rays(ξ) respectively if D Ξ. Proposition.6. Let h = P h P be a Cartier divisor on D the corresponding Weil divisor is given by h 0 (n ρ )D ρ µ(v)h P (v)d (P,v), ρ (P,v) where µ(v) is the smallest integer k such that k v is a lattice point, this lattice point is a multiple of the primitive lattice vector: µ(v)v = ε(v)n v. Theorem.7. For the canonical class of X = X(Ξ) we have K X = (P,v) ((K Y (P ) + )µ(v) ) D (P,v) ρ Now we describe the global sections of D h. Given a support function h = (h p ) P with linear part h 0. We define its associated polytope h := h0 := {u M u, v h 0 (v) v N } D ρ

7 CANONICAL DIVISORS ON T-VARIETIES 7 and associate a dual function h P : h Div Q Y via h (u) := P h P (u)p := P min (u h P )P. vertices Remark.8. Let h be a concave support function. Every affine piece of h P corresponds to a pair (u, a u ) M Z. h P is defined to be the coarsest concave piecewise affine function with h P (u) = a u. We can reformulate this in terms of the tropical semi-ring with operation = min, = +. We might think of the h P as given by tropical polynomials w I ( a w) x w, then h = conv(i) and h P (w) = a w, i.e. Γ h P is the reflected lower newton boundary of the tropical polynomial for h P. Proposition.9. Let h T-CaDiv(Ξ) define a Cartier divisor D h then Γ(X, O(D h )) = Γ(Y, h (u)) u h M Definition.0. For a cone σ (tail Ξ) (n) of maximal dimension in the tail fan and a P Y we get exactly one polyhedron σ P Ξ P having tail σ. For a given concave support function h = h P P We have h P σ P =, u h (σ) + a h P (σ). The constant part gives rise to a divisor on Y : h σ (0) := P a h P (σ)p. Theorem.. A T -Cartier divisor D h is semi-ample (ample), iff all h P are (strictly) concave and h σ (0) is (semi-)ample for all unmarked tail cones σ, i.e. deg h σ (0) = P ah P (σ) > 0 (or a multiple of h σ(0) is principal). Proof. Because h is (strictly) concave the same is true for h 0. This implies, that the u h (σ) are exactly the vertices of h and h (u h (σ)) = h σ (0). We prove the statement for semi-ampleness, the claim of ampleness follows directly. The semi-ampleness for h (u), u h follows from the semi-ampleness at the vertices, since if D, D are semi-ample divisors on Y so this is true also for D + λ(d D) with 0 λ. Every vertex (u, a u ) of Γ h P corresponds to a affine piece of h P which again corresponds to a function fχ u with div(f) = a u P on U P for some D Ξ (see ) and P U P Y a sufficiently small neighbourhood. Now D h X(D UP ) = div(f χ u ). A point (u, a u ) M Z is a vertex of Γ h exactly if (mu, ma u ) is a vertex of Γ (m h). Hence, after passing to a suitable multiple of h we may assume, that h (u) is base-point free with f being a global section of O(h (u)), then fχ u is a global section of O(D h ), which generates O(D h ) X(D UP ). Corollary.. A T-Cartier divisor D h is nef iff h is concave and deg h (u) 0 (i.e. h (u) is nef) for every vertex u of h. Proof. After pulling back D h via an equivariant, birational and proper morphism we may assume that D h lives on a projective T-variety, i.e. there exists an ample D h. Now one checks easily that D h + εd h = D h+εh is ample for all ε > 0 if and only if h fulfils our preconditions. By the use of proposition.9 to determine dim Γ(X, D h ) we are able to calculate intersections number.

8 8 H. SÜSS Definition.. For a function h : Div Q Y we define its volume to be vol h := h P vol MR P For h,..., h k we define their mixed volume by k V (h,..., h k) := ( ) i vol(h j + + h j i ) i= j...j i k Proposition.4. Let Ξ be a divisorial fan on a curve with slices in N = Z n. () If D h is semi-ample, for the self-intersection number we get (D h ) (n+) = (n + )! vol h. () Let h,..., h n+ define semi-ample divisors D i on X(Ξ). Then (D D n+ ) = (n + )!V (h,..., h n+). Proof. If we apply () to every sum of divisors from D,..., D m+ we get () by the multi-linearity and symmetry of intersection numbers. To prove () we first recall that (D h ) m+ (m+)! = lim ν ν χ(x, O(νD m+ h )), but for projective X := X(Ξ) and nef divisors the ranks of higher cohomology groups are asymptotically irrelevant [Dem0, Thm. 6.7.] so we get (D h ) m+ (m + )! = lim ν ν m+ h 0 (X, O(νD h )). Note that (νh) (u) = ν h ( ν u). Now we can bound h0 by () ( deg νh ( ν u) g(y ) + ) h 0 (O(νD h )) u ν h M lim ν and We have (m + )! ν m+ lim ν u ν h M ν m+ u ν h M deg νh ( ν u) +. deg νh ( ν u) (m + )! = lim ν ν m ν deg νh (u) u h ν M = (m + )! h vol MR, h u ν h M #(ν h M) (g ) = (g ) lim ν ν m+ = 0 holds. So if we pass to the limit in () the term in the middle has to converge to vol h. Example.5. We reconsider our divisorial fan of example.0. By theorem.7 D (,(, )) is an anti-canonical divisor. By theorem.6 it corresponds to the support function h given by the tropical polynomials h 0 = ( ) x (,0) 0 x (0,) 0 x (,0) 0 x (0, ) h = 0 x (,0) ( ) x (0,) 0 x (,0) 0 x (0, ) h = x (,0) x (0,) 0 x (,0) 0 x (0, ) The functions h and h are sketched in figure.

9 CANONICAL DIVISORS ON T-VARIETIES 9 h h Figure. A canonical divisor We might use theorem. to see that the anti-canonical divisor is ample. From h we see that X has Fano index. By theorem.4 we get ( K) = 8. So from the classification of Fano threefolds ([Isk77]) we know that X is a quadric in P 4.. Singularities First we give a criteria to decide whether a polyhedral divisor on a curve describes a smooth variety. In principle this is only a reformulation of the well known fact, that affine varieties with good C action are smooth if and only if they are open subsets of A n. Proposition.. A polyhedral divisor D having a complete curve Y as its locus defines a smooth variety if and only if Y = P, D P P + Q Q and is a regular cone. δ := Q + ({} P { } Q ) Q N Proof. One direction is obvious, because the polyhedral divisor D describes the toric variety X δ with a T N -action induced by N Q N [AH06, section ]. For the other direction note that for v relint σ we get a positive grading Γ(X, O X ) = Γ(Y, O(D(u))). i 0 u,v =i There is a full sub-lattice M σ such that D(u) is integral for u M. Because D is proper we get D(u) and D( u) to be of degree 0 and even principal D(u) = div(f u ) and D( u) = div(f u ) for u M. This implies that Γ(X, O X ) 0 K(X) is generated by {f u ± χ ±u,..., f u ± r χ ±ur } where the u i are elements of a M -basis. We get Γ(X, O X ) 0 = k[m ]. The following lemma implies that X = Spec k[m ][Z dim σ holds and D has the claimed form. 0 ]

10 0 H. SÜSS Lemma.. Let A 0 = k[z r ] and A = i 0 A i a finitely generated positive graded A 0 -algebra. A is a regular ring if and only if A is a free generated as an A 0 -algebra. Proof. We may choose a minimal homogeneous generating system g,..., g l for A and consider a maximal ideal m 0 of k[z r ] then m := Am 0 +(g,..., g l ) is a maximal ideal of A. If A is regular and l > dim A r then dim k m/m = dim A < r + l and w.l.o.g. we may assume that there is an g i such that there is a (finite) homogeneous relation g i = α b αg α, with b α A 0, α N l. For degree reasons we may assume that b α = 0 if α i 0. But this contradicts the minimality of {g,..., g l }. So we have l = dim A r, thus A is free as an A 0 -algebra. Theorem.. A polyhedral divisor D = P P having an affine curve Y as its locus, defines a smooth/q-factorial/gorenstein variety if and only if for every P Y the cone δ P := Q + ({} P ) Q N is regular/simplicial/gorenstein. Moreover the singularity at π (P ) is analytically isomorphic to the toric singularity X δp. Proof. We may use the same argument as in [FZ0] for the case of an affine C - surface, because all properties can equivalently checked on the formal completion. We have A = u ˇσ M Γ(Y, O(D(u))) and Y = Spec A 0. For a point P Y we consider the maximal ideal m P A 0 which gives rise to the maximal ideal M P = Am 0 P + u/ σ A u A. Because Y is smooth the completion of A at m P equals the completion of X(D ) at M 0, with D = P {0} on Y = A. But now u ˇσ M Γ(A, O(D )) = k[ˇδ P Z M] holds and our claim follows. Proposition.4. A polyhedral divisor D = P P P having a complete curve Y = P as its locus is not Q-factorial. Proof. Because g(y ) > 0 the free part of the Jacobian J(Y )/J(Y ) tor is not finitely generated, thus we may find a point P Y such that no multiple of P is an element of Q Q supp D J(Y ). Because P supp D the point 0 N is a vertex of P and (P, 0) represents an prime divisor D (P,0) of X := X(D). We claim that it is not Q-Cartier. In our case it enough to show that no multiple of D (P,0) is principal, because every invariant Cartier divisor on X is even principal. Consider any fχ u K(X) T such that ord D(P,0) (fχ u ) = l > 0. We have ord D(P,0) (fχ u ) = µ(0)(ord P (f) + 0, u ) = ord P (f). By the choice of P there is a Q supp div(f) \ supp D with Q P, this implies ord D(Q,0) (fχ u ) = ord Q (f) 0 and thus div(fχ u ) l D (P,0) Remark.5. In the case Y = P we may decide if D = P s P s defines a (Q-)factorial variety by means of linear algebra. Consider the following

11 CANONICAL DIVISORS ON T-VARIETIES matrix:... 0 µ(v P ) µ(vp )vp.... µ(v r P ) µ(v r P )v r P... A(supp D) = µ(vp s ) µ(vp s )vp s µ(v rs P s ) µ(v rs P s )v rs P s ρ ρ r0 we have r rows, one representing a generic point of Y, one for every vertex vp i j of a nontrivial coefficients Pj and one row for every ρ x-rays(d). There are s + n columns, one for every P i supp D and n = dim N columns for the coordinates of the vertices vp i j. X(D) is factorial iff the columns of the matrix generate Z r. It s Q-factorial iff they generate Q r or equivalently iff the rows are linearly independent. Proof. Step We may choose a generic point Q / supp D and we get a corresponding prime divisor (Q, 0). Now every Weil divisor of X is linearly equivalent to one of the form a ij D (Pi,v j P ) + b i D ρ i + c D (Q,0), i ij i because D = r i= c i D (Qi,0) is principal for k i= c i = 0 and Q i / supp D, since D = div(fχ 0 ), where div(f) = c i Q i. Step Every principal divisor D of X is given by an principal divisor of P, i.e. a Weil divisor D Y = P a P P of degree 0 and a weight u M. Because of step it s sufficient to consider those principal divisors such that supp D Y supp D {Q}. The coefficients for the prime divisors D (Q,0), D (Pi,v j P i ) and ρi of the corresponding Weil divisor on X can be obtained as rows of the vector A (a P,..., a Ps, u) t. So X is factorial if this mapping is surjective and Q-factorial if it s Q-continuation is surjective. Corollary.6. Let D be a polyhedral divisor with Loc D = P Q-factorial iff # x-rays(d) + P Y (# (0) P ) < dim(n). then X(D) is Proof. By the last remark it s enough to see that A always has maximal rank. If X(Ξ) is Q-factorial we can compute the Picard rank of a T-variety: Theorem.7 ([PS08], Thm..8.). Assume X = X(Ξ) to be a complete Q-factorial variety. The its Picard number is given by ρ X = + # x-rays(ξ) + P Y (#Ξ (0) P ) dim(n). Remark.8. We may also check the (Q-)Gorenstein property in the case of complete Y, by considering A(supp D supp K Y ) (as above). Because it has always

12 H. SÜSS maximal rank there is at most one solution ( a u K ) Q supp D supp K Y M Q of the following equation for the coefficients of the canonical divisor due to the theorems.7 and.6. A a. a r u K = (K X ) := 0 (K Y (P )+)µ(v P ) (K Y (P )+)µ(v P ). (K Y (P s)+)µ(v rs Ps ). Now D is Q-Gorenstein of index l, iff a solution exists and l is the smallest integer such that l a i P i is principal. Proposition.9. For D with tail σ and having a complete curve Y as its locus and X = X(D) being Q-Gorenstein we consider the following cases for the genus of Y g = 0 X is log-terminal (log-canonical) iff for every ray ρ / x-rays(d) we have P Y ( µ(ρ P ) ) < ( ), where ρ P is the unique vertex v P such that v + ρ is a face. g = X is log-terminal iff σ() deg D =. X is log-canonical iff for every non-extremal ray all ρ P are lattice points. g > X is log-canonical iff σ() deg D =. Proof. We may resolve the singularities by first replacing D by a divisorial fan Ξ consisting of D = D + Q and D = D + Q, for Q Q Y. D, D D define two birational maps which glue to a birational proper map ψ : X = X(Ξ) X(D), having ρ D ρ as exceptional divisor, where ρ runs over all non-extremal rays of tail D. D and D may still have toric singularities which correspond to the cones δ P. These can be resolved by toric methods (Cf. [Ful9,.6]) which result in a subdivision of polyhedral coefficients. But toric singularities are log-terminal so it is enough to control the discrepancies of ψ. Because X is Q-Gorenstein we have lk X = div(fχ lu K ). So the pull back via ψ is given by the same function (by identifying the function fields of X and X). By proposition.6 and theorem.7 we get K X ψ K X = ρ ( u K, ρ )D ρ. We consider A := A(supp D supp K Y ) as above. We choose the corresponding line of the vertices ρ P of A ( u a k ) = (K X ) divide by µ(ρ P ) and sum them up together with the first line. This gives ( 0,..., 0, ) ( ) a ρ P = deg K Y + ( ) u K µ(ρ P ) P By definition P ρ P is a positive multiple of ρ, so the case of genus 0 follows. For Y P the right hand side is 0. This means for any solution ( u K a ) we have u K, ρ P 0 ergo u K, ρ 0. We get a strict inequality for example if deg K Y > 0 and also if deg K Y = 0 and at least one of the ρ P is not a lattice point, i.e. µ(ρ P ) >. Remark.0. Consider the case of a polyhedral divisor D = P [a P, ) P

13 CANONICAL DIVISORS ON T-VARIETIES with locus P and M = Z. The proposition tells us that X(D) is log-terminal if either at most two a P are non-integers (what means we have a cyclic quotient e singularity). or three a P =: P m p are non-integers and (m P, m P, m P ) is one of the Platonic triples (,, m), (,, ), (,, 4), (,, 5). This means that we have a quotient singularity. This is known for a long time Cf. [Bri68, Satz.0.]. 4. Del Pezzo C -surfaces As an application we want to classify log del Pezzo surfaces, i.e. projective surfaces with Q-Cartier and ample canonical divisor. This was done completely for Gorenstein index l in [AN89]. We will concentrate on the case of C surfaces with ρ and discuss the situation for l = in full detail. Here we are interested in non-toric C surfaces only. There are several reasons for this decision. One reason is that toric surfaces admit infinitely many different C -action that means we are not able to give a finite classification in our language. One of the features of our description is, that we are able to describe families of del Pezzo surfaces. But toric ones do not live in families. On the other hand the machinery to handle the toric cases can be found in [Dai07], at least for Picard number and l =. 4.. Multidivisors. For the case of C -surfaces we might simplify our description by divisorial fans. A C -surface completely determined by the marked slices of a corresponding divisorial fan. Here the slices are subdivisions of Q which can be described by there set of boundary points this lead to the following definition. Definition 4.. A multidivisor is formal finite sum Ξ = P Ξ P P together with marks {Q, Q + }, where a mark on Q, Q + is only allowed if deg Ξ Q or deg Ξ Q + respectively is non-empty. Here, P runs over the points of Y and Ξ P Q are finite sets of rational numbers. And only finitely many of them are allowed to differ from {0}. The condition on deg Ξ ensures the the set of marked slices really can be realised by a divisorial fan. Multidivisors form a semi-group which includes regular Q-divisors as a subgroup. So we have the relation of linear equivalence on them Now theorem.8 implies the following Ξ Ξ Ξ = Ξ + div(f). Corollary 4.. For every normal C -surface X there is a multidivisor Ξ, such that X(Ξ) = X and two multidivisors Ξ, Ξ give equivariantly isomorphic C -surfaces iff Ξ ±ϕ Ξ for a isomorphism ϕ : Y Y. Remark 4.. A multidivisor Ξ describes a toric surface iff Y = P and its has at most two coefficients which are not single integers, i.e. Ξ Ξ = Ξ Q Q + Ξ P P. A description of affine C surfaces and its completion by sets of Q-divisors (which is essentially the same as what we do) was given in [FZ0] and [FKZ07]. A description of non-singular complete C -surfaces by graphs can be found in [OW77]. In both papers one finds a classification of fix points on C surfaces: parabolic: the fix point is adjacent to exactly one maximal orbit. Parabolic fix points gather in curves.

14 4 H. SÜSS elliptic: the fix points is adjacent to all maximal orbits in their neighbourhood. Elliptic fix points are always isolated. hyperbolic: the fix points is adjacent to exactly two maximal orbits. Hyperbolic fix points are always isolated. Remark 4.4. From [FZ0] and [AH06] we know that parabolic fix points correspond to a unmarked side and a point on Y, while elliptic fix points correspond to a marked side of our multidivisor and can be seen as the result of a contraction of a curve of parabolic fix points [AH06, thm. 0.]. Proposition 4.5. Every non-toric log Del-Pezzo C -surfaces has one or two elliptic fix points. Proof. Remark 4.4 implies that we have at most elliptic fix points on a C -surface. We now assume that we have a log del Pezzo C -surface without elliptic fix points. It corresponds to a multidivisor on P without marks and with at least tree coefficients which are not pure integers. We denote by h the support function corresponding to the canonical divisor of X(Ξ). Because both rays in the tail fan are extremal by theorem.7 we have { v, for v > 0 h 0 (v) = v, else Let Ξ P one of the non-trivial coefficients. From theorem.7 and proposition.6 we know that m K Y (P ) = h P ( e m ) = e m +a, m + K Y (P ) = h P ( e+ m + ) = e+ m + +a+. this implies a e m K Y (P ) and a + e+ m K + Y (P ). and finally we get P a P < deg K Y or P a+ P < deg K Y. By theorem. this contradicts the ampleness of D h. 4.. Classification. We can use corollary.7 obtain the structure of multidivisors giving a C -surface with Picard rank. There are two cases () marks on both sides and exactly one coefficient Ξ P with #Ξ (0) P = (i.e. two elliptic and one hyperbolic fix point). () one mark and all coefficients have cardinality (i.e. one elliptic fix point and a curve consisting of parabolic fix points). Theorem 4.6. For every odd l N there is a family of log Del-Pezzo C -surfaces of Picard rank and Gorenstein index l. Proof. For l = i +. The multidivisors with marks {Q, Q + } () Ξ i := { i, } P + P + P + P 4 () Ξ i := { i, i } P + P + P + P 4 give rise to families over P \ {0,, }. Remark 4.7. We may also describe the total space of these families by the corresponding divisorial fans. Ξ i = {D, D, D + } with D = (, i] D 0 + (, ] D + (, ] D + (, ] D D + = [, ) D 0 + [, ) D + [, ) D + [, ) D D = [ i, ] D 0 + D + D + D

15 CANONICAL DIVISORS ON T-VARIETIES 5 with D = {} P, D 0 = {0} P, D = { } P and the diagonal D = P P. Now we want to classify non-toric log del Pezzo surfaces of Picard rank. Nontoric surfaces correspond to multidivisors with at least three coefficients different from a single integer. Classification in case. Because of remark.0 we have to consider three or four coefficients, namely at most three non-integral rationals and on set of cardinality. For a given multidivisor sections and give us the tools to decide whether it is log del Pezzo of a given index or not. So in order to enumerate all log del Pezzo of index l with two elliptic fix points we consider the following multidivisor Ξ = {a } P + {a } P + {a } P + {a, a + } P 0, with a + > a, a + + i= a i > 0, a + i= a i < 0 and a i = pi q i, for i = +,,,, and p i < q i for i =,,. We now try to derive bounds for q, q, q, q +, q in order to get a finite classification. The left sides from the subdivisions result from a polyhedral divisor D = (, a ] P + (, a ] P + (, a ] P + (, a ] P 0 and the right sides from D + = [a, ) P + [a, ) P + [a, ) P + [a +, ) P 0. Because of remark.0 we have to consider five cases a) (q, q, q ) may be one of the Platonic triples (,, k), (,, ), (,, 4), (,, 5) and q + = q =. From ( p q + a )u + = q, with lu + Z, we get (p + p + q ) l, and analogue from ( p q + a + + )u = q we get (p + p q ) l. Together with a + + a this implies q < l. b) W.l.o.g. q = and (q, q, q + ) and (q, q, q ) are both one of the triples (,, ), (,, 4), (,, 5). c) q = q + = q = and q, q N. W.l.o.g we may assume that a + + a + a >. And we have (a + + a + a )u k = q q. Because u K l Z this implies that (q q p + +p q +p q ) divides l(q +q ), in particular ( qq ) (q q p + +p q +p q ) l(q +q ), which implies that one of q, q has to be less than 4l w.l.o.g. let q < 4l On the other hand for for suitable λ µ this implies that λ(q q p + + p q + p q ) = l(q + q ) and µ(q q p + p q + p q ) = l(q + q ) (λp l)q = (l λp + q p + )q and (µp l)q = (l µp + q p )q. From this we get that q (λ µ)p q.

16 6 H. SÜSS Let s assume that q > lq then we must have λ, µ < l +. Hence, λ µ < l +. Because p and q are coprime we get q 4l < q q < λ µ < l +. So we get the bounds q < 4l and q < 8(l + l) d) q =, q = and furthermore q +, q {, } and q N. In a similar way as in the last case we get q < 4l 4 e) q = q =, q =, q, q + N. Because a > 0 and a + + < 0 we get p + + q + > 0 and p + q < 0 From ( p + + q + + )u + = q +, with lu Z, we get (p + + q + ) l, and analogue (p + q ) l. Now we consider the affine function h P0 [ p, p ] q q realising the canonical divisor locally, i.e. h(a ) = q +K Y (P 0 ) and h(a + ) = q + +K Y (P 0 ). We get h P0 () = (p + + q + ) (p + q ) (p + + q + )q (p + q )q K Y (P 0 ). This has to be an element of l Z so we have l W.l.o.g. let q q + this implies, that q l and q + l. (p++q+) (p +q ) (p ++q +)q (p +q )q +. Classification in case. For case we have exactly three non-integral rationals as coefficients a = p q, a = p q, a = p q. Because of 4.. we may assume that we have a mark on Q + and 0 < a, a <. So the right sides of all subdivisions result from one polyhedral divisor Now note that for u K = r s D + = [a, ) P + [a, ) P + [a, ) P. we have (a + a + a ) r s = q q q with K X(D) = s div(fχr ) C.f Because u K l Z we must have a + a + a < l. We know that (q, q, q ) is one of the Platonic triples. For (,, ), (,, 4), (,, 5) there are only finitely many possibilities for corresponding p, p, p. (6l = l ( + + 4)) For (q, q, q ) = (,, m) we get u K = q + p this implies that q + p l. Because of.0 we know that X has cyclic quotient singularity Z q,p. This q singularity has Gorenstein index gcd(q. This implies that q, p ) < l. So we have finitely many pairs (p, q ) to check. For a given index l in both cases there is a finite number of multidivisor to be checked if they have the desired index and if they fulfil the Fano property. We check the Fano property by using theorem. and the Gorenstein index with the help of remark.8 or theorem., respectively. Doing this for l =,, we are able to state the following theorems. The results for l =, may be compared with [AN06], [Ye0], [MZ88]. Theorem 4.8. There are the following Gorenstein log del Pezzo C -surfaces with Picard rank. () surfaces with two elliptic fix points () family over A of surfaces with two elliptic fix points () surface with one elliptic fix point (4) 5 toric surfaces (c.f. [Dai06],[Dai07])

17 CANONICAL DIVISORS ON T-VARIETIES 7 multidivisor marks deg. sing. () {, 0} P 0 + { } P + { } P Q ± A A {, 0} P 0 + { } P + { } P 5 A 4 {, 0} P 0 + { } P + { } P A 5 A {, 0} P 0 + { 4 } P + { } P A 5 A {, } P 0 + { } P + { } P 4 D 5 {, } P 0 + { } P + { } P E 6 A {, } P 0 + { 4 } P + { } P D 6 A { 4, } P 0 + { } P + { } P E 6 { 4, } P 0 + { 4 } P + { } P E 7 A { 5 4, } P 0 + { } P + { } P E 7 { 6 5, } P 0 + { } P + { } P E 8 () {, } P 0 + { } P + { } P + { } P Q ± D 4 () { } P + { } P + { } P Q + D 4 A Theorem 4.9. There are 6 log del Pezzo C -surfaces with Picard rank and index l =. () 9 surfaces with two elliptic fix points () surfaces with one elliptic fix point () 7 toric surfaces (c.f. [Dai06],[Dai07]) multidivisor marks deg. sing. () {, 0} P 0 + { } P + { } P Q ± K A 5 A {, 0} P 0 + { 4 } P + { 4 } P K A 7 {, 0} P 0 + { 5 } P + { 5 } P K 5 A 4 {, 0} P 0 + { 6 } P + { } P K A 7 {, } P 0 + { 5 7 } P + { } P 5 K 5 {, } P 0 + { 7 9 } P + { } P K 6 A {, } P 0 + { 5 6 } P + { } P K D 8 {, } P 0 + { } P + { } P K D 4 { 4, 0} P 0 + { } P + { } P K D 5 A () { 4 } P + { } P + { } P Q + K D 6 A Theorem 4.0. There are the following log del Pezzo C -surfaces with Picard rank and index l =. () 8 surfaces with two elliptic fix points () family over A of surfaces with two elliptic fix points () 5 surface with one elliptic fix point (4) 8 toric surfaces (c.f. [Dai07]) multidivisor marks (K X ) () { 4, 0} P 0 + { } P + { } P Q ± 4

18 8 H. SÜSS { 4, } P 0 + { } P + { } P {, 0} P 0 + { 4 } P + { } P {, 0} P 0 + { 4 } P + { 4 } P {, 0} P 0 + { 5 } P + { } P 7 {, 0} P 0 + { 5 } P + { 5 } P {, 0} P 0 + { 6 } P + { } P {, } P 0 + { 7 } P + { } P 6 {, 0} P 0 + { 7 } P + { 7 } P {, 0} P 0 + { 8 } P + { } P 5 {, } P 0 + { 8 } P + { } P 0 {, } P 0 + { 5 8 } P + { 5 } P {, } P 0 + { 0 } P + { } P {, } P 0 + { 7 0 } P + { 5 } P {, } P 0 + { 0 } P + { 4 } P {, } P 0 + { 4 } P + { 4 } P {, } P 0 + { 6 } P + { 4 } P {, 0} P 0 + { } P + { } P {, 0} P 0 + { 4 } P + { } P {, } P 0 + { 4 5 } P + { } P {, } P 0 + { 4 7 } P + { } P {, } P 0 + { 5 8 } P + { } P {, } P 0 + { 7 8 } P + { } P {, } P 0 + { 7 0 } P + { } P { 4, } P 0 + { 4 5 } P + { } P { 4, } P 0 + { } P + { } P { 5 4, } P 0 + { } P + { } P { 6 5, 0} P 0 + { } P + { } P () {, } P 0 + { } P + { } P + { } P Q ± {, 0} P 0 + { } P + { } P + { } P {, } P 0 + { 4 } P + { } P + { } P () { } P + { } P + { } P Q + 8 { } P + { } P + { } P 4 { } P + { } P + { } P { 4 } P + { } P + { } P 4 { 5 6 } P + { } P + { } P Examples in dimension Example 5. (Two smoothings). We consider X = Cone(dP 6 ) the projective cone over the del Pezzo surface of degree 6. In [JR06] it serves as an example of an Fano threefold with canonical singularities admitting two different smoothings. It turns

19 CANONICAL DIVISORS ON T-VARIETIES 9 out, that both smoothings are equivariant. Hence, they can be described by their divisorial fans. Ξ 0 Ξ Figure. Projective cone over the del Pezzo surface of degree 6 The projective cone over dp 6 is toric by restricting the torus action we get divisorial fan over Y = P with two nontrivial slices see figure. Note that D 7 does not occur in the slice Ξ this means it has coefficient at {}. Now we consider divisorial fans over Y = P A consisting of seven divisors. Their non-trivial coefficients at the prime divisors are shown in figure 4 and 5, respectively. Here we use the coordinates x = u v and y for (u : v, y) P A. Ξ {y=0} Ξ {y=x} Ξ {y=x} Ξ {y=} Figure 4. Smoothing to P(T P ) Note that k[y] Γ(X(D i ), O X(Di)) 0 for i =, So we get dominant and torus invariant morphisms X(D i ) A. They glue to a morphism X(Ξ) A. It is easy to check that the generic fibre f y of these families is given by divisorial fans over P with the same slices but at 0,, y. The fibre f 0 is Cone(dP 6 ). Note that the equivariant smoothing leads to a Minkowski decomposition of the polyhedron corresponding to the singular fix point. This effect was first observed in the context of deformations of toric singularities in [Alt97]. But note, that here we also give a description of the fibres in terms of polyhedral divisors. As a object of further studies one may ask when such equivariant smoothings exist and if they are unique. As one expects from the examples this question is closely related to the existence and uniqueness of smooth Minkowski decompositions. As last application we state the following Proposition 5.. P and Q are the only smooth threefolds of Picard rank admitting a T -action.

20 0 H. SÜSS Ξ {y=0} Ξ {y=x} Ξ {y=} Figure 5. Smoothing to P P P Proof. There exist exactly one toric threefold, namely P. To find divisorial fans describing non-toric threefolds first note, that Y has to be P, i.e. X is rational. There are at least three rays in the tail fan. Because of the formula for the picard rank ρ X = + # x-rays(ξ) + P Y (#Ξ (0) P ) n. from theorem.7 we know that there must be at least one non-extremal ray, so there is a divisor with complete locus D Ξ. Since X(D) has to be non-singular, by theorem. we get Y = P. Because of the statement on isomorphy in theorem.8 we might assume, that no slice is a translation of the tail fan by a lattice element. That X(Ξ) is non-toric implies that there are at least three slices which are non-trivial. Consider an D Ξ with complete locus and tail cone σ tail Ξ. We must have a slice with at least two vertices. If we had only translated tail fans D would have at least three non-integral coefficients this contradicts the smoothness of X(D) by theorem.. By the rank formula this implies, that we have at most one extremal ray and therefore at most one divisor with non-compact tail and affine locus. Let Ξ P have at least two vertices then there are two non-compact polyhedra which have two vertices. One of them belongs to a divisor with complete support. Hence, there is at most one further non-trivial coefficient of D, i.e. at most on tail fan translated by a non-integral value, so there must be another slice Ξ P with at least two vertices. Now the Picard rank formula implies, that we have exactly two slices with exactly two vertices and no extremal rays, i.e. all non-compact polyhedra in the slices belong to divisors with complete locus, so proposition. implies that the vertices of Ξ P, Ξ Q are integral and there is exactly one slice Ξ Q which is a non-integral translation of tail fan. Let v w and v w be the line segments in Ξ P and Ξ P, respectively and q u the non-integral vertices in Ξ Q (here q N minimal such that u N). Since here are no extremal rays. On all rays of tail Ξ there must lie an vertex of = v w +v w +r. So Ξ as a tail fan with four rays which are spanned by the vertices of. We have

21 CANONICAL DIVISORS ON T-VARIETIES four polyhedral divisors with complete locus and tail cones of maximal dimension. D = (v w + σ ) P + (v + σ ) P + q u Q D = (v w + σ ) P + (v + σ ) P + q u Q D = (v w + σ ) P + (w + σ ) P + q u Q D 4 = (v w + σ ) P + (w + σ ) P + q u Q By remark.6 and corollary.9 we see that X(D i ) is essentially toric with X(D i ) = X δi with δ = pos( ( ) ( v +v, w+v ) ( u q )) δ = pos( ( ) ( v +v, w+v ) ( u q )) δ = pos( ( ) ( v +w, w+w ) ( u q )) δ 4 = pos( ( ) ( v +w, w+w ) ( u q )). We get 4 = ( det( v+v w +v ) ( u q + det( v+v w +v u q + ( det( v+w w +w u q = q det(( v w v w ) = q vol() ) + det( ( v+w w +w u q ) ) Because q > this implies, that q = and vol() =. So after applying a lattice automorphism we get the slices of figure. References [AH06] Klaus Altmann and Jürgen Hausen. Polyhedral divisors and algebraic torus actions. Math. Ann., 4(): , 006. [AHS08] Klaus Altmann, Jürgen Hausen, and Hendrik Süß. Gluing affine torus actions via divisorial fans. Transformation Groups, ():5 4, 008. [Alt97] Klaus Altmann. The versal deformation of an isolated toric Gorenstein singularity. Invent. Math., 8():44 479, 997. [AN89] V. A. Alekseev and V. V. Nikulin. Classification of del Pezzo surfaces with log-terminal singularities of index and involutions on K surfaces. Dokl. Akad. Nauk SSSR, 06():55 58, 989. [AN06] Valery Alexeev and Viacheslav V. Nikulin. Del Pezzo and K surfaces, volume 5 of MSJ Memoirs. Mathematical Society of Japan, Tokyo, 006. [Bat94] Victor V. Batyrev. Dual polyhedra and mirror symmetry for Calabi-Yau hypersurfaces in toric varieties. J. Algebraic Geom., ():49 55, 994. [BB9] A.A. Borisov and L.A. Borisov. Singular toric fano varieties. Russian Academy of Sciences. Sbornik Mathematics, 75():77 8, 99. [BB96] Victor V. Batyrev and Lev A. Borisov. On Calabi-Yau complete intersections in toric varieties. In Higher-dimensional complex varieties (Trento, 994), pages de Gruyter, Berlin, 996. [Bri68] Egbert Brieskorn. Rationale Singularitäten komplexer Flächen. Invent. Math., 4:6 58, 967/968. [Dai06] Dimitrios I. Dais. Geometric combinatorics in the study of compact toric surfaces. In Algebraic and geometric combinatorics, volume 4 of Contemp. Math., pages 7. Amer. Math. Soc., Providence, RI, 006. [Dai07] Dimitrios I. Dais. Classification of toric log del pezzo surfaces having picard number and index le. arxiv.org:math/ , 007. [Dem0] Jean-Pierre D ly. Multiplier ideal sheaves and analytic methods in algebraic geometry. In School on Vanishing Theorems and Effective Results in Algebraic Geometry (Trieste, 000), volume 6 of ICTP Lect. Notes, pages 48. Abdus Salam Int. Cent. Theoret. Phys., Trieste, 00.

22 H. SÜSS [FKZ07] Hubert Flenner, Shulim Kaliman, and Mikhail Zaidenberg. Completions of C -surfaces. In Affine algebraic geometry, pages Osaka Univ. Press, Osaka, 007. [Ful9] William Fulton. Introduction to toric varieties, volume of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 99. The William H. Roever Lectures in Geometry. [FZ0] Hubert Flenner and Mikhail Zaidenberg. Normal affine surfaces with C -actions. Osaka J. Math., 40(4):98 009, 00. [Isk77] V.A. Iskovskih. Fano -folds. I. Math. USSR, Izv., :485 57, 977. [Isk78] V.A. Iskovskikh. Fano -folds. II. Math. USSR, Izv., : , 978. [JR06] Priska Jahnke and Ivo Radloff. Terminal fano threefolds and their smoothings, 006. [MM8] Shigefumi Mori and Shigeru Mukai. Classification of Fano -folds with B. Manuscripta Math., 6():47 6, 98/8. [MZ88] M. Miyanishi and D.-Q. Zhang. Gorenstein log del Pezzo surfaces of rank one. J. Algebra, 8():6 84, 988. [OW77] P. Orlik and P. Wagreich. Algebraic surfaces with k -action. Acta Math., 8(-):4 8, 977. [PS08] Lars Petersen and Hendrik Süß. Torus invariant divisors. arxiv.org:math/08.057, 008. [Ye0] Qiang Ye. On Gorenstein log del Pezzo surfaces. Japan. J. Math. (N.S.), 8():87 6, 00. Institut für Mathematik, LS Algebra und Geometrie, Brandenburgische Technische Universität Cottbus, PF 0 44, 00 Cottbus, Germany address: suess@math.tu-cottbus.de