Book Review: The Quantum Quark

Over the last couple weeks I’ve been reading several popular or semi-popular books about particle physics. I thought I’d make a few comments about them here.

The first one is called The Quantum Quark by Andrew Watson. It covers the Standard Model and its history, concentrating on quantum chromodynamics, the theory of the strong interaction. By limiting itself in this way, it is able to go into a much deeper, more detailed study of the theory than would otherwise be possible in a popular book. While avoiding the use of equations and trying to stick to as accessible a level as possible, the author manages to discuss a wide range of aspects of QCD not treated in any other book of this kind. These topics include a detailed description of jet phenomena in perturbative QCD, the behavior of quark structure functions (including their still mysterious spin dependence), the delta I=1/2 rule for non-leptonic weak decays, and many others.

The book contains several amusing stories I hadn’t heard before, including the origin of the term “penguin diagram” to refer to a certain class of Feynman diagrams. Supposedly John Ellis and Melissa Franklin were playing darts one evening at CERN in 1977, and a bet was made that would require Ellis to somehow insert the word “penguin” in his next research paper if he lost. He did lose, but was having a lot of trouble figuring out how he would do this. Finally, “the answer came to him when one evening, leaving CERN, he dropped by to visit some friends where he smoked an illegal substance” (the only time he ever did that, I’m sure..). While working on his paper later that night “in a moment of revelation he saw that the diagrams looked like penguins”. I’d always wondered why these diagrams had been given that name, they never looked very much like penguins to me. But then again I never tried looking at them under the same conditions as Ellis.

Witten makes an unusual appearance here, as Watson discusses Witten’s Ph.D. thesis, the topic of which was the use of asymptotic freedom to study the photon structure function using deep-inelastic photon-photon scattering.

Posted in Book Reviews | 14 Comments

The First Evidence For String Theory?

I was wondering why there were lots and lots of hits on this weblog today coming from Google searches for “first evidence for string theory”. It looks like the answer is this lead article from the latest New Scientist magazine. I don’t have access right now to the full article, but it’s clearly based on the usual cosmic string hype. After all, according to the author, string theory “is our best hope of understanding how the universe works”, so anytime astronomers see something unusual, what else could it be but a string?

Update: I finally got ahold of a copy of the full article. It is based on two separate anomalies seen by astronomers. The first is called “CSL-1”, which was first reported nearly two years ago. It appears to be two nearly identical galaxies right next to each other, but the authors of a paper about it would like to believe there is some inter-galactic cosmic string producing two images of a single galaxy via gravitational lensing. Even if you believe this, there’s no evidence this is a fundamental superstring, even Joe Polchinski doesn’t think so (see Lubos Motl’s excited posting about “astronomers prove string theory”).

The second observation actually has nothing to do with the first (despite what the opening sentences of the story suggest). It’s of a quasar called Q0957+561A,B that really is a gravitationally lensed object. One thing I don’t understand is that in the case of CSL-1, the fact that there are only two images is taken as evidence that a string is doing the lensing (and claims are made that lensing by point like objects only produces odd numbers of images), whereas for Q0957+561A,B there are only two images, but an intervening galaxy, not a string, is what is doing the lensing. For the quasar pair, some changes in brightness by about 4% have been observed, so it has been suggested this is due to a nearby cosmic string (inside our galaxy, within 10,000 light years) which is moving around in our line of sight with the quasar pair.

I’d be curious to hear what professional astronomers think of this. To me it looks like just more string theory hype, and I now suspect that for the indefinite future, whenever an astronomer somewhere, somehow sees something anomalous, we’re going to be subjected to claims that “strings have been observed!!”.

Posted in Uncategorized | 74 Comments

Langlands Program and Physics

One of my minor hobbies over the years has been trying to understand something about the Langlands conjectures in number theory, partly because some of the mathematics that shows up there looks like it might be somehow related to quantum field theory. A few days ago I was excited to run across a web-page for a workshop held in Princeton earlier this year on the topic of the Langlands Program and Physics. Notes from some of the lectures there are on-line.

Unfortunately, after reading through the notes, I’m afraid there’s relatively little there about the potential intersection of the ideas of the Langlands Program with Physics. From the physics end of things there are some pretty illegible notes of a lecture by Witten about the Langlands Dual Group in Physics. Part of this story involves the Montonen-Olive duality of N=4 supersymmetric Yang-Mills. This duality interchanges the coupling constant with its inverse, whiile taking the gauge group G to the Langlands dual group (group with dual weight lattice). The symmetry that inverts the coupling constant is actually part of a larger SL(2, Z) symmetry.

One possible explanation for this SL(2,Z) symmetry is the conjectured existence of a six-dimensional superconformal QFT with certain properties. Witten explains more about this in his lectures at Graeme Segal’s 60th birthday conference in 2002. His article from the proceedings volume, entitled “Conformal Field Theory in Four and Six Dimensions” doesn’t seem to be available online, but his slides are, and they cover much the same material. There has been a seminar going on at Berkeley this past semester in which Ori Ganor has been giving talks on this topic.

While the occurence of the Langlands dual group and SL(2,Z) symmetry are suggestive, the relation of this to the full Langlands program seems to be a bit tenuous. There is however a much closer relation between 2d conformal field theory and the Langlands program, a relation which is part of the story of what is now known as “Geometric Langlands”.

Some of the other lectures at the Princeton workshop give a good explanation of the standard Langlands duality conjectures, although I’m not convinced that many physicists will find them easy going. These conjectures posit a duality between two very different kinds of group representations associated to a one-dimensional field (a number field or function field of a curve over a finite field). On the one side one has an analytic object, an “automorphic representation” on a space of functions on a group G(A), where G is a group over A, the adeles of the field. On the other side one has an arithmetic object, representations of the absolute Galois group of the field in the Langlands dual group to G. Typically this duality is used to get information about arithmetic objects using the more tractable analytic objects. The most famous example of this is the Taniyama-Shimura-Weil conjecture relating the arithmetic of elliptic curves to modular forms, which Wiles (with Taylor) was able to prove enough of to use it to prove Fermat’s last theorem.

In general the Langland conjectures for the case of number fields remain an open problem, but for the case of function fields of a curve, they have been proven for G=GL(n) by Drinfeld for n=2 and Lafforgue for general n (which got both of them Fields medals). The geometric Langlands program involves reformulating the function field case in such a way that it still makes sense when you replace the curve over a finite field by a curve over the field of complex numbers. This idea goes back to Drinfeld and Laumon in the 1980s, and has evolved into a specific conjecture which was recently proved by Frenkel, Gaitsgory and Vilonen.

I confess to still being pretty mystified by this subject. The analog of the arithmetic side is clear enough, it’s a homomorphism of the fundamental group of the curve into the Langlands dual group, or equivalently a vector bundle with holomorphic flat connection. But I still don’t understand the analog of the analytic side, which is some sort of D-module over the moduli space of bundles over the curve, broken up into “Hecke eigensheaves”. My colleague Michael Thaddeus explained to me today over lunch what a “Hecke eigensheaf” is supposed to be, but there’s a whole web of relations of this to representations of affine Lie algebras, CFT and vertex operator algebras that neither of us understands very well.

While I don’t understand this material, I do hope to find time in the future to try and figure some of it out. Various sources that seem to explain this are the following:

Edward Frenkel’s web-site at Berkeley contains a lot of interesting material. Many of his papers are on this topic, especially relevant is his Bourbaki seminar report on Vertex Algebras and Algebraic Curves.

Another relevant web-site is that of David Ben-Zvi at Texas. Look at his very informal surveys of Langlands theory written in 1995 before he gets too embarassed by the mistakes in them and takes them down. He is joint author with Frenkel of a book Vertex Algebras and Algebraic Curves.

There’s an on-going seminar on geometric Langlands at the University of Chicago which has a web-page.

Kari Vilonen has a web-site devoted to geometric Langlands and its relation to physics.

MSRI ran a workshop on Geometric Aspects of the Langlands Program in 2002 and the talks are on-line.

As usual, Witten has a hand in all of this, see his remarkable paper “Quantum field theory, Grassmanians and algebraic curves”, Communications in Mathematical Physics, 113 (1988) 529-600, and his contribution to the 1987 conference “The Mathematical Heritage of Hermann Weyl” entitled “Free fermions on an algebraic curve”.

For a different conjectural relation between Langlands and QFT, see:
Mikhail Kapranov, Analogies between the Langlands correspondence and topological quantum field theory, in Functional Analysis on the Eve of the 21st Century, Vol. 1, Birkhauser, Boston, pp. 119-151.

Posted in Langlands | 31 Comments

Landskepticism

Tom Banks has a new preprint out, entitled Landskepticism: or Why Effective Potentials Don’t Count String Models. In it he argues against the idea that one can use effective potentials to study the supposed “Landscape” of different vacuum states of superstring theory. His preprint, like most of the literature in the field, is kind of a bizarre document which doesn’t even look like a conventional theoretical physics paper. In the course of twenty pages he only really manages to write down one equation (and it’s just the Schrodinger equation).

One of his claims is that it doesn’t make any sense to think of what is going on as one string theory Hamiltonian with a huge number of possible vacuum states. Instead one has to think of a huge number of possible string theory Hamiltonians, one for each asymptotic background. So I guess that’s it for the “uniqueness of string theory”.

He gets kind of vehement: “the concept of an effective potential on moduli space as a tool for finding string models of gravity, is a snare and a delusion, fostered by wishful thinking, and without regard to the actual evidence in front of us.” Sounds kind of like things I say… He footnotes this “Perhaps some over the top rhetoric is in order”.

On a different topic, he claims that the Weinberg “prediction” of the cosmological constant doesn’t hold water, since if you allow both the cosmological constant and other parameters to vary, then typical values of the cosmological constant allowing galaxy formation will be orders of magnitude larger than the observed value.

I shouldn’t give the impression that Banks is opposed to string theory. Like everyone else, he doesn’t even mention the possibility that it might be wrong. He has his own ideas about holography and cosmological breaking of supersymmetry, which he alludes to at the end.

His paper is based on a talk he gave at a String Vacuum Workshop in Munich three weeks ago. Kind of scary to see how many theorists are now working on this nonsense. At first I was worried to see my old friend and fellow Princeton student Costas Bachas’s name on the list of participants. Costas always seemed to me one of the more sensible theorists around, even if he did work a lot on string theory. Then I noticed that he wasn’t giving a talk, just leading a discussion on the topic “Does the ‘String Vacuum Project’ make sense?” Wonder what their conclusion was.

Update: For Lubos Motl’s take on this paper (Banks was his advisor), and the news that Nima Arkani-Hamed has gone over to the dark side, go here.

Posted in Uncategorized | 31 Comments

Nobel Lectures

The winners of this year’s Nobel Prize in Physics gave their Nobel lectures in Stockholm on Wednesday. The lectures of David Gross and Frank Wilczek are available on-line, for some reason that of David Politzer isn’t, at least not yet.

Over at Sean Carroll’s Preposterous Universe there’s a first-hand report about the lectures from Thomas Larsson (who often comments here). It’s in the comment section of this post. One interesting detail from Politzer’s talk was that Coleman had originally assigned the beta-function calculation to Erick Weinberg (who is now my colleague at Columbia over in the physics department), but Erick already had enough material for his thesis and wanted to move on.

Update: Politzer’s lecture is now available at his web-site.

Posted in Uncategorized | 17 Comments

String Theory, at 20 Explains It All – Not

This morning’s New York Times has a long and prominently placed article about the 20th anniversary of the “First Superstring Revolution”. The Times has a long history of producing overhyped uncritical articles about string theory, for a classic example, see “Physicists Finally Find a Way to Test Superstring Theory”. This one does allow some critical voices to be heard, including Lawrence Krauss, who is quoted as describing string theory as a “colossal failure” (which is different than a miserable failure)

Krauss is also quoted as saying “We bemoan the fact that Einstein spent the last 30 years of his life on a fruitless quest, but we think it’s fine if a thousand theorists spend 30 years of their prime on the same quest.”

Witten is quoted extensively, but he doesn’t sound very optimistic these days, saying “It’s plausible that we will someday understand string theory”, and making the rather weird statement that string theory is “so vast, so rich you could say almost anything about it” (for instance that it is a colossal failure?). He also seems to have given up on the idea that there is some fundamental new symmetry underlying string theory, instead putting his hopes on the existence of some new principle for constructing space and time.

The article also says that few theorists will give up on string theory when supersymmetry is not found at the LHC, with Witten interpreting this not as evidence that string theory is wrong, just that unfortunately it will be harder to get experimental evidence for it than he had hoped. String theorists in general seem to have trouble getting their minds around the idea that it is even possible the theory is wrong. Jeff Harvey does admit that sometimes he wakes up thinking “What am I doing spending my whole career on something that can’t be tested experimentally?”, but the question of “What am I doing spending my whole career on a colossal failure?” doesn’t seem to keep him awake nights.

The article ends by quoting an exchange between Steve Shenker and my colleague Brian Greene. Shenker quotes Churchill, describing the state of research into string theory as “perhaps it is the end of the beginning”. Brian seems to be one of the few string theorists around willing to actually consider the idea that the theory might be wrong, arguing that if string theory is wrong, it would be good to know this soon so physics can move on.

Posted in Uncategorized | 81 Comments

Shiing-Shen Chern 1911-2004

Shiing-Shen Chern, one of the great geometers of the twentieth century, died last Friday at Nankai University. He was 93 years old. An article about his life is posted on the web-site of MSRI, the mathematics institute in Berkeley of which he was the founding director.

A lot of what I know about geometry was learned from his beautiful short book entitled “Complex Manifolds Without Potential Theory”, published by Springer in 1979. Some of his most important work concerned the topology and geometry of fiber bundles, and its significance can be seen in the number of crucial ideas of this field that carry his name, for instance: Chern classes, the Chern character, Chern-Weil theory, the Chern-Simons secondary characteristic class.

Update: The New York Times has an obituary.

Posted in Obituaries | 26 Comments

String Theory Gets Real – Not

A recent issue of Science magazine has an article about the “Strings and the Real World” workshop at Aspen this past summer, entitled String Theory Gets Real — Sort Of. A more accurate title for the article might be “String Theory Would Like to Get Real — But Can’t Because it Doesn’t Work”.

The article claims that up until recently string theorists were not even trying to connect string theory with experiment, but “Now a small but growing number of them are trying to forge connections between string theory and detailed data”. This is really nonsense. There have always been plenty of people doing “string phenomenology”, but it has always been a doomed subject, for reasons I’ve gone on about at length here and elsewhere. The article does mention the problem of the Landscape with the increasingly standard loony comment that “physicists may have to rethink what it means for a theory to explain experimental data”. This is absurd. There’s no question about what it means for a theory to explain experimental data and the simple fact of the matter is that this theory can’t do it.

There’s also a claim that “the cosmological constant now appears to be real, and string theorists hope to calculate its value”. This misunderstands the whole Landscape argument, which tries to justify why no one can ever hope to calculate this value.

The article also includes a sidebar which tries to explain why young people go into string theory. It quotes a Penn postdoc, Brent Nelson, as saying that he read about string theory as a teenager and couldn’t believe so many people accepted something so outlandish. But he went into string theory anyway, and now says “I haven’t learned enough… I still don’t know why I should believe”. Sorry Brent, but no matter how long and hard you stare at this particular emperor trying to appreciate the beauty of his clothing, he’s still going to be naked as a jaybird.

Finally, when asked how many revolutions will be needed to make string theory work, John Schwarz says “I don’t know, but I think we’ll need many more”. At about a decade per revolution, it looks like Schwarz now doesn’t expect to live to see this happen. Neither do I.

Posted in Uncategorized | 10 Comments

Witten Localization

The second talk I heard yesterday at the Institute was by Chris Woodward from Rutgers. What he was talking about was a conjectural formula whose origins go back to a truly amazing paper by Witten from 1992 entitled Two Dimensional Gauge Theories Revisited.

There are quite a few very interesting things about this paper, but one of its ideas has become influential in mathematics under the name “Witten localization”. This involves a new principle for calculating integrals of equivariant cohomology classes. Before Witten’s work, it was well-known among mathematicians that such calculations could in many cases be reduced to a “localized” calculation about the fixed point set of the group action. This is related to the Atiyah-Bott version of the Lefschetz fixed point theorem they discovered in the mid-sixties, to general arguments about equivariant K-theory and fixed points due to Atiyah and Segal, as well as to the Duistermaat-Heckman theorem and generalizations due to Berline and Vergne. For some expositions of this material, see the paper by Atiyah and Bott published in Topology in 1984, and the book Heat Kernels and Dirac Operators by Nicole Berline, Ezra Getzler and Michele Vergne.

Witten’s idea involved a new localization principle, where integrals of equivariant cohomology classes can be localized about zeroes of the moment map rather than fixed points of the group action. This is sometimes referred to as “non-abelian localization” since it applies directly to non-abelian group actions, whereas the earlier fixed point formulas typically looked at the fixed points of actions by abelian groups.

One of the main applications of Witten localization by mathematicians has been to use it to prove in various contexts that “quantization commutes with reduction”. For physicists this is the idea that, given a classical mechanical system with a gauge symmetry, one hopes to get the same result either by first imposing constraints and then quantizing, or by quantizing and then imposing constraints. Even in the context of finite-dimensional classical mechanical systems, that this should be true is a very non-trivial mathematical statement. For a survey of some of this, see an article in the Bulletin of the AMS by Reyer Sjamaar.

Witten’s original paper applied his ideas to the calculation of the Yang-Mills partition function in two dimensions. This uses the fact that the space of connections for a non-abelian gauge theory in two dimensions is an infinite dimensional symplectic manifold, with moment map the curvature of the connection, something first observed by Atiyah and Bott in the late seventies.

Woodward’s talk involved an integration formula similar to Witten’s original one, for details about it see his recent paper. This kind of formula was also studied by Paul-Emile Paradan, see this paper and a recent detailed summary (in French) by Paradan of his work.

Woodward’s work is also motivated by trying to understand the 2-d Yang-Mills partition function as an integral in equivariant cohomology. He and Constantin Teleman have done work on a K-theoretic version of this, see their joint paper as well as Teleman’s contribution to the proceedings of the conference in honor of Graeme Segal’s 60th birthday, and his talk at the KITP in Santa Barbara last year.

Posted in Uncategorized | 3 Comments

Paul Baum on Baum-Connes

I was down in Princeton at the Institute yesterday and heard two interesting talks. The first was the beginning of a series of four lectures by Paul Baum about the Baum-Connes conjecture, the second was by Chris Woodward about “equivariant localization”. I’ll write a bit about Baum-Connes here, perhaps something about the topic of Woodward’s talk in a second posting.

The Baum-Connes conjecture was first formulated in 1982 by Paul Baum and Alain Connes in an unpublished paper.Roughly it says that the K-theory of the reduced C* algebra of a group G is identical with the equivariant K-homology of a certain sort of classifying space for the group. Equivariant K-homology classes can be represented by certain generalizations of the Dirac operator, and the map to the K-theory of the C* algebra is given by taking the index of the operator.

There’s a huge literature about this by now and a few years ago Nigel Higson put together a detailed bibliography. Some recent expository articles about the conjecture include an ICM talk by Higson, a survey talk by Wolfgang Lueck, and a book by Alain Valette.

The conjecture remains unproved for discrete groups in general, and Baum said that he suspects it is not true in full generality, invoking what he called “Gromov’s principle”. According to Baum, this principle states that “No statement about all finitely presented groups is both non-trivial and true.” While the conjecture has been proved for some classes of discrete groups, there are many for which it is expected to be true but remains unproved (e.g. SL(3,Z)). For a while it was thought that the conjecture applied also to groupoids, but counterexamples for groupoids have been found.

I’ve always been fascinated by part of the philosophy behind the Baum-Connes conjecture, which is to use equivariant K-homology, classifying spaces and Dirac operators to get information about representation theory of groups in cases where little is known about this representation theory. This is in some very vague sense related to what seems to me to be going on in QFT, where Dirac operators and path integrals over the classifying space of the gauge group (the space of connections) are somehow related to the representation theory of the gauge group. The Baum-Connes conjecture itself just involves locally compact groups and thus doesn’t say anything about gauge groups, so it is not directly relevant to the case that may be of interest in QFT.

Posted in Uncategorized | 1 Comment