Lim Ulrich sequences and Lech's conjecture

DOI10.1007/S00222-022-01149-2MaRDI QIDQ6340097arXivWikidataFDO

Authors Linquan Ma

Publication date 5 May 2020

Published in arXiv

Full work available at URL https://doi.org/10.1007/S00222-022-01149-2

Mathematics Subject Classification ID

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Injective and flat modules and ideals in commutative rings (13C11)

arXiv classification

math.AC

Abstract: The long standing Lech's conjecture in commutative algebra states that for a flat local extension $(R,mathfrakm)o(S,mathfrakn)$ of Noetherian local rings, we have an inequality on the Hilbert--Samuel multiplicities: $e(R)leqe(S)$. In general the conjecture is wide open when $dimR>3$, even in equal characteristic. In this paper, we prove Lech's conjecture in all dimensions, provided $(R,mathfrakm)$ is a standard graded ring over a perfect field localized at the homogeneous maximal ideal. We introduce the notions of lim Ulrich and weakly lim Ulrich sequences. Roughly speaking these are sequences of finitely generated modules that are not necessarily Cohen--Macaulay, but asymptotically behave like Ulrich modules. We prove that the existence of these sequences imply Lech's conjecture. Though the existence of Ulrich modules is known in very limited cases, we construct weakly lim Ulrich sequences for all standard graded domains over perfect fields of positive characteristic.

This page was built for publication: Lim Ulrich sequences and Lech's conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6340097)