All rings considered are unitary and modules are unital. The paper is divided into seven sections. In Section 1, the authors define the ``patch of modules and discuss general properties of commutative squares. A commutative diagram \[ S : \quad \begin{tikzcd} R \ar[r,"p_2"]\ar[d,"p_1" '] & R_2 \ar[d,"j_2"]\\ R_1 \ar[r,"j_1" '] & R_3 \end{tikzcd} \] of ring homomorphisms is said to be a square. Let \({\mathcal S}\) be a square. A patching data for \({\mathcal S}\) is said to be a triple \((M_ 1,M_ 2,\zeta)\), where \(M_ i\) is a left \(R_ i\)-module for \(i=1,2\) and \(\zeta\) : \(R_ 3\otimes_{R_ 1}M_ 1\to R_ 3\otimes_{R_ 2}M_ 2\) is an isomorphism of left \(R_ 3\)-modules. The \({\mathcal S}\)-patch of \(M_ 1\) and \(M_ 2\) (via \(\zeta)\) is said to be a triple \((P,\pi_ 1,\pi_ 2)\), where P is a left R-module and \(\pi_ i: P\to M_ i\) are R-module homomorphisms \((i=1,2)\) with the following properties: (1) For each \(p\in P\), \(\zeta (1\otimes \pi_ 1(p))=1\otimes \pi_ 2(p)\). (2) If \((P',\pi '_ 1,\pi '_ 2)\) is another triple satisfying (1), then there is a unique R-module map f: P\({}'\to P\) for which \(\pi_ i\circ f=\pi '_ i\), \(i=1,2\). (3) The induced maps \(\tau_ i: R_ i\otimes_ RP\to M_ i\), induced by \(\tau_ i(r_ i\otimes p)=r_ i\pi_ i(p)\) for \(r_ i\in R_ i\), \(p\in P\) \((i=1,2)\) are isomorphisms of left \(R_ i\)-modules. If (3) holds for all patching data \((M_ 1,M_ 2,\zeta)\), then \({\mathcal S}\) is called a patching square. There are two major results. The first one shows that a certain property of the square itself implies the corresponding property for ``modules over the square. The second result is a general theorem on the existence of a patch. It says, roughly, that if one side of the square is under control, then so is the other side. In Section 2 the authors begin the study of analytic isomorphisms. The main result provides a necessary and sufficient condition on the analytic isomorphism for the patch to always exist. In Section 3 it is shown that patching is always possible over a Milnor square. In Section 4 the authors give some general patching properties. In Section 5 the authors deal with patching of projective modules. In Section 6 the authors investigate patching for analytic isomorphisms when more assumptions are made about the rings. In Section 7 they give a number of examples.
- Patching modules of finite projective dimension
- Modules for quadratic extensions of Dedekind rings
- scientific article; zbMATH DE number 4045894
- scientific article; zbMATH DE number 1457607
- Applications of patching to quadratic forms and central simple algebras
- On modules over commutative rings
- Cohen-Macaulayness and squarefree modules
- On free quadratic modules of commutative algebras
- Commutator Theory for Relatively Modular Quasivarieties
- scientific article; zbMATH DE number 1129146
- scientific article; zbMATH DE number 3278303 (Why is no real title available?)
- Introduction to Algebraic K-Theory. (AM-72)
- La périodicité de Bott en $K$-théorie générale
- On the Bass-Quillen conjecture concerning projective modules over polynomial rings
- On the conormal bundle of ideals
- Projektive Moduln über Polynomringen \(A[T_1,\dots,T_M\) mit einem regulären Grundring \(A\)
- Serre's conjecture
- The Milnor patching property
- Applications of patching to quadratic forms and central simple algebras
- Relative patching properties
- Patching and birationality
- Patching modules of finite projective dimension
- Analytic isomorphism and category of finitely generated modules
- Some patching results on algebras over two-dimensional factorial domains
This page was built for publication: Patching modules over commutative squares
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1121981)
