-
Homogeneous G-algebras II
Authors:
R. Martinez-Villa,
J. Mondragon
Abstract:
G-algebras, or Groebner bases algebras, were considered by Levandovsky, these algebras include very important families of algebras, like the Weyl algebras and the universal enveloping algebra of a finite dimensional Lie algebra. These algebras are not graded in a natural way, but they are filtered. Going to the associated graded algebra is the standard way to study their properties. In a previous…
▽ More
G-algebras, or Groebner bases algebras, were considered by Levandovsky, these algebras include very important families of algebras, like the Weyl algebras and the universal enveloping algebra of a finite dimensional Lie algebra. These algebras are not graded in a natural way, but they are filtered. Going to the associated graded algebra is the standard way to study their properties. In a previous paper we studied an homogeneous version of the G-algebras, which results naturally graded, and through a des homogenization property, we obtain an ordinary G-algebra. The main results in our first paper were the following: Homogeneous G-algebras are Koszul of finite global dimension, Artin Schelter regular, noetherian and have a Poincare Birkoff basis. We give the structure of their Yoneda algebras by generators and relations. In the second part of the paper we consider the quantum polynomial ring and prove, for the finitely generated graded modules, cohomology formulas analogous to those we have in the usual polynomial ring. In the third part we use the results of the previous part to study the cohomology of the homogeneous G-algebras. Part four was dedicated to the study of the relations between an homogeneous G-algebra B and its des homogenization B/(Z-1)B=A, Applications to the study of finite dimensional Lie algebras and Weyl algebras were given. In the last sections of the paper we study the relations, at the level of modules, among the homogenized algebra B, its graded localization B_{z}, the des homogenization A=B/(Z-1)B and the Yoneda algebra B^{!}. In this paper we investigate the relations among all these algebras at the level of derived categories.
△ Less
Submitted 20 January, 2014;
originally announced January 2014.
-
Skew group algebras, invariants and Weyl Algebras
Authors:
Roberto Martinez-Villa,
Jeronimo Mondragon
Abstract:
The aim of this paper is two fold:
First to study finite groups $G$ of automorphisms of the homogenized Weyl algebra $B_{n}$, the skew group algebra $B_{n}\ast G$, the ring of invariants $B_{n}^{G}$, and the relations of these algebras with the Weyl algebra $A_{n}$, with the skew group algebra $A_{n}\ast G$, and with the ring of invariants $A_{n}^{G}$. Of particular interest is the case $n=1$.…
▽ More
The aim of this paper is two fold:
First to study finite groups $G$ of automorphisms of the homogenized Weyl algebra $B_{n}$, the skew group algebra $B_{n}\ast G$, the ring of invariants $B_{n}^{G}$, and the relations of these algebras with the Weyl algebra $A_{n}$, with the skew group algebra $A_{n}\ast G$, and with the ring of invariants $A_{n}^{G}$. Of particular interest is the case $n=1$.
In the on the other hand, we consider the invariant ring $\QTR{sl}{C}[X]^{G}$ of the polynomial ring $K[X]$ in $n$ generators, where $G$ is a finite subgroup of $Gl(n,\QTR{sl}{C}$) such that any element in $G$ different from the identity does not have one as an eigenvalue. We study the relations between the category of finitely generated modules over $\QTR{sl}{C}[X]^{G}$ and the corresponding category over the skew group algebra $\QTR{sl}{C}% [X]\ast G$. We obtain a generalization of known results for $n=2$ and $G$ a finite subgroup of $Sl(2,C)$. In the last part of the paper we extend the results for the polynomial algebra $C[X]$ to the homogenized Weyl algebra $B_{n}$.
△ Less
Submitted 5 November, 2012;
originally announced November 2012.
-
Dualities in Koszul graded AS Gorenstein algebras
Authors:
Roberto Martinez-Villa
Abstract:
The paper is dedicated to the study of certain non commutative graded AS Gorenstein algebras $Λ$.
The main result of the paper is that for Koszul algebras $Λ$ with Yoneda algebra $Γ$, such that both $Λ$ and $Γ$ are graded AS Gorenstein noetherian of finite local cohomology dimension on both sides, there are dualities of triangulated categories:
\underline{$gr$}$_Λ[Ω^{-1}]$ $\cong D^{b}(Qgr_Γ)$ a…
▽ More
The paper is dedicated to the study of certain non commutative graded AS Gorenstein algebras $Λ$.
The main result of the paper is that for Koszul algebras $Λ$ with Yoneda algebra $Γ$, such that both $Λ$ and $Γ$ are graded AS Gorenstein noetherian of finite local cohomology dimension on both sides, there are dualities of triangulated categories:
\underline{$gr$}$_Λ[Ω^{-1}]$ $\cong D^{b}(Qgr_Γ)$ and \underline{$gr$}$_Γ[Ω^{-1}]$ $\cong D^{b}(Qgr_Λ)$
where, and $Qgr_Γ$ is the category of tails, this is: the category of finitely generated graded modules $gr_Γ$ divided by the modules of finite length, and $D^{b}(Qgr_Γ)$ the corresponding derived category and \underline{$gr$}$_Λ[Ω^{-1}]$ the stabilization of the category of finetely generated graded $Λ$-modules, module the finetely generated projective modules.
△ Less
Submitted 5 November, 2012;
originally announced November 2012.
-
Local Cohomology and non commutative Gorenstein algebras
Authors:
Roberto Martinez-Villa
Abstract:
In this paper we continue the study of non connected graded Gorenstein algebras initiated in a previous paper, the main result is the proof of a version of the Local Cohomology formula.
In this paper we continue the study of non connected graded Gorenstein algebras initiated in a previous paper, the main result is the proof of a version of the Local Cohomology formula.
△ Less
Submitted 5 November, 2012;
originally announced November 2012.
-
The homogenized enveloping Algebra of the Lie Algebra sl(2,C)
Authors:
Roberto Martinez-Villa
Abstract:
In this paper we study the homogenized algebra $B$ of the enveloping algebra $U$ of the Lie algebra sl(2,C). We look first to connections between the category of graded left $B$- modules and the category of $U$-modules, then we prove $B$ is Koszul and Artin-Schelter regular of global dimension four, hence its Yoneda algebra $% B^{!}$ is selfinjective of radical five zero, the structure of $B^{!}$…
▽ More
In this paper we study the homogenized algebra $B$ of the enveloping algebra $U$ of the Lie algebra sl(2,C). We look first to connections between the category of graded left $B$- modules and the category of $U$-modules, then we prove $B$ is Koszul and Artin-Schelter regular of global dimension four, hence its Yoneda algebra $% B^{!}$ is selfinjective of radical five zero, the structure of $B^{!}$ is given. We describe next the category of homogenized Verma modules, which correspond to the lifting to $B$ of the usual Verma modules over $U$, and prove that such modules are Koszul of projective dimension two. It was proved in [MZ] that all graded stable components of a selfinjective Koszul algebra are of type $ZA_{\infty}$, we characterize here the graded $B^{!}$% -modules corresponding under Koszul duality to the homogenized Verma modules, and prove that they are located at the mouth of a regular component, in this way we obtain a family of components over a wild algebra indexed by C. The paper ends with the description of a family of weight modules over $B$ which corresponds to the weight modules over $U$ and with a description of the category of $B$ - modules corresponding to the Gelfand's category $% \mathcal{O}$ of $U$-modules .
△ Less
Submitted 2 May, 2014; v1 submitted 5 November, 2012;
originally announced November 2012.
-
On the homogenized Weyl Algebra
Authors:
Roberto Martinez-Villa,
Jeronimo Mondragon
Abstract:
The aim of this paper is to give relations between the category of finetely generated graded modules over the homogeneized Weyl algebra $B_{n}$, the finetely generated modules over the Weyl algebra $A_{n}$ and the finetely generated graded modules over the Yoneda algebra $B_{n}^{!}$ of $B_{n}$. We will give these relations both at the level of the categories of modules and at the level of the deri…
▽ More
The aim of this paper is to give relations between the category of finetely generated graded modules over the homogeneized Weyl algebra $B_{n}$, the finetely generated modules over the Weyl algebra $A_{n}$ and the finetely generated graded modules over the Yoneda algebra $B_{n}^{!}$ of $B_{n}$. We will give these relations both at the level of the categories of modules and at the level of the derived categories.
△ Less
Submitted 30 October, 2012;
originally announced October 2012.
-
Tilting theory and functor categories I. Classical tilting
Authors:
R. Martínez-Villa,
M. Ortiz-Morales
Abstract:
Tilting theory has been a very important tool in the classification of finite dimensional algebras of finite and tame representation type, as well as, in many other branches of mathematics. Happel [Ha] proved that generalized tilting induces derived equivalences between module categories, and tilting complexes were used by Rickard [Ri] to develop a general Morita theory of derived categories. In t…
▽ More
Tilting theory has been a very important tool in the classification of finite dimensional algebras of finite and tame representation type, as well as, in many other branches of mathematics. Happel [Ha] proved that generalized tilting induces derived equivalences between module categories, and tilting complexes were used by Rickard [Ri] to develop a general Morita theory of derived categories. In the other hand, functor categories were introduced in representation theory by M. Auslander and used in his proof of the first Brauer- Thrall conjecture and later on, used systematically in his joint work with I. Reiten on stable equivalence and many other applications. Recently, functor categories were used to study the Auslander- Reiten components of finite dimensional algebras. The aim of the paper is to extend tilting theory to arbitrary functor cate- gories, having in mind applications to the functor category Mod(modΛ), with Λ a finite dimensional algebra.
△ Less
Submitted 21 October, 2011;
originally announced October 2011.
-
Tilting Theory and Functor Categories III. The Maps Category
Authors:
R. Martinez-Villa,
M. Ortiz-Morales
Abstract:
In this paper we continue the project of generalizing tilting theory to the category of contravariant functors $Mod(C)$, from a skeletally small preadditive category $C$ to the category of abelian groups. We introduced the notion of a a generalized tilting category $T$, and extended Happel's theorem to $Mod(C)$. We proved that there is an equivalence of triangulated categories…
▽ More
In this paper we continue the project of generalizing tilting theory to the category of contravariant functors $Mod(C)$, from a skeletally small preadditive category $C$ to the category of abelian groups. We introduced the notion of a a generalized tilting category $T$, and extended Happel's theorem to $Mod(C)$. We proved that there is an equivalence of triangulated categories $D^b (Mod(C))\cong Db (Mod(T))$. In the case of dualizing varieties, we proved a version of Happel's theorem for the categories of finitely presented functors. We also proved in this paper, that there exists a relation between covariantly finite coresolving categories, and generalized tilting categories. Extending theorems for artin algebras. In this article we consider the category of maps, and relate tilting categories in the category of functors, with relative tilting in the category of maps. Of special interest is the category $mod(mod Λ)$ with $Λ$ an artin algebra.
△ Less
Submitted 21 January, 2011;
originally announced January 2011.
-
Artin-Schelter regular algebras and categories
Authors:
Roberto Martinez-Villa,
Øyvind Solberg
Abstract:
Motivated by constructions in the representation theory of finite dimensional algebras we generalize the notion of Artin-Schelter regular algebras of dimension $n$ to algebras and categories to include Auslander algebras and a graded analogue for infinite representation type. A generalized Artin-Schelter regular algebra or a category of dimension $n$ is shown to have common properties with the c…
▽ More
Motivated by constructions in the representation theory of finite dimensional algebras we generalize the notion of Artin-Schelter regular algebras of dimension $n$ to algebras and categories to include Auslander algebras and a graded analogue for infinite representation type. A generalized Artin-Schelter regular algebra or a category of dimension $n$ is shown to have common properties with the classical Artin-Schelter regular algebras. In particular, when they admit a duality, then they satisfy Serre duality formulas and the $\Ext$-category of nice sets of simple objects of maximal projective dimension $n$ is a finite length Frobenius category.
△ Less
Submitted 6 February, 2009;
originally announced February 2009.
-
Graded and Koszul categories
Authors:
Roberto Martinez-Villa,
Øyvind Solberg
Abstract:
Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel papers is to show that for any finite dimensional algebra there is always a naturally associated Koszul theory. To obtain this, the notions of Koszul algebras, linear modules and Koszul duality are extended to additive (gra…
▽ More
Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel papers is to show that for any finite dimensional algebra there is always a naturally associated Koszul theory. To obtain this, the notions of Koszul algebras, linear modules and Koszul duality are extended to additive (graded) categories over a field. The main focus of this paper is to provide these generalizations and the necessary preliminaries.
△ Less
Submitted 4 February, 2009;
originally announced February 2009.
-
Koszul Algebras and Sheaves over Projective Space
Authors:
Roberto Martinez-Villa
Abstract:
We are going to show that the sheafication of graded Koszul modules $% K_Γ$ over $Γ_{n}=K[ x_{0},x_{1}...x_{n}] $ form an important subcategory $\overset{\wedge}{K}_Γ$ of the coherents sheaves on projective space, $Coh(P^{n}).$ One reason is that any coherent sheave over $P^{n}$ belongs to $\overset{\wedge}{K}_Γ$up to shift.
More importantly, the category $K_Γ$ allows a concept of almost split…
▽ More
We are going to show that the sheafication of graded Koszul modules $% K_Γ$ over $Γ_{n}=K[ x_{0},x_{1}...x_{n}] $ form an important subcategory $\overset{\wedge}{K}_Γ$ of the coherents sheaves on projective space, $Coh(P^{n}).$ One reason is that any coherent sheave over $P^{n}$ belongs to $\overset{\wedge}{K}_Γ$up to shift.
More importantly, the category $K_Γ$ allows a concept of almost split sequence obtained by exploiting Koszul duality between graded Koszul modules over $Γ$ and over the exterior algebra $Λ.$ This is then used to develop a kind of relative Auslander-Reiten theory for the category $\mathit{Coh(P}^{n})$, with respect to this theory, all but finitely many Auslander-Reiten components for $\mathit{Coh(P}^{n})$ have the shape \textit{ZA}$_{\infty}.$ We also describe the remaining ones.
△ Less
Submitted 27 May, 2004;
originally announced May 2004.
-
Hochschild Cohomology of skew group rings and invariants
Authors:
Eduardo do Nascimento Marcos,
Roberto Martinez-Villa,
Maria Izabel Ramalho Martins
Abstract:
Let $A$ be a $k$-algebra and $G$ be a group acting on $A$. We show that $G$ also acts on the Hochschild cohomology algebra $HH^{\bullet}(A)$ and that there is a monomorphism of rings $HH^{\bullet}(A)^G \hookrightarrow HH^{\bullet}(A[G])$. That allows us to show the existence of a monomorphism from $HH^{\bullet}(\widetilde{A})^G$ into $HH^{\bullet}(A)$, where $\widetilde{A}$ is a Galois covering…
▽ More
Let $A$ be a $k$-algebra and $G$ be a group acting on $A$. We show that $G$ also acts on the Hochschild cohomology algebra $HH^{\bullet}(A)$ and that there is a monomorphism of rings $HH^{\bullet}(A)^G \hookrightarrow HH^{\bullet}(A[G])$. That allows us to show the existence of a monomorphism from $HH^{\bullet}(\widetilde{A})^G$ into $HH^{\bullet}(A)$, where $\widetilde{A}$ is a Galois covering with group $G$.
△ Less
Submitted 25 December, 2003;
originally announced December 2003.
