The homotopy Lie algebra of a Tor-independent tensor product (Q6113398): Difference between revisions

Given a Tor-independent pair of surjective local ring maps \(\varphi_i \colon R \to S_i\) for \(i=1,2\), this paper considers the conditions: \begin{itemize} \item[1.] \(k\) has characteristic zero; \item[2.] at least one \(\varphi_i\) is almost small; \item[3.] each \(\varphi_i\) has finite weak category. \end{itemize} The authors show, that if any of these conditions holds, then there is a natural isomorphism of the homotopy Lie algebras \[ \pi(S_1 \otimes_R S_2) \cong \pi(S_1) \times_{\pi(R)} \pi(S_2)\,. \] The proof utilizes that any of these conditions allow a description of a minimal model of \(S\) in terms of the minimal models of \(R\), \(S_1\) and \(S_2\), all with respect to a minimal Cohen presentation: If \(\varphi \colon R \to S\) is a surjective map of complete local rings, then there are minimal models with respect to minimal Cohen presentations \(P \to R\) and \(Q \to S\) of the form \[ \begin{tikzcd} P[W] \ar[r] \ar[d,"\simeq"] & Q[U,X] \ar[d,"\simeq"] \\ R \ar[r] & S \end{tikzcd} \] with \(U \subseteq W\) and \(w \in W\) is either mapped to its corresponding element in \(U\) or to zero. When \(\varphi\) is almost small, then one has \(U = W\).