arxiv: v3 [math.ra] 13 Jun 2016

Transcription

1 NAKAYAMA AUTOMORPHISMS OF DOUBLE ORE EXTENSIONS OF KOSZUL REGULAR ALGEBRAS arxiv: v3 [math.ra] 3 Jun 206 CAN ZHU, FRED VAN OYSTAEYEN, AND YINHUO ZHANG Abstract. Let A be a Koszul Artin-Schelter regular algebra and σ an algebra homomorphism from A to M 2 2 (A). We compute the Nakayama automorphisms of a trimmed double Ore extension A P [y,y 2 ;σ] (introduced in [ZZ08]). Using a similar method, we also obtain the Nakayama automorphism of a skew polynomial extension A[t;θ], where θ is a graded algebra automorphism of A. These lead to a characterization of the Calabi-Yau property of A P [y,y 2 ;σ], the skew Laurent extension A[t ± ;θ] and A[y ±,y± 2 ;σ] with σ a diagonal type. Introduction Nakayama automorphisms play an important role in noncommutative algebraic geometry especially in noncommutative invariant theory [CWZ4, LMZ4, RRZ4]. Let A be a Koszul Artin-Schelter regular algebra with Nakayama automorphism ν in the sense of [BZ08]. The Nakayama automorphism and Calabi-Yau property of Ore extensions and of skew polynomial extensions were studied in [LWW2, BOZZ3, HVZ3, GK4, GYZ4, RRZ4]. In this paper, we compute the Nakayama automorphisms of certain double Ore extension A P [y,y 2 ;σ] of A; the general notion of a double Ore extension was introduced by Zhang and Zhang in [ZZ08]. Then we study the Calabi-Yau property of A P [y,y 2 ;σ], a skew Laurent extension A[t ± ;θ], where θ GrAut(A), and A[y ± ;σ] with σ a diagonal type.,y± 2 It is well-known that a graded Ore extension of a Koszul algebra is also Koszul (see [Ph2, Corollary.3] for example). For a Koszul Artin-Schelter regular algebra, Van den Bergh proposed an effective method to compute the Nakayama automorphism through the Yoneda Ext algebra (see Proposition.4 or [VdB97, Theorem 9.2]). Inspired by these two facts, we first show the following: Theorem. (Theorem 2.) Let A be a Koszul algebra and B = A P [y,y 2 ;σ] be a trimmed double Ore extension of A. Then, B is a Koszul algebra. By describing the Yoneda Ext algebra, we are able to compute the Nakayama automorphism of a trimmed double Ore extension of a Koszul Artin-Schelter regular algebra. 200 Mathematics Subject Classification. Primary 6E65, 6S36, 6U20. Key words and phrases. Koszul algebra, skew polynomial extension, double Ore extension, skew Laurent extension, Nakayama automorphism, Calabi-Yau algebra.

2 2 CAN ZHU, FRED VAN OYSTAEYEN, AND YINHUO ZHANG Theorem 2. (Proposition 3. and Theorem 3.2) Let A be a Koszul Artin- Schelter regular algebra with Nakayama automorphism ν, and B = A P [y,y 2 ;σ] a trimmed double Ore extension of A. Then, () The restriction of the Nakayama automorphism ν B of B toaequals (det r σ) ν, and ( ) ( ) y ν B = (hdetσ)p y y, 2 y 2 where det r σ is an algebra automorphism induced by σ, hdetσ M 2 ( ) is determined by σ, and P M 2 ( ) is determined by the data P (see Equation.6, Equation.8 and Definition 2.5 for their definitions); (2) B is Calabi-Yau if and only if det r σ = ν and hdetσ = P. In a similar way, one can obtain the analogous results on the Nakayama automorphism and the Calabi-Yau property of the skew polynomial extension of a Koszul Artin-Schelter regular algebra (see Proposition 3.5 and Theorem 3.6). In [F05, Theorem 6], Farinati showed that the Calabi-Yau property is preserved by noncommutative localizations. Here, we characterize the Calabi-Yau property of the localization of both the skew polynomial extension with respect to the Ore set {t i,i Æ} (called the skew Laurent extension) and the iterated skew polynomial extension. The third main result reads as follows: Theorem 3. (Theorem 4.2 and Theorem 4.5) Let A be a Koszul Artin-Schelter regular algebra with Nakayama automorphism ν. (). The skew Laurent extension A[t ± ;θ] of A is Calabi-Yau if and only if there exists an integer n such that θ n = ν and the homological determinant hdet(θ) of θ equals. (2). Given two automorphisms τ and ξ of A, let, Q = A[y ±,y± 2 ;σ], where σ = diag(τ,ξ) is a map from A to M 2 2 (A). Then, Q is Calabi-Yau if and only if there exists two integers m,n such that τ m ξ n = ν and hdet(τ) = hdet(ξ) =. Infact, Part(2)ofTheorem3isaspecialcaseofwhatisprovedinTheorem4.5. The aforementioned results and their proofs indicate that there exists a strong relation between the Nakayama automorphisms of those extensions and the homological determinants of the automorphisms which determine those extensions(see Theorem 2 and Theorem 3). The Nakayama automorphisms of the right coideal subalgebras of the quantized enveloping algebras were explicitly computed [LW4]. In fact, those coideal subalgebras are special iterated Ore extensions. The general case of iterated Ore extensions and their relation with double Ore extensions were discussed in [CLM]. So it would be interesting to study the Nakayama automorphism and the Calabi-Yau property of double Ore extensions and those of the localizations of iterated skew polynomial extensions in general. The paper is organised as follows. In Section, we recall the definitions and the properties, including the relation between the Nakayama automorphism of a Koszul Artin-Schelter regular algebra and its Yoneda Ext algebra. Section 2 prepares necessary means for computing the Nakayama automorphisms of trimmed double Ore extensions of Koszul algebras.

3 NAKAYAMA AUTOMORPHISMS OF DOUBLE ORE EXTENSIONS OF KOSZUL REGULAR ALGEBRAS3 In Section 3, we mainly compute the Nakayama automorphism and study the Calabi-Yau property of trimmed double Ore extensions of Koszul Artin-Schelter regular algebras. In Section 4, apart from what we mentioned in Theorem 3, the Calabi-Yau property of the skew Laurent extensions and the Calabi-Yau property of a localization of iterated Ore extensions are studied. Necessary and sufficient conditions for those algebras to be Calabi-Yau are determined, see Theorem 4.6. Throughout, is a field and all algebras are -algebras; unadorned means and always denotes the dual over.. Preliminaries An N-graded algebra A = i 0 A i is called connected if A 0 =. By a graded algebra we mean a locally finite graded algebra generated in degree. Let A e = A A op denote the enveloping algebra of A. A module means a left (graded) module. The shifting of a graded module is denoted (). For a module M over A, ϕ M stands for a twisted module by an algebra automorphism ϕ, where the action is defined by a m := ϕ(a)m. Similarly, M ϕ and M ϕ denote the twisted right module and the twisted bimodule respectively. LetV beafinite-dimensionalvectorspace,andt (V)bethetensoralgebrawiththe usual grading. A connected graded algebra A = T (V)/ R is called a quadratic algebra if R is a subspace of V 2. The homogeneous dual of A is then defined as A! = T (V )/ R, where R = {λ V V λ(r) = 0, for all r R}. Here, we identify (V V) with V V by (.) (α β)(x y) = α(x)β(y) for α,β V and x,y V. For more detail, see [Sm96]. Definition.. A quadratic algebra A is called Koszul if the trivial A-module A admits a projective resolution P n P n P P 0 A 0 such that P n is generated in degree n for all n 0. For more detail about Koszul algebras and the Koszul duality, we refer the reader to [PP05, Ch.2]. Now, we recall the definitions of an Artin-Schelter regular algebra, a Nakayama automorphism and a Calabi-Yau algebra. Definition.2. A connected graded algebra A is called Artin-Schelter (AS, for short) Gorenstein of dimension d with parameter l for some integers d and l, if (i) inj.dim( A A) = inj.dim(a A ) = { d; and (ii) Ext i A(,A) = Ext i A op(,a) 0, i d, = (l), i = d. If, in addition, A has a finite global dimension, then A is called AS-regular.

4 4 CAN ZHU, FRED VAN OYSTAEYEN, AND YINHUO ZHANG Definition.3. [G06, BZ08] A graded algebra A is called twisted Calabi-Yau of dimension d if (i) A is homologically smooth, i.e., A, as an A e -module, has a finitely generated projective resolution { of finite length. (ii) Ext i A e(a,ae ) 0, i d = A ν (l), i = d as Ae -modules for some automorphism ν of A and some integers d,l. The automorphism ν is called the Nakayama automorphism of A. If, in addition, A ν is isomorphic to A as A e -modules, or equivalently, ν is inner, then A is called Calabi-Yau of dimension d. Ungraded Calabi-Yau algebras are defined similarly but without degree shift. Let E be a Frobenius algebra. By definition, there is an isomorphism ϕ : E E of right E-modules. This is equivalent to the existence of a nondegenerate bilinear form, often called Frobenius pair,, : E E such that ab,c = a,bc for all a,b,c E (where the bilinear form is defined by a,b := ϕ(b)(a)). By the nondegeneracy of the bilinear form, there exists an automorphism µ, unique up to an inner automorphism, such that (.2) a,b = µ(b),a for all a,b E. Thus, ϕ becomes an isomorphism of E-bimodules µ E = E. The automorphism µ is usually called the Nakayama automorphism of E. For more detail, see [Sm96]. Now, there are two notions of Nakayama automorphisms: one for twisted Calabi- Yau algebras and one for Frobenius algebras. We use ν for the former and µ for the latter if there is no confusion. In fact, the notion of a Nakayama automorphism in [BZ08] can be defined for algebras with finite injective dimension, and it coincides with the classical Nakayama automorphism of a Frobenius algebra. But in this paper, we focus ourselves on twisted Calabi-Yau algebras (or equivalently, ASregular algebras in the connected graded case [RRZ4, Lemma.2]). It is well known that a connected graded algebra A is AS-regular if and only if its Yoneda Ext algebra is Frobenius [LPWZ08, Corollary D]. In this case, the two notions of Nakayama automorphisms will coincide in the sense of the Koszul duality, see Proposition.4. To get there, we need the following preparation. Let A = T (V)/ R be a Koszul algebra. Then its Yoneda Ext algebra E(A) := i N Exti A (, ) is isomorphic to A! = T (V )/ R, see [Sm96]. For a graded automorphism θ of A, we define a map θ : V V by θ (f)(x) = f(θ(x)) for each f V and x V. It is easy to see that θ induces a graded automorphism of A! because θ is assumed to preserve the relation space R. We still use the notation θ for this algebra automorphism. Suppose that {e,e 2,,e n } is a -linear basis of V and {e,e 2,,e n} is the corresponding dual basis of V. If θ(e i ) = c ij e j j for c ij ( i,j n), then we have: (.3) θ (e i ) = j c ji e j.

5 NAKAYAMA AUTOMORPHISMS OF DOUBLE ORE EXTENSIONS OF KOSZUL REGULAR ALGEBRAS5 Moreover, for each i,j =,2,,n, we have: (.4) θ (e i )(e j) = e i (θ(e j)). Proposition.4. [VdB97, Theorem 9.2] Let A be a Koszul AS-regular algebra of dimension d. Then, the Nakayama automorphism ν of A is equal to ǫ d+ µ, where µ is the Nakayama automorphism of the Frobenius algebra A! and ǫ is the automorphism of A defined by a ( ) dega a, for each homogeneous element a A. Next, we recall the definition and some basic properties of a double Ore extension. Definition.5. [ZZ08, ZZ09] Let A be a subalgebra of a -algebra B. (). B is called a right double Ore extension of A if (i) B is generated by A together with two variables y and y 2 ; (ii) y and y 2 satisfy the relation: y 2 y = py y 2 +qy 2 +τ y +τ 2 y 2 +τ 0 for some p,q and τ,τ 2,τ 0 A; (iii) B is a free left A-module with basis {yy i j 2 ;i,j 0}; (iv) y A+y 2 A Ay +Ay 2 +A. (2). B is called a left double Ore extension of A if: (i) B is generated by A and two new variables y and y 2 ; (ii) y and y 2 satisfy the relation y y 2 = p y 2 y +q y 2 +y τ +y 2 τ 2 +τ 0 for some p,q and τ,τ 2,τ 0 A; (iii) B is a free right A-module with basis {y2 iyj ;i,j 0}; (iv) Ay +Ay 2 y A+y 2 A+A. (3). B is called a double Ore extension of A if it is a left and a right double Ore extension of A with the same generating set {y,y 2 }. Note that Condition ().(iv) in the Definition.5 is equivalent to the existence of two maps: ( ) ( ) σ σ σ = 2 δ : A M σ 2 σ 2 2 (A) and δ = : A M 22 δ 2 (A) 2 subject to (.5) ( y y 2 ) a = σ(a) ( y y 2 ) +δ(a) for all a A, where σ ij,δ i End (A). In case B is a right double Ore extension of A, we will write B = A P [y,y 2 ;σ,δ,τ], where P = (p,q) 2, τ = (τ 0,τ,τ 2 ) A 3, and σ,δ as above. Along with the datum P, we define a matrix P in M 2 ( ) as follows: ( ) p 0 (.6) P = (+ p )q p

6 6 CAN ZHU, FRED VAN OYSTAEYEN, AND YINHUO ZHANG Like in an Ore extension, here σ is a homomorphism of algebras and δ is a σ- derivation,thatis, δ is -linearandsatisfiesδ(ab) = σ(a)δ(b)+δ(a)b, foralla,b A. The double Ore extensions that we shall consider mainly in this work are the socalled trimmed double Ore extensions. Definition.6. A double Ore extension A P [y,y 2 ;σ,δ,τ] is called a trimmed double Ore extension, if δ is the zero map and τ = {0,0,0}. In this case, we use the short notation A P [y,y 2 ;σ] for a trimmed double Ore extension. Condition (2).(iv) in Definition.6 is equivalent to the existence of two maps ( ) φ φ φ = 2 : A M φ 2 φ 2 2 (A) and δ = ( δ δ 22 2) : A M 2 (A) satisfying (.7) a ( y y 2 ) = ( y y 2 ) φ(a)+δ (a) for all a A. For a double Ore extension, the connection between σ and φ in Equation(.5) and Equation(.7) can be seen in the following definition and lemma. Definition.7. [ZZ08] Let σ : A M 2 2 (A) be an algebra homomorphism. ( We ) φ φ say that σ is invertible if there is an algebra homomorphism φ = 2 : φ 2 φ 22 A M 2 2 (A) satisfies the following conditions: 2 φ jk (σ ik (r)) = k= { r, i = j 0, i j and 2 σ kj (φ ki (r)) = k= for all r A. The map φ is called the inverse of σ. { r, i = j 0, i j The following lemma gives the relation of the condition that σ is invertible and the condition a right double Ore extension being a double Ore extension. Lemma.8. [ZZ08,Lemma.9anditsproof,Proposition2.]Let B = A P [y,y 2 ;σ,δ,τ] be a right double Ore extension of A. () If B is a double Ore extension, then σ is invertible with the inverse φ such that the Equation (.7) holds for some δ. (2) Suppose that both A and B are connected graded algebras. If p 0 and σ is invertible, then B is a double Ore extension. Next, we list the identities induced by commuting the equation y 2 y = py y 2 +qy 2 with element r A. Explicitly, since y 2 y r = (py y 2 +qy 2 )r for each r A, so we get the relations R3.-R3.3 in [ZZ08, p. 2674] (as we only consider the trimmed double Ore extension here). Dually, we have the following (R 3.) φ (φ 2 (r))+qφ (φ 22 (r)) = pφ 2 (φ (r))+qφ (φ (r))+pqφ 2 (φ 2 (r))+ q 2 φ (φ 2 (r)) (R 3.2) φ 2 (φ 2 (r))+pφ (φ 22 (r)) = pφ 22 (φ (r))+qφ 2 (φ (r))+p 2 φ 2 (φ 2 (r))+ pqφ (φ 2 (r)) (R 3.3) φ 2 (φ 22 (r)) = pφ 22 (φ 2 (r))+qφ 2 (φ 2 (r))

7 NAKAYAMA AUTOMORPHISMS OF DOUBLE ORE EXTENSIONS OF KOSZUL REGULAR ALGEBRAS7 In order to study the regularity of double Ore extensions, Zhang and Zhang introduced an invariant of σ, called the (right) determinant of σ, which is similar to the quantum determinant of the 2 2-matrix. As we will see, this invariant will play an important role in the description of the Nakayama automorphism of the trimmed double Ore extension. Let B = A P [y,y 2 ;σ,δ,τ] be a right double Ore extension of A. The right determinant of σ is defined to be the map: (.8) det r σ : A A, a qσ 2 (σ (a))+σ 22 (σ (a)) pσ 2 (σ 2 (a)) for a A. If σ is invertible with the inverse φ, then the left determinant of φ is defined by: det l φ := qφ φ 2 +φ φ 22 pφ 2 φ 2. We remark that when q = 0 the above expression of det l φ coincides with the one in [ZZ08] after E2..6. The following properties of the determinant of σ were given in [ZZ08]. Proposition.9. [ZZ08, proof of Proposition 2.] Let B = A P [y,y 2 ;σ,δ,τ] be a double Ore extension of A such that σ is invertible with inverse φ. Then, () det r σ is an algebra endomorphism of A; (2) if p 0, then det r σ = q p σ σ 2 +σ σ 22 p σ 2 σ 2, det l φ = q p φ 2 φ +φ 22 φ p φ 2 φ 2 ; (3) det r σ is invertible with inverse det l φ. Remark that the equation det l φ = q p φ 2 φ +φ 22 φ p φ 2 φ 2 follows from the relation R 3.2. Here, we use the notions of det r and det l in order to differ the morphisms determined by σ and φ. Note that there is a print typos in the formula of [ZZ08, line -, page 2677], where the minus sign of the first term should be dropped. In fact, that can be verified by using [ZZ08, R3.2, page 2674]. Double Ore extensions are used to construct higher dimensional AS-regular algebras from lower dimensional ones because of the following result which will be used later. Lemma.0. [ZZ08, Theorem 0.2] Let A be an AS-regular algebra. If B is a connected graded and a double Ore extension of A, then B is AS-regular and gldimb = gldima Koszul algebra and homological determinant In this section, we make necessary preparation for computing the Nakayama automorphism of a trimmed double Ore extension. To this aim, we first prove that the Koszul property is preserved by making a trimmed double Ore extension. We then introduce the homological determinant of an algebra homomorphism σ : A M 2 2 (A) for a Koszul algebra A and study its properties.

8 8 CAN ZHU, FRED VAN OYSTAEYEN, AND YINHUO ZHANG Theorem 2.. Let A be a Koszul algebra and B = A P [y,y 2 ;σ] be a trimmed double Ore extension of A. Then, B is a Koszul algebra. Proof. Suppose that M is a B-A-bimodule and ϕ is an automorphism of A. Recall that M ϕ is the twisted bimodule on the -space M with b m a = bmϕ(a) for all m M,b B and a A. On the space M M, there is another right A-module structure defined by using σ as follows: (2.) ( ) σ (a) σ (m,n) a = (m,n) 2 (a) = (mσ σ 2 (a) σ 22 (a) (a)+nσ 2 (a),mσ 2 (a)+nσ 22 (a)) for all m,n M and a A. Since σ is an algebra homomorphism, M M is a B-A-bimodule. Denote by (M M) σ this B-A-bimodule. By [ZZ08, Theorem 2.2], there is an exact sequence of B-A-bimodules (2.2) 0 B detr σ g (B B) σ f B ε A 0, where, f maps (s,t) to sy +ty 2, g sends r to (r(qy y 2 ),rpy ) and the last term A is identified with B/(y,y 2 ). Moreover, (2.2) is a linear resolution of B A in case both y and y 2 are of degree. Now, by assumption, A admits a projective resolution: (2.3) P n P n P P 0 A 0 with P n generated in degree n for each n 0. We consider the third quadrant bicomplex: B A P 2 B A P B A P 0 0 (B B) σ A P 2 (B B) σ A P (B B) σ A P 0 0 B detr σ A P 2 B detr σ A P B detr σ A P It follows that det r σ is an automorphism of A and that B is a right free A-module, B detr σ is projective as a right A-module. Now, for the right A-module (B B) σ, we are going to show it is also projective as a right A-module. Since we have the following general result: if M, P, Q are projective in the exact sequence 0 M N P Q 0,

9 NAKAYAMA AUTOMORPHISMS OF DOUBLE ORE EXTENSIONS OF KOSZUL REGULAR ALGEBRAS9 then so is N. For this end, we take K to be the kernel of P Q and we get two short exact sequence 0 M N K 0, 0 K P Q 0. Since P and Q are projective, the second sequence is split and K is projective. Therefore, the first sequence is split and N is projective. Hence, each term in the sequence (2.2) is projective as a right A-module. Further, all the rows of the bicomplex are exact except at the ( )-st column. Thus, the homology along the rows yields a single nonzero column, that is, (2.4) 0 B detr σ A (B B) σ A B A 0. Moreover, the sequence (2.2) is a split exact sequence. Therefore, the homology of (2.4) is B A A = B. Namely, the total complex of the bicomplex is a projective resolution of the B-module B. Finally, both sequence (2.2) and (2.3) are linear resolutions, so is the total complex of the bicomplex. The proof is completed. Remark 2.2. (). Theorem 2. generalizes the well-known result that a graded Ore extension of a Koszul algebra is again Koszul (see [Ph2, Corollary.3]). (2). It was proved in [ZZ09, Theorem 0.(b)] that a graded double Ore extension of an AS-regular algebra of dimension 2 is Koszul. Since an AS-regular algebra of dimension 2 is always Koszul, Theorem 2. generalizes [ZZ09, Theorem 0.(b)] in the trimmed case. For an AS-Gorenstein algebra A, Jørgensen and Zhang proposed the notion of the homological determinant of a graded automorphism in [JZ00] in order to study the noncommutative invariant theory. Roughly speaking, for an AS-Gorenstein algebra A, the homological determinant, denoted hdet, is a homomorphism from the graded automorphism group GrAut(A) of A to the multiplicative group \{0} generalizing the usual determinant of a matrix. For the precise definition and its application, we refer to [JZ00, RRZ4]. Here, we just need the following characterization of the homological determinant of an automorphism of a Koszul algebra. Proposition 2.3. [WZ, Proposition.] Let A be a Koszul AS-regular algebra of global dimension d. Suppose that θ is a graded automorphism of A and θ is its corresponding dual graded automorphism of the dual algebra A!. Then, we have θ (u) = (hdetθ)u for any u Ext d A(, ). Suppose that A = T (V)/ R is a Koszul algebra. Let σ : A M 2 2 (A) be an algebra homomorphism. Then, ( ) σ σ2 σ2 σ22 : V M 2 2 (V ) defines a -linear map, denoted by σ, where σ ij is the dual of σ ij on the space V (see the paragraph before Proposition.4) for each pair (i,j) with i,j {,2}. Extend σ to an algebra homomorphism σ : T (V ) M 2 2 (T (V )) by letting: σ (xy) := σ (x)σ (y)

10 0 CAN ZHU, FRED VAN OYSTAEYEN, AND YINHUO ZHANG for each x,y V. In particular, for e i,e j V ( σ (e σ i e j ) = (e i ) σ 2(e i ) )( σ (e σ2 (e i ) σ 22 (e i ) j ) σ 2(e j ) ) σ2 (e j ) σ 22 (e j ( ) σ = (e i )σ (e j )+σ 2 (e i )σ 2 (e j ) σ (e i )σ 2 (e j )+σ 2 (e i )σ 22 (e j ) ) σ2(e i )σ (e j )+σ 22(e i )σ 2(e j ) σ 2(e i )σ 2(e j )+σ 22(e i )σ 22(e j ). For any e k,e l V, (σ (e i )σ (e j )+σ 2 (e i )σ 2 (e j ))(e ke l ) by(.) = σ (e i)(e k )σ (e j)(e l )+σ 2(e i)(e k )σ 2(e j)(e l ) by(.4) = e i(σ (e k ))e j(σ (e l ))+e i(σ 2 (e k ))e j(σ 2 (e l )) by(.) = e i e j (σ (e k )σ (e l )+σ 2 (e k )σ 2 (e l )) = e i e j( (σ σ +σ 2 σ 2 )(e k e l ) ). Then, σ (r ) R for any r R. For this end, assuming that r = c ij e i e j i,j R, then for any r = kl e k e l R it follows from the above computation that k,ld σ (r )(r) = i,j c ij (σ (e i )σ (e j )+σ 2 (e i )σ 2 (e j ))( k,l d kl e k e l ) = i,j c ij e ( i e j (σ σ +σ 2 σ 2 )( d kl e k e l ) ) = r (σ (r)). Since σ is an algebra endomorphism of A = T (V)/ R, we obtain that σ (r) R. Hence, σ (r )(r) = r (σ (r)) = 0. It is shown that σ (r ) R for any r R. That is, σ induces an algebra endomorphism of A! = T (V )/ R. Similarly, the same claims for σ2, σ 2 and σ 22 hold by computation. Furthermore, σ induces an algebra homomorphism from A! to M 2 2 (A! ). We still use the same notation σ for this algebra homomorphism if no confusion occurs. The following property is easy to check. Lemma 2.4. Let A be a Koszul algebra and σ : A M 2 2 (A) an algebra homomorphism. Then σ is invertible ( in the sense of Definition.7) with inverse φ if and only if σ is invertible with inverse φ. Here both σ and φ are algebra homomorphisms from A! to M 2 2 (A! ). Letx 0 beabaseelementofthehighestnonzerocomponenta! d,whichis-dimensional -space, of A!. We assume that: ( ) ( ) (2.5) σ Wx0 Xx (x 0 ) = 0, φ W (x Yx 0 Zx 0 ) = x 0 X x 0 0 Y x 0 Z x 0 for some W,X,Y,Z,W,X,Y,Z. Inspired by Proposition 2.3, we may introduce the following: Definition 2.5. Let A be a Koszul AS-regular algebra. Suppose that σ is an algebra homomorphism from A to M 2 2 (A) and σ is its dual algebra homomorphism from k,l

11 NAKAYAMA AUTOMORPHISMS OF DOUBLE ORE EXTENSIONS OF KOSZUL REGULAR ALGEBRAS A! to M 2 2 (A! ). The homological determinant of σ, denoted hdetσ, is defined by ( ) W X hdetσ :=, Y Z where W,X,Y and Z are determined by (2.5). The following property follows directly from Lemma 2.4. Lemma 2.6. Let A be a Koszul algebra and σ and φ be two algebra homomorphism from A to M 2 2 (A) such that they are inverse of each other in the sense of Definition.7. Then hdetσ(hdetφ) t = I 2, or equivalently, ( )( ) W X W Y Y Z X Z = I 2, where M t is the transpose of a matrix M and I 2 is the 2 2 identity matrix. Example 2.7. Let A be a Koszul AS-regular algebra ( ) and B = A P [y,y 2 ;σ] be a τ 0 trimmed double Ore extension of A with σ =. Then, both τ and ξ are 0 ξ automorphisms of A and τξ = ξτ (see Proposition 4.4 for its proof). Moreover, B is an iterated Ore extension of A by [CLM, Theorem 2.2]. It is easy to see that ( ) hdetτ 0 hdetσ =. 0 hdet ξ 3. Nakayama automorophisms In this section, we study the Yoneda Ext algebraof a trimmed double Oreextension of a Koszul AS-regular algebra, and compute the Nakayama automorphism of the trimmed double Ore extension. This leads to the characterization of the Calabi-Yau property of a trimmed double Ore extension. As consequences, we recover several known results on the Calabi-Yau property of a skew polynomial extension. Throughout this section, A = T (V)/ R is a Koszul AS-regular algebra of global dimension d with Nakayama automorphism ( ν, and ) B = A P [y,y 2 ;σ] is a trimmed σ σ double Ore extension of A, where σ = 2 is an algebra morphism subject ( ) σ 2 σ 22 φ φ to (.5). Let φ = 2 be the inverse of σ in the sense of (.7), hdetσ = φ 2 φ ( ) ( 22 ) W X W X, and hdetφ = Y Z Y Z throughout this section. We choose a basis {e,,e n } of V, and let {e,,e n } be the corresponding dual basis of V. For the the Frobenius algebra A!, we fix a base element x 0 of the -dimensional -space A! d. By [Sm96, Lemma 3.2], A! possesses a nondegenerate bilinear form given by (3.) a,b = c ab where c ab is the coefficient of x 0 in the product of ab. We can pick a -linear basis {η,η 2,,η n } of A! d such that e i η j = δ ij x 0. Then η i e j = λ ijx 0 for some

12 2 CAN ZHU, FRED VAN OYSTAEYEN, AND YINHUO ZHANG λ ij. Or equivalently, e i,η j = δ ij, η i,e j = λ ij for i,j =,2,,n. Then, it follows from (.2) that the Nakayama automorphism µ A! of A! is given by: (3.2) µ A!(e i ) = j λ ji e j. Now we assume that the algebra homomorphism φ = is given by (3.3) φ ij (e l ) = k φ lk ij e k ( ) φ φ 2 : A M φ 2 φ 2 2 (A) 22 for each l, where φ lk ij. Then, we have (3.4) φ ij(e l) = k φ kl ije k. Now B is a Koszul algebra and it can be presented by generators and relations as B = T (V y y 2 )/ R B, where R B consists of three types of relations: (R) the relations defining A; (R2) y 2 y py y 2 qy 2 ; (R3) {y j e i σ j (e i )y σ j2 (e i )y 2 ;j =,2,i =,,n}. Note that from Definition.5 and Definition.7 it follows that the relation (R3) is equivalent to (R3 ) {e i y j y φ j (e i ) y 2 φ 2j (e i );j =,2,i =,,n}. Let C := y,y 2 / y 2 y py y 2 qy 2 (p 0). We need the following well-known property of the algebra C. Proposition 3.. The algebra C is Koszul AS-regular of dimension 2. Its Yoneda Ext algebra C! is y,y 2 / (y ) 2 +qy 2y,y y 2 +py 2y,(y 2) 2. Proof. The algebra is known as the Jordan plane (q 0) or quantum plane (q = 0) which are both Koszul AS-regular of dimension 2. Its Yoneda Ext algebra E(C) := i N Exti C (, ) is isomorphic to C! = T (V )/ R, see [Sm96, Theorem 5.9]. Next, we can describe the algebra B! in terms of generators and relations. It is obvious that {e,e 2,,e n,y,y 2 } forms a -linear basis of B!. Lemma 3.2. The algebra B! is generated by elements {e,e 2,,e n,y,y 2 } with the relations: ( ) the relations for A! ; ( 2) the relations for C! ; ( 3) {y j e i +φ j (e i )y +φ j2 (e i )y 2;j =,2,i =,,n}, where φ is the inverse of σ.

13 NAKAYAMA AUTOMORPHISMS OF DOUBLE ORE EXTENSIONS OF KOSZUL REGULAR ALGEBRAS 3 Proof. Since B is Koszul, we have B! = T (V y y 2 )/ (R B). According to the defining relations of B, it is easy to see that relations ( ) and ( 2) belong to (R B ). Now we show that ( 3) also belongs to (R B ). It suffices to verify that for every i,j, we have: (y j e i +φ j (e i )y +φ j2 (e i )y 2) (r) = 0 for each r R B by the definition of (R B ) for each i,j. But this is trivial since the generating relations of B are given by (R), (R2) and (R3). On the other hand, each element in (V ) 2 has the form f + g + h, where f = i k ie i y + l ie i y 2 + m iy e i + n iy 2 e i, g = c ij e i e j and h = a(y )2 + by y 2 + cy 2 y +d(y 2 )2. Assume that f +g+h (R B ). Then, it is easy to see g is in the span of ( ) and h is in the span of ( 2). For the rest, we need to show that every element f = i k ie i y +l ie i y 2 +m iy e i +n iy 2 e i (R B) can be written as f = a i (y e i +φ (e i )y +φ 2 (e i )y 2 )+b i(y 2 e i +φ 2 (e i )y +φ 22 (e i )y 2 ), for a i,b i. Firstly, we have k i = j m j e j(φ (e i ))+n j e j(φ 2 (e i )) and l i = j m j e j (φ 2(e i ))+n j e j (φ 22(e i )) for any i. Further, e j(φ (e i ))e i = φ (e j) by the definition of φ. Hence, we have i f = j m j φ (e j)y +n j φ 2(e j)y + j m j φ 2(e j)y 2 +n j φ 22(e j)y 2 + i m i y e i +n i y 2e i = i m i (y e i +φ (e i )y +φ 2 (e i )y 2 ) which completes the proof. +n i (y 2e i +φ 2(e i)y +φ 22(e i)y 2), Remark 3.3. The third type of relation ( 3) of B! can be replaced by ( 3 ) {e i y j +y σj (e i )+y 2σ2j (e i );j =,2,i =,,n} since the relation R3 can be replaced by R3. Proposition 3.4. Suppose that A is a Koszul algebra and B = A P [y,y 2 ;σ] is a trimmed double Ore extension of A. Then, () A! is a subalgebra of B! ; (2) B! is a free right (and left) A! -module with a basis {,y,y 2,y y 2}.

14 4 CAN ZHU, FRED VAN OYSTAEYEN, AND YINHUO ZHANG Proof. The statement () is a consequence of Lemma 3.2. Moreover, there is a surjective algebra homomorphism π : A! C! B! from the coproduct of A! and C! to B!. Hence, as a left A! -module, B! is generated by,y,y 2 and y y 2. By Lemma 3.2 and Remark 3.3, the kernel of π is the ideal generated by {e i y j +y σ j (e i )+y 2 σ 2j (e i );j =,2,i =,,n}. Therefore, the elements,y,y 2 and y y 2 are also the generators of B! as a right A! -module. Next, since B is a free left A-module with basis {yy i j 2 ;i,j 0} by definition, the Hilbert series of B is equal to the Hilbert series of A [y,y 2 ], i.e., H B (t) = H A(t) ( t) 2. It is well known that there is a functional equation on Hilbert series H S (t)h S!( t) = for any Koszul algebra S. Since both A and B are Koszul algebras by Theorem 2., so we have (3.5) H B!(t) = (+t) 2 H A!(t). Therefore, B! is a free left(also right) A! -module, with a basis {,y,y 2,y y 2}. In order to compute the Nakayama automorphism of B!, we need the following: Lemma 3.5. With notations and assumptions as in the second paragraph of this section, we have () ε := x 0 y y 2 is a basis element of the -dimensional space B! d+2. (2) For any i,j n and m =,2, the following equations hold: e i η jyy (a) 2 = δ ij ε, η i yy 2e (b) j = ( q p φkj 2 φlk p φkj 2 φlk 2+φ kj 22 φlk )λ il ε, k,l e i x 0y (c) m = 0, x 0 ym e (d) i = 0, y x 0y (e ) 2 = ( ) d W ε, y x 0y (e 2) = ( ) d ( q p W p X )ε, y2 x 0y (e 3) 2 = ( ) d Y ε, y2 x 0y (e 4) = ( ) d ( q p Y p Z )ε, x 0 yy (f ) = q p ε, x 0yy (f 2) 2 = ε, x 0 y2y (f 3) = p ε, x 0y2y 2 (f 4) = 0, ymη j yy 2 (g) = 0, η j yy 2y m (h) = 0, where W,X,Y and Z are given in (2.5). Proof. Part () is obvious by Proposition 3.4 (2). Since e i η j = δ ij x 0, we have e iη j y y 2 = δ ij x 0 y y 2 = δ ij ε. So Equation (a) holds. Since A! B! is injective, Equation (c) holds naturally. Equation (d) holds due to the relation ( 3) of Lemma 3.2. Equations (g) and (h)

15 NAKAYAMA AUTOMORPHISMS OF DOUBLE ORE EXTENSIONS OF KOSZUL REGULAR ALGEBRAS 5 follow from the relations ( 2) and ( 3) of Lemma 3.2. As for Equation (b), by relation ( 3) of Lemma 3.2 and Proposition 3., we have: y y 2 e j = y (φ 2 (e j )y +φ 22 (e j )y 2 ) = k (φ kj 2 y e ky +φ kj 22 y e ky 2) = k (φ kj 2 φ (e k )y y +φkj 2 φ 2 (e k )y 2 y +φkj 22 φ (e k )y y 2 ) Thus, for each i = k,l = k,l η i y y 2 e j = k,l (φ kj 2 φlk e ly y +φ kj 2 φlk 2e ly 2y +φ kj 22 φlk e ly y 2) ( q p φkj 2 φlk p φkj 2 φlk 2 +φ kj 22 φlk )e lyy 2. ( q p φkj 2 φlk p φkj 2 φlk 2 +φkj 22 φlk )η ie l y y 2 = k,l ( q p φkj 2 φlk p φkj 2 φlk 2 +φkj 22 φlk )λ ilε, where the second equation follows from η i e l = λ ilx 0 by the assumption. Next, we show the rest equations. For a fixed j, suppose that η j = λ m e m e m 2 e m d, m where λ m. Then, ( ) ) y y y2 x 0 =( y2 e jη j y 2 = m = m λ m ( y y 2 ) e j e m e m 2 e m d λ m φ (e j ) ( y y 2 ) e m e m 2 e m d ) e m 2 e m d =( ) 2 λ m φ (e j)φ (e y m )( y m 2 = =( ) d ) λ m φ (e j)φ (e m )φ (e m 2 ) φ (e y m d )( y m 2 =( ) d ) y λ m φ (e j e m e m 2 e m d )( y m 2 ) =( ) d φ (e j λ m e m e m 2 e y m d )( m ) =( ) d φ (e y jη j )( y2 y 2 = ( ) d φ (x 0 )( y y 2 It follows from the definition of φ that we obtain: ( ) ( y φ x 0 = ( ) d (x 0 ) φ 2 (x )( ) 0) y φ 2(x 0 ) φ 22(x 0 ) y 2 ). = ( ) d ( W x 0 y +X x 0 y 2 Y x 0 y +Z x 0 y 2 ).

16 6 CAN ZHU, FRED VAN OYSTAEYEN, AND YINHUO ZHANG Thus, we have proved Equations (e i ),i =,2,3,4. Finally, the equations (f i ),i =,,4 and (g),(h) follow from Proposition 3.. Since B! is Frobenius, we may apply the Frobenius pair (3.) on the equations in Lemma 3.5(2). Corollary 3.6. The following equations hold: e i,η jyy 2 (a ) = δ ij, η i yy 2,e j (b ) = ( q p φkj 2 φlk p φkj 2 φlk 2+φ kj 22 φlk )λ il, k,l e i,x 0ym (c ) = 0, x 0 ym,e i (d ) = 0, y,x 0y2 (e ) = ( ) d W, y,x 0y (e 2 = ) ( ) d ( q p W p X ), y2,x 0 y2 (e3 ) = ( ) d Y, y2,x 0 y (e4 ) = ( ) d ( q p Y p Z ), x 0 y,y (f = ) q p, x 0y,y 2 (f 2 = ), x 0 y2,y (f 3 = ) p, x 0y2,y 2 (f 4 = ) 0, ym,η jy y 2 (g ) = 0, η j y y 2,y m (h ) = 0. Corollary 3.7. The vector set {η y y 2,η 2y y 2,,η ny y 2,x 0y,x 0y 2 } forms a -linear basis of B! d+. Proof. Suppose that: a η y y 2 + +a n η n y y 2 +b x 0 y +b 2 x 0 y 2 = 0 for some coefficients a,,a n,b,b 2. For each i =,2,,n, we have 0 = e i,a η yy 2 + +a n η n yy 2 +b x 0 y +b 2 x 0 y2 n = a j e i,η jy y 2 +b e i,x 0y +b 2 e i,x 0y2 j= Similarly, we have: =a i. (by Equations (a ) and (c )) 0 = y,a η yy 2 + +a n η n yy 2 +b x 0 y +b 2 x 0 y2 n = a j y,η jy y 2 +b y,x 0y +b 2 y,x 0y2 and j= =b ( ) d ( q p W p X )+b 2 ( ) d W, (by Equations (g ), (e ) and (e 2)). b ( ) d ( q p Y p Z )+b 2 ( ) d Y = 0 obtained in a similar way. So we obtain a system of linear equations: { ( q p W p X )b +W b 2 = 0, ( q p Y p Z )b +Y b 2 = 0. ( q p W p X W ) The determinant of the matrix is nonzero by Lemma 2.6. q p Y p Z Y Hence, b = b 2 = 0. Thus, the vectors η yy 2,η 2 yy 2,,η n yy 2,x 0 y and

17 NAKAYAMA AUTOMORPHISMS OF DOUBLE ORE EXTENSIONS OF KOSZUL REGULAR ALGEBRAS 7 x 0 y2 are linear independent. On the other hand, by Equation (3.5), we have dimb d+! = 2dimA! d +dima! d = n +2. That is, these vectors form a -linear basis of B d+!. Now, we are ready to compute the Nakayama automorphism µ of the Frobenius algebra B!. This automorphism is determined by the equation a,b = µ(b),a for any a,b B! (see (.2)). Note that B! is generated by the degree elements: e,e 2,,e n,y,y 2. Hence, we just need to describe the images of those elements under the Nakayama automorphism. By Corollary 3.7, we see that {η y y 2,η 2y y 2,,η ny y 2,x 0y,x 0y2 } forms a basis of B! d+. Due to the fact that the Nakayama automorphism is graded, we can use the equations in Corollary 3.6 to determine the Nakayama automorphism. Proposition 3.8. The restriction of the Nakayama automorphism µ B! of B! to A! equals µ A!(det l φ). Proof. Suppose that µ B!(e i) = k i, e + +k i,n e n +k i,n+ y +k i,n+2 y 2. Since, is a Frobenius pair, x 0 y m,e i = µ B!(e i ),x 0y m for m =,2. From Equations (d ) and (c ) in Corollary 3.6, we obtain: 0 = µ B!(e i ),x 0y m = k i, e + +k i,n e n +k i,n+ y +k i,n+2 y 2,x 0 y m = k i,n+ y +k i,n+2y 2,x 0y m =k i,n+ y,x 0 y m +k i,n+2 y 2,x 0 y m From Equations (e )-(e 4 ) in Corollary 3.6, we obtain the following system of linear equations: { ( q p W p X )k i,n+ +( q p Y p Z )k i,n+2 = 0, W k i,n+ +Y k i,n+2 = 0, ( q Since the determinant of the matrix p W p X q p Y ) p Z W Y is nonzero by Lemma 2.6, we have: k i,n+ = 0 = k i,n+2 for each i. Following the definition of the Nakayama automorphism (see (.2)) and Equations (a ) and (b ), we arrive at: µ B!(e i) = j ( k,l ( q p φki 2φ lk p φki 2φ lk 2+φ ki 22φ lk )λ il )e j. On the other hand, we claim that (det l φ) (e i ) = k,l ( q p φki 2 φlk p φki 2 φlk 2 +φki 22 φlk )e l.

18 8 CAN ZHU, FRED VAN OYSTAEYEN, AND YINHUO ZHANG Since for any e m, (det l φ) (e i )(e m) =e i (det lφ(e m )) =e i (q p φ 2 φ (e m )+φ 22 φ (e m ) p φ 2 φ 2 (e m )) =e i (q p φ 2( k =e i (q p = q p k k,l φ mk e k)+φ 22 ( k φ mk φkl 2 e l + φ mk φkl 22 e l p k,l φ mk φ ki 2 + k φ mk φ ki 22 p φ mk e k) p φ 2( k k k,l φ mk 2 φ ki 2, which coincides the value of k,l( q p φki 2 φlk p φki 2 φlk 2 +φki 22 φlk )e l (e m). It follows that µ A!(det l φ) (e i ) =µ A!( k,l = k,l φ mk 2 φkl 2 e l) ( q p φki 2 φlk p φki 2 φlk 2 +φki 22 φlk )e l ) ( q p φki 2φ lk p φki 2φ lk 2+φ ki 22φ lk )µ A!(e l) φ mk 2 e k)) = k,l ( q p φki 2φ lk p φki 2φ lk 2+φ ki 22φ lk ) j λ jl e j. That is, µ B!(e i ) = µ A!(det lφ) (e i ), for all i. We need the following technical result although the proof is obvious. Lemma 3.9. Let E = E E m be a graded Frobenius algebra which is generated in degree. Suppose that {α,α 2 } and {β,β 2 } are -linear bases of E and E m respectively. Let α,β = a, β,α = e, α,β 2 = b, β 2,α = f, α 2,β = c, β,α 2 = g, α 2,β 2 = d, β 2,α 2 = h. Then, the Nakayama automorphism of E is given by: µ(α ) = de cf ad bc α af be + ad bc α 2, µ(α 2 ) = dg ch ad bc α + ah bg ad bc α 2. Proof. Note that the Frobenius pair, is a nondegenerate bilinear form. It follows that ad bc 0. Since the Nakayama automorphism is graded and E is generated in degree, the Nakayama automorphism is determined by the assumed equations. we are only to determine the image of elements of degree. The conclusion follows from a direct computation.

19 NAKAYAMA AUTOMORPHISMS OF DOUBLE ORE EXTENSIONS OF KOSZUL REGULAR ALGEBRAS 9 Proposition 3.0. The image of y and y 2 under Nakayama automorphism µ B! are given as follows: µ B!(y ) =( ) d+( (qx + q p X + p W)y +(qz + q p Z + p Y)y 2), µ B!(y 2) =( ) d+ (pxy +pzy 2). where W,X,Y and Z form the homological determinant of σ. Proof. The proof is similar to the one of Proposition 3.8. Suppose that µ B!(y ) = k e + +k n e n +k n+ y +k n+2 y 2. Since the equation η j y y 2,y = µ B!(y ),η jy y 2, where j =,2,,n, we have: 0 = η j y y 2,y = µ B!(y ),η jy y 2 n = k i e i,η j yy 2 +k n+ y,η j yy 2 +k n+2 y2,η j yy 2 = i= n k i δ ij = k j. i= It follows that µ B!(y ) = k n+y +k n+2y2. Similarly, µ B!(y 2 ) = l n+y +l n+2y2 for some l n+,l n+2. Hence, both µ B!(y) and µ B!(y2) are completely determined by the values in Equations (e )-(e 4 ) and (f )-(f 4 ) in Corollary 3.6. Thus, we arrive at the case of Lemma 3.9. It follows that q p W + p X µ B!(y) =( ) d ( qy + q p Y p Z W Z X Y y + qw W Z X Y y2), µ B!(y2 ) py =( )d ( W Z X Y y + pw W Z X Y y 2 ). Finally, the statement follows from the equation: ( ) ( ) W X Z Y = Y Z W Z X Y X W, a consequence of Lemma 2.6. Proposition 3.. The restriction of the Nakayama automorphism ν B of B to A equals (det r σ) ν, and ( ) ( ) y ν B = (hdetσ)p y y, 2 y 2 where P is given by (.6). Proof. By Proposition 3.8 and Proposition ( ) 3.0, the restriction of Nakayama automorphism µ B! to B! Q 0 has the form, where Q 0 Q M d ( ) and Q 2 M 2 ( ). 2 By Proposition.4 and Equation.3, the Nakayama automorphism of B is also of

20 20 CAN ZHU, FRED VAN OYSTAEYEN, AND YINHUO ZHANG this type. Combining Proposition.4, Proposition 3.8 and Proposition.9(3) we obtain the first statement. By Proposition.4 and Proposition 3.0, we have: ν B (y ) =(qx + q p X + p W)y +pxy 2, ν B (y 2 ) =(qz + q p Z + p Y)y +pzy 2. Thus, the second conclusion follows from the definition of the homological determinant of σ in Definition 2.5 and Equation.6. Now we are ready to characterize the Calabi-Yau property of a trimmed double Ore extension of a Koszul AS-regular algebra. Theorem 3.2. Suppose that A is a Koszul AS-regular algebra with Nakayama automorphism ν. Let B = A P [y,y 2 ;σ] be a trimmed double Ore extension of A. Then B is Calabi-Yau if and only if det r σ = ν and hdetσ = P. Proof. Since B is Koszul and is of finite global dimension, the Koszul B e -bimodule complex provides a finitely generated projective resolution of B of finite length. That is, B is homologically smooth. Because B is connected graded, its only inner automorphism is the identity. So for B to be Calabi-Yau, its Nakayama automorphism must be the identity. Therefore, the statement is a consequence of Proposition 3.. Remark 3.3. For a Koszul AS-regular algebra A with Nakayama automorphism ν, there exists a unique skew polynomial extension D such that D is Calabi-Yau, see [GK4, GYZ4, HVZ3, LWW2, RRZ4]. Here, we consider the existence and the uniqueness of a Calabi-Yau trimmed double Ore extension of a Koszul AS-regular algebra. (). For any Koszul AS-regular algebra A with Nakayama automorphism ν, consider the ( trimmed ) double Ore extension B = A P [y,y 2 ;σ] with P = (,0) and σ = ν 0. Then B is Calabi-Yau. But it is easy to see that B is an iterated Ore 0 id extension of A (see [ZZ09, Proposition 3.6] or its proof). Hence, we ask if there exists a nontrivial double Ore extension B (not an iterated one) such that B is Calabi-Yau? The answer is negative from the following example. Let A = x,x 2 /(x 2 x x x 2 x 2 ) be the Jordan plane. Its Nakayama automorphism ν is given by ν(x ) = x and ν(x 2 ) = 2x +x 2. Then, there is only one nontrivial double Ore extension by the classification in [ZZ09], namely, the type H := 0 h 0 0 A P [y,y 2 ;σ] with P = (,0) and σ given by the matrix h hf 0 h with hf 0 h 0 0 h and f. Now, det r (σ) is an automorphism given by det r (σ)(x ) = h 2 x and det r (σ)(x 2 ) = 2h 2 fx + h 2 x 2. Let x 0 to be a base element of the - dimensional space A! 2. Then ( ) h σ (x 0 ) = 2 x h 2. x 0

21 NAKAYAMA AUTOMORPHISMS OF DOUBLE ORE EXTENSIONS OF KOSZUL REGULAR ALGEBRAS 2 That is, W = h 2,X = 0,Y = 0 and Z = h 2. By Proposition 3., the Nakayama automorphism of H is ν :x h 2 x x 2 h 2 ((2 2f)x +x 2 ) y h 2 y y 2 h 2 y 2. Therefore, there is no Calabi-Yau algebra in the class of the type H. (2). For the uniqueness, let A = x,x 2 /(x 2 x + x x 2 ) be the quantum plane whose Nakayama automorphism is given by ν(x ) = x and ν(x 2 ) = x 2. Suppose that B := A P [y,y 2 ;σ] with P = (,0), where σ is given by the matrix 0 0 g f 0 0 f g g f 0 0 with f,g and f2 g 2. So B is of type N in the classification of [ZZ09]. Now, det r (σ) is an automorphism given by det r (σ)(x ) = (f 2 g 2 )x f g 0 0 and det r (σ)(x 2 ) = (f 2 g 2 )x 2. Let x 0 be a base element of the -dimensional space A! 2. Then we have: σ (x 0 ) = ( ) (f 2 g 2 )x (f 2 g 2. )x 0 In this case, W = f 2 g 2,X = 0,Y = 0 and Z = f 2 g 2. Thus, the Nakayama automorphism of B is equal to (g 2 f 2 )id by Proposition 3.. Hence, B is Calabi- Yau if and only if g 2 f 2 =. Therefore, a trimmed double Ore extension, which is Calabi-Yau, of a Koszul AS-regular algebra may not be unique if it exists. Remark 3.4. In the first example in Remark( 3.3, we) know that det ( r σ = ν A ) if h and only if h = f =. Moreover, hdetσ = 0 h 2. But, P =. 0 Therefore, the condition det r σ = ν A and the condition hdetσ = P in Theorem 3.2 are independent. More examples can be constructed from iterated Ore extensions, see Example 2.7. To end this section, we return to discuss the Nakayama automorphism and the Calabi-Yau property of the skew polynomial extension. For a twisted Calabi-Yau algebra A with Nakayama automorphism ν, it was proved in [LWW2, Theorem 3.3] that the Nakayama automorphism of an Ore extension D = A[t;θ,δ] is given by { θ ν(x), x A; ν D (x) = ax+b, x = t, for some a,b A with a invertible. It was also remarked there that if δ = 0, then ν D (t) = at. Now if we restrict to Koszul algebras, we can describe the Nakayama automorphism more explicitly as follows. Proposition 3.5. Suppose that A is a Koszul AS-regular algebra with Nakayama automorphism ν, θ is a graded algebra automorphism of A and D = A[t;θ]. The

22 22 CAN ZHU, FRED VAN OYSTAEYEN, AND YINHUO ZHANG Nakayama automorphism ν D of D is given by: { θ ν(x), x A ν D (x) = (hdetθ)x, x = t. Proof. We only give a sketch of the proof since it is similar to the one of Proposition 3.. Suppose that D = T(V t)/ R D. The generating relations in D are of two types: te i θ(e i )t( i n) and the relations from A. Obviously, {e,e 2,,e n,t } forms a -linear basis for D!. By [LSV96, Proposition 2.4], the defining relations for D! consist of the following three types: () the relations from A! ; (2) {t e i +(θ ) (e i )t i n}; (3) {(t ) 2 }. By [LSV96, Proposition 2.5], D! is a free A! -module with basis {,t }. Hence, x 0 t is a base element of the -dimensional space D! d+, denoted ε, where x 0 is a base element of the -dimensional -space A! d. Now let (b ij) n n be the matrix of the restriction of θ to V, i. e., (3.6) θ (e i ) = j b ij e j for each i. Then, we have () {η t,η 2 t,,η n t,x 0 } is a -linear basis of D! d ; (2) the following equations hold: e i η jt = δ ij ε, η i t e j = k b kjλ ik ε, e i x 0 = 0, x 0 e i = 0, t x 0 = ( ) d (hdet(θ)) ε, x 0 t = ε, t η j t = 0, η j t t = 0. Using the same argument in the proof of Proposition 3.8 and Proposition 3.0, one obtains that the Nakayama automorphism µ D! of D! is given by: { µ µ D!(α) = A! (θ ) (α), α A! ( ) d (hdetθ)α, α = t. The last step is to transfer µ D! to the Nakayama automorphism ν D of D by Proposition.4. Note that the homological determinant of the Nakayama automorphism of a Koszul AS-regular algebra is equal to [RRZ4, Theorem 0.4]. Thus, we arrive at the following result which was proved in [GK4, GYZ4, HVZ3, LWW2, RRZ4]: Theorem 3.6. Suppose that A is a Koszul AS-regular algebra with Nakayama automorphism ν, θ is a graded algebra automorphism of A and D = A[t;θ]. Then, D is Calabi-Yau if and only if θ = ν.

23 NAKAYAMA AUTOMORPHISMS OF DOUBLE ORE EXTENSIONS OF KOSZUL REGULAR ALGEBRAS Skew Laurent Extensions In this section, we consider the Calabi-Yau property of the Ore localizations of both A[t;θ] and A P [y,y 2 ;σ] with some conditions. For a skew polynomial extension A[t;θ] of an algebra A, the multiplicatively closed set {t i ;i N} is an Ore set. The localization of A[t;θ] with respect to this Ore set is just the skew Laurent polynomial extension A[t ± ;θ]. Farinati proposed a general notion of a noncommutative localization in [F05]. It was proved there that the Van den Bergh duality is preserved by such a localization and the corresponding dualizing module is also explicitly described. The Ore localization is an example of a noncommutative localization [F05, Example 8]. Proposition 4.. Suppose that A is a Koszul AS-regular algebra of dimension d and D = A[t;θ] is a skew polynomial extension of A. Then, the Nakayama automorphism ν of A[t ± ;θ] is given by { ν D (x), x D ν(x) = hdetθ x, x = t. Proof. By assumption and [F05, Theorem 6], we have: { Ext i E e(e,ee ) 0, i d+ = E D D ν D E(d+), i = d+, where E stands for the algebra A[t ± ;θ]. Thus, the claim follows from the description of the Nakayama automorphism of D in Proposition 3.5. Theorem 4.2. Suppose that A is a Koszul AS-regular algebra with Nakayama automorphism ν and θ is a graded algebra automorphism of A. Then, A[t ± ;θ] is graded Calabi-Yau if and only if there exists an integer n such that θ n = ν and the homological determinant of θ equals. Proof. It follows from the proof of [F05, Theorem 6] that A[t ± ;θ] is homologically smooth. Thus, the proof focuses on the description of the Nakayama automorphisms of algebras A[t;θ] and A[t ± ;θ] as showed in Proposition 3.5 and Proposition 4. respectively. Note that the only invertible elements in [t ± ] are monomials. Supposethat A[t ± ;θ] iscalabi-yau. Then, its Nakayamaautomorphism ν is inner, i.e., there exists an integer n Z such that ν(x) = t n xt n for each x A[t ± ;θ]. In particular, ν(t) = t. Therefore, hdet(θ) = by Proposition 3.5. If n is nonnegative, then for each x A we have ν(x) = θ ν(x) = t n xt n = t n (t θ(x)t)t n = t n θ(x)t n = = θ n (x). Hence, ν(x) = θ n+ (x). Similarly, the claim also holds for the case when n is a negative integer.

24 24 CAN ZHU, FRED VAN OYSTAEYEN, AND YINHUO ZHANG Conversely, if θ n = ν for some integer n and the homological determinant of σ equals, then ν(t) = t. Next, for each x A, we have ν(x) = θ ν(x) = θ n (x). But in A[t ± ;θ], θ(x) = txt. That is, both θ and its inverse are inner. Therefore, ν is an inner automorphism. The proof is completed. Example 4.3. Let A = x,y /(yx xy x 2 ) be the Jordan plane. It is a twisted Calabi-Yau algebra of dimension 2 whose Nakayama automorphism ν is given by ν(x) = x and ν(y) = 2x +y. Then, A[t;θ] is Calabi-Yau if and only if θ = ν by Theorem 3.6. It is not hard to see that each graded automorphism θ of A has the form θ(x) = ax and θ(y) = bx + ay for some a,b. By Proposition 2.3, the homological determinant of θ is equal to a 2. Thus, A[t ± ;θ] is Calabi-Yau if and only if θ is either given by { θ(x) = x θ(y) = 2 n x+y for some nonzero integer n, or given by { θ(x) = x θ(y) = 2 n x y for some even integer n. Finally, we consider the localization or the quotient ring of the double Ore extension B with respect to the Ore set generated by new generators. However, we can only do this in some special case as follows. Proposition 4.4. Let ( B ) = A P [y,y 2 ;σ] be a trimmed double Ore extension with τ 0 P = (p,0) and σ =. Then, 0 ξ () Both τ and ξ are automorphisms of A. Moreover, they commutate with each other. (2) The multiplicatively closed set S := {ay n yn2 2 ;a k,n,n 2 Z 0 } is an Ore set. (3) The quotient ring B S of B with respect to S exists. Proof. Since B is a trimmed double Ore extension of A, σ is invertible according to Lemma.8. Hence, both τ and ξ are automorphisms of A. By the definition of the right determinant of σ (see (.8)) and its equivalent description in Proposition.9, we have τξ = ξτ. The rest of the proof is straightforward. In fact, the algebra B = A P [y,y 2 ;σ] considered above is an iterated skew polynomial extension A[y ;τ][y 2 ;ξ ] where ξ is the automorphism of A[y ;τ] defined as follows { ξ ξ(x), x A; (x) = px, x = y. If p =, then the quotient ring B S is isomorphic to the iterated skew Laurent ring A[y ±,y± 2 ;τ,ξ] (see [GW04, p.23-24]). In the case of p, we can also construct the iterated skew Laurent ring, denoted A P [y ±,y± 2 ;τ,ξ] or just A P[y ±,y± 2 ;σ].

25 NAKAYAMA AUTOMORPHISMS OF DOUBLE ORE EXTENSIONS OF KOSZUL REGULAR ALGEBRAS 25 Similarly,thequotientringB S intheabovepropositionisisomorphictotheiterated skew Laurent ring A P [y ±,y± 2 ;σ] Theorem 4.5. Suppose that A is a Koszul AS-regular algebra with Nakayama automorphism ( ν, B = ) A P [y,y 2 ;σ] is a trimmed double Ore extension with P = τ 0 (p,0) and σ = and B 0 ξ S = A P [y ±,y± 2 ;σ]. Then, B S is Calabi-Yau if and only if there exist two integers m, n such that the following conditions are satisfied: () τ n ξ m = ν; (2) hdet(τ) = p m and hdet(ξ) = /p n. Proof. The homologically smoothness of B S also follows from the proof of [F05, Theorem 6]. Observe that for the given homomorphism σ : A M 2 2 ( (A), the ) τ induced algebra homomorphism σ form A! to M 2 2 (A! 0 ) has the form 0 ξ, where τ and ξ are automorphisms of A! induced by τ and ξ respectively. By Example 2.7 and Proposition 3. we obtain that the Nakayama automorphism of B is given as follows: (τξ) ν(x), x A; ν B (x) = p (hdetτ)x, x = y ; p(hdetξ)x, x = y 2. Thus, it follows from [F05, Theorem 6] that the Nakayama automorphism ν of B S is given by ν B (x), x B p ν(x) = hdetτx, x = y x, x = y 2 phdetξ Note that the only invertible elements in B S are monomials a nm y nym 2 for some a nm and n,m Z. Suppose that B S is Calabi-Yau. Then, its Nakayama automorphism ν is inner, i.e., there exists integer m,n Z such that ν(x) = y nym 2 xy m 2 y n foreachx B S. Inparticular, ν(y ) = y nym 2 y y2 m y n = p (hdetτ)y. It follows that hdet(τ) = p m+ since y and y 2 satisfy y 2 y = py y 2. Similarly, we have hdet(ξ) = /p n+. Now, without loss of generality, we may assume that both n and m are nonnegative. For any element x A, we have Hence, ν = τ n+ ξ m+. (τξ) ν(x) = ν(x) The proof of the converse is similar. = yy n 2 m xy2 m y n = y n ym 2 ξ(x)y2 m y n = = y n ξm (x)y n = = τ n ξ m (x).