5
$\begingroup$

I'm studying the Grassmann variables from Polchinski's string theory textbook appendix A. On page 342,

In order to follow the bosonic discussion as closely as possible, it is useful to define states that are formally eigenstates of $\hat\psi$ (the lowering operator):$$\hat\psi|\psi\rangle = |\psi\rangle \psi\tag{A.2.7b}$$

  1. I don't quite understand why the definition is not written like $$\hat\psi|\psi\rangle = \psi|\psi\rangle$$ instead. I learned that those Grassmann variables are used to describe fermions, but how does this ordering reflect the anticommuting property of fermions?

  2. Do we write the completeness relation $$ \int|\psi\rangle d\psi\langle\psi| = 1\tag{A.2.12} $$ for the same reason?

  3. If we have another raising operator $\hat{\chi}$, do we have $$\hat\chi|\chi\rangle = |\chi\rangle \chi$$ also?

  4. What would be the completeness relation for $\chi$?

$\endgroup$
2
  • $\begingroup$ @hft Thanks, but the order in the completeness relation matters, right? $\endgroup$
    – IGY
    Feb 1 at 9:49
  • $\begingroup$ I removed my comment and added an answer. Moving the measure around could introduce a sign change on some terms... $\endgroup$
    – hft
    Feb 1 at 17:46

2 Answers 2

2
$\begingroup$

I'm studying the Grassmann variables from Polchinski's string theory textbook appendix A. On page 342, In order to follow the bosonic discussion as closely as possible, it is useful to define states that are formally eigenstates of $\hat\psi$ (the lowering operator):$$\hat\psi|\psi\rangle = |\psi\rangle \psi\tag{A.2.7b}$$

I don't quite understand why the definition is not written like $$\hat\psi|\psi\rangle = \psi|\psi\rangle$$ instead. I learned that those Grassmann variables are used to describe fermions, but how does this ordering reflect the anticommuting property of fermions?

Since the Grassman number anticommutes, both with other Grassman numbers, as well as with fermionic states (by definition), that means there can be a difference between $|\psi\rangle\psi$ and $\psi|\psi\rangle$. The difference can be a factor of -1 if the state $|\psi\rangle$ is fermionic (e.g., the $|1\rangle$ state, but not the $|0\rangle$ state).

Do we write the completeness relation $$ \int|\psi\rangle d\psi\langle\psi| = 1\tag{A.2.12} $$ for the same reason?

Yes. Moving the $d\psi$ around inside the integral flips the sign on some terms in the integral, so the definition needs to be written as above.

We can prove that A.2.12 holds in the manner suggested by Polchinski. First note that, for arbitrary $\psi'$ and $\psi''$ we have: $$ \langle \psi' |\psi''\rangle = \psi' - \psi''\;. $$

If we take matrix elements of the LHS of A.2.12 we see that the result is: $$ \langle \psi' | \int|\psi\rangle d\psi\langle\psi| |\psi''\rangle =\int (\psi' - \psi)d\psi(\psi - \psi'') $$ $$ =\int d\psi (\psi - \psi')(\psi -\psi'') =\frac{\partial}{\partial \psi} (0 - \psi\psi'' +\psi\psi' + \psi'\psi'') $$ $$ =0 - \psi'' + \psi' + 0 = (\psi' - \psi'') = \langle \psi'|\psi''\rangle\;. $$


Note also, there are other ways to write the completeness relation. E.g., the linked reference defines the completeness relation as: $$ \int d\psi d\bar{\psi}|\psi\rangle\langle\bar{\psi}| = |0\rangle\langle 0| + |1\rangle\langle 1|\tag{1} $$

So, we see that Grassman "integration" is somewhat different from integration of regular numbers--it is rather more of a formal definition.

$\endgroup$
1
$\begingroup$
  1. Eq. (A.2.7b) for the lowering operator $\hat{\psi}$ is a consequence of the following definitions$^1$ $$\begin{align}\hat{\psi}|\!\downarrow\rangle~=~&0\tag{A.2.1a} \cr \hat{\psi}|\!\uparrow\rangle~=~&|\!\downarrow\rangle\tag{A.2.1b} \cr |\psi\rangle ~=~& |\!\downarrow\rangle+|\!\uparrow\rangle\psi.\tag{A.2.7a}\end{align} $$

  2. Yes, with the definition $$\langle \psi|\psi^{\prime}\rangle~=~ \psi-\psi^{\prime}~=~ \delta(\psi\!-\!\psi^{\prime}).\tag{A.2.8} $$

  3. No, the raising operator $\hat{\chi}$ satisfies $$ \hat{\chi}|\chi\rangle ~=~|\chi\rangle\frac{\stackrel{\leftarrow}{\partial_R}}{\partial\chi},$$ where we have introduced a differentiation acting from right.

  4. The completeness relation for $\chi$ is eq. (A.2.12) with $\psi\to\chi$.

References:

  1. Joseph Polchinski, String Theory Vol. 1, 1998; Appendix A.

--

$^1$ Interestingly, Ref. 1 deliberately leaves the Grassmann parity of the states $|\!\uparrow\rangle$ and $|\!\downarrow\rangle$ un-specified, possibly with the ambiguity (A.2.18a+b) in mind.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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