John Baez
Jun7-05, 02:29 AM
<jabberwocky><div class="vbmenu_control"><a href="jabberwocky:;" onClick="newWindow=window.open('','usenetCode','toolbar=no, location=no,scrollbars=yes,resizable=yes,status=no ,width=650,height=400'); newWindow.document.write('<HTML><HEAD><TITLE>Usenet ASCII</TITLE></HEAD><BODY topmargin=0 leftmargin=0 BGCOLOR=#F1F1F1><table border=0 width=625><td bgcolor=midnightblue><font color=#F1F1F1>This Usenet message\'s original ASCII form: </font></td></tr><tr><td width=449><br><br><font face=courier><UL><PRE>Also available as http://math.ucr.edu/home/baez/week218.html\n\nJune 5, 2005\nThis Week\'s Finds in Mathematical Physics - Week 218\nJohn Baez\n\nClasses are over! Summer is here! Now I can finally get some work done!\nI\'ll be travelling to Sydney, Canberra, Beijing, Chengdu and Calgary, but\nmainly I want to finish writing some papers.\n\nFirst, though, I need to recover from a hard quarter. I need to goof off a\nbit! I spent most of yesterday lying in bed reading. Now I want to talk\nsome more about number theory.\n\nLet\'s see, where were we? I had just begun to introduce the theme of\nL-functions and their corresponding automorphic forms. My ultimate goal\nis to understand the Langlands Conjectures well enough to give a decent\nexplanation of what they say. Instead of simply stating them, I\'d like\nto really make them plausible, and this will take quite an elaborate warmup.\nSo, this Week I want to talk about some background.\n\nActually, this reminds me of sometime Feynman wrote: whenever he worked on a\nproblem, he needed the feeling he had some "inside track" - some insight or\ntrick up his sleeve that nobody else had. Most of us will never be as good\nas Feynman at choosing an "inside track". But I think we all need one to\nconvert what would otherwise be a dutiful and doomed struggle to catch up\nwith the experts into something more hopeful and exciting: a personal quest!\n\nFor anyone with a physics background, a good "inside track" on almost any math\nproblem is to convert it into some kind of crazy physics problem. It doesn\'t\nneed to be realistic physics, just anything you can apply physics intuition\nto! This is part of why string theorists have been so successful in cracking\nmath problems. It also underlies Alain Connes\' attempt to prove the Riemann\nHypothesis:\n\n1) Alain Connes, Noncommutative Geometry, Trace Formulas, and the Zeros of\nthe Riemann Zeta Function. Ohio State course notes and videos at\nhttp://www.math.ohio-state.edu/lectures/connes/Connes.html\n\nAlain Connes, Trace Formula in Noncommutative Geometry and the Zeros of\nthe Riemann Zeta function, available as math.NT/9811068.\n\n2) Mathilde Marcolli, Noncommutative Geometry and Number Theory,\navailable at http://www.math.fsu.edu/~marcolli/ncgntE.pdf\n\nOf course, Connes also has another "inside track", namely his theory of\nnoncommutative geometry.\n\nBy the way: a number theorist I know says he thinks Connes has essentially\nproved the Riemann Hypothesis, in the same way that Riemann "essentially"\nproved the Prime Number Theorem. Namely, he has reduced it to some facts that\nseem obviously true! Of course, it took about 40 years, from 1859 to 1896,\nfor Riemann\'s plan to be fulfilled by Hadamard and De La Vallee Poussin. So,\neven if Connes\' insights are correct, it may be a while before the Riemann\nHypothesis is actually proved.\n\nFor anyone with a background in geometry, a good "inside track" on almost any\nmath problem is to convert it into a geometry problem. In the case of number\ntheory this trick is old news, but still very much worth knowing. It\'s based\non an analogy which I began discussing in "week198".\n\nThe analogy starts out like this:\n\nNUMBER THEORY COMPLEX GEOMETRY\n\nIntegers, Z Polynomial functions on the complex plane, C[z]\nRational numbers, Q Rational functions on the complex plane, C(z)\nPrime numbers, P Points in the complex plane, C\n\nWhy is this analogy good? Well, for starters:\n\nEvery rational number is a ratio of integers.\n\nEvery rational function is a ratio of polynomials.\n\nBetter yet:\n\nEvery integer can be uniquely factored into primes\n(modulo invertible integers, namely +1 and -1).\n\nEvery complex polynomial can be uniquely factored into linear polynomials\n(modulo invertible polynomials, namely nonzero constants).\n\nThere\'s one linear polynomial z-a for each point a in the complex plane,\nso PRIMES are like POINTS in the complex plane.\n\nWe can make this precise using the concept of "spectrum", which I defined in\n"week199". Ignoring a certain little sublety which is discussed there:\n\nThe spectrum of Z is the set of prime numbers.\n\nThe spectrum of C[z] is the complex plane.\n\nThis way of thinking lets us treat the spectrum of any algebraic extension of\nthe integers, like the Gaussian integers, as a "covering space" of the set of\nprime numbers. I\'ve already drawn this picture:\n\n\n2+i 3+2i\n--- 1+i --- 3 --- --- 7 --- 11 --- --- GAUSSIAN INTEGERS\n2-i 3-2i\n\n\n-----2------3------5------7-----11------13----- INTEGERS\n\n\nBut, now I\'m saying that the "line" down below really acts like the\ncomplex *plane*. Taking this strange idea seriously leads to all sorts\nof amazing insights.\n\nFor example, if you poke a hole in this "plane" at some prime, there\'s\nsomething like a little *loop* that goes around this hole! In other words,\nthere\'s a sense in which the spectrum of Z has a nontrivial "fundamental\ngroup", which contains an element for each prime. Technically this group\nis called the Galois group Gal(Qbar/Q), and we get an element in it for\neach prime, called the "Frobenius automorphism" for that prime.\n\nAnother cool thing is that we can study integers "locally", one prime at a\ntime, just like we study complex functions locally. We can analyze functions\nat a point using Taylor series and Laurent series. And, we can stretch our\nanalogy to include these concepts:\n\nNUMBER THEORY COMPLEX GEOMETRY\n\nIntegers, Z Polynomial functions on the complex plane, C[z]\nRational numbers, Q Rational functions on the complex plane, C(z)\nPrime numbers, P Points a in the complex plane, C\nIntegers mod p^n, Z/p^n (n-1)st-order Taylor series, C[z]/(z-a)^n\np-adic integers, Z_p Taylor series, C[[z-a]]\np-adic numbers, Q_p Laurent series, C((z-a))\n\nAll the weird symbols are just the standard notations for these gadgets.\nThe analogy goes as follows:\n\nTo study a polynomial "at a point" a in the complex plane,\nwe can look at its value modulo (z-a), or more generally mod (z-a)^n.\n\nTo study an integer "at a prime" p,\nwe can look at its value modulo p, or more generally mod p^n.\n\nThis is nice because the value of a polynomial modulo (z-a)^n is just its\nTaylor series at the point a, where we keep terms up to order n-1.\n\nWe can also also take the limit as n -> infinity. If we do this to the\nintegers mod p^n we get a ring called the "p-adic integers". For example,\na typical 3-adic integer, written in base 3, looks like this:\n\n......21001102020110102012102201\n\nThey\ 're just like natural numbers in base 3, except they go on forever to the\nleft! We add and multiply them in the obvious way, for example:\n\n......21001102020110102012102201\n+ ......10201101012201201122010012\n-----------------------------------\n......01202210110012010211112220\n\nIf we take the same sort of limit for Taylor series, we get Taylor series\nthat go on forever - in other words, formal power series.\n\nWe can also ratios of p-adic integers, which are called p-adic numbers,\nand ratios of Taylor series, which are called Laurent series. A typical\n3-adic number, written in base 3, looks like this:\n\n.......121010010012121201201201011.210212 2020101022102011022........\n\nLaurent series can be used to describe functions that have a pole at some\npoint, like rational functions. Similarly, p-adic numbers can be used\nto describe rational numbers. Using more math jargon:\n\nFor any point a in C, there\'s a homomorphism\nfrom the field of rational functions\nto the field of Laurent series,\nwhich sends polynomials to Taylor series.\n\nFor any prime p, there\'s a homomorphism\nfrom the field of rational numbers\nto the field of p-adic numbers,\nwhich sends integers to p-adic integers.\n\nThis lets us study rational numbers "locally" at the prime p using p-adic\nnumbers, just as we can study a rational function locally at a point using\nits Laurent series. This technique can be quite useful. For example, a\npolynomial equation can have rational solutions only if it has p-adic\nsolution for all primes p.\n\nWe might hope for the converse, but then we would be ignoring a funny extra\n"prime" besides the usual ones... something called the "real prime"!\n\nThe point is, besides being able to embed the rational numbers in the p-adics\nfor any prime p, we can also embed them in the real numbers! This embedding\nis a bit different than the rest: it\'s based on a weird thing called an\n"Archimedean valuation", while the usual primes correspond to non-Archimedean\nvaluations.\n\nI\'m sort of joking here, since if you\'re more used to real numbers than\np-adics, you\'ll probably find Archimedean valuations to be *less* weird than\nnon-Archimedean ones. The Archimedean valuation on the rational numbers is\njust the usual absolute value, while the non-Archimedean ones are other\nconcepts of "absolute value", one for each prime p. If we take limits of\nrational numbers that converge using the usual distance function |x-y|, we\nget real numbers; if we take limits that converge using one of the\nnon-Archimedean versions of this distance function, we get p-adic numbers.\nBut from the viewpoint of number theory, it\'s the Archimedean valuation\nthat\'s the odd man out! It indeed does act very weird and different than\nall the rest. That\'s why someone wrote this book:\n\n3) M. J. Shai Haran, The Mysteries of the Real Prime, Oxford\nU. Press, Oxford, 2001.\n\n... which you will see is deeply connected to mathematical physics.\n\nIf we take this weird "real prime" into account, things work better.\nWe sometimes get results saying that some kind of polynomial equations\nhave a rational solution if they have p-adic solutions for all primes p\nand also a real solution. For example, Hasse proved this was true for\nsystems of quadratic equations in many variables.\n\nResults like this are called "local-to-global" results, since they\'re\nanalogous to constructing a function from local information, like its\nLaurent series at all different points.\n\nIn 1950, in his famous PhD thesis, John Tate came up with a clever way to\nformalize this "Laurent series at all different points" idea in the context\nof number theory. To do this, he formed a ring called the "adeles".\n\nIndeed, this is what my whole discussion so far has been leading up to!\nAdeles are a really nice formalism, and you pretty much need to understand\nthem to follow what people are doing in work on the Langlands Conjectures,\nor even simpler things, like class field theory. But, adeles seem like\nan arbitrary construction until you see them as an inevitable outgrowth\nof our desire to study integers "locally" at all different primes, including\nthe real prime.\n\nThe definition is simple. An adele consists of a p-adic number for each\nprime p, together with a real number... but where all but finitely many\nof the p-adic numbers are p-adic integers!\n\nThis is the number-theoretic analogue of a Laurent series for each point in\nthe complex plane, including the point at infinity... but with poles at only\nfinitely many points! We could call such a thing an "adele for the rational\nfunctions".\n\nAny rational function gives such a thing, just as any rational number gives\nan adele. And, we don\'t lose any information this way:\n\nThere\'s a one-to-one (but not onto) homomorphism\nfrom the rational functions to the adeles for the rational functions.\n\nThere\'s a one-to-one (but not onto) homomorphism\nfrom the rational numbers to the adeles for the rational numbers.\n\nSo, our table now looks like this. For good measure, I\'ll combine it with\nthe related table in "week205":\n\nNUMBER THEORY COMPLEX GEOMETRY\n\nIntegers Polynomial functions on the complex plane\nRational numbers Rational functions on the complex plane\nPrime numbers Points in the complex plane\nIntegers mod p^n (n-1)st-order Taylor series\np-adic integers Taylor series\np-adic numbers Laurent series\nAdeles for the rationals Adeles for the rational functions\nFields One-point spaces\nHomomorphisms to fields Maps from one-point spaces\nAlgebraic number fields Branched covering spaces of the complex plane\n\nThere\'s a *lot* more to say about this analogy, but I think this is enough\nfor now. Again, one of my secret goals was to start getting you comfy with\nadeles and the idea of studying number theory "locally".\n\nFor more on the geometrical side of number theory, I again recommend these:\n\n4) Juergen Neukirch, Algebraic Number Theory, trans. Norbert Schappacher,\nSpringer, Berlin, 1986.\n\n5) Dino Lorenzini, An Invitation to Arithmetic Geometry, American\nMathematical Society, Providence, Rhode Island, 1996.\n\nBut now, back to the subject of "inside tracks" - sneaky ways to get the\nbeneficial feeling that you have secret insights into some problem.\n\nFor anyone with a background in categories, a good "inside track" on\nalmost any math problem is to categorify it: to see that people are using\nsets where they could, and therefore *should*, be using categories or\nn-categories.\n\nI\'ve already hinted that zeta functions are an example of\n"decategorification". Now I\'d like to make this more precise.\n\nLet\'s think about the zeta function of a set X equipped with a one-to-one\nand onto function\n\nf: X -> X\n\nIf you\'re a physicist, you might call this a "discrete dynamical system",\nwith f describing one step of "time evolution". If you\'re a mathematician,\nyou might call this a "Z-set". After all, for any group G, a "G-set" is a\nset equipped with an action of G. If G = Z (the additive group of integers),\nthis amounts to a one-to-one and onto function from some set to itself.\n\nNo matter what you call them, these are fundamental things. So, let\'s\nlook at the *category* of Z-sets! Here the objects are Z-sets and the\nmorphisms are functions that commute with time evolution.\n\nAs explained near the end of "week216", we can define a kind of zeta\nfunction for a Z-set as follows:\n\nZ(x) = exp(sum_{n>0} |fix(f^x)| x^n / n)\n\nwhere |fix(f^n)| is the number of fixed points of f^n. Of course, this\nonly makes sense if all these numbers are finite; henceforth I\'ll assume\nmy Z-sets are "finite" in this special sense.\n\nIt turns out that you know a finite Z-set up to isomorphism if you know its\nzeta function. So, a zeta function is just a sneaky way of talking about\nan ISOMORPHISM CLASS of finite Z-sets.\n\nThis is a fancy example of something we all learn as kids: counting! When\nwe "count" a finite set, assigning a natural number to it, we are really\ndetermining its isomorphism class. Two finite sets are isomorphic if and\nonly if they have the same number of elements. Operations on finite sets,\nlike disjoint union and Cartesian product, are what give rise to operations\non natural numbers, like addition and multiplication.\n\nSummarizing this, we have the following motto, suitable for making into\na bumper sticker:\n\nTHE SET OF NATURAL NUMBERS IS THE DECATEGORIFICATION OF\nTHE CATEGORY OF FINITE SETS\n\nSimilarly, this is what we\'re seeing now:\n\nTHE SET OF ZETA FUNCTIONS IS THE DECATEGORIFICATION OF\nTHE CATEGORY OF FINITE Z-SETS\n\nBeware: here I\'m only talking about zeta functions of the above form. There\nare lots of other things people call zeta functions. So, don\'t read too\nmuch into this statement. But don\'t read too little into it, either! With\nan extra twist we can get most of the zeta functions showing up in number\ntheory. In number theory, we typically get a Z-set for each prime p,\ncoming from the "Frobenius" for that prime. We thus get a bunch of "local"\nzeta functions Z_p(x), one for each prime. We then multiply these to get\none big fat "global" zeta function:\n\nzeta(s) = product_p Z(p^{-s))\n\nEach local zeta function is a formal power series, while this global zeta\nfunction is a Dirichlet series. As I mentioned in "week217", formal power\nseries live in the monoid algebra of (N,+,0), while Dirichlet series live\nin the monoid algebra of (N,x,1). (N,+,0) is the free commutative monoid\non one generator, while (N,x,1) is the free commutative monoid on countably\nmany generators - the primes! Everything fits together sweetly.\n\nSo, it\'s a good first step to think about the zeta function of a single\nZ-set.\n\nNow, there\'s another motto along the lines of the above two, which I\'ve\ntalked about before:\n\nTHE SET OF GENERATING FUNCTIONS IS A DECATEGORIFICATION OF\nTHE CATEGORY OF STRUCTURE TYPES\n\nI explained this in "week185", "week190", and "week202". I\'ve even taught a\nwhole course on structure types (also known as "species") and the\ncombinatorics of Feynman diagrams. The course notes by Derek Wise are\navailable online:\n\n6) John Baez and Derek Wise, Quantization and Categorification, available at:\nhttp://math.ucr.edu/home/baez/qg-fall2003/\nhttp://math.ucr.edu/home/baez/qg-winter2004/\nhttp://math.ucr.edu/home/baez/qg-spring2004/\n\nSo, I think this third example of decategorification is great. But, I\'m not\ngoing to explain it in much detail here - just enough to say how it\'s related\nto zeta functions!\n\nA stucture type F is a gadget that gives a set F_n for each n = 0,1,2,....\nWe think of the elements of F_n as "structures of type F" on an n-element\nset - for example, orderings, or cyclic orderings, or n-colorings, or\nwhatever type of structure you like. We only require that permutations of\nthe n-element set act on this set of structures. But for what we\'re doing\nnow, let\'s also assume this set F_n is finite.\n\nAny structure type has a "generating function", which is a formal\npower series |F| given by\n\n|F_n|\n|F|(x) = sum ------- x^n\nn!\n\nIsomorphic structure types have the same generating function. However,\nstructure types with the same generating function can fail to be isomorphic.\nThis is why I said generating functions are "a" decategorification of\nstructure types, instead of "the" decategorification.\n\nDespite this defect, generating functions are still very useful in\ncombinatorics. So, when we see a zeta function like\n\nZ(x) = exp(sum_{n>0} |fix(f^n)| x^n / n)\n\nas a trick for decategorifying Z-sets, we should instantly wonder if it\'s\na generating function in disguise. And of course, it is!\n\nActually it\'s easiest to leave out the exponential at first. This power\nseries:\n\nsum_{n>0} |fix(f^n)| x^n / n\n\nis the generating function for the structure type "being cyclically\nordered and equipped with a morphism to the Z-set X".\n\nHuh?\n\nWe "cyclically order" a finite set by drawing it as a little circle of dots\nwith arrows pointing clockwise from each dot to the next. A cyclically\nordered set is automatically a Z-set in an obvious way. So, here\'s a type\nof structure you can put on a finite set: cyclically ordering it and\nequipping the resulting Z-set with a morphism to the Z-set X.\n\nAnd, if you work out the generating function of this structure type, you get\n\nsum_{n>0} |fix(f^n)| x^n / n\n\nCheck it and see!\n\nWhat about the exponential? Luckily, there\'s a standard way to take the\nexponential of a structure type: to put an exp(F)-structure on a finite set\nS, we chop S into disjoint parts and put an F-structure on each part. So,\nthe zeta function\n\nZ(x) = exp(sum_{n>0} |fix(f^n)| x^n / n)\n\nis the generating function for "being chopped up into cyclically ordered\nparts, each equipped with a morphism to the Z-set X".\n\nBut this is just a long way of saying: "being made into a Z-set and equipped\nwith a morphism to the Z-set X".\n\nOr, in category theory jargon, "being a Z-set over X".\n\nSo:\n\nTHE ZETA FUNCTION OF THE Z-SET X IS THE GENERATING FUNCTION OF\n"BEING A Z-SET OVER X"\n\nBy the way, this is the kind of thing you could do with *any* structure type\nF. Given an F-structured set X, we get a new structure type "being an\nF-structured set equipped with a morphism to X". Or, in category theory\njargon, "being an F-structured set over X". The generating function of this\ncould be called the "zeta function" of our F-structured set X. I have no\nidea how important this is...\n\n... but I want to keep gnawing away on the connection between zeta functions\nand the generating functions of combinatorics, because to understand number\ntheory, I need all the "inside tracks" I can get!\n\nQuote of the week, brought to me by David Corfield:\n\nThe scientific life of mathematicians can be pictured as a trip inside the\ngeography of the "mathematical reality" which they unveil gradually in their\nown private mental frame.\n\nIt often begins by an act of rebellion with respect to the existing dogmatic\ndescription of that reality that one will find in existing books. The young\n"to be mathematician" realize in their own mind that their perception of the\nmathematical world captures some features which do not fit with the existing\ndogma. This first act is often due in most cases to ignorance but it allows\none to free oneself from the reverence to authority by relying on one\'s\nintuition provided it is backed by actual proofs. Once mathematicians get to\nreally know, in an original and "personal" manner, a small part of the\nmathematical world, as esoteric as it can look at first, their trip can\nreally start. It is of course vital not to break the "fil d\'arianne" which\nallows one to constantly keep a fresh eye on whatever one will encounter\nalong the way, and also to go back to the source if one feels lost at times...\n\nIt is also vital to always keep moving. The risk otherwise is to confine\noneself in a relatively small area of extreme technical specialization, thus\nshrinking one\'s perception of the mathematical world and its bewildering\ndiversity.\n\nThe really fundamental point in that respect is that while so many\nmathematicians have been spending their entire life exploring that world they\nall agree on its contours and on its connexity: whatever the origin of one\'s\nitinerary, one day or another if one walks long enough, one is bound to reach\na well known town i.e. for instance to meet elliptic functions, modular\nforms, zeta functions. "All roads lead to Rome" and the mathematical world\nis "connected".\n\nIn other words there is just "one" mathematical world, whose exploration is\nthe task of all mathematicians, and they are all in the same boat somehow.\n\n- Alain Connes\n\n-----------------------------------------------------------------------\nPrevious issues of "This Week\'s Finds" and other expository articles on\nmathematics and physics, as well as some of my research papers, can be\nobtained at\n\nhttp://math.ucr.edu/home/baez/\n\nFor a table of contents of all the issues of This Week\'s Finds, try\n\nhttp://math.ucr.edu/home/baez/twf.html\n\nA simple jumping-off point to the old issues is available at\n\nhttp://math.ucr.edu/home/baez/twfshort.html\n\nIf you just want the latest issue, go to\n\nhttp://math.ucr.edu/home/baez/this.week.html\n\n</UL></PRE></font></td></tr></table></BODY><HTML>');"> <IMG SRC=/images/buttons/ip.gif BORDER=0 ALIGN=CENTER ALT="View this Usenet post in original ASCII form"> View this Usenet post in original ASCII form </a></div><P></jabberwocky>Also available as http://math.ucr.edu/home/baez/week218.html
June 5, 2005
This Week's Finds in Mathematical Physics - Week 218
John Baez
Classes are over! Summer is here! Now I can finally get some work done!
I'll be travelling to Sydney, Canberra, Beijing, Chengdu and Calgary, but
mainly I want to finish writing some papers.
First, though, I need to recover from a hard quarter. I need to goof off a
bit! I spent most of yesterday lying in bed reading. Now I want to talk
some more about number theory.
Let's see, where were we? I had just begun to introduce the theme of
L-functions and their corresponding automorphic forms. My ultimate goal
is to understand the Langlands Conjectures well enough to give a decent
explanation of what they say. Instead of simply stating them, I'd like
to really make them plausible, and this will take quite an elaborate warmup.
So, this Week I want to talk about some background.
Actually, this reminds me of sometime Feynman wrote: whenever he worked on a
problem, he needed the feeling he had some "inside track" - some insight or
trick up his sleeve that nobody else had. Most of us will never be as good
as Feynman at choosing an "inside track". But I think we all need one to
convert what would otherwise be a dutiful and doomed struggle to catch up
with the experts into something more hopeful and exciting: a personal quest!
For anyone with a physics background, a good "inside track" on almost any math
problem is to convert it into some kind of crazy physics problem. It doesn't
need to be realistic physics, just anything you can apply physics intuition
to! This is part of why string theorists have been so successful in cracking
math problems. It also underlies Alain Connes' attempt to prove the Riemann
Hypothesis:
1) Alain Connes, Noncommutative Geometry, Trace Formulas, and the Zeros of
the Riemann \Zeta Function. Ohio State course notes and videos at
http://www.math.ohio-state.edu/lectures/connes/Connes.html
Alain Connes, Trace Formula in Noncommutative Geometry and the Zeros of
the Riemann \Zeta function, available as math.NT/9811068.
2) Mathilde Marcolli, Noncommutative Geometry and Number Theory,
available at http://www.math.fsu.edu/~marcolli/ncgntE.pdf
Of course, Connes also has another "inside track", namely his theory of
noncommutative geometry.
By the way: a number theorist I know says he thinks Connes has essentially
proved the Riemann Hypothesis, in the same way that Riemann "essentially"
proved the Prime Number Theorem. Namely, he has reduced it to some facts that
seem obviously true! Of course, it took about 40 years, from 1859 to 1896,
for Riemann's plan to be fulfilled by Hadamard and De La Vallee Poussin. So,
even if Connes' insights are correct, it may be a while before the Riemann
Hypothesis is actually proved.
For anyone with a background in geometry, a good "inside track" on almost any
math problem is to convert it into a geometry problem. In the case of number
theory this trick is old news, but still very much worth knowing. It's based
on an analogy which I began discussing in "week198".
The analogy starts out like this:
NUMBER THEORY COMPLEX GEOMETRY
Integers, Z Polynomial functions on the complex plane, C[z]
Rational numbers, Q Rational functions on the complex plane, C(z)
Prime numbers, P Points in the complex plane, C
Why is this analogy good? Well, for starters:
Every rational number is a ratio of integers.
Every rational function is a ratio of polynomials.
Better yet:
Every integer can be uniquely factored into primes
(modulo invertible integers, namely +1 and -1).
Every complex polynomial can be uniquely factored into linear polynomials
(modulo invertible polynomials, namely nonzero constants).
There's one linear polynomial z-a for each point a in the complex plane,
so PRIMES are like POINTS in the complex plane.
We can make this precise using the concept of "spectrum", which I defined in
"week199". Ignoring a certain little sublety which is discussed there:
The spectrum of Z is the set of prime numbers.
The spectrum of C[z] is the complex plane.
This way of thinking lets us treat the spectrum of any algebraic extension of
the integers, like the Gaussian integers, as a "covering space" of the set of
prime numbers. I've already drawn this picture:
2+i 3+2i[/itex]
--- 1+i --- 3 --- --- 7 --- 11 --- --- GAUSSIAN INTEGERS
2-i 3-2i
-----2------3------5------7-----11------13----- INTEGERS
But, now I'm saying that the "line" down below really acts like the
complex *plane*. Taking this strange idea seriously leads to all sorts
of amazing insights.
For example, if you poke a hole in this "plane" at some prime, there's
something like a little *loop* that goes around this hole! In other words,
there's a sense in which the spectrum of Z has a nontrivial "fundamental
group", which contains an element for each prime. Technically this group
is called the Galois group Gal(Qbar/Q), and we get an element in it for
each prime, called the "Frobenius automorphism" for that prime.
Another cool thing is that we can study integers "locally", one prime at a
time, just like we study complex functions locally. We can analyze functions
at a point using Taylor series and Laurent series. And, we can stretch our
analogy to include these concepts:
NUMBER THEORY COMPLEX GEOMETRY
Integers, Z Polynomial functions on the complex plane, C[z]
Rational numbers, Q Rational functions on the complex plane, C(z)
Prime numbers, P Points a in the complex plane, C
Integers mod p^n, Z/p^n (n-1)st-order Taylor series, C[z]/(z-a)^n
p-adic integers, Z_p Taylor series, C[[z-a]]
p-adic numbers, Q_p Laurent series, C((z-a))
All the weird symbols are just the standard notations for these gadgets.
The analogy goes as follows:
To study a polynomial "at a point" a in the complex plane,
we can look at its value modulo (z-a), or more generally mod (z-a)^n.
To study an integer "at a prime" p,
we can look at its value modulo p, or more generally mod p^n.
This is nice because the value of a polynomial modulo (z-a)^n is just its
Taylor series at the point a, where we keep terms up to order n-1.
We can also also take the limit as n -> infinity. If we do this to the
integers mod p^n we get a ring called the "p-adic integers". For example,
a typical 3-adic integer, written in base 3, looks like this:
......21001102020110102012102201
They're just like natural numbers in base 3, except they go on forever to the
left! We add and multiply them in the obvious way, for example:
......21001102020110102012102201
+ ......10201101012201201122010012
-----------------------------------
......01202210110012010211112220
If we take the same sort of limit for Taylor series, we get Taylor series
that go on forever - in other words, formal power series.
We can also ratios of p-adic integers, which are called p-adic numbers,
and ratios of Taylor series, which are called Laurent series. A typical
3-adic number, written in base 3, looks like this:
.......121010010012121201201201011.210212202010102 2102011022........
Laurent series can be used to describe functions that have a pole at some
point, like rational functions. Similarly, p-adic numbers can be used
to describe rational numbers. Using more math jargon:
For any point a in C, there's a homomorphism
from the field of rational functions
to the field of Laurent series,
which sends polynomials to Taylor series.
For any prime p, there's a homomorphism
from the field of rational numbers
to the field of p-adic numbers,
which sends integers to p-adic integers.
This lets us study rational numbers "locally" at the prime p using p-adic
numbers, just as we can study a rational function locally at a point using
its Laurent series. This technique can be quite useful. For example, a
polynomial equation can have rational solutions only if it has p-adic
solution for all primes p.
We might hope for the converse, but then we would be ignoring a funny extra
"prime" besides the usual ones... something called the "real prime"!
The point is, besides being able to embed the rational numbers in the p-adics
for any prime p, we can also embed them in the real numbers! This embedding
is a bit different than the rest: it's based on a weird thing called an
"Archimedean valuation", while the usual primes correspond to non-Archimedean
valuations.
I'm sort of joking here, since if you're more used to real numbers than
p-adics, you'll probably find Archimedean valuations to be *less* weird than
non-Archimedean ones. The Archimedean valuation on the rational numbers is
just the usual absolute value, while the non-Archimedean ones are other
concepts of "absolute value", one for each prime p. If we take limits of
rational numbers that converge using the usual distance function |x-y|, we
get real numbers; if we take limits that converge using one of the
non-Archimedean versions of this distance function, we get p-adic numbers.
But from the viewpoint of number theory, it's the Archimedean valuation
that's the odd man out! It indeed does act very weird and different than
all the rest. That's why someone wrote this book:
3) M. J. Shai Haran, The Mysteries of the Real Prime, Oxford
U. Press, Oxford, 2001.
... which you will see is deeply connected to mathematical physics.
If we take this weird "real prime" into account, things work better.
We sometimes get results saying that some kind of polynomial equations
have a rational solution if they have p-adic solutions for all primes p
and also a real solution. For example, Hasse proved this was true for
systems of quadratic equations in many variables.
Results like this are called "local-to-global" results, since they're
analogous to constructing a function from local information, like its
Laurent series at all different points.
In 1950, in his famous PhD thesis, John Tate came up with a clever way to
formalize this "Laurent series at all different points" idea in the context
of number theory. To do this, he formed a ring called the "adeles".
Indeed, this is what my whole discussion so far has been leading up to!
Adeles are a really nice formalism, and you pretty much need to understand
them to follow what people are doing in work on the Langlands Conjectures,
or even simpler things, like class field theory. But, adeles seem like
an arbitrary construction until you see them as an inevitable outgrowth
of our desire to study integers "locally" at all different primes, including
the real prime.
The definition is simple. An adele consists of a p-adic number for each
prime p, together with a real number... but where all but finitely many
of the p-adic numbers are p-adic integers!
This is the number-theoretic analogue of a Laurent series for each point in
the complex plane, including the point at infinity... but with poles at only
finitely many points! We could call such a thing an "adele for the rational
functions".
Any rational function gives such a thing, just as any rational number gives
an adele. And, we don't lose any information this way:
There's a one-to-one (but not onto) homomorphism
from the rational functions to the adeles for the rational functions.
There's a one-to-one (but not onto) homomorphism
from the rational numbers to the adeles for the rational numbers.
So, our table now looks like this. For good measure, I'll combine it with
the related table in "week205":
NUMBER THEORY COMPLEX GEOMETRY
Integers Polynomial functions on the complex plane
Rational numbers Rational functions on the complex plane
Prime numbers Points in the complex plane
Integers mod p^n (n-1)st-order Taylor series
p-adic integers Taylor series
p-adic numbers Laurent series
Adeles for the rationals Adeles for the rational functions
Fields One-point spaces
Homomorphisms to fields Maps from one-point spaces
Algebraic number fields Branched covering spaces of the complex plane
There's a *lot* more to say about this analogy, but I think this is enough
for now. Again, one of my secret goals was to start getting you comfy with
adeles and the idea of studying number theory "locally".
For more on the geometrical side of number theory, I again recommend these:
4) Juergen Neukirch, Algebraic Number Theory, trans. Norbert Schappacher,
Springer, Berlin, 1986.
5) Dino Lorenzini, An Invitation to Arithmetic Geometry, American
Mathematical Society, Providence, Rhode Island, 1996.
But now, back to the subject of "inside tracks" - sneaky ways to get the
beneficial feeling that you have secret insights into some problem.
For anyone with a background in categories, a good "inside track" on
almost any math problem is to categorify it: to see that people are using
sets where they could, and therefore *should*, be using categories or
n-categories.
I've already hinted that \zeta functions are an example of
"decategorification". Now I'd like to make this more precise.
Let's think about the \zeta function of a set X equipped with a one-to-one
and onto function
f: X -> X
If you're a physicist, you might call this a "discrete dynamical system",
with f describing one step of "time evolution". If you're a mathematician,
you might call this a "Z-set". After all, for any group G, a "G-set" is a
set equipped with an action of G. If G = Z (the additive group of integers),
this amounts to a one-to-one and onto function from some set to itself.
No matter what you call them, these are fundamental things. So, let's
look at the *category* of Z-sets! Here the objects are Z-sets and the
morphisms are functions that commute with time evolution.
As explained near the end of "week216", we can define a kind of \zeta
function for a Z-set as follows:
Z(x) = \exp(sum_{n>0} |fix(f^x)| x^n / n)
where |fix(f^n)| is the number of fixed points of f^n. Of course, this
only makes sense if all these numbers are finite; henceforth I'll assume
my Z-sets are "finite" in this special sense.
It turns out that you know a finite Z-set up to isomorphism if you know its
\zeta function. So, a \zeta function is just a sneaky way of talking about
an ISOMORPHISM CLASS of finite Z-sets.
This is a fancy example of something we all learn as kids: counting! When
we "count" a finite set, assigning a natural number to it, we are really
determining its isomorphism class. Two finite sets are isomorphic if and
only if they have the same number of elements. Operations on finite sets,
like disjoint union and Cartesian product, are what give rise to operations
on natural numbers, like addition and multiplication.
Summarizing this, we have the following motto, suitable for making into
a bumper sticker:
THE SET OF NATURAL NUMBERS IS THE DECATEGORIFICATION OF
THE CATEGORY OF FINITE SETS
Similarly, this is what we're seeing now:
THE SET OF \ZETA FUNCTIONS IS THE DECATEGORIFICATION OF
THE CATEGORY OF FINITE Z-SETS
Beware: here I'm only talking about \zeta functions of the above form. There
are lots of other things people call \zeta functions. So, don't read too
much into this statement. But don't read too little into it, either! With
an extra twist we can get most of the \zeta functions showing up in number
theory. In number theory, we typically get a Z-set for each prime p,
coming from the "Frobenius" for that prime. We thus get a bunch of "local"
\zeta functions Z_p(x), one for each prime. We then multiply these to get
one big fat "global" \zeta function:
\zeta(s) = product_p Z(p^{-s))
Each local \zeta function is a formal power series, while this global \zeta
function is a Dirichlet series. As I mentioned in "week217", formal power
series live in the monoid algebra of (N,+,0), while Dirichlet series live
in the monoid algebra of (N,x,1). (N,+,0) is the free commutative monoid
on one generator, while (N,x,1) is the free commutative monoid on countably
many generators - the primes! Everything fits together sweetly.
So, it's a good first step to think about the \zeta function of a single
Z-set.
Now, there's another motto along the lines of the above two, which I've
talked about before:
THE SET OF GENERATING FUNCTIONS IS A DECATEGORIFICATION OF
THE CATEGORY OF STRUCTURE TYPES
I explained this in "week185", "week190", and "week202". I've even taught a
whole course on structure types (also known as "species") and the
combinatorics of Feynman diagrams. The course notes by Derek Wise are
available online:
6) John Baez and Derek Wise, Quantization and Categorification, available at:
http://math.ucr.edu/home/baez/qg-fall2003/
http://math.ucr.edu/home/baez/qg-winter2004/
http://math.ucr.edu/home/baez/qg-spring2004/
So, I think this third example of decategorification is great. But, I'm not
going to explain it in much detail here - just enough to say how it's related
to \zeta functions!
A stucture type F is a gadget that gives a set F_n for each n = 0,1,2,....
We think of the elements of F_n as "structures of type F" on an n-element
set - for example, orderings, or cyclic orderings, or n-colorings, or
whatever type of structure you like. We only require that permutations of
the n-element set act on this set of structures. But for what we're doing
now, let's also assume this set F_n is finite.
Any structure type has a "generating function", which is a formal
power series |F| given by
|F_n||F|(x) = sum ------- x^n
n!
Isomorphic structure types have the same generating function. However,
structure types with the same generating function can fail to be isomorphic.
This is why I said generating functions are "a" decategorification of
structure types, instead of "the" decategorification.
Despite this defect, generating functions are still very useful in
combinatorics. So, when we see a \zeta function like
Z(x) [itex]= \exp(sum_{n>0} |fix(f^n)| x^n / n)
as a trick for decategorifying Z-sets, we should instantly wonder if it's
a generating function in disguise. And of course, it is!
Actually it's easiest to leave out the exponential at first. This power
series:
sum_{n>0} |fix(f^n)| x^n / n
is the generating function for the structure type "being cyclically
ordered and equipped with a morphism to the Z-set X".
Huh?
We "cyclically order" a finite set by drawing it as a little circle of dots
with arrows pointing clockwise from each dot to the next. A cyclically
ordered set is automatically a Z-set in an obvious way. So, here's a type
of structure you can put on a finite set: cyclically ordering it and
equipping the resulting Z-set with a morphism to the Z-set X.
And, if you work out the generating function of this structure type, you get
sum_{n>0} |fix(f^n)| x^n / n
Check it and see!
What about the exponential? Luckily, there's a standard way to take the
exponential of a structure type: to put an \exp(F)-structure on a finite set
S, we chop S into disjoint parts and put an F-structure on each part. So,
the \zeta function
Z(x) = \exp(sum_{n>0} |fix(f^n)| x^n / n)
is the generating function for "being chopped up into cyclically ordered
parts, each equipped with a morphism to the Z-set X".
But this is just a long way of saying: "being made into a Z-set and equipped
with a morphism to the Z-set X".
Or, in category theory jargon, "being a Z-set over X".
So:
THE \ZETA FUNCTION OF THE Z-SET X IS THE GENERATING FUNCTION OF
"BEING A Z-SET OVER X"
By the way, this is the kind of thing you could do with *any* structure type
F. Given an F-structured set X, we get a new structure type "being an
F-structured set equipped with a morphism to X". Or, in category theory
jargon, "being an F-structured set over X". The generating function of this
could be called the "\zeta function" of our F-structured set X. I have no
idea how important this is...
... but I want to keep gnawing away on the connection between \zeta functions
and the generating functions of combinatorics, because to understand number
theory, I need all the "inside tracks" I can get!
Quote of the week, brought to me by David Corfield:
The scientific life of mathematicians can be pictured as a trip inside the
geography of the "mathematical reality" which they unveil gradually in their
own private mental frame.
It often begins by an act of rebellion with respect to the existing dogmatic
description of that reality that one will find in existing books. The young
"to be mathematician" realize in their own mind that their perception of the
mathematical world captures some features which do not fit with the existing
dogma. This first act is often due in most cases to ignorance but it allows
one to free oneself from the reverence to authority by relying on one's
intuition provided it is backed by actual proofs. Once mathematicians get to
really know, in an original and "personal" manner, a small part of the
mathematical world, as esoteric as it can look at first, their trip can
really start. It is of course vital not to break the "fil d'arianne" which
allows one to constantly keep a fresh eye on whatever one will encounter
along the way, and also to go back to the source if one feels lost at times...
It is also vital to always keep moving. The risk otherwise is to confine
oneself in a relatively small area of extreme technical specialization, thus
shrinking one's perception of the mathematical world and its bewildering
diversity.
The really fundamental point in that respect is that while so many
mathematicians have been spending their entire life exploring that world they
all agree on its contours and on its connexity: whatever the origin of one's
itinerary, one day or another if one walks long enough, one is bound to reach
a well known town i.e. for instance to meet elliptic functions, modular
forms, \zeta functions. "All roads lead to Rome" and the mathematical world
is "connected".
In other words there is just "one" mathematical world, whose exploration is
the task of all mathematicians, and they are all in the same boat somehow.
- Alain Connes
-----------------------------------------------------------------------
Previous issues of "This Week's Finds" and other expository articles on
mathematics and physics, as well as some of my research papers, can be
obtained at
http://math.ucr.edu/home/baez/
For a table of contents of all the issues of This Week's Finds, try
http://math.ucr.edu/home/baez/twf.html
A simple jumping-off point to the old issues is available at
http://math.ucr.edu/home/baez/twfshort.html
If you just want the latest issue, go to
http://math.ucr.edu/home/baez/this.week.html
June 5, 2005
This Week's Finds in Mathematical Physics - Week 218
John Baez
Classes are over! Summer is here! Now I can finally get some work done!
I'll be travelling to Sydney, Canberra, Beijing, Chengdu and Calgary, but
mainly I want to finish writing some papers.
First, though, I need to recover from a hard quarter. I need to goof off a
bit! I spent most of yesterday lying in bed reading. Now I want to talk
some more about number theory.
Let's see, where were we? I had just begun to introduce the theme of
L-functions and their corresponding automorphic forms. My ultimate goal
is to understand the Langlands Conjectures well enough to give a decent
explanation of what they say. Instead of simply stating them, I'd like
to really make them plausible, and this will take quite an elaborate warmup.
So, this Week I want to talk about some background.
Actually, this reminds me of sometime Feynman wrote: whenever he worked on a
problem, he needed the feeling he had some "inside track" - some insight or
trick up his sleeve that nobody else had. Most of us will never be as good
as Feynman at choosing an "inside track". But I think we all need one to
convert what would otherwise be a dutiful and doomed struggle to catch up
with the experts into something more hopeful and exciting: a personal quest!
For anyone with a physics background, a good "inside track" on almost any math
problem is to convert it into some kind of crazy physics problem. It doesn't
need to be realistic physics, just anything you can apply physics intuition
to! This is part of why string theorists have been so successful in cracking
math problems. It also underlies Alain Connes' attempt to prove the Riemann
Hypothesis:
1) Alain Connes, Noncommutative Geometry, Trace Formulas, and the Zeros of
the Riemann \Zeta Function. Ohio State course notes and videos at
http://www.math.ohio-state.edu/lectures/connes/Connes.html
Alain Connes, Trace Formula in Noncommutative Geometry and the Zeros of
the Riemann \Zeta function, available as math.NT/9811068.
2) Mathilde Marcolli, Noncommutative Geometry and Number Theory,
available at http://www.math.fsu.edu/~marcolli/ncgntE.pdf
Of course, Connes also has another "inside track", namely his theory of
noncommutative geometry.
By the way: a number theorist I know says he thinks Connes has essentially
proved the Riemann Hypothesis, in the same way that Riemann "essentially"
proved the Prime Number Theorem. Namely, he has reduced it to some facts that
seem obviously true! Of course, it took about 40 years, from 1859 to 1896,
for Riemann's plan to be fulfilled by Hadamard and De La Vallee Poussin. So,
even if Connes' insights are correct, it may be a while before the Riemann
Hypothesis is actually proved.
For anyone with a background in geometry, a good "inside track" on almost any
math problem is to convert it into a geometry problem. In the case of number
theory this trick is old news, but still very much worth knowing. It's based
on an analogy which I began discussing in "week198".
The analogy starts out like this:
NUMBER THEORY COMPLEX GEOMETRY
Integers, Z Polynomial functions on the complex plane, C[z]
Rational numbers, Q Rational functions on the complex plane, C(z)
Prime numbers, P Points in the complex plane, C
Why is this analogy good? Well, for starters:
Every rational number is a ratio of integers.
Every rational function is a ratio of polynomials.
Better yet:
Every integer can be uniquely factored into primes
(modulo invertible integers, namely +1 and -1).
Every complex polynomial can be uniquely factored into linear polynomials
(modulo invertible polynomials, namely nonzero constants).
There's one linear polynomial z-a for each point a in the complex plane,
so PRIMES are like POINTS in the complex plane.
We can make this precise using the concept of "spectrum", which I defined in
"week199". Ignoring a certain little sublety which is discussed there:
The spectrum of Z is the set of prime numbers.
The spectrum of C[z] is the complex plane.
This way of thinking lets us treat the spectrum of any algebraic extension of
the integers, like the Gaussian integers, as a "covering space" of the set of
prime numbers. I've already drawn this picture:
2+i 3+2i[/itex]
--- 1+i --- 3 --- --- 7 --- 11 --- --- GAUSSIAN INTEGERS
2-i 3-2i
-----2------3------5------7-----11------13----- INTEGERS
But, now I'm saying that the "line" down below really acts like the
complex *plane*. Taking this strange idea seriously leads to all sorts
of amazing insights.
For example, if you poke a hole in this "plane" at some prime, there's
something like a little *loop* that goes around this hole! In other words,
there's a sense in which the spectrum of Z has a nontrivial "fundamental
group", which contains an element for each prime. Technically this group
is called the Galois group Gal(Qbar/Q), and we get an element in it for
each prime, called the "Frobenius automorphism" for that prime.
Another cool thing is that we can study integers "locally", one prime at a
time, just like we study complex functions locally. We can analyze functions
at a point using Taylor series and Laurent series. And, we can stretch our
analogy to include these concepts:
NUMBER THEORY COMPLEX GEOMETRY
Integers, Z Polynomial functions on the complex plane, C[z]
Rational numbers, Q Rational functions on the complex plane, C(z)
Prime numbers, P Points a in the complex plane, C
Integers mod p^n, Z/p^n (n-1)st-order Taylor series, C[z]/(z-a)^n
p-adic integers, Z_p Taylor series, C[[z-a]]
p-adic numbers, Q_p Laurent series, C((z-a))
All the weird symbols are just the standard notations for these gadgets.
The analogy goes as follows:
To study a polynomial "at a point" a in the complex plane,
we can look at its value modulo (z-a), or more generally mod (z-a)^n.
To study an integer "at a prime" p,
we can look at its value modulo p, or more generally mod p^n.
This is nice because the value of a polynomial modulo (z-a)^n is just its
Taylor series at the point a, where we keep terms up to order n-1.
We can also also take the limit as n -> infinity. If we do this to the
integers mod p^n we get a ring called the "p-adic integers". For example,
a typical 3-adic integer, written in base 3, looks like this:
......21001102020110102012102201
They're just like natural numbers in base 3, except they go on forever to the
left! We add and multiply them in the obvious way, for example:
......21001102020110102012102201
+ ......10201101012201201122010012
-----------------------------------
......01202210110012010211112220
If we take the same sort of limit for Taylor series, we get Taylor series
that go on forever - in other words, formal power series.
We can also ratios of p-adic integers, which are called p-adic numbers,
and ratios of Taylor series, which are called Laurent series. A typical
3-adic number, written in base 3, looks like this:
.......121010010012121201201201011.210212202010102 2102011022........
Laurent series can be used to describe functions that have a pole at some
point, like rational functions. Similarly, p-adic numbers can be used
to describe rational numbers. Using more math jargon:
For any point a in C, there's a homomorphism
from the field of rational functions
to the field of Laurent series,
which sends polynomials to Taylor series.
For any prime p, there's a homomorphism
from the field of rational numbers
to the field of p-adic numbers,
which sends integers to p-adic integers.
This lets us study rational numbers "locally" at the prime p using p-adic
numbers, just as we can study a rational function locally at a point using
its Laurent series. This technique can be quite useful. For example, a
polynomial equation can have rational solutions only if it has p-adic
solution for all primes p.
We might hope for the converse, but then we would be ignoring a funny extra
"prime" besides the usual ones... something called the "real prime"!
The point is, besides being able to embed the rational numbers in the p-adics
for any prime p, we can also embed them in the real numbers! This embedding
is a bit different than the rest: it's based on a weird thing called an
"Archimedean valuation", while the usual primes correspond to non-Archimedean
valuations.
I'm sort of joking here, since if you're more used to real numbers than
p-adics, you'll probably find Archimedean valuations to be *less* weird than
non-Archimedean ones. The Archimedean valuation on the rational numbers is
just the usual absolute value, while the non-Archimedean ones are other
concepts of "absolute value", one for each prime p. If we take limits of
rational numbers that converge using the usual distance function |x-y|, we
get real numbers; if we take limits that converge using one of the
non-Archimedean versions of this distance function, we get p-adic numbers.
But from the viewpoint of number theory, it's the Archimedean valuation
that's the odd man out! It indeed does act very weird and different than
all the rest. That's why someone wrote this book:
3) M. J. Shai Haran, The Mysteries of the Real Prime, Oxford
U. Press, Oxford, 2001.
... which you will see is deeply connected to mathematical physics.
If we take this weird "real prime" into account, things work better.
We sometimes get results saying that some kind of polynomial equations
have a rational solution if they have p-adic solutions for all primes p
and also a real solution. For example, Hasse proved this was true for
systems of quadratic equations in many variables.
Results like this are called "local-to-global" results, since they're
analogous to constructing a function from local information, like its
Laurent series at all different points.
In 1950, in his famous PhD thesis, John Tate came up with a clever way to
formalize this "Laurent series at all different points" idea in the context
of number theory. To do this, he formed a ring called the "adeles".
Indeed, this is what my whole discussion so far has been leading up to!
Adeles are a really nice formalism, and you pretty much need to understand
them to follow what people are doing in work on the Langlands Conjectures,
or even simpler things, like class field theory. But, adeles seem like
an arbitrary construction until you see them as an inevitable outgrowth
of our desire to study integers "locally" at all different primes, including
the real prime.
The definition is simple. An adele consists of a p-adic number for each
prime p, together with a real number... but where all but finitely many
of the p-adic numbers are p-adic integers!
This is the number-theoretic analogue of a Laurent series for each point in
the complex plane, including the point at infinity... but with poles at only
finitely many points! We could call such a thing an "adele for the rational
functions".
Any rational function gives such a thing, just as any rational number gives
an adele. And, we don't lose any information this way:
There's a one-to-one (but not onto) homomorphism
from the rational functions to the adeles for the rational functions.
There's a one-to-one (but not onto) homomorphism
from the rational numbers to the adeles for the rational numbers.
So, our table now looks like this. For good measure, I'll combine it with
the related table in "week205":
NUMBER THEORY COMPLEX GEOMETRY
Integers Polynomial functions on the complex plane
Rational numbers Rational functions on the complex plane
Prime numbers Points in the complex plane
Integers mod p^n (n-1)st-order Taylor series
p-adic integers Taylor series
p-adic numbers Laurent series
Adeles for the rationals Adeles for the rational functions
Fields One-point spaces
Homomorphisms to fields Maps from one-point spaces
Algebraic number fields Branched covering spaces of the complex plane
There's a *lot* more to say about this analogy, but I think this is enough
for now. Again, one of my secret goals was to start getting you comfy with
adeles and the idea of studying number theory "locally".
For more on the geometrical side of number theory, I again recommend these:
4) Juergen Neukirch, Algebraic Number Theory, trans. Norbert Schappacher,
Springer, Berlin, 1986.
5) Dino Lorenzini, An Invitation to Arithmetic Geometry, American
Mathematical Society, Providence, Rhode Island, 1996.
But now, back to the subject of "inside tracks" - sneaky ways to get the
beneficial feeling that you have secret insights into some problem.
For anyone with a background in categories, a good "inside track" on
almost any math problem is to categorify it: to see that people are using
sets where they could, and therefore *should*, be using categories or
n-categories.
I've already hinted that \zeta functions are an example of
"decategorification". Now I'd like to make this more precise.
Let's think about the \zeta function of a set X equipped with a one-to-one
and onto function
f: X -> X
If you're a physicist, you might call this a "discrete dynamical system",
with f describing one step of "time evolution". If you're a mathematician,
you might call this a "Z-set". After all, for any group G, a "G-set" is a
set equipped with an action of G. If G = Z (the additive group of integers),
this amounts to a one-to-one and onto function from some set to itself.
No matter what you call them, these are fundamental things. So, let's
look at the *category* of Z-sets! Here the objects are Z-sets and the
morphisms are functions that commute with time evolution.
As explained near the end of "week216", we can define a kind of \zeta
function for a Z-set as follows:
Z(x) = \exp(sum_{n>0} |fix(f^x)| x^n / n)
where |fix(f^n)| is the number of fixed points of f^n. Of course, this
only makes sense if all these numbers are finite; henceforth I'll assume
my Z-sets are "finite" in this special sense.
It turns out that you know a finite Z-set up to isomorphism if you know its
\zeta function. So, a \zeta function is just a sneaky way of talking about
an ISOMORPHISM CLASS of finite Z-sets.
This is a fancy example of something we all learn as kids: counting! When
we "count" a finite set, assigning a natural number to it, we are really
determining its isomorphism class. Two finite sets are isomorphic if and
only if they have the same number of elements. Operations on finite sets,
like disjoint union and Cartesian product, are what give rise to operations
on natural numbers, like addition and multiplication.
Summarizing this, we have the following motto, suitable for making into
a bumper sticker:
THE SET OF NATURAL NUMBERS IS THE DECATEGORIFICATION OF
THE CATEGORY OF FINITE SETS
Similarly, this is what we're seeing now:
THE SET OF \ZETA FUNCTIONS IS THE DECATEGORIFICATION OF
THE CATEGORY OF FINITE Z-SETS
Beware: here I'm only talking about \zeta functions of the above form. There
are lots of other things people call \zeta functions. So, don't read too
much into this statement. But don't read too little into it, either! With
an extra twist we can get most of the \zeta functions showing up in number
theory. In number theory, we typically get a Z-set for each prime p,
coming from the "Frobenius" for that prime. We thus get a bunch of "local"
\zeta functions Z_p(x), one for each prime. We then multiply these to get
one big fat "global" \zeta function:
\zeta(s) = product_p Z(p^{-s))
Each local \zeta function is a formal power series, while this global \zeta
function is a Dirichlet series. As I mentioned in "week217", formal power
series live in the monoid algebra of (N,+,0), while Dirichlet series live
in the monoid algebra of (N,x,1). (N,+,0) is the free commutative monoid
on one generator, while (N,x,1) is the free commutative monoid on countably
many generators - the primes! Everything fits together sweetly.
So, it's a good first step to think about the \zeta function of a single
Z-set.
Now, there's another motto along the lines of the above two, which I've
talked about before:
THE SET OF GENERATING FUNCTIONS IS A DECATEGORIFICATION OF
THE CATEGORY OF STRUCTURE TYPES
I explained this in "week185", "week190", and "week202". I've even taught a
whole course on structure types (also known as "species") and the
combinatorics of Feynman diagrams. The course notes by Derek Wise are
available online:
6) John Baez and Derek Wise, Quantization and Categorification, available at:
http://math.ucr.edu/home/baez/qg-fall2003/
http://math.ucr.edu/home/baez/qg-winter2004/
http://math.ucr.edu/home/baez/qg-spring2004/
So, I think this third example of decategorification is great. But, I'm not
going to explain it in much detail here - just enough to say how it's related
to \zeta functions!
A stucture type F is a gadget that gives a set F_n for each n = 0,1,2,....
We think of the elements of F_n as "structures of type F" on an n-element
set - for example, orderings, or cyclic orderings, or n-colorings, or
whatever type of structure you like. We only require that permutations of
the n-element set act on this set of structures. But for what we're doing
now, let's also assume this set F_n is finite.
Any structure type has a "generating function", which is a formal
power series |F| given by
|F_n||F|(x) = sum ------- x^n
n!
Isomorphic structure types have the same generating function. However,
structure types with the same generating function can fail to be isomorphic.
This is why I said generating functions are "a" decategorification of
structure types, instead of "the" decategorification.
Despite this defect, generating functions are still very useful in
combinatorics. So, when we see a \zeta function like
Z(x) [itex]= \exp(sum_{n>0} |fix(f^n)| x^n / n)
as a trick for decategorifying Z-sets, we should instantly wonder if it's
a generating function in disguise. And of course, it is!
Actually it's easiest to leave out the exponential at first. This power
series:
sum_{n>0} |fix(f^n)| x^n / n
is the generating function for the structure type "being cyclically
ordered and equipped with a morphism to the Z-set X".
Huh?
We "cyclically order" a finite set by drawing it as a little circle of dots
with arrows pointing clockwise from each dot to the next. A cyclically
ordered set is automatically a Z-set in an obvious way. So, here's a type
of structure you can put on a finite set: cyclically ordering it and
equipping the resulting Z-set with a morphism to the Z-set X.
And, if you work out the generating function of this structure type, you get
sum_{n>0} |fix(f^n)| x^n / n
Check it and see!
What about the exponential? Luckily, there's a standard way to take the
exponential of a structure type: to put an \exp(F)-structure on a finite set
S, we chop S into disjoint parts and put an F-structure on each part. So,
the \zeta function
Z(x) = \exp(sum_{n>0} |fix(f^n)| x^n / n)
is the generating function for "being chopped up into cyclically ordered
parts, each equipped with a morphism to the Z-set X".
But this is just a long way of saying: "being made into a Z-set and equipped
with a morphism to the Z-set X".
Or, in category theory jargon, "being a Z-set over X".
So:
THE \ZETA FUNCTION OF THE Z-SET X IS THE GENERATING FUNCTION OF
"BEING A Z-SET OVER X"
By the way, this is the kind of thing you could do with *any* structure type
F. Given an F-structured set X, we get a new structure type "being an
F-structured set equipped with a morphism to X". Or, in category theory
jargon, "being an F-structured set over X". The generating function of this
could be called the "\zeta function" of our F-structured set X. I have no
idea how important this is...
... but I want to keep gnawing away on the connection between \zeta functions
and the generating functions of combinatorics, because to understand number
theory, I need all the "inside tracks" I can get!
Quote of the week, brought to me by David Corfield:
The scientific life of mathematicians can be pictured as a trip inside the
geography of the "mathematical reality" which they unveil gradually in their
own private mental frame.
It often begins by an act of rebellion with respect to the existing dogmatic
description of that reality that one will find in existing books. The young
"to be mathematician" realize in their own mind that their perception of the
mathematical world captures some features which do not fit with the existing
dogma. This first act is often due in most cases to ignorance but it allows
one to free oneself from the reverence to authority by relying on one's
intuition provided it is backed by actual proofs. Once mathematicians get to
really know, in an original and "personal" manner, a small part of the
mathematical world, as esoteric as it can look at first, their trip can
really start. It is of course vital not to break the "fil d'arianne" which
allows one to constantly keep a fresh eye on whatever one will encounter
along the way, and also to go back to the source if one feels lost at times...
It is also vital to always keep moving. The risk otherwise is to confine
oneself in a relatively small area of extreme technical specialization, thus
shrinking one's perception of the mathematical world and its bewildering
diversity.
The really fundamental point in that respect is that while so many
mathematicians have been spending their entire life exploring that world they
all agree on its contours and on its connexity: whatever the origin of one's
itinerary, one day or another if one walks long enough, one is bound to reach
a well known town i.e. for instance to meet elliptic functions, modular
forms, \zeta functions. "All roads lead to Rome" and the mathematical world
is "connected".
In other words there is just "one" mathematical world, whose exploration is
the task of all mathematicians, and they are all in the same boat somehow.
- Alain Connes
-----------------------------------------------------------------------
Previous issues of "This Week's Finds" and other expository articles on
mathematics and physics, as well as some of my research papers, can be
obtained at
http://math.ucr.edu/home/baez/
For a table of contents of all the issues of This Week's Finds, try
http://math.ucr.edu/home/baez/twf.html
A simple jumping-off point to the old issues is available at
http://math.ucr.edu/home/baez/twfshort.html
If you just want the latest issue, go to
http://math.ucr.edu/home/baez/this.week.html