מתמטיקה, בן-גוריון | Stability of Gauss valuations

Antoine Ducros (Paris 6)

יום שלישי, 16 ביוני, 2015, 10:00 – 11:00, Math -101

אנא שימו לב לשינוי ביום ושעה!

תקציר:

A valued field (k,

) is said to be stable (this terminology has no link with model-theoretic stability theory) if every finite extension L of k is defectless, /i.e. /satisfies the equality ∑ e_vf_v= [L:k] where v goes through the set of extensions of

to L, and where e_v and f_v are the ramification and inertia indexes of v. The purpose of my talk is to present a new proof (which is part of current joint reflexions with E. Hrushovski and F. Loeser) of the following classical fact (Grauert, Kuhlmann, Temkin…) : let (k,

) be a stable valued field, and let (r_1,…,r_n) be elements of an ordered abelian group G containing

k^*

. Let

‘ be the G-valued valuation on k(T_1,…,T_n) that sends ∑ a_I T^I to max

a_I

.r^I. Then (k(T_1,…,T_n),

‘) is stable too. Our general strategy is purely geometric, but the proof is based upon model-theoretic tools coming from model theory (which I will first present; no knowledge of model theory will be assumed). In particular, it uses in a crucial way a geometric object defined in model-theoretic terms that Hrushovski and Loeser attach to a given k-variety X, which is called its /stable completion/; the only case we will have to consider is that of a curve, in which the stable completion has a very nice model-theoretic property, namely the definability, which makes it very easy to work with.