## MONADICITY THEOREM AND WEIGHTED PROJECTIVE LINES OF TUBULAR TYPE

JIANMIN CHEN, XIAO-WU CHEN , ZHENQIANG ZHOU ∗

Abstract. We formulate a version of Beck's monadicity theorem for abelian categories, which is applied to the equivariantization of abelian categories with respect to a finite group action. We prove that the equivariantization is compatible with the construction of quotient abelian categories by Serre subcategories. We prove that the equivariantization of the graded module category over a graded ring is equivalent to the graded module category over the same ring but with a different grading. We deduce from these results two equivalences between the category of (equivariant) coherent sheaves on a weighted projective line of tubular type and that on an elliptic curve, where the acting groups are cyclic and the two equivalences are somehow adjoint to each other.

## 1. Introduction

The close relationship between weighted projective lines of tubular type and elliptic curves is known to experts since the creation of weighted projective lines in [9]. Roughly speaking, the category of coherent sheaves on a weighted projective line of tubular type is equivalent to the category of equivariant coherent sheaves on an elliptic curve with respect to a finite abelian group action. This result is implicitly exploited in [19] using ramified elliptic Galois coverings over the field of complex numbers; compare [18]. Moreover, the somehow converse result holds true by [14, 15]: the category of coherent sheaves on an elliptic curve is equivalent to the category of equivariant coherent sheaves on a weighted projective line of tubular type with respect to a different finite abelian group action, which contains the action given by the Auslander-Reiten translation.

The goal of this paper is to re-exploit the above mentioned equivalences in an explicit form. We emphasize that our treatment of the four tubular types is in a uniform manner, and that we deduce these equivalences from general results on the equivariantization of abelian categories. These general results are direct applications of the famous Beck's monadicity theorem which characterizes the module category over a monad; see [16, Chapter VI]. We mention that monads appear naturally, since the category of equivariant objects is isomorphic to the module category over a certain monad; see [4, 7].

Let us describe the content of this paper. In Section 2, we collect some basic facts on monads and modules over monads. We formulate a version of Beck's monadicity theorem for abelian categories, which is convenient for applications; see Theorem 2.1. We give a self-contained proof to Theorem 2.1. In Section 3, we recall the notions of a group action on a category and the category of equivariant objects. The observation we need is that the category of equivariant objects is isomorphic to the category of modules over a certain monad; see Proposition 3.1. In Section 4,

Date : August 4, 2014.

2010 Mathematics Subject Classification. 16W50, 14A22, 14H52.

Key words and phrases. weighted projective line, elliptic curve, equivariantization, monad, graded ring.

∗ the corresponding author.

we apply Theorem 2.1 to prove that the equivariantization of an abelian category is compatible with quotient abelian categories by Serre subcategories; indeed, a slightly more general result on the category of modules over an exact monad is obtained; see Proposition 4.3 and Corollary 4.4. In Section 5, we prove that the equivarianzation of the graded module category over a graded ring with respect to a degree-shift action is equivalent to the graded module category over the same ring but with a coarser grading; see Proposition 5.2. This enables us to recover [17, Theorem 6.4.1] on the graded module category over the corresponding graded group ring; see Corollary 5.5. For the case that the acting group is finite abelian, we generalize slightly a result in [14] and prove that the equivariantization of the graded module category over a graded ring with respect to a twisting action is equivalent to the graded module category over the same ring but with a refined grading; see Proposition 5.7.

In Section 6, we recall some basic facts on the homogeneous coordinate algebra of a weighted projective line. We prove that the quotient graded module category over a restriction subalgebra of the homogeneous coordinate algebra is equivalent to a quotient of the category of coherent sheaves on the weighted projective line by a certain Serre subcategory; see Proposition 6.6. This motivates the notion of an effective subgroup of the grading group for the homogeneous coordinate algebra; see Definition 6.5. For these subgroups, Proposition 6.6 claims an equivalence between the quotient graded module category over the restriction subalgebra and the category of coherent sheaves on the weighted projective line.

The final section is devoted to the study of the relationship between weighted projective lines of tubular type and elliptic plane curves. We prove that the homogeneous coordinate algebra of an elliptic plane curve is isomorphic to the restriction subalgebra of the homogeneous coordinate algebra of the weighted projective line with respect to a suitable effective subgroup; see Theorem 7.4. Applying Theorem 7.4 and the results in Sections 4 and 5, we prove the main result: the equivariantization of the category of coherent sheaves on a weighted projective line of tubular type with respect to a certain degree-shift action is equivalent to the category of coherent sheaves on an elliptic plane curve; the equivariantization of the category of coherent sheaves on an elliptic plane curve with respect to a certain twisting action is equivalent to the category of coherent sheaves on a weighted projective line of tubular type; see Theorem 7.7. We mention that here the acting groups are cyclic, and that we need two different kinds of group actions to have these two equivalences. On the other hand, the two equivalences obtained are somehow adjoint to each other; see Remark 7.8(1).

We emphasize that the two equivalences in Theorem 7.7 are contained in [9] and [14, 15], which are presented in a slightly different form with sketched proofs; compare [12] and Remark 7.8(3). As pointed out in [9], these equivalences link the classification of indecomposable coherent sheaves on elliptic curves in [1] with the classification of indecomposable modules of tubular algebras in [22].

## 2. Modules over monads

In this section, we recall some basic facts from [16, Chapter VI] on monads and modules over monads. We formulate a version of Beck's monadicity theorem for abelian categories, for which we provide a self-contained proof.

Let C be a category. Recall that a monad on C is a triple ( M,η,µ ) consisting of an endofunctor M : C → C and two natural transformations, the unit η : Id C → M and the multiplication µ : M 2 → M , subject to the relations µ ◦ Mµ = µ ◦ µM and µ ◦ Mη = Id M = µ ◦ ηM . We sometimes suppress the unit and the multiplication, and denote the monad simply by M .

Monads arise naturally in adjoint pairs. Assume that F : C → D is a functor which admits a right adjoint U : D → C . We denote by η : Id C → UF the unit and /epsilon1 : FU → Id D the counit; they satisfy /epsilon1F ◦ Fη = Id F and U/epsilon1 ◦ ηU = Id U . We denote this adjoint pair on C and D by the quadruple ( F, U ; η, /epsilon1 ). We suppress the unit and the counit when they are clear from the context.

Each adjoint pair ( F, U ; η, /epsilon1 ) on two categories C and D defines a monad ( M,η,µ ) on C , where M = UF : C → C and µ = U/epsilon1F : M 2 = UFUF → U Id D F = M . The resulting monad ( M,η,µ ) on C is said to be defined by the adjoint pair ( F, U ; η, /epsilon1 ). Indeed, as recalled now every monad is defined by some adjoint pair.

For a monad ( M,η,µ ) on C , an M -module is a pair ( X,λ ) consisting of an object X in C and a morphism λ : M X ( ) → X subject to the conditions λ ◦ Mλ = λ ◦ µ X and λ ◦ η X = Id X ; the object X is said to be the underlying object of the module. A morphism f : ( X,λ ) → ( X , λ ′ ′ ) between two M -modules is a morphism f : X → X ′ in C satisfying f ◦ λ = λ ′ ◦ M f ( ). This gives rise to the category M -Mod C of M -modules; moreover, we have the forgetful functor U M : M -Mod C →C . The functor U M is faithful.

We observe that each object X in C yields an M -module F M ( X ) = ( M X ,µ ( ) X ), the free M -module generated by X . Indeed, this gives rise to the free module functor F M : C → M -Mod C sending X to the free module F M ( X ), and a morphism f : X → Y to the morphism M f ( ): F M ( X ) → F M ( Y ).

We have the adjoint pair ( F M , U M ; η, /epsilon1 M ) on C and M -Mod , where for an C M -module ( X,λ ), the counit /epsilon1 M is given such that

$$( \epsilon _ { M } ) _ { ( X, \lambda ) } = \lambda \colon F _ { M } U _ { M } ( X, \lambda ) = ( M ( X ), \mu _ { X } ) \longrightarrow ( X, \lambda ).$$

We observe that this adjoint pair ( F M , U M ; η, /epsilon1 M ) defines the given monad ( M,η,µ ). The above adjoint pair ( F M , U M ; η, /epsilon1 M ) enjoys the following universal property: for any adjoint pair ( F, U ; η, /epsilon1 ) on C and D that defines the monad M , there is a unique functor

$$K \colon \mathcal { D } \longrightarrow M \text{-Mod} \mathcal { C }$$

satisfying KF = F M and U M K = U ; see [16, VI.3]. This unique functor K will be referred as the comparison functor associated to the adjoint pair ( F, U ; η, /epsilon1 ). For its construction, we have

$$( 2. 1 ) & K ( D ) = ( U ( D ), U \epsilon _ { D } ), \ \ K ( f ) = U ( f )$$

for an object D and a morphism f in D . Here, we observe that M = UF and that ( U D ,U/epsilon1 ( ) D ) is an M -module.

Following [16, VI.3] the adjoint pair ( F, U ) is monadic ( resp. strictly monadic ) provided that the associated comparison functor K : D → M -Mod C is an equivalence ( resp. an isomorphism). In these cases, we might identify D with M -Mod . C

The famous monadicity theorem of Beck gives intrinsic characterizations on (strictly) monadic adjoint pairs; see [16, VI.7]. However, the conditions in Beck's monadicity theorem on coequalizers seem rather technical.

In the following result, we formulate a version of Beck's monadicity theorem for abelian categories, which is quite convenient for applications.

Theorem 2.1. Let F : A → B be an additive functor on two abelian categories. Assume that F admits a right adjoint U : B → A which is exact. Denote by M the defined monad on A . Then the comparison functor K : B → M -Mod A is an equivalence if and only if the functor U : B → A is faithful.

The 'only if' part of Theorem 2.1 is trivial, since U = U M K and the forgetful functor U M is faithful. We will present two proofs for the 'if' part. The first one is an application of the original version of Beck's monadicity theorem, while the second one is more self-contained and seems to be of independent interest.

The following observation is well known.

Lemma 2.2. Let F : A → B be an exact functor on two abelian categories, which is faithful. Then F preserves and reflects cokernels, that is, for two morphisms f : X → Y and c : Y → C in A , c is a cokernel of f if and only if F c ( ) is a cokernel of F f ( ) .

Proof. The 'only if' part follows from the right exactness of F .

For the 'if' part, we assume that F c ( ) is a cokernel of F f ( ). In particular, F c ( ◦ f ) = 0, and thus c ◦ f = 0 since F is faithful. By the exactness of F , we have the following fact: for any complex ξ : X → Y → Z in A with cohomology H at Y , the complex F ξ ( ): F X ( ) → F Y ( ) → F Z ( ) in B has cohomology F H ( ) at F Y ( ). Since F is faithful, we infer that the complex F ξ ( ) is exact at F Y ( ), that is, F H ( ) /similarequal 0, if and only if H /similarequal 0, that is, the complex ξ is exact at Y . We apply this fact to the complexes X f → Y c → C and Y c → C → 0. We infer that c is a cokernel of f . /square

The first proof of the 'if' part of Theorem 2.1. Recall that a coequalizer of two parallel morphisms in an additive category equals a cokernel of their difference. Then we apply Lemma 2.2 to the functor U , and infer that U preserves and reflects coequalizers. Then the comparison functor K is an equivalence by the 'equivalence' version of Beck's monadicity theorem; see [16, VI.7, Exercise 6]. /square

The second proof is an application of a slightly more general result, which seems to be standard in relative homological algebra.

Let X be a full subcategory of a category C . Let C be an object in C . Recall that a right X -approximation of C is a morphism f : X → C with X ∈ X such that any morphism t : T → C with T ∈ X factors through f , that is, there exists a morphism t ′ : T → X with t = f ◦ t ′ ; compare [2, Section 3]. In case that C is abelian, an X -presentation of C means an exact sequence X 1 g → X 0 f → C → 0 such that f is a right X -approximation of C and that the induced morphism ¯: g X 1 → Ker f is a right X -approximation of Ker f .

For a functor F : C → D and a full subcategory X ⊆ C , we denote by F ( X ) the full subcategory of D consisting of objects that are isomorphic to F X ( ) for some object X in X . In particular, we write Im F = F ( C ), the essential image of F .

Example 2.3. Let ( F, U ; η, /epsilon1 ) be an adjoint pair on two categories C and D . Then for any object D in D , the counit /epsilon1 D : FU D ( ) → D is a right Im F -approximation. Indeed, any morphism t : F C ( ) → D factors through /epsilon1 D as t = /epsilon1 D ◦ F U t ( ( ) ◦ η C ) .

Let us state a special case explicitly. For a monad M = ( M,η,µ ) on C , we apply the above to the adjoint pair ( F M , U M ; η, /epsilon1 M ) . Then for any M -module ( X,λ ) , the counit

- ( /epsilon1 M ) ( X,λ ) = λ : F M U M ( X,λ ) = ( M X ,µ ( ) X ) -→ ( X,λ ) (2.2)

is a right Im F M -approximation of ( X,λ ) in M -Mod C ; it is an epimorphism, since λ ◦ η X = Id X .

The following general result seems to be standard in relative homological algebra, whose proof is also standard.

Proposition 2.4. Let F : A → B be a right exact functor on two abelian categories. Let X be a full subcategory of A . We assume that the following conditions are satisfied.

- (i) For any object C in A , there exists an epimorphism f : X → C which is a right X -approximation such that F f ( ) is a right F ( X ) -approximation of F C ( ) .

- (ii) The restricted functor F | : X → B is fully faithful.

F : A → B is fully faithful. Assume that in addition the following

- X Then the functor condition is satisfied.
- (iii) For any object B in B , there is an epimorphism F A ( ) → B for some object A in A .

Then the functor F : A → B is an equivalence.

Proof. Let A,A ′ be two objects in A . By the right exactness of F and (i), we have two X -presentations ξ : X 1 d → X 0 p → A → 0 and ξ ′ : X ′ 1 d ′ → X ′ 0 p ′ → A ′ → 0 such that F ξ ( ) and F ξ ( ′ ) are F ( X )-presentations of F A ( ) and F A ( ′ ), respectively. To show that F is full, take a morphism t : F A ( ) → F A ( ′ ). Since F ξ ( ′ ) is an F ( X )-presentation, we have the following commutative diagram

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

/d47

$$\begin{array} { c } F ( X _ { 1 } ) \xrightarrow { F ( d ) } F ( X _ { 0 } ) \xrightarrow { F ( p ) } F ( A ) \xrightarrow { 0 } \\ \vdots t _ { 1 } & \ddots & \ddots t _ { 0 } \\ F ( X _ { 1 } ^ { \prime } ) \xrightarrow { F ( d ^ { \prime } ) } F ( X _ { 0 } ^ { \prime } ) \xrightarrow { F ( p ^ { \prime } ) } F ( A ^ { \prime } ) \xrightarrow { 0 } \\ \vdots & \vdots & \vdots \\ \end{array}$$

/d47

/d47

/d47

/d47

/d47

By (ii), there exist morphisms s i : X i → X ′ i such that F s ( i ) = t i and s 0 ◦ d = d ′ ◦ s 1 . The identity s 0 ◦ d = d ′ ◦ s 1 implies the existence of a morphism s : A → A ′ such that s ◦ p = p ′ ◦ s 0 . It follows that F s ( ) = t by comparing commutative diagrams.

The faithfulness of F follows by a converse argument. Indeed, given a morphism s : A → A ′ with F s ( ) = 0, we have morphisms s i : X i → X ′ i such that s ◦ p = p ′ ◦ s 0 and s 0 ◦ d = d ′ ◦ s 1 ; here, we use the X -presentation ξ ′ . Then in the above diagram, t = F s ( ) = 0 and thus t 0 = F s ( 0 ) factors through F d ( ′ ). By (ii), s 0 factors through d ′ , and thus s ◦ p = p ′ ◦ s 0 = 0. We infer that s = 0, since p is epic.

We assume that (iii) is satisfied. Then any object B fits into an exact sequence F A ( ′ ) g → F A ( ) → B → 0. By the fully faithfulness of F , there exists a morphism s : A ′ → A satisfying F s ( ) = g . It follows that F (Cok s ) /similarequal B . This proves the denseness of F , and thus F is an equivalence. /square

The second proof of the 'if' part of Theorem 2.1. Since F has a right adjoint, it is right exact. Then the endofunctor M = UF on A is right exact. It follows that the category M -Mod A is abelian; indeed, a sequence of M -modules is exact if and only if the corresponding sequence of the underlying objects in A is exact.

Recall from (2.1) that K B ( ) = ( U B ,U/epsilon1 ( ) B ) and that K f ( ) = U f ( ) for an object B and a morphism f in B . Since the functor U is exact and faithful, it follows that the comparison functor K : B → M -Mod A is exact and faithful. Consider X = Im F as a full subcategory of B . We claim that the pair K and X satisfy the three conditions in Proposition 2.4. Then we infer that K is an equivalence.

For the claim, we verify the conditions (i)-(iii). For (i), take any object B in B and consider the counit /epsilon1 B : FU B ( ) → B , which is a right X -approximation by Example 2.3. We observe that K /epsilon1 ( B ) equals ( /epsilon1 M K B ) ( ) , the counit /epsilon1 M applied on the M -module K B ( ). In particular, by Example 2.3 K /epsilon1 ( B ) is a right Im F M -approximation of K B ( ) in M -Mod A , which is an epimorphism. Recall that F M = KF and thus Im F M = K ( X ). Hence, the epimorphism K /epsilon1 ( B ) is a right K ( X )-approximation of K B ( ). By Lemma 2.2 the functor K reflects epimorphisms. It follows that /epsilon1 B is an epimorphism. This is the required morphism in (i).

The condition (ii) is well known, since the restriction of K on X = Im F is fully faithful; see [4, Lemma 3.3] and compare [16, VI.3 and VI.5]. The condition (iii) follows from the epimorphism (2.2) for any M -module ( X,λ ), since F M U M =

KFU M and thus ( M X ,µ ( ) X ) = KF X ( ). Set B = F X ( ). In particular, we have by (2.2) a required epimorphism K B ( ) → ( X,λ . ) /square

## 3. Equivariant objects as modules

In this section, we recall the notions of a group action on a category and the category of equivariant objects. We give a direct proof of the fact that in the additive case, the category of equivariant objects is isomorphic to the category of modules over a certain monad.

Let G be an arbitrary group. We write G multiplicatively and denote its unit by e . Let C be an arbitrary category.

The notion of a group action on a category is well known; compare [5, 20, 6]. An action of G on C consists of the data { F , ε g g,h | g, h ∈ G } , where each F g : C → C is an auto-equivalence and each ε g,h : F F g h → F gh is a natural isomorphism such that a 2-cocycle condition holds, that is,

$$\varepsilon _ { g h, k } \circ \varepsilon _ { g, h } F _ { k } = \varepsilon _ { g, h k } \circ F _ { g } \varepsilon _ { h, k }$$

for all g, h, k ∈ G . We observe that there exists a unique natural isomorphism u : F e → Id C , called the unit of the action, satisfying ε e,e = F u e ; moreover, we have F u e = uF e by (3.1).

The given action is strict provided that each F g is an automorphism and each isomorphism ε g,h is the identity, in which case the unit is also the identity. Therefore, a strict action coincides with a group homomorphism from G to the automorphism group of C .

Let G act on C . A G -equivariant object in C is a pair ( X,α ), where X is an object in C and α assigns for each g ∈ G an isomorphism α g : X → F g ( X ) subject to the relations

$$\alpha _ { g g ^ { \prime } } & = ( \varepsilon _ { g, g ^ { \prime } } ) _ { X } \circ F _ { g } ( \alpha _ { g ^ { \prime } } ) \circ \alpha _ { g }.$$

These relations imply that α e = u -1 X . A morphism θ : ( X,α ) → ( Y, β ) between two G -equivariant objects is a morphism θ : X → Y in C such that β g ◦ θ = F g ( θ ) ◦ α g for all g ∈ G . This gives rise to the category C G of G -equivariant objects, and the forgetful functor U : C G → C defined by U X,α ( ) = X . The process forming the category C G of equivariant objects is known as the equivariantization with respect to the group action; see [6].

In what follows, we assume that the group G is finite and that C is an additive category. In this case the forgetful functor U admits a left adjoint F : C → C G , which is known as the induction functor ; see [6, Lemma 4.6]. The functor F is defined as follows: for an object X , set F X ( ) = ( ⊕ h ∈ G F h ( X ,ε ) ), where for each g ∈ G , the isomorphism ε g : ⊕ h ∈ G F h ( X ) → F g ( ⊕ h ∈ G F h ( X )) is diagonally induced by the isomorphism ( ε g,g -1 h X ) -1 : F h ( X ) → F g ( F g -1 h ( X )). Here, to verify that F X ( ) is indeed an equivariant object, we need the 2-cocycle condition (3.1). The functor F sends a morphism θ : X → Y to F θ ( ) = ⊕ h ∈ G F h ( θ ): F X ( ) → F Y ( ).

For an object X in C and an object ( Y, β ) in C G , a morphism F X ( ) → ( Y, β ) is of the form ∑ h ∈ G θ h : ⊕ h ∈ G F h ( X ) → Y satisfying F g ( θ h ) = β g ◦ θ gh ◦ ( ε g,h ) X for any g, h ∈ G . The adjunction of ( F, U ) is given by the following natural isomorphism

$$\text{Hom} _ { \mathcal { C } ^ { G } } ( F ( X ), ( Y, \beta ) ) \stackrel { \sim } { \longrightarrow } \text{Hom} _ { \mathcal { C } } ( X, U ( Y, \beta ) )$$

sending ∑ h ∈ G θ h to θ e ◦ u -1 X . The corresponding unit η : Id C → UF is given such that η X = ( u -1 X , 0 , · · · , 0) , t where 't' denotes the transpose; the counit /epsilon1 : FU → Id C G is given such that /epsilon1 ( Y,β ) = ∑ h ∈ G β -1 h .

Let us compute the monad M = ( UF,η,µ ) defined by the adjoint pair ( F, U ; η, /epsilon1 ). This monad is said to be defined by the group action. The endofunctor M : C → C

MONADICITY THEOREM AND WEIGHTED PROJECTIVE LINES OF TUBULAR TYPE 7

is given by M X ( ) = ⊕ h ∈ G F h ( X ) and M θ ( ) = ⊕ h ∈ G F h ( θ ) for a morphism θ in C . The multiplication µ : M 2 → M is given by

$$\mu _ { X } = U \epsilon _ { F ( X ) } \colon M ^ { 2 } ( X ) = \oplus _ { h, g \in G } F _ { h } F _ { g } ( X ) \longrightarrow M ( X ) = \oplus _ { h \in G } F _ { h } ( X )$$

with the property that the corresponding entry F F h g ( X ) → F h ′ ( X ) is δ hg,h ′ ( ε h,g ) X ; here, δ is the Kronecker symbol.

The following result shows that the category of equivariant objects is isomorphic to the category of M -modules. Roughly speaking, equivariant objects are modules. We mention that the result is an immediate consequence of Beck's monadicity theorem in [16, VI.7]; see also [4, Lemma 4.3] and compare [7, Proposition 3.10]. We provide a direct proof for completeness.

Proposition 3.1. Let C be an additive category and G be a finite group acting on C . Keep the notation as above. Then the adjoint pair ( F, U ; η, /epsilon1 ) is strictly monadic, that is, the associated comparison functor K : C G → M -Mod C is an isomorphism of categories.

Proof. We have just computed explicitly the monad M . Let us take a closer look at M -modules. An M -module is a pair ( X,λ ) with λ = ∑ h ∈ G λ h : M X ( ) = ⊕ h ∈ G F h ( X ) → X . The condition λ ◦ η X = Id X is equivalent to λ e = u X , and λ ◦ M λ ( ) = λ ◦ µ X is equivalent to λ hg ◦ ε h,g = λ h ◦ F h ( λ g ) for any h, g ∈ G . Hence, if we set α h : X → F h ( X ) to be ( λ h ) -1 and compare (3.2), we obtain an object ( X,α ) ∈ C G . Roughly speaking, the maps λ h 's carry the same information as α h 's.

Recall from (2.1) that the associated comparison functor K : C G → M -Mod C is constructed such that K X,α ( ) = ( U X,α ,U/epsilon1 ( ) ( X,α ) ), which equals the M -module ( X,λ ) with λ h = ( α h ) -1 by the explicit form of the counit /epsilon1 . It follows immediately that K induces a bijection on objects, and is fully faithful. We infer that K is an isomorphism of categories. /square

Remark 3.2. Proposition 3.1 can be extended slightly. Let G be a group whose cardinality | G | might be infinite. Assume that the additive category C has coproducts with any index set of cardinality less or equal to | G | . For a G -action on C , we define the induction functor F and the monad M as above by replacing finite coproducts by coproducts indexed by a possibly infinite index set. The same argument proves that the comparison functor K : C G → M -Mod C is an isomorphism of categories.

## 4. Exact monads and quotient abelian categories

In this section, we give the first application of Theorem 2.1, which states that the formation of the module category of an exact monad is compatible with quotient abelian categories by Serre subcategories. This result applies to the category of equivariant objects in an abelian category.

- 4.1. Let A be an abelian category. A Serre subcategory N of A is by definition a full subcategory which is closed under subobjects, quotient objects and extensions. In other words, for an exact sequence 0 → X → Y → Z → 0 in A , Y lies in N if and only if both X and Z lie in N . It follows that a Serre subcategory N is abelian and the inclusion functor N → A is exact.

For a Serre subcategory N of A , we denote by A N / the quotient abelian category ; see [8]. The objects of A N / are the same as A , and for two objects X and Y , a morphism in A N / is represented by a morphism X ′ → Y/Y ′ , where X ′ ⊆ X and Y ′ ⊆ Y are subobjects with both X/X ′ and Y ′ in N . The quotient functor q : A → A N / sends an object X to X , a morphism f : X → Y to the morphism q f ( ), which is represented by f : X → Y ; here, the corresponding X ′ and Y ′ are X

and 0, respectively. The functor q is exact with its essential kernel Ker q = N . In particular, for a morphism f : X → Y in A , q f ( ) = 0 if and only if its image Im f lies in N .

- Let F : A → A ′ be an exact functor. Then the essential kernel Ker F is a Serre subcategory of A , and F induces a unique exact functor F ′ : A / Ker F → A ′ . We say that F is a quotient functor provided that F ′ is an equivalence.

Let F : A → A ′ be an exact functor. Assume that N ⊆ A and N ′ ⊆ A ′ are Serre subcategories such that F ( N ⊆ N ) ′ . Then there is a uniquely induced exact functor ¯ : F A N → A / ′ / N ′ .

Lemma 4.1. Keep the notation as above. Assume that F : A → A ′ is a quotient functor. Then the induced functor ¯ : F A N → A / ′ / N ′ is also a quotient functor.

Proof. Denote by C the inverse image of N ′ under F . Then C is a Serre subcategory of A containing N and Ker F . The essential kernel Ker ¯ of F ¯ equals F C / N .

We observe the following isomorphisms of abelian categories

( A N / ) / ( C / N /similarequal ) A C /similarequal / ( A / Ker F / ) ( C / Ker F . )

By the assumption, we have the equivalence F ′ : A / Ker F ∼ -→ A ′ , which induces an equivalence ( A / Ker F / ) ( C / Ker F ) ∼ -→ A ′ / N ′ . Consequently, we have the required equivalence ( A N / ) / Ker ¯ F ∼ -→ A ′ / N ′ . /square

Let M : A → A be an exact monad on A , that is, M = ( M,η,µ ) is a monad on A and the endofunctor M is exact. Recall that the category M -Mod A of M -modules is abelian, where a sequence of M -modules is exact if and only if the corresponding sequence of underlying objects in A is exact. It follows that both the free module functor F M : A → M -Mod A and the forgetful functor U M : M -Mod A → A are exact.

Let N ⊆ A be a Serre subcategory such that M ( N ) ⊆ N . Then we have the induced endofunctor ¯ : M A N → A N / / ; moreover, the natural transformations η and µ induce natural transformations ¯: Id η A N / → ¯ M and ¯: µ ¯ M 2 → ¯ . M Indeed, we obtain a monad ¯ M = ( ¯ M,η,µ ¯ ¯) on A N / , called the induced monad of M .

We will need the following standard fact.

Lemma 4.2. Let F : A → A ′ be an exact functor between two abelian categories, which has an exact right adjoint U : A → A ′ . Assume that N ⊆ A and N ⊆ A ′ ′ are Serre subcategories such that F ( N ⊆ N ) ′ and U ( N ′ ) ⊆ N . Then the following statements hold.

- (1) The induced functor ¯ : F A N → A / ′ / N ′ is left adjoint to the induced functor ¯ : U A N → A N ′ / ′ / .
- (2) The monad on A N / defined by the adjoint pair ( ¯ F,U ¯ ) coincides with the induced monad of the one on A defined by the adjoint pair ( F, U ) .
- (3) Denote by U -1 ( N ) the inverse image of N . Assume that U -1 ( N ) = N ′ . Then the induced functor ¯ U is faithful.

Proof. Denote the given adjoint pair by ( F, U ; η, /epsilon1 ) and its defined monad by ( M = UF,η,µ ). We observe that the unit η ( resp. , the counit /epsilon1 ) induces naturally a natural transformation ¯: Id η A N / → ¯ ¯ UF ( resp. , ¯: /epsilon1 ¯ ¯ FU → Id A ′ / N ′ ). Then we apply [16, IV.1, Theorem 2(v)] to deduce the adjoint pair ( ¯ F,U η,/epsilon1 ¯ ; ¯ ¯). It follows that the monad defined by this adjoint pair coincides with ( ¯ M,η,µ ¯ ¯), the induced monad of M .

For (3), take any morphism θ : X → Y in A N ′ / ′ with ¯ ( U θ ) = 0. We assume that θ is represented by a morphism f : X ′ → Y/Y ′ , where X ′ ⊆ X and Y ′ ⊆ Y are subobjects satisfying that both X/X ′ and Y ′ lie in N ′ . Then ¯ ( U θ ) is represented by U f ( ): U X ( ′ ) → U Y/Y ( ′ ), and thus q U f ( ( )) = 0 in A N / , or equivalently, the

image Im U f ( ) lies in N . We observe that Im U f ( ) /similarequal U (Im f ) and then Im f lies in N ′ , since U -1 ( N ) = N ′ . We infer that θ equals zero in A N ′ / ′ . We are done. /square

- 4.2. Let A be an abelian category, and M : A → A be an exact monad. We will apply Lemma 4.2 to the adjoint pair ( F M , U M ).

Let N ⊆ A be a Serre subcategory with M ( N ⊆ N ) . Then we have the restricted exact monad M : N → N and the category M -Mod N of M -modules in N . We view M -Mod N as a full subcategory of M -Mod A , in other words, an M -module ( X,λ ) lies in M -Mod N if and only if the underlying object X lies in N . We observe that M -Mod N ⊆ M -Mod A is a Serre subcategory.

Consider the induced monad ¯ M on A N / . We observe that an M -module ( X,λ ) yields an ¯ -module ( M X,q λ ( )) on A N / , where q λ ( ): ¯ ( M X ) = qM X ( ) → X . This gives rise to an exact functor

↦

$$\Phi \colon M \text{-Mod} _ { \mathcal { A } } \longrightarrow \bar { M } \text{-Mod} _ { \mathcal { A } / \mathcal { N } }, \ \ ( X, \lambda ) \mapsto ( X, q ( \lambda ) ).$$

The functor Φ sends a morphism θ to q θ ( ). We observe that Φ vanishes on the Serre subcategory M -Mod N , and induces an exact functor Φ: ¯ M -Mod A /M -Mod N → ¯ -Mod M A N / .

Proposition 4.3. Let M : A → A be an exact monad on an abelian category A , and let N ⊆ A be a Serre subcategory satisfying M ( N ⊆ N ) . Keep the notation as above. Then the induced functor

$$\bar { \Phi } \colon M \text{-Mod} _ { \mathcal { A } } / M \text{-Mod} _ { \mathcal { N } } \stackrel { \sim } { \longrightarrow } \bar { M } \text{-Mod} _ { \mathcal { A } / \mathcal { N } }$$

is an equivalence of categories.

Proof. Consider the free module functor F M : A → M -Mod A and the forgetful functor U M : M -Mod A →A , both of which are exact. We observe that F M ( N ) ⊆ M -Mod N , and U -1 M ( N ) = M -Mod N . We apply Lemma 4.2(1) and (3), and obtain the adjoint pair F M and U M between quotient abelian categories A N / and M -Mod A /M -Mod N , where U M is faithful. Moreover, by Lemma 4.2(2) the monad defined by this adjoint pair coincides with the induced monad ¯ M of M . We apply Theorem 2.1 to the adjoint pair ( F M , U M ) and infer that the associated comparison functor

$$K \colon M \text{-Mod} _ { \mathcal { A } } / M \text{-Mod} _ { \mathcal { N } } \longrightarrow \bar { M } \text{-Mod} _ { \mathcal { A } / \mathcal { N } }$$

is an equivalence.

It remains to observe that K = ¯ . Φ Indeed, by (2.1) the comparison functor K sends an M -module ( X,λ ) to an ¯ -module ( M U M ( X,λ , U ) M (¯ /epsilon1 M ) ( X,λ ) ), which equals ( X,q λ ( )). Hence, the functors K and Φ agree on objects. ¯ For the same reason, they agree on morphisms. /square

We now apply Proposition 4.3 to the category of equivariant objects. Let G be a finite group which acts on an abelian category A by the data { F , ε g g,h | g, h ∈ G } . Then the category A G of G -equivariant objects is abelian; indeed, a sequence of equivariant objects is exact if and only if the corresponding sequence of the underlying objects in A is exact.

Let N ⊆ A be a Serre subcategory which is invariant under this action, that is, F g ( N ) ⊆ N for any g ∈ G . Then the quotient category A N / inherits a G -action, which is given by the data { ¯ F , ε g ¯ g,h | g, h ∈ G } . The quotient functor q : A → A N / induces an exact functor

$$\Psi \colon \mathcal { A } ^ { G } \longrightarrow ( \mathcal { A } / \mathcal { N } ) ^ { G }.$$

More precisely, Ψ sends a G -equivariant object ( X,α ) to ( X,q α ( )), where q α ( ) g = q α ( g ): X → ¯ ( F g X ) = qF g ( X ) for each g ∈ G , and Ψ sends a morphism θ : ( X,α ) → ( Y, β ) to q θ ( ): ( X,q α ( )) → ( Y, q ( β )). We observe that the functor Ψ is exact

and that its essential kernel equals N G . Therefore, we have the induced functor ¯ : Ψ A G / N G → A N ( / ) G .

Corollary 4.4. Let G be a finite group acting on an abelian category A , and let N ⊆ A be a Serre subcategory which is invariant under the action. Keep the notation as above. Then the induced functor

$$\bar { \Psi } \colon \mathcal { A } ^ { G } / \mathcal { N } ^ { G } \stackrel { \sim } { \longrightarrow } ( \mathcal { A } / \mathcal { N } ) ^ { G }$$

is an equivalence of categories.

Proof. Denote by M the monad on A that is defined by the group action. Then M is exact and by the invariance of N , we have M ( N ) ⊆ N . We observe that the induced monad ¯ M on A N / coincides with the monad defined by the induced G -action on A N / .

By Proposition 3.1 we identify A G with M -Mod A , and ( A N / ) G with ¯ -Mod M A N / . Then the equivalence follows from Proposition 4.3. Here, one observes that the functor Φ in Proposition 4.3 corresponds to the functor Ψ. ¯ ¯ /square

## 5. Graded module categories and graded group rings

In this section, we give the second application of Theorem 2.1, and prove that the equivarianzation of the graded module category over a graded ring with respect to a certain degree-shift action is equivalent to the graded module category over the same ring but with a coarser grading; this result is essentially due to [17, Theorem 6.4.1] in a different setup. On the other hand, we prove that the equivariantization of the graded module category over a graded ring with respect to a certain twisting action is equivalent to the graded module category over the same ring but with a refined grading. All modules are right modules.

- 5.1. Let G be an arbitrary group. Let R = ⊕ g ∈ G R g be a G -graded ring with a unit. Here, the unit 1 R lies in R e , and the subgroups R g of R are called the homogeneous components of degree g .

/negationslash

- A G -graded R -module X is an R -module with a decomposition X = ⊕ g ∈ G X g into homogeneous components X g such that X .R g g ′ ⊆ X gg ′ , where the dot '.' means the right action. An element x in X g is said to be homogeneous of degree g , denoted by | x | = g or deg x = g . The grading support of X is by definition gsupp( X ) = { g ∈ G | X g = 0 , which is a subset of } G .

We denote by Mod G -R the abelian category of G -graded R -modules, where the homomorphism between graded modules are module homomorphisms that preserve the degrees. More precisely, a homomorphism f : X → X ′ is an R -module homomorphism satisfying f ( X g ) ⊆ X ′ g , and we denote by f g : X g → X ′ g its restriction to the corresponding homogeneous component. We denote by mod G -R the full subcategory formed by finitely presented graded modules.

For a G -graded R -module X and g ′ ∈ G , the shifted module X g ( ′ ) is defined such that X g ( ′ ) = X as an ungraded R -module and that its grading is given by X g ( ′ ) g = X g g ′ for each g ∈ G . This gives rise to an automorphism ( g ′ ): Mod G -R → Mod G -R , called the degree-shift functor . For example, we consider R g ( ′ ) as a G -graded R -module with 1 R having degree g ′-1 . Indeed, the set { R g ( ) | g ∈ G } is a set of projective generators in the category Mod G -R .

Each subgroup G ′ ⊆ G has a strict action on Mod G -R by assigning to each g ′ ∈ G ′ the automorphism F g ′ = ( g ′-1 ). Such a G ′ -action on Mod G -R is referred as a degree-shift action ; in this case, G ′ acts also on mod G -R .

Let π : G → H be a homomorphism of groups. We define an H -graded ring π ∗ ( R ) as follows: as an ungraded ring π ∗ ( R ) = R , while its homogeneous component is

given by π ∗ ( R ) h = ⊕ g ∈ π -1 ( h ) R g for each h ∈ H ; compare [17, Subsection 1.2]. Then we have the abelian category Mod H -π ∗ ( R ) of H -graded π ∗ ( R )-modules and its full subcategory mod H -π ∗ ( R ) consisting of finitely presented modules, both of which carry a natural strict H -action by degree-shift.

The functor π ∗ has a right adjoint π ∗ : Mod H -π ∗ ( R ) → Mod G -R , which is defined as follows. For an H -graded π ∗ ( R )-module Y = ⊕ h ∈ H Y h , we define a G -graded abelian group π ∗ ( Y ) such that its homogeneous component π ∗ ( Y ) g = Y π g ( ) for each g ∈ G . A homogeneous element r ∈ R g ′ acts on an element y ∈ π ∗ ( Y ) g as the given action y.r on Y , where the resulting element y.r ∈ Y π g g ( ′ ) is viewed now as an element in π ∗ ( Y ) gg ′ . This defines a G -graded R -module π ∗ ( Y ). For an H -graded π ∗ ( R )-module homomorphism f : Y → Y ′ , the corresponding homomorphism π ∗ ( f ): π ∗ ( Y ) → π ∗ ( Y ′ ) sends an element y ∈ π ∗ ( Y ) g = Y π g ( ) to f ( y ) ∈ Y ′ π g ( ) = π ∗ ( Y ′ ) g for each g ∈ G . We observe that the functor π ∗ is exact.

We define a functor π ∗ : Mod G -R → Mod H -π ∗ ( R ) as follows: for a G -graded R -module X = ⊕ g ∈ G X g , we assign an H -graded π ∗ ( R )-module π ∗ ( X ) such that π ∗ ( X ) = X as an ungraded R -module and that its homogeneous component is given by π ∗ ( X ) h = ⊕ g ∈ π -1 ( h ) X g . The functor π ∗ acts on homomorphisms by the identity. We observe that π ∗ sends R to π ∗ ( R ), and more generally, π ∗ sends R g ( ) to π ∗ ( R )( h ) for each g ∈ G and h = π g ( ). We observe also that the functor π ∗ is exact.

The adjoint pair ( π , π ∗ ∗ ) is given by the following natural isomorphism

$$\text{Hom} _ { \text{Mod} ^ { H } - \pi _ { * } ( R ) } ( \pi _ { * } ( X ), Y ) \stackrel { \sim } { \longrightarrow } \text{Hom} _ { \text{Mod} ^ { G } - R } ( X, \pi ^ { * } ( Y ) )$$

which sends f : π ∗ ( X ) → Y to f ′ : X → π ∗ ( Y ) such that f ′ g : X g → π ∗ ( Y ) g = Y π g ( ) is the restriction of f π g ( ) : π ∗ ( X ) π g ( ) → Y π g ( ) to the direct summand X g . It follows that the unit η : Id Mod G -R → π π ∗ ∗ is given such that ( η X g ) : X g → π π ∗ ∗ ( X ) g = ⊕ g ′ ∈ π -1 ( π g ( )) X g ′ is the inclusion of X g . The counit /epsilon1 : π π ∗ ∗ → Id Mod H -π ∗ ( R ) is given such that ( /epsilon1 Y ) h : π π ∗ ∗ ( Y ) h = ⊕ g ∈ π -1 ( h ) Y π g ( ) → Y h maps each direct summand Y π g ( ) identically to Y h if h ∈ π G ( ), and that ( /epsilon1 Y ) h = 0 otherwise.

Lemma 5.1. Let N be the kernel of π : G → H . Then the monad defined by the adjoint pair ( π , π ∗ ∗ ; η, /epsilon1 ) coincides with the monad defined by the degree-shift action of N on Mod G -R .

Proof. Denote by ( M,η ,µ ′ ) the monad that is defined by the degree-shift action of N on Mod G -R . As we computed above, π π ∗ ∗ ( X ) g = ⊕ g ′ ∈ π -1 ( π g ( )) X g ′ = ⊕ n ∈ N X n ( -1 ) g for each g ∈ G . Indeed, this proves that the endofunctor π π ∗ ∗ equals M , which is by definition ⊕ n ∈ N F n = ⊕ n ∈ N ( n -1 ). It is direct to verify that η = η ′ and µ = π /epsilon1π ∗ ∗ . /square

We consider the degree-shift action of N on Mod G -R , and thus the category (Mod G -R ) N of N -equivariant objects. Consider the following functor

$$\Theta \colon \text{Mod} ^ { H } \text{-} \pi _ { * } ( R ) \longrightarrow ( \text{Mod} ^ { G } \text{-} R ) ^ { N }$$

sending Y to Θ( Y ) = ( π ∗ ( Y ) , Id), where Id n : π ∗ ( Y ) → π ∗ ( Y )( n -1 ) is the identity for each n ∈ N ; here, we observe that π ∗ ( Y )( n -1 ) = π ∗ ( Y ). The functor Θ sends a homomorphism f to π ∗ ( f ).

The main observation is as follows. We mention that it is implicitly due to [17, Theorem 6.4.1]; see Corollary 5.5.

Proposition 5.2. Keep the notation as above. Then the functor Θ is an equivalence if and only if π : G → H is surjective. In this case, if in addition N is finite, the equivalence Θ restricts to an equivalence

$$\Theta \colon \bmod ^ { H } \psi _ { * } ( R ) \stackrel { \sim } { \longrightarrow } ( \bmod ^ { G } \psi _ { R } ) ^ { N }.$$

Proof. We claim that the functor π ∗ is faithful if and only if π is surjective. Recall that π ∗ ( Y ) g = Y π g ( ) for each g ∈ G , and that for a morphism f : Y → Y ′ , π ∗ ( f ) g = f π g ( ) . In particular, π ∗ ( f ) = 0 if and only if f h = 0 for all h ∈ π G ( ). This proves the 'if' part of the claim. On the other hand, if π is not surjective, we take h ∈ H that is not contained in π G ( ). Consider Y = π ∗ ( R )( h ) in Mod H -π ∗ ( R ). Then π ∗ ( Y ) = 0, or equivalently, π ∗ (Id Y ) = 0. This shows that π ∗ is not faithful in this case.

Set A = Mod G R . Denote by M the monad on A defined by the adjoint pair ( π , π ∗ ∗ ). We consider the associated comparison functor K : Mod H -π ∗ ( R ) → M -Mod A . By Lemma 5.1, Proposition 3.1 and Remark 3.2, we identify M -Mod A with A N , with which the functor Θ is identified with this comparison functor K . Here, one compares the definition of Θ in (5.1) with the construction of K in (2.1). Recall that the functor π ∗ is exact. Then we apply Theorem 2.1 to the adjoint pair ( π , π ∗ ∗ ), and infer that Θ is an equivalence if and only if π ∗ is faithful, which by the above claim is equivalent to the surjectivity of π .

The restricted equivalence follows from Lemma 5.3(2).

/square

The following fact is well known.

Lemma 5.3. Assume that the homomorphism π : G → H is surjective with its kernel N finite. Let X be a G -graded R -module and Y an H -graded π ∗ ( R ) -module. Keep the notation as above. Then the following statements hold.

- (1) The G -graded R -module X is finitely presented if and only if so is π ∗ ( X ) .
- (2) The H -graded π ∗ ( R ) -module Y is finitely presented if and only if so is π ∗ ( Y ) .

Proof. Recall that π ∗ ( R g ( )) = π ∗ ( R )( h ) for each g ∈ G and h = π g ( ). Thus the exact functor π ∗ preserves finitely generated projective modules. Then the 'only if' part of (1) follows.

We observe that π ∗ ( π ∗ ( R )( h )) /similarequal ⊕ n ∈ N R ng ( ) for h = π g ( ), and that N is finite. It follows that the exact functor π ∗ preserves finitely generated projective modules. The 'only if' part of (2) follows.

For the 'if' part of (1), we assume that π ∗ ( X ) is finitely presented, and thus so is π π ∗ ∗ ( X ). The unit η X : X → π π ∗ ∗ ( X ) is a split monomorphism. It follows that X is finitely presented.

It remains to prove the 'if' part of (2). We claim that for each H -graded π ∗ ( R )-module Z , if π ∗ ( Z ) is finitely generated, so is Z . Indeed, we recall that the exact functor π ∗ preserves finitely generated projective modules. It follows that π π ∗ ∗ ( Z ) is finitely generated. Since the counit /epsilon1 Z : π π ∗ ∗ ( Z ) → Z is surjective, we infer that Z is finitely generated. Here, for the surjectivity of /epsilon1 Z we use the surjectivity of the homomorphism π : G → H .

We assume that π ∗ ( Y ) is finitely presented. By the claim Y is finitely generated. Take an exact sequence 0 → K → P → Y → 0 in Mod H -π ∗ ( R ) with P finitely generated projective. Applying the exact functor π ∗ and the fact that π ∗ ( P ) is finitely generated projective, we infer that π ∗ ( K ) is finitely generated. By the claim again, we have that K is finitely generated. This shows that Y is finitely presented. /square

5.2. We will relate Proposition 5.2 to [17, Theorem 6.4.1].

Let N be a normal subgroup of a group G . Let R = ⊕ g ∈ G R g be a G -graded ring. The graded group ring R gr [ N ] is defined as follows: R gr [ N ] = ⊕ n ∈ N Ru n is a free left R -module with a basis { u n | n ∈ N } , which is G -graded by means of | ru n | = | r | · n for a homogeneous element r in R ; the multiplication is given as

follows

$$( r u _ { n } ) ( r ^ { \prime } u _ { n ^ { \prime } } ) = r r ^ { \prime } u _ { ( | r ^ { \prime } | ^ { - 1 } \cdot n \cdot | r | ^ { \prime } ) n ^ { \prime } }.$$

We mention that the elements u n are invertible.

We observe that R gr [ N ] is a G -graded ring, and that the canonical map R → R gr [ N ], sending r to ru e , identifies R as a G -graded subring of R gr [ N ]. We refer for the details to [17, Subsection 6.1].

The following result establishes the link between the graded group ring R gr [ N ] and the category of N -equivariant objects in Mod G -R . We emphasize that here we consider the degree-shift action of N on Mod G -R .

Proposition 5.4. Keep the notation as above. Then there is an isomorphism of categories

$$( \text{Mod} ^ { G } \text{-} R ) ^ { N } \stackrel { \sim } { \longrightarrow } \text{Mod} ^ { G } \text{-} ( R ^ { g r } [ N ] ).$$

Proof. Recall that an N -equivariant object ( X,α ) is a G -graded R -module X with isomorphisms α n : X → F X n = X n ( -1 ) in Mod G -R , subject to the relations F n ( α n ′ ) ◦ α n = α nn ′ . We also view α n as an automorphism on X of degree n -1 .

We define a functor ∆: (Mod G -R ) N ∼ -→ Mod G -( R gr [ N ]) as follows. To an N -equivariant object ( X,α ), we associate a G -graded R gr [ N ]-module ∆( X,α ) = X such that the R -action is the same as X and that

$$x. u _ { n } = ( \alpha _ { | x | \cdot n \cdot | x | ^ { - 1 } } ) ^ { - 1 } ( x )$$

for each homogeneous element x in X and n ∈ N . It is rountine to verify that this defines a G -graded R gr [ N ]-module structure on X . The functor ∆ acts by the identity on morphisms. Roughly speaking, the functor ∆ rearranges the isomorphisms α n 's into the action of the invertible elements u n 's.

The inverse functor of ∆ associates to a G -graded R gr [ N ]-module Y the N -equivaraint object ( Y, β ), where the isomorphism β n : Y → Y ( n -1 ) is given by β n ( y ) = y. u ( | y | -1 · n -1 ·| y | ) for each homogeneous element y ∈ Y . /square

We combine Propositions 5.2 and 5.4 to recover the following result.

Corollary 5.5. ([17, Theorem 6.4.1]) Let R = ⊕ g ∈ G R g be a G -graded ring and let N ⊆ G be a normal subgroup. Consider the canonical projection π : G → G/N . Then there is an equivalence of categories

$$\text{Mod} ^ { G / N } \text{-} \pi _ { * } ( R ) \xrightarrow { \sim } \text{Mod} ^ { G } \text{-} ( R ^ { g r } [ N ] ).$$

- 5.3. We will show that in the case that N is a finite abelian group which is a direct summand of G , one might recover the category of G -graded R -modules from the category of G/N -graded π ∗ ( R )-modules via the equivariantization with respect to a certain twisting action; see Proposition 5.7.

Throughout this subsection, we assume that A is a finite abelian group. Let k be a splitting field of A . In other words, the group algebra kA is isomorphic to a direct product of copies of k ; in particular, the characteristic of the field k does not divide the order of A . Denote by ̂ A the character group of A , that is, the group of linear characters of A over k .

Let V be a vector space over k . By a linear ̂ A -action on V we mean a group homomorphism from ̂ A to the general linear group of V . By an A -gradation on V , we mean a decomposition V = ⊕ a ∈ A V a into subspaces indexed by A . We have the following well-known one-to-one correspondence:

$$& \{ A \text{-gradations on } V \} \longleftrightarrow \{ \text{linear } \widehat { A } \text{-actions on } V \}. \\ & \text{R} \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \delta \quad \dots \quad \delta \quad \dots \quad \delta \quad \dots \quad \delta \quad \dots \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \dots \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \dots \quad \delta \quad \dots \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \dots \quad \delta \quad \delta \quad \delta \quad \dots \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \dia \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \dia \quad \delta \quad \delta \quad \delta \quad \dia \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \dia \quad \delta \quad \delta \quad \delta \quad \d� \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \d� \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \d� \quad \delta \quad \delta \quad \delta \quad \d� \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \dia \quad \delta \quad \delta \quad \delta \quad \dag \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \dag \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \dag \quad \delta \quad \delta \quad \delta \quad \dag \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \delta \quad \d� \quad \delta \quad \delta \quad \delta \quad \dag \quad \delta \quad \delta \quad \dag \quad \dag \quad \dag \quad \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \ dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag \dag$$

The correspondence identifies an A -gradation V = ⊕ a ∈ A V a with the linear ̂ A -action given by χ.v = χ a v ( ) for any χ ∈ ̂ A and v ∈ V a . Here, χ.v denotes the left action of χ on v .

We will consider a restriction of this correspondence. Let H be an arbitrary group and let R = ⊕ h ∈ H R h be an H -graded algebra over k . By an ̂ A -action as graded automorphisms on R we mean a group homomorphism from ̂ A to the automorphism group of R as an H -graded algebra.

Consider the canonical projection π : H × A → H which sends ( h, a ) to h . An A -refinement of R means an ( H × A )-graded algebra ¯ R such that π ∗ ( ¯ ) R = R , or equivalently, each homogeneous component R h = ⊕ a ∈ A ¯ R ( h,a ) has an A -gradation such that rr ′ ∈ ¯ R ( hh ,aa ′ ′ ) for any elements r ∈ ¯ R ( h,a ) and r ′ ∈ ¯ R ( h ,a ′ ′ ) .

The following result is well known; compare [17, Proposition 1.3.13 and Remarks 1.3.14].

Lemma 5.6. Let R be an H -graded algebra. Then there is a one-to-one correspondence

- { A -refinements of R } ←→ { ̂ A -actions as graded automorphisms on R , } (5.3)

Proof. We apply the correspondence (5.2) to the homogeneous component R h for each h ∈ H . It suffices to show that the decomposition R = ⊕ ( h,a ) ∈ H × A ¯ R ( h,a ) makes R = ¯ an ( R H × A )-graded algebra if and only if the corresponding ̂ A -action on R is given by H -graded algebra automorphisms. Take the 'only if' part for example. For any two elements r ∈ ¯ R ( h,a ) ⊆ R h and r ∈ ¯ R ( h ,a ′ ′ ) ⊆ R h ′ , we have which identifies an A -refinement ¯ R with the ̂ A -action given by χ.r = χ a r ( ) for χ ∈ ̂ A and r ∈ ¯ R ( h,a ) .

$$\chi. ( r r ^ { \prime } ) = \chi ( a a ^ { \prime } ) r r ^ { \prime } = ( \chi ( a ) r ) ( \chi ( a ^ { \prime } ) r ^ { \prime } ) = ( \chi. r ) ( \chi. r ^ { \prime } ),$$

where the leftmost equality uses the ( H × A )-gradation on R = ¯ . R This proves that χ acts on R by an H -graded algebra automorphism. /square

Let σ : R → R be an automorphism as an H -graded algebra. For each X ∈ Mod H -R , the twisted module X σ is defined such that X σ = X as an H -graded space and that it has a new R -action ' ◦ ' given by x r ◦ = x.σ r ( ). This gives rise to an automorphism ( -) σ : Mod H -R → Mod H -R . In this way, each subgroup G ′ of the automorphism group of R as an H -graded algebra has a strict action on Mod H -R by assigning to each g ∈ G ′ the automorphism F g = ( -) g -1 . Such an action is referred as a twisting action of G ′ on Mod H -R .

By Proposition 5.2 there is an equivalence of categories

Let A be a finite abelian group. Consider an A -refinement ¯ R of R , and the corresponding ̂ A -action on R . Then there is a strict ̂ A -action on Mod H -R by assigning to each χ ∈ ̂ A the automorphism F χ = ( -) χ -1 ; here, we identify χ as an element in the automorphism group of R . We refer to this action as the twisting action of ̂ A on Mod H -R that corresponds to the A -refinement ¯ . R We will consider the category (Mod H -R ) ̂ A of ̂ A -equivariant objects in Mod H -R .

$$\Theta \colon \text{Mod} ^ { H } \text{-} R \stackrel { \sim } { \longrightarrow } ( \text{Mod} ^ { ( H \times A ) } \text{-} \bar { R } ) ^ { A }$$

where we consider the degree-shift action of A on Mod ( H × A ) -¯ . R The following is a different equivalence, which is somehow adjoint to (5.4); see Remark 5.8.

Recall that the canonical projection π : H × A → H satisfies π ∗ ( ¯ ) R = R . We define the following functor

$$\Gamma \colon \text{Mod} ^ { ( H \times A ) } \text{ } \bar { R } \longrightarrow \left ( \text{Mod} ^ { H } \text{ } \text{ } R \right ) ^ { \widehat { A } }$$

which sends an ( H × A )-graded ¯ -module R ¯ X to Γ( ¯ ) X = ( π ∗ ( ¯ ) X ,γ ), where each isomorphism γ χ : π ∗ ( ¯ ) X → F χ ( π ∗ ( ¯ )) X = π ∗ ( ¯ ) X χ -1 is given by γ χ ( x ) = χ -1 ( a x ) for x ∈ ¯ X ( h,a ) ⊆ π ∗ ( ¯ ) X h . The action of Γ on morphisms is given by π ∗ .

The following result generalizes slightly a result in [14].

Proposition 5.7. Let R be an H -graded algebra over k , and let A be a finite abelian group such that k is a splitting field of A . Consider an A -refinement ¯ R of R and the corresponding twisting action of ̂ A on Mod H -R . Then the above functor Γ is an isomorphism of categories. Moreover, we have a restricted isomorphism

$$\Gamma \colon \bmod ^ { ( H \times A ) } \psi _ { \psi } \bar { R } \stackrel { \sim } { \longrightarrow } ( \bmod ^ { H } \psi _ { \psi } R ) ^ { \widehat { A } }.$$

↦

Proof. Let us indicate the inverse of Γ. For an ̂ A -equivariant object ( X,α ) in Mod H -R , we have for each χ ∈ ̂ A the isomorphism α χ : X → F χ ( X ) = X χ -1 in Mod H -R ; in particular, α χ induces a k -linear automorphism on each homogeneous component X h for each h ∈ H . In view of (3.2), we observe that these isomorphisms ( α χ ) -1 = α χ -1 induce a linear ̂ A -action on X h . By the correspondence (5.2) each homogeneous component X h has an A -gradation X h = ⊕ a ∈ A ¯ X ( h,a ) such that α χ -1 ( x ) = χ a x ( ) for x ∈ ¯ X ( h,a ) . This makes ¯ X = X = ⊕ ( h,a ) ∈ H × A ¯ X ( h,a ) an ( H × A )-graded ¯ -module; moreover, we have R α χ = γ χ for each χ ∈ ̂ A . In other words, ( X,α ) = Γ( ¯ ). X Then the assignment ( X,α ) → ¯ defines the inverse functor X of Γ.

The restricted isomorphism follows from Lemma 5.3(1).

$$\Box$$

Remark 5.8. We mention that one might infer the equivalence (5.4) from Proposition 5.7 and a general result [7, Theorem 7.2]. Here, we identify A with the character group of ̂ A . In other words, these two equivalences are somehow adjoint to each other. We thank Helmut Lenzing for this remark.

## 6. Weighted projective lines and quotient abelian categories

In this section, we recall from [9, 10] some basic facts on weighted projective lines. For a weighted projective line, we study the relationship between the restriction subalgebras of its homogeneous coordinate algebra and certain quotient categories of the category of coherent sheaves on it. Here, we work on an arbitrary field k .

- 6.1. Let t ≥ 1 be an integer. A weight sequence p = ( p , p 1 2 , · · · , p t ) with t weights consists of t positive integers satisfying p i ≥ 2. We will assume that p 1 ≥ p 2 ≥ · · · ≥ p t .

The string group L ( p ) associated to a weight sequence p is an abelian group with generators /vector x , /vector 1 x , 2 · · · , /vector x t subject to the relations p /vector 1 x 1 = p /vector 2 x 2 = · · · = p /vector t x t . This common element is denoted by /vector c , called the canonical element . The abelian group L ( p ) is of rank one, where the canonical element /vector c has infinite order. We observe an isomorphism L ( p ) / Z /vector c /similarequal ∏ t i =1 Z /p i Z of abelian groups. From these facts, we infer that each element /vector x in L ( p ) is uniquely expressed in its normal form

$$\vec { x } = l \vec { c } + \sum _ { i = 1 } ^ { t } l _ { i } \vec { x } _ { i }$$

with l ∈ Z and 0 ≤ l i &lt; p i . Set φ /vector ( x ) = l ; this gives rise to a map φ : L ( p ) → Z . For each 1 ≤ i ≤ t , we define a homomorphism π i : L ( p ) → Z /p i Z such that π i ( /vector x j ) = δ i,j ¯ ; 1 it is surjective.

We denote by N = { 0 1 2 , , · · · } the set of natural numbers. Define the following map

$$\text{mult} \colon L ( \mathbf p ) \longrightarrow \mathbb { N }, \ \vec { x } \mapsto \max \{ \phi ( \vec { x } ) + 1, 0 \}.$$

↦

We set p = lcm( p ) = lcm( p , p 1 2 , · · · , p t ) to be the least common multiple of p . The following homomorphism of abelian groups, called the degree map , is well

defined

↦

$$\delta \colon L ( { \mathbf p } ) \longrightarrow \mathbb { Z }, \ \vec { x } _ { i } \mapsto \frac { p } { p _ { i } }.$$

The degree map is surjective and its kernel coincides with the torsion subgroup of L ( p ). We observe that δ /vector ( c ) = p .

The string group L ( p ) is partially ordered such that /vector x ≤ /vector y if and only if /vector y -/vector x ∈ N { /vector x , /vector 1 x , 2 · · · , /vector x t } , which is further equivalent to φ /vector ( y -/vector x ) ≥ 0. Here, for a subset S of an abelian group A , we denote by N S the submonoid of A generated by S . We denote by L ( p ) + the positive cone of L ( p ), which by definition equals the submonoid N { /vector x , /vector 1 x , 2 · · · , /vector x t } .

Recall that the dualizing element /vector ω in L ( p ) is defined as /vector ω = ( t -2) /vector c -∑ t i =1 /vector x i ; its normal form is /vector ω = -2 /vector c + ∑ t i =1 ( p i -1) /vector x i . One computes that δ /vector ( ω ) = p (( t -2) -∑ t i =1 1 p i ).

- 6.2. Let k be an arbitrary field. A weighted projective line X = X ( p , λ ) is given by a parameter sequence λ = ( λ , λ 1 2 , · · · , λ t ), that is, a collection of pairwise distinct rational points on the projective line P 1 k , together with a weight sequence p = ( p , p 1 2 , · · · , p t ). We will assume that the parameter sequence λ is normalized such that λ 1 = ∞ , λ 2 = 0 and λ 3 = 1.

The homogeneous coordinate algebra S = S ( p , λ ) of a weighted projective line X is by definition k X , X , [ 1 2 · · · , X t ] /I , where I is the ideal generated by X p i i -( X p 2 2 -λ X i p 1 1 ) , 3 ≤ i ≤ t . We write x i = X i + I in S .

/negationslash

The algebra S is L ( p )-graded by means of deg x i = /vector x i . Hence, S = ⊕ /vector x ∈ L ( p ) S /vector x , where S /vector x is the homogeneous component of degree /vector x . We observe that S /vector x = 0 if and only if /vector x ≥ /vector 0; in this case, if /vector x = l/vector c + ∑ t i =1 l i /vector x i is in its normal form, then the subset { x ap 1 1 x bp 2 2 x l 1 1 x l 2 2 · · · x l t t | a + b = l, a, b ≥ 0 } is a basis of S /vector x . We infer that

$$\dim _ { k } S _ { \vec { x } } = \text{mult} ( \vec { x } )$$

for any /vector x ∈ L ( p ).

/negationslash

For an irreducible monic polynomial f ( X ) ∈ k X [ ], we define its homogenization f h ( X,Y ) = X f Y/X d ( ) ∈ k X, Y [ ], where d is the degree of f . The set of all homogeneous prime ideals of S is given by Spec L ( p ) ( S ) = { (0) , ( x i ) , ( f h ( x p 1 1 , x p 2 2 )) , m = ( x , x 1 2 , · · · , x t ) | f = X -λ , i 1 ≤ i ≤ } t ; compare [9, Proposition 1.3]. Here, m is the unique homogeneous maximal ideal of S .

The following observation is direct. Recall that for an L ( p )-graded S -module X , we denote by gsupp( X ) its grading support; see Subsection 5.1.

Lemma 6.1. Consider the graded S -modules S/ p ( /vector x ) for p ∈ Spec L ( p ) ( S ) and /vector x ∈ L ( p ) . Write /vector x = l/vector c + ∑ t j =1 l j /vector x j in its normal form. Then the following statements hold.

- (1) Assume that p = (0) or ( f h ( x p 1 1 , x p 2 2 )) . Then gsupp S/ p ( /vector x ) = L ( p ) + -/vector x . In particular, N ( m /vector 0 c ) ⊆ gsupp S/ p ( /vector x ) for sufficiently large m &gt; 0 0 .

/negationslash

- (3) Assume that p = m . Then gsupp S/ p ( /vector x ) = {- } /vector x .
- (2) Assume that p = ( x i ) . Then gsupp S/ p ( /vector x ) = ∑ j = i N /vector x j -/vector x . In particular, N ( m /vector 0 c ) -l i /vector x i ⊆ gsupp S/ p ( /vector x ) ⊆ π -1 i ( -¯ ) l i for sufficiently large m &gt; 0 0 .

/negationslash

Proof. We use the facts that gsupp( X /vector ( x )) = gsupp( X ) -/vector x , and that the quotient algebra S/ p is a graded domain which is generated as an algebra by x i 's that are not contained in p . It follows that gsupp( S/ p ) = L ( p ) + for p = (0) or ( f h ( x p 1 1 , x p 2 2 )), and that gsupp( S/ x ( i )) = ∑ j = i N /vector x j . The remaining statements are evident. /square

Let H ⊆ L ( p ) be an infinite subgroup. Consider the restriction subalgebra S H = ⊕ /vector x ∈ H S /vector x of S , which will be viewed as an H -graded algebra. For example,

S Z /vector c is isomorphic to the polynomial algebra k X, Y [ ] by identifying X with x p 1 1 and Y with x p 2 2 . More generally, for m ≥ 1 the restriction subalgebra S Z ( m/vector c ) is isomorphic to the subalgebra of k X, Y [ ] generated by monomials of degree m .

Lemma 6.2. Let H ⊆ L ( p ) be an infinite subgroup. Then the restriction subalgebra S H is a finitely generated k -algebra, and as an S H -module, S is finitely generated.

Proof. Assume that H ∩ Z /vector c = Z ( m/vector c ) for some m ≥ 1. Recall from [9, Proposition 1.3] that S is a finitely generated S Z /vector c -module, and thus a finitely generated S Z ( m/vector c ) -module. Since the algebra S Z ( m/vector c ) is noetherian, the algebra S H , viewed as an S Z ( m/vector c ) -submodule of S , is finitely generated. Then the statements follow immediately. /square

Recall that mod L ( p ) -S denotes the abelian category of finitely presented L ( p )-graded S -modules. Consider the restriction functor

$$\text{res} \colon \text{mod} ^ { L ( \mathbf p ) } \text{-} S \rightarrow \text{mod} ^ { H } \text{-} S _ { H },$$

which sends an L ( p )-graded S -module X to X H = ⊕ h ∈ H X h , which is naturally an H -graded S H -module. The functor 'res' is well defined by the following fact.

Lemma 6.3. Let H ⊆ L ( p ) be an infinite subgroup, and let X be a finitely generated L ( p ) -graded S -module. Then the H -graded S H -module X H is finitely generated.

Proof. Assume that H ∩ Z /vector c = Z ( m/vector c ) for some m ≥ 1. We observe that X , viewed as an S Z ( m/vector c ) -module, is finitely generated. Thus as its submodule, X H is a finitely generated S Z ( m/vector c ) -module. In particular, X H is a finitely generated S H -module. /square

The following fact is well known.

Lemma 6.4. Let H ⊆ L ( p ) be an infinite subgroup. Then the restriction functor res: mod L ( p ) -S → mod H -S H is a quotient functor.

Proof. Indeed, the functor 'res' admits a left adjoint S ⊗ S H -: mod H -S H → mod L ( p ) -S . Moreover, the counit res ◦ S ⊗ S H - -→ Id mod H -S H is an isomorphism. It follows from [11, 1.3 Proposition (iii)] that the restriction functor is a quotient functor. /square

- 6.3. Let S = S ( p , λ ) be the homogenous coordinate algebra of a weighted projective line X = X ( p , λ ). Set L = L ( p ). Denote by mod L 0 -S the full subcategory of mod L -S consisting of finite dimensional modules; it is a Serre subcategory. The corresponding quotient category is denoted by qmod L -S = mod L S/ mod L 0 S , and the quotient functor is denoted by q : mod L S → qmod L S .

We mention that the quotient category qmod L -S is equivalent to the category cohX of coherent sheaves on X , and the object S i corresponds to a simple sheaf concentrated at the homogeneous prime ideal ( x i ); see [9, Subsections 1.8 and 1.7].

For each /vector x ∈ L , the degree-shift functor ( /vector x ) on mod L -S induces an automorphism on the quotient category qmod L -S , which is also denoted by ( /vector x ). Consequently, each subgroup of L has a strict action on qmod L -S . Set S i = ( q S/ x ( i )) for 1 ≤ i ≤ t .

Let H ⊆ L be an infinite subgroup. Consider the H -graded restriction subalgebra S H . We have the quotient category qmod H -S H = mod H -S H / mod H 0 -S H . The restriction functor res: mod L -S → mod H -S H induces the corresponding functor betwen the quotient categories res: qmod L -S → qmod H -S H ,

which will also be referred as the restriction functor . L

We will consider the following Serre subcategory of qmod -S

N H = 〈S i ( l/vector x i ) | 1 ≤ i ≤ t, 0 ≤ l ≤ p i -1 with -¯ l / π ∈ i ( H ) 〉 .

That is, N H is the Serre subcategory generated by these simple sheaves S i ( l/vector x i ).

Recall that for each 1 ≤ i ≤ t , the surjective homomorphism π i : L → Z /p i Z is defined by π i ( /vector x j ) = δ i,j ¯ . 1 The following concept is related to the general notion of a wide subcategory of the category formed by all the line bundles on a weighted projective line in [13].

Definition 6.5. Let p be a weight sequence and L ( p ) be the string group. An infinite subgroup H ⊆ L ( p ) is said to be effective provided that for each 1 ≤ i ≤ t , π i ( H ) = Z /p i Z , or equivalently, ¯ lies in 1 π i ( H ).

For example, any infinite subgroup of L ( p ) containing the dualizing element /vector ω is effective, while the subgroup Z /vector c generated by /vector c is not effective for t ≥ 1.

The following result justifies the terminology 'effective subgroup'. We mention that in spirit it is close to [10, Proposition 8.5]; compare the argument in [9, Example 5.8]. The equivalence part of the following proposition is contained in a more general result in [13].

Proposition 6.6. Let L = L ( p ) . Keep the notation as above. Then the restriction functor res: qmod L -S → qmod H -S H induces an equivalence of categories

$$\ q m o d ^ { L } \text{-} S / \mathcal { N } _ { H } \stackrel { \sim } { \longrightarrow } \ q m o d ^ { H } \text{-} S _ { H }.$$

In particular, the restriction functor res: qmod L -S → qmod H -S H is an equivalence if and only if the subgroup H ⊆ L is effective.

Proof. The restriction functor res: mod L -S → mod H -S H is a quotient functor by Lemma 6.4. Then by Lemma 4.1 the induced functor res: qmod L -S → qmod H -S H is also a quotient functor. It suffices to calculate its essential kernel. Instead, we will compute the essential kernel of the composite F : mod L S q → qmod L S res → qmod H -S H . Indeed, for an L -graded S -module X F X , ( ) = 0 if and only if X H is a finite dimensional S H -module, which is equivalent to the condition that gsupp( X ) ∩ H is a finite set.

We observe that Z ( m/vector c ) ⊆ H for a sufficiently large m&gt; 0. Let /vector x = l/vector c + ∑ t i =1 l i /vector x i an arbitrary element in L that is written in its normal form. It follows from Lemma 6.1 that gsupp( S/ p ( /vector x )) ∩ H is finite if and only if p = m , or p = ( x i ) and -¯ l i / π ∈ i ( H ).

Recall that a finitely generated L -graded S -module X has a finite filtration with factors isomorphic to S/ p ( /vector x ) for some p ∈ Spec L ( S ) and /vector x ∈ L . Recall that Ker F is a Serre subcategory of mod L -S . It follows that

Ker F = 〈 S/ m ( /vector y , S/ x ) ( i )( /vector x ) | /vector y ∈ L, 1 ≤ i ≤ t, /vector x satisfying that -¯ l i / π ∈ i ( H ) 〉 .

Then we are done by using the fact that the essential kernel of 'res' equals q (Ker F ), which equals N H . Here, we recall from [9, Subsection 1.6] the well-known fact that S i ( /vector x ) = S i ( l i /vector x i ) for each 1 ≤ i ≤ t . /square

## 7. Weighted projective lines of tubular type

In this section, we study weighted projective lines of tubular type. They are explicitly related to elliptic plane curves via two different equivariantizations. We emphasize that the idea goes back to [9, Example 5.8] and more explicitly to [14, 15]; compare [19, 12, 18].

7.1. We recall that a weight sequence p = ( p , p 1 2 , · · · , p t ) is of tubular type provided that the dualizing element /vector ω in L ( p ) is torsion, or equivalently, δ /vector ( ω ) = 0. An elementary calculation yields a complete list of weight sequences of tubular type: (2 , 2 2 2), (3 , , , 3 3), (4 , , 4 2) and (6 3 2). , , , We observe that in each case the order of /vector ω equals p = lcm( p ), which further equals p 1 .

We have the following easy observation.

Lemma 7.1. Let p be a weight sequence of tubular type and let n ≥ 1 . Recall that p = lcm( p ) . Then the following equation holds

$$\sum _ { j = 0 } ^ { p - 1 } \text{mult} ( n \vec { x } _ { 1 } + j \vec { \omega } ) = n.$$

Proof. We observe that mult( /vector x + ) = mult( /vector c /vector x ) + 1 provided that φ /vector ( x ) ≥ -1. For a weight sequence p of tubular type, we recall that p = p 1 and thus p/vector x 1 = . We /vector c observe that φ n/vector ( x 1 + j/vector ω ) ≥ -1 for each n ≥ 1 and 0 ≤ j &lt; p -1. Denote the left hand side of the equation by f ( n ). It follows that f ( n + ) = p f ( n ) + p for each n ≥ 1.

Therefore, to show the required equation, it suffices to prove that f ( ) = i i for 1 ≤ i ≤ p . These p equations are easy to verify for each of the four cases. Take the case p = (6 3 2) for example. , , We have that f (4) = ∑ 5 j =0 mult(4 /vector x 1 + j/vector ω ) = 1+0+1+1+1+0= 4 and that f (5) = ∑ 5 j =0 mult(5 /vector x 1 + j/vector ω ) = 1+0+1+1+1+1 = 5. We omit the details. /square

The following consideration is inspired by [9, Example 5.8]. Let p be a weight sequence of tubular type. We consider the subgroup H ( p ) = Z (3 /vector x 1 ) ⊕ Z /vector ω of L ( p ) generated by 3 /vector x 1 and /vector ω . It inherits the partial order from L ( p ) such that its positive cone equals H ( p ) + = H ( p ) ∩ L ( p ) + , which is a submonoid of H ( p ). We consider the subset 3 /vector x 1 + Z /vector ω = { 3 /vector x 1 + j/vector ω | j = 0 1 , , · · · , p - } 1 of H ( p ). We list in Table 1 all the positive elements in 3 /vector x 1 + Z /vector ω explicitly.

Table 1. The list of generators of H ( p ) +

| the weight sequence p   | the elements in (3 /vector x 1 + Z /vector ω ) ∩ H ( p ) +   | the elements in (3 /vector x 1 + Z /vector ω ) ∩ H ( p ) +           | the elements in (3 /vector x 1 + Z /vector ω ) ∩ H ( p ) +           |
|-------------------------|--------------------------------------------------------------|----------------------------------------------------------------------|----------------------------------------------------------------------|
| (2 , 2 , 2 , 2)         | 3 /vector x 1                                                | 3 /vector x 1 + /vector ω = /vector x 2 + /vector x 3 + /vector x 4  | 3 /vector x 1 + /vector ω = /vector x 2 + /vector x 3 + /vector x 4  |
| (3 , 3 , 3)             | 3 /vector x 1                                                | 3 /vector x 1 +2 /vector ω = /vector x 1 + /vector x 2 + /vector x 3 | 3 /vector x 1 +2 /vector ω = /vector x 1 + /vector x 2 + /vector x 3 |
| (4 , 4 , 2)             | 3 /vector x 1                                                | 3 /vector x 1 +2 /vector ω = /vector x 1 +2 /vector x 2              | 3 /vector x 1 +3 /vector ω = /vector x 2 + /vector x 3               |
| (6 , 3 , 2)             | 3 /vector x 1                                                | 3 /vector x 1 +2 /vector ω = /vector x 1 + /vector x 2               | 3 /vector x 1 +3 /vector ω = /vector x 3                             |

We have the following elementary observation, for which we include an elementary proof here. For a conceptual reasoning, we refer to Remark 7.5.

Lemma 7.2. Let p be a weight sequence of tubular type. Then we have

$$H ( { \mathbf p } ) _ { + } = \mathbb { N } ( ( 3 \vec { x } _ { 1 } + \mathbb { Z } \vec { \omega } ) \cap H ( { \mathbf p } ) _ { + } ).$$

In other words, the monoid H ( p ) + is generated by the subset (3 /vector x 1 + Z /vector ω ) ∩ H ( p ) + .

Proof. Recall that p = lcm( p ) = p 1 equals the order of /vector ω . For each 0 ≤ j ≤ p -1, we define m j ( ) to be the least natural number m such that m (3 /vector x 1 ) + j/vector ω ≥ /vector 0. We observe that m (0) = 0 and m j ( ) ≥ 1 for j = 0.

/negationslash

We claim that m j ( )(3 /vector x 1 ) + j/vector ω lies in N ((3 /vector x 1 + Z /vector ω ) ∩ H ( p ) + ) for each 0 ≤ j ≤ p -1. Then we are done. Indeed, for any positive element /vector x = m (3 /vector x 1 ) + j/vector ω , we have m ≥ m j ( ), and thus /vector x = ( m -m j ( ))(3 /vector x 1 ) + ( m j ( )(3 /vector x 1 ) + j/vector ω ), which lies in N ((3 /vector x 1 + Z /vector ω ) ∩ H ( p ) + ).

The claim is easily verified case by case.

/square

7.2. We recall that a weighted projective line X = X ( p , λ ) over a field k is of tubular type provided that the weight sequence p is of tubular type. Recall that S = S ( p , λ ) is the homogeneous coordinate algebra of X .

/negationslash

We fix the notation for S in the four tubular types. For the weight type (2 , 2 2 2), , , there exists a parameter λ = 0 1 in the presentation of the corresponding homoge-, neous coordinate algebra S . In other three cases, we omit the normalized parameter

sequences. Hence, we refer to (2 , 2 2 2; , , λ ), (3 , 3 3), (4 , , 4 2) and (6 , , 3 2) as the , type of S . We emphasize that λ ∈ k , which is not equal to 0 or 1.

We list the homogeneous coordinate algebras S explicitly, according to their types. We define the associated Z -graded algebras R of the same type on the right hand side, where all the variables are of degree one.

$$S ( 2, 2, 2 ; \lambda ) & = \frac { k [ X _ { 1 }, X _ { 2 }, X _ { 3 }, X _ { 4 } ] } { ( X _ { 3 } ^ { 2 } - ( X _ { 2 } ^ { 2 } - X _ { 1 } ^ { 2 } ), X _ { 4 } ^ { 2 } - ( X _ { 2 } ^ { 2 } - \lambda X _ { 1 } ^ { 2 } ) ) }, \quad R ( 2, 2, 2 ; \lambda ) & = \frac { k [ X, Y, Z ] } { ( Y ^ { 2 } Z - X ( X - Z ) ( X - \lambda Z ) ) } ; \\ S ( 3, 3, 3 ) & = \frac { k [ X _ { 1 }, X _ { 2 }, X _ { 3 } ] } { ( X _ { 3 } ^ { 3 } - ( X _ { 3 } ^ { 2 } - X _ { 1 } ^ { 3 } ) ) }, \quad R ( 3, 3, 3 ) & = \frac { k [ X, Y, Z ] } { ( X ^ { 3 } - ( Y ^ { 2 } Z - Z ^ { 2 } Y ) ) } ; \\ S ( 4, 4, 2 ) & = \frac { k [ X _ { 1 }, X _ { 2 }, X _ { 3 } ] } { ( X _ { 3 } ^ { 2 } - ( X _ { 4 } ^ { 4 } - X _ { 4 } ^ { 4 } ) ) }, \quad R ( 4, 4, 2 ) & = \frac { k [ X, Y, Z ] } { ( Y ^ { 2 } Z - X ( X - Z ) ( X + Z ) ) } ; \\ S ( 6, 3, 2 ) & = \frac { k [ X _ { 1 }, X _ { 2 }, X _ { 3 } ] } { ( X _ { 3 } ^ { 2 } - ( X _ { 2 } ^ { 2 } - X _ { 1 } ^ { 6 } ) ) }, \quad R ( 6, 3, 2 ) & = \frac { k [ X, Y, Z ] } { ( Y ^ { 2 } Z - ( X ^ { 3 } - Z ^ { 3 } ) ) }. \\ & \, \begin{matrix} \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \, \\ \end{matrix}$$

We denote by E the projective plane curve defined by R . By Serre's theorem, there is an equivalence between the category cohE of coherent sheaves on E and the quotient category qmod Z -R of mod Z -R by the Serre subcategory mod Z 0 -R consisting of finite dimensional modules.

/negationslash

/negationslash

/negationslash

/negationslash

Remark 7.3. We mention that E (2 , 2 2 2; , , λ ) is an elliptic curve for λ = 0 1. For , other types, we have requirement on the characteristic of the field k ; see also [14]. If char k = 3, E (3 , 3 3) is an elliptic curve with , j -invariant 0; if char k = 2, E (4 , 4 2) , is an elliptic curve with j -invariant 1728; if char k = 2 3, , E (6 , 3 2) is an elliptic , curve with j -invariant 0.

We define three homogeneous elements x , y and z in S according to Table 2. By comparing with Table 1, all their degrees lie in (3 /vector x 1 + Z /vector ω ) ∩ H ( p ) + . For an explanation of the term 'extra degree' in Table 2, we refer to Remark 7.6.

Table 2. The elements x , y and z in S and their extra degrees

| the types of S and R   | x           | y           | z     | deg x     | deg y     | deg z     |
|------------------------|-------------|-------------|-------|-----------|-----------|-----------|
| (2 , 2 , 2 , 2; λ )    | x 1 x 2 2   | x 2 x 3 x 4 | x 3 1 | (1 , ¯ 0) | (1 , ¯ 1) | (1 , ¯ 0) |
| (3 , 3 , 3)            | x 1 x 2 x 3 | x 3 2       | x 3 1 | (1 , ¯ 2) | (1 , ¯ 0) | (1 , ¯ 0) |
| (4 , 4 , 2)            | x 1 x 2 2   | x 2 x 3     | x 3 1 | (1 , ¯ 2) | (1 , ¯ 3) | (1 , ¯ 0) |
| (6 , 3 , 2)            | x 1 x 2     | x 3         | x 3 1 | (1 , ¯ 2) | (1 , ¯ 3) | (1 , ¯ 0) |

We consider the subalgebra k x, y, z [ ] of S generated by x , y and z . We observe that k x, y, z [ ] ⊆ S H ( p ) . Consider the surjective homomorphism π : H ( p ) → Z defined by π (3 /vector x 1 ) = 1 and π /vector ( ω ) = 0.

The central technical result of this section is as follows.

Theorem 7.4. Let S be the homogeneous coordinate algebra of a weighted projective line X of tubular type and let R be the associated Z -graded algebra of the same type. Let H = H ( p ) . Keep the above notation. Then we have k x, y, z [ ] = S H , and that there is an isomorphism of Z -graded algebras

$$R \stackrel { \sim } { \longrightarrow } \pi _ { * } ( S _ { H } ).$$

Proof. We claim that k x, y, z [ ] ⊆ S is an integral extension. Recall that an integral extension preserves Krull dimensions and that the Krull dimension of the algebra S is two. Hence the Krull dimension of k x, y, z [ ] is also two.

Recall that S Z /vector c = k x [ p 1 1 , x p 2 2 ] and that S is a finitely generated S Z /vector c -module. Hence S is integral over S Z /vector c and thus over the subalgebra k x , x [ 1 2 ]. For the claim, it suffices to show that both x 1 and x 2 are integral over k x, y, z [ ]. Since x 3 1 = z , the element x 1 is integral over k x, y, z [ ].

We consider the element x 2 case by case. We take p = (2 2 2 2) for example, , , , while other cases are similar and even easier. Observe in Table 2 that y 2 = x 2 2 ( x 2 2 -x 2 1 )( x 2 2 -λx 2 1 ). This implies that x 2 is integral over k x, y, z, x [ 1 ] and thus over k x, y, z [ ]. We are done with the claim.

We define a homomorphism θ : R → S of algebras by sending X to x , Y to y and Z to z ; see Table 2. The relation of R is satisfied by an elementary calculation. The image of θ is k x, y, z [ ]. Recall that R is an integral domain of Krull dimension two. Comparing the Krull dimensions of R and the image of θ , we infer that θ is injective. Consequently, we have an injective homomorphism of Z -graded algebras θ : R → π ∗ ( S H ). Here, we recall that k x, y, z [ ] ⊆ S H .

We claim that the injective homomorphism θ : R → π ∗ ( S H ) is an isomorphism. Then the two required statements follow. Indeed, it suffices to show that for each n ≥ 1, dim k R n = dim k π ∗ ( S H n ) . Recall that π ∗ ( S H n ) = ⊕ p -1 j =0 S 3 n/vector x 1 + j/vector ω , and thus has dimension ∑ p -1 j =0 mult(3 n/vector x 1 + j/vector ω ); see (6.2). By Lemma 7.1 we have dim k π ∗ ( S H n ) = 3 n . On the other hand, it is well known that dim k R n = 3 n . Then we are done. /square

/negationslash

Remark 7.5. Recall that /vector x ∈ H ( p ) is positive if and only if ( S H ( p ) ) /vector x = S /vector x = 0. We deduce from the equality k x, y, z [ ] = S H ( p ) that each /vector x ∈ H ( p ) + lies in the submonoid generated by the degrees of x , y and z . This gives another proof of Lemma 7.2.

Remark 7.6. We now explain the 'extra degrees' of x , y and z in S H ( p ) . We recall that p = lcm( p ) equals the order of /vector ω . So we have the following isomorphism of abelian groups

$$\psi \colon H ( \mathbf p ) = \mathbb { Z } ( 3 \vec { x } _ { 1 } ) \oplus \mathbb { Z } \vec { \omega } \xrightarrow { \sim } \mathbb { Z } \times \mathbb { Z } / p \mathbb { Z }$$

such that ψ (3 /vector x 1 ) = (1 , ¯ ) and 0 ψ /vector ( ω ) = (0 , ¯ ). 1 By this isomorphism, the H ( p )-graded algebra S H ( p ) is Z × Z /p Z -graded. This yields the extra degrees of x y , and z , which are computed by applying ψ to the degrees of x , y and z ; compare Table 1.

We observe that the algebras R are naturally Z × Z /p Z -graded according to the degrees in Table 2; here, we abuse X Y , , Z with x y , and z , respectively. We denote the resulting Z × Z /p Z -graded algebras by ¯ ; R it is a Z /p Z -refinement of R .

Then the isomorphism θ in the above proof, which is given according to Table 2, yields an isomorphism of Z × Z /p Z -algebras

$$\theta \colon \bar { R } \stackrel { \sim } { \longrightarrow } S _ { H ( \mathbf p ) }.$$

Let p be a weight sequence of tubular type. Recall that p = lcm( p ). Denote by C p = 〈 g | g p = 1 〉 the cyclic group of order p .

We assume that k is a splitting field of C p . Equivalently, p is invertible in k which contains a primitive p -th root of unity. Fix ω ∈ k a primitive p -th root of unity. For example, if p = (2 2 2 2), then the characteristic of , , , k is not equal to 2 and ω = -1.

We identify C p with the character group ̂Z Z /p of Z /p Z such that g ( ¯ ) 1 = ω . Applying the correspondence (5.3) to the above Z /p Z -refinement ¯ of the R Z -graded algebra R , we obtain in Table 3 the corresponding C p -action on R as Z -graded algebra automorphisms.

We mention that the cyclic group action on R corresponds to a ramified Galois covering from the elliptic curve E to the projective line P 1 k , where the Galois group is isomorphic to the acting cyclic group; compare [19, Subsection 1.3].

Table 3. The cyclic group action on R

| the types of R      | the action of C p = 〈 g | g p = 1 〉 on generators   |   the order of ω ∈ k |
|---------------------|-------------------------------------------------------|----------------------|
| (2 , 2 , 2 , 2; λ ) | g.x = x, g.y = ωy, g.z = z                            |                    2 |
| (3 , 3 , 3)         | g.x = ω 2 x, g.y = y, g.z = z                         |                    3 |
| (4 , 4 , 2)         | g.x = ω 2 x, g.y = ω 3 y, g.z = z                     |                    4 |
| (6 , 3 , 2)         | g.x = ω 2 x, g.y = ω 3 y, g.z = z                     |                    6 |

- 7.3. We will formulate the main result of this paper. As mentioned earlier, the result is implicitly contained in [9, Example 5.8] and later explicitly in [14] with more details; see also [15]. The treatment here is slightly different from [14, 15], and we strengthen slightly the results therein; compare Remark 7.8(3). We mention that related results appear in [12].

Let k be an arbitrary field. Let S be the homogeneous coordinate algebra of a weighted projective line X of tubular type, and R be the associated Z -graded algebra of the same type. Let p be the weight sequence and denote p = lcm( p ). Recall that the dualizing element /vector ω in L = L ( p ) has order p . The subgroup Z /vector ω acts on mod L -S by the degree-shift action, which induces the degree-shift action of Z /vector ω on qmod L -S . We consider the category (qmod L -S ) Z /vector ω of equivariant objects.

Assume that k is a splitting field of the cyclic group C p of order p . Consider the C p -action on R as Z -graded algebra automorphisms in Table 3. Such an action induces the twisting action of C p on mod Z R , which further induces the twisting action of C p on qmod Z R . We consider the category (qmod Z -R ) C p of equivariant objects.

Theorem 7.7. (Lenzing-Meltzer) Let k be a field. Let S be the homogeneous coordinate algebra of a weighted projective line X of tubular type, and let R be the associated Z -graded algebra of the same type, where we keep the notation as above. Then the following statements hold.

- (1) There is an equivalence of categories

$$( q \bmod { ^ { L } } _ { \mu } S ) ^ { \mathbb { Z } \vec { \omega } } \stackrel { \sim } { \longrightarrow } q \bmod { ^ { Z } } _ { \mu } R.$$

- (2) Assume that k is a splitting field of C p . Then there is an equivalence of categories

$$\ q { \bmod { ^ { L } } } _ { \bullet } S \stackrel { \sim } { \longrightarrow } ( \ q { \bmod { ^ { Z } } } _ { \bullet } R ) ^ { C _ { p } }.$$

Proof. Recall the subgroup H = H ( p ) = Z (3 /vector x 1 ) ⊕ Z /vector ω of L from Subsection 7.1; it is an effective subgroup in the sense of Definition 6.5. By Proposition 6.6 the restriction functor is an equivalence

$$\text{res} \colon q { \bmod } ^ { L } { - S } \stackrel { \sim } { \longrightarrow } q { \bmod } ^ { H } { - S } _ { H }.$$

Recall from Remark 7.6 the Z /p Z -refinement ¯ of the R Z -graded algebra R . By the isomorphism θ in (7.2) we have an isomorphism of categories

$$\theta ^ { * } \colon q { \bmod } ^ { H } { - S _ { H } } \stackrel { \sim } { \longrightarrow } q { \bmod } ^ { ( \mathbb { Z } \times \mathbb { Z } / p \mathbb { Z } ) } { - \bar { R } }.$$

Consider the following composite equivalence

$$\theta ^ { * } \circ \text{res} \colon \text{qmod} ^ { L } \text{-} S \xrightarrow { \sim } \text{qmod} ^ { ( \mathbb { Z } \times \mathbb { Z } / p \mathbb { Z } ) } \text{-} \bar { R }.$$

We observe that this equivalence transfers the degree-shift action of Z /vector ω on qmod L -S to the degree-shift action of Z /p Z on qmod ( Z × Z /p Z ) - ¯ . R Consequently, this equivalence induces an equivalence of categories

$$( 7. 4 ) & & ( \text{qmod} ^ { L } \text{-} S ) ^ { \mathbb { Z } \vec { w } } \stackrel { \sim } { \longrightarrow } ( \text{qmod} ^ { ( \mathbb { Z } \times \mathbb { Z } / p \mathbb { Z } ) } \text{-} \bar { R } ) ^ { \mathbb { Z } / p \mathbb { Z } }.$$

By Proposition 5.2 we have an equivalence of categories

$$( \mod ^ { ( \mathbb { Z } \times \mathbb { Z } / p \mathbb { Z } ) } _ { \text{-} } \bar { R } ) ^ { \mathbb { Z } / p \mathbb { Z } } \stackrel { \sim } { \longrightarrow } \mod ^ { \mathbb { Z } } _ { \text{-} } R,$$

which restricts to an equivalence (mod ( Z × Z /p Z ) 0 - ¯ ) R Z /p Z ∼ -→ mod Z 0 R of full subcategories consisting of finite dimensional modules. Applying Corollary 4.4, we have an equivalence of categories

$$( \text{qmod} ^ { ( \mathbb { Z } \times \mathbb { Z } / p \mathbb { Z } ) } \bar { R } ) ^ { \mathbb { Z } / p \mathbb { Z } } \stackrel { \sim } { \longrightarrow } \text{qmod} ^ { \mathbb { Z } } \text{-} R.$$

We combine this equivalence with (7.4) to obtain (1).

For (2), we assume that k is a splitting field of C p . Recall that C p is identified with the character group of Z /p Z . By Proposition 5.7 we have an isomorphism of categories

$$\mod ^ { ( \mathbb { Z } \times \mathbb { Z } / p \mathbb { Z } ) } \bar { R } \stackrel { \sim } { \longrightarrow } ( \mod ^ { \mathbb { Z } } \bar { \ } R ) ^ { C _ { p } },$$

which restricts to an isomorphism mod ( Z × Z /p Z ) 0 - ¯ R ∼ -→ (mod Z 0 R ) C p of full subcategories consisting of finite dimensional modules. Applying Corollary 4.4, we have an equivalence of categories

$$\ q { \bmod } ^ { ( \mathbb { Z } \times \mathbb { Z } / p \mathbb { Z } ) } \bar { R } \stackrel { \sim } { \longrightarrow } ( \ q { \bmod } ^ { \mathbb { Z } } \text{-} R ) ^ { C _ { p } }.$$

We combine this equivalence with (7.3) to obtain (2).

/square

Remark 7.8. (1) We recall that X is the weighted projective line defined by S and that E is the projective plane curve defined by R . If k is a splitting field of C p , then E is an elliptic plane curve. Then Theorem 7.7 relates the categories of coherent sheaves on X and E via two equivariantizations.

↦

We emphasize that the two group actions on relevant categories are completely different: one is the degree-shift action and another is the twisting action. However, as in Remark 5.8 the two equivalences obtained in Theorem 7.7 are somehow adjoint to each other. We mention that by Remark 7.3 the assignment X → E is not a bijection up to isomorphism; see also [15].

(2) For the L -graded algebra S and the associated Z -graded R one might consider the quotient categories 'QMod' of arbitrary graded modules, which are equivalent to the categories of quasi-coherent sheaves on X and E , respectively. Then a similar result as Theorem 7.7 holds for theses two quotient categories 'QMod'.

(3) Let us mention the version of Theorem 7.7 in [15].

Consider the degree map δ : L → Z whose kernel equals the torsion subgroup tor( L ) of L ; moreover, we have a decomposition L = tor( L ) ⊕ Z /vector x 1 . Consider the Z -graded algebra S = δ ∗ ( S ); see Subsection 5.1. We view the L -graded algebra S as a tor( L )-refinement of S . Observe that Z /vector ω ⊆ tor( L ).

If the field k is a splitting field of C p , then it is also a splitting field of tor( L ). In this case, we denote by A the character group of tor( L ). Then A acts on S as Z -graded algebra automorphisms by Lemma 5.6. We consider the degree-shift action of tor( L ) on qmod L -S , and the twisting action of A on qmod Z S . Then under the same assumptions as Theorem 7.7, the same argument yields the following two adjoint equivalences:

$$( 7. 5 ) \quad ( q \text{mod} ^ { L } \text{-} S ) ^ { \text{tor} ( L ) } \stackrel { \sim } { \longrightarrow } q \text{mod} ^ { Z } \text{-} S, \quad q \text{mod} ^ { L } \text{-} S \stackrel { \sim } { \longrightarrow } ( q \text{mod} ^ { Z } \text{-} S ) ^ { A }.$$

Indeed, the argument here is easier since it does not rely on Proposition 6.6 and Theorem 7.4.

The major difference between the two equivalences (7.5) and the ones in Theorem 7.7 is the fact that the acting groups in (7.5) are not cyclic except the case p = (6 , 3 2), while all the acting groups in Theorem 7.7 are cyclic. ,

We mention that for the cases p = (4 4 2) and (6 3 2), the variables of the , , , , Z -graded algebra S are not all of degree one. Therefore, to verify that qmod Z -S is

equivalent to the category of coherent sheaves on an elliptic curve, one might need the general fact on Veronese subalgebras [3, Proposition 5.10], or the axiomatic description of the category of coherent sheaves on an elliptic curve in [21, Theorem C]. If the characteristic of k is not equal to 2, the Z -graded algebra S for the case p = (2 2 2 2) defines an elliptic space curve in its Jacobi form. , , , If the characteristic of k is not equal to 3, the Z -graded algebra S for the case p = (3 3 3) defines an , , elliptic curve as a Fermat curve of degree 3.

Acknowledgements J. Chen is very grateful to Helmut Lenzing for giving her the manuscript [14] during his visit at Xiamen University in 2011. The authors thank Helmut Lenzing very much for enlightening and helpful discussions. The authors are grateful to Henning Krause and Hagen Meltzer for helpful comments.

- J. Chen and Z. Zhou are supported by National Natural Science Foundation of China (No. 11201386) and Natural Science Foundation of Fujian Province (No. 2012J05009); X.W. Chen is supported by NCET-12-0507, National Natural Science Foundation of China (No. 11201446) and the Alexander von Humboldt Stiftung.

## References

- [1] M.F. Atiyah , Vector bundles over an elliptic curve , Proc. London Math. Soc. 7 (1957), 414-452.
- [2] M. Auslander, and S.O. Smalø, Preprojective modules over artin algebras , J. Algebra 66 (1980), 61-122.
- [3] M. Artin, and J.J. Zhang , Noncommutative projective schemes , Adv. Math. 109 (1994), 228-287.
- [4] X.W. Chen , A note on separable functors and monads with an application to equivariant derived categories , arXiv:1403.1332.
- [5] P. Deligne , Action du groupe des tresses sur une cat´gorie e , Invent. Math. 128 (1997), 159-175.
- [6] V. Drinfeld, S. Gelaki, D. Nikshych, and V. Ostrik , On braided fusion categories, I , Sel. Math. New Ser. 16 (2010), 1-119.
- [7] A.D. Elagin , On equivariant triangulated categories , arXiv:1403.7027.
- [8] P. Gabriel , Des cat´gories ab´liennes e e , Bull. Soc. Math. France 90 (1962), 323-448.
- [9] W. Geigle, and H. Lenzing, A class of weighted projective curves arising in representation theory of finite dimensional algebras , in: Singularities, representations of algebras and vector bundles, Lecture Notes in Math. 1273 , 265-297, Springer, 1987.
- [10] W. Geigle, and H. Lenzing, Perpendicular categories with applications to representations and sheaves , J. Algebra 144 (1991), 273-343.
- [11] P. Gabriel, and M. Zisman , Calculus of Fractions and Homotopy Theory, Springer-Verlag, New York, Inc., New York, 1967.
- [12] L. Hille , Weighted projective spaces, Calabi-Yau categories and reflexive polytopes , a talk presented in 'Representations of Algebras and their Geometry', Paderborn, 2006.
- [13] D. Kussin, H. Lenzing, and H. Meltzer , Invariant flags for nilpotent operators and weighted projective lines , in preparation, 2014.
- [14] H. Lenzing , Tubular and elliptic curves , an unpublished note on joint work with H. Meltzer, Paderborn, 2004.
- [15] H. Lenzing , Tubular and elliptic curves , a slide talk on joint work with H. Meltzer, ICRA XI, Patzcuaro, 2004.
- [16] S. Mac Lane , Categories for the Working Mathematician, Grad. Texts in Math. 5 , Springer-Verlag, New York, 1998.
- [17] C. Nastasescu, and F. Van Oystaeyen , Methods of Graded Rings, Lecture Notes Math. 1836 , Springer-Verlag, Berlin Heidelberg, 2004.
- [18] D. Ploog , Weighted projective lines as quotient stacks , a draft, Hannover, 2009.
- [19] A. Polishchuk , Holomorphic bundles on 2 -dimensional noncommutative toric orbifolds , in: Noncommutative Geometry and Number Theory, Ed. by C. Consani and M. Marcolli, 341-359, Vieweg, 2006.
- [20] I. Reiten, and Ch. Riedtmann, Skew group algebras in the representation theory of artin algebras , J. Algebra 92 (1985), 224-282.

## MONADICITY THEOREM AND WEIGHTED PROJECTIVE LINES OF TUBULAR TYPE 25

- [21] I. Reiten, and M. Van den Bergh, Noetherian hereditary abelian categories satisfying Serre duality , J. Amer. Math. Soc. 15 (2002), 295-366.
- [22] C.M. Ringel , Tame Algebras and Integral Quadratic Forms, Lecture Notes Math. 1099 , Springer-Verlag, Berlin, 1984.

Jianmin Chen, and Zhenqiang Zhou

School of Mathematical Sciences,

Xiamen University, Xiamen, 361005, Fujian, PR China.

E-mail: chenjianmin@xmu.edu.cn, zhouzhenqiang2005@163.com.

Xiao-Wu Chen

School of Mathematical Sciences,

University of Science and Technology of China, Hefei 230026, Anhui, PR China

Wu Wen-Tsun Key Laboratory of Mathematics,

USTC, Chinese Academy of Sciences, Hefei 230026, Anhui, PR China.

E-mail: xwchen@mail.ustc.edu.cn, URL: http://home.ustc.edu.cn/ ∼ xwchen.
Jianmin Chen Xiao-Wu Chen Zhenqiang Zhou
Monadicity theorem and weighted projective lines of tubular type
We formulate a version of Beck's monadicity theorem for abelian categories,
which is applied to the equivariantization of abelian categories with respect
to a finite group action. We prove that the equivariantization is compatible
with the construction of quotient abelian categories by Serre subcategories. We
prove that the equivariantization of the graded module category over a graded
ring is equivalent to the graded module category over the same ring but with a
different grading. We deduce from these results two equivalences between the
category of (equivariant) coherent sheaves on a weighted projective line of
tubular type and that on an elliptic curve, where the acting groups are cyclic
and the two equivalences are somehow adjoint to each other.