Lanne's T-functor and Hypersurfaces

Through discussing the transformation of the invariant ideals, we firstly prove that the T-functor can only decrease the embedding dimension in the category of unstable algebras over the Steenrod algebra. As a corollary we obtain that the T-functor preserves the hypersurfaces in the category of unstable algebras. Then with the applications of these results to invariant theory, we provide an alternative proof that if the invariant of a finite group is a hypersurface, then so are its stabilizer subgroups. Moreover, by several counter-examples we demonstrate that if the invariants of the stabilizer subgroups or Sylow p-subgroups are hypersurfaces, the invariant of the group itself is not necessarily a hypersurface.     

Division of the Dickson algebra by the Steinberg unstable module

We compute the division of the Dickson algebra by the Steinberg unstable module in the category of unstable modules over the mod-2 Steenrod algebra.     

T-函子与超曲面

本文通过讨论\textbf{T}-函子在不变理想上的作用,首先证明了\textbf{T}-函子在不稳定代数范畴中只能降低嵌入维数,并推导出\textbf{T}-functor在不稳定代数范畴中保持超曲面的结论. 把上面结果应用到不变式理论,我们用新方法证明了下面的结论:当一个有限群的不变式为超曲面时,它稳定子群的不变式仍然是超曲面. 最后文章通过几个反例指出当一个群的稳定子群或者Sylow $p$-子群的不变式为超曲面时,该群本身的不变式不一定是超曲面.     

Module structures and the derived functors of iterated loop functors on unstable modules over the Steenrod algebra

The calculation of the iterated loop functors and their left derived functors on the category of unstable modules over the Steenrod algebra is a non-trivial problem; Singer constructed an explicit and functorial chain complex to calculate these functors. The results of Singer are analysed to give information on the behaviour of these functors with respect to the nilpotent filtration of the category of unstable modules.We show that, if an unstable module M supports an action of an unstable algebra K, then the derived functors of the iterated loop functors applied to M support actions of iterated doubles of K. This allows the finiteness results of Henn on unstable modules which support actions of unstable algebras to be applied to deduce structural results on the derived functors of iterated loops on such modules.     

Adem-Cartan Operads

In this article, we introduce Adem-Cartan operads and prove that the cohomology of any algebra over such an operad is an unstable level algebra over the extended Steenrod algebra. Moreover, we prove that this cohomology is endowed with secondary cohomology operations.     

On Ext-Transfer for Algebraic Groups

This paper builds upon the work of Cline and Donkin to describe explicit equivalences between some categories associated to the category of rational modules for a reductive group G and categories associated to the category of rational modules for a Levi subgroup H. As an application, we establish an Ext-transfer result from rational G-modules to rational H-modules. In case G = GL_n, these results can be illustrated in terms of classical Schur algebras. In that case, we establish another category equivalence, this time between the module category for a Schur algebra and the module category for a union of blocks for a natural quotient of a larger Schur algebra. This category equivalence provides a further Ext-transfer theorem from the original Schur algebra to the larger Schur algebra. This result extends to the category level the decomposition number method of Erdmann. Finally, we indicate (largely without proof) some natural variations to situations involving quantum groups and q-Schur algebras.     

Derived dynkin extensions

The finite dimensional tame hereditary algebras are associated with the extended Dynkin diagrams. An indecomposable module over such an algebra is either preprojective or preinjective or lies in a family of tubes whose tubular type is the corresponding Dynkin diagram. The study of one-point extensions by simple regular modules in such tubes was initiated in [Ri].

We generalise this approach by starting out with algebras which are derived equivalent to a tame hereditary algebra and considering one-point extensions by modules which are simple regular in tubes in the derived category. If the obtained tubular type is again a Dynkin diagram these algebras are called derived Dynkin extensions.

Our main theorem says that a representation infinite algebra is derived equivalent to a tame hereditary algebra iff it is an iterated derived Dynkin extension of a tame concealed algebra. As application we get a new proof of a theorem in [AS] about domestic tubular branch enlargements which uses the derived category instead of combinatorial arguments.     

On the action of the Iwahori–Hecke algebra on modular invariants

We compute the action of the modular Iwahori–Hecke algebra on the ring of invariants of the mod p cohomology of elementary p-groups under Borel subgroup of the general linear group. Applications include a direct proof of the structure of the universal Steenrod algebra and a new proof of a key result on the structure of the Takayasu modules.     

On the cohomology of highly connected covers of finite Hopf spaces

Relying on the computation of the André-Quillen homology groups for unstable Hopf algebras, we prove that if the mod p cohomology of both the fiber and the base in an H-fibration is finitely generated as algebra over the Steenrod algebra, then so is the mod p cohomology of the total space. In particular, the mod p cohomology of the n-connected cover of a finite H-space is always finitely generated as algebra over the Steenrod algebra.     

Hopf modules and the double of a quasi-Hopf algebra

We give a different proof for a structure theorem of Hausser and Nill on Hopf modules over quasi-Hopf algebras. We extend the structure theorem to a classification of two-sided two-cosided Hopf modules by Yetter-Drinfeld modules, which can be defined in two rather different manners for the quasi-Hopf case. The category equivalence between Hopf modules and Yetter-Drinfeld modules leads to a new construction of the Drinfeld double of a quasi-Hopf algebra, as proposed by Majid and constructed by Hausser and Nill.

     

Growth of graded noetherian rings

We show that every graded locally finite right noetherian algebra has sub-exponential growth. As a consequence, every noetherian algebra with exponential growth has no finite dimensional filtration which leads to a right (or left) noetherian associated graded algebra. We also prove that every connected graded right noetherian algebra with finite global dimension has finite GK-dimension. Using this, we can classify all connected graded noetherian algebras of global dimension two.

     

On the Left Perpendicular Category of the Modules of Finite Projective Dimension

In this article, we characterize several properties of commutative noetherian local rings in terms of the left perpendicular category of the category of finitely generated modules of finite projective dimension. As an application, we prove that a local ring is regular if (and only if) there exists a strong test module for projectivity having finite projective dimension. We also obtain corresponding results with respect to a semidualizing module.     

A semi-abelian extension of a theorem by Takeuchi

We prove that the category of cocommutative Hopf algebras over a field is a semi-abelian category. This result extends a previous special case of it, based on the Milnor–Moore theorem, where the field was assumed to have zero characteristic. Takeuchi's theorem asserting that the category of commutative and cocommutative Hopf algebras over a field is abelian immediately follows from this new observation. We also prove that the category of cocommutative Hopf algebras over a field is action representable. We make some new observations concerning the categorical commutator of normal Hopf subalgebras, and this leads to the proof that two definitions of crossed modules of cocommutative Hopf algebras are equivalent in this context.     

Characterizing When the Category of Gorenstein Projective Modules is an Abelian Category

We find sufficient and necessary conditions for the category of Gorenstein projective modules of an artin algebra being an abelian category, and give another proof for the Auslander–Solberg correspondence which demonstrates the concrete form of the category of Gorenstein projective modules. Then we find a characterization for this category of Gorenstein projective modules. At last we give an example of this correspondence.     

Naïve noncommutative blowups at zero-dimensional schemes

In an earlier paper [D.S. Keeler, D. Rogalski, J.T. Stafford, Naïve noncommutative blowing up, Duke Math. J. 126 (2005) 491–546, MR 2120116], we defined and investigated the properties of the naïve blowup of an integral projective scheme X at a single closed point. In this paper we extend those results to the case when one naïvely blows up X at any suitably generic zero-dimensional subscheme Z. The resulting algebra A has a number of curious properties; for example it is noetherian but never strongly noetherian and the point modules are never parametrized by a projective scheme. This is despite the fact that the category of torsion modules in qgr-A is equivalent to the category of torsion coherent sheaves over X. These results are used in the companion paper [D. Rogalski, J.T. Stafford, A class of noncommutative projective surfaces, in press] to prove that a large class of noncommutative surfaces can be written as naïve blowups.     

Stable Projective Homotopy Theory of Modules,Tails, and Koszul Duality

A contravariant functor is constructed from the stable projective homotopy theory of finitely generated graded modules over a finite-dimensional algebra to the derived category of its Yoneda algebra modulo finite complexes of modules of finite length. If the algebra is Koszul with a noetherian Yoneda algebra, then the constructed functor is a duality between triangulated categories. If the algebra is self-injective, then stable homotopy theory specializes trivially to stable module theory. In particular, for an exterior algebra the constructed duality specializes to (a contravariant analog of) the Bernstein–Gelfand–Gelfand correspondence.     

(Quasi-)Poisson enveloping algebras

We introduce the quasi-Poisson enveloping algebra and Poisson enveloping algebra for a non-commutative Poisson algebra. We prove that for a non-commutative Poisson algebra, the category of quasi-Poisson modules is equivalent to the category of left modules over its quasi-Poisson enveloping algebra, and the category of Poisson modules is equivalent to the category of left modules over its Poisson enveloping algebra.     

Totally acyclic complexes over noetherian schemes

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves on a semi-separated noetherian scheme, and study these complexes using the pure derived category of flat quasi-coherent sheaves. We prove that a scheme is Gorenstein if and only if every acyclic complex of flat quasi-coherent sheaves is totally acyclic. Our formalism also removes the need for a dualising complex in several known results for rings, including Jørgensen's proof of the existence of Gorenstein projective precovers.     

Wakimoto modules, opers and the center at the critical level

Wakimoto modules are representations of affine Kac-Moody algebras in Fock modules over infinite-dimensional Heisenberg algebras. In this paper, we present the construction of the Wakimoto modules from the point of view of the vertex algebra theory. We then use Wakimoto modules to identify the center of the completed universal enveloping algebra of an affine Kac-Moody algebra at the critical level with the algebra of functions on the space of opers for the Langlands dual group on the punctured disc, giving another proof of the theorem of B. Feigin and the author.     

Projective modules and Hilbert spaces with a Nevanlinna-Pick kernel

In this paper we solve a mapping problem for a particular class of Hilbert modules over an algebra multipliers of a diagonal Nevanlinna-Pick (NP) kernel. In this case, the regular representation provides a multiplier norm which induces the topology on the algebra. In particular, we show that, in an appropriate category, a certain class of Hilbert modules are projective. In addition, we establish a commutant lifting theorem for diagonal NP kernels.