Tuesday, April 13, 2010 - 16:00
1 hour (actually 50 minutes)
Let k be a global field or a local field. Class field theory says that every central division algebra over k is cyclic. Let l be a prime not equal to the characteristic of k. If k contains a primitive l-th root of unity, then this leads to the fact that every element in H^2(k, µ_l ) is a symbol. A natural question is a higher dimensional analogue of this result: Let F be a function field in one variable over k which contains a primitive l-th root of unity. Is every element in H^3(F, µ_l ) a symbol? In this talk we answer this question in affirmative for k a p-adic field or a global field of positive characteristic. The main tool is a certain local global principle for elements of H^3(F, µ_l ) in terms of symbols in H^2(F µ_l ). We also show that this local-global principle is equivalent to the vanishing of certain unramified cohomology groups of 3-folds over finite fields.