Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,082 questions , 2,232 unanswered
5,353 answers , 22,789 comments
1,470 users with positive rep
820 active unimported users
More ...

  Decoupling of Holomorphic and Anti-holomorphic parts in 2D CFT

+ 6 like - 0 dislike
2068 views

This maybe a very naive question.

I have just started studying CFT, and I am confused by why we have two separate parts of everything in CFT (operator algebras and hilbert space), the holomorphic and anti-holomorphic, which are decoupled from each other. We initially introduced $z$ and $\bar{z}$ as two independent variables instead of say $t$ and $x$ in two dimensions. But now, we have got two isomorphic parts, the holomorphic and antiholorphic (they may given by $z \to \bar{z}$ and $h \to \bar{h}$), then what extra info. does the anti-holomorphic parts provide? And how is all the information contained in just one independent coordinate $z$? Also a physical theory should be the tensor product of the verma modules? Why do we need both the parts, and what is the physical significance of each.

This post imported from StackExchange Physics at 2014-06-08 08:15 (UCT), posted by SE-user ramanujan_dirac
asked Jun 5, 2014 in Theoretical Physics by ramanujan_dirac (235 points) [ no revision ]
As far as I understand, the decoupling of holomorphic and antiholomorphic parts may not hold always. However, many of the important examples of 2d conformal field theories have this property. For these theories, holomorphic and antiholomorphic parts can be studied independently and later combined to give the full theory.

This post imported from StackExchange Physics at 2014-06-08 08:15 (UCT), posted by SE-user user10001
To understand the physical meaning consider a gas of particle on a circle. Assume that the particles which are moving clockwise do not interact with the particle moving anticlockwise, so that these two subsystems are decoupled from each other. If we want to compute (say) the partition function of the whole system, we can calculate it independently for both right and left moving parts and then take their product. Thus decoupling simplifies things a lot.

This post imported from StackExchange Physics at 2014-06-08 08:15 (UCT), posted by SE-user user10001

2 Answers

+ 4 like - 0 dislike

Let us for simplicity consider a bosonic string $X:\Sigma\to M$ in the matter sector only (as opposed to the ghost sector). Here $M$ is a target manifold. The worldsheet $\Sigma$ is a Lorentzian manifold of real dimension 2.

Locally in a neighborhood $U\subseteq \Sigma$ of the worldsheet, we may work in a so-called conformal gauge, which means to choose a worldsheet metric equal to the flat 2-dimensional Minkowski metric

$$ \tag{1M} \mathrm{d}\sigma^1 ~\mathrm{d}\sigma^1-\mathrm{d}\sigma^0 ~\mathrm{d}\sigma^0~=~-\mathrm{d}\sigma^{+} ~\mathrm{d}\sigma^{-}. $$

Here

$$ \tag{2M} \sigma^{\pm}~=~\sigma^0\pm\sigma^1 $$

are light-cone coordinates.

We will assume that it is possible to Wick rotate to an Euclidean signature. We identify the local Wick-rotated coordinates (of Euclidean signature) with a single independent complex coordinate $z=x+iy\in \mathbb{C}$. Normally, one assumes that the Wick-rotated worldsheet $\Sigma$ globally form a Riemann surface.

We stress that the complex conjugate variable $\bar{z}=x-iy$ is fundamentally not an independent variable, although one may in certain calculations get away with treating it as an independent variable. For a very similar discussion of dependence of a complex variable and its complex conjugate, see this Phys.SE post.

The Lagrangian density in such local coordinates becomes

$$\tag{3M} {\cal L} ~\sim~ \partial_{+} X^{\mu}~ \partial_{-}X_{\mu}. $$

This means that the classical equation of motion is just the wave equation

$$\tag{4M} \partial_{+}\partial_{-} X^{\mu}~\sim~ \Box X^{\mu}~=~0.$$

The full solution to the wave equation (4M) is left- and right-movers

$$\tag{5M} X^{\mu} = X_L^{\mu}(\sigma^{+}) + X_R^{\mu}(\sigma^{-}).$$

If we Wick-rotate the worldsheet metric to the Euclidean signature, then the left- and right-movers in eq. (5M) become holomorphic and antiholomorphic parts, respectively:

$$\tag{5E} X^{\mu} = f^{\mu}(z) + g^{\mu}(\bar{z}).$$

Note that in order to perform the Wick rotation in the worldsheet $\Sigma$, it in general becomes necessary to consider a complexification of the target space $M$. The Wick-rotated classical equation of motion (4M) is just Laplace's equation

$$\tag{4E} \partial\bar{\partial} X^{\mu}~\sim~ \Delta X^{\mu}~=~0,$$

with general complex solution (5E).

The splitting (5E) in holomorphic and antiholomorphic parts for the classical solutions carries manifestly over to the operator formalism (in contrast to the path integral formalism, where the splitting is not manifest). Both sectors in eq. (5E) are needed in a full description to meet pertinent physical requirements.

The splitting (5E) in holomorphic and antiholomorphic parts is also encoded in the CFT representation theory for the partition function $Z$ and the $n$-point correlation functions in terms of a tensor product of conformal blocks. An additional important requirement is modular invariance.

This post imported from StackExchange Physics at 2014-06-08 08:15 (UCT), posted by SE-user Qmechanic
answered Jun 5, 2014 by Qmechanic (3,120 points) [ no revision ]
Thanks for your answer. The point I am trying to take is the holomorphic and the anti-holomorphic sectors are identical in every aspect, so I am puzzled how working with just one variable gives you the whole answer. Just replace $z$ by $\bar{z}$ and $h$ by $\bar{h}$. I am trying to think of this as writing a coupled system in 2D into normal modes, but the two normal modes are physically distinguishable, but here there is no such thing, as the hilbert spaces seem to be isomorphic.

This post imported from StackExchange Physics at 2014-06-08 08:15 (UCT), posted by SE-user ramanujan_dirac
Also why are the two parts called the left and right chiral components? I don't see any association with helicity.

This post imported from StackExchange Physics at 2014-06-08 08:15 (UCT), posted by SE-user ramanujan_dirac
+ 3 like - 0 dislike

2D conformal field theory is special since in 2D the light cone is just a pair of lines. Thus everything splits into a product (suitably interpreted) of 1D theories. An improper Lorentz transformation interchanges the two lines of the light cone, hence chirality.

answered Jun 9, 2014 by Arnold Neumaier (15,787 points) [ no revision ]

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysic$\varnothing$Overflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...