Gorenstein代数上的Hopf代数作用

令H是有限维Hopf代数，A是左H-模代数。本文证明了A是Gorenstein代数的充分必要条件。A^H也是Gorenstein代数的条件。它是Enochs EE,GarciaJJ和del RioA关于群作用相应的理论的推广，同时给出A/A^H是Frobenius扩张的条件。     

Special simplices and Gorenstein toric rings

Athanasiadis [Ehrhart polynomials, simplicial polytopes, magic squares and a conjecture of Stanley, J. Reine Angew. Math., to appear.] studies an effective technique to show that Gorenstein sequences coming from compressed polytopes are unimodal. In the present paper we will use such the technique to find a rich class of Gorenstein toric rings with unimodal h-vectors arising from finite graphs.     

On the Decomposition of Hopf Module Coalgebra

In1969,Sweedler[1]giventhedecompositiontheoreyofcoalgebraswhicharecocommu-tative.In1975,Kaplansky[2]showedthatanycoalgebracanbeuniquelydecomposedintoadirectsumofitsindecomposablesubcoalgebras.From1978to1992,Shudo[3]andXu[4]consructuredtheindecomposabledirectsumcomponentsofacoalggebra,viadefineequivalenceralationforthesetofsimplesubcoalgebras.Asweknow,themodolecoalgebraisthennaturalgeneralizationofcoalgebra.AndittakesplayanimportentroleintheDrinfelddouble.Inthispaper,wediscussthedecompositio…     

Gorenstein AC亏范畴*

作者定义了Gorenstein AC导出范畴 D^b_gac(R)并且和导出范畴作了一些比较.作者定义了Gorenstein AC奇点范畴 D^b_gacsg(R),在这个范畴中具有有限Gorenstein AC- 投射维数的模都是零对象.同时, 作者给出了由Gorenstein AC- 投射模构成的稳定范畴到奇点范畴的三角嵌入 F : GAC → D^b_sg(R) .通过作函子 F 的商引入Gorenstein AC亏范畴 D^b_gacd(R),并且给出三角等价 D^b_gacd(R) = D^b_gacsg(R)     

The antipode of a quasitriangular quasi-Turaev group coalgebra is bijective

In order to construct a class of new Turaev-braided group category with nontrivial associativity, the concept of a quasitriangular quasi-Turaev group coalgebras was recently introduced. Inside the definition, the conditions of invertibility of the R-matrix R and bijectivity of the antipode S are required. In this article, we prove that the antipode of a quasitriangular quasi-Turaev group coalgebra without the assumptions about invertibility of the antipode and R-matrix is inner, and a fortiori, bijective. As an application, we prove that for a quasitriangular quasi-Turaev group coalgebra, two conditions mentioned above are unnecessary.     

Gorenstein平坦模与Frobenius扩张

设R■A是环的Frobenius扩张,其中A是右凝聚环,M是任意左A-模.首先证明了_AM是Gorenstein平坦模当且仅当M作为左R-模也是Gorenstein平坦模.其次,证明了Nakayama和Tsuzuku关于平坦维数沿着Frobenius扩张的传递性定理的"Gorenstein版本":若_AM具有有限Gorenstein平坦维数,则Gfd_A(M)=Gfd_R(M).此外,证明了若R■S是可分Frobenius扩张,则任意A-模(不一定具有有限Gorenstein平坦维数),其Gorenstein平坦维数沿着该环扩张是不变的.     

Constructing the Co cyclic Structures for Crossed Copro duct Coalgebras

In this paper, we construct a cocylindrical object associated to two coal-gebras and a cotwisted map. It is shown that there exists an isomorphism between the cocyclic object of the crossed coproduct c...     

Normal cones of monomial primes

We explicitly calculate the normal cones of all monomial primes which define the curves of the form , where . All of these normal cones are reduced and Cohen-Macaulay, and their reduction numbers are independent of the reduction. These monomial primes are new examples of integrally closed ideals for which the product with the maximal homogeneous ideal is also integrally closed.

Substantial use was made of the computer algebra packages Maple and Macaulay2.

     

Good ideals in Gorenstein local rings

Let be an -primary ideal in a Gorenstein local ring (, ) with , and assume that contains a parameter ideal in as a reduction. We say that is a good ideal in if is a Gorenstein ring with . The associated graded ring of is a Gorenstein ring with if and only if . Hence good ideals in our sense are good ones next to the parameter ideals in . A basic theory of good ideals is developed in this paper. We have that is a good ideal in if and only if and . First a criterion for finite-dimensional Gorenstein graded algebras over fields to have nonempty sets of good ideals will be given. Second in the case where we will give a correspondence theorem between the set and the set of certain overrings of . A characterization of good ideals in the case where will be given in terms of the goodness in their powers. Thanks to Kato's Riemann-Roch theorem, we are able to classify the good ideals in two-dimensional Gorenstein rational local rings. As a conclusion we will show that the structure of the set of good ideals in heavily depends on . The set may be empty if , while is necessarily infinite if and contains a field. To analyze this phenomenon we shall explore monomial good ideals in the polynomial ring in three variables over a field . Examples are given to illustrate the theorems.