6
$\begingroup$

Let $S$ be a base scheme and $f \colon X \to S$ and $Y \to S$ finitely presented morphisms. Suppose that $g$ is affine and $f$ is faithfully flat and separated with connected reduced geometric fibers. Also, suppose that $f$ is proper over a (topologically) dense subscheme $U$ of $S$. Is it true that every morphism $g \colon X \to Y$ over $S$ is constant (i.e., factors through a section $S \to Y$)?

$\endgroup$
3
  • 6
    $\begingroup$ Problem local on base, so $S =$ Spec($A$), $Y =$ Spec($B$), $g$ is $A$-alg. map $B \rightarrow O(X)$, & ask if image = $A$ ($A \rightarrow O(X)$ is inj.). If OK for all $B$ f. pres. over $A$ then OK for all $A$-alg. $B$ by limits. Then $B = O(X)$ forces $O(X) = A$. Conversely if $O(X) = A$ all OK. So $Y$ irrelevant; question is if $O_S \rightarrow f_ {\ast}O_X$ is =. Surely $U$ dense in sense preserved by localization, so localize @ generic pt of complement of max. open where $O_S = f_ {\ast}O_X$, so $S$ local and "$O_S = f_ {\ast}O_X$" away from closed pt. Try Nagata or non-normal counterex. $\endgroup$
    – BCnrd
    Aug 7, 2010 at 13:26
  • $\begingroup$ By the way, surely despite the weakening of properness, you still assume $f$ is separated, right? Please edit the question so it is accurate as stated. $\endgroup$
    – BCnrd
    Aug 7, 2010 at 13:28
  • $\begingroup$ That was very helpful, thanks (also to Angelo). I am trying to come up with a general statement which is valid for ANY base scheme (but I am a bit flexible with $f$). Although flatness of $f$ may be the wrong kind of assumption here, the non-normal counterexamples I can think of turn out to be non flat. $\endgroup$ Aug 10, 2010 at 11:40

2 Answers 2

2
$\begingroup$

The following example does not work, it hasn't geometrically connected fibers. Sorry.

In general the answer is no. Take $k \subset K$, a finite extension of field (so the morphism $\operatorname{Spec}(K)\to\operatorname{Spec}(k)$ is proper). Let $X$ be an affine variety over $k$. Let now $x$ be a $K$-point of $X$ that is not defined over $k$. The corresponding morphism $\operatorname{Spec}(K)\to X$ does the job.

$\endgroup$
2
$\begingroup$

This is essentially the proof of the rigidity theorem. As Brian says, it is enough to show that $O_S \rightarrow f_ {\ast}O_X$ is an isomorphism. If $p \in S$, then $\mathrm{H}^0(X_p, \mathcal{O}_{X_p}) = k(p)$, because the fibers are geometrically connected and geometrically reduced. Then by Grothendieck's base change theorem, $O_S \rightarrow f_ {\ast}O_X$ is in fact an isomorphism.

Edit: This does not answer Behrang's question, in view of his first comment (which should be really incorporated in the question).

$\endgroup$
4
  • $\begingroup$ Dear Angelo: The OP made the comment below the question that he only actually has properness over a dense open in $S$. So unfortunately the usual cohomological tools seem to not apply. I hope the OP will follow my request to please revise the question to include the hypotheses desired (and to make clear if U is quasi-compact over S, schematically or just topologically dense, etc.). $\endgroup$
    – BCnrd
    Aug 7, 2010 at 16:19
  • $\begingroup$ Oops sorry, I had missed the comment. $\endgroup$
    – Angelo
    Aug 7, 2010 at 16:28
  • $\begingroup$ If $S$ is Noetherian affine and normal, and $X$ is normal, as $O(X_U)=O(U)$, then Zariski's extension theorem imply that $O(X)=O(S)$. I think this is reason why BCnrd said "try non-normal counterexample". The problem I think is to find $X$ flat over $S$. $\endgroup$
    – Qing Liu
    Aug 7, 2010 at 22:09
  • $\begingroup$ Dear Qing: yep. $\endgroup$
    – BCnrd
    Aug 7, 2010 at 22:39

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.