Applications of the Ax Kochen Ershov (AKE) princicple - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T22:59:36Z http://mathoverflow.net/feeds/question/108951 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/108951/applications-of-the-ax-kochen-ershov-ake-princicple Applications of the Ax Kochen Ershov (AKE) princicple elvis 2012-10-05T19:28:50Z 2013-03-15T16:11:05Z <p>The AKE priciple states that two finitely ramified Henselian field (this means that the field is either of residual caracteristic 0 or is of characteristic $p$ and there is only a finite number of elements x of the value group such that $0&lt; x &lt; v(p)$) are elementary equivalent if and only if their value groups are elementary equivalent (in the language of group) and their residue fields elementary equivalent (in the language of ring).</p> <p>I'm looking for application of this principle to prove non trivial results.</p> <p>I also have a side question which I fear is a dumb one. Being algebraically closed is a first order property. So it should be equivalent to properties on the residues field and on the value group. What could be these properties ?</p> <p>Thanks to any one who might answer !</p> http://mathoverflow.net/questions/108951/applications-of-the-ax-kochen-ershov-ake-princicple/109004#109004 Answer by Lilach Leibovich for Applications of the Ax Kochen Ershov (AKE) princicple Lilach Leibovich 2012-10-06T15:11:34Z 2012-10-06T15:11:34Z <p>AKE prinicpal alows us to deduce conclusions about the theory of the valuaed field from the theories of the residue field and value group. Via this you prove, for example, that such and such theories are model complete, which supplies you with the tool of transfer argument (as in the model theoretic proof for hilbert's Nullstellensatz). </p> <p>As for your side question, if I have understood correctly, the answer is that the residue fiels is algebraically closed and the value group is divisible.</p> http://mathoverflow.net/questions/108951/applications-of-the-ax-kochen-ershov-ake-princicple/124625#124625 Answer by Immi Halupczok for Applications of the Ax Kochen Ershov (AKE) princicple Immi Halupczok 2013-03-15T16:11:05Z 2013-03-15T16:11:05Z <p>The above AKE principle implies the transfer principle between $\mathbb{Q}_p$ and $\mathbb{F}_p((t))$, and that one has some "real" applications.</p> <p>The transfer principle states that for every first order statement $\phi$ in the language of valued fields, there exists a bound $N$ such that for every $p > N$ we have $\mathbb{Q}_p \models \phi \iff \mathbb{F}_p((t)) \models \phi$. To prove it, suppose the equivalence is violated for an inifinite set $P$ of primes. Let $K$ be a (non-principal) ultraproduct of the $\mathbb{Q}_p$ with $p \in P$ and let $L$ be the corresponding ultraproduct of the $\mathbb{F}_p((t))$. Then $K$ and $L$ have characteristic $0$ and they have the same value group and residue field, so AKE implies $K \models \phi \iff L \models \phi$, which yields a contradiction to the choice of $P$.</p> <p>Here is one important application of the transfer principle:</p> <p>The "Fundamental Lemma of the Langlands program" (which, actually, was a conjecture for a long time) is a statement about linear algebraic groups over non-archimedean local fields $K$. Ngo [arXiv:0801.0446] proved this "Lemma" in the case $K = \mathbb{F}_p((t))$ (and obtained the Fields Medal for that proof). Cluckers-Hales-Loeser [arXiv:0712.0708] showed that the transfer principle can be applied to that result, yielding the Fundamental Lemma for $K = \mathbb{Q}_p$ when $p$ is big. (Moreover, Hales had already shown before that it is sufficient to know the Fundamental Lemma for big $p$.)</p> <p>Note that the Fundamental Lemma is an equality of integrals of functions from definable sets in $K$ to $\mathbb{C}$, so a priori, it doesn't seem to be a first order statement where the transfer principle could be applied. To apply it nevertheless, one has to encode the functions appearing in the Fundamental Lemma using model theoretic objects living purely in $K$ and then check that integration can be carried out purely on these encodings. In this way, the equality of integrals becomes a first order statement. (This can be seen as a very short explanation of what <em>motivic integration</em> is about.)</p>