Showing 1–29 of 29 results for author: Kirkman, E

Some Artin-Schelter Regular Algebras From Dual Reflection Groups and their Geometry

Authors: Peter Goetz, Ellen E. Kirkman, W. Frank Moore, Kent B. Vashaw

Abstract: Let $G$ be a group coacting on an Artin-Schelter regular algebra $A$ homogeneously and inner-faithfully. When the identity component $A_e$ is also Artin-Schelter regular, providing a generalization of the Shephard-Todd-Chevalley Theorem, we say that $G$ is a dual reflection group for $A$. We give two examples of dual reflection groups of order 16, and study algebraic and geometric properties of th… ▽ More Let $G$ be a group coacting on an Artin-Schelter regular algebra $A$ homogeneously and inner-faithfully. When the identity component $A_e$ is also Artin-Schelter regular, providing a generalization of the Shephard-Todd-Chevalley Theorem, we say that $G$ is a dual reflection group for $A$. We give two examples of dual reflection groups of order 16, and study algebraic and geometric properties of three associated Artin-Schelter regular algebras of dimension four. △ Less

Submitted 11 October, 2024; originally announced October 2024.

Comments: Comments welcome

MSC Class: 16S38; 16W22; 16T05; 16E65; 16S37; 16W50

Actions of Drinfeld doubles of finite groups on Artin-Schelter regular algebras

Authors: Ellen Kirkman, W. Frank Moore, Tolulope Oke

Abstract: For a finite group $G$ and $\Bbbk$ an algebraically closed field of characteristic zero we consider Artin-Schelter regular algebras $A$ on which the Drinfeld double $D(G)$ acts inner faithfully, and its associated algebras of invariants $A^{D(G)}$. Explicit computations for the cases when $G$ is the (generalized) quaternion group of order 8 and 16 are given. For a finite group $G$ and $\Bbbk$ an algebraically closed field of characteristic zero we consider Artin-Schelter regular algebras $A$ on which the Drinfeld double $D(G)$ acts inner faithfully, and its associated algebras of invariants $A^{D(G)}$. Explicit computations for the cases when $G$ is the (generalized) quaternion group of order 8 and 16 are given. △ Less

Submitted 28 May, 2024; originally announced May 2024.

MSC Class: 16W22; 16T05; 16E65

Weighted homological regularities

Authors: Ellen Kirkman, Robert Won, James J. Zhang

Abstract: Let $A$ be a noetherian connected graded algebra. We introduce and study homological invariants that are weighted sums of the homological and internal degrees of cochain complexes of graded $A$-modules, providing weighted versions of Castelnuovo--Mumford regularity, Tor-regularity, Artin--Schelter regularity, and concavity. In some cases an invariant (such as Tor-regularity) that is infinite can b… ▽ More Let $A$ be a noetherian connected graded algebra. We introduce and study homological invariants that are weighted sums of the homological and internal degrees of cochain complexes of graded $A$-modules, providing weighted versions of Castelnuovo--Mumford regularity, Tor-regularity, Artin--Schelter regularity, and concavity. In some cases an invariant (such as Tor-regularity) that is infinite can be replaced with a weighted invariant that is finite, and several homological invariants of complexes can be expressed as weighted homological regularities. We prove a few weighted homological identities some of which unify different classical homological identities and produce interesting new ones. △ Less

Submitted 5 June, 2023; v1 submitted 13 April, 2022; originally announced April 2022.

Comments: Accepted in Transactions of the AMS. arXiv admin note: text overlap with arXiv:2107.07474

MSC Class: 16E10; 16E65; 20J99

Homological regularities and concavities

Authors: Ellen Kirkman, Robert Won, James J. Zhang

Abstract: This paper concerns homological notions of regularity for noncommutative algebras. Properties of an algebra $A$ are reflected in the regularities of certain (complexes of) $A$-modules. We study the classical Tor-regularity and Castelnuovo-Mumford regularity, which were generalized from the commutative setting to the noncommutative setting by Jørgensen and Dong-Wu. We also introduce two new numeric… ▽ More This paper concerns homological notions of regularity for noncommutative algebras. Properties of an algebra $A$ are reflected in the regularities of certain (complexes of) $A$-modules. We study the classical Tor-regularity and Castelnuovo-Mumford regularity, which were generalized from the commutative setting to the noncommutative setting by Jørgensen and Dong-Wu. We also introduce two new numerical homological invariants: concavity and Artin-Schelter regularity. Artin-Schelter regular algebras occupy a central position in noncommutative algebra and noncommutative algebraic geometry, and we use these invariants to establish criteria which can be used to determine whether a noetherian connected graded algebra is Artin-Schelter regular. △ Less

Submitted 26 October, 2023; v1 submitted 15 July, 2021; originally announced July 2021.

Comments: Minor edits and corrections made throughout

MSC Class: 16E10; 16E65; 20J99

Tensor Representations for the Drinfeld Double of the Taft Algebra

Authors: Georgia Benkart, Rekha Biswal, Ellen Kirkman, Van C. Nguyen, Jieru Zhu

Abstract: Over an algebraically closed field $\mathbb k$ of characteristic zero, the Drinfeld double $D_n$ of the Taft algebra that is defined using a primitive $n$th root of unity $q \in \mathbb k$ for $n \geq 2$ is a quasitriangular Hopf algebra. Kauffman and Radford have shown that $D_n$ has a ribbon element if and only if $n$ is odd, and the ribbon element is unique; however there has been no explicit d… ▽ More Over an algebraically closed field $\mathbb k$ of characteristic zero, the Drinfeld double $D_n$ of the Taft algebra that is defined using a primitive $n$th root of unity $q \in \mathbb k$ for $n \geq 2$ is a quasitriangular Hopf algebra. Kauffman and Radford have shown that $D_n$ has a ribbon element if and only if $n$ is odd, and the ribbon element is unique; however there has been no explicit description of this element. In this work, we determine the ribbon element of $D_n$ explicitly. For any $n \geq 2$, we use the R-matrix of $D_n$ to construct an action of the Temperley-Lieb algebra $\mathsf{TL}_k(ξ)$ with $ξ= -(q^{\frac{1}{2}}+q^{-\frac{1}{2}})$ on the $k$-fold tensor power $V^{\otimes k}$ of any two-dimensional simple $D_n$-module $V$. This action is known to be faithful for arbitrary $k \geq 1$. We show that $\mathsf{TL}_k(ξ)$ is isomorphic to the centralizer algebra $\text{End}_{D_n}(V^{\otimes k})$ for $1 \le k \le 2n-2$. △ Less

Submitted 25 May, 2022; v1 submitted 30 December, 2020; originally announced December 2020.

Comments: 27 pages, to appear in Journal of Algebra. By the referee's suggestions, starting Section 4, we shorten the paper and generalize the main results to hold for any integer $n \geq 2$. The old Sections 5 and 6 are now combined in Section 5, removing the diagrammatic arguments and extending the results to any two-dimensional simple $D_n$-module

MSC Class: Primary 16T05. Secondary 16T25; 20C08

Degree bounds for Hopf actions on Artin-Schelter regular algebras

Authors: Ellen Kirkman, Robert Won, James J. Zhang

Abstract: We study semisimple Hopf algebra actions on Artin-Schelter regular algebras and prove several upper bounds on the degrees of the minimal generators of the invariant subring, and on the degrees of syzygies of modules over the invariant subring. These results are analogues of results for group actions on commutative polynomial rings proved by Noether, Fogarty, Fleischmann, Derksen, Sidman, Chardin,… ▽ More We study semisimple Hopf algebra actions on Artin-Schelter regular algebras and prove several upper bounds on the degrees of the minimal generators of the invariant subring, and on the degrees of syzygies of modules over the invariant subring. These results are analogues of results for group actions on commutative polynomial rings proved by Noether, Fogarty, Fleischmann, Derksen, Sidman, Chardin, and Symonds. △ Less

Submitted 15 December, 2021; v1 submitted 11 August, 2020; originally announced August 2020.

Comments: To appear in Advances in Mathematics

MSC Class: 16E10; 16E65; 16T05; 16W22; 20J99

McKay Matrices for Finite-dimensional Hopf Algebras

Authors: Georgia Benkart, Rekha Biswal, Ellen Kirkman, Van C. Nguyen, Jieru Zhu

Abstract: For a finite-dimensional Hopf algebra $A$, the McKay matrix $M_V$ of an $A$-module $V$ encodes the relations for tensoring the simple $A$-modules with $V$. We prove results about the eigenvalues and the right and left (generalized) eigenvectors of $M_V$ by relating them to characters. We show how the projective McKay matrix $Q_V$ obtained by tensoring the projective indecomposable modules of $A$ w… ▽ More For a finite-dimensional Hopf algebra $A$, the McKay matrix $M_V$ of an $A$-module $V$ encodes the relations for tensoring the simple $A$-modules with $V$. We prove results about the eigenvalues and the right and left (generalized) eigenvectors of $M_V$ by relating them to characters. We show how the projective McKay matrix $Q_V$ obtained by tensoring the projective indecomposable modules of $A$ with $V$ is related to the McKay matrix of the dual module of $V$. We illustrate these results for the Drinfeld double $D_n$ of the Taft algebra by deriving expressions for the eigenvalues and eigenvectors of $M_V$ and $Q_V$ in terms of several kinds of Chebyshev polynomials. For the matrix $N_V$ that encodes the fusion rules for tensoring $V$ with a basis of projective indecomposable $D_n$-modules for the image of the Cartan map, we show that the eigenvalues and eigenvectors also have such Chebyshev expressions. △ Less

Submitted 1 January, 2021; v1 submitted 10 July, 2020; originally announced July 2020.

Comments: 41 pages, minor changes according to the referees' suggestions, the appendix is removed from version 2

MSC Class: 16T05; 19A49; 33C45

Semisimple Reflection Hopf Algebras of Dimension Sixteen

Authors: Luigi Ferraro, Ellen Kirkman, W. Frank Moore, Robert Won

Abstract: For each nontrivial semisimple Hopf algebra $H$ of dimension sixteen over $\mathbb{C}$, the smallest dimension inner-faithful representation of $H$ acting on a quadratic AS regular algebra $A$ of dimension 2 or 3, homogeneously and preserving the grading, is determined. Each invariant subring $A^H$ is determined. When $A^H$ is also AS regular, thus providing a generalization of the Chevalley-Sheph… ▽ More For each nontrivial semisimple Hopf algebra $H$ of dimension sixteen over $\mathbb{C}$, the smallest dimension inner-faithful representation of $H$ acting on a quadratic AS regular algebra $A$ of dimension 2 or 3, homogeneously and preserving the grading, is determined. Each invariant subring $A^H$ is determined. When $A^H$ is also AS regular, thus providing a generalization of the Chevalley-Shephard-Todd Theorem, we say that $H$ is a reflection Hopf algebra for $A$. △ Less

Submitted 21 January, 2021; v1 submitted 15 July, 2019; originally announced July 2019.

Comments: Revised version. To appear in Algebras and Representation Theory

MSC Class: 16T05; 16E65; 16G10

On the Noether Bound for Noncommutative Rings

Authors: Luigi Ferraro, Ellen Kirkman, W. Frank Moore, Kewen Peng

Abstract: We present two noncommutative algebras over a field of characteristic zero that each posses a family of actions by cyclic groups of order $2n$, represented in $n \times n$ matrices, requiring generators of degree $3n$. We present two noncommutative algebras over a field of characteristic zero that each posses a family of actions by cyclic groups of order $2n$, represented in $n \times n$ matrices, requiring generators of degree $3n$. △ Less

Submitted 15 July, 2019; originally announced July 2019.

MSC Class: 16W22; 13A30; 16Z05

The Jacobian, reflection arrangement and discriminant for reflection Hopf algebras

Authors: E. Kirkman, J. J. Zhang

Abstract: We study finite dimensional semisimple Hopf algebra actions on noetherian connected graded Artin-Schelter regular algebras, and introduce definitions of the Jacobian, the reflection arrangement and the discriminant in a noncommutative setting. We study finite dimensional semisimple Hopf algebra actions on noetherian connected graded Artin-Schelter regular algebras, and introduce definitions of the Jacobian, the reflection arrangement and the discriminant in a noncommutative setting. △ Less

Submitted 5 December, 2019; v1 submitted 1 February, 2019; originally announced February 2019.

Comments: 39 pages. v2 has changes from original submission. Some parts of Section 4 moved to Section 3, other parts removed and will appear elsewhere

Three infinite families of reflection Hopf algebras

Authors: Luigi Ferraro, Ellen Kirkman, W. Frank Moore, Robert Won

Abstract: Let $H$ be a semisimple Hopf algebra acting on an Artin-Schelter regular algebra $A$, homogeneously, inner-faithfully, preserving the grading on $A$, and so that $A$ is an $H$-module algebra. When the fixed subring $A^H$ is also AS regular, thus providing a generalization of the Chevalley-Shephard-Todd Theorem, we say that $H$ is a reflection Hopf algebra for $A$. We show that each of the semisimp… ▽ More Let $H$ be a semisimple Hopf algebra acting on an Artin-Schelter regular algebra $A$, homogeneously, inner-faithfully, preserving the grading on $A$, and so that $A$ is an $H$-module algebra. When the fixed subring $A^H$ is also AS regular, thus providing a generalization of the Chevalley-Shephard-Todd Theorem, we say that $H$ is a reflection Hopf algebra for $A$. We show that each of the semisimple Hopf algebras $H_{2n^2}$ of Pansera, and $\mathcal{A}_{4m}$ and $\mathcal{B}_{4m}$ of Masuoka is a reflection Hopf algebra for an AS regular algebra of dimension 2 or 3. △ Less

Submitted 14 November, 2019; v1 submitted 30 October, 2018; originally announced October 2018.

Comments: Some minor corrections

MSC Class: 16T05; 16E65; 16G10

Noncommutative Knörrer periodicity and noncommutative Kleinian singularities

Authors: Andrew Conner, Ellen Kirkman, W. Frank Moore, Chelsea Walton

Abstract: We establish a version of Knörrer's Periodicity Theorem in the context of noncommutative invariant theory. Namely, let $A$ be a left noetherian AS-regular algebra, let $f$ be a normal and regular element of $A$ of positive degree, and take $B=A/(f)$. Then there exists a bijection between the set of isomorphism classes of indecomposable non-free maximal Cohen-Macaulay modules over $B$ and those ove… ▽ More We establish a version of Knörrer's Periodicity Theorem in the context of noncommutative invariant theory. Namely, let $A$ be a left noetherian AS-regular algebra, let $f$ be a normal and regular element of $A$ of positive degree, and take $B=A/(f)$. Then there exists a bijection between the set of isomorphism classes of indecomposable non-free maximal Cohen-Macaulay modules over $B$ and those over (a noncommutative analog of) its second double branched cover $(B^\#)^\#$. Our results use and extend the study of twisted matrix factorizations, which was introduced by the first three authors with Cassidy. These results are applied to the noncommutative Kleinian singularities studied by the second and fourth authors with Chan and Zhang. △ Less

Submitted 15 July, 2019; v1 submitted 18 September, 2018; originally announced September 2018.

Comments: Numerous typos fixed, removed unnecessary finite order hypothesis

MSC Class: 16G50; 16G60

Auslander's Theorem for group coactions on noetherian graded down-up algebras

Authors: J. Chen, E. Kirkman, J. J. Zhang

Abstract: We prove a version of a theorem of Auslander for finite group coactions on noetherian graded down-up algebras. We prove a version of a theorem of Auslander for finite group coactions on noetherian graded down-up algebras. △ Less

Submitted 18 May, 2019; v1 submitted 26 January, 2018; originally announced January 2018.

Comments: 23 pages

MSC Class: 16E10; 16E65; 16S40; 16T05; 16W22

Color Lie rings and PBW deformations of skew group algebras

Authors: S. Fryer, T. Kanstrup, E. Kirkman, A. V. Shepler, S. Witherspoon

Abstract: We investigate color Lie rings over finite group algebras and their universal enveloping algebras. We exhibit these universal enveloping algebras as PBW deformations of skew group algebras: Every color Lie ring over a finite group algebra with a particular Yetter-Drinfeld structure has universal enveloping algebra that is a quantum Drinfeld orbifold algebra. Conversely, every quantum Drinfeld orbi… ▽ More We investigate color Lie rings over finite group algebras and their universal enveloping algebras. We exhibit these universal enveloping algebras as PBW deformations of skew group algebras: Every color Lie ring over a finite group algebra with a particular Yetter-Drinfeld structure has universal enveloping algebra that is a quantum Drinfeld orbifold algebra. Conversely, every quantum Drinfeld orbifold algebra of a particular type arising from the action of an abelian group is the universal enveloping algebra of some color Lie ring over the group algebra. One consequence is that these quantum Drinfeld orbifold algebras are braided Hopf algebras. △ Less

Submitted 26 January, 2018; originally announced January 2018.

Comments: 22 pages

Auslander's Theorem for permutation actions on noncommutative algebras

Authors: Jason Gaddis, Ellen Kirkman, W. Frank Moore, Robert Won

Abstract: When $A = \mathbb{k}[x_1, \ldots, x_n]$ and $G$ is a small subgroup of $\operatorname{GL}_n(\mathbb{k})$, Auslander's Theorem says that the skew group algebra $A \# G$ is isomorphic to $\operatorname{End}_{A^G}(A)$ as graded algebras. We prove a generalization of Auslander's Theorem for permutation actions on $(-1)$-skew polynomial rings, $(-1)$-quantum Weyl algebras, three-dimensional Sklyanin al… ▽ More When $A = \mathbb{k}[x_1, \ldots, x_n]$ and $G$ is a small subgroup of $\operatorname{GL}_n(\mathbb{k})$, Auslander's Theorem says that the skew group algebra $A \# G$ is isomorphic to $\operatorname{End}_{A^G}(A)$ as graded algebras. We prove a generalization of Auslander's Theorem for permutation actions on $(-1)$-skew polynomial rings, $(-1)$-quantum Weyl algebras, three-dimensional Sklyanin algebras, and a certain graded down-up algebra. We also show that certain fixed rings $A^G$ are graded isolated singularities in the sense of Ueyama. △ Less

Submitted 11 September, 2018; v1 submitted 28 April, 2017; originally announced May 2017.

MSC Class: 16E65; 16W22

Journal ref: Proceedings of the American Mathematical Society, 2019, 147 (5), 1881-1896

McKay Correspondence for semisimple Hopf actions on regular graded algebras, II

Authors: Kenneth Chan, Ellen Kirkman, Chelsea Walton, James Zhang

Abstract: We continue our study of the McKay Correspondence for grading preserving actions of semisimple Hopf algebras H on (noncommutative) Artin-Schelter regular algebras A. Here, we establish correspondences between module categories over A^H, over A\#H, and over \End_{A^H} A. We also study homological properties of (endomorphism rings of) maximal Cohen-Macaulay modules over A^H. We continue our study of the McKay Correspondence for grading preserving actions of semisimple Hopf algebras H on (noncommutative) Artin-Schelter regular algebras A. Here, we establish correspondences between module categories over A^H, over A\#H, and over \End_{A^H} A. We also study homological properties of (endomorphism rings of) maximal Cohen-Macaulay modules over A^H. △ Less

Submitted 2 October, 2017; v1 submitted 4 October, 2016; originally announced October 2016.

Comments: v2: to appear in the Journal of Noncommutative Geometry

McKay Correspondence for semisimple Hopf actions on regular graded algebras, I

Authors: Kenneth Chan, Ellen Kirkman, Chelsea Walton, James Zhang

Abstract: In establishing a more general version of the McKay correspondence, we prove Auslander's theorem for actions of semisimple Hopf algebras H on noncommutative Artin-Schelter regular algebras A of global dimension two, where A is a graded H-module algebra, and the Hopf action on A is inner faithful with trivial homological determinant. We also show that each fixed ring A^H under such an action arises… ▽ More In establishing a more general version of the McKay correspondence, we prove Auslander's theorem for actions of semisimple Hopf algebras H on noncommutative Artin-Schelter regular algebras A of global dimension two, where A is a graded H-module algebra, and the Hopf action on A is inner faithful with trivial homological determinant. We also show that each fixed ring A^H under such an action arises an analogue of a coordinate ring of a Kleinian singularity. △ Less

Submitted 12 May, 2018; v1 submitted 23 July, 2016; originally announced July 2016.

Comments: v2: 24 pages. To appear in J. Algebra

Rigidity of down-up algebras with respect to finite group coactions

Authors: J. Chen, E. Kirkman, J. J. Zhang

Abstract: If a nontrivial finite group coacts on a graded noetherian down-up algebra $A$ inner faithfully and homogeneously, then the fixed subring is not isomorphic to $A$. Therefore graded noetherian down-up algebras are rigid with respect to finite group coactions, in the sense of Alev-Polo. An example is given to show that this rigidity under group coactions does not have all the same consequences as th… ▽ More If a nontrivial finite group coacts on a graded noetherian down-up algebra $A$ inner faithfully and homogeneously, then the fixed subring is not isomorphic to $A$. Therefore graded noetherian down-up algebras are rigid with respect to finite group coactions, in the sense of Alev-Polo. An example is given to show that this rigidity under group coactions does not have all the same consequences as the rigidity under group actions. △ Less

Submitted 27 June, 2016; originally announced June 2016.

Comments: 14 pages

MSC Class: 16E10; 16W22

On the discriminant of twisted tensor products

Authors: Jason Gaddis, Ellen Kirkman, W. Frank Moore

Abstract: We provide formulas for computing the discriminant of noncommutative algebras over central subalgebras in the case of Ore extensions and skew group extensions. The formulas follow from a more general result regarding the discriminants of certain twisted tensor products. We employ our formulas to compute automorphism groups for examples in each case. We provide formulas for computing the discriminant of noncommutative algebras over central subalgebras in the case of Ore extensions and skew group extensions. The formulas follow from a more general result regarding the discriminants of certain twisted tensor products. We employ our formulas to compute automorphism groups for examples in each case. △ Less

Submitted 21 December, 2016; v1 submitted 9 June, 2016; originally announced June 2016.

Journal ref: Journal of Algebra 477 (2017): 29-55

Nakayama Automorphism and Rigidity of Dual Reflections Group Coactions

Authors: E. Kirkman, J. Kuzmanovich, J. J. Zhang

Abstract: We study homological properties and rigidity of group coactions on Artin-Schelter regular algebras. We study homological properties and rigidity of group coactions on Artin-Schelter regular algebras. △ Less

Submitted 6 May, 2016; originally announced May 2016.

MSC Class: 16E10; 16E65; 16T05; 16W22; 20J99

Invariant Theory of Artin-Schelter Regular Algebras: A survey

Authors: Ellen E Kirkman

Abstract: This is a survey of results that extend notions of the classical invariant theory of linear actions by finite groups on $k[x_1, \dots, x_n]$ to the setting of finite group or Hopf algebra $H$ actions on an Artin-Schelter regular algebra $A$. We investigate when $A^H$ is AS regular, or AS Gorenstein, or a "complete intersection" in a sense that is defined. Directions of related research are explore… ▽ More This is a survey of results that extend notions of the classical invariant theory of linear actions by finite groups on $k[x_1, \dots, x_n]$ to the setting of finite group or Hopf algebra $H$ actions on an Artin-Schelter regular algebra $A$. We investigate when $A^H$ is AS regular, or AS Gorenstein, or a "complete intersection" in a sense that is defined. Directions of related research are explored briefly. △ Less

Submitted 19 June, 2015; originally announced June 2015.

MSC Class: 16W22; 16E65; 16S38; 16W50

Invariant Theory of Finite Group Actions on Down-Up Algebras

Authors: E. Kirkman, J. Kuzmanovich, J. J. Zhang

Abstract: We study Artin-Schelter Gorenstein fixed subrings of some Artin-Schelter regular algebras of dimension 2 and 3 under finite group actions, and prove a noncommutative version of the Kac-Watanabe and Gordeev theorem for these algebras. We study Artin-Schelter Gorenstein fixed subrings of some Artin-Schelter regular algebras of dimension 2 and 3 under finite group actions, and prove a noncommutative version of the Kac-Watanabe and Gordeev theorem for these algebras. △ Less

Submitted 2 August, 2013; originally announced August 2013.

Comments: 47 pages

MSC Class: 16W22; 16E65; 16S38

Periodic free resolutions from twisted matrix factorizations

Authors: Thomas Cassidy, Andrew Conner, Ellen Kirkman, W. Frank Moore

Abstract: The notion of a matrix factorization was introduced by Eisenbud in the commutative case in his study of bounded (periodic) free resolutions over complete intersections. In this work, we extend the notion of (homogeneous) matrix factorizations to regular normal elements of connected graded algebras over a field. Next, we relate the category of twisted matrix factorizations to an element over a ri… ▽ More The notion of a matrix factorization was introduced by Eisenbud in the commutative case in his study of bounded (periodic) free resolutions over complete intersections. In this work, we extend the notion of (homogeneous) matrix factorizations to regular normal elements of connected graded algebras over a field. Next, we relate the category of twisted matrix factorizations to an element over a ring and certain Zhang twists. We also show that in the AS-regular setting, every sufficiently high syzygy module is the cokernel of some twisted matrix factorization. Furthermore, we show that in this setting there is an equivalence of categories between the homotopy category of twisted matrix factorizations and the singularity category of the hypersurface, following work of Orlov. △ Less

Submitted 31 July, 2013; originally announced July 2013.

Invariants of (-1)-Skew Polynomial Rings under Permutation Representations

Authors: Ellen E. Kirkman, James J. Kuzmanovich, James J. Zhang

Abstract: The symmetric group S_n acts on the skew polynomial ring A=k_{-1}[x_1,..., x_n] as permutations. For subgroups G of S_n we consider properties of the ring of invariants A^G. We show that A^G is always Artin-Schelter Gorenstein, and we investigate when A^G is a "complete intersection", in a sense we define. We obtain bounds on the degrees of the algebra generators. The properties of A^G are compare… ▽ More The symmetric group S_n acts on the skew polynomial ring A=k_{-1}[x_1,..., x_n] as permutations. For subgroups G of S_n we consider properties of the ring of invariants A^G. We show that A^G is always Artin-Schelter Gorenstein, and we investigate when A^G is a "complete intersection", in a sense we define. We obtain bounds on the degrees of the algebra generators. The properties of A^G are compared with those in the classical case, k[x_1, ..., x_n]^G. △ Less

Submitted 16 May, 2013; originally announced May 2013.

Comments: 37 pages

MSC Class: 16A62; 16E70; 20J50

Quantum binary polyhedral groups and their actions on quantum planes

Authors: Kenneth Chan, Ellen Kirkman, Chelsea Walton, James Zhang

Abstract: We classify quantum analogues of actions of finite subgroups G of SL_2(k) on commutative polynomial rings k[u,v]. More precisely, we produce a classification of pairs (H,R), where H is a finite dimensional Hopf algebra that acts inner faithfully and preserves the grading of an Artin-Schelter regular algebra R of global dimension two. Remarkably, the corresponding invariant rings R^H share similar… ▽ More We classify quantum analogues of actions of finite subgroups G of SL_2(k) on commutative polynomial rings k[u,v]. More precisely, we produce a classification of pairs (H,R), where H is a finite dimensional Hopf algebra that acts inner faithfully and preserves the grading of an Artin-Schelter regular algebra R of global dimension two. Remarkably, the corresponding invariant rings R^H share similar regularity and Gorenstein properties as the invariant rings k[u,v]^G in the classic setting. We also present several questions and directions for expanding this work in noncommutative invariant theory. △ Less

Submitted 2 July, 2014; v1 submitted 28 March, 2013; originally announced March 2013.

Comments: To appear in J. Reine Angew. Math

Noncommutative Complete Intersections

Authors: Ellen E Kirkman, James Kuzmanovich, James J. Zhang

Abstract: Several generalizations of a commutative ring that is a graded complete intersection are proposed for a noncommutative graded $k$-algebra; these notions are justified by examples from noncommutative invariant theory. Several generalizations of a commutative ring that is a graded complete intersection are proposed for a noncommutative graded $k$-algebra; these notions are justified by examples from noncommutative invariant theory. △ Less

Submitted 24 June, 2014; v1 submitted 25 February, 2013; originally announced February 2013.

Comments: 28 pages

MSC Class: 16E65

Finiteness conditions on the Yoneda algebra of a monomial algebra

Authors: Andrew Conner, Ellen Kirkman, James Kuzmanovich, W. Frank Moore

Abstract: Let A be a connected graded noncommutative monomial algebra. We associate to A a finite graph Γ(A) called the CPS graph of A. Finiteness properties of the Yoneda algebra Ext_A(k,k) including Noetherianity, finite GK dimension, and finite generation are characterized in terms of Γ(A). We show these properties, notably finite generation, can be checked by means of a terminating algorithm. Let A be a connected graded noncommutative monomial algebra. We associate to A a finite graph Γ(A) called the CPS graph of A. Finiteness properties of the Yoneda algebra Ext_A(k,k) including Noetherianity, finite GK dimension, and finite generation are characterized in terms of Γ(A). We show these properties, notably finite generation, can be checked by means of a terminating algorithm. △ Less

Submitted 11 October, 2012; originally announced October 2012.

Shephard-Todd-Chevalley Theorem for skew polynomial rings

Authors: E. Kirkman, J. Kuzmanovich, J. J. Zhang

Abstract: We prove the following generalization of the classical Shephard-Todd-Chevalley Theorem. Let $G$ be a finite group of graded algebra automorphisms of a skew polynomial ring $A:=k_{p_{ij}}[x_1,...,x_n]$. Then the fixed subring $A^G$ has finite global dimension if and only if $G$ is generated by quasi-reflections. In this case the fixed subring $A^G$ is isomorphic a skew polynomial ring with possib… ▽ More We prove the following generalization of the classical Shephard-Todd-Chevalley Theorem. Let $G$ be a finite group of graded algebra automorphisms of a skew polynomial ring $A:=k_{p_{ij}}[x_1,...,x_n]$. Then the fixed subring $A^G$ has finite global dimension if and only if $G$ is generated by quasi-reflections. In this case the fixed subring $A^G$ is isomorphic a skew polynomial ring with possibly different $p_{ij}$'s. A version of the theorem is proved also for abelian groups acting on general quantum polynomial rings. △ Less

Submitted 19 June, 2008; originally announced June 2008.

Comments: 31 pages

MSC Class: 16A62; 16E70; 20J50

Rigidity of Graded Regular Algebras

Authors: E. Kirkman, J. Kuzmanovich, J. J. Zhang

Abstract: We prove a graded version of Alev-Polo's rigidity theorem: the homogenization of the universal enveloping algebra of a semisimple Lie algebra and the Rees ring of the Weyl algebras $A_n(k)$ cannot be isomorphic to their fixed subring under any finite group action. We also show the same result for other classes of graded regular algebras including the Sklyanin algebras. We prove a graded version of Alev-Polo's rigidity theorem: the homogenization of the universal enveloping algebra of a semisimple Lie algebra and the Rees ring of the Weyl algebras $A_n(k)$ cannot be isomorphic to their fixed subring under any finite group action. We also show the same result for other classes of graded regular algebras including the Sklyanin algebras. △ Less

Submitted 5 June, 2007; originally announced June 2007.

Comments: 39 pages To be published in Transactions of the American Mathematical Society

MSC Class: 16A62 (Primary); 16E70; 16W30; 20J50 (Secondary)