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)