Babylonian tower theorem on variety (Q2367462)

By a ``Babylonian tower of varieties'', the author means sequences \[ i_ n:X_ n \hookrightarrow X_{n+1}\text{ and }j_ n:Y_ n \hookrightarrow Y_{n+1} \] of closed immersions of smooth projective varieties over an algebraically closed field \(k\), such that \(X_ n\) (resp. \(Y_ n)\) is a divisor in \(X_{n+1}\) (resp. \(Y_{n+1})\), together with finite flat morphisms \(f_ n:X_ n \to Y_ n\) such that \(j_ n \circ f_ n=f_{n+1}\circ i_ n\) for all \(n \geq 0\). (The last condition is misprinted on line 8). The main theorem states that, in case char \(k=0\), if \(Y_ n\) is a weighted complete intersection in a weighted projective space and a hyperplane section of \(Y_{n+1}\), then \(X_ n\) is also a weighted complete intersection in a suitable weighted projective space. The same conclusion holds in case char \(k>0\), if \(Y_ n\) is already a projective space. This not only answers a question posed by \textit{W. Fulton} [cf. \textit{R. Lazarsfeld} in Complete intersections, Lect. 1st Sess. C.I.M.E., Acireale 1983, Lect. Notes Math. 1092, 29-61 (1984; Zbl 0547.14009)], but also implies a conjecture by \textit{T. Fujita} [cf. J. Math. Soc. Japan 32, 151- 169 (1980; Zbl 0414.14007); conjecture 4.23]. In proving his result, the author draws heavily from the techniques developed in his earlier papers [J. Math. Kyoto Univ. 17, 127-150 (1977; Zbl 0362.14005) and in: Proc. Int. Symp. Algebraic Geometry, Kyoto 1977, 663-672 (1977; Zbl 0405.14011)].