Ghost components of a Witt vector - Motivation - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T15:17:24Z http://mathoverflow.net/feeds/question/15195 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/15195/ghost-components-of-a-witt-vector-motivation Ghost components of a Witt vector - Motivation CJD 2010-02-13T16:53:33Z 2012-11-20T13:57:17Z <p>I'd like to know if anyone has a good explanation for where the ghost components that are used to define Witt vectors come from. A lot of sources I've read take the ghost components for their starting point.</p> <p>The closest I've seen to an explanation was in Joe Rabinoff's notes on Witt vectors. This is my paraphrasing what I understood from them. Consider $p$-typical Witt vectors and let $k$ be a perfect field (or ring) of characteristic $p$. We have a multiplicative Teichmüller map $[\ ]: k \rightarrow W(k)$ which is a section to the projection map. Every element of $W(k)$ can be uniquely written as a series $$\sum_{i=0}^{\infty} p^i[a_i],$$ with $a_i \in k$. If we know how to add witt vectors, then we will know how to multiply them as well, because the Teichmüller map is multiplicative. </p> <p>The series expression for $[a_0] + [b_0]$ is already not obvious. Write $\sum p^i [c_i]$ for this expression. We have $c_0 = a_0 + b_0$, but to find $c_1$ we need the following trick. Because our field is perfect, there is no harm in replacing $a_0$ and $b_0$ by $\alpha^p$ and $\beta^p$. Then we want to compute $[\alpha^p] + [\beta^p] = [\alpha]^p + [\beta]^p.$ We know $[\alpha] + [\beta] \equiv [\alpha + \beta] \mod p$. Raising both sides to the $p$th power, we can find a new expression for $[\alpha]^p + [\beta]^p \mod p^2$, and this gives us $c_1$. </p> <p>The formulas that are used to find $c_1$, $c_2$, etc. look similar to the ghost polynomials. [They're a little different because the Witt vector corresponding to a series as above is $(c_0, c_1^p, c_2^{p^2}, \ldots)$, and so we haven't found the usual Witt vector components. On the other hand, the usual ghost components don't involve any $p$th roots, which is what $\alpha$ and $\beta$ are. Finally, the ghost map tells us not just how to add $[a_0]$ and $[b_0]$, but how to add any two series $\sum p^i[a_i]$ and $\sum p^i[b_i]$.]</p> <p>I'm willing to believe that we can find precisely the usual ghost components this way (although I haven't actually succeeded in doing this). So it seems natural that the ghost map $w: W(k) \rightarrow k^{\mathbb{N}}$ (where the ring operations on $k^{\mathbb{N}}$ are componentwise) is an additive map. What I find surprising is that it's also multiplicative; it seems like we didn't do anything to guarantee this. </p> <p>Am I correct that this is one way to find the ghost components? Is this the most natural path to them? Should it be obvious that the ghost map is multiplicative?</p> <p>I'd be happy to hear how you think of the ghost components.</p> http://mathoverflow.net/questions/15195/ghost-components-of-a-witt-vector-motivation/15197#15197 Answer by olli_jvn for Ghost components of a Witt vector - Motivation olli_jvn 2010-02-13T17:51:03Z 2010-02-13T17:51:03Z <p>Firstly, it may be useful to point out that Witt originally did not introduce Witt vectors for modelling Zp on the basis of Fp or the like, his starting point was to generalize Artin-Schreier theory to p^n-extensions, n > 1 (nowadays called Artin-Schreier-Witt theory), so it is kind of Galois theory-motivated.</p> <p>Thus, Witt's original motivation/philosophy when thinking about ghost components may well diverge from the 'standard perspective' most texts use nowadays.</p> <p>As you specifically ask "where the ghost components that are used to define Witt vectors come from.", this is maybe what you are looking for. This is beautifully explained by Harder in his article "Witt vectors" in a very motivating way.</p> <p>I just copy</p> <p>"<em>See also Harder, Wittvektoren, Jahresber. Deutsch. Math.-Verein. 99 (1997), no. 1, 18--48. An English translation of this paper has appeared in Ernst Witt, Gesammelte Abhandlungen, Springer, Berlin, 1996.</em>"</p> <p>from Chandan Dalawat's posting in the discussion "http://mathoverflow.net/questions/512/what-is-interesting-useful-about-big-witt-vectors"</p> <p>It may be totally useless, but the original german version is actually available online under <a href="http://dml.mathematik.uni-bielefeld.de/JB_DMV/JB_DMV_099_1.pdf" rel="nofollow">http://dml.mathematik.uni-bielefeld.de/JB_DMV/JB_DMV_099_1.pdf</a>, page 22 (warning, big file!)</p> <p>Hmmmmm, so I hope maybe this is in some way useful...... maybe not.</p> http://mathoverflow.net/questions/15195/ghost-components-of-a-witt-vector-motivation/113943#113943 Answer by Torsten Schoeneberg for Ghost components of a Witt vector - Motivation Torsten Schoeneberg 2012-11-20T13:57:17Z 2012-11-20T13:57:17Z <p>I hope this question ist still interesting for some people, as it is for me. I will first try to give a motivation for the "ghost map", i.e. the Witt polynomials, which, I think, is absent from Harder's article, and then give some historical remarks.</p> <p><strong>Motivation</strong> (partly inspired by the impressive <a href="http://de.wikipedia.org/wiki/Wittvektor" rel="nofollow">article on Witt vectors in the German wikipedia</a>): For this <em>forget for a moment that we know the Teichmüller representatives</em>. Imagine we have a strict p-ring A with (perfect) residue ring k, that is, for any set-theoretic section $\sigma: k \rightarrow A$ of $A \twoheadrightarrow k$, every element of A can be written as</p> <p>$$\sum_{i=0}^\infty \sigma(a_i) p^i$$</p> <p>with unique $a_i$ in $k$. That's a set-theoretic bijection $k^\mathbb{N} \leftrightarrow A$. How to describe the ring structure on the "coordinates" on the left? It suffices to describe it mod $p^{n+1}$ for every n. The most naive "coordinate map" would be</p> <p>$$k^{n+1} \rightarrow A/p^{n+1} A$$</p> <p>$$(a_0, ..., a_n) \mapsto \sigma(a_0) + \sigma(a_1) p + ... + \sigma(a_n)p^n .$$</p> <p>To this, there would correspond the stupidWitt polynomial</p> <p>$$sW(X_0, ..., X_{n}) = X_0 + pX_1 + ... + p^n X_n .$$</p> <p>"Stupid" because the above map induced by it depends on $\sigma$. (We could even do worse and choose different $\sigma$'s for each coordinate, still maintaining a bijection). Now do remember -- not the Teichmüller representatives, but the crucial fact from their construction: $a \equiv b$ mod $p \Rightarrow a^{p^i} \equiv b^{p^i}$ mod $p^{i+1}$. All possible $\sigma(a_0)$ are congruent mod $p$; we want something unique mod $p^{n+1}$, so why not write $\sigma(a_0)^{p^n}$ in the 0-th coordinate. The first coordinate will be multiplied by p anyway, so we only have to raise it to the $p^{n-1}$-th power to make it unique mod $p^{n+1}$. Upshot:</p> <p>$$\sigma(a_0)^{p^n} + \sigma(a_1)^{p^{n-1}} p + ... + \sigma(a_n) p^n \in A/p^{n+1} A$$</p> <p>is independent of $\sigma$; in a way, it is a canonical representative in $A/p^{n+1} A$ of one element in $k^{n+1}$. And it is induced by the (non-stupid) Witt polynomial</p> <p>$$W(X_0, ..., X_n) = X_0^{p^n} + p X_1^{p^{n-1}} + ... + p^n X_n .$$</p> <p>In other words: For fixed $(a_0, ..., a_n)$, whatever liftings $\sigma_i$ one might choose, evaluating the Witt polynomial at $X_i = \sigma_i(a_i)$ will give the same element in $A/p^{n+1} A$. So it looks like it might produce universal formulae for a ring structure. (Still, it is astounding that these turn out to be polynomials.) Finally, if $k$ is perfect, this coordinate map is still bijective, and we can and will normalise it. Depending on whether one considers the normalisation</p> <p>$(a_0, ..., a_n) \mapsto (a_0^{p^{-n}}, ..., a_n^{p^{-n}})$ or</p> <p>$(a_0, ..., a_n) \mapsto (a_0^{p^{-n}}, a_1^{p^{1-n}}, ..., a_n)$</p> <p>to be more natural, in the limit one will look at the element</p> <p>$\sum_{i=0}^\infty \tau (a_i^{p^{-i}}) p^i$ or</p> <p>$\sum_{i=0}^\infty \tau (a_i) p^i$</p> <p>as a natural representative in A of the coordinates $(a_0, a_1, ...)$ -- where the map $\tau: a \mapsto \lim \sigma (a^{p^{-i}})^{p^i}$ is independent of $\sigma$ and turns out to be the Teichmüller map, which we have thus generalised by forgetting it for a while.</p> <hr> <p><strong>History</strong>: The relevant papers are</p> <ol> <li>Hasse, F. K. Schmidt: Die Struktur diskret bewerteter Körper. Crelle 170 (1934)</li> <li>H. L. Schmid: Zyklische algebraische Funktionenkörper vom Grad $p^n$ über endlichem Konstantenkörper der Charakteristik $p$. <a href="http://gdz.sub.uni-goettingen.de/dms/load/toc/?PPN=PPN243919689_0175" rel="nofollow">Crelle 175 (1936)</a>; received 6-I-1936</li> <li>Teichmüller: Über die Struktur diskret bewerteter Körper. <a href="http://www.digizeitschriften.de/dms/toc/?PPN=PPN252457811" rel="nofollow">Nachr. Ges. Wiss. Göttingen, 1936</a>; received 21-II-1936</li> <li>Witt: Zyklische Körper und Algebren der Charakteristik $p$ vom Grad $p^n$. Struktur diskret bewerteter Körper mit vollkommenem Restklassenkörper der Charakteristik $p$, <a href="http://gdz.sub.uni-goettingen.de/dms/load/toc/?PPN=PPN243919689_0176" rel="nofollow">Crelle 176 (1937)</a>, dated 22-VI-1936, received 29-VIII-1936</li> <li>Teichmüller: Diskret bewertete perfekte Körper mit unvollkommenem Restklassenkörper, <a href="http://gdz.sub.uni-goettingen.de/dms/load/toc/?PPN=PPN243919689_0176" rel="nofollow">Crelle 176 (1937)</a>, received 5-IX-1936</li> </ol> <p>(Beware, obsolete notation: "perfekt" $\sim$ complete; "(un)vollkommen" = (im)perfect)</p> <p>In (1), a structure theory of complete discretely valued fields had already been done (!), although more complicated. As olli_jvn has already said, Witt was mainly working on generalising Artin-Schreier theory to what is now Artin-Schreier-Witt theory as well as constructing cyclic algebras of degree $p^n$. This is also what Schmid did in (2). This paper was discussed in an <em>Arbeitsgemeinschaft</em> led by Witt with participants Hasse, Teichmüller, Schmid and others. On the first page of (2), there is a note added during correction that Witt has found a "neues Kalkül" which simplifies Schmid's results. -- <a href="http://arxiv.org/abs/0804.3888" rel="nofollow">Hazewinkel notes</a> (p. 5) that the Witt polynomials turn up in (3) and suggests that this might have inspired Witt, however if one looks where they come from here, one reads (p. 155 = p. 57 in Teichmüller's Collected Works):</p> <blockquote> <p>"Tatsächlich ergibt sich das Verfahren aus einem Formalismus, den H. L. Schmid und E. Witt zu ganz anderen Zwecken aufgestellt haben."</p> </blockquote> <p>and then the Witt polynomials appear, and the summation polynomials (at least, mod p) are deduced from them. On the first page of (3), Teichmüller writes that this work was inspired by the mentioned Arbeitsgemeinschaft. In the introductions to (4) and (5), Witt and Teichmüller credit each other with realising the use of the "neues Kalkül" for the structure theory of c.d.v. fields in the unequal characteristic case. As <a href="http://arxiv.org/abs/0804.3888" rel="nofollow">Hazewinkel writes</a> (p. 9, in accordance with Witt's introduction in (4)), a decisive inspiration for Witt had been the "summation" polynomials that occured in (2), which are constructed recursively (in building an algebra of degree $p^n$ recursively by adding Artin-Schreier-like p-layers), and which for $n = 1$ reduce to a plain sum. Indeed, on p. 111 of (2), there are polynomials $z_\nu$ which in today's notation would be Witt's $S_\nu - X_\nu - Y_\nu$, defined recursively with the help of a polynomial $f_\nu$ to be found on p. 112, which is nothing else than the Witt polynomial $W_\nu$ in slightly different normalization. So presumably the timeline is:</p> <p>Schmid presents his paper in the Arbeitsgemeinschaft (before January 1936) $\rightarrow$ Witt finds general Witt vector "Kalkül" (January 1936) $\rightarrow$ Witt and Teichmüller independently realise that this gives structure theory of c.d.v.f. with perfect residue field; Teichmüller finds sum and product polynomials (mod p) as well as Teichmüller representatives and reduction of the general case to the case of perfect residue field (January-February 1936) $\rightarrow$ Witt works out his whole theory, Witt and Teichmüller agree to put the perfect case among all the other applications into (4), a detailed treatment of the imperfect case in (5).</p>