Skip to main content
MathOverflow

Return to Question

Notice removed Draw attention by FPV
Bounty Ended with Satan's Minion's answer chosen by FPV
Notice added Draw attention by FPV
Bounty Started worth 200 reputation by FPV
added 66 characters in body
Source Link
FPV
FPV
  • 541
  • 3
  • 15

Let $K$ be a non-archimedean field complete with respect to a discrete valuation with ring of integers $\mathcal{R}$, uniformizer $\pi$ and residue field $k$. Consider an affinoid analytic $K$-variety $X=Sp(A)$ with an affine formal model $\mathfrak{X}=Spf(A^{\circ})$ where $A^{\circ}\subset A$ is the set of power-bounded elements. Let $f\in A^{\circ}$ be an element such that its clas in $A^{\circ}/\pi$ is non-zero. As the generic fiber functor sends complete localizations on $\mathfrak{X}$ to Laurent subdomains in $X$, it follows that the affinoid subdomain $X(\frac{1}{f})=\{ x\in X \text{ such that } \vert f(x)\vert \geq 1 \}$ has an affine formal model given by the formal spectrum of $A^{\circ}\langle f^{-1}\rangle$. Let $\mathfrak{X}_{k}$ denote the special fiber of $\mathfrak{X}$. By definition, the special fiber associated to the formal scheme $\mathfrak{X}(\frac{1}{f})=Spf(A^{\circ}\langle f^{-1}\rangle)$ is a Zariski open of $\mathfrak{X}_{k}$. Hence, all properties of the special fiber $\mathfrak{X}_{k}$ which are local in the Zariski topology (irreducibility, smoothness etc) will also hold in $\mathfrak{X}(\frac{1}{f})_{k}$. My question is as follows: does this generalize to more general Laurent subdomains of $X$? For example, consider $f\in A^{\circ}$ as before, and consider subdomains of the form $Y=X(\frac{\pi^{n}}{f},\frac{f}{\pi^{n}})=\{ x\in X \text{ such that } \vert f(x)\vert = n \}$. As far as I know, these are not necessarily the generic fiber of an affine open subspace of $\mathfrak{X}$, so we cannot argue as above to construct affine formal models of $Y$ with topological properties similar to those of $\mathfrak{X}$. By Raynaud's theory we know there is an admissible formal blow-up $\mathfrak{X}'\rightarrow \mathfrak{X}$ such that there is an open $Z\subset \mathfrak{X}'$ such that its generic fiber is $Y$. However, admissible formal blow-up seems to have a weird behaviour at the topological level, so I don't know which properties of the topological space assocaited to $\mathfrak{X}$ are preserved under these kinds of maps. I would like to know if the fact that $X$ admits an affine formal model such that its special fiber has some topological property (mainly interested in irreducibility) implies that an affinoid subdomain of the form $X(\frac{\pi^{n}}{f},\frac{f}{\pi^{n}})$ also admits such an affine formal model. What about subspaces of the form $X(\frac{\pi^{n}}{f})$? Would something like this hold for Weierstrass subdomains of $X$?

Let $K$ be a non-archimedean field complete with respect to a discrete valuation with ring of integers $\mathcal{R}$, uniformizer $\pi$ and residue field $k$. Consider an affinoid analytic $K$-variety $X=Sp(A)$ with an affine formal model $\mathfrak{X}=Spf(A^{\circ})$ where $A^{\circ}\subset A$ is the set of power-bounded elements. Let $f\in A^{\circ}$ be an element such that its clas in $A^{\circ}/\pi$ is non-zero. As the generic fiber functor sends complete localizations on $\mathfrak{X}$ to Laurent subdomains in $X$, it follows that the affinoid subdomain $X(\frac{1}{f})=\{ x\in X \text{ such that } \vert f(x)\vert \geq 1 \}$ has an affine formal model given by the formal spectrum of $A^{\circ}\langle f^{-1}\rangle$. Let $\mathfrak{X}_{k}$ denote the special fiber of $\mathfrak{X}$. By definition, the special fiber associated to the formal scheme $\mathfrak{X}(\frac{1}{f})=Spf(A^{\circ}\langle f^{-1}\rangle)$ is a Zariski open of $\mathfrak{X}_{k}$. Hence, all properties of the special fiber $\mathfrak{X}_{k}$ which are local in the Zariski topology (irreducibility, smoothness etc) will also hold in $\mathfrak{X}(\frac{1}{f})_{k}$. My question is as follows: does this generalize to more general Laurent subdomains of $X$? For example, consider $f\in A^{\circ}$ as before, and consider subdomains of the form $Y=X(\frac{\pi^{n}}{f},\frac{f}{\pi^{n}})=\{ x\in X \text{ such that } \vert f(x)\vert = n \}$. As far as I know, these are not necessarily the generic fiber of an affine open subspace of $\mathfrak{X}$, so we cannot argue as above to construct affine formal models of $Y$ with topological properties similar to those of $\mathfrak{X}$. By Raynaud's theory we know there is an admissible formal blow-up $\mathfrak{X}'\rightarrow \mathfrak{X}$ such that there is an open $Z\subset \mathfrak{X}'$ such that its generic fiber is $Y$. However, admissible formal blow-up seems to have a weird behaviour at the topological level, so I don't know which properties of the topological space assocaited to $\mathfrak{X}$ are preserved under these kinds of maps. I would like to know if the fact that $X$ admits an affine formal model such that its special fiber has some topological property (mainly interested in irreducibility) implies that an affinoid subdomain of the form $X(\frac{\pi^{n}}{f},\frac{f}{\pi^{n}})$ also admits such an affine formal model. What about subspaces of the form $X(\frac{\pi^{n}}{f})$?

Let $K$ be a non-archimedean field complete with respect to a discrete valuation with ring of integers $\mathcal{R}$, uniformizer $\pi$ and residue field $k$. Consider an affinoid analytic $K$-variety $X=Sp(A)$ with an affine formal model $\mathfrak{X}=Spf(A^{\circ})$ where $A^{\circ}\subset A$ is the set of power-bounded elements. Let $f\in A^{\circ}$ be an element such that its clas in $A^{\circ}/\pi$ is non-zero. As the generic fiber functor sends complete localizations on $\mathfrak{X}$ to Laurent subdomains in $X$, it follows that the affinoid subdomain $X(\frac{1}{f})=\{ x\in X \text{ such that } \vert f(x)\vert \geq 1 \}$ has an affine formal model given by the formal spectrum of $A^{\circ}\langle f^{-1}\rangle$. Let $\mathfrak{X}_{k}$ denote the special fiber of $\mathfrak{X}$. By definition, the special fiber associated to the formal scheme $\mathfrak{X}(\frac{1}{f})=Spf(A^{\circ}\langle f^{-1}\rangle)$ is a Zariski open of $\mathfrak{X}_{k}$. Hence, all properties of the special fiber $\mathfrak{X}_{k}$ which are local in the Zariski topology (irreducibility, smoothness etc) will also hold in $\mathfrak{X}(\frac{1}{f})_{k}$. My question is as follows: does this generalize to more general Laurent subdomains of $X$? For example, consider $f\in A^{\circ}$ as before, and consider subdomains of the form $Y=X(\frac{\pi^{n}}{f},\frac{f}{\pi^{n}})=\{ x\in X \text{ such that } \vert f(x)\vert = n \}$. As far as I know, these are not necessarily the generic fiber of an affine open subspace of $\mathfrak{X}$, so we cannot argue as above to construct affine formal models of $Y$ with topological properties similar to those of $\mathfrak{X}$. By Raynaud's theory we know there is an admissible formal blow-up $\mathfrak{X}'\rightarrow \mathfrak{X}$ such that there is an open $Z\subset \mathfrak{X}'$ such that its generic fiber is $Y$. However, admissible formal blow-up seems to have a weird behaviour at the topological level, so I don't know which properties of the topological space assocaited to $\mathfrak{X}$ are preserved under these kinds of maps. I would like to know if the fact that $X$ admits an affine formal model such that its special fiber has some topological property (mainly interested in irreducibility) implies that an affinoid subdomain of the form $X(\frac{\pi^{n}}{f},\frac{f}{\pi^{n}})$ also admits such an affine formal model. What about subspaces of the form $X(\frac{\pi^{n}}{f})$? Would something like this hold for Weierstrass subdomains of $X$?

Source Link
FPV
FPV
  • 541
  • 3
  • 15

On the local properties of rigid analytic varieties

Let $K$ be a non-archimedean field complete with respect to a discrete valuation with ring of integers $\mathcal{R}$, uniformizer $\pi$ and residue field $k$. Consider an affinoid analytic $K$-variety $X=Sp(A)$ with an affine formal model $\mathfrak{X}=Spf(A^{\circ})$ where $A^{\circ}\subset A$ is the set of power-bounded elements. Let $f\in A^{\circ}$ be an element such that its clas in $A^{\circ}/\pi$ is non-zero. As the generic fiber functor sends complete localizations on $\mathfrak{X}$ to Laurent subdomains in $X$, it follows that the affinoid subdomain $X(\frac{1}{f})=\{ x\in X \text{ such that } \vert f(x)\vert \geq 1 \}$ has an affine formal model given by the formal spectrum of $A^{\circ}\langle f^{-1}\rangle$. Let $\mathfrak{X}_{k}$ denote the special fiber of $\mathfrak{X}$. By definition, the special fiber associated to the formal scheme $\mathfrak{X}(\frac{1}{f})=Spf(A^{\circ}\langle f^{-1}\rangle)$ is a Zariski open of $\mathfrak{X}_{k}$. Hence, all properties of the special fiber $\mathfrak{X}_{k}$ which are local in the Zariski topology (irreducibility, smoothness etc) will also hold in $\mathfrak{X}(\frac{1}{f})_{k}$. My question is as follows: does this generalize to more general Laurent subdomains of $X$? For example, consider $f\in A^{\circ}$ as before, and consider subdomains of the form $Y=X(\frac{\pi^{n}}{f},\frac{f}{\pi^{n}})=\{ x\in X \text{ such that } \vert f(x)\vert = n \}$. As far as I know, these are not necessarily the generic fiber of an affine open subspace of $\mathfrak{X}$, so we cannot argue as above to construct affine formal models of $Y$ with topological properties similar to those of $\mathfrak{X}$. By Raynaud's theory we know there is an admissible formal blow-up $\mathfrak{X}'\rightarrow \mathfrak{X}$ such that there is an open $Z\subset \mathfrak{X}'$ such that its generic fiber is $Y$. However, admissible formal blow-up seems to have a weird behaviour at the topological level, so I don't know which properties of the topological space assocaited to $\mathfrak{X}$ are preserved under these kinds of maps. I would like to know if the fact that $X$ admits an affine formal model such that its special fiber has some topological property (mainly interested in irreducibility) implies that an affinoid subdomain of the form $X(\frac{\pi^{n}}{f},\frac{f}{\pi^{n}})$ also admits such an affine formal model. What about subspaces of the form $X(\frac{\pi^{n}}{f})$?