Source author record

W. Frank Moore

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AC math.RA math.AG math.AT math.QA math.SG

Catalog footprint

Research overview

9works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

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.

preprint2019arXiv

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.

preprint2016arXiv

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.

preprint2013arXiv

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.

preprint2012arXiv

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.

preprint2012arXiv

Moment Angle Complexes and Big Cohen-Macaulayness

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.

preprint2012arXiv

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

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.

preprint2011arXiv

Connected sums of Gorenstein local rings

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.

preprint2010arXiv

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

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

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

W. Frank Moore

Research overview

Is this your work?

9 publications

Support varieties over skew complete intersections via derived braided Hochschild cohomology

Three infinite families of reflection Hopf algebras

Totally acyclic approximations

Periodic free resolutions from twisted matrix factorizations

Finiteness conditions on the Yoneda algebra of a monomial algebra

Moment Angle Complexes and Big Cohen-Macaulayness

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

Connected sums of Gorenstein local rings

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

See the researcher in context

Building this map preview