Questions tagged [valuation-rings]
The valuation-rings tag has no usage guidance.
26
questions
15
votes
2
answers
869
views
Higher-rank Archimedean valuations of $\mathbb{Q}$, does it exist?
I was reading the proof of Ostrowski's theorem, with an eye toward the Zariski-Riemann space (as well as adic space, Berkovich space, etc.) In the proof, the value group is always assumed to be in $\...
- 179
10
votes
1
answer
785
views
Is it a valuation ring?
It is known that a one-dimensional Noetherian local ring is a discrete valuation ring if it is integrally closed.
Then, even if it is not Noetherian, would a one-dimensional local ring become a ...
- 417
5
votes
0
answers
129
views
Is there a good notion of higher-rank archimedean norm?
Let $K$ be a field. I think I know what a norm (archimedean or not) $|-| : K \to \mathbb R_{\geq 0}$ is. In the case where the norm is nonarchimedean, it's equivalent to the data of a valuation of ...
- 58.7k
3
votes
0
answers
196
views
Frobenius and mixed characteristic valuation rings
Let $R$ be an $\mathbf{F}_p$-algebra. Kunz's theorem says that if $R$ is Noetherian, then the Frobenius of $R$ is flat iff $R$ is regular. Following the philosophy that valuation rings often behave ...
- 5,520
1
vote
0
answers
138
views
Derivation for genus-degree formula from algebraic functions field theory
This is a copy of my question from math.stackexchange: https://math.stackexchange.com/questions/4517289/derivation-for-genus-degree-formula-from-algebraic-functions-field-theory. I didn't get any ...
- 81
12
votes
1
answer
604
views
Does every map from a noetherian ring to a valuation ring factor through a DVR?
Let R be a noetherian ring and V a valuation ring with maximal ideal $\mathfrak{m}_V$. Does every morphism of rings $\varphi: R \rightarrow V$ factor through a discrete valuation ring?
One may ...
- 195
2
votes
0
answers
86
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,432
1
vote
1
answer
187
views
Flatness criterion for $I$-adic ring: $I$-torsion free
Let $R$ be an $I$-adically separated and complete valuation ring, with $I$ finitely generated.
It is used a few times in Bosch, Lectures on Formal and Rigid Geometry e.g. first lines of pg. 164, Cor. ...
- 661
9
votes
1
answer
639
views
Is every field the residue field of a discretely valued field of characteristic 0?
Let $k$ be a field of positive characteristic $p$. Is there necessarily a discrete valuation ring of characteristic $0$ with maximal ideal $(p)$ and residue field isomorphic to $k$?
- 2,080
1
vote
0
answers
67
views
Approximating a scheme with irreducible fibers
Let $R$ be a (non-trivial) valuation ring of an algebraically closed field. Let $V$ be an integral affine scheme over $S=\mathrm{Spec} R$ and assume that $V(R)\neq \emptyset$ (so e.g. $V$ is ...
- 133
1
vote
1
answer
175
views
An example of a special $1$-dimensional non-Noetherian valuation domain
I am looking for a $1$-dimensional non-Noetherian valuation domain $R$ such that there exists a sequence $\{a_i\}_{i=1}^\infty$ of elements of $R$ such that $\langle a_1\rangle \subsetneqq\langle a_2\...
- 11
1
vote
1
answer
396
views
A question about Dedekind schemes and proper morphisms
The following is Exercise 15.3 of Görtz-Wedhorn Algebraic Geometry I:
Let $S$ be a Dedekind scheme with function field $K$ and let $f: X\to S$ be a proper morphism of schemes. Then the canonical map $...
- 1,836
1
vote
1
answer
103
views
non-archimedean valuations on graded rings
Let $R$ be a commutative (non-trivially) graded ring. By a non-archimedean valuation I mean a map $v: R \to \Gamma \cup {0}$ such that for all $x,y \in R$, we have $v(x+y) \leq \max\{v(x),v(y)\}$, $v(...
- 302
3
votes
3
answers
664
views
What does "trait" mean?
Looking at some French papers, it seems that the word "trait" is often used to refer to the spectrum of a discrete valuation ring $A$.
Does anyone know what the translation of this should be? Is it ...
- 3,994
6
votes
1
answer
304
views
Classifying Space of "Valuation Ringed Spaces over a Topos"
The classifying topos for local rings is the big Zariski topos of $\text{Spec}(\mathbb{Z})$. Call this topos $T$. Geometric maps of topoi from a topos $T'$ to $T$ are in correspondence with sheaves of ...
- 4,647
12
votes
1
answer
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 ...
- 18.6k
1
vote
0
answers
186
views
Does separability of residue fields implies separability of $L/K$?
Let $A$ be discrete valuation domain, and $K$ be quotient field of $A$. Let $L$ be a finite extension of $K$ and $B$ be the integral closure of $A$ in $L$.Does separability of residue fields implies ...
- 723
30
votes
0
answers
840
views
On the definition of regular (non-noetherian, commutative) rings
All rings are commutative with unit. A ring $R$ is called regular if it satisfies
(Reg) Every finitely generated ideal of $R$ has finite projective dimension.
Clearly this gives the usual ...
- 19.2k
6
votes
0
answers
452
views
The Zariski Riemann Space, but with Local Rings
The Zariski Riemann space, while an abandoned approach, has lead to later developments and generalizations, including $\text{Spv}$ (the space of valuations) and Huber's work. In studying it, I would ...
- 4,647
4
votes
1
answer
676
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 ...
- 41
6
votes
1
answer
323
views
Valuation Rings and Ultrafilters
I notice there is a certain similarity between the definition of a valuation ring and the definition of an ultrafilter.
To begin, take a field $K$ and let $\mathcal{A}$ be the set of subrings of $K$. ...
- 4,647
3
votes
1
answer
93
views
What is K+M structure?
In the following paper (Example 2.1), it has been mentioned to K+M to provide an example of a pseudo valuation domain which is not a valuation ring, and its reference is Gilmer's book, but I have no ...
1
vote
1
answer
148
views
Lifting Lang-Steinberg to DVR's in Characteristic 0
Let $A$ be a compact DVR in characteristic $0$, uniformizer $\pi$ and residue field $k$. Let $A\subset B$ be a complete DVR with the same uniformizer $\pi$ and algebraicly closed residue field $F$. ...
- 273
4
votes
1
answer
281
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)$ ...
user111524
6
votes
2
answers
482
views
Torsors over complete local fields
Let $G$ be a linear algebraic group scheme, and let $R$ be a complete discrete valuation ring, with quotient field $K$ and residue field $k$.
If $T$ is an $R$-torsor, it yields by base change a $k$-...
- 1,629
5
votes
6
answers
4k
views
an easy example of valuation ring which is not noetherian？ [duplicate]
Is there an easy example of valuation ring which is not noetherian？
- 87