arxiv: v1 [math.ra] 10 Aug 2018

Transcription

1 NAKAYAMA AUTOMORPHISMS OF ORE EXTENSIONS OVER POLYNOMIAL ALGEBRAS LIYU LIU AND WEN MA arxiv: v1 [mathra] 10 Aug 2018 Abstract Nakayama automorphisms play an important role in several mathematical branches, which are known to be tough to compute in general We compute the Nakayama automorphism ν of any Ore extension R[x;σ,δ] over a polynomial algebra R in n variables for an arbitrary n The formula of ν is obtained explicitly When σ is not the identity map, the invariant E G is also investigated in term of Zhang s twist, where G is a cyclic group sharing the same order with σ 1 Introduction In the past three decades, a great deal of research appears on Artin Schelter regular algebras arising from noncommutative projective algebraic geometry and on noetherian Hopf algebras Associated to these algebras, there are automorphisms that play an important role in studying and/or classifying them They are related with the study of rigid dualizing complexes, Hopf algebra actions, noncommutative invariant theory, Zariski cancellation, and so forth Such automorphisms are nowadays called Nakayama automorphisms in the literature Examples of algebras that have Nakayama automorphisms are: noetherian Artin Schelter Gorenstein algebras, many noetherian Hopf algebras, some coinvariant subalgebras of Artin Schelter regular algebras under Hopf algebra actions, Poincaré Birkhoff Witt deformations of some graded algebras In general, Nakayama automorphisms are known to be tough to compute We refer to [1], [2], [3], [8], [10], [11], [13], [14], [15], [16] and the references therein for the progress on this topic during the past years Nakayama automorphisms, which turn out to be unique up to inner for an algebra, are related with twisted Calabi Yau algebras or skew Calabi Yau algebras; in particular, a homologically smooth algebra whose Nakayama automorphism is inner is Calabi Yau in the sense of Ginzburg [4] Calabi Yau algebra is an algebraic structure arising from the geometry of Calabi Yau manifolds and homological mirror symmetry It has attracted much interest in recent years On top of the examples we mentioned above, one can construct new algebras belonging to the class via a given algebra having a Nakayama automorphism; for instance, by Ore extensions In order to study right coideal subalgebras of quantized enveloping algebras and 5-dimensional Artin Schelter regular algebras, Wang, Wu and the first author proved that if A is twisted Calabi Yau with Nakayama automorphism ν A then the Ore extension E = A[x;σ,δ] has Nakayama automorphism ν E such that ν E A = σ 1 ν A and ν E x = λx b for an invertible λ A and b A [9] The only drawback is that λ, b are not completely determined This result was improved by several professionals in different contexts, cf [5], [6], [18], etc Among them, Zhu, Van Oystaeyen and Zhang showed that λ is equal to the homological determinant hdetσ of σ, introduced by Jørgensen and Zhang [7], for any trimmed graded Ore extension A[x; σ] over a Koszul Artin Schelter regular 2010 Mathematics Subject Classification Primary 16E40, 16S36, 16W22 Key words and phrases Ore extension, twisted Calabi Yau algebra, Nakayama automorphism 1

2 2 LIYU LIU AND WEN MA algebra A Notice that there are numerous automorphisms that are not graded for a specific graded algebra, even for a polynomial algebra Besides, the parameter b is still unknown for non-trimmed Ore extensions In this paper, we partially make up for the deficiency of the result in [18] We focus on Ore extensions R[x;σ,δ] where R is the polynomial algebra k[z 1,,z n ], but we do not impose any restrictive conditions about the automorphism σ and the σ-derivation δ By regarding R as a noncommutative algebra, we introduce in 2 a noncommutative version of partial derivation p with respect to each variable z p 1 p n In terms of p, there is a determinant J which is analogous to the classical Jacobian determinant We call J the noncommutative Jacobian determinant, and discuss relations between it and the classical one Following the idea in [9], we construct a bounded resolution of E = R[x;σ,δ] by finitely generated free left E e -modules in 3 The differentials of this resolution are expressed explicitly, by using p and J In 4, we compute the Nakayama automorphism ν of E, completely determining the two parameters λ and b We capture λ and b in several different cases The results are summarized as follows Theorems 42, 45, and Corollary 43: Theorem 11 Let E = R[x;σ,δ] be an Ore extension, and J the Jacobian determinant of σ Then the Nakayama automorphism ν satisfies ν R = σ 1 and 1 νx = x X δ if σ = id, where X δ is a vector field determined by δ and X δ stands for the divergence of X δ 2 νx = JxJκ σq 1 κ if σ id, where κ is in the quotient field of R and σ q is an extension of σ Both κ and σ q are uniquely determined As a consequence, E is Calabi Yau if and only if σ = id and X δ = 0 Supposeσ id, and let Gbe acyclic groupoforderequalto that ofσ alsoequal tothatofν ThereisaG-actiononE naturally WeinvestigatetheinvariantE G in 5 In this section, we first extend σ, δ to the quotient field R q of R The extended automorphism is denoted by σ q, and the extended σ q -derivation is denoted by δ q, respectively A larger Ore extension E q = R q [x;σ q,δ q ] is hence obtained Next we showthattheinvariante G q isisomorphictothezhang stwisttw R q, σ q ofagraded algebra R q via a graded automorphism σ q Later on, we discuss the subalgebra E G of E G q in two cases The case κ R is very easy, under which we deduce that E G is isomorphic to the Zhang s twist tw R, σ; the other case κ / R is quite subtle because sometimes E G carries a graded algebra structure in a natural way but sometimes not If E G is not graded, we equip it with a filtration, whose associated graded algebra gre G is proven to be a graded subalgebra of tw R, σ The graded subalgebra may happen to be tw R, σ itself The results are summarized as follows Theorem 54: Theorem 12 Let E = R[x;σ,δ] be an Ore extension with σ id Then 1 gre G is isomorphic to a graded subalgebra of tw R, σ, 2 gre G is isomorphic to tw R, σ if either νx = Jx or σ is of finite order r with chark r Throughout this paper, k is a field and all algebras are over k unless stated otherwise Unadorned means k 2 Preliminaries LetAbe analgebraandm ana-bimodule Thegroupofalgebraautomorphisms of A is denoted by AutA For any σ AutA, denote by σ M resp M σ the left A-module resp right A-module whose ground k-module is the same with M

3 NAKAYAMA AUTOMORPHISMS OF ORE EXTENSIONS 3 and whose left resp right A-action is twisted by σ, that is, a m = σam resp m a = mσa for any a A, m M Let A op be the opposite algebra of A, and A e = A A op the enveloping algebra of A We will often identify A-bimodules with left or right A e -modules, for convenience Recall that A is homologically smooth if A as a left or equivalently, right A e -module, admits a finitely generated projective resolution of finite length Definition 21 An algebra A is called ν-twisted Calabi Yau of dimension d for ν AutA and d N if 1 A is homologically smooth, 2 there are isomorphisms of A-bimodules { Ext i A ea,ae A ν, i = d, = 0, i d, in which the regular left module structure on A e is used for computing the Ext-group, and the right one induces the A-bimodule structure on the Ext-group Let R be an algebra Given an endomorphism σ on R and a σ-derivation δ, one obtains an extension E = R[x;σ,δ] over R which is called an Ore extension We assume that the reader is familiar with this topic For details we refer to [12] Since E will inherit nice properties from R if σ is an automorphism, we require in this paper that σ is always an automorphism when Ore extensions are mentioned Customarily, an Ore extension is called trimmed if δ = 0, called differential if σ = id In both cases, we write R[x;σ] and R[x;δ] respectively Lemma 21 Let E = R[x;σ,δ] be an Ore extension Then there is a short exact sequence 0 E σ R E ρ E R E E 0 of E-bimodules where ρ1 1 = x 1 1 x Theorem 22 [9, Thm 2] Let E = R[x;σ,δ] be an Ore extension If R is ν R - twisted Calabi Yau of dimension d, then E is ν E -twisted Calabi Yau of dimension d1 where ν E is determined by ν E R = σ 1 ν R and ν E x = λxb with λ, b in R and λ invertible Moreover, λ depends only on σ, and b depends on both σ and δ Remark 21 The parameters λ and b have not been completely determined so far Though, other professionals improve Theorem 22 a lot, mainly dealing with the first parameter λ in several contexts As far as the author knows, the following two are of importance and of interest: 1 [5] If σ = ν R and δ = 0, then ν E x = x As a consequence, every twisted Calabi Yau algebra admits a trimmed Ore extension that is Calabi Yau 2 [18] IfRis gradedkoszul, σ GrAutR, andδ = 0, then νx = hdetσx From now on, let R = k[z 1,z 2,,z n ] be the polynomial algebra in n variables Denote σ i = σz i and δ i = δz i Then σ is completely determined by the n-tuple σ 1,,σ n, and respectively, δ is determined by δ 1,,δ n For any polynomial ϕ in R, we write dϕ = 1 ϕ ϕ 1; it is called the noncommutative 1-form of ϕ in noncommutative geometry For each 1 p n, define the linear map p : R R R by p z i1 1 zin n = i p s=1 zp ip s z ip1 p1 zin n z i1 1 zip 1 zs 1 p

4 4 LIYU LIU AND WEN MA Lemma 23 For any polynomial ϕ, one has dϕ = n p ϕdz p Proof Straightforward p=1 If µ is the multiplication map of R, then we can check µ p = / z p Hence p is sometimes called the noncommutative partial derivation with respect to z p, and Lemma 23 is analogous to the total differential formula in calculus We will introduce a determinant J in terms of p which are somewhat Jacobianlike By definition, J = j σ i n n, and we called it the noncommutative determinant of σ In fact, µj is equal to the common Jacobian determinant J of σ For any pair of sequences i 1,,i p and j 1,,j p in {1,2,,n}, define J i1ip to be the determinant of order p whose u,v-entry is jv σ iu 3 Free resolutions In this section, we follow the idea used in [9] to construct a free resolution of E as an E e -module Let K R be the Koszul resolution of R, ie, KR p is free over R R with basis {e i1i p 1 i 1 < < i p n} Then K := E R K R RE is a left E e -projective resolution of E R E here we identify E-bimodules with left E e -modules whose differentials are given by p d p e i1i p = 1 v dz iv e i1î vi p Likewise, denoting by e i 1i p a copy of e i1i p, we then have an E e -projective resolution K of E σ R E whose differentials are given by p d p e i 1i p = 1 vσ dz iv e, i 1î vi p where σ dz i = 1 z i σ i 1 Let us lift ρ to a morphism ρ: K K of complexes for trimmed and differential Ore extensions respectively Proposition 31 Let E = R[x;σ] be a trimmed Ore extension, and ρ as given in Lemma 21 Define ρ = {ρ p : K p K p} 0 p n to be ρ p e i 1i p = x 1e i1i p 1 x e j1j p Then ρ is a lifting of ρ j 1< <j p J i1ip Proof Let us compute ρ p 1 d pe i 1i p and d p ρ p e i 1i p for all p We have p ρ p 1 d pe i 1i p = ρ p 1 1 vσ dz iv e i 1î vi p p = 1 vσ dz iv x 1e i1î vi p 1 v 1 xj i1îvip 1 e j1j p 1 1 p p = x 1 1 v dz iv e i1î vi p 1 x 1 v dσ iv J i1îvip 1 e j1j p 1, 1 and d p ρ p e i 1i p = d p x 1e i1i p 1 x J i1ip e j1j p

5 = x 1 NAKAYAMA AUTOMORPHISMS OF ORE EXTENSIONS 5 p 1 v dz iv e i1î vi p 1 x p In order to prove that they are equal, it suffices to show 31 p p 1 1 v dσ iv J i1îvip 1 e j1j p 1 = Notice that by Lemma 23, we have p n p 1 v i1î dσ iv J v i p 1 v l σ iv dz l J 1 = l=1 1 v dz jv J i1ip e j1ĵ vj p 1 v dz jv J i1ip e j1ĵ vj p i1î v i p 1 = n l=1 dz l J i1ip l 1, where the last equality holds by expanding the determinant J i1ip l 1 along the first column Since J i1ip l 1 = 0 for all l {j 1,,j p 1 }, we have LHS of 31 = n 1 l=1 dz l J i1ip l 1 e j1j p 1 = dz l J i1ip l 1 e lj1j p 1 l 1 1l 1 p dz l J i1ip j 1lj p 1 dz l J i1ip 1l e 1 l j 1lj p 1 e j1 ljp 1 = RHS of 31 Proposition 32 Let E = R[x;δ] be a differential Ore extension, and ρ as given in Lemma 21 Define ρ = {ρ p : K p K p } 0 p n to be ρ p e i 1i p = x 1 1 xe i1i p Then ρ is a lifting of ρ n s=1 u=1 p 1 u s δ iu e si1 i ui p Proof Like in the proof of Proposition 32, we have p ρ p 1 d pe i 1i p = ρ p 1 1 v dz iv e i 1î vi p p n v 1 = 1 v dz iv x 1 1 xe i1î vi p 1 u s δ iu e si1 n p s=1 u=v1 = x 1 1 x n s=1 1 u<v p and by Lemma 23, 1 u 1 s δ iu e si1î v p 1 v dz iv e i1î vi p s=1 u=1 i ui p p 1 v dδ iv e i1î vi p 1 uv s δ iu dz iu s δ iv dz iv e si 1 d p ρ p e i 1i p = d p x 1 1 xe i1i p i uî vi p, n s=1 u=1 p 1 u s δ iu e si1 i uî vi p i ui p

6 6 LIYU LIU AND WEN MA = x 1 1 x u 1 p 1 v dz iv e i1î vi p 1 v1 dz iv e si1î v = x 1 1 x n s=1 1 u<v p i ui p p v=u1 p 1 v dz iv e i1î vi p n s=1 u=1 p 1 u s δ iu dz s e i1 i ui p 1 v dz iv e si1 p 1 u dδ iu e i1 u=1 1 uv s δ iu dz iu s δ iv dz iv e si 1 Therefore, ρ p 1 d p = d pρ p holds true for all p i uî vi p i uî vi p i ui p Corollary 33 Let E and ρ be in Propositions 31 or 32, coneρ is a free resolution of E as a left E e -module 4 Nakayama automorphisms In order to compute the Nakayama automorphism ν of trimmed or differential E or equivalently the cohomological group Ext n1 E e E,Ee, let us observe the differential d ρ n1 : coneρ n1 coneρ n By Corollary 33, we know Ext n1 E e E,Ee = H n1 Hom E econeρ,e e = E e /imd ρ n1 where d ρ n1 = Hom E edρ n1,ee is the dual of d ρ n1 The E-bimodule structure on E e /imd ρ n1 inherits from the multiplication on Ee from right, ie, e 1 x1 x 2 imd ρ n1 e 2 = x 1 e 2 e 1 x 2 imd ρ n1 On the other hand, Ext n1 E e E,Ee = E ν is proven in Theorem 22 Lemma 41 Let E be trimmed or differential whose Nakayama automorphism is ν For any a, f in E, νa = f if and only if a 1 1 f imd ρ n1 Proof We choose an automorphism θ: E e /imd ρ n1 Eν, and suppose θ 1 1 = y1 y 2 := y 1 y 2 imd ρ n1 and θ1 1 = k It follows that 1 = θ y1 y 2 = y 2 θ1 1 y 1 = y 2 kνy 1 = k y 2 νy 1 Necessarily, k k\{0}, and without loss of generality, we assume k = 1 Hence νa = f θ1 1 a = f θ1 1 θa 1 = θ1 f a 1 = 1 f a 1 1 f imd ρ n1 41 Trimmed case As free E e -modules, coneρ n1 and coneρ n are of rank 1 and n respectively By Proposition 31, d ρ n1 e 12n = ρ n e 12nd ne 12n = x 1 1 xj e 12n n 1 iσ dz i e 1în The differential is thus represented by the matrix multiplying from right i=1 M = x 1 1 xj, σ dz 1, σ dz 2,, 1 nσ dz n

7 NAKAYAMA AUTOMORPHISMS OF ORE EXTENSIONS 7 We then immediately have f 1 1 σ 1 f imd ρ n1 for all f R It follows from Lemma 41 that νf = σ 1 f, in accordance with Theorem 22 For νx, we write J = g 1 g 2 and recall that the Jacobian determinant J of σ satisfies J = µj = g 1 g 2 Hence By Lemma 41, νx = Jx x 1 1 xj = g 1 g 2 x 1 g 2 xσ 1 g 1 = 1 g 2 g 1 x = 1 Jx mod imd ρ n1 Remark 41 When σ is a graded algebra homomorphism, J is equal to the homological determinant hdetσ cf [7] Hence, the formula νx = Jx coincides with [18, Prop 315] 42 Differential case In this case, by Proposition 32, d ρ n1 e 12n = ρ ne 12n d n e 12n n = x 1 1 x u δ u e 12n and thus M = x 1 1 x u=1 n 1 i dz i e 1în, i=1 n u δ u, dz 1,dz 2,, 1 n dz n u=1 Similar with the trimmed case, we have νf = f for any polynomial f R, in accordance with Theorem 22 Since in the differential case δ = n i=1 δ i z i, we then have the vector field X δ = δ 1,δ 2,,δ n on the affine space A n k, and then X δ denotes the divergence of this vector field Theorem 42 Let E = R[x; δ] be a differential Ore extension The Nakayama automorphism ν of E is then given by ν R = id and νx = x X δ Proof It is sufficient to show the expression of νx given in the theorem is true In fact, let us write f 1 f 2 for n u=1 uδ u Then x 1 1 x f 1 f 2 = 1 x df 1 1 f 2 1 f 1 f 2 n 1 x 1 µ u δ u = 1 x u=1 n u=1 δ u z u = 1 x X δ mod imd ρ n1 Corollary 43 Let E = R[x;σ,δ] be an Ore extension Then E is Calabi Yau if and only if σ = id and X δ = 0 Proof The necessity follows from Theorem 22, and the sufficiency from Theorem 42

8 8 LIYU LIU AND WEN MA 43 Non-differential case We are going to compute the Nakayama automorphism of E = R[x;σ,δ] with σ id First of all, let us present a lemma about σ-derivations Lemma 44 Let σ id and δ be a σ-derivation Then there is a unique κ in the quotient field R q of R such that δh = κσh h for all h R Proof Since R is commutative, by applying the Leibniz s rule to δfg and δgf, we have δfσg g = δgσf f for all f, g R Choose any f such that σf f If δf = 0, then δ = 0, and we hence obtain κ = 0 If δf 0, then δg 0 if and only if σg g So the quotient δf/σf f is independent of the choice of f, which is the desired κ Notice that the automorphism σ on R extends to R q naturally, we write σ q AutR q for the extension Theorem 45 Let E = R[x;σ,δ] be an Ore extension with σ id, and κ as in Lemma 44 Then the Nakayama automorphism ν of E is given by ν R = σ 1 and 41 νx = JxJκ σ 1 q κ Proof We have proven the theorem in 41 for δ = 0 When δ 0, we know that νx = Jx b for an undetermined b R by Theorem 22 Let f R be such that σf f We then apply ν to the relation xf = σfxδf, obtaining that Jx bσ 1 f = fjx b σ 1 δf, or equivalently, Jδσ 1 f bσ 1 f = fbσ 1 δf Hence b = J δσ 1 f f σ 1 f σ 1 δf f σ 1 f δf = Jκ σq 1 σf f = Jκ σ 1 q κ, and it follows that νx = JxJκ σ 1 q κ, as desired Remark 42 As a consequence, we have σ r qκ J r κ mod R for all integers r This equation is trivial if κ R, however, this is not obvious if κ / R The authors have not yet found a proof of it without using Nakayama automorphism Corollary 46 The orders of σ and of ν are equal Proof Denote by oα the order of an automorphism α Then oσ oν since ν R = σ 1 For oσ oν, we may assume oσ is finite, say m It follows from 41 that ν r x = J r xj r κ σ r κ for all integers r Hence ν m x = x, forcing oν m, as required 5 Invariants under Nakayama automorphisms In the present section, we suppose σ id, and let κ be as in Lemma 44 Let G be a cyclic group of order equal to that of σ, then by Corollary 46, we have G-actions on R and on E naturally Our goal is to study the invariant E G = {a E νa = a} For the purpose, let us construct a subsidiary Ore extension as follows Since σ q is an automorphism on R q, we define δ q : R q R q by δ q c = κσ q c c for all c R q It is evident

9 NAKAYAMA AUTOMORPHISMS OF ORE EXTENSIONS 9 to check that δ q is a σ q -derivation and δ q R = δ So we have an Ore extension E q = R q [x;σ q,δ q ] that contains E as a subalgebra The group G acts on E q via ν q where ν q AutE q is the unique extension of ν We will determine E G q Let S r sa 1,a 2,,a s be the elementary symmetric polynomial of degree r in variables a 1,a 2,,a s, where 1 r s We adopt S 0 s a 1,a 2,,a s = 1 Lemma 51 For all r N, xκ r = r S r i r κ,σ q κ,,σ r 1 q κx i Proof Let us prove it by induction on r When r = 0, this is clearly true Now let r 1 and assume that the lemma holds true for r 1 We then have r 1 xκ r = xκ S r 1 i r 1 = σ q S r 1 i r 1 r 1 κ,σ q κ,,σq r 2 κx i r 1 κ,σ q κ,,σq r 2 κ x i1 δ q S r 1 i r 1 κ,σ q κ,,σq r 2 κ r 1 κs r 1 i r 1 κ,σ q κ,,σq r 2 κx i r 1 = S r 1 i r 1 σ q κ,σqκ,,σ 2 q r 1 κx i1 = = r 1 r i=1 S r i κσ q S r 1 i x i r 1 κ,σ q κ,,σq r 2 κ r 1 σ qκ,σq 2 κ,,σr 1 q κx i r 1 κs r 1 i r namely, the lemma also holds true for r r 1 σ q κ,σq 2 κ,,σr 1 q κx i S r i r κ,σ q κ,,σ r 1 q κx i, ByvirtueofLemma51, anyelementofe q canbeuniquelyexpressedas i g ix κ i for some g i R q Since 41 can be rewritten as ν q x κ = Jx κ, it is easy to verify that i g ixκ i Eq G if and only if σ q g i = J i g i for all i For the sake of convenience, for any endomorphism α on a vector space V and any λ k, denote Λ α λ V = {v V αv = λv} We obtain Lemma 52 For an element c := i g ix κ i in E q, c Eq G if and only if g i Λ σq J R i q for all i Moreover, Eq G is an N-graded algebra with EG q 0 = Rq G Proof It is sufficient to prove the last assertion We have E G q = i N Λ σq J i R q xκ i as vector spaces For any f Λ σq J i R q and g Λ σq J j R q, fxκ i gxκ j = fσ i gxκ ij x i

10 10 LIYU LIU AND WEN MA So E G q is graded by the fact σ fσ i g = J i fσ i J j g = J ij fσ i g The equality E G q 0 = R G q is obvious In order to study equivalence between categories of graded modules over graded algebras, JJ Zhang introduced a notion of twist algebra [17] This notion is called Zhang s twist nowadays Here, we are not going to repeat the original definition of Zhang s twist Instead, we will introduce a special kind of Zhang s twist which is related with Eq G Let A be an N-graded algebra and τ a graded automorphism Define a new multiplication τ on A by a τ b = aτ dega b for all homogeneous a, b Then τ, which turns out to be associative and preserve the grading, makes A into a new graded algebra The new algebra is called Zhang s twist of A We write twa,τ for it The external direct sum i N Λσq J R i q is a graded algebravia the multiplication on R q, and we denote it by R q Since σ q Λ σq J R i q = Λ σq J R i q, σ q induces a graded automorphism on R q The graded automorphism is denoted by σ q By the proof of Lemma 52, we have Eq G = tw R q, σ q Next let us pay attention to E G as well as relations with Eq G In a similar procedure, we obtain a graded algebra R as well as a graded automorphism σ induced by σ The situation κ R is very easy because E G is a graded subalgebra of Eq G From Lemma 52, we conclude Proposition 53 Suppose that κ R The invariant E G is a graded subalgebra of E G q, more precisely, E G = i Λσ J i Rxκ i with E G 0 = R G Equivalently, E G = tw R, σ The situation κ / R is subtle It is possible that E G is still a graded subalgebra of E G q or not We give the following example to indicate the possibility Example 51 Let R = k[z 1,z 2 ] and q k \ {0,1} Define σ by σz 1 = qz 1, σz 2 = z 2, and define δ by δz 1 = q 1, δz 2 = 0 Then κ = z1 1 / R and J = q 1 If q is not a root of unity, then Λ σ J R is spanned by monomials z1z i j i 2 for all j N So Λ σ J Rxκ i E G E G i q i, namely, E G is a graded subalgebra of E G q Moreover, EG = tw R, σ 2 Ifq isaprimitive rth rootofunity, then x r E G However,if weexpressx r asthe form i g ixκ i, then g r = 1 Λ σ J rr The fact that xκr / E forces E G not to be a graded subalgebra of E G q Although E G is not a graded subalgebra of Eq G in general, it admits a filtration from the latter In fact, since E G Eq G, we equip E G with a filtration by F i E G = E G Eq G i It follows that the associated graded algebra gre G is a graded subalgebra of Eq G = tw R q, σ q Furthermore, for any c = i j=0 g jxκ j F i E G, we haveg i Λ σ J R As a consequence, gre G is isomorphicto a graded subalgebra i of tw R, σ The fact is illustrated schematically: gre G E G q j tw R, σ = tw R q, σ q where the map j is injective It is natural to ask: Is j bijective? Or equivalently, do we have gre G = tw R, σ? The following example gives a negative answer to it

11 NAKAYAMA AUTOMORPHISMS OF ORE EXTENSIONS 11 Example 52 Let R = k[z 1,z 2 ] and chark = 0 Define σ by σz 1 = z 1 z 2, σz 2 = z 2, and define δ by δz 1 = z 1, δz 2 = 0 Then κ = z 1 z2 1 and J = 1 For all i N, tw R, σ i = Λ σ 1 R = k[z 2] We claim that 1 tw R, σ 1 does not belong to imj In fact, if yes, there would be ϕ Eq G 0 such that xz 1 z2 1 ϕ E But this is impossible because Eq G 0 = Rq G = kz 2 Finally, let us close this section by a theorem showing when the isomorphism gre G = tw R, σ holds Theorem 54 Let R, E, ν be as above Then 1 gre G is isomorphic to a graded subalgebra of tw R, σ, 2 gre G is isomorphic to tw R, σ if either νx = Jx or σ is of finite order r with chark r Proof Assertion 1 has been proven before Let us prove assertion 2 now The first case: νx = Jx For any homogeneous g i tw R, σ i, we have g i Λ σ J i R It follows that g i x i E G and g i x i = g i xκ i lower terms F i E G, and we have gre G = tw R, σ Thesecondcase: σ isoffinite orderr with chark r In this case, σ is semisimple ie, diagonalizable Choose any rth primitive root ζ of unity, and hence we have R = j Z/rZ Λσ ζ j R For the same reason, E = j Z/rZ Λν ζ j E Clearly, J = ζ s for a unique s Z/rZ For any homogeneous g i tw R, σ i, we decompose g i x i as j Z/rZ p j with p j Λ ν ζ j E All p j s are expressed as polynomials in x with coefficients in R Denote by l the highest degree of these polynomials Namely, p j = f l,j x l f l 1,j x l 1 f 0,j with f, R and at least one f l,j 0 Obviously, l i Since p j Λ ν ζ j E, and νp j = J l νf l,j x l lower terms, ζ j p j = ζ j f l,j x l lower terms, we have J l νf l,j = ζ j f l,j It follows that σf l,j = ζ ls j f l,j, ie, f l,j Λ σ ζ ls j R If l > i, then 0 = j f l,j j Z/rZ Λσ ζ ls j R = j Z/rZ Λσ ζ j R Thus all f l,j s are equal to zero, a contradiction So l = i, and together with the fact g i Λ σ is R, we conclude that f i,0 = g i and f i,j = 0 for all 1 j r Therefore, p 0 = f i,0 x i f i 1,0 x i 1 f 0,0 = g i xκ i lower terms which belongs to F i E G Consequently, we have gre G = tw R, σ Acknowledgments The authors acknowledge the supports of the Natural Science Foundation of China No and No L L would like to thank Can Zhu for giving a talk based on his joint paper [18] with F Van Oystaeyen and Y Zhang References [1] J Bell and JJ Zhang, Zariski cancellation problem for noncommutative algebras, Selecta Math NS , [2] K Brown and P Gilmartin, Quantum homogeneous spaces of connected Hopf algebras, J Algebra , [3] KA Brown and JJ Zhang, Dualising complexes and twisted Hochschild cohomology for Noetherian Hopf algebras, J Algebra , [4] V Ginzburg, Calabi-Yau algebras, preprint, arxiv:math/ , 2006 [5] J Goodman and U Krähmer, Untwisting a twisted Calabi-Yau algebra, J Algebra ,

12 12 LIYU LIU AND WEN MA [6] J-W He, F Van Oystaeyen, and Y Zhang, Skew polynomial algebras with coefficients in Koszul Artin-Schelter Gorenstein algebras, J Algebra , [7] P Jørgensen and JJ Zhang, Gourmet s guide to Gorensteinness, Adv Math , [8] U Krähmer, On the Hochschild cohomology of quantum homogeneous spaces, Israel J Math , [9] L Liu, S Wang, and Q Wu, Twisted Calabi-Yau property of Ore extensions, J Noncommut Geom , [10] J-F Lü, X-F Mao, and JJ Zhang, Nakayama automorphism and applications, Tran Amer Math Soc , [11] J-F Lü, X-F Mao, and JJ Zhang, Nakayama automorphisms of a class of graded algebras, Israel J Math , [12] JC McConnell and JC Robson, Noncommutative noetherian rings, John Wiley & Sons Ltd, Chichester, 1987 [13] M Reyes, D Rogalski, and JJ Zhang, Skew Calabi-Yau algebras and homological identities, Adv Math , [14] Y Shen and D Lu, Nakayama automorphisms of PBW deformations and Hopf actions, Sci China Math , [15] A Yekutieli, Dualizing complexes over noncommutative graded algebras, J Algebra , [16], The rigid dualizing complex of a universal enveloping algebra, J Pure Appl Algebra , [17] JJ Zhang, Twisted graded algebras and equivalences of graded categories, Proc London Math Soc , [18] C Zhu, F Van Oystaeyen, and Y Zhang, Nakayama automorphisms of double Ore extensions of Koszul regular algebras, Manuscripta Math , School of Mathematical Science, Yangzhou University, No 180 Siwangting Road, Yangzhou, Jiangsu, China address: lyliu@yzueducn School of Mathematical Science, Yangzhou University, No 180 Siwangting Road, Yangzhou, Jiangsu, China address: @qqcom