Remix.run Logo
tacomonstrous a day ago

This is nonsensical: Properness of the map is equivalent to its being an isomorphism (quick proof: Jacobian invertible implies that the map is etale, and properness would imply that it is finite etale, but affine space doesn't admit non-trivial finite etale covers), so the lack of properness is just another way of verifying that this is indeed a counterexample.

Davidzheng a day ago | parent [-]

sure it does? two copies of the affine line? (I guess there's no galois group & no connected finite etale things tho)

tacomonstrous a day ago | parent [-]

I would call that a trivial finite etale cover :)