Tuesday, February 24, 2009

Fermi-Glast satelite and the status of LQG predictions

2003 probably was the bes yer for LQG. It was published a relatively short paper (authored by Rovelli) that presented the basics of the canonical LQG. It stated the result of quantization of the area operator, related it to the idea of a minimal lenthg and, and this is the important point, stated that it implied an experimental prediction: "Vacuum light speed depends on it´s frequency". The paper also contained an introduction to LQC (loop quantum cosmology) and the results on big bounce evitancy and a few other topics. But the mimportant one, at least for a lot of people, was the first.

Also, Nic Mavromatos, an Jonh Ellis, from CERn, published around the same time a paper stating that noncrititical Liouville strings predictes similar results (with the dependence of speed on the frequency going in the opossite direction that in LQG.

Those people expressed the hope taht the launch , around 2005, of the GLAST satelite, could experimentally test tht ideas. GLAST satelite laucnhing got somewhat delayed. In the meantime, in august 2007, an experimental recipe, known as MAGIC, obtained some results that indicated a possible confirmation of those ideas. I told
something about it in this entry. But GLAST satelite was finally launched and at last there are some results. You can read a press release by NASA here.

The NASA paper speaks about gamma ray bursts, not about quantum gravity. Where is the relation?

Well, in the end of the release you can read this:

One curious aspect of the burst is a five-second delay separating the highest-energy emissions from the lowest. Such a time lag has been seen clearly in only one earlier burst.

That´s the point. The idea expresed but that proposals of quantum gravity is that the more energetic fotons travelat different speed than the slower ones. That implies that the fastests one arrive sooner than the slower ones. In ordinary distances that can´t be observed, but for very distant objects the path is long enought to give meausereable results.

So, has LQG been confirmed? Not quite. I´ll soon tell why. But first I´ll make a few clarifications. The way LQG was supposed to predict those effects was by means of it´s prediction of a minimal length. That leads to DSR (double special relativities) that take tha minimal length as a premise and from that they obtain the dispersion relations of vacuum light speed. I have also heard of another argument, supposedly stated by Fotini Markopuolu Kalamara. The idea is that the more energetic fotons , of shorter wave-lengt collide more ofthem with the "atoms of space-time". I did a search in arxiv of the actual paper of fotini but I wasn´t able to find it (if some reader know the link I would knoowledege if he would leave it in the comments).

Let´s return to the question of why the GLAST satelite results don´t favour this LQG (or noncritical string theory) prediction. The trick is that there are models on how the GRB are formed. The GRB are supossed to be originated in matter beeing acreted into a black hole. The models of disk acrretion predict that less energetic photons are produced sonner that more energetic ones. I have´t readed the actual papers about those models (semeengly that calculations are available here ). I simply readed the conclusion, that the variations on light speed are excluded.

You can read more about it in the Lubos motl blog. Also there is a discusion about the topic in physic forums, concretely in this post.

In physics forums it is stated that , in fact, that presumably firm prediction of LQG in facthaas been progresively desestimated. To beguin with it has not been possible to rigurously deduce that behaviiour directly from canonical LQG. In fact the whole subject of canonical LQG is nowadays almost forgoten. Accordin to Marcus actually lQG is focussing in:

There is really only one form of LQG that is getting the bulk of attention. It is designated EPRL (gamma<1) and also FK(gamma < 1). These two turned out to be equivalent as long as the Immirzi gamma is < 1. Two different vertex amplitude formulas which coincide in the important case.

Essentially every new paper I see about the full theory (not the LQ cosmo offspring, but LQG)
as well as every new video-stream seminar talk at PIRSA is about this one version of LQG.
From my perspective it is getting all the attention since sometime in 2007.

Rovelli and his group call it Covariant LQG.
EPRL is Engle Pereia Rovelli Livine, FK is Freidel Krasnov.
There was a revolution and convergence starting in 2006.

It is misleading to say there are a whole lot of LQGs. There HAVE been in the past. But in 2007 the old vertex amplitude formula of BarrettCrane was thrown out and several new ones tried and the two I mentioned turned out to coincide and to give results on hypersurfaces consistent with those of the old pre-2000 canonical LQG. So it amounts to a rederivation of the whole theory.

Rovelli gives a good summary of this in his talk to the string theorists at Strings 2008. Ask if you don't have the link and want to watch the talk.

I am almost not following LQG development nowadays. ALl I can say is that I listened the Rovelli talk at strings 2008 (I folllowed almost all talks) and most of it´s talk looked very similar to the introductory 2003 paper I talked at the beguining. If he actually told about the new developments it was a very brief mention that resulted almos ot perceibed by most participants (at least i I must judge by other blog entries about strings 2008).

Well, if LQG doesnt predict that light speed dispersion, does it predict something. Well, a new thread in PF was created in the subject, this. Seemengly most of that predictions are related to LQC and not to LQG. And the conexion among LQC and LQG is not totallly clear.

Well, LQG comunity clearly has the right to change it´s opinion about what it is or what it is not a prediction of their theories. But certainly, it makes sound the previous claim somehow as a publicitary strategy. It is not as if that publicity trick are not something totally new in physics, but, certainly, are not the bes way to give credibility. Anyway, LQG people will probably keep doing researche in their theories, but probably they have lost a great oportunity to win a clear triumph.

Monday, February 16, 2009

An invitation to algebraic geometry

I have mentioned previously in this blog that I was studying algebraic geometry. O.K. I have concluded my first phase of study and it is time to tell something about it.

Algebraic geometry is a very broad topic with different possible approaches and epochs of development. Most traditional courses/books of initiation on the subject go through the algebraic approach. As the name suggests there is a lot of algebra involved. It is expected that the reader would be familiar with basic abstract algebra (groups, rings and the basics of ideals of rings), possibly field (in the mathematical sense nothing to do with a physic field, of course) theory and the very related subject of Galois theory. This is the standard content of undergraduate courses in alge3bra. In addition it is needed what is known under the name of "commutative algebra" which may, or maybe not, be covered in undergraduate courses. Commutative algebra consists mainly of a deeper analysis of rings and ideals. In particular noetherian rings, Hilbert nullentensantz theorem and things like that.

A bibliography of all this could be DORRONSORO, J. : NUMEROS GRUPOS Y ANILLOS (in Spanish, for sure there are lot of books covering the same topic in the English literature)for basic abstract algebra. For field/Galois theory a very canonical reference could be Ian Stewart: Galois Theory.

About commutative algebra a classical reference is the book of atiyah with precisely that name. Actually a friend of me, disr3ecomended me that book and considered a much better choice Miles Reid: Undergraduate Commutative Algebra.

Well, that are the expected prerequisites. Quite a lot if you are a physicist and not a mathematician. Later I´ll suggest other paths, but by now I´ll follow the traditional way.

With That algebraic basic you could try to bit one of the hard books, but it would be a better option to begin with an introductory book. One of the traditional introductory books is Fulton´s one algebraic curves available on line for free (info posted by Peter Woit in his blog, not even wrong). The books begins with a introductory chapter which serves a remaindering of the necessary algebra, but if you don´t previously know it it will not be too helpful. I must say that this summer I followed a course on that subject. The teacher was a physicist reconverted in mathematician. He has a paper, in collaboration, about string theory. It was that background of the teacher which aimed me to follow the course. I must say that it was a great course. To begin not all the audience were mathematicians so the teacher took a lot of time to reminder, and exemplify, the algebraic machinery. It also explained very clearly the geometric aspects. Later in this post ll say actually something about algebraist geometry and not only about the bibliography, by now I´ll just say that a (regular) algebraic curve can be identified with a Riemann surface. Every string theorists is well aware of the fact that the theory of Riemann surfaces is the basic of the Polyakov path integral. But, in fact, a traditional course in algebraic curves doesn't include the material specifically necessary for that purpose. Fortunately it includes some concepts, mainly the theory of divisor, which has become important for the subject of compactifications. Later more about it. It also tells about Blowing ups, which are actually of interest for compactifications.

After such a book, or similar ones (for example, "undergraduate algebraic geometry", also by Miles Reid one could try more serous books. For example Shafarevich: basic algebraic geometry, which covers most general algebraic spaces, aspects of the analytic approach as well as abstract geometry (schemes and all that, more on it later), or the book of Robin Hartsone which is still harder (and cover more topics), or, much better, both books.

Certainly that is a lot for a physicist. And he will not go into the most necessary goals until the last books. It is time to offer alternatives.

Recently it has appeared totally recommendable book, that gives name to this post, An Invitation to Algebraic Geometry by various authors, mainly Karen Smith.

The algebraic prerequisites of the book are only linear algebra. It gives a concise, and worked, intro to the necessary extra algebra. It does a very good job in explaining the flavour of the traditional algebraic geometry (which is not present in analytic geometry). The geometric aspects, and it´s relations to geometry are very well explained. It covers most of the topics necessary for string theory, the previously mentioned, (divisor,blowing ups), it gives some hints on abstract algebraic geometry (schemes, which is related to sheaves and the analytic side of algebraic geometry) and also, and this is important, families of algebraic surfaces. Under that name probably is not familiar for an sting theorist. The important fact is that is the concept which is behind the idea of moduli space. Loosely speaking a moduli space is an algebraic space which has the property that any of its point can be identified with other algebraic space. The most basic example is the projective plane. Any point of the projective plane can be identified with the rect that pass through it.

The concept of moduli space is a very recent one. The book of Joe Harris: Algebraic Geometry, a first course, cover more details about it than the book I was talking previously. The precise definition of the concept is very hard. The problem is that a moduli space usually is going to have singular points. To work in a proper way with that point you must go to abstract algebraic varieties (schemes), and, further, orbifolded schemes and things like that. The first introduction of the idea of moduli space dates back to the work of grothendieck which goes beyond the previous works of Teichmuller. There the re talking about families of algebraic curves (Riemann surfaces) and their complex structures. The teichmuller space of Riemann surface S of a given genus (intuitively, the genus is the number of holds) is the quotient of Conf(S)/Diff(S). Here Conf(S) is Met(S)/Cinf(S) where Met(s) is the set of possible metrics on S and Cinf is the group al infinite differentiable functions on S, which acts in the group o f metrics generating conformal transformations. -this is well known material for string theorists. It is covered in the chapters about the Polyakov integral. There one is explained how to get the moduli space form the teichmuller space and that the beltrami differentials form a basic of the tangent space to the moduli space and many other things. Is one is familiarized with differential geometry on manifolds, some basic group theory and complex analysis(and who ins´t nowadays) he can follow the ideas and accept that space3s as "abstract" spaces whose dimension can be determined (with the help of the Riemann Roch theorem) and can work with them to get the desired result, expressions for the cross sections. But if one reads books on algebraic geometry one becomes aware of the fact that those topic have a more geometric, and not so abstract, nature. Of course, as I said, the precise formulation of the idea requires heavier machinery that the one covered in string theory books. The pre3cise concept of moduli space of a Riemann surfaces is due to David Mumford and he got a Fields medal for it. And it is a very recent work, it is dated in the last sixtie3s and former seventies. It is somewhat incredible how soon such an abstract and difficult concept, combined with the also very recent, for the date, theory of conformal field theory, were combined in a baby string theory in a time where the math basic of more physicists was essentially the book of Arfken (or Mathews Walker) plus some tensor analysis and pedestrian Lie groups theory. I guess that there3 is a history in that achievement that deserves to e told, pity I have idea of that.

Well, we have a recommended book in the algebraic part. Lets go for a book in the analytic part. My choice 8freely available online) is U. Bruzzo. INTRODUCTION TO. ALGEBRAIC TOPOLOGY AND. ALGEBRAIC GEOMETRY.

It is a short book. the first part covers algebraic topology,almost form the beginning. It, later, introduce the very important concept of presheaves and sheaves. Them he introduces Cech co-homology. He treats fibered spaces, de rham theory, characteristic classes, the very hard topic of spectral sequences and, in general it covers a good part the material covered in canonical books of algebraic topology such as the one by Spanier, or the famous "differential forms in algebraic topology" of Bott and Tue (see this entry int he U-duality blog for more info in that book and in the general subject of math for string theory).

The second part of the book covers, from the analytic viewpoint, the same material on divisors (and the related concept of line bundles,ample and very ample bundles) that is mentioned in the book y Karen Smith and others. It also covers algebraic curves and the Riemann Roch theorem. The last chapter has a somewhat misleading title "nodal curves". The "nodal" makes reference to a type of singularity in an algebraic curve. An algebraic curve (it is time to say at last something about them xD) is, roughly speaking the set of zeros of a polynomials (enough polynomials to get a one dimensional space in the field of definition of the polynomials-note, a complex one dimensional space is a two dimensional real space-). A singularity is a point where the tangent space is not defined. That can e due to a self-intersection of the curve (so we have "two tangent spaces) or a point where the tangent space is not defined (the curve has not a derivative). The former is a nodal point, and can be resolved by the technique of blowing-up. This consist of cutting the singular point and to replace it by the projective space over it (see the books for the details). Well, the question is under the name of "nodal curves" is hidden the most well known concept of blowing-up. I would mention that I have followed this semester a course in the UCM which covered this analytic viewpoint of algebraic geometry. The official teacher was a mathematician who also has a publication on string theory, actually, a good amount of the course was finally imparted by a different teacher. I previously knew sheave theory, but certainly my knowledge on the subject has greatly growth ;-).

Well, with that two books one has a decent basic in algebraic geometry. He could go from there directly to specific reviews relating this to string theory. Soon ill comment something about it. Firs another suggestions. In the blog entry of U-duality it is recommended the Nakaharas book. I would add another book which I have already mentioned here. Topology and quantum field theory, by Charles Nash. It covers Riemann surfaces, and it relation to string theory. It also cover many other subjects. For example the theory of elliptic operators and its relation to topology, which is central to many results in the analytic part of algebraic geometry. In fact the Nash book covers that aspects (I suspect that it follows closely the book of Weill on analytic manifolds). Certainly a great book.

ON the pure math side one could go with the previously mentioned books of shafarevich and Hartsone (I have read some chapters of the former and I have been teach ed the first chapter of the second). An additional recommendation is the encyclopedic Principles of Algebraic Geometry by Griffith & Harris. Of those books the only one that covers moduli spaces is the one of Hartsone.

OK, what about not pure math books? Where is the string theory?. Lets go to it.

The canonical reference would be the book Mirror symmetries freely available on-line form the claymath institute (yes,the same claymath institute of the millenium prizes). Really one could begin with that book and to forget about all the above ones. It is a very extensive one, and covers almost all the mentioned subjects, together with the new, ones that I´ll speak now, toric varieties. The first part is reasonably accessible to a physicist with a decent basic on modern math (without need of abstract algebra). I guess that the book somewhat fails in providing the geometric-geometric viewpoint of the subject, something that , I insist, is very well covered in the Karen Smith book in a very acce3sible way.

OK, last references, arxiv reviews of the application of all this to string theory.

I would begin by TASI LECTURES ON COMPACTIFICATION AND DUALITY by DAVID R. MORRISON. It dates in nov 2004 and the arxiv signature is: hep-th/0411120v1
The third and fourth part are specifically related to the subject of algebraic geometry in string theory. It explains how Calaby -Yau manifolds are good compactifications of string theory and it explains how the theory of divisors and ample line bundles are good tools to get kahler classes of Calabi-Yau manifolds and why that is a good thing.

A different use of algebraic geometry,and specially the blowing up techniques, is for resolution of singularities in orbifolds and also, of conifolds. Resolving singularities of conifolds one can describe process where by varying the moduli space of a calabi-yau one gos trought transitions where some topological aspects of the calabi yau change.You can describe that changing aspects in terms of intersection theory. And you can describe intersection theory in terms of divisors. The first papers on topological change are due to Brian Green and Aspinwell (who, B.T.W. also has a book named Mirror Symmetry which covers those topics) on one side and Witten on the other side. Perhaps the most closed paper to the algebraic geometric techniques is this. the paper is form 1993. Later the topic got a different, more complete, treatment by placing D-branes in the conifold singular point (sorry, I have not time now to search the arxiv reference for the paper).

For papers explaining toric geometry , kind of generalization of projective spaces, very useful in F-theory construction you can read the3 recommended papers of the string wiki:

Toric geometry and calabbi yau compactifications y Maximilian Kreuzer (arXiv:hep-th/0612307v2)
Lectures on complex geometry, Calabi–Yau manifolds and toric geometry by Vincent Bouchard (arXiv:hep-th/0702063v1) or, also:

The Geometer’s Toolkit to String Compactifications (arXiv:0706.1310v1)

Certainly I don´t find them the more funny papers in math and I have not, still, readed them completely.

Once you have all this math background you could go without fear to study string compactifications, specifically F-theory ones. If you want a complete and detailed physical guide on the field of aplication you could use this paper:

I apologyce by not saying nothingn about the subject of elliptic curves (a very special kind of algebraic curves) and the related topics of eliptic integrals and aliptics function and of its generalizations (modular forms), maybe in other post. In fact from now to that point I´ll probaly have a better knowledge of that subjects and it will be a better post anyway ;-).

Sunday, February 08, 2009

Spanish physicists offers a possible explanation of the pioneer anomaly

The pioneer anomaly is a rather well established phenomena wichs is still lacking a satisfactory explanation.

The Spanish physicist Antonio F. Rañada, well known in his country by his textbook about classic dynamics, and also by a semi divulgative book of introduction to physics (I would add that his theory of topological treatment of electromagnetism, elaborated in collaboration with Jose Luis Trueba is very estimable) in collaboration with Alfredo Tiemblo (sorry Alfredo, I don´t know anything about your work to cite it)have just written this paper that offers a possible explanation.

The idea goes as follows. The pioneer anomaly consist of an apparent excess of slowing down of the spacecraft, in his way out of the solar system, respect to the one predicted by general relativity. The most obvious interpretation of this anomaly would be a modification to the behaviour of gravity, in MOND (modified newton dynamics) like theories. A second possible interpretation, proposed by Anderson, is that the anomaly is apparent and not real. It comes from the way in the measurement of the effect. It involves the measurement of time by two methods, one depending in an atomic clock and the other depending on astrophysical inputs. Anderson introduces and ad-hoc difference in this two times as a possible explanation of the effect, but he gives no glimpse on how this desynchronization could arise.

Precisely that is the point of the Rañeda paper, they argue that the well know indeterminacy of energy and time, E.t=hbar, (which is referred by them as the fourth heisenberg indeterminacy) is affected by the averaged dimensionless
gravitational potential, i. e. the potential of all the mass-energy in the entire universe assuming that it is uniformly distributed. That leads to an increase of the lifetime of virtual pairs of electrons-positrons and , consequently, to a modification of the behaviour of atomic clocks (the details are actually a little more involved and go through the use of the optical density of vacuum, see the paper to re3ad about them.The order of magnitude of the effect agrees with the one needed to explain the Pioneer anomaly.

The latter part of the article explains how this effect is good because it explains the anomaly without conflicting general relativity. Also they explain that the nature of the effect makes that it is very hard to detect for other natural bodies in the solar system (mainly planets) so that it avoids conflicts with other observations.

Well, I am not at all expert in the pioneer anomaly so I cant judge how good this theory fits incorporation with other proposals. About the somewhat "quantum gravity" related effect that is behind his explanation the authors refers to other papers where they go into further details that I haven't read. With this limitations my judgement can´t be considered authoritative but my impression is that the paper looks very elegant and I hope that it will go in the right direction.

I will end this entry with an apology. I had begun(and almost has finished) to write a post about the recent claim by Craig Hogan about a possible observation of a quantum gravity related effect in the measurements of the geo 600 interferometer related to a theory developed by Hogan named "holographic noise". That theory is, basically, an implementation of the holographic principle of -hooft and susskind by a different mechanism to the already proposed (mainly the AdS/CFT correspondence). I had read two of the relevant arxiv papers and had outlooked the other and I explained briefly the ideas. Unfortunately my computer hanged before submitting the post and because of some unknown reason blogspot didn't conserve any draft copy. I hate to write things twice so I refer to the interested reader to press releases, like this one or to an blog entry on the subject in the bog "dynamics of cats".