Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Hi,

I have the following problem. Let $\mathcal{O}$ be a valuation ring and $S=Spec(\mathcal{O})$, denote with $s$ the closed point and with $\eta$ the generic one. Let $X\rightarrow S$ be a proper, flat scheme of relative dimension $n$ and $Z\subset X_s$ be an equidimensional closed subscheme of the special fiber with dimension $d \lt n$. Given a point $t_{\eta}\in X(\eta)$ we know that this extends to a point $t\in X(S)$.

What can we say about subscheme $U\subset X_{\eta}$ of points specializing to $Z$?

Assume that $X\rightarrow S$ is very nice (like $X_{\eta}$ smooth and $X_s$ with semistable singularities) can I bound the dimension of $U$ in terms of the dimension of $Z$?

share|improve this question
2  
The set $U$ is not constructible in general (so not in particular not a subscheme). From the point of view of formal geometry, it is a closed subset but it is certainly not a Zariski closed subset in general. –  Damian Rössler Apr 11 '13 at 10:54
    
@Damian Rössler do you have any reference/counterexample for that? –  meti Apr 11 '13 at 13:01
add comment

1 Answer

up vote 1 down vote accepted

Suppose for simplicity that $\mathcal O$ is a henselian (e.g., complete) DVR (otherwise, a point of $X_\eta$ may have several specializations in $X_s$) with field of fractions $K$. Consider $X=\mathbb P^1_S$ parametriezd by a rational function $t$, and let $Z$ be the single point $t=0$ in the closed fiber. The the set $U$ is the open disc $|t|<1$ in the generic fiber $\mathbb P^1_K$ (in more algebraic terms, they correspond to maximal ideals $P(t)K[t]$ with $P(t)\in \mathcal O[t]$ monic and $P(0)\in \mathfrak m$ the maximal ideal of $\mathcal O$). So it is not a scheme, but a rigid analytic subspace.

share|improve this answer
    
It is worth pointing out that this kills the possibility of a naive dimension bound. There is a formal model of $\mathbb{P}^{n,an}_K$ with special fiber $\mathbb{P}^n_{\tilde{K}}$, and the preimage of a closed point is, again, an open ball. It should be true in some generality that $U$ in the question is an open subspace. –  Andrew Dudzik Sep 26 '13 at 18:44
    
@AndrewDudzik: the $U$ is always open as a rigid analytic subspace of $X_\eta^{an}$. –  Qing Liu Oct 23 '13 at 21:42
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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