{"id":2631,"date":"2011-06-26T20:56:40","date_gmt":"2011-06-26T18:56:40","guid":{"rendered":"https:\/\/wpethzprd.ethz.ch\/kowalski\/?p=2631"},"modified":"2024-02-20T13:40:37","modified_gmt":"2024-02-20T11:40:37","slug":"who-was-peter","status":"publish","type":"post","link":"https:\/\/blogs.ethz.ch\/kowalski\/2011\/06\/26\/who-was-peter\/","title":{"rendered":"Who was Peter?"},"content":{"rendered":"<p>The fundamental fact about the representation theory of a compact topological group $latex G$ is the <i>Peter-Weyl Theorem<\/i>, which can be described as follows: the regular representation of $latex G$ on $latex L^2(G)$ (defined using the probability Haar-measure on $latex G$) decomposes as an orthogonal Hilbert direct sum of the spaces of matrix coefficients of the finite-dimensional irreducible representations of $latex G$. (Books, for instance <a href=\"http:\/\/books.google.com\/books\/about\/Representation_theory_of_semisimple_grou.html?id=QCcW1h835pwC\">the one of Knapp<\/a> on semisimple Lie groups, often include more in what is called Peter-Weyl Theory, but this is the statement that is proved in the <a href=\"http:\/\/gdz.sub.uni-goettingen.de\/dms\/load\/img\/?PPN=PPN235181684_0097&amp;DMDID=dmdlog39\">original paper<\/a>.)<\/p>\n<p>As I am currently preparing to write down a proof of the Peter-Weyl theorem for <a href=\"http:\/\/www.math.ethz.ch\/~kowalski\/representation-theory.html\">my notes on representation theory<\/a>, I had a look at this paper. Although I probably won&#8217;t follow it quite completely, I found it very interesting &#8212; it is quite subtly different from all modern treatments I have seen, in an interesting way, and without being much more complicated than what is found, e.g., in Knapp&#8217;s book. (For a short masterful online account, <a href=\"http:\/\/terrytao.wordpress.com\/2011\/01\/23\/the-peter-weyl-theorem-and-non-abelian-fourier-analysis-on-compact-groups\/\">this post of Terry Tao<\/a> is very good; from a search in the same G\u00f6ttingen archive web site, it seems that &#8212; maybe &#8212; the modern treatment dates back to <a href=\"http:\/\/gdz.sub.uni-goettingen.de\/dms\/load\/img\/?PPN=PPN477674380_0043&amp;DMDID=DMDLOG_0027\">Pontryagin<\/a>, in 1936.)<\/p>\n<p>In any case, the question for today is: Who was Peter? Only the initial &#8220;F.&#8221; and the affiliation &#8220;in Karlsruhe&#8221; identifies this coauthor on the original paper (even the &#8220;F.&#8221; is misread as &#8220;P.&#8221; on the PDF cover page&#8230;)  It seem <a href=\"http:\/\/en.wikipedia.org\/wiki\/Fritz_Peter\">he was a student of Weyl<\/a>, but note that <a href=\"http:\/\/www.genealogy.ams.org\/id.php?id=7373&amp;fChrono=1\">there is no Peter<\/a> on the math genealogy page for Weyl. (A joke here at ETH, is that when the lecture room known as the <a href=\"http:\/\/www.abbreviations.com\/b1.aspx?KEY=137196\">Hermann Weyl Zimmer<\/a> is renovated this summer, some unfortunate skeletons will be found in the closets and under the floor, or behind the blackboards&#8230;)<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The fundamental fact about the representation theory of a compact topological group $latex G$ is the Peter-Weyl Theorem, which can be described as follows: the regular representation of $latex G$ on $latex L^2(G)$ (defined using the probability Haar-measure on $latex G$) decomposes as an orthogonal Hilbert direct sum of the spaces of matrix coefficients of &hellip; <a href=\"https:\/\/blogs.ethz.ch\/kowalski\/2011\/06\/26\/who-was-peter\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Who was Peter?<\/span><\/a><\/p>\n","protected":false},"author":625,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[157,2],"tags":[],"class_list":["post-2631","post","type-post","status-publish","format-standard","hentry","category-eth","category-blogroll"],"_links":{"self":[{"href":"https:\/\/blogs.ethz.ch\/kowalski\/wp-json\/wp\/v2\/posts\/2631","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ethz.ch\/kowalski\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ethz.ch\/kowalski\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ethz.ch\/kowalski\/wp-json\/wp\/v2\/users\/625"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ethz.ch\/kowalski\/wp-json\/wp\/v2\/comments?post=2631"}],"version-history":[{"count":0,"href":"https:\/\/blogs.ethz.ch\/kowalski\/wp-json\/wp\/v2\/posts\/2631\/revisions"}],"wp:attachment":[{"href":"https:\/\/blogs.ethz.ch\/kowalski\/wp-json\/wp\/v2\/media?parent=2631"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ethz.ch\/kowalski\/wp-json\/wp\/v2\/categories?post=2631"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ethz.ch\/kowalski\/wp-json\/wp\/v2\/tags?post=2631"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}