Noetherian PI Hopf algebras are Gorenstein

We prove that every noetherian affine PI Hopf algebra has finite injective dimension, which answers a question of Brown (1998).

     

Relations Between Algebras and Their Subalgebras of Invariants

We prove that, if H is a finite-dimensional semisimple Hopf algebra, and A is an FCR H-module algebra over an algebraically closed field, then A is a PI-algebra, provided the subalgebra of invariants is a PI-algebra. We also show that if A is an affine algebra with an action of a finite group G by automorphisms, the subalgebra of the fixed points A^G is in the center of A, and the characteristic of the ground field is either zero or relatively prime to the order of G, then A^G is affine. Analogous results are proved for graded algebras and H-module algebras over a semisimple triangular Hopf algebra over a field of characteristic zero. We prove also that, if A is an H-module algebra with an identity element, and H is either a semisimple group algebra or its dual, then, if A is semiprimitive (semiprime), then so is A^H.     

Parafermion vertex operator algebras

This paper reviews some recent results on the parafermion vertex operator algebra associated to the integrable highest weight module L(k, 0) of positive integer level k for any affine Kac-Moody Lie algebra ĝ, where g is a finite dimensional simple Lie algebra. In particular, the generators and the C ₂-cofiniteness of the parafermion vertex operator algebras are discussed. A proof of the well-known fact that the parafermion vertex operator algebra can be realized as the commutant of a lattice vertex operator algebra in L(k, 0) is also given.     

Graded level zero integrable representations of affine Lie algebras

We study the structure of the category of integrable level zero representations with finite dimensional weight spaces of affine Lie algebras. We show that this category possesses a weaker version of the finite length property, namely that an indecomposable object has finitely many simple constituents which are non-trivial as modules over the corresponding loop algebra. Moreover, any object in this category is a direct sum of indecomposables only finitely many of which are non-trivial. We obtain a parametrization of blocks in this category.

     

关于topos中的内蕴Heyting代数对象(英文)

本文研究了在一般topos中内蕴Heyting代数对象的性质.利用范畴的态射及伴随的方法,获得了内蕴Heyting代数对象为内蕴分配格结果,推广了集合范畴中的对应结果.     

The Injective Leavitt Complex

For a finite quiver Q without sinks, we consider the corresponding finite dimensional algebra A with radical square zero. We construct an explicit compact generator for the homotopy category of acyclic complexes of injective A-modules. We call such a generator the injective Leavitt complex of Q. This terminology is justified by the following result: the differential graded endomorphism algebra of the injective Leavitt complex of Q is quasi-isomorphic to the Leavitt path algebra of Q. Here, the Leavitt path algebra is naturally \(\mathbb {Z}\)-graded and viewed as a differential graded algebra with trivial differential.     

Categories of exact sequences with projective middle terms

Let A be a finite-dimensional algebra over an algebraically closed field k,E the category of all exact sequences in A-mod,MP(respectively,MI)the full subcategory of E consisting of those objects with projective(respectively,injective)middle terms.It is proved that MP(respectively,MI)is contravariantly finite(respectively,covariantly finite)in E.As an application,it is shown that MP=MI is functorially finite and has Auslander-Reiten sequences provided A is selfinjective.     

Filtrations and completions of certain positive level modules of affine algebras

We define a filtration indexed by the integers on the tensor product of a simple highest weight module and a loop module for a quantum affine algebra. We prove that such a filtration is either trivial or strictly decreasing and give sufficient conditions for this to happen. In the first case we prove that the tensor product is simple and in the second case we prove that the intersection of all the modules in the filtration is zero, thus allowing us to define the completed tensor product. In certain special cases, we identify the subsequent quotients of filtration.     

Superized Troesch complexes and cohomology for strict polynomial superfunctors

We adapt a construction due to Troesch to the category of strict polynomial superfunctors in order to construct complexes of injective objects whose cohomology is isomorphic to Frobenius twists of the (super)symmetric power functors. We apply these complexes to construct injective resolutions of the even and odd Frobenius twist functors, to investigate the structure of the Yoneda algebra of the Frobenius twist functor, and to compute other extension groups between strict polynomial superfunctors. By an equivalence of categories, this also provides cohomology calculations in the category of left modules over Schur superalgebras.     

Pseudo-Frobenius Graded Algebras with Enough Idempotents

We introduce and study the notion of pseudo-Frobenius graded algebra with enough idempotents, showing that it follows the pattern of the classical concept of pseudo-Frobenius (PF) and quasi-Frobenius (QF) ring, in particular finite dimensional self-injective algebras, as studied by Nakayama, Morita, Faith, Tachikawa, etc. We show that such an algebra is characterized by the existence of a graded Nakayama form. Moreover, we prove that the pseudo-Frobenius property is preserved and reflected by covering functors, a fact which makes the concept useful in representation theory.     

Graded lie algebras of depth one

To each simply connected topological space is associated a graded Lie algebra; the rational homotopy Lie algebra. The Avramov-Felix conjecture says that for a space of finite Ljusternik-Schnirelmann category this Lie algebra contains a free Lie subalgebra on two generators. We prove the conjecture in the case when the Lie algebra has depth one.     

A Note on Generic Objects and Locally Finite Triangulated Categories

For a finite dimensional algebra A, we prove that the homotopy category of injective A-modules is generically trivial if and only if the derived category of all A-modules is generically trivial. Moreover we show some connections between the generic objects, locally finiteness and Krull-Gabriel dimension.     

One-Point Extensions of t-Koszul Algebras

We introduce the category of t-fold modules which is a full subcategory of graded modules over a graded algebra. We show that this subcategory and hence the subcategory of t-Koszul modules are both closed under extensions and cokernels of monomorphisms. We study the one-point extension algebras, and a necessary and sufficient condition for such an algebra to be t-Koszul is given. We also consider the conditions such that the category of t-Koszul modules and the category of quadratic modules coincide.     

Right coideal subalgebras of Nichols algebras and the Duflo order on the Weyl groupoid

We study graded right coideal subalgebras of Nichols algebras of semisimple Yetter-Drinfeld modules. Assuming that the Yetter-Drinfeld module admits all reflections and the Nichols algebra is decomposable, we construct an injective order preserving and order reflecting map between morphisms of the Weyl groupoid and graded right coideal subalgebras of the Nichols algebra. Here morphisms are ordered with respect to right Duflo order and right coideal subalgebras are ordered with respect to inclusion. If the Weyl groupoid is finite, then we prove that the Nichols algebra is decomposable and the above map is bijective. In the special case of the Borel part of quantized enveloping algebras our result implies a conjecture of Kharchenko.     

Abstract Hilbert Schemes

In analogy with classical projective algebraic geometry, Hilbert functors can be defined for objects in any Abelian category. We study the moduli problem for such objects. Using Grothendieck's general framework. We show that with suitable hypotheses the Hilbert functor is representable by an algebraic space locally of finite type over the base field. For the category of the graded modules over a strongly Noetherian graded ring, the Hilbert functor of graded modules with a fixed Hilbert series is represented by a commutative projective scheme. For the projective scheme corresponding to a suitable noncommutative graded algebra, the Hilbert functor is represented by a countable union of commutative projective schemes.     

Traces on infinite-dimensional brauer algebras

We prove a theorem describing central measures for random walks on graded graphs. Using this theorem, we obtain the list of all finite traces on three infinite-dimensional algebras, namely, on the Brauer algebra, the walled Brauer algebra, and the partition algebra. The main result is that these lists coincide with the list of traces of the symmetric group or (for the walled Brauer algebra) of the square of the symmetric group.     

Gr?bner–Shirshov Basis of Derived Hall Algebra of Type A_n

We know that in Ringel–Hall algebra of Dynkin type, the set of all skew commutator relations between the iso-classes of indecomposable modules forms a minimal Gr?bner–Shirshov basis,and the corresponding irreducible elements forms a PBW type basis of the Ringel–Hall algebra. We aim to generalize this result to the derived Hall algebra DH(A_n) of type A_n. First, we compute all skew commutator relations between the iso-classes of indecomposable objects in the bounded derived category D~b(A_n) using the Auslander–Reiten quiver of D~b(A_n), and then we prove that all possible compositions between these skew commutator relations are trivial. As an application, we give a PBW type basis of DH(A_n).     

半量子群u~(≥0)

设u~(≥0)表示一个固定单李代数的半量子群,给出了u~(≥0)的性质和表示.证明了Hopf代数u~(≥0)不是拟余交换的,因此左u~(≥0)-模范畴不是辫子monoidal范畴.在权模范畴W中,给出了所有单对象和投射对象.最后描述了所有单的Yetter-Drinfel'd u~(≥0)-权模.