arXiv subjects
Publications and source records attributed to Javier Majadas.
We study three classes of local homomorphisms and their behavior with respect to the ascent and descent of the \emph{complete intersection} property. Crucially, they fall in between the already studied classes of complete intersection and quasi-complete intersection homomorphisms, while also repairing some of the issues these presented.
Let $f \colon R \to B$ be a surjective homomorphism of rings with kernel $I$. Gulliksen (when $I$ is generated by a regular sequence) and later Mehta (in general) showed that for any $B$-modules $M$ and $N$, $\mathrm{Ext}_B^{\ast}(M,N)$ has a structure of graded $\mathrm{S}_B^{\ast}\left(\widehat{I/I^2}\right)$-module, where $\widehat{\quad}$ denotes dual and $\mathrm{S}$ denotes symmetric algebra. This construction is extended to the case where $f$ is not necessarily surjective in a way that allows one to regard these operators from a more natural perspective.
In this paper we give two results on the logarithmic cotangent complex: we construct a logarithmic analogues to the complex of Lichtenbaum and Schlessinger and to Quillen's fundamental spectral sequence.
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.
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\'e-Quillen homology modules $H_2(A,l,l)\to H_2(B,l,l)$ is injective.
Let u be a local homomorphism of noetherian local rings forming part of a commutative square vf=gu. We give some conditions on the square which imply that u is formally smooth. This result encapsulates a variety of (apparently unrelated) results in commutative algebra greatly improving some of them: Greco's theorem on descent of quasi-excellence property by finite surjective morphisms, Kunz's characterization of regular local rings in positive characteristic by means of the Frobenius homomorphism (and in fact the relative version obtained by Andre and Radu), etc. In the second part of the paper, we study a similar question for the complete intersection property instead of formal smoothness, giving also some applications.
We characterize K. Kato's log regularity in terms of vanishing of (co)homology of the logarithmic cotangent complex.
Regularity, complete intersection and Gorenstein properties of a local ring can be characterized by homological conditions on the canonical homomorphism into its residue field (Serre, Avramov, Auslander). It is also known that in positive characteristic, the Frobenius endomorphism can also be used for these characterizations (Kunz, ...), and more generally any contracting endomorphism. We introduce here a class of local homomorphisms, in some sense larger than all above, for which these characterizations still hold, providing an unified treatment for this class of homomorphisms.
Let C be a semidualizing complex over a noetherian local ring A. If there exists a local homomorphism with source A satisfying some homological properties, then C is dualizing.
A ring with a test module of finite upper complete intersection dimension is complete intersection.
The study of regularity and complete intersection of a tensor product of commutative algebras possessing the same property started with Grothendieck in 1965 and has continued until today. Surprisingly, the homology theory of Andre and Quillen, developed by these authors in 1967, has never been used for this study. With the help of this theory, we can (slightly) generalize the results known up to now. But more important, we hope to convince the reader that this homology theory is the adequate tool to handle these problems: the proofs are very short and (assuming some flatness hypothesis) it allows to see clearly what extra hypotheses we need.