arXiv subjects

W. Frank Moore

Publications and source records attributed to W. Frank Moore.

At least 19 recordsLinked to original sources

arXiv2024

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

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.

math.RA↗

arXiv2024

Kink-equivalence of matrices, spanning surfaces, 4-manifolds, and quadratic forms

All checkerboard surfaces for a given knot in $S^3$ are related by isotopy and "kinking" and "unkinking" moves, which change the surfaces' Goeritz matrices like this: $G\leftrightarrow G\oplus [\pm1]=\left[\begin{smallmatrix} G&\mathbf{0}\\ \mathbf{0}^T&\pm1 \end{smallmatrix}\right]$. We call two symmetric integer matrices "kink-equivalent" if they are related by "kinking'' and "unkinking'' moves $G\leftrightarrow G\oplus [\pm1]$ and unimodular congruence. We prove constructively that every nonsingular symmetric integer matrix is kink-equivalent to a positive-definite matrix and to a negative-definite matrix, and we give bounds on the number of moves required. This has several implications, e.g. every knot in $S^3$ is "alternating up to fake unkinking moves" and every simply connected, closed, topological 4-manifold with nonsingular intersection pairing has a positive blow-up that is homeomorphic to a negative blow-up of a positive-definite, simply connected, closed, topological 4-manifold.

math.GT↗

arXiv2024

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

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.

math.RA↗

arXiv2024

Trimming Five Generated Gorenstein Ideals

Let $(R,\mathfrak{m},\Bbbk)$ be a regular local ring of dimension 3. Let $I$ be a Gorenstein ideal of $R$ of grade 3. It follows from a result of Buchsbaum and Eisenbud that there is a skew-symmetric matrix of odd size such that $I$ is generated by the sub-maximal pfaffians of this matrix. Let $J$ be the ideal obtained by multiplying some of the pfaffian generators of $I$ by $\mathfrak{m}$; we say that $J$ is a trimming of $I$. In a previous work, the first author and A. Hardesty constructed an explicit free resolution of $R/J$ and computed a DG algebra structure on this resolution. They utilized these products to analyze the Tor algebra of such trimmed ideals. Missing from their result was the case where $I$ is five generated. In this paper we address this case.

math.AC↗

arXiv2021

The Taylor resolution over a skew polynomial ring

Let $\Bbbk$ be a field and let $I$ be a monomial ideal in the polynomial ring $Q=\Bbbk[x_1,\ldots,x_n]$. In her thesis, Taylor introduced a complex which provides a finite free resolution for $Q/I$ as a $Q$-module. Later, Gemeda constructed a differential graded structure on the Taylor resolution. More recently, Avramov showed that this differential graded algebra admits divided powers. We generalize each of these results to monomial ideals in a skew polynomial ring $R$. Under the hypothesis that the skew commuting parameters defining $R$ are roots of unity, we prove as an application that as $I$ varies among all ideals generated by a fixed number of monomials of degree at least two in $R$, there is only a finite number of possibilities for the Poincaré series of $\Bbbk$ over $R/I$ and for the isomorphism classes of the homotopy Lie algebra of $R/I$ in cohomological degree larger or equal to two.

math.RA↗

arXiv2021

Support varieties over skew complete intersections via derived braided Hochschild cohomology

In this article we study a theory of support varieties over a skew complete intersection $R$, i.e. a skew polynomial ring modulo an ideal generated by a sequence of regular normal elements. We compute the derived braided Hochschild cohomology of $R$ relative to the skew polynomial ring and show its action on $\mathrm{Ext}_R(M,N)$ is noetherian for finitely generated $R$-modules $M$ and $N$ respecting the braiding of $R$. When the parameters defining the skew polynomial ring are roots of unity we use this action to define a support theory. In this setting applications include a proof of the Generalized Auslander-Reiten Conjecture and that $R$ possesses symmetric complexity.

math.RA↗

arXiv2021

Semisimple Reflection Hopf Algebras of Dimension Sixteen

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$.

math.RA↗

arXiv2019

Three infinite families of reflection Hopf algebras

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.

math.RA↗

arXiv2019

Noncommutative Knörrer periodicity and noncommutative Kleinian singularities

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.

math.RA↗

arXiv2019

On the Noether Bound for Noncommutative Rings

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$.

math.RA↗

arXiv2019

Differential graded algebra over quotients of skew polynomial rings by normal elements

Differential graded algebra techniques have played a crucial role in the development of homological algebra, especially in the study of homological properties of commutative rings carried out by Serre, Tate, Gulliksen, Avramov, and others. In this article, we extend the construction of the Koszul complex and acyclic closure to a more general setting. As an application of our constructions, we shine some light on the structure of the Ext algebra of quotients of skew polynomial rings by ideals generated by normal elements. As a consequence, we give a presentation of the Ext algebra when the elements generating the ideal form a regular sequence, generalizing a theorem of Bergh and Oppermann. It follows that in this case the Ext algebra is noetherian, providing a partial answer to a question of Kirkman, Kuzmanovich and Zhang.

math.RA↗

arXiv2018

A converse to a construction of Eisenbud-Shamash

Let $(Q,\mathfrak n,k)$ be a commutative local Noetherian ring, $f_1,\dots, f_c$ a $Q$-regular sequence in $\mathfrak n$, and $R=Q/(f_1,\dots,f_c)$. Given a complex of finitely generated free $R$-modules, we give a construction of a complex of finitely generated free $Q$-modules having the same homology. A key application is when the original complex is an $R$-free resolution of a finitely generated $R$-module. In this case our construction is a sort of converse to a construction of Eisenbud-Shamash yielding a free resolution of an $R$-module $M$ over $R$ given one over $Q$.

math.AC↗

arXiv2018

Auslander's Theorem for permutation actions on noncommutative algebras

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.

math.RA↗

arXiv2016

On the discriminant of twisted tensor products

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.

math.RA↗

arXiv2016

Totally acyclic approximations

Let $R$ be a commutative local ring. We study the subcategory of the homotopy category of $R$-complexes consisting of the totally acyclic $R$-complexes. In particular, in the context where $Q\to R$ is a surjective local ring homomorphism such that $R$ has finite projective dimension over $Q$, we define an adjoint pair of functors between the homotopy category of totally acyclic $R$-complexes and that of $Q$-complexes, which are analogous to the classical adjoint pair between the module categories of $R$ and $Q$. We give detailed proofs of the adjunction in terms of the unit and counit. As a consequence, one obtains a precise notion of approximations of totally acyclic $R$-complexes by totally acyclic $Q$-complexes.

math.AC↗

arXiv2013

Periodic free resolutions from twisted matrix factorizations

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.

math.RA↗

arXiv2012

Finiteness conditions on the Yoneda algebra of a monomial algebra

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.

math.RA↗

arXiv2012

Connected sums of simplicial complexes and equivariant cohomology

In this paper, we discuss the connected sum K_1#^Z K_2 of simplicial complexes K_1 and K_2, as well as define the notion of a strong connected sum. Geometrically, the connected sum is motivated by Lerman's symplectic cut applied to a toric orbifold, and algebraically, it is motivated by the connected sum of rings introduced by Ananthnarayan-Avramov-Moore. We show that the Stanley-Reisner ring of a connected sum K_1#^Z K_2 is the connected sum of the Stanley-Reisner rings of K_1 and K_2 along the Stanley-Reisner ring of the intersection of K_1 and K_2. The strong connected sum K_1 #^Z K_2 is defined in such a way that when K_1 and K_2 are Gorenstein, and Z is a suitable subset of the intersection of K_1 and K_2, then the Stanley-Reisner ring of the connected sum is Gorenstein, by the work of Ananthnarayan-Avramov-Moore. These algebraic computations can be interpreted in terms of the equivariant cohomology of moment angle complexes and we also describe the symplectic cut of a toric orbifold in terms of moment angle complexes.

math.SG↗