About de Smit's question on flatness
type: Item
instance of: scholarly article
title: About de Smit's question on flatness
zbMATH Open document ID: 1214.13005
author: Sylvain Brochard
author: Ariane Mézard
published in: Mathematische Zeitschrift
publication date: 2011-03-02T00:00:00Z
review text: Let \(\phi : (A, \mathfrak{m}_A) \to (B, \mathfrak{m}_B)\) denote a local homomorphism of local rings. A conjecture - attributed by the authors to Bart de Smit - says the following: Assume that \(A\) and \(B\) are of the same embedding dimension and both Artinian. Then any finitely generated \(B\)-module that is \(A\)-flat is \(B\)-flat. A consequence of the assumptions on \(\phi\) in de Smits conjecture is that \(\phi\) is a Gorenstein homomorphism. The conjecture is proved by the authors' in embedding dimension 1 or 2 and in arbitrary embedding dimension under some additional assumptions on the fibre ring \(B/\mathfrak{m}_A B.\) To be more precise: The authors call \(\phi\) a de Smit homomorphism if every \(B\)-module \(M\) that is flat and of finite type over \(A\) is flat over \(B.\) They introduce a technical condition called niceness for \(\phi\) and prove that a nice and Gorenstein homomorphism of Artinian local rings is de Smit. E.g. niceness is fulfilled in embedding dimension 1 and 2 and several other cases.
reviewed by: Peter Schenzel
Mathematics Subject Classification ID: 13B02
Mathematics Subject Classification ID: 13H10
zbMATH DE Number: 5859320
zbMATH Keywords: flatness
zbMATH Keywords: Artin rings
zbMATH Keywords: complete intersections
zbMATH Keywords: Gorenstein rings
MaRDI profile type: Publication
full work available at URL: s00209-009-0624-6
OpenAlex ID: W2042122336
cites work: Q5563439
cites work: Q5515450
cites work: Q4274969
cites work: Q4143433
cites work: Lech-Hironaka inequalities for flat couples of local rings
cites work: Certain numerical characters of singularities
cites work: Inequalities related to certain couples of local rings
cites work: Q4369168
cites work: Q3739243
cites work: Ideals generated by \(R\)-sequences
cites work: Modular elliptic curves and Fermat's Last Theorem
DOI: 10.1007/S00209-009-0624-6
description: scientific article; zbMATH DE number 5859320