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

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

145 submissions , 122 unreviewed
3,930 questions , 1,398 unanswered
4,853 answers , 20,624 comments
1,470 users with positive rep
501 active unimported users
More ...

local equivalence of loop group representations

+ 9 like - 0 dislike
851 views

Let $G$ be a compact, simple, connected, simply connected (cscsc) Lie group, and let its smooth loop group $LG:=C^\infty(S^1,G)$. Given an interval $I\subset S^1$, we have the local loop group $$ L_IG := \{\gamma\in LG \ | \ \forall z\not\in I \ \gamma(z)=e\} $$ which is a subgroup of $LG$. Let $k\ge 1$ be an integer. The level $k$ central extension of $LG$ is denoted $\mathcal{L}G_k$. It restricts to a central extension of the local loop group that we denote $\mathcal{L}_IG_k$.

A representation of $\mathcal{L}G_k$ on a Hilbert space is called positive energy if it admits a covariant action of $S^1$ (i.e., the action should extend to $S^1\ltimes \mathcal{L}G_k$) whose infinitesimal generator has positive spectrum. Here, the center of $\mathcal{L}G_k$ is required to act by scalar multiplication.

Definition 1:
Two level $k$ positive energy representation of the loop group are called locally equivalent if they become equivalent when restricted to $\mathcal{L}_IG_k$.

The follows is believed to be true:

Claim 2:
Let $G$ be a cscsc group and let $V$ and $W$ be any two positive energy representations of $\mathcal{L}G_k$. Then $V$ and $W$ are locally equivalent.


I know a paper that proves the following:

Theorem 3:
Let $G$ be a simply laced cscsc group and let $V$ and $W$ be two positive energy representations of $\mathcal{L}G_k$. Then $V$ and $W$ are locally equivalent.

Edit: The argument in [GF] seems to contain a mistake (on lines -4 and -3 of page 600)

The basic ingredients that are needed (see page 599 of [Gabbiani & Fröhlich Operator algebras and conformal field theory] for the proof) are the following two facts about positive energy representations of simply laced loop groups:
• Every level 1 rep can be obtained from the vacuum rep by precomposing the action by an outer automorphism of $\mathcal{L}G_1$ that is the identity on $\mathcal{L}_IG_1$.
• Every level $k$ rep appears in the restriction of a level 1 rep under the map $\mathcal{L}G_k\to \mathcal{L}G_1$ induced by the $k$-fold cover of $S^1\to S^1$.

There are proofs in the literature, due to A. Wassermann (here p23) and V. Toledano-Laredo (here p82) respectively, for the cases $LSU(n)$ and $LSpin(2n)$, that are based on the theory of free fermions -- actually, Toledano only treats half of the representations of $LSpin(2n)$.


Is there a proof of Claim 2 in the literature?
How does one prove Claim 2? This post imported from StackExchange MathOverflow at 2014-09-14 08:22 (UCT), posted by SE-user André Henriques
asked Jun 3, 2011 in Theoretical Physics by André Henriques (210 points) [ no revision ]
retagged Nov 21, 2014 by dimension10
probably not really helpful, but there seems to be a paper in preparation by Toledano Laredo which maybe could shed some light about this question in the B and C case

This post imported from StackExchange MathOverflow at 2014-09-14 08:22 (UCT), posted by SE-user Marcel Bischoff
There seems to be a proof of Claim 2 in some unpublished notes, namely in Böckenhauer and Evans "Modular Invariants, Graphs and $\alpha$-induction for Nets of Subfactors. II" on page 66 is claimed that local equivalence hold for any compact connected simple $G$ with reference to the unplished notes of Wassermann "Subfactors arising from positive energy representations of some infinte dimensional groups", 1999.

This post imported from StackExchange MathOverflow at 2014-09-14 08:22 (UCT), posted by SE-user Marcel Bischoff
Many thanks to the person who sent me Wassermann's preprint.

This post imported from StackExchange MathOverflow at 2014-09-14 08:22 (UCT), posted by SE-user André Henriques

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$ysicsOver$\varnothing$low
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).
To avoid this verification in future, please log in or register.




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

Your rights
...