Source author record

Justin Lyle

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
1topics
3close collaborators

Published work

2 publications

preprint2020arXiv

Extremal growth of Betti numbers and trivial vanishing of (co)homology

A Cohen-Macaulay local ring RR satisfies trivial vanishing if Tor⁡iR(M,N)=0\operatorname{Tor}_i^R(M,N)=0 for all large ii implies MM or NN has finite projective dimension. If RR satisfies trivial vanishing then we also have that Ext⁡Ri(M,N)=0\operatorname{Ext}^i_R(M,N)=0 for all large ii implies MM has finite projective dimension or NN has finite injective dimension. In this paper, we establish obstructions for the failure of trivial vanishing in terms of the asymptotic growth of the Betti and Bass numbers of the modules involved. These, together with a result of Gasharov and Peeva, provide sufficient conditions for RR to satisfy trivial vanishing; we provide sharpened conditions when RR is generalized Golod. Our methods allow us to settle the Auslander-Reiten conjecture in several new cases. In the last part of the paper, we provide criteria for the Gorenstein property based on consecutive vanishing of Ext. The latter results improve similar statements due to Ulrich, Hanes-Huneke, and Jorgensen-Leuschke.

preprint2020arXiv

Maximal Cohen-Macaulay modules that are not locally free on the punctured spectrum

We say that a Cohen-Macaulay local ring has finite CM⁡+\operatorname{\mathsf{CM}}_+-representation type if there exist only finitely many isomorphism classes of indecomposable maximal Cohen-Macaulay modules that are not locally free on the punctured spectrum. In this paper, we consider finite CM⁡+\operatorname{\mathsf{CM}}_+-representation type from various points of view, relating it with several conjectures on finite/countable Cohen-Macaulay representation type. We prove in dimension one that the Gorenstein local rings of finite CM⁡+\operatorname{\mathsf{CM}}_+-representation type are exactly the local hypersurfaces of countable CM\mathsf{CM}-representation type, that is, the hypersurfaces of type (A∞)(\mathrm{A}_\infty) and (D∞)(\mathrm{D}_\infty). We also discuss the closedness and dimension of the singular locus of a Cohen-Macaulay local ring of finite CM⁡+\operatorname{\mathsf{CM}}_+-representation type.

Research graph

See the researcher in context

Open full explorer

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.