Jump to content

Toda field theory: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
AHusain314 (talk | contribs)
Removed unneeded template
 
(30 intermediate revisions by 19 users not shown)
Line 1: Line 1:
{{Short description|Special quantum field theory}}
{{Unreferenced|date=March 2011}}
In the study of [[field theory (physics)|field theory]] and [[partial differential equation]]s, a '''Toda field theory''' (named after [[Morikazu Toda]]) is derived from the following [[Lagrangian]]:
In [[mathematics]] and [[physics]], specifically the study of [[field theory (physics)|field theory]] and [[partial differential equation]]s, a '''Toda field theory''', named after [[Morikazu Toda]], is specified by a choice of [[Lie algebra]] and a specific [[Lagrangian (field theory)|Lagrangian]].<ref name="korff">{{cite arXiv|last1=Korff |first1=Christian |title=Lie algebraic structures in integrable models, affine Toda field theory |date=1 September 2000 |arxiv=hep-th/0008200 }}</ref>


==Formulation==
:<math>\mathcal{L}=\frac{1}{2}\left[\left({\partial \phi \over \partial t},{\partial \phi \over \partial t}\right)-\left({\partial \phi \over \partial x}, {\partial \phi \over \partial x}\right)\right ]-{m^2 \over \beta^2}\sum_{i=1}^r n_i e^{\beta \alpha_i \cdot \phi}.</math>


Fixing the Lie algebra to have rank <math>r</math>, that is, the [[Cartan subalgebra]] of the algebra has dimension <math>r</math>, the Lagrangian can be written
Here ''x'' and ''t'' are spacetime coordinates, (,) is the [[Killing form]] of a real r-dimensional [[Cartan algebra]] <math>\mathfrak{h}</math> of a [[Kac-Moody algebra]] over <math>\mathfrak{h}</math>, &alpha;<sub>i</sub> is the i<sup>th</sup> [[simple root]] in some root basis, n<sub>i</sub> is the [[Coxeter number]], m is the mass (or bare mass in the [[quantum field theory]] version) and &beta; is the coupling constant.


<math display=block>\mathcal{L}=\frac{1}{2}\left\langle \partial_\mu \phi, \partial^\mu \phi \right\rangle
Then a '''Toda field theory''' is the study of a function &phi; mapping 2 dimensional [[Minkowski space]] satisfying the corresponding [[Euler-Lagrange equation]]s.
-\frac{m^2}{\beta^2}\sum_{i=1}^r n_i \exp(\beta \langle\alpha_i, \phi\rangle).</math>


The background spacetime is 2-dimensional [[Minkowski space]], with space-like coordinate <math>x</math> and timelike coordinate <math>t</math>. Greek indices indicate spacetime coordinates.
If the [[Kac-Moody algebra]] is finite, it's called a Toda field theory. If it is affine, it is called an affine Toda field theory (after the component of &phi; which decouples is removed) and if it is [[Hyperbolic algebra|hyperbolic]], it is called a hyperbolic Toda field theory.

For some choice of root basis, <math>\alpha_i</math> is the <math>i</math>th [[Simple root (root system)|simple root]]. This provides a basis for the Cartan subalgebra, allowing it to be identified with <math>\mathbb{R}^r</math>.

Then the field content is a collection of <math>r</math> scalar fields <math>\phi_i</math>, which are scalar in the sense that they transform trivially under [[Lorentz transformations]] of the underlying spacetime.

The inner product <math>\langle\cdot, \cdot\rangle</math> is the restriction of the [[Killing form]] to the Cartan subalgebra.

The <math>n_i</math> are integer constants, known as '''Kac labels''' or '''Dynkin labels'''.

The physical constants are the mass <math>m</math> and the [[coupling constant]] <math>\beta</math>.

== Classification of Toda field theories ==

Toda field theories are classified according to their associated Lie algebra.

Toda field theories usually refer to theories with a finite Lie algebra. If the Lie algebra is an [[affine Lie algebra]], it is called an affine Toda field theory (after the component of &phi; which decouples is removed). If it is [[Hyperbolic algebra|hyperbolic]], it is called a hyperbolic Toda field theory.


Toda field theories are [[integrable model]]s and their solutions describe [[soliton]]s.
Toda field theories are [[integrable model]]s and their solutions describe [[soliton]]s.
Line 14: Line 31:
==Examples==
==Examples==


[[Liouville field theory]] is associated to the A<sub>1</sub> [[Cartan matrix]], which corresponds to the Lie algebra <math>\mathfrak{su}(2)</math> in the classification of Lie algebras by Cartan matrices. The algebra <math>\mathfrak{su}(2)</math> has only a single simple root.
[[Liouville Field Theory]] is associated to the A1 Cartan matrix.


The [[sinh-Gordon]] model is the affine Toda field theory with the [[generalized Cartan matrix]]
The [[sinh-Gordon]] model is the affine Toda field theory with the [[generalized Cartan matrix]]
Line 20: Line 37:
:<math>\begin{pmatrix} 2&-2 \\ -2&2 \end{pmatrix}</math>
:<math>\begin{pmatrix} 2&-2 \\ -2&2 \end{pmatrix}</math>


and a positive value for &beta; after we project out a component of &phi; which [[decouple]]s.
and a positive value for &beta; after we project out a component of &phi; which decouples.


The [[sine-Gordon]] model is the model with the same Cartan matrix but an imaginary &beta;. This Cartan matrix corresponds to the Lie algebra <math>\mathfrak{su}(2)</math>. This has a single simple root, <math>\alpha_1 = 1</math> and Coxeter label <math>n_1 = 1</math>, but the Lagrangian is modified for the affine theory: there is also an ''affine root'' <math>\alpha_0 = -1</math> and Coxeter label <math>n_0 = 1</math>. One can expand <math>\phi</math> as <math>\phi_0 \alpha_0 + \phi_1 \alpha_1</math>, but for the affine root <math>\langle \alpha_0, \alpha_0 \rangle = 0</math>, so the <math>\phi_0</math> component decouples.
The [[sine-Gordon]] model is the model with the same Cartan matrix but an imaginary &beta;.

The sum is <math>\sum_{i=0}^1 n_i\exp(\beta \alpha_i\phi) = \exp(\beta \phi) + \exp(-\beta\phi).</math> Then if <math>\beta</math> is purely imaginary, <math>\beta = ib</math> with <math>b</math> real and, without loss of generality, positive, then this is <math>2\cos(b\phi)</math>. The Lagrangian is then
<math display=block>\mathcal{L} = \frac{1}{2}\partial_\mu \phi \partial^\mu \phi + \frac{2m^2}{b^2}\cos(b\phi),</math>
which is the sine-Gordon Lagrangian.


==References==
==References==
{{reflist}}
*{{citation|last=Mussardo|first=Giuseppe|title=Statistical Field Theory: An Introduction to Exactly Solved Models in Statistical Physics|year=2009|publisher=Oxford University Press|isbn=0-199-54758-0}}
*{{citation|last=Mussardo|first=Giuseppe|title=Statistical Field Theory: An Introduction to Exactly Solved Models in Statistical Physics|year=2009|publisher=Oxford University Press|isbn=978-0-199-54758-6}}


{{Quantum field theories}}
{{Quantum field theories}}


[[Category:Quantum field theory]]

[[Category:Lattice models]]
[[Category:Lattice models]]
[[Category:Lie algebras]]
[[Category:Lie algebras]]
[[Category:Exactly solvable models]]
[[Category:Exactly solvable models]]
[[Category:Integrable systems]]

Latest revision as of 21:59, 18 October 2024

In mathematics and physics, specifically the study of field theory and partial differential equations, a Toda field theory, named after Morikazu Toda, is specified by a choice of Lie algebra and a specific Lagrangian.[1]

Formulation

[edit]

Fixing the Lie algebra to have rank , that is, the Cartan subalgebra of the algebra has dimension , the Lagrangian can be written

The background spacetime is 2-dimensional Minkowski space, with space-like coordinate and timelike coordinate . Greek indices indicate spacetime coordinates.

For some choice of root basis, is the th simple root. This provides a basis for the Cartan subalgebra, allowing it to be identified with .

Then the field content is a collection of scalar fields , which are scalar in the sense that they transform trivially under Lorentz transformations of the underlying spacetime.

The inner product is the restriction of the Killing form to the Cartan subalgebra.

The are integer constants, known as Kac labels or Dynkin labels.

The physical constants are the mass and the coupling constant .

Classification of Toda field theories

[edit]

Toda field theories are classified according to their associated Lie algebra.

Toda field theories usually refer to theories with a finite Lie algebra. If the Lie algebra is an affine Lie algebra, it is called an affine Toda field theory (after the component of φ which decouples is removed). If it is hyperbolic, it is called a hyperbolic Toda field theory.

Toda field theories are integrable models and their solutions describe solitons.

Examples

[edit]

Liouville field theory is associated to the A1 Cartan matrix, which corresponds to the Lie algebra in the classification of Lie algebras by Cartan matrices. The algebra has only a single simple root.

The sinh-Gordon model is the affine Toda field theory with the generalized Cartan matrix

and a positive value for β after we project out a component of φ which decouples.

The sine-Gordon model is the model with the same Cartan matrix but an imaginary β. This Cartan matrix corresponds to the Lie algebra . This has a single simple root, and Coxeter label , but the Lagrangian is modified for the affine theory: there is also an affine root and Coxeter label . One can expand as , but for the affine root , so the component decouples.

The sum is Then if is purely imaginary, with real and, without loss of generality, positive, then this is . The Lagrangian is then which is the sine-Gordon Lagrangian.

References

[edit]
  1. ^ Korff, Christian (1 September 2000). "Lie algebraic structures in integrable models, affine Toda field theory". arXiv:hep-th/0008200.
  • Mussardo, Giuseppe (2009), Statistical Field Theory: An Introduction to Exactly Solved Models in Statistical Physics, Oxford University Press, ISBN 978-0-199-54758-6