Questions tagged [valuation-theory]
The valuation-theory tag has no usage guidance.
131 questions
3
votes
2
answers
726
views
In a CM field, must all conjugates of an algebraic integer lying outside the unit circle lie outside the same?
This question is inspired from the post linked below:
Can an algebraic number on the unit circle have a conjugate with absolute value different from 1?
What I am curious about is the following: let $\...
- 739
3
votes
2
answers
458
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 ...
- 4,948
3
votes
1
answer
1k
views
Does totally ramified extension really exist?
The answer is certainly "Yes", but this is the problem I met in Algebraic Number Theory by Neukirch. I guess that I must be doing something wrong, since otherwise I will get the statement "There are ...
- 95
3
votes
1
answer
464
views
Are valuation rings regular?
This question is short, and to the point:
Valuation rings are certainly integrally closed, but are they regular?
The motivation is that I'm trying to understand the resolution of singularities of ...
- 5,929
3
votes
1
answer
928
views
How exotic can DVRs be in the ring of rational functions over a local field?
Suppose that $R$ is a complete DVR with field of fractions $K$, uniformiser $\pi$ and residue field $k$.
Let $B$ be a subring of the ring $K(t)$ of rational functions over $K$. Moreover assume that $...
- 3,545
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
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
3
votes
1
answer
136
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 ...
- 19.6k
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
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
3
votes
1
answer
289
views
Existence of algebraic integer with absolute value equal to reciprocal of maximum of $1$ and absolute value of a given algebraic number
Consider a number field $K$, and let $v_1, \cdots v_n$ ($n \in \mathbb N$) be some finite (i.e. non-archimedean) places of $K$. Is the following true?
For every $\alpha \in K^\times$ there exists $\...
- 739
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
3
votes
0
answers
174
views
What are non-archimedean norms on $\mathbb{R}$, whose restriction to $\mathbb{Q}$ is trivial?
I wonder if there is any classification result on non-archimedean norms on $\mathbb{R}$, with trivial restriction to $\mathbb{Q}$? Any references or examples would be welcomed!
Some examples of such ...
- 241
3
votes
0
answers
119
views
Semi-stable model over a totally ramified extension
Notation: Let $R$ be a DVR, $K=\text{Frac}(R)$ and $k=R/\mathfrak{m}$. Given an $R$-scheme $X$, write $X_K=X\times_{R} K$ for the generic fiber and $X_k=X\times_R k$ for the special fiber.
Suppose $k$ ...
- 282
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
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
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
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
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
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
2
votes
2
answers
1k
views
Why are extensions so heavily emphasized in valuation theory?
Whenever I read anything about valuations or things related to them (such as local fields) extensions always occupy a prominent position and a huge amount of effort is expended to derive results about ...
- 4,351
2
votes
2
answers
671
views
Fiddling with p-adics
A paper I'm reading implicitly assumes the statement: Let $K_0$ be the completion of $\mathbb {Q}_ p^{un}$. Then any finite extension of $K_0$ is complete with residue field $\bar {\mathbb {F}} _p$. ...
- 1,386
2
votes
1
answer
666
views
Complete extensions of valuations from Q to R.
This is somewhat related to the question and the answers here:
Is completeness of a field an algebraic property?
My question is (to which I believe the answer must have been known), does every ...
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
2
votes
1
answer
151
views
For an element in the integral closure of an ideal $I$ - which power is in $I$?
Consider an ideal $I$ in a ring $R$. If $f \in R$ belongs to the integral closure of $I$, then there is $k_0 \geq 0$ such that $f^k \in I^{k-k_0}$ for all $k \geq k_0$. Are there any known upper ...
- 5,359
2
votes
1
answer
139
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....
- 155
2
votes
1
answer
183
views
Pair of recurrence relations with $a(2n+1)=a(2f(n))$
Let $f(n)$ be A053645, distance to largest power of $2$ less than or equal to $n$; write $n$ in binary, change the first digit to zero, and convert back to decimal.
Let $g(n)$ be A007814, the ...
- 4,948
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
2
votes
1
answer
399
views
Quotient field extension for an incomplete DVR
Let $R$ be a DVR with maximal ideal $xR$, and assume that $R$ is not complete in the $xR$-adic topology. Let $\hat{R}$ be the completion of $R$ in the $xR$-adic topology. Set $K=Q(R)$, the fraction ...
2
votes
0
answers
104
views
References on topological ringed spaces
This is a follow up to this question of mine.
First of all, let me fix some terminologies, which may or may not be standard:
Definition: A topological ringed space is a pair $X := (|X|, \mathcal{O}_X)...
- 1,516
2
votes
0
answers
107
views
Request for bibliographic information
Greetings to everyone on this forum (I am a new-comer). I would like to ask the experienced members for suggestions on (as) comprehensive and systematic (as possible) bibliographic sources regarding:
...
- 121
2
votes
0
answers
118
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}$ ...
user30211
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
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
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
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
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
2
votes
0
answers
764
views
Riemann-Roch for ARBITRARY Function Fields
I know that on an algebraic function field in one variable over any base field, there is a good divisor theory for it and a Riemann-Roch Theorem; in particular, there is a 'good' notion of 'genus'. (...
- 468
1
vote
2
answers
797
views
Trivial valuation
I'm pretty sure trivial valuation over a field cannot be extended to a non-trivial one in a bigger field. Is there a simple way to show this without using the sledge hammer theorem on valuation ...
- 11
1
vote
2
answers
503
views
Recurrence for the sum
Let $m\geq 2$ be a fixed integer.
Let
$$f(n):=\begin{cases}
mf\left(\frac{n}{m}\right),&\text{if $n\mod m = 0$;}\\
1,&\text{otherwise}
\end{cases}$$
then if we have
$$a(n):=\begin{cases}
1,&...
- 4,948
1
vote
1
answer
654
views
Completeness of Algebraically Closed Valued Fields(ACVF) Theory
One can prove Elimination of Quantifiers of ACVF finding an extension of any partial embedding of a model $K$ into a $|K|^+$ Saturated one using the language $\mathcal{L} = ( 0,1,+,*, U, \mid )$. In ...
- 345
1
vote
1
answer
337
views
Constructing a convex valuation ring/ordered group of rank $n$
I know at least one method of constructing a convex valuation ring of rank $n$ (but it is rather complicated). What are the easiest methods of doing this? Given a natural number $n$ I want to have a ...
- 2,275
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
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
1
vote
1
answer
131
views
References on function fields over imperfect fields in positive characteristic
There are many references (good books, papers, ...) available that treat global function fields (over finite fields) of one independent variable. To name a few, Stichtenoth's book "Algebraic ...
- 103
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$ ...
- 3,998
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
1
vote
2
answers
421
views
Produce an irreducible polynomial that can't be proved irreducible by using Eisenstein [closed]
give An example of an irreducible polynomial that cannot prove it by using the Eisenstein criterion even with the use of all linear change variable($x-c=y$).
- 19
1
vote
1
answer
295
views
Formula from the recurrence relation
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 we have an integer sequence ...
- 4,948