Showing 1–23 of 23 results for author: Green, E L

The Commuting Algebra

Authors: Edward L. Green, Sibylle Schroll

Abstract: Let $KQ$ be a path algebra, where $Q$ is a finite quiver and $K$ is a field. We study $KQ/C$ where $C$ is the two-sided ideal in $KQ$ generated by all differences of parallel paths in $Q$. We show that $KQ/C$ is always finite dimensional and its global dimension is finite. Furthermore, we prove that $KQ/C$ is Morita equivalent to an incidence algebra. The paper starts with the more general setting… ▽ More Let $KQ$ be a path algebra, where $Q$ is a finite quiver and $K$ is a field. We study $KQ/C$ where $C$ is the two-sided ideal in $KQ$ generated by all differences of parallel paths in $Q$. We show that $KQ/C$ is always finite dimensional and its global dimension is finite. Furthermore, we prove that $KQ/C$ is Morita equivalent to an incidence algebra. The paper starts with the more general setting, where $KQ$ is replaced by $KQ/I$ with $I$ a two-sided ideal in $KQ$. △ Less

Submitted 4 October, 2023; v1 submitted 16 February, 2023; originally announced February 2023.

Reduction techniques for the finitistic dimension

Authors: Edward L. Green, Chrysostomos Psaroudakis, Øyvind Solberg

Abstract: In this paper we develop new reduction techniques for testing the finiteness of the finitistic dimension of a finite dimensional algebra over a field. Viewing the latter algebra as a quotient of a path algebra, we propose two operations on the quiver of the algebra, namely arrow removal and vertex removal. The former gives rise to cleft extensions and the latter to recollements. These two operatio… ▽ More In this paper we develop new reduction techniques for testing the finiteness of the finitistic dimension of a finite dimensional algebra over a field. Viewing the latter algebra as a quotient of a path algebra, we propose two operations on the quiver of the algebra, namely arrow removal and vertex removal. The former gives rise to cleft extensions and the latter to recollements. These two operations provide us new practical methods to detect algebras of finite finitistic dimension. We illustrate our methods with many examples. △ Less

Submitted 10 August, 2018; originally announced August 2018.

Comments: 37 pages

On quasi-hereditary algebras

Authors: Edward L. Green, Sibylle Schroll

Abstract: Establishing whether an algebra is quasi-hereditary or not is, in general, a difficult problem. In this paper we introduce a sufficient criterion to determine whether a general finite dimensional algebra is quasi-hereditary by showing that the question can be reduced to showing that a closely associated monomial algebra is quasi-hereditary. For monomial algebras, we give an explicit, easily verifi… ▽ More Establishing whether an algebra is quasi-hereditary or not is, in general, a difficult problem. In this paper we introduce a sufficient criterion to determine whether a general finite dimensional algebra is quasi-hereditary by showing that the question can be reduced to showing that a closely associated monomial algebra is quasi-hereditary. For monomial algebras, we give an explicit, easily verifiable, necessary and sufficient criterion to determine whether it is quasi-hereditary. △ Less

Submitted 23 August, 2019; v1 submitted 18 October, 2017; originally announced October 2017.

Comments: 12 pages

Algebras and varieties

Authors: Edward L. Green, Lutz Hille, Sibylle Schroll

Abstract: In this paper we introduce new affine algebraic varieties whose points correspond to associative algebras. We show that the algebras within a variety share many important homological properties. In particular, any two algebras in the same variety have the same dimension. The case of finite dimensional algebras as well as that of graded algebras arise as subvarieties of the varieties we define. As… ▽ More In this paper we introduce new affine algebraic varieties whose points correspond to associative algebras. We show that the algebras within a variety share many important homological properties. In particular, any two algebras in the same variety have the same dimension. The case of finite dimensional algebras as well as that of graded algebras arise as subvarieties of the varieties we define. As an application we show that for algebras of global dimension two over the complex numbers, any algebra in the variety continuously deforms to a monomial algebra. △ Less

Submitted 11 November, 2019; v1 submitted 25 July, 2017; originally announced July 2017.

Comments: 24 pages, v2: added a section on the varieties of algebras of global dimension two

Convex subquivers and the finitistic dimension

Authors: Edward L. Green, Eduardo do N. Marcos

Abstract: Let $\cQ$ be a quiver and $K$ a field. We study the interrelationship of homological properties of algebras associated to convex subquivers of $\cQ$ and quotients of the path algebra $K\cQ$. We introduce the homological heart of $\cQ$ which is a particularly nice convex subquiver of $\cQ$. For any algebra of the form $K\cQ/I$, the algebra associated to $K\cQ/I$ and the homological heart have simil… ▽ More Let $\cQ$ be a quiver and $K$ a field. We study the interrelationship of homological properties of algebras associated to convex subquivers of $\cQ$ and quotients of the path algebra $K\cQ$. We introduce the homological heart of $\cQ$ which is a particularly nice convex subquiver of $\cQ$. For any algebra of the form $K\cQ/I$, the algebra associated to $K\cQ/I$ and the homological heart have similar homological properties. We give an application showing that the finitistic dimension conjecture need only be proved for algebras with path connected quivers. △ Less

Submitted 13 March, 2017; originally announced March 2017.

Special multiserial algebras, Brauer configuration algebras and more : a survey

Authors: Edward L. Green, Sibylle Schroll

Abstract: We survey results on multiserial algebras, special multiserial algebras and Brauer configuration algebras. A structural property of modules over a special multiserial algebra is presented. Almost gentle algebras are introduced and we describe some results related to this class of algebras. We also report on the structure of radical cubed zero symmetric algebras. We survey results on multiserial algebras, special multiserial algebras and Brauer configuration algebras. A structural property of modules over a special multiserial algebra is presented. Almost gentle algebras are introduced and we describe some results related to this class of algebras. We also report on the structure of radical cubed zero symmetric algebras. △ Less

Submitted 4 March, 2017; originally announced March 2017.

The Geometry of Strong Koszul Algebras

Authors: Edward L. Green

Abstract: Koszul algebras with quadratic Groebner bases, called strong Koszul algebras, are studied. We introduce affine algebraic varieties whose points are in one-to-one correspondence with certain strong Koszul algebras and we investigate the connection between the varieties and the algebras. Koszul algebras with quadratic Groebner bases, called strong Koszul algebras, are studied. We introduce affine algebraic varieties whose points are in one-to-one correspondence with certain strong Koszul algebras and we investigate the connection between the varieties and the algebras. △ Less

Submitted 9 February, 2017; originally announced February 2017.

MSC Class: 16S37; 14M99; 16W60

Almost gentle algebras and their trivial extensions

Authors: Edward L. Green, Sibylle Schroll

Abstract: In this paper we define almost gentle algebras. They are monomial special multiserial algebras generalizing gentle algebras. We show that the trivial extension of an almost gentle algebra by its minimal injective co-generator is a symmetric special multiserial algebra and hence a Brauer configuration algebra. Conversely, we show that any almost gentle algebra is an admissible cut of a unique Braue… ▽ More In this paper we define almost gentle algebras. They are monomial special multiserial algebras generalizing gentle algebras. We show that the trivial extension of an almost gentle algebra by its minimal injective co-generator is a symmetric special multiserial algebra and hence a Brauer configuration algebra. Conversely, we show that any almost gentle algebra is an admissible cut of a unique Brauer configuration algebra and as a consequence, we obtain that every Brauer configuration algebra with multiplicity function identically one, is the trivial extension of an almost gentle algebra. We show that to every almost gentle algebra A is associated a hypergraph, and that this hypergraph induces the Brauer configuration of the trivial extension of A. Amongst other things, this gives a combinatorial criterion to decide when two almost gentle algebras have isomorphic trivial extensions. △ Less

Submitted 23 May, 2017; v1 submitted 11 March, 2016; originally announced March 2016.

Comments: Added new Sections on hypergraphs and Brauer configurations associated to almost gentle algebras

Journal ref: Proceedings of the Edinburgh Mathematical Society 62 (2019) 489-504

Special multserial algebras are quotients of symmetric special multiserial algebras

Authors: Edward L. Green, Sibylle Schroll

Abstract: In this paper we give a new definition of symmetric special multiserial algebras in terms of defining cycles. As a consequence, we show that every special multiserial algebra is a quotient of a symmetric special multiserial algebra. In this paper we give a new definition of symmetric special multiserial algebras in terms of defining cycles. As a consequence, we show that every special multiserial algebra is a quotient of a symmetric special multiserial algebra. △ Less

Submitted 30 November, 2016; v1 submitted 4 January, 2016; originally announced January 2016.

Comments: Final version to appear in Journal of Algebra

Multiserial and special multiserial algebras and their representations

Authors: Edward L. Green, Sibylle Schroll

Abstract: In this paper we study multiserial and special multiserial algebras. These algebras are a natural generalization of biserial and special biserial algebras to algebras of wild representation type. We define a module to be multiserial if its radical is the sum of uniserial modules whose pairwise intersection is either 0 or a simple module. We show that all finitely generated modules over a special m… ▽ More In this paper we study multiserial and special multiserial algebras. These algebras are a natural generalization of biserial and special biserial algebras to algebras of wild representation type. We define a module to be multiserial if its radical is the sum of uniserial modules whose pairwise intersection is either 0 or a simple module. We show that all finitely generated modules over a special multiserial algebra are multiserial. In particular, this implies that, in analogy to special biserial algebras being biserial, special multiserial algebras are multiserial. We then show that the class of symmetric special multiserial algebras coincides with the class of Brauer configuration algebras, where the latter are a generalization of Brauer graph algebras. We end by showing that any symmetric algebra with radical cube zero is special multiserial and so, in particular, it is a Brauer configuration algebra. △ Less

Submitted 5 August, 2016; v1 submitted 1 September, 2015; originally announced September 2015.

Comments: Minor revision, to appear in Advances in Mathematics

Brauer configuration algebras: A generalization of Brauer graph algebras

Authors: Edward L. Green, Sibylle Schroll

Abstract: In this paper we introduce a generalization of a Brauer graph algebra which we call a Brauer configuration algebra. As with Brauer graphs and Brauer graph algebras, to each Brauer configuration, there is an associated Brauer configuration algebra. We show that Brauer configuration algebras are finite dimensional symmetric algebras. After studying and analysing structural properties of Brauer confi… ▽ More In this paper we introduce a generalization of a Brauer graph algebra which we call a Brauer configuration algebra. As with Brauer graphs and Brauer graph algebras, to each Brauer configuration, there is an associated Brauer configuration algebra. We show that Brauer configuration algebras are finite dimensional symmetric algebras. After studying and analysing structural properties of Brauer configurations and Brauer configuration algebras, we show that a Brauer configuration algebra is multiserial; that is, its Jacobson radical is a sum of uniserial modules whose pairwise intersection is either zero or a simple module. The paper ends with a detailed study of the relationship between radical cubed zero Brauer configuration algebras, symmetric matrices with non-negative integer entries, finite graphs and associated symmetric radical cubed zero algebras. △ Less

Submitted 18 May, 2017; v1 submitted 14 August, 2015; originally announced August 2015.

Comments: Minor corrections, to appear in Bulletin des Sciences Mathematiques

MSC Class: 16G20; 16D50

On the diagonal subalgebra of an Ext algebra

Authors: Edward L. Green, Nicole Snashall, Øyvind Solberg, Dan Zacharia

Abstract: Let $R$ be a Koszul algebra over a field $k$ and $M$ be a linear $R$-module. We study a graded subalgebra $Δ_M$ of the Ext-algebra $\operatorname{Ext}_R^*(M,M)$ called the diagonal subalgebra and its properties. Applications to the Hochschild cohomology ring of $R$ and to periodicity of linear modules are given. Viewing $R$ as a linear module over its enveloping algebra, we also show that $Δ_R$ is… ▽ More Let $R$ be a Koszul algebra over a field $k$ and $M$ be a linear $R$-module. We study a graded subalgebra $Δ_M$ of the Ext-algebra $\operatorname{Ext}_R^*(M,M)$ called the diagonal subalgebra and its properties. Applications to the Hochschild cohomology ring of $R$ and to periodicity of linear modules are given. Viewing $R$ as a linear module over its enveloping algebra, we also show that $Δ_R$ is isomorphic to the graded center of the Koszul dual of $R$. △ Less

Submitted 16 December, 2014; originally announced December 2014.

MSC Class: Primary 16E30. Secondary 16E40; 16S37

On Artin algebras arising from Morita contexts

Authors: Edward L. Green, Chrysostomos Psaroudakis

Abstract: We study Morita rings $Λ_{(φ,ψ)}=\bigl({smallmatrix} A &_AN_B_BM_A & B {smallmatrix}\bigr)$ in the context of Artin algebras from various perspectives. First we study covariant finite, contravariant finite, and functorially finite subcategories of the module category of a Morita ring when the bimodule homomorphisms $φ$ and $ψ$ are zero. Further we give bounds for the global dimension of a Morita r… ▽ More We study Morita rings $Λ_{(φ,ψ)}=\bigl({smallmatrix} A &_AN_B_BM_A & B {smallmatrix}\bigr)$ in the context of Artin algebras from various perspectives. First we study covariant finite, contravariant finite, and functorially finite subcategories of the module category of a Morita ring when the bimodule homomorphisms $φ$ and $ψ$ are zero. Further we give bounds for the global dimension of a Morita ring $Λ_{(0,0)}$, regarded as an Artin algebra, in terms of the global dimensions of $A$ and $B$ in the case when both $φ$ and $ψ$ are zero. We illustrate our bounds with some examples. Finally we investigate when a Morita ring is a Gorenstein Artin algebra and then we determine all the Gorenstein-projective modules over the Morita ring with $A=N=M=B=Λ$, where $Λ$ is an Artin algebra. △ Less

Submitted 19 October, 2013; v1 submitted 8 March, 2013; originally announced March 2013.

Comments: 29 pages, revised version

MSC Class: 16E10; 16E65; 16G; 16G50; 16S50

The Ext algebra of a Brauer graph algebra

Authors: Edward L Green, Sibylle Schroll, Nicole Snashall, Rachel Taillefer

Abstract: In this paper we study finite generation of the Ext algebra of a Brauer graph algebra by determining the degrees of the generators. As a consequence we characterize the Brauer graph algebras that are Koszul and those that are K_2. In this paper we study finite generation of the Ext algebra of a Brauer graph algebra by determining the degrees of the generators. As a consequence we characterize the Brauer graph algebras that are Koszul and those that are K_2. △ Less

Submitted 31 July, 2015; v1 submitted 26 February, 2013; originally announced February 2013.

Comments: Minor changes. Paper to appear in Journal of Noncommutative Geometry

MSC Class: 16G20; 16S37; 16E05; 16E30

Group actions and coverings of Brauer graph algebras

Authors: Edward L Green, Sibylle Schroll, Nicole Snashall

Abstract: We develop a theory of group actions and coverings on Brauer graphs that parallels the theory of group actions and coverings of algebras. In particular, we show that any Brauer graph can be covered by a tower of coverings of Brauer graphs such that the topmost covering has multiplicity function identically one, no loops, and no multiple edges. Furthermore, we classify the coverings of Brauer graph… ▽ More We develop a theory of group actions and coverings on Brauer graphs that parallels the theory of group actions and coverings of algebras. In particular, we show that any Brauer graph can be covered by a tower of coverings of Brauer graphs such that the topmost covering has multiplicity function identically one, no loops, and no multiple edges. Furthermore, we classify the coverings of Brauer graph algebras that are again Brauer graph algebras. △ Less

Submitted 30 November, 2012; v1 submitted 9 December, 2011; originally announced December 2011.

Comments: 26 pages Correction to statement of Theorem 6.7; a tower of coverings has been introduced

MSC Class: 05E18; 16G20 (Primary) 14E20; 16W50; 58E40 (Secondary)

$d$-Koszul algebras, 2-$d$ determined algebras and 2-$d$-Koszul algebras

Authors: Edward L. Green, Eduardo do N. Marcos

Abstract: The relationship between an algebra and its associated monomial algebra is investigated when at least one of the algebras is $d$-Koszul. It is shown that an algebra which has a reduced \grb basis that is composed of homogeneous elements of degree $d$ is $d$-Koszul if and only if its associated monomial algebra is $d$-Koszul. The class of 2-$d$-determined algebras and the class 2-$d$-Koszul algeb… ▽ More The relationship between an algebra and its associated monomial algebra is investigated when at least one of the algebras is $d$-Koszul. It is shown that an algebra which has a reduced \grb basis that is composed of homogeneous elements of degree $d$ is $d$-Koszul if and only if its associated monomial algebra is $d$-Koszul. The class of 2-$d$-determined algebras and the class 2-$d$-Koszul algebras are introduced. In particular, it shown that 2-$d$-determined monomial algebras are 2-$d$-Koszul algebras and the structure of the ideal of relations of such an algebra is completely determined. △ Less

Submitted 22 December, 2008; v1 submitted 17 December, 2008; originally announced December 2008.

An algorithmic approach to resolutions

Authors: Edward L. Green, Øyvind Solberg

Abstract: We provide an algorithmic method for constructing projective resolutions of modules over quotients of path algebras. This algorithm is modified to construct minimal projective resolutions of linear modules over Koszul algebras. We provide an algorithmic method for constructing projective resolutions of modules over quotients of path algebras. This algorithm is modified to construct minimal projective resolutions of linear modules over Koszul algebras. △ Less

Submitted 1 September, 2005; originally announced September 2005.

MSC Class: 16E05; 18G10; 16P10; 16S37

Journal ref: Journal of Symbolic Computation, vol. 42, 11-12 (2007) 1012-1033, Non-commutative Gröbner bases and applications

Multiplicative structures for Koszul algebras

Authors: Ragnar-Olaf Buchweitz, Edward L. Green, Nicole Snashall, Øyvind Solberg

Abstract: Let $Λ=kQ/I$ be a Koszul algebra over a field $k$, where $Q$ is a finite quiver. An algorithmic method for finding a minimal projective resolution $\mathbb{F}$ of the graded simple modules over $Λ$ is given in Green-Solberg. This resolution is shown to have a "comultiplicative" structure in Green-Hartman-Marcos-Solberg, and this is used to find a minimal projective resolution $\mathbb{P}$ of… ▽ More Let $Λ=kQ/I$ be a Koszul algebra over a field $k$, where $Q$ is a finite quiver. An algorithmic method for finding a minimal projective resolution $\mathbb{F}$ of the graded simple modules over $Λ$ is given in Green-Solberg. This resolution is shown to have a "comultiplicative" structure in Green-Hartman-Marcos-Solberg, and this is used to find a minimal projective resolution $\mathbb{P}$ of $Λ$ over the enveloping algebra $Λ^e$. Using these results we show that the multiplication in the Hochschild cohomology ring of $Ł$ relative to the resolution $\mathbb{P}$ is given as a cup product and also provide a description of this product. This comultiplicative structure also yields the structure constants of the Koszul dual of $Ł$ with respect to a canonical basis over $k$ associated to the resolution $\mathbb{F}$. The natural map from the Hochschild cohomology to the Koszul dual of $Λ$ is shown to be surjective onto the graded centre of the Koszul dual. △ Less

Submitted 10 August, 2005; originally announced August 2005.

Comments: 13 pages

MSC Class: 16S37; 16E40

Journal ref: The Quarterly Journal of Mathematics 2008 59(4), 441-454

Representation theory of the Drinfel'd doubles of a family of Hopf algebras

Authors: K. Erdmann, E. L. Green, N. Snashall, R. Taillefer

Abstract: We investigate the Drinfel'd doubles $D(Λ_{n,d})$ of a certain family of Hopf algebras. We determine their simple modules and their indecomposable projective modules, and we obtain a presentation by quiver and relations of these Drinfel'd doubles, from which we deduce properties of their representations, including the Auslander-Reiten quivers of the $D(Λ_{n,d})$. We then determine decompositions… ▽ More We investigate the Drinfel'd doubles $D(Λ_{n,d})$ of a certain family of Hopf algebras. We determine their simple modules and their indecomposable projective modules, and we obtain a presentation by quiver and relations of these Drinfel'd doubles, from which we deduce properties of their representations, including the Auslander-Reiten quivers of the $D(Λ_{n,d})$. We then determine decompositions of the tensor products of most of the representations described, and in particular give a complete description of the tensor product of two simple modules. This study also leads to explicit examples of Hopf bimodules over the original Hopf algebras. △ Less

Submitted 1 October, 2004; originally announced October 2004.

Comments: 32 pages, uses xy diagrams, submitted

MSC Class: 17B37; 06B15; 81R50; 16W30; 16W35; 16G20; 16G70; 18D10

Resolutions over Koszul algebras

Authors: E. L. Green, G. Hartman, E. N. Marcos, Ø. Solberg

Abstract: In this paper we show that if $Λ=\amalg_{i\geq 0}Λ_i$ is a Koszul algebra with $Λ_0$ isomorphic to a product of copies of a field, then the minimal projective resolution of $Λ_0$ as a right $Λ$-module provides all the information necessary to construct both a minimal projective resolution of $Λ_0$ as a left $Λ$-module and a minimal projective resolution of $Λ$ as a right module over the envelopi… ▽ More In this paper we show that if $Λ=\amalg_{i\geq 0}Λ_i$ is a Koszul algebra with $Λ_0$ isomorphic to a product of copies of a field, then the minimal projective resolution of $Λ_0$ as a right $Λ$-module provides all the information necessary to construct both a minimal projective resolution of $Λ_0$ as a left $Λ$-module and a minimal projective resolution of $Λ$ as a right module over the enveloping algebra of $Λ$. The main tool for this is showing that there is a comultiplicative structure on a minimal projective resolution of $Λ_0$ as a right $Λ$-module. △ Less

Submitted 9 September, 2004; originally announced September 2004.

MSC Class: 16S37; 16E05; 16W50

Journal ref: Arch. Math., 85 (2005), no. 2, 118-127

Finite Hochschild cohomology without finite global dimension

Authors: R. -O. Buchweitz, E. L. Green, D. Madsen, O. Solberg

Abstract: Dieter Happel asked the following question: If the $n$-th Hochschild cohomology group of a finite dimensional algebra $Γ$ over a field vanishes for all sufficiently large $n$, is the global dimension of $Γ$ finite? We give a negative answer to this question. Dieter Happel asked the following question: If the $n$-th Hochschild cohomology group of a finite dimensional algebra $Γ$ over a field vanishes for all sufficiently large $n$, is the global dimension of $Γ$ finite? We give a negative answer to this question. △ Less

Submitted 4 October, 2004; v1 submitted 7 July, 2004; originally announced July 2004.

Comments: 10 pages

MSC Class: 16E40; 16G10; 16P10

Journal ref: Math. Res. Lett., vol. 12 (2005), no. 6, 805-816

The Hochschild cohomology ring modulo nilpotence of a monomial algebra

Authors: E. L. Green, N. Snashall, Ø. Solberg

Abstract: For a finite dimensional monomial algebra $Λ$ over a field $K$ we show that the Hochschild cohomology ring of $Λ$ modulo the ideal generated by homogeneous nilpotent elements is a commutative finitely generated $K$-algebra of Krull dimension at most one. This was conjectured to be true for any finite dimensional algebra over a field by Snashall-Solberg. For a finite dimensional monomial algebra $Λ$ over a field $K$ we show that the Hochschild cohomology ring of $Λ$ modulo the ideal generated by homogeneous nilpotent elements is a commutative finitely generated $K$-algebra of Krull dimension at most one. This was conjectured to be true for any finite dimensional algebra over a field by Snashall-Solberg. △ Less

Submitted 30 January, 2004; originally announced January 2004.

Comments: 35 pages

MSC Class: 16E40; 16P10

Journal ref: Journal of Algebra and Its Applications, vol. 5, no. 2 (2006) 1-40.

From Monomials to Words to graphs

Authors: Cristina G. Fernandes, Edward L. Green, Arnaldo Mandel

Abstract: Given a finite alphabet X and an ordering on the letters, the map σsends each monomial on X to the word that is the ordered product of the letter powers in the monomial. Motivated by a question on Groebner bases, we characterize ideals I in the free commutative monoid (in terms of a generating set) such that the ideal <σ(I)> generated by σ(I) in the free monoid is finitely generated. Whether the… ▽ More Given a finite alphabet X and an ordering on the letters, the map σsends each monomial on X to the word that is the ordered product of the letter powers in the monomial. Motivated by a question on Groebner bases, we characterize ideals I in the free commutative monoid (in terms of a generating set) such that the ideal <σ(I)> generated by σ(I) in the free monoid is finitely generated. Whether there exists an ordering such that <σ(I)> is finitely generated turns out to be NP-complete. The latter problem is closely related to the recognition problem for comparability graphs. △ Less

Submitted 20 February, 2003; originally announced February 2003.

Comments: 27 pages, 2 postscript figures, uses gastex.sty

Report number: RT-MAC-01-2003 MSC Class: 13P10;68R15;05C17;16Z05;68Q25