CFT Zoo

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision 		Previous revision
virasoro_symmetries [2021/09/15 17:49]
Brian McPeak [Representations] 		virasoro_symmetries [2021/09/15 17:52] (current)
Brian McPeak
Line 67: Line 67:
  
 The first are essentially those where every element of the ordered basis $\left\{ L_{-n_1} ... L_{-n_p} \right\}_{n_1 \leq n_2 ... \leq n_p >0}$ creates a linearly independent element when acting on $|\Delta \rangle$. Such representations are called **Verma modules**, denoted by $\mathcal{V}_\Delta$. Verma modules are infinite-dimensional representations, and are isomorphic to $U(\mathcal{V^+})$. The first are essentially those where every element of the ordered basis $\left\{ L_{-n_1} ... L_{-n_p} \right\}_{n_1 \leq n_2 ... \leq n_p >0}$ creates a linearly independent element when acting on $|\Delta \rangle$. Such representations are called **Verma modules**, denoted by $\mathcal{V}_\Delta$. Verma modules are infinite-dimensional representations, and are isomorphic to $U(\mathcal{V^+})$.
- 
-===Denegerate representations=== 
- 
-Another possibility is to create a finite-dimensional representation by quotienting a Verma module by one of its subrepresentations. This forms a **degenerate representation**.  All representations fall into one of these two classes.  The subresentations of a Verma module are constructed from their null vectors. 
  
 ===Null vectors=== ===Null vectors===
  
-Consider a subrepresentation of $\mathcal{V}_\Delta$. It must also have $L_0$ eigenvalues bounded from below, and have a highest-weight vector which we denote $|\chi \rangle$. For a non-trivial subrepresentation, $|\chi \rangle \neq |\Delta \rangle$, so $|\chi \rangle$ must be a descendent in the representation $\mathcal{V}_\Delta$. We conclude that $\mathcal{V}_\Delta$ has subrepresentations when there exists a descendent $|\chi \rangle$ which is also annihilated by all $L_n$ for $n>0$. The state $|\chi \rangle$ is called a **null vector** or a **singular vector**.+Another possibility is to create a finite-dimensional representation by quotienting a Verma module by one of its subrepresentations.  Consider a subrepresentation of $\mathcal{V}_\Delta$. It must also have $L_0$ eigenvalues bounded from below, and have a highest-weight vector which we denote $|\chi \rangle$. For a non-trivial subrepresentation, $|\chi \rangle \neq |\Delta \rangle$, so $|\chi \rangle$ must be a descendent in the representation $\mathcal{V}_\Delta$. We conclude that $\mathcal{V}_\Delta$ has subrepresentations when there exists a descendent $|\chi \rangle$ which is also annihilated by all $L_n$ for $n>0$. The state $|\chi \rangle$ is called a **null vector** or a **singular vector**.
  
 ==Example: null vectors at level 1== ==Example: null vectors at level 1==
Line 98: Line 94:
 In particular, we only find level 2 null vectors when $c \leq 1$ or $c \geq 25$. In particular, we only find level 2 null vectors when $c \leq 1$ or $c \geq 25$.
  
 +===Denegerate representations===
 +
 +If a Verma module $\mathcal{V}_\Delta$ has null vectors, then we can construct a new highest-weight representation by quotienting it by the subrepresentation constructed from its null vectors. in other words,
 +
 +$$ \mathcal R = \frac{\mathcal{V}_\Delta}{U(\mathcal{V}^+) |\chi \rangle} \, . $$
  
 +This forms a **degenerate representation**.  All representations are either Verma modules or degenerate representations. The latter are important in the study of [[minimal models]]. 
  
  
Last modified: 2021/09/15 17:49
CC Attribution-Noncommercial-Share Alike 4.0 International Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International