# Questions tagged [valuation-theory]

The tag has no usage guidance.

110 questions
Filter by
Sorted by
Tagged with
133 views

### Subsequence of the cubes

Let $p$ and $q$ be integers. Let $f(n)$ be A007814, the exponent of the highest power of $2$ dividing $n$, a.k.a. the binary carry sequence, the ruler sequence, or the $2$-adic valuation of $n$. Then ...
49 views

332 views

### Open immersion of affinoid adic spaces

If $R$ and $S$ are complete Huber rings with $\varphi: R \to S$ a continuous map, then is it true in general that if $\mathrm{Spa}(S, S^\circ) \to \mathrm{Spa}(R, R^\circ)$ is an open immersion of ...
182 views

151 views

150 views

### Chain of closed irreducible sets on Zariski Riemann spaces

Let $A$ be a domain and $K=\mathrm{Frac}(A)$. The Zariski Riemann space $\mathrm{ZR}(K,A)$ is the set of all valuation rings of $K$ containing $A$. It comes with a natural center map \begin{align}...
177 views

82 views

### Luroth's theorem for Discrete valuation rings?

Luroth's theorem states that if $k$ is a field and $L$ is a field extension of $k$ such that $k \subset L \subseteq k(X)$, then $L=k(f(X))$ for some $f(X) \in k(X)$ . My question is ; is there any ...
230 views

### Is the special case of Abhyankar's lemma is also considered as such?

Consider the following statement: Assume $E$ and $F$ are unramified (over some fixed prime) finite separable extensions of a field $K$. Then $EF$ is also unramified. I always thought that it is ...
93 views

### Valued fields with quantifier elimination in the Macintyre language

For which fields $k$ of characteristic $p$ does the Witt construction of a discretely valued field $W(k)$ of characteristic $0$ with residue field $k$ eliminate quantifiers in the language of rings ...
136 views

### Rational power series and extensions

Let $F$ be a field, let $F(x)$ the field of rational functions, and let $F((x))$ the field of Laurent series (which contains $F(x)$). One may ask: which series $\sum_i a_i x^i$ lie in $F(x)$? The ...
264 views

### Uniquely ordered commutative rings

I am wondering whether there are reasonable necessary and/or sufficient conditions to dedice whether a commutative ring can be uniquely ordered (like for instance $\mathbb{Z}$) or not. In the field ...
56 views

### Terminology for valuation-like functions on a vector space

Let $V$ be a vector space over a field $k$. I was wondering if there is a standard terminology for a function $v: V \setminus \{0\} \to \mathbb{R}$ which is invariant under multiplication by nonzero ...
836 views

### simple questions on topological rings arising in the context of Perfectoid Spaces

(I apologize in advance for these simple questions, I am a beginner trying to go through Scholze's paper Perfectoid Spaces). Let $(R, R^+)$ be an affinoid $k$-algebra as defined in Scholze's paper ...
387 views

### Valuation topology vs modified valuation topology

Let $K$ be a field with valuation $v:K\to G\cup\{\infty\}$ where $G$ is an ordered abelian group. In section 7.62 of the book "Foundations of analysis over surreal number fields." Vol. 141. Elsevier, ...
172 views

### Completions of $K(x)$

Let $K$ be a field. Are there books or articles discussing completions of $K(x)$ with respect to the metric induced by the $p$-adic valuation $|\;\;|_p$ where $p\in k[x]$ is irreducible and different ...
175 views

### How to prove that $k(x)$ is not complete in the $x$-adic metric [closed]

It is not hard to find proofs showing that $\mathbb{Q}$ is not complete with respect to the metric induced by the valuation $|\;\;|_p$. For example, it is enough to recall that every complete metric ...
356 views

### Birational Group Law

Let $S$ be a scheme and $X$ a smooth separated faithfully flat over $S$. An $S$-birational group law on $X$ is an $S$-rational map $$m:X\times_S X\dashrightarrow X, (x,y)\mapsto xy$$ such that a) the ...
489 views

### The notions of $H^0(\widehat{ D})$ and $h^0(\widehat{D})$ are not satisfactory

Let $K$ be a number field with ring of integers $O_K$. Moreover consider an Arakelov divisor $\widehat{D}\in\overline{\operatorname{Div }(\operatorname {Spec }O_K)}$, namely D=\sum_{\mathfrak p\;\...
95 views

638 views

### Examples of NIP fields of characteristic $p$

Definition. According to Shelah, a field $K$ does not have the independence property (i.e. is NIP) if for every first order formula $\varphi(x, \bar y)$ in the language of fields $(+,\times,0,1)$, the ...
Let $(L,w)/(K,v)$ be a finite extension of valuation fields, and let $L_w$, $K_v$ be the respective completions of $(L,w)$, $(K,v)$. Is the field extension $L_w/K_v$ finite? For nonarchimedean ...
Let $(k,v)$ be a henselian field, with $\mathcal{O}$ and $\bar{k}$ being respectively its valuation ring and its residue field. If $K/k$ a finite separable field extension (on which $v$ thus extends ...