Nerea G. Barral | Searcharxiv

arXiv2022

Formally regular rings and descent of regularity

Valuation rings and perfectoid rings are examples of (usually non-noetherian) rings that behave in some sense like regular rings. We give and study an extension of the concept of regular local rings to non-noetherian rings so that it includes valuation and perfectoid rings and it is related to Grothendieck's definition of formal smoothness as in the noetherian case. For that, we have to take into account the topologies. We prove a descent theorem for regularity along flat homomorphisms (in fact for homomorphisms of finite flat dimension), extending some known results from the noetherian to the non-noetherian case, as well as generalizing some recent results in the non-noetherian case, such as the descent of regularity from perfectoid rings by B. Bhatt, S. Iyengar and L. Ma.

math.AC↗

arXiv2022

On a theorem of Gulliksen on the homology of local rings

We show that a modification of the proof of a result of Gulliksen gives an elementary proof of the following important theorem by Avramov: if $(A,k) \to (B,l)$ is a homomorphism of noetherian local rings and $B$ is of finite flat dimension over $A$, then the homomorphism induced in André-Quillen homology modules $H_2(A,l,l)\to H_2(B,l,l)$ is injective.

math.AC↗