Talk:Chow's lemma

This proof has serious issues

First, the proof that $g^{-1}(V_{i})$ cover $X'$ has an error: the claim is made that $f=p_{i}\circ g$, while $f:X'\to X$ isn't a function between the same objects as $p_{i}\circ g:X'\to P\to P_{i}$, so the claim that $X'$ is projective (one of two key steps in the proof!) does not follow from what is written on this page. Next, $v$ and $U'$ are both undefined but play a crucial role in the end of the proof. Additionally, the "diagram chase" that concludes the proof would be much more understandable if there was a diagram furnished - relying on the reader to draw it themselves is pedagogical malpractice. This proof needs major rewriting in order to be correct and comprehensible. Kreiser math (talk) 17:27, 28 August 2020 (UTC)

I've attempted to fix the proof. Please leave any comments or suggestions for further improvement here. Kreiser math (talk) 00:24, 17 February 2021 (UTC)