3
$\begingroup$

I'd like to understand the Poisson bracket for fermions in classical field theory defined on a cylinder (with coordinates $(t,x)$, $x$ being the compact direction) and propagating on $T^n$ with constant metric $G_{ij}$ (though $T^n$ probably isn't important to the discussion here).

The action is $$S = \frac{i}{4\pi}\int dt dx \,\,G_{ij} \left[ \psi^i(\partial_t + \partial_x)\psi^j + \bar{\psi}^i(\partial_t - \partial_x)\bar{\psi}^j\right] .$$

From this how can I give a general definition of the Poisson bracket? Some constraints on it should be the following:

  1. It should be symmetric (since in the bosonic case it's anti-symmetric).

  2. I should be able to recover the standard relation $$\{\psi^i(t,x), \psi^j(t,x') \}_{PB} = -2\pi i G^{ij}\, \delta(x-x')$$ from it.

One definition which seems to work is $$\{F,G\} = -2\pi i \int dx\,\, G^{ij}\Big(\frac{\delta F }{\delta \psi^i } \frac{\delta G}{\delta \psi^j} + \frac{\delta F }{\delta \bar{\psi}^i } \frac{\delta G}{\delta \bar{\psi}^j}\Big)$$

However, if this is right, I'd like to see why on more general grounds.

Also one particular Poisson bracket I'm interested in computing is $\{(\partial_t - \partial_{x_1})\psi^i(x_1), \psi^j(x_2)\}$ which I get from the above definition to be $2\pi i \frac{\partial}{\partial x_1} \delta(x_1 - x_2)$. Is this sensible?

Edit: for reference, I'm looking at Appendix A in the following paper by Kapustin and Orlov:

http://arxiv.org/abs/hep-th/0010293

and trying to verify the Poisson Brackets in eqn. (48).

$\endgroup$
2
$\begingroup$

The super-Poisson bracket follows from a super-version of the Dirac-Bergmann or the Faddeev-Jackiw procedure. Diligent care must be taken to achieve consistent sign conventions when dealing with Grassmann-odd variables, see e.g. my Phys.SE answer here.

The singular Legendre transformation for fermions is also discussed in my Phys.SE answer here. In OP's case [which is the fermionic part of eq. (44) in Ref.1], the Lagrangian density reads

$$\tag{1} {\cal L}~=~ \frac{i}{4\pi} G_{ij}\left[\psi^i \dot{\psi}^j + \bar{\psi}^i \dot{\bar{\psi}}^j\right]-{\cal H}, $$

where we have identified the Hamiltonian density

$$\tag{2} {\cal H}~=~ \frac{i}{4\pi} G_{ij}\left[\psi^i \partial_x\psi^j - \bar{\psi}^i \partial_x\bar{\psi}^j\right].$$

The symplectic one-form potential can be transcribed from the kinetic term in (1):

$$ \tag{3} \vartheta(t) ~=~\frac{i}{4\pi}\int\! dx~G_{ij}\left[ \psi^i(x,t)~\mathrm{d}\psi^j(x,t) + \bar{\psi}^i(x,t) ~\mathrm{d}\bar{\psi}^j(x,t)\right], $$

where $\mathrm{d}$ denotes the exterior derivative in infinitely many dimensions. The symplectic two-form is then

$$ \omega(t)~=~\mathrm{d}\vartheta(t) ~=~\frac{i}{4\pi}\int\! dx~G_{ij}\left[ \mathrm{d}\psi^i(x,t)\wedge\mathrm{d}\psi^j(x,t) +\mathrm{d}\bar{\psi}^i(x,t) \wedge\mathrm{d}\bar{\psi}^j(x,t)\right]$$ $$ \tag{4} ~=~\frac{i}{4\pi}\int\! dx~dy~ G_{ij}~ \delta(x-y) \left[ \mathrm{d}\psi^i(x,t)\wedge\mathrm{d}\psi^j(x,t)+\mathrm{d}\bar{\psi}^i(x,t)\wedge\mathrm{d}\bar{\psi}^j(x,t)\right].\qquad $$

The equal-time super-Poisson/Dirac bracket on fundamental fields is the inverse supermatrix of the supermatrix for the symplectic two-form (4):

$$ \tag{5} \{\psi^i(x,t), \psi^j(y,t)\}_{PB}~=~ \frac{2\pi}{i}(G^{-1})^{ij} ~\delta(x-y)~=~\{\bar{\psi}^i(x,t), \bar{\psi}^j(y,t)\}_{PB}, $$

and other fundamental super-Poisson brackets vanish. The equal-time super-Poisson bracket read

$$ \tag{6}\{F(t),G(t)\} ~=~ \frac{2\pi}{i}\int \! dx (G^{-1})^{ij}\left[\frac{\delta_R F(t)}{\delta \psi^i(x,t)} \frac{\delta_L G(t)}{\delta \psi^j(x,t)}+\frac{\delta_R F(t)}{\delta \bar{\psi}^i(x,t)} \frac{\delta_L G(t)}{\delta \bar{\psi}^j(x,t)} \right]\qquad $$

for arbitrary equal-time functionals $F(t)$ and $G(t)$. Here the subscripts $L$ and $R$ refer to differentiation from left and right, respectively.

References:

  1. A. Kapustin and D. Orlov, arXiv:hep-th/0010293.
$\endgroup$
  • $\begingroup$ If possible, can you please also add an expression in terms of functional derivatives analogous to the one I mention in my question? Thanks $\endgroup$ – SCFT Jun 24 '15 at 13:53
  • $\begingroup$ Should the first term in (6) be derivates with respect to $\psi^i$? Also what do you mean by $\delta_R$ and $\delta_L$? $\endgroup$ – SCFT Jun 24 '15 at 14:38

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.