Showing 1–23 of 23 results for author: Moore, W F

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

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

Authors: Hugh Howards, Thomas Kindred, W. Frank Moore, John Tolbert

Abstract: 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… ▽ More 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. △ Less

Submitted 19 September, 2024; originally announced September 2024.

Comments: 19 pages, 9 figures, comments welcome

MSC Class: 57K10; 57K40; 15A63; 11E20

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

Trimming Five Generated Gorenstein Ideals

Authors: Luigi Ferraro, W. Frank Moore

Abstract: 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… ▽ More 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. △ Less

Submitted 4 April, 2024; originally announced April 2024.

MSC Class: 13C05; 13D02; 13D07; 13H10

The Taylor resolution over a skew polynomial ring

Authors: Luigi Ferraro, Desiree Martin, W. Frank Moore

Abstract: 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 general… ▽ More 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. △ Less

Submitted 31 August, 2021; originally announced September 2021.

MSC Class: 16E05; 16E45; 16E40

Support varieties over skew complete intersections via derived braided Hochschild cohomology

Authors: Luigi Ferraro, W. Frank Moore, Josh Pollitz

Abstract: 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$ respect… ▽ More 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. △ Less

Submitted 28 January, 2021; originally announced January 2021.

MSC Class: 16E05; 16E30; 16E40; 16E45; 16E65

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

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

Authors: Luigi Ferraro, W. Frank Moore

Abstract: 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 shin… ▽ More 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. △ Less

Submitted 18 February, 2019; originally announced February 2019.

MSC Class: 16E45; 16E40; 16E65; 16E05

A converse to a construction of Eisenbud-Shamash

Authors: Petter A. Bergh, David A. Jorgensen, W. Frank Moore

Abstract: 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 generat… ▽ More 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$. △ Less

Submitted 13 November, 2018; originally announced November 2018.

MSC Class: 13D02; 13D07

Journal ref: J. Comm. Alg. 12 (2020) 467-477

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

Totally acyclic approximations

Authors: Petter A. Bergh, David A. Jorgensen, W. Frank Moore

Abstract: 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 t… ▽ More 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. △ Less

Submitted 25 June, 2016; originally announced June 2016.

MSC Class: 13D02; 13H10; 13C14

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

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.

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.

Moment Angle Complexes and Big Cohen-Macaulayness

Authors: Shisen Luo, Tomoo Matsumura, W. Frank Moore

Abstract: Let Z_K be the moment angle complex associated to a simplicial complex K, with the canonical torus T-action. In this paper, we prove that, for any possibly disconnected subgroup G of T, G-equivariant cohomology of Z_K over the integer Z is isomophic to the Tor-module Tor_{H(BR;Z)}(Z[K],Z) as graded modules, where Z_[K] is the Stanley-Reisner ring of K. Based on this, we prove that the surjectivity… ▽ More Let Z_K be the moment angle complex associated to a simplicial complex K, with the canonical torus T-action. In this paper, we prove that, for any possibly disconnected subgroup G of T, G-equivariant cohomology of Z_K over the integer Z is isomophic to the Tor-module Tor_{H(BR;Z)}(Z[K],Z) as graded modules, where Z_[K] is the Stanley-Reisner ring of K. Based on this, we prove that the surjectivity of the natural map H_T(Z_K;Z) to H_G(Z_K;Z) is equivalent to the vanishing of Tor^{H(BR;Z)}_1(Z[K],Z). Since the integral cohomology of various toric orbifolds can be identified with H_G(Z_K;Z), we studied the conditions for the cohomology of a toric orbifold to be a quotient of its equivariant cohomology by linear terms. △ Less

Submitted 10 June, 2012; v1 submitted 7 May, 2012; originally announced May 2012.

Comments: 21 papges. Comments are welcome

MSC Class: 14M25 (Primary) 55N91; 57R18 (Secondary)

Journal ref: Algebr. Geom. Topol. 14 (2014) 379-406

Connected sums of simplicial complexes and equivariant cohomology

Authors: Tomoo Matsumura, W. Frank Moore

Abstract: 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… ▽ More 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. △ Less

Submitted 10 June, 2012; v1 submitted 1 December, 2011; originally announced December 2011.

Comments: 14 pages

MSC Class: 55N91; 14M25; 57R18; 16S37; 53D99

The vanishing of a higher codimension analog of Hochster's theta invariant

Authors: W. Frank Moore, Greg Piepmeyer, Sandra Spiroff, Mark E. Walker

Abstract: We study H. Dao's invariant $η_c^R$ of pairs of modules defined over a complete intersection ring $R$ of codimension $c$ having an isolated singularity. Our main result is that $η_c^R$ vanishes for all pairs of modules when $R$ is a {\em graded} complete intersection ring of codimension $c > 1$ having an isolated singularity. A consequence of this result is that all pairs of modules over such a… ▽ More We study H. Dao's invariant $η_c^R$ of pairs of modules defined over a complete intersection ring $R$ of codimension $c$ having an isolated singularity. Our main result is that $η_c^R$ vanishes for all pairs of modules when $R$ is a {\em graded} complete intersection ring of codimension $c > 1$ having an isolated singularity. A consequence of this result is that all pairs of modules over such a ring are $c$-$\Tor$-rigid. △ Less

Submitted 21 May, 2012; v1 submitted 11 October, 2011; originally announced October 2011.

Comments: 14 pages. Appendix added

MSC Class: 13D02; 13D07; 14F20

Connected sums of Gorenstein local rings

Authors: H. Ananthnarayan, Luchezar L. Avramov, W. Frank Moore

Abstract: A new construction of rings is introduced, studied, and applied. Given surjective homomorphisms $R\to T\gets S$ of local rings, and ideals in $R$ and $S$ that are isomorphic to some $T$-module $V$, the \emph{connected sum} $R#_TS$ is defined to be the local ring obtained by factoring out the diagonal image of $V$ in the fiber product $R\times_TS$. When $T$ is Cohen-Macaulay of dimension $d$ and… ▽ More A new construction of rings is introduced, studied, and applied. Given surjective homomorphisms $R\to T\gets S$ of local rings, and ideals in $R$ and $S$ that are isomorphic to some $T$-module $V$, the \emph{connected sum} $R#_TS$ is defined to be the local ring obtained by factoring out the diagonal image of $V$ in the fiber product $R\times_TS$. When $T$ is Cohen-Macaulay of dimension $d$ and $V$ is a canonical module of $T$, it is proved that if $R$ and $S$ are Gorenstein of dimension $d$, then so is $R#_TS$. This result is used to study how closely an artinian ring can be approximated by Gorenstein rings mapping onto it. It is proved that when $T$ is a field the cohomology algebra $\Ext^*_{R#_kS}(k,k)$ is an amalgam of the algebras $\Ext^*_{R}(k,k)$ and $\Ext^*_{S}(k,k)$ over isomorphic polynomial subalgebras generated by one element of degree 2. This is used to show that when $T$ is regular, the ring $R#_TS$ almost never is complete intersection. △ Less

Submitted 10 February, 2011; v1 submitted 7 May, 2010; originally announced May 2010.

Comments: This version includes a new theorem (Theorem 1.8), in which results due to D'Anna and Shapiro are completed and strengthened. Other changes to the text are minor. To appear in Crelle's J

MSC Class: 13D07 (Primary); 13D40

Hochster's theta invariant and the Hodge-Riemann bilinear relations

Authors: W. Frank Moore, Greg Piepmeyer, Sandra Spiroff, Mark E. Walker

Abstract: Let R be an isolated hypersurface singularity, and let M and N be finitely generated R-modules. As R is a hypersurface, the torsion modules of M against N are eventually periodic of period two (i.e., Tor_i^R(M,N) is isomorphic to Tor_{i+2}^R(M,N) for i sufficiently large). Since R has only an isolated singularity, these torsion modules are of finite length for i sufficiently large. The theta invar… ▽ More Let R be an isolated hypersurface singularity, and let M and N be finitely generated R-modules. As R is a hypersurface, the torsion modules of M against N are eventually periodic of period two (i.e., Tor_i^R(M,N) is isomorphic to Tor_{i+2}^R(M,N) for i sufficiently large). Since R has only an isolated singularity, these torsion modules are of finite length for i sufficiently large. The theta invariant of the pair (M,N) is defined by Hochster to be length(Tor_{2i}^R(M,N)) - length(Tor_{2i+1}^R(M,N)) for i sufficiently large. H. Dao has conjectured that the theta invariant is zero for all pairs (M,N) when R has even dimension and contains a field. This paper proves this conjecture under the additional assumption that R is graded with its irrelevant maximal ideal giving the isolated singularity. We also give a careful analysis of the theta pairing when the dimension of R is odd, and relate it to a classical pairing on the smooth variety Proj(R). △ Less

Submitted 8 September, 2010; v1 submitted 7 October, 2009; originally announced October 2009.

Comments: 20 pages

MSC Class: 13D02; 14C35; 19L10

Cohomology of Fiber Products of Local Rings

Authors: W. Frank Moore

Abstract: Let $S$ and $T$ be local rings with common residue field $k$, let $R$ be the fiber product $S \times_k T$, and let $M$ be an $S$-module. The Poincaré series $P^R_M$ of $M$ has been expressed in terms of $P^S_M$, $P^S_k$ and $P^T_k$ by Kostrikin and Shafarevich, and by Dress and Krämer. Here, an explicit minimal resolution, as well as theorems on the structure of $\Ext_R(k,k)$ and $\Ext_R(M,k)$ a… ▽ More Let $S$ and $T$ be local rings with common residue field $k$, let $R$ be the fiber product $S \times_k T$, and let $M$ be an $S$-module. The Poincaré series $P^R_M$ of $M$ has been expressed in terms of $P^S_M$, $P^S_k$ and $P^T_k$ by Kostrikin and Shafarevich, and by Dress and Krämer. Here, an explicit minimal resolution, as well as theorems on the structure of $\Ext_R(k,k)$ and $\Ext_R(M,k)$ are given that illuminate these equalities. Structure theorems for the cohomology modules of fiber products of modules are also given. As an application of these results, we compute the depth of cohomology modules over a fiber product. △ Less

Submitted 26 April, 2007; originally announced April 2007.

Comments: 13 pages

MSC Class: 13D02; 13D07; 13D40; 16S10; 16E30

Journal ref: Journal of Algebra 321 (2009) 758-773