Well, it is the end of the first day here for me at the Supercosmology workshop at Aspen's Center for Physics. It was great. Physics discussion was rich and plentiful right from the word go. Ok, at least from 11:15am, when Liam McAllister gave a presentation entitled "Progress and Problems in String Inflation". He gave an excellent talk, and there was great discussion all the way through. Later, Richard Easther gave a talk entitled "Trans-Planckian Physics and Cosmology", but I had another meeting to go to and so could not attend. So what's with the title? Well, it riffs on a joke I inadvertently made in an earlier post. The kind of cosmology being discussed here focuses on models that try to build our universe by starting outside of it, in some sense. The thing we usually think of as the universe is embedded within the larger dynamics of string theory or M-theory that is "outside the box" that is the universe we normally think about. So are we just sitting around dreaming? What do we do? Well, lets start with your "normal" cosmologist - even more normal than CosmicVariance's own Mark or Sean. Being physicists, they write equations for the various quantities that we wish to study, such as the scale size and curvature of the universe, and the densities of various components such as matter, radiation, dark energy, etc. They might even make up various auxiliary dynamical quantities, such as a scalar field called the "inflaton" which has a particular dynamics -controlled by a "potential" function- which provides energy to drive an accelerated expansion phase in the very early universe, making it the really extremely flat universe we see today. The point is that these good people are working "within the box" in that they write equations in the 3+1 dimensional spacetime which we observe. They study the consequences of these equations on our observations in our 3+1 dimensional universe.
From what we have learned so far about string theory, the natural starting point for doing physics which makes contact with our world seems to be to start in 9+1 dimensional spacetime. A modern perspective tells us to go further: Strings are not the only important objects in the game, but extended objects of more dimensions called "branes" are also important. (The term comes from starting with "membrane" which is a two dimensional object, calling it a "2-brane" and then having the idea of a "3-brane", "4-brane" etc. Or just "brane" when you want to be non-specific.) It turns out that we need to consider these objects too. Fully non-perturbative considerations also encourage us to consider "M-theory", which (at least at low energy) appears as an eleven dimensional (10+1) theory with no strings at all, just branes of a couple of sorts. Physicists are attracted by the idea of showing that the types of 3+1 dimensional models and equations which the regular cosmologists study actually have their origin "outside the box" in the larger setting of string- or M-theory. Several of the objects, like the inflaton, etc, may well have a geometrical origin where the dynamics of that larger setting explain certain features that have no explanation purely within the 3+1 dimensional setting. For example. the inflaton field might turn out to be secretly the distance between two key objects in this larger setting. The potential function controlling the inflaton would then arise from the dynamics of those objects, like how they attract or repel each other. More on this later. So this is what people are doing in this game: trying to get certain key aspects of Nature: inflationary cosmologies, the Standard Model of particle physics, etc, out of stringy models. The focus at this workshop is the inflationary side of things, but in his talk Liam correctly emphasized that we should not expect proceed indefinitely by keeping several efforts separate: The quest for a realistic standard model embedding within string theory (including stabilising moduli, i.e. getting rid of the several massless scalar fields that string theory models tend to give) is tied up with finding good inflationary models. These efforts neccessarily talk to each other. SuperCosmology is - I think - a title coined to remind us that we are starting in supersymmetric 9+1 dimensional spacetime, and then proceeding from there. ("Supersymmetric" means that there is a symmetry between bosons (force particles, roughly) and fermions (matter particles) .) Typically, one has compact parts of the compactification manifold (the space which is hidden) which result in effective 3+1 dimensional models in the uncompactified directions. These manifolds are usually also chosen to preserve some supersymmetry, as it allows us some control. Generically, the manifolds come in families - there a "moduli space" of manifolds - connected by changing a continuous parameter. Meaning? An obvious example is the overall size of a manifold which has everything else fixed. The radius of a sphere might be a good thing to visualize. Changing the radius, you'd not say that the manifold is no longer a sphere, you'd just say that it is a sphere of different radius. In the effective 3+1 dimensional model resulting from having this compact sphere, there would be a scalar field corresponding to this radius, which can take continuous values, with no preferred value. Such a field is called a "modulus" (and the plural is "moduli"). Now this is all well and good, but there's a problem. Nobody has ever observed such a massless scalar field in Nature. These came from a supersymmetric model, and the trick is to break supersymmetry (since we don't see that in Nature either) and get all the scalar fields to freeze at specific values. The manner in which this is being done a lot these days is to use wrapped branes and also "fluxes" of various fields that are in the spectrum of the string- or M-theory model. These fluxes (certain distributed energy densities of these fields) are spread out over the surface of the manifold in question (our sphere example, say), and expanding the sphere actually reduces energy in the model (it dilutes the flux). A brane wrapped on a sphere can compete with that effect. This is because branes have tension (mass per unit volume) and so if it is wrapped on the sphere, growing the sphere costs energy. So you get a competition between the two effects, and there is an optimum value of the radius where balance is achieved. This is what is meant by "freezing" or "stabilizing" the modulus field.
This example is not perfect, since it turns out that the sphere as a compactification does not give a lower dimensional theory with a modulus corresponding to its size ("volume modulus") showing up. Turns out that a sphere's curvature costs energy in the lower dimensional model and in fact the sphere tries to shrink itself away -there is a "runaway potential" off to zero size. It is not a supersymmetric model. You can stabilize this runaway by putting flux on the sphere of just the right sort so that since the sphere now does not like to shrink away, it stabilizes at some finite value (given by the number of units of flux, roughly) and the resulting model is supersymmetric. The value of the energy density of the model at this stabilised point translates, it turns out, into a negative vacuum energy -negative cosmological constant- for the model. (This is a nice way of thinking about anti-de Sitter models in string theory, emphasized in some nice notes by Eva Silverstien - we're good at those models, and like them because of the AdS/CFT correspondence. More on that some other time.) What we want, in addition to using branes and/or fluxes to stabilize moduli, is to generate a non-supersymmetric model with a positive cosmological constant. In other words, new ingredients (other fluxes other types of brane, etc) can be introduced to add a new element to the competition between components which (meta)stabilizes everything as before, but
at a point where the vacuum energy is positive. This is hard, but there seems to be plently of parameter space to allow you to argue that you ought to be able to do it in a variety of models. What is really hard is demonstrating that you can do it using the techniques we currently have available in string theory (going beyond just perturbative arguments and including non-perturbative effects). The most celebrated class of models that seem to achieve this are the "KKLT" models. Explicit demonstrations are still very difficult, however, and not everyone in the field is convinced that fully convincing models have been exhibited, although all agree that the mechanism should do the trick in principle. This is an area of interesting and very hard work -using very interesting and beautiful physical and mathematical techniques- that continues. So what are the supercosmologists doing? They want to go a bit further: Stabilize moduli, generate naturally a scalar field (with the right potential) which would play the role of the inflaton with the right physical properties to make contact with experiement ("phenomenological properties"), and get the Standard Model of particle physics in there as well. Such models -using some of the concepts and ingredients I described above- are the sort about which Liam McAllister was giving us an update. One key ingredient that I should mention is that several models these days use the idea that our 3 spatial dimensions in which we live is simply that of a 3-brane embedded in the higher dimensions of string theory! So our universe is a dynamical object in this scenario which can move around, bump into other branes, etc. We've put "the box" into a much larger dynamical context. The inflaton could well be a scalar field representing the distance between our 3-brane (on which we live) and another brane, or some other structure in the theory. The inflaton arises from the details of the forces of attraction/repulsion between our dynamical objects. This is a very important picture which appears in a lot of approaches to fundamental physics right now (and I should say here that CosmicVariance's very own JoAnne is an expert on testing some of the observational particle physics consequences of such scenarios.) Well, having been careful to try to give you - possibly an interested non-expert - some flavour of what the basic issues are, I find myself with no time or energy to run through the highlights of Liam's talk! The clock says it is 12:17am and the warm fuzzyness that is seven hour jetlag is setting in. I also need to be bright-eyed and bushy-tailed for working tomorrow. I should continue this discussion a bit later. I do hope I at least set the scene for what we're up to in this part of the field, and here at Aspen. -cvj