# Questions tagged [valuation-theory]

The tag has no usage guidance.

103 questions
Filter by
Sorted by
Tagged with
355 views

168 views

### What is the definable functor associated to an algebraic scheme (model theory of valued fields)

I have a very basic question regarding algebraic model theory. I am trying to read Espaces de Berkovich, polytopes, squelettes et théorie des modèles (MSN) by Antoine Ducros. The relevant section is ...
166 views

100 views

### Rank 1 valuations that are not discrete on finite transcendental extensions of the rationals

Suppose $K=\mathbb{Q}(X_1,\dots,X_n)$ is a purely transcendental extension of the rationals on finitely many indeterminates. Can anyone give an example of a rank $1$ valuation on $K$ that fails to be ...
155 views

### Completeness of the field of fractions of a ring of formal power series

Let $k$ be a field and let $k[[X,Y]]$ be the ring of formal power series with coefficients in $k$. Let $k((X,Y))$ be its field of fractions. For $F\in k[[X,Y]]$, $F\neq 0$ define $v(F)$ as the least ...
96 views

### Valuation theory on semisimple algebras used in the paper of Cohen-Martinet: reference request

I'm currently reading the paper of Henri Cohen & Jacques Martinet "Etude heuristique des groupes de classes des corps de nombres" On the 2nd section, they recall some facts on valuations, ...
2k views

### Extension of 2-adic valuation to the real numbers

I just want to know what properties of valuations extend to $\mathbb R$... Denote an extension of the 2-adic valuation from $\mathbb Q$ to $\mathbb R$ by $\nu$. Suppose $\nu(x)=\nu(y)=0$. Is it true ...
403 views

### Is the integral closure of a valuation ring in a finite separable extension of its fraction field étale?

Let $K$ be a field endowed with a rank (height) one valuation with completion $\hat{K}$, which is not discrete. Let $R$ be the valuation ring of $K$. Let $L \subset \hat{K}$ be a separable finite ...
88 views

### Valuation Rings and Ultrafilters II

See my post here: Valuation Rings and Ultrafilters Let $K$ be a field, and let $\mathcal{S}$ be the set of pairs $(R, \mathfrak{p})$ of subrings $R$ of $K$ with designated prime ideals $\mathfrak{p}$ ...
118 views

### Definition of model functions and their density in $C^0(X^\text{an})$

I am (still) working through the paper Singular semipositive metrics in non-Archimedean geometry by Sebastien Boucksom, Charles Favre and Mattias Jonsson (J. Algebraic Geom. 25 (2016), 77-139, doi:10....
53 views

### Valuation of congruent elements in a local division ring

Let $K$ be a complete local division ring (note $v$ its valuation). For $x,y\in K$ ($y\ne0$), one puts $x^y=yxy^{-1}$. Let $r\in\mathbb N$. Consider $x,y\in K$ and $a,b\in K^*$ such that $v(x-y)\ge r$ ...
70 views

### On the maximal value of the valuation at infinity of elements in the ring of integers of a global function field

Let $F$ be a global function field with full constant field $\mathbb{F}_q$. We fix a place $\infty$ and let $A$ be the ring of elements of $F$ regular away from $\infty$. We denote by $v_\infty$ the ...
153 views

### Valuation ring satisfying either a.c.c. or d.c.c. on prime ideals

If a commutative ring with unity has finite Krull dimension, then it satisfies a.c.c. and d.c.c. on prime ideals. The converse is not true in general, as can be seen from here An infinite dimensional ...
377 views

### Ostrowski's Theorem for topological rings?

Ostrowski's theorem classifies all absolute values on a number field $K$. Questions: More generally, can one classify all Hausdorff topologies on $K$ making $K$ into a topological field? In ...
132 views

### Understanding a valuation property of function fields

I came across this point in a paper recently and I'm having difficulty seeing why it's true. Any explanations or hints would be appreciated. For any prime $\mathfrak{p}$ of $\mathbb{F}_q [t]$ such ...
273 views

### Valuation ring whose maximal ideal and every ideal of finite height are principal

Let $(R, \mathfrak m)$ be a valuation ring such that $\mathfrak m$ and every ideal of finite height is principal. Then is $R$ Noetherian , i.e. a discrete valuation ring ?
131 views

### 'Smallest' subfield of the Surreals which is isomorphic to the Surreals as an ordered group

What is the smallest subfield $F\subset N_0$ such that $$(F,+,\times,\leq)\ncong(N_0,+,\times,\leq)$$ but $$(F,+,\leq)\cong(N_0,+,\leq)?$$ Since these are all going to be proper classes cardinality is ...
128 views

### Given a non-field local domain $R$, finding a dominating Valuation ring whose residue field is algebraic/finite extension of the residue field of $R$

Let $(R, \mathfrak m)$ be a non-field local domain with fraction field $Q(R)$ . Let $k_{R}:=R/m$. We know that there is a Valuation ring $(V,\mathfrak m_V)$ such that $R \subseteq V \subsetneq Q(R)$ ...
124 views

1k views

### Completion and algebraic closure

Following this question: Given a valued field $K$, denote with $\bar{K}$ its algebraic closure and with $\hat{K}$ the completion. Then both $\hat{\bar{K}}$ and $\hat{\bar{\hat{K}}}$ are complete and ...
98 views

### Structure of valuations on $\mathbb{F}_q(X,Y)$?

I'm looking to construct all valuations on $\mathbb{Q}(X,Y)$ extending the p-adic valuation on $\mathbb{Q}$ and understand their structural properties. In doing this, to obtain 3 dimensional valuation ...
295 views

### Is every Polish ring topology on $\mathbb{C}$ defined by an absolute value?

There is a unique up to isomorphism algebraically closed field of characteristic 0 and cardinality of the continuum. Let's call it $K$. We usually call it $\mathbb{C}$, but by this we impose a ...
329 views

### Relation between ramification index and length of filtration of ramification groups

Given a complete valued field $K$ with a discrete value group $\mathbb{Z}$, consider a totally ramified finite Galois extension $L$ of $K$ with its Galois group $G$. Let $O_L$ be the valuation integer ...
261 views