Questions tagged [valuation-theory]
The valuation-theory tag has no usage guidance.
131 questions
1
vote
0
answers
196
views
Extending commuting endomorphims of a complete discrete valued field to the algebraic closure?
Is it true that any two commuting endomorphisms of a complete discrete valued field extend to commuting automorphisms of the algebraic closure?
8
votes
1
answer
351
views
When is a valued field second-countable?
Let $R$ be a valuation ring, with fraction field $K$ and residue field $k$. Denote by $\Gamma=K^{\times}/R^{\times}$ the valuation group (assumed nontrivial).
The valuation $v:K^{\times}\to\Gamma$ ...
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?
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 ...
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$).
7
votes
1
answer
2k
views
The space of valuations of a function field
Hello, I'm looking for someone who can help me to understand Zariski's theory of valuations.
First I outline the theory: we take a field $K$ which is a finitely generated transcendent extension of ...
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 ...
0
votes
1
answer
481
views
Relating $p$-adic Valuations of Elements in $\mathbb{C}$ and $\mathbb{C}_p$
Let $K = \mathbb{Q}(\theta)$, where $\theta$ is a root of an irreducible polynomial $g \in \mathbb{Z}[t]$. Fix a rational prime $p$. Let $\theta^{(1)}, \ldots, \theta^{(n)}$ be the roots of $g$ in $\...
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 ...
5
votes
0
answers
374
views
Sheaf Cohomology on Zariski-Riemann Spaces
Can sheaf cohomology on the Zariski-Riemann spaces give some sort of classification for field extensions (even just for function fields)? If not, are there any significant or useful results (e.g. for ...
4
votes
3
answers
2k
views
Chevalley's valuation extension theorem and the axiom of choice
Hello,
Do we know if the axiom of choice is needed for Chevalley's valuation/place extension theorem (i.e. the theorem that states that for every valued field and a field extension, one can extend ...
4
votes
0
answers
577
views
Tropical Properties From Algebraic Geometry
What properties of tropical geometry (Starting from a valued Field) can be proven to be true using their analogue in algebraic geometry? For example, using the valuation on the Puiseux series $\mathbb{...
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 ...
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'. (...
11
votes
2
answers
863
views
Valuations and separable extensions
Let $R$ be a valuation ring containing a field $k$, with residue field $F$ and quotient field $K$. Assume $F/k$ is separable. Is $K/k$ separable?
I have convinced myself that (for a positive answer) ...
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 ...
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 $...
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 ...
3
votes
1
answer
463
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 ...
8
votes
1
answer
991
views
Zariski-style valuation theory
I've been trying to read some of Zariski's older works, and I'm having some trouble getting into his mindset. I'd appreciate some help with this.
To quote Zariski (in "normal varieties and birational ...
5
votes
2
answers
2k
views
Is a valuation domain PID when its maximal ideal is principal?
It is known that a valuation domain is a principal ideal ring if and only if its prime ideals are principal. Is it a principal ideal ring when its unique maximal ideal is principal?
13
votes
4
answers
2k
views
Replacing Spectrum with Valuations of a Field - An Alternative to Schemes?
A scheme is defined to be a sheaf which is locally isomorphic to the spectrum of a ring. The idea behind this is that given an affine coordinate ring of a variety over an algebraically closed field, ...
5
votes
2
answers
1k
views
Improvements of the Baire Category Theorem under (not CH)?
The Baire category theorem implies that a nonempty complete metric space without isolated points must be uncountable. In many situations I have encountered, the "natural examples" of ...
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 ...
10
votes
1
answer
1k
views
Existence of maximal totally ramified extensions of an arbitrary CDVF
Let $K$ be a complete, discretely valued field with (let's say) perfect residue field $k$. We have a unique maximal unramified extension $K^{unr}$ of $K$ and a unique maximal tamely ramified ...
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$. ...
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?
26
votes
3
answers
6k
views
An unfamiliar (to me) form of Hensel's Lemma
In his very nice article
Peter Roquette,
History of valuation theory. I. (English summary) Valuation theory and its applications, Vol. I (Saskatoon, SK, 1999), 291--355,
Fields Inst. Commun., ...
8
votes
1
answer
2k
views
Can the algebraic closure of a complete field be complete and of infinite degree?
Yes, this is yet another "foundational" question in valuation theory.
Here's the background: it is a well known classical fact that the dimension (in the purely algebraic sense) of a real ...
20
votes
8
answers
3k
views
What are examples illustrating the usefulness of Krull (i.e., rank > 1) valuations?
In modern valuation theory, one studies not just absolute values on a field, but also Krull valuations. The motivation is easy enough:
If $k$ is a field, a valuation ring of $k$ is a subring $R$ ...
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 ...