# Natural map to the adic spectrum

Mathematics Asked by test123 on November 7, 2020

I’m struggling to understand the following proposition regarding the adic spectrum corresponding to a normal curve over a field $$k$$:

Proposition: Let $$C$$ be a normal curve over a field $$k$$ and $$K:=operatorname{Frac}(A)$$ for an arbitrary $$operatorname{Spec}Asubseteq C$$ denote the function field of $$C$$. There is a natural map $$nu:Cto operatorname{Spa}(K,k)$$, where the latter is the set of all valuation rings $$V$$ with $$ksubseteq Vsubseteq K$$ and $$operatorname{Frac}(V)=K$$, defined by $$xmapsto mathcal{O}_{C,x}$$.

I can see that $$ksubseteq K$$ since $$C$$ is of finite type over $$k$$ and I also know that $$C$$ being a normal curve over $$k$$ implies that $$mathcal{O}_{C,x}$$ is a discrete valuation ring for every $$xin C$$ not a generic point.

However, I don’t understand the following things:

1. Why does $$ksubseteq mathcal{O}_{C,x}subseteq K$$ hold?
2. Why is $$operatorname{Frac}(A)=mathcal{O}_{C,eta},,,$$ with $$eta$$ being the generic point of $$C$$? (I suppose this is connected to the first question)

Thank you very much in advance.

If you want to google this further, the adic spectrum $$mathrm{Spa}(K,k)$$ is more classically known as the Riemann--Zariski space $$mathrm{RZ}(K,k)$$.

Your other questions then have nothing to do with adic spaces, or even Riemann--Zariski spaces, or even curves--they just pertain to the study of integral schemes.

So, assume that $$X$$ is an integral(=irreducible+reduced) scheme over a ring $$R$$. Note then for each $$x$$ in $$X$$ one has, by definition, that

$$mathcal{O}_{X,x}=varinjlimmathcal{O}(U)$$

where $$U$$ ranges over the open neighborhoods $$U$$ of $$x$$. Note though that for each $$U$$ the composition

$$Uto Xto mathrm{Spec}(R)$$

in particular gives rise to a ring map

$$Rto mathcal{O}(X)to mathcal{O}(U)$$

which gives each $$mathcal{O}(U)$$ the structure of an $$R$$-algebra. Clearly, by construction, the tranisition maps

$$mathcal{O}(V)to mathcal{O}(U)$$

for $$Vsubseteq U$$ open neighborhoods of $$x$$ are maps of $$R$$-algebars and thus we see, by passing to the colimit, that $$mathcal{O}_{X,x}$$ is an $$R$$-algebra. Moreover, for any open $$U$$ we have a factorization

$$Rto mathcal{O}(U)to mathcal{O}_{X,x}$$

so that the maps $$mathcal{O}(U)tomathcal{O}_{X,x}$$ are maps of $$R$$-algebras.

Let us moreover note that if $$y$$ is a point generalizing $$x$$ then the natural map

$$mathcal{O}_{X,x}tomathcal{O}_{X,y}$$

comes from the fact that the neighborhoods containing $$x$$ all contain $$y$$ and thus in particular, this map is clearly also a map of $$R$$-algebras.

Finally, we observe that if $$X=mathrm{Spec}(A)$$, then $$A$$ is an integral domain and if $$eta$$ denotes the generic point of $$X$$ then the natural map

$$A=mathcal{O}(X)to mathcal{O}_{X,eta}$$

induces an isomorphism

$$mathrm{Frac}(A)xrightarrow{approx}mathcal{O}_{X,eta}$$

The reason is simple. Namely, since every open subset of $$X$$ contains $$eta$$ we hav, by definition, that

$$mathcal{O}_{X,eta}=varinjlim_U mathcal{O}(U)$$

where $$U$$ travels over all open subsets of $$X$$. But, it suffices to take this limit over a cofinal system of opens which can be taken to be the basic opens $$D(f)$$ for $$fin A$$. But, $$mathcal{O}(D(f))=A_f$$, the localization of $$A$$ at $$f$$, and the transition maps

$$mathcal{O}(D(f))tomathcal{O}(D(g))$$

for $$D(g)subseteq D(f)$$ are the inclusions $$A_fhookrightarrow A_g$$ (note that $$D(g)subseteq D(f)$$ means that $$V(g)supseteq V(f)$$ which means that $$sqrt{(f)}subseteq sqrt{(g)}$$ which means that $$f=g^n a$$ for some $$ain A$$, from where it's clear that if we've inverted $$g$$ we've inverted $$f$$ and thus there is an inclusion $$A_ghookrightarrow A_f$$). But, it's then clear that

$$mathcal{O}_{X,eta}=varinjlim_U mathcal{O}(U)=varinjlim_{D(f)}mathcal{O}(D(f))=varinjlim_f A_f=mathrm{Frac}(A)$$

as desired.

So then, if we take $$A=k$$ then the above discussion shows that we have a sequence of maps

$$kto mathcal{O}_{X,x}tomathcal{O}_{X,eta}cong mathrm{Frac}(A)$$

Correct answer by Alex Youcis on November 7, 2020

## Related Questions

### On Hypergeometric Series and OEIS Sequence

1  Asked on December 5, 2021 by mr-n

### Simple proof of: if $axequiv ay pmod{m}$, and $gcd(a,m)=1$, then $xequiv y$

3  Asked on December 5, 2021

### Smoothly varying finite dimensional vector subspaces tracing out infinite dimensional locus

1  Asked on December 5, 2021 by wei-xia

### Subsequence convergence in hausdorff topological space

2  Asked on December 5, 2021 by yunfei

### Obtaining equality of two sets from connectedness

1  Asked on December 5, 2021 by nothingone

### Description of irreducible representations of $SL(2,mathbb R)$.

1  Asked on December 5, 2021

### Closed formula for the sum $a^1+a^4+a^9…$

1  Asked on December 5, 2021 by kevin-lu

### Can we visualize the fact that a holomorphic function has the same derivative at a point in all directions?

1  Asked on December 5, 2021

### Vacuously true statement

2  Asked on December 5, 2021 by user117375

### Find minimum value of $frac{sec^4 alpha}{tan^2 beta}+frac{sec^4 beta}{tan^2 alpha}$

1  Asked on December 5, 2021

### About a proof of a proposition in “Concrete Mathematics” by Donald E. Knuth et al..

0  Asked on December 5, 2021

### Question about the Hat Matching Problem

1  Asked on December 5, 2021 by bigbear

### Fundamental Group of $mathbb{RP}^n$

2  Asked on December 5, 2021 by kingzone

### Why does this not satisfy the conditions of a metric?

1  Asked on December 3, 2021 by mathguy1345

### Do Approximate Eigenvalues Imply Approximate Eigenvectors?

2  Asked on December 3, 2021 by naren-manoj

### Constraints on $x^2 + b x + c = 0$ such that at least one root has a positive real part

1  Asked on December 3, 2021 by kevinkayaks

### Picking the set of coset representatives of a stabilizer under a group action

0  Asked on December 3, 2021 by kyary

### Write condition if rectangle is inside another rectangle

0  Asked on December 3, 2021

### How to segment a group of symmetric points

1  Asked on December 3, 2021