Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I did some work on a new article, valuation ring. I didn’t finish everything I set out to do, but one thing I wouldn’t mind understanding better is the bit I put in about compact Riemann surfaces, whose points correspond to valuation rings sitting inside their fields of meromorphic functions. There is some very classical algebraic geometry there which might be nice to put down in the Lab.
Yes, the classical approach to an abstract Riemann surface due Dedekind and Weber is via valuations. Modern generalizations are due Grauert and Remmert (key words: analytic local algebras).
Thanks for the tips, Zoran.
Meanwhile, I added some examples to valuation ring, basically examples of Hardy fields and rates of growth. This to me is fascinating stuff. Also mentioned Hahn series at the end (related to but more general than Puiseux series).
Added a little more to valuation ring, adding for example the fact they are Pruefer domains (for which an entry has yet to be written).
There is some constructive theory in case you are interested Valuations and Dedekind’s Prague Theorem
That looks interesting; thanks!
1 to 6 of 6