
I will be on sabbatical during the first half of 1995. I'll be roaming hither and thither, and also trying to get some work done on ncategories, quantum gravity and such, so this will be the last "This Week's Finds" for a while. I have also taken a break from being a comoderator of sci.physics.research.
So, let me sign off with a roundup of diverse and sundry things! I'm afraid I'll be pretty terse about describing some of them. First for some news of general interest, then a little update on SeibergWitten theory, then some neat stuff on TQFTs, ncategories, quantum gravity and all that, and then various other goodies....
1) The speed of write, by Gary Stix, Scientific American, Dec. 1994, 106111.
Goodbye, Gutenberg, by Jacques Leslie, WiReD 2.10, Oct. 1994, available via WWW as http://www.hotwired.com/Lib/Wired/2.10/departments /electrosphere/ejournals.html
Among other things, the above articles show that Paul Ginsparg is starting to get the popular recognition he deserves for starting up hepth. In case anyone out there doesn't know yet, hepth is the "highenergy physics  theoretical" preprint archive, which revolutionized communications within this field by making preprints easily available worldwide, thus rendering many (but not all) aspects of traditional journals obsolete. The idea was so good it quickly spread to other subjects. Within physics it went like this:
High Energy Physics  Theory (hepth), started 8/91 High Energy Physics  Lattice (heplat), started 2/92 High Energy Physics  Phenomenology (hepph), started 3/92 Astrophysics (astroph), started 4/92 Condensed Matter Theory (condmat), started 4/92 General Relativity & Quantum Cosmology (grqc), started 7/92 Nuclear Theory (nuclth), started 10/92 Chemical Physics (chemph), started 3/94 High Energy Physics  Experiment (hepex), started 4/94 Accelerator Physics (accphys), started 11/94 Nuclear Experiment (nuclex), started 11/94 Materials Theory (mtrlth), started 11/94 Superconductivity (suprcon), started 11/94
Similar archives are sprouting up in mathematics (see below  but also note the existence of the American Mathematical Society preprint server, described later in this week's finds).
There are many ways to access these preprint archives, since Ginsparg has kept up very well with the times  indeed, so much better than I that I'm afraid to go into any details for fear of making a fool of myself. The dernier cri, I suppose, is to access the archives using the WorldWide Web, which is conveniently done by opening the document
http://xxx.lanl.gov
If this makes no sense to you, my first and very urgent piece of advice is to learn about the WorldWide Web (WWW), Mosaic, and the like, since they are wonderful and very simple to use! In the meantime, however, you can simply send mail to various addresses with subject header
help
and no message body, in order to get information. Some addresses are:
accphys@xxx.lanl.gov (accelerator physics) astroph@xxx.lanl.gov (astrophysics) chemph@xxx.lanl.gov (chemical physics) condmat@xxx.lanl.gov (condensed matter) functan@xxx.lanl.gov (functional analysis) grqc@xxx.lanl.gov (general relativity / quantum cosmology) heplat@ftp.scri.fsu.edu (computational and lattice physics) hepph@xxx.lanl.gov (high energy physics phenomenological) hepth@xxx.lanl.gov (high energy physics formal) hepex@xxx.lanl.gov (high energy physics experimental) nuclth@xxx.lanl.gov (nuclear theory) nuclex@xxx.lanl.gov (nuclear experiment) mtrlth@xxx.lanl.gov (materials theory) suprcon@xxx.lanl.gov (superconductivity) alggeom@publications.math.duke.edu (algebraic geometry) autofms@msri.org (automorphic forms) cdhg@msri.org (complex dynamics & hyperbolic geometry) dgga@msri.org (differential geometry & global analysis) nlinsys@xyz.lanl.gov (nonlinear systems) cmplg@xxx.lanl.gov (computation and language) email@xxx.lanl.gov (email address database)
One might also want to check out the:
Directory of Electronic Journals, Newsletters, and Academic Discussion Lists: Send email to ann@cni.org at the Association of Research Libraries, +1 (202) 2962296, fax +1 (202) 872 0884.
2) Monopoles and fourmanifolds, by Edward Witten, preprint available as hepth/9411102.
The genus of embedded surfaces in the projective plane, by P. B. Kronheimer and T. S. Mrowka, preprint number #19941128001, available from the AMS preprint server under subject 57 in the Mathematical Reviews Subject Classification Scheme.
I don't have anything interesting to say about these papers that wasn't in "week44" and "week45", but anyone interested in following the revolution in Donaldson theory initiated by Seiberg and Witten will have to read them.
Let me say a bit about how the AMS preprint server works. Assuming you are hip to the WWW, just go to
http://emath.ams.org
You will then see a menu, and you can click on "Mathematical Preprints", and then "AMS Preprint Server", where preprints are classified by subject. Alternatively, click on "New Items This Month (all Subjects)".
On a related note, you can also get some AMS stuff using telnet by doing
telnet emath.ams.org
and using
emath
as login and password. This doesn't seem to get you to the preprints, though. For gopher fans,
gopher emath.ams.org
has roughly similar effects.
3) Spin networks in quantum gravity, by Carlo Rovelli and Lee Smolin, to appear.
This paper is closely related to the earlier one in which Rovelli and Smolin argue that discreteness of area and volume arise naturally in the loop representation of quantum gravity, and also to my own paper on spin networks. (See "week43" for more on these, and a brief intro to spin networks.) Basically, while my paper shows that spin networks give a kind of basis of states for gauge theories with arbitrary (compact, connected) gauge group, in this paper Rovelli and Smolin concentrate on the gauge groups SL(2,C) and SU(2), which are relevant to quantum gravity, and work out a lot of aspects particular to this case, in more of a physicist's style. This makes spin networks into a practical computational tool in quantum gravity, used to great effect in the paper on the discreteness of area and volume.
4) Recent mathematical developments in quantum general relativity, by Abhay Ashtekar, 14 pages in TeX format available as grqc/9411055 (discussed in "week37").
Coherent state transforms for spaces of connections, by Abhay Ashtekar, Jerzy Lewandowski, Donald Marolf, Jose Mourao and Thomas Thiemann, 38 pages in LaTeX format, available as grqc/9412014 (discussed in "week43")
These are two papers on the loop representation of quantum gravity which I talked about in earlier "finds", and are out now. The former is a nice review of recent mathematically rigorous work; the latter takes a tremendous step towards handling the infamous "reality conditions" problem.
5) Differential geometry on the space of connections via graphs and projective limits, by Abhay Ashtekar and Jerzy Lewandowski, 54 pages in LaTeX format, available as hepth/9412073
I've spoken quite a bit about doing rigorous functional integration in gauge theory using ideas from the loop representation; this paper treats functional derivatives and other things that are more differential than integral in nature. This is crucial in quantum gravity because the main remaining mystery, the WheelerDeWitt equation or Hamiltonian constraint, involves a differential operator on the space of connections. (For a wee bit more, try "week11" or "week43", where the Hamiltonian constraint is simply written as G_{00} = 0.)
Let me quote their abstract:
6) Edge states in gravity and black hole physics, by A. P. Balachandran, L. Chandar, Arshad Momen, 22 pages in RevTeX format, available as grqc/9412019.
Ever since it started seeming that black holes have an entropy closely related to (and often proportional to) the area of their event horizons, many physicists have sought a better understanding of this entropy. In many ways, the nicest sort of explanation would say that the entropy was due to degrees of freedom living on the event horizon. A concrete calculation along these lines was recently made by Steve Carlip (see "week41") in the context of 2+1dimensional gravity. The mechanism is mathematically very similar to what happens in (a widely popular theory of) the fractional quantum Hall effect! In both cases, ChernSimons theory on a 3d manifold with boundary gives rise to an interesting field theory on the boundary, or "edge". The above paper clarifies this, especially for those of us who don't understand the fractional quantum Hall effect too well. Let me quote:
I can't resist adding that I have a personal stake in the notion that a lot of interesting things about quantum gravity will only show up when we consider it on manifolds with boundary, including the areaentropy relations. The loop representation of quantum gravity has a lot to do with knots and links, but on a manifold with boundary it has a lot to do with tangles, which can contain arcs that begin and end at the boundary. I wrote a paper on this a while back:
7) Quantum gravity and the algebra of tangles, by John Baez, Jour. Class. Quantum Grav. 10 (1993), 673  694.
and I'll be coming out with another in a while, coauthored with Javier Muniain and Dardo Piriz. The importance of manifolds with boundary for cuttingandpasting constructions is also wellknown in the theory of "extended" TQFTs (topological quantum field theories). These cutting and pasting operations should allow one to describe extended TQFTs in n dimensions purely algebraically using "higherdimensional algebra". So part of the plan here is to understand better the relation between quantum gravity, TQFTs, and higherdimensional algebra. Along these lines, a very interesting new paper has come out:
8) On algebraic structures implicit in topological quantum field theories, by Louis Crane and David Yetter, 13 pages in LaTeX format available as hepth/9412025, figures available by request.
This makes more precise some of Louis Crane's ideas on "categorification". Nice TQFTs in 3 dimensions have a lot to do with Hopf algebras (like quantum groups), or alternatively, their categories of representations, which are certain braided monoidal categories. In this paper it's shown that nice TQFTs in 4 dimensions have a lot to do with Hopf categories, or alternatively, their categories of representations, which are certain braided monoidal 2categories.
9) On the definition of 2category of 2knots, by V. M. Kharlamov and V. G. Turaev, preprint.
This preprint, which I obtained through my network of spies, seems to be implicitly claiming that the work of Fischer describing 2d surfaces in R^4 via on braided monoidal 2categories (see "week12") is a bit wrong, but they don't come out and say quite what if anything is really wrong.
10) Noninvolutory Hopf algebras and 3manifold invariants, by Greg Kuperberg, preprint #19941128002, available from the AMS preprint server under subject 57 or 16 in the Mathematical Reviews Subject Classification Scheme.
I noted the existence of a draft of this paper, and related work, in "week38". Let me quote:
Okay, now for some miscellaneous interesting things...
11) If Hamilton had prevailed: quaternions in physics, by J. Lambek, McGill University preprint, Nov. 1994.
Lambek is mainly known for work in category theory, but he has a strong sideinterest in mathematical physics. This paper is, first of all, a "nostalgic account of how certain key results in modern theoretical physics (prior to World War II) can be expressed concisely in the labguage of quaternions, thus suggesting how they might have been discovered if Hamilton's views had prevailed." But there is a very interesting new thing, too: a way in which the group SU(3) X SU(2) X U(1) shows up naturally when considering Dirac's equation a la quaternions. This group is the gauge group of the Standard Model! Lambek modestly says that there does not appear to be any significance to this coincidence... but it would be nice, wouldn't it?
12) The life and times of Emmy Noether; contributions of E. Noether to particle physics, by Nina Byers, 32 pages in RevTeX format, available as hepth/9411110.
Reminiscences about many pitfalls and some successes of QFT within the last three decades, by B. Schroer, 52 pages, 'shar'shellarchiv, consisting of 5 files, available as hepth/9410085.
My encounters  as a physicist  with mathematics, R. Jackiw, 13 pages in LaTeX format, available as hepth/9410151.
These are some interesting historical/biographical pieces.
13) Speedup in quantum computation is associated with attenuation of processing probability, by Karl Svozil, available as hepth/9412046.
The subject of quantum computation has become more lively recently. I haven't had time to look at this paper, but quoting the abstract:
© 1994 John Baez
baez@math.removethis.ucr.andthis.edu
