arXiv subjects

Claudia Miller

Publications and source records attributed to Claudia Miller.

11 recordsLinked to original sources

arXiv2023

$k$ Summands of Syzygies over Rings of Positive Burch Index Via Canonical Resolutions

In recent work, Dao and Eisenbud define the notion of a Burch index, expanding the notion of Burch rings of Dao, Kobayashi, and Takahashi, and show that for any module over a ring of Burch index at least 2, its $n$th syzygy contains direct summands of the residue field for $n=4$ or $5$ and all $n\geq 7$. We investigate how this behavior is explained by the bar resolution formed from appropriate differential graded (dg) resolutions, yielding a new proof that includes all $n\geq 5$, which is sharp. When the module is Golod, we use instead the bar resolution formed from $A_\infty$ resolutions to identify such $k$ summands explicitly for all $n\geq 4$ and show that the number of these grows exponentially as the homological degree increases.

math.AC↗

arXiv2023

Resolutions of differential operators of low order for an isolated hypersurface singularity

In this paper we develop a new approach for studying differential operators of an isolated singularity graded hypersurface ring $R$ defining a surface in affine three-space over a field of characteristic zero. With this method, we construct an explicit minimal generating set for the modules of differential operators of order two and three, as well as their minimal free resolutions; this expands results of Bernstein, Gel'fand, and Gel'fand and of Vigué. Our construction relies, in part, on a description of these modules that we derive in the singularity category of $R$. Namely, we build explicit matrix factorizations starting from that of the residue field.

math.AC↗

arXiv2023

Betti numbers of the Frobenius powers of the maximal ideal over a general hypersurface

The main goal of this paper is to prove, in positive characteristic $p$, stability behavior for the graded Betti numbers in the periodic tails of the minimal resolutions of Frobenius powers of the homogeneous maximal ideals for very general choices of hypersurface in three variables whose degree has the opposite parity to that of $p$. We also find some of the structure of the matrix factorization giving the resolution. We achieve this by developing a method for obtaining the degrees of the generators of the defining ideal of an $\mathfrak{c}$-compressed Gorenstein Artinian graded algebra from its socle degree, where $\mathfrak{c}$ is a Frobenius power of the homogeneous maximal ideal. As an application, we also obtain the Hilbert-Kunz function of the hypersurface ring, as well as the Castelnuovo-Mumford regularity of the quotients by Frobenius powers of the homogeneous maximal ideal.

math.AC↗

arXiv2021

Canonical Resolutions over Koszul Algebras

We generalize Buchsbaum and Eisenbud's resolutions for the powers of the maximal ideal of a polynomial ring to resolve powers of the homogeneous maximal ideal over graded Koszul algebras. Our approach has the advantage of producing resolutions that are both more explicit and minimal compared to those previously discovered by Green and Mart\'ınez-Villa \cite{GreenMartinezVilla} or Mart\'ınez-Villa and Zacharia \cite{MartinezVillaZacharia}.

math.AC↗

arXiv2020

Transferring algebra structures on complexes

We discuss a homological method for transferring algebra structures on complexes along suitably nice homotopy equivalences, including those obtained after an application of the Perturbation Lemma. We study the implications for the Homotopy Transfer Theorems under such homotopy equivalences. As an application, we discuss how to use the homotopy on a Koszul complex given by a scaled de Rham map to find a new method for building a dg algebra structure on a well-known resolution, obtaining one that is both concrete and permutation invariant.

math.AC↗

arXiv2016

Adams Operations on Matrix Factorizations

We define Adams operations on matrix factorizations, and we show these operations enjoy analogues of several key properties of the Adams operations on perfect complexes with support developed by Gillet-Soulé in their paper "Intersection Theory Using Adams Operations". As an application, we give a proof of a conjecture of Dao-Kurano concerning the vanishing of Hochster's theta invariant.

math.KT↗

arXiv2016

Cyclic Adams Operations

Let $Q$ be a commutative, Noetherian ring and $Z \subseteq \operatorname{Spec}(Q)$ a closed subset. Define $K_0^Z(Q)$ to be the Grothendieck group of those bounded complexes of finitely generated projective $Q$-modules that have homology supported on $Z$. We develop "cyclic" Adams operations on $K_0^Z(Q)$ and we prove these operations satisfy the four axioms used by Gillet and Soulé in their paper "Intersection Theory Using Adams Operations". From this we recover a shorter proof of Serre's Vanishing Conjecture. We also show our cyclic Adams operations agree with the Adams operations defined by Gillet and Soulé in certain cases.

math.KT↗

arXiv2012

A Direct Limit for Limit Hilbert-Kunz Multiplicity for Smooth Projective Curves

This paper concerns the question of whether a more direct limit can be used to obtain the limit Hilbert-Kunz multiplicity, a possible candidate for a characteristic zero Hilbert-Kunz multiplicity. The main goal is to establish an affirmative answer for one of the main cases for which the limit Hilbert-Kunz multiplicity is even known to exist, namely that of graded ideals in the homogeneous coordinate ring of smooth projective curves. The proof involves more careful estimates of bounds found independently by Brenner and Trivedi on the dimensions of the cohomologies of twists of the syzygy bundle as the characteristic p goes to infinity and uses asymptotic results of Trivedi on the slopes of Harder-Narasimham filtrations of Frobenius pullbacks of bundles. In view of unpublished results of Gessel and Monsky, the case of maximal ideals in diagonal hypersurfaces is also discussed in depth.

math.AC↗

arXiv2011

Duality for Koszul Homology over Gorenstein Rings

We study Koszul homology over Gorenstein rings. If an ideal is strongly Cohen-Macaulay, the Koszul homology algebra satisfies Poincaré duality. We prove a version of this duality which holds for all ideals and allows us to give two criteria for an ideal to be strongly Cohen-Macaulay. The first can be compared to a result of Hartshorne and Ogus; the second is a generalization of a result of Herzog, Simis, and Vasconcelos using sliding depth.

math.AC↗

arXiv2004

Homology over local homomorphisms

The notions of Betti numbers and of Bass numbers of a finite module N over a local ring R are extended to modules that are only assumed to be finite over S, for some local homomorphism f: R --> S. Various techniques are developed to study the new invariants and to establish their basic properties. In several cases they are computed in closed form. Applications go in several directions. One is to identify new classes of finite R-modules whose classical Betti numbers or Bass numbers have extremal growth. Another is to transfer ring theoretical properties between R and S in situations where S may have infinite flat dimension over R. A third is to obtain criteria for a ring equipped with a `contracting' endomorphism -- such as the Frobenius endomorphism -- to be regular or complete intersection; these results represent broad generalizations of Kunz's characterization of regularity in prime characteristic.

math.AC↗

arXiv2003

The Frobenius endomorphism and homological dimensions

This is a survey on the relation between homological properties of the Frobenius endomorphism and finiteness of various homological dimensions of the ring or of modules over it, such as global dimension and projective dimension. We begin with Kunz's surprising result in 1969 that the regularity of a Noetherian local ring is equivalent to the flatness of its Frobenius endomorphism, as well as the subsequent generalizations to the module setting by Peskine and Szpiro and continue up through the recent flurry of results in the last five years. An attempt is made to include proofs whenever feasible.

math.AC↗