Rigidity of log morphisms (Q935906): Difference between revisions

A variety \(X\) defined over an algebraically closed field \(\Omega\) is semistable if the completion of each closed point of \(X\) is isomorphic to a ring of the form \[ \Omega[[X_1, \ldots, X_n]]/(X_1\cdots X_l). \] A family of schemes \(f : X \to S\) is semistable if it is flat and each geometric fiber is semistable. \textit{I. Iwanari} and \textit{A. Moriwaki} [Tohoku Math. J. (2) 59, No. 4, 481--525 (2007; Zbl 1157.14005)] showed a rigidity theorem for semistable varieties, and in the present article the second author generalises this result to semistable families. The rigidity theorem says that a morphism \(\phi : X \to Y\) between two semistable families with fine log structures, has at most one log morphism extension.