Questions tagged [valuation-theory]
The valuation-theory tag has no usage guidance.
131 questions
3
votes
0
answers
96
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 ...
user111524
3
votes
0
answers
274
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 ...
- 3,362
4
votes
0
answers
109
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 ...
- 2,130
3
votes
0
answers
169
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 ...
- 2,050
7
votes
1
answer
282
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 ...
- 131
2
votes
0
answers
67
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 ...
- 893
5
votes
1
answer
966
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 ...
- 785
2
votes
0
answers
604
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, ...
- 596
5
votes
0
answers
209
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 ...
- 596
1
vote
0
answers
187
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 ...
- 596
3
votes
1
answer
431
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 ...
- 119
5
votes
2
answers
529
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\;\...
- 1,237
2
votes
0
answers
120
views
Group of units of a valuation
Let K be a field. Then a subring R of K is called a valuation ring if for all $x \in K^*,$ either $x \in R$ or $x^{-1} \in R$ (or both).
It can be shown that for any valuation $v$ on $K,$ the ring $\...
- 131
9
votes
2
answers
2k
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 ...
- 1,101
3
votes
0
answers
108
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 ...
- 147
12
votes
1
answer
778
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 ...
- 11.6k
3
votes
0
answers
437
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 ...
- 131
0
votes
0
answers
373
views
Extension of a valuation on a function field
Let $K$ be a field, and $K(x)$ the field of rational functions over $K$. Consider the degree valuation $v$ on $K(x)$, That is
$v\left(\frac{f(x)}{g(x)}\right)=\deg(g)-\deg(f)$. So for every $f(x)\in ...
- 155
7
votes
2
answers
695
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 ...
- 1,555
3
votes
1
answer
2k
views
Completion of a finite field extension is also finite?
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 ...
- 5,169
1
vote
1
answer
317
views
Separable extensions of henselian fields
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 ...
- 11
1
vote
1
answer
375
views
Model over DVR for smooth projective curves
Let $C$ be a smooth, projective, geometrically irreducible curve of genus at least $2$ over a complete discrete valued field $F$ of characteristic zero (not necessarily algebraically closed). Let $R$ ...
- 503
1
vote
2
answers
432
views
Subgroup of Projective general linear group on complete discrete valuation ring
Let $R$ be a complete dvr and $k$ its residue field of positive characteristic.
Let $H$ be a finite subgroup of $PGL_2(k)$ such that the order of $H$ is prime with $char(k)$.
Is there some ...
- 205
1
vote
1
answer
747
views
Completion of discrete valuation ring
Let $R$ be an excellent, Henselian, discrete valuation ring with algebraically closed residue field and $\hat{R}$ be the completion of $R$. If I understand correctly, the residue field of $\hat{R}$ is ...
- 2,126
0
votes
0
answers
724
views
Extension of a complete discrete valuation ring
My question came when I was reading the famous Tate's paper on $p$-divisible groups. At the beginning of chapter $(2.4)$ he cites this fact as obvious. If you take a complete discrete valuation ring $...
- 445
3
votes
1
answer
341
views
On conductors, levels and traces on quaternion algebras
I am currently working on level issues in the division central simple algebra case, say $D$ over a local non-archimedean field $F$ (e.g. $\mathbf{Q}_p$). Let say that $\mathcal{O}_D$ and $\mathcal{O}...
- 5,424
9
votes
0
answers
339
views
Is it decidable whether a finite type scheme is proper?
Let $k$ be a field and let $X$ be a finite type scheme over $k$, explicitly given by finitely many affine patches which are $\mathrm{Spec}$ of finitely generated $k$-algebras, glued along other affine ...
- 156k
9
votes
2
answers
869
views
How did height in algeb. number theory/elliptic curves started?
Maybe this is obvious but it isn't to me yet. What is the history of heights used in say points of the project plane over a number field or of elliptic curve over a number field? I would guess people ...
- 2,275
4
votes
0
answers
375
views
Extension of the product formula for valuations to a simultaneous completion
It is well known that $\mathbb{C}$ and $\mathbb{C}_p$ are "algebraically" isomorphic (that is, ignoring the topology), but an isomorphism depends on the axiom of choice and there is no canonical way ...
- 1,269
6
votes
3
answers
1k
views
Finite extension of local fields
Can a (higher) local field have uncountably many finite (seperable) extensions?
- 11.3k
0
votes
2
answers
280
views
Goldbach-type problem: the valuation of irreducible elements of a subgroup of $\mathbb{Q}_{> 0}$
Let $\phi : \mathbb{Q}_{>0} \to \mathbb{Z}$ be the group morphism defined by $\phi(p) = p$ for $p$ a prime number.
It follows that $\phi(\prod_i p_i^{n_i}) = \sum_i n_i p_i$, with $p_i$ a prime ...
2
votes
0
answers
137
views
seek another proof of a result in Fourier analysis
It was proved on page 26 of this note the following result:
Let $\xi$ be an algebraic number that is not a root of unity, then there exists an $n_0\geq 0$ with the property that $$\beta=\sum_{j=-n^2}^...
- 1,528
2
votes
1
answer
1k
views
Maximal unramified extension and inertia group for separable closure
I have a problem in understanding the inertia group of an infinite extension. I am studying it in this context.
Let $K$ be a field, $v$ a discrete valuation on $K$, and $\mathcal{O}_v$ the discrete ...
- 147
3
votes
0
answers
239
views
Jacobian Conjecture, Cubic-Keller maps
I have recently read an interesting article about the Jacobian Conjecture, in particular the reduction to the case $f(x) = x + A(x)^3$.
I was wondering about codimension one divisors on $Y = A^n$. ...
- 31
1
vote
0
answers
79
views
Saturation of a subalgebra over the Tate-algebra inside the power series ring
Let $A$ be a discrete valuation ring and $\pi$ a uniformizer.
Over $A$ we consider the Tate-algebra
$$A\langle t \rangle =\{ f=\sum_{n=0}^\infty a_nt^n \mid a_n\in A, \lim_{n\to \infty} \lvert a_n\...
2
votes
0
answers
190
views
Valuations given by flags on a variety and valuations of maximal rational rank
I am interested in valuations on a function field $K=k(X)$ of some say smooth, projective $k$-variety $X$ of dimension $n$, where $k$ is some (algebraically closed) field (that implies trdeg$(K/k) = n$...
- 43
10
votes
1
answer
741
views
Analogy between Lagrange's Theorem and Rank-Nullity Theorem?
One can view view Lagrange's Theorem $$|G/H|=|G|/|H|$$ and the Rank-Nullity Theorem $$\dim(V/U)=\dim(V)-\dim(U)$$ as directly analogous. Does anyone know a high-level explanation of this analogy? I ...
- 3,761
4
votes
0
answers
335
views
Reference for “approximately henselian” valued fields
I need some valuation theory in a paper I’m working on. This is not quite within my area of expertise, and I’d like to make the terminology right.
A valued field $(K,v)$ with value group $\Gamma$, ...
- 47.6k
4
votes
0
answers
536
views
Discrete valuations for which Abhyankar inequality is strict
The background to my question, in a nutshell, is: If $k$ is a field and $X$ a $k$-variety, i.e. an integral, separated, finite type $k$-scheme, which discrete rank $1$ valuations on $k(X)$ come from ...
- 4,450
1
vote
1
answer
148
views
Complete D.V.R's That have different characteristic than the residue field
I'm working through Local Fields by Serre and am stumped by something that he thinks should be obvious.
Let $A$ Be a complete D.V.R with uniformizer $\pi$ and $\overline{K}$ be it's residue field. $...
- 11
4
votes
3
answers
344
views
Reference for Ostrowski's 1916 Theorem?
I am looking for the original reference for Ostrowski's theorem of 1916 that the only valuations on the rational numbers are the trivial, Archimedean, and p-adic valuations.
...
- 3,761
3
votes
0
answers
327
views
Asymptotics vs Puiseux series
Define asymptotic as a class of sequences {$ x_i$},$_{i\in\mathbb N}$ modulo equivalence {$x_i$}={$y_i$} if $\lim_{i\to\infty} (x_i/y_i)=c\in\mathbb R,c\ne 0$.
More, we define $X= \{x_i\} \lt Y= \{ ...
- 5,063
0
votes
1
answer
469
views
Finite extensions of residue fields of Henselian DVRs
Let $K$ be an Henselian discrete valuation field such that its completion is separable over $K$. Let $F$ be its infinite residue field. Is it true that a finite extension of $F$ is a simple extension ...
- 2,032
0
votes
1
answer
229
views
Finite extension of valuation
This is a similar question from the book "Valued Fields by Antonio J. Engler and Alexander Prestel, Springer, 2005 " page 82, Exercise 3.5.4.(b).
Let $(K_{1}, V_{1})\subseteq (K_{2}, V_{2})$ be ...
- 173
0
votes
0
answers
383
views
Pseudo-cauchy sequence and valuation
Let $k$ be a field and $x$ is transcendental over $k$. Can we construct a pseudo-cauchy sequence $(a_{i})$ convergent to $x$ with each $a_{i}$ is algebraic over $k$ and $k(a_{i})\subseteq k(a_{i + 1})$...
- 173
0
votes
1
answer
206
views
Henselization of valued field
Let $(K, \nu)$ be a valued field and $x$ is transcendental over $K$. Is there exist a henselian extension of $(K, \nu)$ in between $(K, \nu)$ and $(K(x), \nu^{'})$ where $\nu^{'}$ is an extension (...
- 173
2
votes
1
answer
601
views
Henselization of valued field
What is the importance of henselization in valuation theory, when the rank of valuation is bigger than one? Thanks
- 173
1
vote
2
answers
354
views
Algebraic maximal extension and algebraic closure
Let $K$ be a valued field. We say that $K$ is algebraic maximal if any algebraic extension of $K$ has either a bigger value group or a bigger residue field.
Under which condition is an algebraic ...
- 31
3
votes
1
answer
157
views
when is the property "being algebraically maximal" a first order property ?
A valued field is said to be algebraic maximal if all its algebraic extension have either a bigger value group or a bigger residue field.
Do you know for which field this is a first order property ?
...
- 31
11
votes
2
answers
1k
views
Valuations on tensor products
Let $A$ be a commutative ring, $B$ (resp. $C$) be a commutative $A$-algebra endowed with a valuation $v$ (resp. $w$), not necessarily of rank 1. Assume that $v$ and $w$ induce equivalent valuations on ...
- 111