Linear/Non-linear sigma model - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T18:10:40Z http://mathoverflow.net/feeds/question/36183 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/36183/linear-non-linear-sigma-model Linear/Non-linear sigma model Anirbit 2010-08-20T12:28:01Z 2010-08-23T10:44:14Z <p>This is slightly an open-ended invitation to discuss references and reasons for excitement about the linear and non-linear sigma model. </p> <p>I gauge from some other interactions that it has considerable interest even in mathematics (geometry?) apart from QFT. </p> <p>I would like if people can type in what are the canonical explanatory/expository references about the linear and non-linear sigma model from both the QFT and mathematical points of view. It would be illuminating if experts can shed light on why is this model exciting again from both the QFT and mathematics point of view. </p> <p>{As an example of the kind of expository reference I am looking for I would like to mention <a href="http://arxiv.org/abs/hep-ph/9802419" rel="nofollow">this one</a> as an example for another interesting model in QFT} </p> http://mathoverflow.net/questions/36183/linear-non-linear-sigma-model/36198#36198 Answer by Willie Wong for Linear/Non-linear sigma model Willie Wong 2010-08-20T15:28:29Z 2010-08-20T15:28:29Z <p>I don't know anything about the QFT side, so I'll refrain from saying things about it. </p> <p>For the mathematics, one of the reasons that there aren't that many expository/introductory references for it maybe because the development of the (non-linear) theory is rather incomplete. (The linear theory is sort-of trivial: it boils down to decoupled linear wave equations.) The simplest version of the non-linear sigma model is the harmonic map/wave map systems (the former is Riemannian/elliptic, the latter is Lorentzian/hyperbolic). </p> <p>Perhaps I should say a few words here to establish notation. Here sigma model generally means a Lagrangian theory of maps for $\phi: M\to N$, where $M$, endowed with a pseudo-Riemannian metric $g$, is called the source manifold, and $N$ the target. The Lagrangian density is given by $\mathcal{L} = L dvol_g$, where in index notation $L = g^{ij}k_{AB}\partial_i\phi^A\partial_j\phi^B$ where $k_{AB}$ is some symmetric tensor depending, possibly, on the map $\phi$ and its first jet. </p> <p>Then the linear sigma model can be interpreted as when $N$ is some finite dimensional vector space and $k$ an inner product on $N$. </p> <p>For the harmonic/wave map systems, $N$ is endowed with a Riemannian metric $h$, and $k_{AB}$ is set to be equal to the metric $h$. So we can also view $L$ to be the $g$-trace of the pull-back metric $\phi^*h$.</p> <p>A lot of words have been written about harmonic maps. For an introduction, Jost's book <em>Riemannian Geometry and Geometric Analysis</em> has a good section on it. The notes of Helein <em>Harmonic Maps, Conservation Laws, and Moving Frames</em> is also quite nice. Schoen and Yau's <em>Lectures on Harmonic Maps</em>, as well as Eells and Lemaire's book <em>Selected Topics in Harmonics Maps</em>, are both very good. </p> <p>One instance where the Riemannian harmonic maps have come into play is the study of stationary axisymmetric solutions to Einstein's equations in general relativity. I refer you to the works of <a href="http://www.math.uab.edu/weinstei/index.shtml" rel="nofollow">Gilbert Weinstein</a> or to Luc Nguyen's PhD Thesis at Rutgers University. </p> <p>For the Lorentzian version, the question is much more open. In the general case, local well-posedness follows from general theory (the system of PDEs forms a semilinear hyperbolic system of equations). As far as I know, all further work (blow-up or global existence for various target manifolds) have been done only with the source manifold being the Minkowski space. A reasonably complete set of references can be found at the <a href="http://tosio.math.utoronto.ca/wiki/index.php/Wave_maps" rel="nofollow">Dispersive Wiki</a>. Some of the notable news recently are the blow-up results of Rodnianski-Sterbenz and Raphael-Rodnianski, and the global wellposedness results for negatively curved targets due to Tao and Krieger-Schlag (you can find all these on the arXiv). </p> <p>Now, the harmonic/wave map systems can be described as the simplest of a family of nonlinear sigma models for maps between pseudo-Riemannian manifolds. Assume now $(M,g)$ and $(N,h)$ are the source and target manifolds, and $\phi: M\to N$ some map. We shall write $D^\phi$ for the (1,1)-tensor field given by $g^{-1}\circ \phi^*h$. $D^\phi$ induces at every point a linear map from $T_pM$ to itself. Note that the harmonic/wave-map Lagrangian is characterized by $L = \mathop{tr} D^\phi$, or the first invariant $\lambda_1$ of the matrix $D^\phi$. Naturally one asks whether Lagrangian field theories with the Lagrangian being (linear combinations of) other invariants $\lambda_k$ are interesting. </p> <p>There are two special cases which I know that are actively studied. The case where $L = \lambda_1 + \lambda_2$ is known as the Skyrme model (there are, again, a Riemannian and a Lorentzian version depending on the signature in the source manifold). You can read a lot more about it in Manton and Sutcliffe's book <em>Topological Solitons</em> (for the traditional case where the target manifold is $SU(2)$ with the bi-invariant metric and the source manifold is either Minkowski space or $\mathbb{R}^3$). This model originally arose in nucleon physics. One interesting fact is that the harmonic map system from $\mathbb{R}^3\to \mathbb{S}^3$ does not admit finite energy solutions; but it looks like the Riemannian Skyrme model might (it is still an open problem). You may want to look up the works of Lev Kapitanski if you are interested in theoretical work in this direction. For the Lorentzian version not much is known (it is one of the things I am working on; a pre-print from Jared Speck and me should be available after the job application season). </p> <p>The other special case which has been studied is the case where $L = (\det D^\phi)^p$ ... roughly speaking. (In the case where $M$ and $N$ are both Riemannian and have the same dimensions, this is correct; in the case where $M$ is Lorentzian and has one more dimension than $N$, the determinant should be thought of as being restricted to space-like slices [else it vanishes identically].) This is the case of non-linear elasticity and fluid dynamics (though this is not how most books in elasticity and fluids formulate their theory, the various formulations are roughly equivalent). I'm not sure who the active participants are for this model, but I vaguely remember Lars Andersson having some interest in it. (For a bit more about the mathematical set-up of this model, a good reference is, if I recall correctly, Demetrios Christodoulou's 1998 AIHP paper "On the geometry and dynamics of crystalline continua" as well as his book <em>Action Principle and Partial Differential Equations</em>.)</p> http://mathoverflow.net/questions/36183/linear-non-linear-sigma-model/36204#36204 Answer by José Figueroa-O'Farrill for Linear/Non-linear sigma model José Figueroa-O'Farrill 2010-08-20T17:02:01Z 2010-08-23T10:44:14Z <p>The sigma model started life as a model for pions and derives its name from one of the fields in the theory (denoted $\sigma$). This, however, is another story and not the reason why I would get "excited" about sigma models.</p> <p>For me the basic reason to be interested in sigma models is that they are the natural bridge between quantum field theory and geometry. One can <strong>define</strong> certain geometric notions in terms of properties of the corresponding sigma models. For example, one can characterise Kähler manifolds as those which are the target spaces for supersymmetric four-dimensional sigma models. Similarly, you can define Hodge manifolds (i.e., Kähler manifolds with integral Kähler class) as those whose associated sigma model admits a coupling to four-dimensional $N=1$ supergravity. In the same way, a hyperkähler manifold is one which is the target for an $N=2$ four-dimensional supersymmetric sigma model and a quaternionic kähler manifold as one for which the associated sigma model can be coupled to $N=2$ supergravity. These are all well-known results from the 1980s, basically. The relevant papers are those of <a href="http://dx.doi.org/10.1016/0370-2693%2879%2990964-X" rel="nofollow">Zumino</a>, <a href="http://www-spires.fnal.gov/spires/find/hep/www?rawcmd=find+a+bagger+and+a+witten&amp;FORMAT=www&amp;SEQUENCE=" rel="nofollow">Bagger and Witten</a>, <a href="http://dx.doi.org/10.1007/BF01208280" rel="nofollow">Alvarez-Gaumé and Freedman</a>, among others.</p> <p>Supersymmetric sigma models are the basis for the quantum mechanical approaches to the Atiyah-Singer index theorem, based on the notion of the Witten index. Some relevant papers are those of <a href="http://dx.doi.org/10.1016/0550-3213%2882%2990071-2" rel="nofollow">Witten</a>, <a href="http://dx.doi.org/10.1007/BF01205500" rel="nofollow">Alvarez-Gaumé</a> and <a href="http://dx.doi.org/10.1007/BF01220996" rel="nofollow">Goodman</a>. In fact, via the sigma model, one can understand in terms of supersymmetry much of the Hodge-Lefschetz theory of Kähler manifolds and the analogue for hyperkähler manifolds. If I may be forgiven to point to one of my papers, this is explained <a href="http://arxiv.org/abs/hep-th/9705161" rel="nofollow">here</a>.</p> <p>Now one might think that this is all simply rewriting or re-interpreting geometrical notions, but the point is that there are physical techniques applicable to supersymmetric quantum field theories, which when applied to sigma models give rise to geometrically interesting constructions. The <a href="http://dx.doi.org/10.1007/BF01214418" rel="nofollow">hyperkähler</a> and <a href="http://www.springerlink.com/content/m785x82131055777/" rel="nofollow">quaternionic Kähler</a> quotients were discovered in this way.</p> <p>Finally, since I'm running out of time, starting from <a href="http://arxiv.org/abs/hep-th/9301042" rel="nofollow">this paper of Witten's</a>, the linear gauged sigma model became part of the toolkit of the physics approach to algebraic geometry. This is also explained in Chapter 15 of the <a href="http://math.stanford.edu/~vakil/files/mirrorfinal.pdf%20" rel="nofollow">Mirror Symmetry</a> book (PDF file).</p> <hr> <p><strong>Added</strong></p> <p>As Igor Khavkine points out in his comment, nonlinear sigma models are such that the "coupling constants" are field dependent. In fact, for the two-dimensional nonlinear sigma model of harmonic maps $\phi: \Sigma \to M$, with action functional relative to local chart $x^i: M \cdots\to \mathbb{R}$ given by $$\int_\Sigma g_{ij}(\phi) \partial_+ \phi^i \partial_- \phi^j d^2\sigma,$$ the metric $g_{ij}$ plays the rôle of the coupling constant. A fascinating result of <a href="http://www.osti.gov/energycitations/servlets/purl/5001689-j6L3sY/5001689.pdf" rel="nofollow">Dan Friedan's PhD thesis</a> is that the one-loop renormalisation group flow is precisely the Ricci flow of the metric. In fact, I have often speculated (admittedly from a position of ignorance) that perhaps the analytical difficulties inherent in the Ricci flow could perhaps be avoided if one were to perturb the Ricci-flow by the higher loop corrections coming from the sigma model. In other words, substitute the Ricci flow with the renormalisation group flow.</p>