Questions tagged [valuation-theory]
The valuation-theory tag has no usage guidance.
131 questions
1
vote
1
answer
64
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$ ...
- 5,382
1
vote
1
answer
140
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 ...
- 30.5k
0
votes
1
answer
269
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 ...
- 2,665
19
votes
2
answers
566
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 ...
- 47.7k
0
votes
1
answer
145
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 ...
- 22.5k
1
vote
1
answer
465
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 ?
- 28.8k
3
votes
1
answer
181
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 ...
- 10.1k
4
votes
1
answer
348
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)$ ...
CommunityBot
- 1
0
votes
0
answers
205
views
Why is any non-archimedean field Huber?
Here a non-archimedean field means a field $k$ whose topology is induced from a non-archimedean norm $| \cdot |: k \to \mathbb{R}_{\geq 0}$. As a reminder, a ring $A$ is adic if there is an ideal $I \...
- 101
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 ...
CommunityBot
- 1
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 ...
CommunityBot
- 1
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
6
votes
2
answers
563
views
If the discriminant of a binary quadratic form has high valuation, is the form "almost a square".
For a binary quadratic form $ax^2+bxy+cy^2$ over a field (characteristic not 2), the discriminant $b^2-4ac$ is 0 if and only if that form is the square of a linear form. I am curious about an ...
- 27k
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 ...
- 63.9k
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 ...
- 53.3k
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= \{ ...
- 29
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 ...
- 41.4k
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
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 ...
CommunityBot
- 1
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\;\...
CommunityBot
- 1
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 ...
CommunityBot
- 1
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
1
vote
0
answers
216
views
uniqueness of a limit of a pseudo convergent set
Is there an example of valued field in which any pseudo convergent set has a limit and such that this limit is unique?
CommunityBot
- 1
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
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 ...
- 12.9k
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 ...
- 3,966
0
votes
0
answers
374
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
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 ...
- 50.6k
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 ...
- 5,759
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 ...
- 44.4k
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$ ...
- 45.7k
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,665
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$...
- 4,070
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 ?
...
- 468
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}...
- 6,039
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 ...
CommunityBot
- 1
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?
- 63.9k
30
votes
4
answers
6k
views
Newton and Newton polygon
What did Newton himself do, so that the "Newton polygon" method is named after him?
- 1,590
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 ...
- 10.7k
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$. ...
- 45.7k
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\...
