All posts by ajb

Is "three" the new "two"?

The number “two” may appear to be very special in theoretical physics, but maybe it has had it’s day…

By this we mean that much of physics is described in terms of “binary objects”: Lie brackets, commutators, metrics, rank two curvature tensors, quadratic Lagrangians, two dimensional world sheets of strings, Poisson structures, symplectic two forms, Laplacians and I am sure the list goes on. However, it has become increasingly clear in recent years that “higher objects” play an important role in theoretical physics as well as modern geometry.

For example, it has become increasingly clear that n-aray generalisations of Lie algebras play a role in physics. The Sh Lie algebras of Stasheff and the (not completely unrelated) n-Lie algebras of Filipov are great examples here. In one form or another, they can be found behind the BV-antifield formalism, Zwiebach’s closed string field theory, Kontsevich’s deformation quantisation of Poisson manifolds, Nambu’s generalised mechanics and the Bagger–Lambert–Gustavsson (BLG) description of multiple
stacked M2 branes
.

The last one has been of interest to me lately.

So, M-theory was introduced by Witten in 1995 as a non-perturbative unification of the various superstring theories. Here, the fundamental objects are not strings but extended membranes of dimension 2 and 5, the so called M2 and M5 branes. Since then progress has been slow. No-one really knows what M-theory is and there is no proper understanding of the dynamics of interacting branes.

Then in Bagger & Lambert [2] in 2006 and independently Gustavsson [3] in 2007 construct and effective action for the low energy description of a stack of two M2 branes. The novel feature here is that 3-Lie algebras play a role here. A 3-Lie algebra should be thought of as a “Lie algebra” but with a tribracket not a bibracket. Details should not worry us.

The theory has the fields take their values in a 3-Lie algebra and their is a novel gauge symmetry. However, the original BLG-model can be recast as a conventional gauge theory, the ABJM theory [1]. So it starts to look that maybe 3-Lie algebras are some weird artificial artefact of M2 branes.

(There are many, many papers on the arXiv dealing with modifying the original BLG model. This usually can be understood in terms of 3-Lie algebra. I won’t say any more right now.)

But then very recently, Lambert & Papageorgakis [4] provided evidence that the effective description on M5 branes would also require 3-Lie algebras. However, they have not yet produced an action, which would be essential if the more or less standard methods of quantisation were to be applied.

This is fascinating. M-theory seems to be deeply tied to the theory of n-aray algebras, and in particular 3-aray algebras. There are may open questions here, both from a physics and mathematics point of view. In all it looks like n-aray algebra are here to stay.

——————-
REFERENCES

[1] Ofer Aharony, Oren Bergman, Daniel Louis Jafferis, and Juan Maldacena. N=6 superconformal Chern-Simons-matter theories, M2-branes and their gravity duals. JHEP, 10:091, 2008.

[2] Jonathan Bagger and Neil Lambert. Modeling multiple M2’s. Phys. Rev., D75:045020, 2007.

[3] Andreas Gustavsson. Algebraic structures on parallel M2-branes. Nucl. Phys., B811:66–76, 2009.

[4] Neil Lambert and Constantinos Papageorgakis. Nonabelian (2,0) Tensor Multiplets and 3-algebras. 2010,
arXiv:1007.2982 [hep-th].

Can an "amateur" today make useful contributions to theoretical physics or mathematics?

This was a question I posed to a friend of mine. We decided to define an “amateur” as someone without a PhD in physics, mathematics or something close.

We came to the conclusion that it is very unlikely that some one with out a PhD could in fact make a real contribution. This is despite the fact that things are far more open today than they ever have been. I mean, we have the arXiv and open access journals online. Almost everyone has the internet at home these days, and if not the local libraries do.

From time to time undergraduate students can contribute, but these are with close supervision. The supervisor will guide the student and nurture the natural ability. This was really the closest to an “amateur” that could contribute we agreed on.

So, why can’t “amateurs” contribute? Here are my thoughts…

1) Without spending some time in academia, “amateurs” are not aware of the culture and what is expected of anyone wishing to contribute to mathematical science. They do not know how to do research.

2) “Amateurs”, although interested and very keen at times do not often realise just how much of a prerequisite can be required to conduct research. They can often lack the mathematical skills to contribute. Claims like “I can solve the Riemann hypothesis using high school mathematics” only suggests that they don’t understand the hypothesis correctly in the first place. Trying to rewrite particle theory using high school maths is also redundant. We have a great construct for doing particle physics, it is called the standard model.

3) Theoretical physics, mathematical physics and mathematics as a whole is split up into smaller sections. One can only hope to get acquainted properly with a small subset of what is out there. Without specialising to a large extent, it is unlikely that one can discover something new and interesting. Trying to find smaller, specialised problems to work on is usually the way forward: unless you are a genius and can discover a whole new branch of mathematics! “Amateurs” seem to be focused on very well-known and published open questions. In number theory the Riemann hypothesis is a great example of this. In physics, a theory of quantum gravity is an example.

4) Because the individual does not understand it, it must be wrong. “Amateurs” fall into this mind set quite often. Finding a simpler more elegant approach to things is a large part of the mathematical sciences. However, trying to show that special relativity or quantum mechanics are mathematically inconsistent or do not agree with nature is futile. This also includes the desire to use nothing but high school maths to explain all of physics.

Not that I want to discourage anyone from thinking about mathematics and physics. I encourage it, but with a caveat: reading Wikepedia and popular accounts of science are not enough for one to start to do research.

__________________________________________________________
UPDATE (15th May 2014)

Please do not post about your pet theories in the comments here. If you have something to say related to this post about the role of amateurs in science then please by all means share it here. Thank you.

Workshop on Operator Algebras and Physics

There is a workshop on operator algebras and physics at the University of Cardiff, 21-25 June inclusive.

Operator algebras have their conception in quantum physics. The states of a quantum particle are understood as vectors in a Hilbert space. As all vector space of a given dimension are essentially the same one cannot really extract information about the system from the vector space structure. The important thing here is the algebra of operators on the Hilbert space. These do contain useful information.

For physics and noncommutative geometry C^{*} and von Neumann algebras are important, as are more general Banach algebras.

I am no expert on operator algebras, but I am interested in there use in physics and geometry. I need to brush up on them!

Constantin Teleman will be delivering a series of lectures on the five days on Two Dimensional Topological Quantum Field Theories and Gauge theories as part of the workshop. The interest in two dimensional theories comes largely from string theory and statistical physics. Also, systems in two dimensions can be thought of “toy models” for more realistic 4-d theories. There are some nice mathematical properties of low dimensional systems that allow one to get at features of quantum field theory that are hidden behind the difficulties encountered in higher dimensions.

A good place to start reading about these things is the preprint by Teleman “Topological field theories in 2 dimensions”; it can be found here as a pdf.

There are other good speakers giving talks.

I will write some kind of overview after the event.