On adjunction contexts and regular quasi-monads

The unit element of a ring A plays an important part in classical module theory. Its existence is equivalent to the adjointness of the free functor from the base category of abelian groups to the category of (unital) A-modules with the forgetful functor. Releasing the conditions on the “unit,” the relation between the free functor and the forgetful functor will also be changed. In this paper, we suggest how this situation may be handled.     

Derived categories of graded gentle one-cycle algebras

Let A be a graded algebra. It is shown that the derived category of dg modules over A (viewed as a dg algebra with trivial differential) is a triangulated hull of a certain orbit category of the derived category of graded A-modules. This is applied to study derived categories of graded gentle one-cycle algebras.     

The Structure of Corings: Induction Functors, Maschke-Type Theorem, and Frobenius and Galois-Type Properties

Given a ring A and an A-coring C, we study when the forgetful functor from the category of right C-comodules to the category of right A-modules and its right adjoint – _A C are separable. We then proceed to study when the induction functor – _A C is also the left adjoint of the forgetful functor. This question is closely related to the problem when A _A Hom(C,A) is a Frobenius extension. We introduce the notion of a Galois coring and analyse when the tensor functor over the subring of A fixed under the coaction of C is an equivalence. We also comment on possible dualisation of the notion of a coring.     

Cone Length for DG Modules and Global Dimension of DG Algebras

As the definition of free class of differential modules over a commutative ring in [1 Avramov , L. L. , Buchweitz , R.-O. , Iyengar , S. ( 2007 ). Class and rank of differential modules . Invent. Math. 169 : 1 – 35 .[Crossref], [Web of Science ®] , [Google Scholar]], we define DG free class for semifree DG modules over an Adams connected DG algebra A. For any DG A-modules M, we define its cone length as the least DG free classes of all semifree resolutions of M. The cone length of a DG A-module plays a similar role as projective dimension of a module over a ring does in homological ring theory. The left (resp., right) global dimension of an Adams connected DG algebra A is defined as the supremum of the set of cone lengths of all DG A-modules (resp., A ^op -modules). It is proved that the definition is a generalization of that of graded algebras. Some relations between the global dimension of H(A) and the left (resp. right) global dimension of A are discovered. When A is homologically smooth, we prove that the left (right) global dimension of A is finite and the dimension of D(A) and D ^c (A) are not bigger than the DG free class of a minimal semifree resolution X of the DG A ^e -module A.     

DG Poisson algebra and its universal enveloping algebra

We introduce the notions of differential graded (DG) Poisson algebra and DG Poisson module. Let A be any DG Poisson algebra. We construct the universal enveloping algebra of A explicitly, which is denoted by A^ue. We show that A^ue has a natural DG algebra structure and it satisfies certain universal property. As a consequence of the universal property, it is proved that the category of DG Poisson modules over A is isomorphic to the category of DG modules over A^ue. Furthermore, we prove that the notion of universal enveloping algebra A^ue is well-behaved under opposite algebra and tensor product of DG Poisson algebras. Practical examples of DG Poisson algebras are given throughout the paper including those arising from differential geometry and homological algebra.     

TTF Triples in Functor Categories

We characterize the hereditary torsion pairs of finite type in the functor category of a ring R that are associated to tilting torsion pairs in the category of R-modules. Moreover, we determine a condition under which they give rise to TTF triples.     

Separable functors for the category of Doi-Hopf <Emphasis Type="Italic">π</Emphasis>-modules

Let π be a discrete group. Given a Doi-Hopf π-datum (H,A,C) and α∈π, we give necessary and sufficient conditions for the functor F ^(α) from the category of Doi-Hopf π-modules to the category of right A _α -modules to be separable. This leads to a generalized notion of integrals. As an application, we prove a Maschke type theorem for Doi-Hopf π-modules and relative Hopf π-modules.     

On the enright functor in the highest weight category

LetG be a complex semisimple Lie group,B its Borel subgroup andX a flag variety ofG. We define a functor on the category ofB-equivariantD _X-modules that corresponds, under the global section functor, to the Enright functor on the highest weight category. We use this to lift Enright functor to the mixed version of the highest weight category. As an application we obtain that the socle and the cosocle filtration of a primitive quotient of the enveloping algebra coincide.     

Graded self-injective algebras “are” trivial extensions

For a positively graded artin algebra A=_n0A_n we introduce its Beilinson algebra b(A). We prove that if A is well-graded self-injective, then the category of graded A-modules is equivalent to the category of graded modules over the trivial extension algebra T(b(A)). Consequently, there is a full exact embedding from the bounded derived category of b(A) into the stable category of graded modules over A; it is an equivalence if and only if the 0-th component algebra A₀ has finite global dimension.     

The picard group of a category of graded modules

For R a G-graded ring, we study Pic(R-gr), the group of isomorphism classes of autoequivalences of the category of graded left R-modules. For G infinite, this requires generalizing the classical sequences involving Pic(A), A a fc-algebra, to A a ring with local units. Then for G either finite or infinite, we characterize the inner automorphisms in some subgroups H of the automorphism group of the smash product R#PG and thus obtain some subgroups of Pic(R-gr).     

Representations of Gan–Ginzburg algebras

Given a quiver, a fixed dimension vector, and a positive integer n, we construct a functor from the category of D-modules on the space of representations of the quiver to the category of modules over a corresponding Gan–Ginzburg algebra of rank n. When the quiver is affine Dynkin, we obtain an explicit construction of representations of the corresponding wreath product symplectic reflection algebra of rank n. When the quiver is star-shaped, but not finite Dynkin, we use this functor to obtain a Lie-theoretic construction of representations of a “spherical” subalgebra of the Gan–Ginzburg algebra isomorphic to a rational generalized double affine Hecke algebra of rank n. Our functors are a generalization of the type A and type BC functors from [1] and [4], respectively.     

Rationally but not integrally isometric bilinear forms

Let K be a non-dyadic local field and A its ring of integers. First we notice that the classification of unimodular A-bilinear forms and of systems of two unimodular symmetric A-bilinear forms are both reduced to the classification of hermitian forms over the category of double isomorphisms over projective A-modules ; the duality is nevertheless different for each case. Then we use the methods of reduction and transfer to construct some examples of non isometric unimodular forms (or system of unimodular symmetric forms) having the same asymmetry and becoming isometric over K.     

A Note on Finitely A-Presented Abelian Groups

The class of mixed groups  was introduced by Glaz and Wickless. This article investigates subclasses  of  such that the functor Hom(A, ?)/t Hom(A, ?) between  and the category of right E(A)/tE(A)-modules is full.     

Perfect Derived Categories of Positively Graded DG Algebras

We investigate the perfect derived category dgPer(A){{\rm dgPer}}(\mathcal{A}) of a positively graded differential graded (dg) algebra A\mathcal{A} whose degree zero part is a dg subalgebra and semisimple as a ring. We introduce an equivalent subcategory of dgPer(A){{{\rm dgPer}}}(\mathcal{A}) whose objects are easy to describe, define a t-structure on dgPer(A){{{\rm dgPer}}}(\mathcal{A}) and study its heart. We show that dgPer(A){{{\rm dgPer}}}(\mathcal{A}) is a Krull–Remak–Schmidt category. Then we consider the heart in the case that A\mathcal{A} is a Koszul ring with differential zero satisfying some finiteness conditions.     

Path <Emphasis Type="Italic">A</Emphasis><Subscript>∞</Subscript> algebras of positively graded quivers

Let A be a path A_∞-algebra over a positively graded quiver Q: We prove that the derived category of A is triangulated equivalent to the derived category of kQ; which is viewed as a DG algebra with trivial differential. The main technique used in the proof is Koszul duality for DG algebras.     

Primary decomposition over rings graded by finitely generated Abelian groups

Let A be a Noetherian ring which is graded by a finitely generated Abelian group G. In general, for G-graded modules there do not exist primary decompositions which are graded themselves. This is quite different from the case of gradings by torsion free group, for which graded primary decompositions always exists. In this paper we introduce G-primary decompositions as a natural analogue to primary decomposition for G-graded A-modules. We show the existence of G-primary decomposition and give a few characterizations analogous to Bourbaki's treatment for torsion free groups.     

Stable model categories are categories of modules

A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for deciding when two stable model categories represent ‘the same homotopy theory’. We show that stable model categories with a single compact generator are equivalent to modules over a ring spectrum. More generally stable model categories with a set of generators are characterized as modules over a ‘ring spectrum with several objects’, i.e., as spectrum valued diagram categories. We also prove a Morita theorem which shows how equivalences between module categories over ring spectra can be realized by smashing with a pair of bimodules. Finally, we characterize stable model categories which represent the derived category of a ring. This is a slight generalization of Rickard's work on derived equivalent rings. We also include a proof of the model category equivalence of modules over the Eilenberg-Mac Lane spectrum HR and (unbounded) chain complexes of R-modules for a ring R.     

Tannakian Approach to Linear Differential Algebraic Groups

Tannaka’s theorem states that a linear algebraic group G is determined by the category of finite-dimensional G-modules and the forgetful functor. We extend this result to linear differential algebraic groups by introducing a category corresponding to their representations and show how this category determines such a group. This work was partially supported by NSF Grant CCR-0096842 and by the Russian Foundation for Basic Research, project no. 05-01-00671.