History of tag 052L
Go back to the tag's page.
type |
time |
link |
changed the statement
|
2022-01-23 |
9cee969 |
Try to use L/K notation for field extensions
We could also try to consistenly use "field extension" and not just
"extension" and consistently use "ring extension", etc.
|
changed the proof
|
2017-10-05 |
0adaa52 |
Remove 'f.f.'
Sad IMHO.
Thanks to BCnrd, Dario Weissmann, and sdf
https://stacks.math.columbia.edu/tag/02JQ#comment-2762
https://stacks.math.columbia.edu/tag/02JQ#comment-2765
https://stacks.math.columbia.edu/tag/02JQ#comment-2766
https://stacks.math.columbia.edu/tag/02JQ#comment-2767
|
changed the proof
|
2014-05-20 |
bbbf048 |
Producing functions in codimension 1
To be used for getting algebraic spaces to be schemes in codimension 1.
Thanks to Raju Krishnamoorthy for a discussion.
|
changed the statement
|
2014-02-24 |
f6fef2c |
Redefine valuation ring
It is MUCH better to allow fields to be valuation rings. In fact, some
of the arguments on specializations of points and valuation rings mapping
to schemes were wrong, or at least very confusing with the definition as
given originally.
Thanks to Brian Conrad!
Here are his reasons for making this change (if there are any mistakes
in what follows, then I take full responsibility, but in any case the
point we are trying to make here is *only* that we really should change
the definition in the Stacks project).
"Johan, below are some reasons that I think it is good to include fields
as examples of valuation rings (which isn't to say that fields are
considered to be Dedekind domains; that is not a convention which I am
advocating). In effect, it amounts to a bunch of reasons for not
excluding the trivial valuation on a field.
Does the Stacks Project rule out fields from being valuation rings?
1. For the definition of Riemann-Zariski spaces RZ(K/k) relative to an
extension of fields K/k and the proof of
their quasi-compactness, it is very natural that we don't omit the
trivial valuation. The same holds for when trying to relate
valuation rings contained in a given valuation ring by lifting
valuations on the residue field.
2. The integral closure of any domain D is the intersection of the
valuation rings on its fraction field that contain the domain...except
that if we don't consider fields to be valuation rings then this theorem
would not be true in the (admittedly trivial) case that D is itself a
field.
3. The definition of local ring should not exclude the case of fields
(it would wreak havoc with the notions of local scheme, locally ringed
space, etc.), so we'd like to say that a local ring is a valuation ring
iff it is maximal with respect to domination among local domains with a
common fraction field. But we would have to exclude from this the case
of local rings which are fields if we don't regard fields as valuation
rings.
4. We'd like to say that any local subring of a field K is dominated by
a valuation ring having fraction field K. This is false for various
cases with local subrings that are fields if we do not allow valuation
rings to be fields.
5. The various valuative criteria are true (though not so useful) when
allowing valuation rings that are fields.
6. Does the trivial valuation on a field not have a "valuation ring" (in
contrast with all other non-archimedean valuations on a field)?
7. Trivial valuations play a useful technical role in the middle of some
proofs when setting up the theory of adic spaces (even though the v_x's
are not going to be trivial for adic spaces arising from rigid spaces
over non-archimedean fields). In a related matter, the fibers of the map
Spa(A,A^0) ---> M(A) from an adic k-affinoid space to the corresponding
Berkovich space are something like Riemann-Zariski spaces (if I remember
correctly), so in all of the fibers there should be points corresponding
to trivial valuations on residue fields. For instance, with the adic
closed unit disc the fiber over each type-2 point has fiber that's like
RZ(\kappa(T)/\kappa) for various fields \kappa."
|
assigned tag 052L
|
2010-08-20 |
f901c60
|
Tags: added new tags
|
created statement with label lemma-valuation-ring-cap-field in algebra.tex
|
2010-08-10 |
22a91a9 |
Closed points in fibres
Given a specialization x ---> x' of points in X and a morphism X
---> S of finite type, you can, if x' is closed in its fibre, a
sequence of specializations x ---> x_1 ---> x' such that x_1 is
closed in its fibre and in the same fibre as x.
|