Lech's conjecture in dimension three

  title={Lech's conjecture in dimension three},
  author={Linquan Ma},
  journal={arXiv: Commutative Algebra},
  • Linquan Ma
  • Published 1 September 2016
  • Mathematics
  • arXiv: Commutative Algebra
Let $(R,m)\to (S,n)$ be a flat local extension of local rings. Lech conjectured in 1960 that there should be a general inequality $e(R)\leq e(S)$ on the Hilbert-Samuel multiplicities. This conjecture is known when the base ring $R$ has dimension less than or equal to two, and remains open in higher dimensions. In this paper, we prove Lech's conjecture in dimension three when $R$ has equal characteristic. In higher dimension, our method yields substantial partial estimate: $e(R)\leq (d!/2^d… Expand
Lim Ulrich sequence: proof of Lech's conjecture for graded base rings
The long standing Lech's conjecture in commutative algebra states that for a flat local extension $(R,\mathfrak{m})\to (S,\mathfrak{n})$ of Noetherian local rings, we have an inequality on theExpand
Asymptotic Lech's inequality
We explore the classical Lech's inequality relating the Hilbert--Samuel multiplicity and colength of an $\mathfrak{m}$-primary ideal in a Noetherian local ring $(R,\mathfrak{m})$. We prove optimalExpand
Lech's inequality, the Stückrad–Vogel conjecture, and uniform behavior of Koszul homology
Abstract Let ( R , m ) be a Noetherian local ring, and let M be a finitely generated R-module of dimension d. We prove that the set { l ( M / I M ) e ( I , M ) } I = m is bounded below by 1 / d ! e (Expand
Cohomologically Full Rings
Inspired by a question raised by Eisenbud–Mustaţă–Stillman regarding the injectivity of maps from ${\operatorname{Ext}}$ modules to local cohomology modules and the work by the third author withExpand
Multiplicities and Betti numbers in local algebra via lim Ulrich points
This work concerns finite free complexes with finite length homology over a commutative noetherian local ring R. The focus is on complexes that have length dimR, which is the smallest possible value,Expand
Annihilators of Koszul Homologies and Almost Complete Intersections
In this article, we propose a question on the annihilators of positive Koszul homologies of a system of parameters of an almost complete intersection $R$. The question can be stated in terms of theExpand
Homological Conjectures and Lim Cohen-Macaulay Sequences
We discuss the new notion of a lim Cohen-Macaulay sequence of modules over a local ring, and also a somewhat weaker notion, as well as the theory of content for local cohomology modules. We relateExpand
A Trilogy, Given By Complete Tensor Product of Complete Rings Over The Coefficient Ring
The purpose of this paper is triple. First off, for an equi-characteristic zero, or a p-torsion free (0, p)-mixed characteristic local ring, we settle, positively, the conjecture on the closedness ofExpand
Counterexamples in the Theory of Ulrich Modules
The theory of Ulrich modules has many powerful and broad applications ranging from the original purpose of giving a criterion for when a local Cohen-Macaulay ring is Gorenstein to new methods ofExpand
Asymptotic Phenomena in Local Algebra and Singularity Theory
The goal of this workshop was to highlight, and further, the interactions between local algebra and singularity theory. The timing was serendipitous for both subjects have witnessed tremendousExpand


Intersection multiplicities over Gorenstein rings
Abstract. Let R be a complete local ring of dimension d over a perfect field of prime characteristic p, and let M be an R-module of finite length and finite projective dimension. S. Dutta showed thatExpand
F-signature exists
Suppose R is a d-dimensional reduced F-finite Noetherian local ring with prime characteristic p>0 and perfect residue field. Let $R^{1/p^{e}}$ be the ring of pe-th roots of elements of R for e∈ℕ, andExpand
Modules of finite projective dimension with negative intersection multiplicities
Let x~ be the image of X~ in R. The main object of this paper is to study modules of finite length and finite projective dimension over R. One consequence of our study will be counterexamples toExpand
A theorem on smoothness- Bass-Quillen, Chow groups and intersection multiplicity of Serre
We describe here an inherent connection of smoothness among the Bass–Quillen conjecture, the Chow-group problem and Serre’s Theorem on Intersection Multiplicity. Extension of a theorem of Lindel onExpand
Numerical equivalence defined on Chow groups of Noetherian local rings
In the present paper, we define a notion of numerical equivalence on Chow groups or Grothendieck groups of Noetherian local rings, which is an analogue of that on smooth projective varieties. Under aExpand
Length Approximations for Independently Generated Ideals
Abstract We study ideals primary to the maximal ideal of a commutative Noetherian local ring. When such an ideal is generated by elements which are independent in the sense of C. Lech, we prove aExpand
Riemann-roch for singular varieties
The basic tool for a general Riemann-Roch theorem is MacPherson’s graph construction, applied to a complex E. of vector bundles on a scheme Y, exact off a closed subset X. This produces a localizedExpand
Hilbert–Kunz Multiplicity and an Inequality between Multiplicity and Colength☆
Abstract In this paper, we study local rings of small Hilbert–Kunz multiplicity. In particular, we prove that an unmixed local ring of Hilbert–Kunz multiplicity one is regular and classifyExpand
Integral closure of ideals, rings, and modules
Table of basic properties Notation and basic definitions Preface 1. What is the integral closure 2. Integral closure of rings 3. Separability 4. Noetherian rings 5. Rees algebras 6. Valuations 7.Expand