1
$\begingroup$

Le $X_1$, $X_2$ and $Z$ be smooth quasi-projective connected varieties defined over $\mathbf{C}$. Let $p_1:X_1\rightarrow Z$ and $p_2:X_2\rightarrow Z$ be finite etale maps. Assume that $f:X_1\rightarrow X_2$ is an analytic isomorphism such that $p_2\circ f=p_1$.

Q1: Does it follow that $f$ is regular?

Note that if the answer to Q1 is positive then because of the symmetry of the problem $f$ is automatically biregular. A positive answer to Q1 would give "in some sense" a strengthening of Proposition 9 on p. 13 of GAGA. This proposition says that if one has a regular map $f:X_1\rightarrow X_2$ such that $f$ is an analytic isomorphism then $f$ is biregular.

So basically, I'm asking if it is possible to replace the regularity assumption on $f$ by the weaker data of two finite etale maps over a base $Z$ which are compatible with $f$ in order to be able to deduce that $f$ is biregular.

$\endgroup$

2 Answers 2

1
$\begingroup$

This (from SGA 1) is the proof that the functor is fully faithful: We may suppose that $X$ is connected. To give an $X$-morphism $Y\rightarrow Y^{\prime}$ is to give a section to $Y\times_{X}Y^{\prime}\rightarrow Y$, which is the same as to give a connected component $\Gamma$ of $Y\times_{X}Y^{\prime}$ such that the morphism $\Gamma\rightarrow X$ induced by the projection $Y\times_{X}Y^{\prime}\rightarrow Y$ is an isomorphism. But the connected components of $Y\times_{X}Y^{\prime}$ coincide with the connected components of $Y^{an}\times_{X^{an}}Y^{\prime an}$, and if $\Gamma$ is a connected component of $Y\times_{X}Y^{\prime}$, then the projection $\Gamma\rightarrow X$ is an isomorphism if and only if $\Gamma^{an}\rightarrow Y^{an}$ is an isomorphism.

$\endgroup$
2
  • $\begingroup$ Typo: $\Gamma \to Y$ instead of $\Gamma \to X$? $\endgroup$
    – name
    Apr 23, 2012 at 7:26
  • $\begingroup$ Ok I got it. So by taking the fiber product you can bring it back to the case where you only have to deal with one arrow (modulo the simple but important observation that the connected components in the analytic and algebraic category agree). Many thanks! $\endgroup$ Apr 23, 2012 at 12:35
0
$\begingroup$

RIEMANN EXISTENCE THEOREM: For any nonsingular algebraic variety $X$ over $\mathbb{C}$, the functor $Y\mapsto Y^{an}$ defines an equivalence between the categories of finite etale coverings of $X$ and $X^{an}$.

So the answer is yes.

$\endgroup$
6
  • $\begingroup$ So taking for granted Grauer-Remmert, I would you prove the Riemann Existence theorem? $\endgroup$ Apr 21, 2012 at 23:46
  • $\begingroup$ For proofs, see: Grauert and Remmert, Math. Ann. (1958), 245--318; SGA 4, XI.4.3; and SGA 1, XII. If you are willing to use resolution of singularities, the proof is not too hard (see SGA 1). $\endgroup$
    – anon
    Apr 22, 2012 at 0:00
  • $\begingroup$ So I never read Grauert und Remmert, but are they proving the existence of a finite analytic ramified covering over suitable compactifications of a single arrow $f:X\rightarrow Y$ or they also do it for a commutative triangle like in my question? $\endgroup$ Apr 22, 2012 at 1:04
  • $\begingroup$ So using Grauert-Remmert and GAGA we have: for every finite analytic unramified covering $f:X_1^{an}\rightarrow X_2$ with $X_2$ algebraic, there exists a unique algebraic structure un $X_1$ such that $f$ is finite etale. But In my question I'm also requiring that this regular map $f$ is compatible with the algebraic structure of $Z$. $\endgroup$ Apr 22, 2012 at 11:57
  • $\begingroup$ Look at the graph of $f$ (or the references I gave you). $\endgroup$
    – anon
    Apr 22, 2012 at 15:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.