403 research outputs found
Galois cohomology of a number field is Koszul
We prove that the Milnor ring of any (one-dimensional) local or global field
K modulo a prime number l is a Koszul algebra over Z/l. Under mild assumptions
that are only needed in the case l=2, we also prove various module Koszulity
properties of this algebra. This provides evidence in support of Koszulity
conjectures that were proposed in our previous papers. The proofs are based on
the Class Field Theory and computations with quadratic commutative Groebner
bases (commutative PBW-bases).Comment: LaTeX 2e, 25 pages; v.2: minor grammatic changes; v.3: classical
references added, remark inserted in subsection 1.6, details of arguments
added in subsections 1.4, 1.7 and sections 5 and 6; v.4: still more misprints
corrected, acknowledgement updated, a sentence inserted in section 4, a
reference added -- this is intended as the final versio
Uniform Approximation of Abhyankar Valuation Ideals in Smooth Function Fields
In this paper we use the theory of multiplier ideals to show that the
valuation ideals of a rank one Abhyankar valuation centered at a smooth point
of a complex algebraic variety are approximated, in a quite strong sense, by
sequences of powers of fixed ideals. Fix a rank one valuation v centered at a
smooth point x on an algebraic variety over a field of characteristic zero.
Assume that v is Abhyankar, that is, that its rational rank plus its
transcendence degree equal the dimension of the variety. Let a_m denote the
ideal of elements in the local ring of x whose valuations are at least m. Our
main theorem is that there exists e>0 such that a_{mn} is contained in
(a_{m-e})^n for all m and n. This can be viewed as a greatly strengthened form
of Izumi's Theorem for Abhyankar valuations centered on smooth complex
varieties.Comment: 27 pages, late
- …