## July 14, 2006

### Gomi on Reps of p-Form Connection Quantum Algebras

#### Posted by Urs Schreiber

Quantizing abelian self-dual $p$-form connections on $(2p+2)$-dimensional spaces gives rise to quantum observable algebras which are Heisenberg central extensions of the group of gauge equivalence classes of these connections, with the cocycle given by the Chern-Simons term in $2p+1$ dimensions (I, II, III ).

In

Kiyonori Gomi
Projective unitary representations of smooth Deligne cohomology groups
math.RT/0510187

the author spells out the technical details of the construction of unitray representations for a certain (“level 2”) cases of these central extensions (compare the discussion in II), effectively generalizing the construction of positive energy reps of Kac-Moody groups $\hat LU(1)/\mathbb{Z}_2$ (corresponding to $p=0$) to higher $p$.

These reps should be the Hilbert spaces of states of the quantum theory of self-dual $p$-form fields. Their irreps would correspond to the superselection sectors.

Fix once and for all

$\bullet$ an integer $k \in \mathbb{N}$

$\bullet$ a $(4k+1)$-dimensional manifold $X$ .

$\bullet$ some Riemannian metric $g$ on $X$.

Denote

$\bullet$ by $\hat H^n(X)$ the group of gauge equivalence classes of $(n-1)$-form connections, here to be thought of as realized as the $n$th Deligne hypercohomology of $X$

(1)$\hat H^n(X) = H^{n}(X,\mathbb{Z}(n)^\infty_D) \,.$

$\bullet$ by

(2)$\mathbf{G}(X) = H^{2k+1}(X,\mathbb{Z}(2k+1)^\infty_D)$

the group of $2k$-form connections on $X$.

The strategy.

The strategy is to decompose the space $\hat H^n$ of all connections into a product of subgroups, according to the general analysis reviewed in the section “The space of all connections” in I. As described there, one finds

(3)$\hat H^{2k+1} \simeq \mathbb{H}^{2k}(X)/\mathbb{H}^{2k}(X)_\mathbb{Z} \; \times \; \mathbf{d}^*(A^{2k+1}(X)) \; \times \; H^{2k+1}(X,\mathbb{Z}) \,.$

The last factor contains the global gauge sectors and the first two factors encode the connections given by globally defined $2k$-forms, the first factor containing the flat ones (compare the section “The space of flat connections” in I).

For the purpose of finding representations, Gomi goes one step further and also decomposes $H^{2k+1}(X,\mathbb{Z})$ into a free part and a pure torsion part.

(4)$H^{2k+1}(X,\mathbb{Z}) \simeq F^{2k+1} \times T^{2k+1} \,.$

This is possible, but not canonical. Hence Gomi starts his construction by making a choice

choice number 1) a decomposition

(5)$H^{2k+1}(X,\mathbb{Z}) \overset{\omega}{\simeq} F^{2k+1} \oplus T^{2k+1}$

of the integral cohomology group into a free and a torsion part.

With this choice performed, $\mathbf{G}(X)$ decomposes (p. 17) into four groups as

(6)$\mathbf{G}(X) \simeq \mathbb{H}^{2k}(X)/\mathbb{H}^{2k}(X)_\mathbb{Z} \,\times\, \mathbf{d}^*(A^{2k+1}(X)) \,\times\, F^{2k+1} \,\times\, T^{2k+1} \,.$

The strategy is to represent this piecewise.

For that Gomi makes

choice number 2: some homomorphism

(7)$\lambda : \mathbb{H}^{2k}(X)/\mathbb{H}^{2k}(X)_\mathbb{Z} \to \mathbb{R}/\mathbb{Z} \,,$

representing the group of harmonic $2k$-forms up to integral harmonic $2k$-forms

and

choice number 3) a finite dimensional projective unitary representation of the torsion subgroup

(8)$\pi : T^{2k+1} \to \mathrm{Aut}(V)$

coming from the restriction of the Chern-Simons cocycle on torsion connections

(9)$\mathrm{exp}(2\pi i L_X) : T^{2k+1} \times T^{2k+1} \to \mathbb{R}/\mathbb{Z} \,.$

Here

$\bullet$ $T^{2k+1} = T^{2k+1}(X)$ is the torsion subgroup (p. 12) of the integral cohomology group $H^{2k+1}(X,\mathbb{Z})$.

$\bullet$ $F^{2k+1}$ is a group isomorphic to $H^{2k+1}/T^{2k+1}$, whose rank

(10)$b = b_{2k+1}(X)$

is the $(2k+1)$st Betti number of $X$ (def 4.4, p. 13).

$\bullet$ $\mathbb{H}^{2k}(X)$ is the group of harmonic $2k$-forms on $X$ (prop. 3.1, p. 8) with respect to the chosen metric $g$

$\bullet$ $\mathbb{H}^{2k}(X)_\mathbb{Z}$ is accordingly the group of harmonic $2k$-forms on $X$ with integral periods

$\bullet$ $A^{2k+1}(X)$ is the group of globally defined $(2k+1)$-forms on $X$

$\bullet$ $\mathbf{d}^*(A^{2k+1}(X))$ is accordingly the image under $\mathbf{d}^* \propto * \mathbf{d} *$ of all $(2k+1)$-forms.

The strategy is then to

1) construct the Heisenberg extension first only on $\mathbf{d}^*(A^{2k+1})$,

2) then tensor the result with the 1-dimensional rep of $\mathbb{H}^{2k}/\mathbb{H}^{2k}_\mathbb{Z}$ using $\lambda$,

3) then obtain from this an induced representation of $\mathbf{G}_\omega(X)$, which is the group of connections whose characteristic class is in the free part $F^{2k+1}$ of $H^{2k+1}(X,\mathbb{Z})$

4) finally tensor this result with the finite dimensional rep of the extension of $T^{2k+1}$.

This strategy is built on the known example $k=0$.

Example. Let $k=0$ and $X = S^1$, the circle. An abelian $k$-form connection on $X$ is now simply a circle valued function on the circle - in the context of $p$-form gauge theory to be thought of as the worldsheet boson of a string compactified on a circle.

Accordingly, the group of all these 0-form connections is simply the loop group of $U(1)$

(11)$\mathbf{G}(S^1) \simeq LU(1) \,.$

This decomposes as above, with

$\bullet$

(12)$\mathbb{H}^0(S^1)/\mathbb{H}^0_\mathbb{Z}(S^1) \simeq U(1)$

the space of constant 0-forms on the circle, i.e. maps that send the entire string to a single point

$\bullet$

(13)$\mathbf{d}^*(A^1) \simeq \left\{ \phi : S^1 \to \mathbb{R} | \int_{S^1} \phi(t)\, dt = 0 \right\}$

the space of maps that are total derivatives and hence have no winding around the circle

$\bullet$

(14)$F^{1}(S^1) \simeq \mathbb{Z}$

the space of linear maps with winding

$\bullet$

(15)$T^1(S^1) = 0 \,.$

Applied to this motivating example, Gomi’s more general construction is supposed to reproduce the well-known positive energy reps of $\hat LU(1)/\mathbb{Z}_2$.

So we need to understand the four steps of the above strategy

Step 1) Projective irrrep of $\mathbf{d}^*(A^{2k+1})$

On the globally defined $2k$-forms in $\mathbf{d}^*A^{2k+1}$, the Chern-Simons-like cocycle that controls the entire business is simply the integral

(16)$S_X(\nu,\nu') = \int_X \nu \wedge \mathbf{d}\nu' \;\;\mathrm{mod} \mathbb{Z} \,.$

There is a general theorem (from Pressley/Segal, prop. 5, p. 18 in Gomi’s paper) that

$\bullet$ given a group cocycle on a vector space $V$, regarded as an abelian group

$\bullet$ and given a continuous complex structure $J : V \to V$ on $V$ which is compatible with the cocycle and turns it into a positive definite form

$\bullet$ then there is a continuous unitary rep

(17)$\rho : \tilde V \to \mathrm{Aut}(H)$

of the central extension $\tilde V$

$\bullet$ such that the center acts by scalar multiplication

$\bullet$ which is an irrep if V is seperable and complete with respect to $S_X(J\cdot,\cdot)$.

One of the more technical problems that Gomi indicates how to solve (prop. 3.1, p. 8) is the

construction of such a complex structure on the space of $2k$-forms.

The idea is to start with the Hodge inner product

(18)$(\alpha,\beta)_{L^2} := \int_X \alpha \, \wedge \, * \, \beta$

and find a complex structure $J$ such that we get the Chern-Simons cocycle term from this, i.e. such that

(19)$(\alpha,J \beta)_{L^2} = \int_X \alpha\, \mathbf{d}\,\beta \,.$

Clearly, this would require setting $J$ equal to $* \mathbf{d} = -\mathbf{d}^* *$. However, this operator is not a complex structure, since it does not square to $-1$.

In order for this guy to square to $-1$ we need to divide it (using functional calculus) by its norm. So we set

(20)$J = \frac{*\mathbf{d}}{|*\mathbf{d}|} \,.$

This now is a complex structure, but no longer relates the inner product with the cocycle. In order to remedy this we need to modify the inner product, too.

As Gomi describes (p. 9) the right solution is to take the inner product $(\cdot,\cdot)_V$ induced from the modified norm

(21)$\Vert \alpha \Vert^2_V := \sum_{i=1}^b (\alpha,\psi_i)^2_{L^2} + \sum_{i=b+1}^\infty \sqrt{|\ell_i|} (\alpha,\psi_i)^2_{L^2} \,,$

where $\{\psi_i\}$ is an orthonormal system of eigenvectors of $\Delta = \mathbf{d}\mathbf{d}^* + \mathbf{d}^* \mathbf{d}$ with eigenvalues $\{\ell_i\}$, of which $b = b_{2k}(X)$ vanish.

It is at this point that use is made of the fact that we are currently restricting attention to the space $\mathbf{d}^* A^{2k+1}(X)$. For, on this space the operator $*\mathbf{d}$ squares to minus the Laplace operator

(22)$(*\mathbf{d})^2 = -\Delta \;\; \text{on} \, \mathbf{d}^*A^{2k+1} \,.$

Therefore, if we restrict the eigenbasis $\{\psi_i\}$ to an eigenbasis $\{\phi_j\}$ only of $\mathbf{d}^* A^{2k+1}(X)$, it becomes a simultaneous eigenbasis of $\Delta$ and $*\mathbf{d}$, where $*\mathbf{d}$ has eigenvalues $\{\sqrt{|\ell_i|}\}$.

The norm $\Vert\cdot\Vert_V$ is built in such a way that $J = \frac{*\mathbf{d}}{|*\mathbf{d}|}$ is an isometry on $\mathbf{d}A^{2k+1}$ and such that it relates the inner product with the cocycle

(23)$(\alpha,J\beta)_V = \int_X \alpha\, \mathbf{d}\, \beta \,,$

as desired. Hence if we take

(24)$V := \widebar{\mathbf{d}^*(A^{2k+1})}$

to be the completion of $\mathbf{d}^*A^{2k+1}$ with respect to this norm, Pressly and Segal guarantee us a representation

(25)$\array{ \rho &:& \tilde V &\to& \mathrm{Aut}(H) }$

of the centrally extended group $\tilde V$. Here the representation space $H$ is (prop. 5.1, p. 18, due to Pressley-Segal) essentially the symmetric algebra of the $(+i)$-eigenspace of $J$ (the “positive energy eigenspace”).

Step 2) tensor the result with the 1-dimensional rep $\lambda$ of $\mathbb{H}^{2k}/\mathbb{H}^{2k}_\mathbb{Z}$

Simply set (proof of lemma 5.3, p. 19)

(26)$\array{ \rho_\lambda &:& \mathbb{H}^{2k}/\mathbb{H}^{2k}_\mathbb{Z} \;\times\; \mathbf{d}^* A^{2k+1} &\to& \mathrm{Aut}(H) \\ && \rho_\lambda(\eta,\nu) &\mapsto& \lambda(\eta)\rho(\nu) } \,.$

Then use the fact that the cocycle $S_X$ vanishes on $\mathbb{H}^{2k}$ to deduce that this is still irreducible if $\rho$ is.

Step 3) form the unitary irrep induced from the subgroup rep

We obtained above a projective irrep for

(27)$\mathbf{G}^0(X) \overset{\text{p.19}}{=} A^{2k}(X)/A^{2k}(X)_\mathbb{Z} \overset{\text{p. 19}}{\simeq} \mathbb{H}^{2k}/\mathbb{H}^{2k}_\mathbb{Z} \;\times\; \mathbf{d}^*(A^{2k+1}) \,.$

This is a group of globally defined $2k$-form connections. Hence the corresponding characteristic classes all vanish. In particular, they are not torsion. So this is a subgroup of

(28)$\mathbf{G}_\omega(X) \,,$

the froup of $2k$-form connections whose characteristic class is in the free part $F^{2k+1} \subset H^{2k+1}$ (with respect to the choice of isomorphism $\omega$).

We now induce on $\mathbf{G}_\omega(X)$ a projective irrep from the projective irrep of the subgroup $\mathbf{G}^0(X)$.

This works by

$\bullet$ forming the bundle $\tilde \mathbf{G}_\omega(X) \to \tilde\mathbf{G}_\omega(X)/\tilde\mathbf{G}_0(X)$

$\bullet$ using the subgroup rep $\rho_\lambda : \tilde \mathbf{G}_0(X) \to \mathrm{Aut}(H)$ to associate a vector bundle $\tilde \mathbf{G}_\omega(X) \times_{\rho_\lambda} H \to \tilde\mathbf{G}_\omega(X)/\tilde\mathbf{G}_0(X)$

$\bullet$ noticing that (because all groups are abelian) this still has a left $\tilde \mathbf{G}_\omega(X)$-action

$\bullet$ hence finding a rep of $\tilde \mathbf{G}_\omega(X)$ on the space

(29)$\mathcal{H}_\lambda^\omega$

of sections of this vector bundle.

Gomi gives a more explicit description of this induced rep for the present case (below equation (13), p. 20), which plays the crucial role for the classification of irreps later. I’ll discuss this below.

4) finally add the rep of the torsion part

The above establishes a unitary projective rep of all but the torsion part $T^{2k+1}$ of $\mathbf{G}(X)$. It turns out one can construct lifts $\sigma$ of every torsion class to a representing connection. (I’ll discuss these $\sigma$ below). Using this we can pull back the Chern-Simons cocycle on connections to $T^{2k+1}$ (lemma 4.1, p. 12) and get the finite dimensional irrep

(30)$\pi : T^{2k+1} \to \mathrm{Aut}(V)$

which we already assumed to be given above.

We combine this with the rep described above to a projective rep of all of $\mathbf{G}(X)$ by tensoring the two representation spaces and sending every connection $\hat A$ to the rep of its torsion part times the rep of $\hat A$ minus the lift $\sigma(t(\hat A))$ of the torsion part $t(\hat A)$ of its characteristic class:

(31)$\array{ \rho_{\lambda,\pi}^\omega &:& \mathbf{G}(X) &\to& \mathrm{Aut}(\mathcal{H}_\lambda^\omega \otimes V) \\ && \hat A &\mapsto& \rho_\lambda^\omega(\hat A - \sigma(t(\hat A))) \otimes \pi(t(\hat A)) } \,.$

That’s, in outline, the construction of the projective unitary rep of all of $\mathbf{G}(X)$.

It is claimed to be independent of the choice of lift $\sigma$ (remark 3, p. 21) and that different choices of $\omega$ lead to unitarily equivalent reps (prop. 6.2, p. 21).

It is also claimed that the rep obtained this way, when restricted to connections on trivial gerbes, decomposes nicely into a direct sum of reps $H_\lambda$ of these. This property is called admissability (def. 1.2, p. 3). This is supposed to make contact with Freed-Hopkins-Telemann.

The main result (theorem 1.3, p. 3, proven in section 6) obtained from this construction is a classification of the reps constructed above, in particular a characterization of their irreps (hence, physically, of the superselection sectors of the theory).

The claim is that

$\bullet$ all these reps decompose into irreps;

$\bullet$ and there are (up to equivalence)

(32)$2^b r$

different irreps, where $b = b_{2k+1}(X)$ is the $(2k+1)$th Betti number of $X$ and $r$ is the number of elements in $H^{2k+1}$ which are their own inverse.

As Gomi notes (p. 4) this coincides (as a special case) in particular with the result of a quantization analysis of 2-form gauge theory obtained by Henningson (see end of II).

While in view of the claims and results of Freed-Moore-Segal there seems to be room for discussion as to what the correct quantization procedure for chiral $p$-form field theories is (I talked about that in II), this does not affect the mathematical result presented. The precise relation to the quantization performed by Henningson would however seem like an interesting question.

Anyway, in order to understand the factor $2^b$ in the above number of irreps, one needs the explit form of the induced irrep $\rho_\lambda^\omega$ of $\mathbf{G}_\omega(X)$ on the space of sections of that vector bundle, which I mentioned above.

The appearance of the Betti numbers.

First of all, it is shown that this vector bundle is in fact trivial and equivalent to $F^{2k+1}\times H_\lambda$. Hence sections are just functions

(33)$\Phi : F^{2k+1} \to H_\lambda \,.$

Gomi finds (p. 20), for $\hat A \in \mathbf{G}_\omega(X)$ the action of $\hat A$ on such a $\Phi$ is given by

(34)$\rho_\lambda^\omega(\hat A)(\Phi) : \xi \mapsto \exp(\cdots) \rho_\lambda(\hat A - \sigma([\hat A])) \Phi(\xi - [\hat A]) \,.$

Here, as before, $\sigma$ is a lift that associates to characteristic classes a connection on a gerbe with that class. So in particular $\hat A - \sigma([\hat A])$ is a connection on a trivial gerbe.

The crucial part is the exponential term, which involves the Chern-Simons cocycle $S_X$ evaluated on various objects:

(35)$\exp(\cdots) = \exp 2\pi i( S_X(\sigma([\hat A]),\sigma(\xi)) - S_X(\sigma([\hat A]),\sigma([\hat A])) + 2 S_X(\hat A - \sigma([\hat A]),\sigma(\xi)) ) \,.$

Related to the discussion reviewed in II, it is the factor of 2 in the last term which gives rise to certain degeneracies.

In order to make this more explicit, it is noted that if we choose the lift $\sigma$ to take values in harmonic forms, then the last term is precisely a 1-dimensional rep of $\mathbb{H}^{2k}/\mathbb{H}^{2k}_\mathbb{Z}$ that enters the definition of $\rho_\lambda$. Hence we can absorb this term by replacing in the above formula

(36)$\rho_\lambda \mapsto \rho_{\lambda + 2s(\xi)} \,,$

where

(37)$s : \mathbb{H}^{2k}/\mathbb{H}^{2k}_\mathbb{Z} \to \mathrm{Hom}(\mathbb{H}^{2k}/\mathbb{H}^{2k}_\mathbb{Z}, \mathbb{R}/\mathbb{Z} )$

sends a harmonic form to the Chern-Simons pairing with that form (def. 4.11, p. 16).

Again, the crucial point is the factor of 2.

Namely (Lemma 4.12, p. 16), we can identify the space of all homomorphisms $\mathrm{Hom}(\mathbb{H}^{2k}/\mathbb{H}^{2k}_\mathbb{Z}, \mathbb{R}/\mathbb{Z} )$ with the free part $H^{2k+1}/T^{2k+1}$ of the integral cohomology, which looks like $\mathbb{Z}^b$. This is where the Betti numbers come in.

Now, as we vary $\xi$ over $H^{2k+1}/T^{2k+1}$ we hit with $\lambda + 2s(\xi)$ (for fixed $\lambda$) only every second homomorphism, due to the factor of 2. This means that there are $2^b$ choices for $\lambda$ which lead to different reps $\rho_{\lambda + 2s(\xi)}$, as $\xi$ varies. This is the key phenomenon that govers the classifications of irreps.

The number of irreps for topologically trivial connections.

Let’s first again restrict attention to the globally defined connections $[\hat A] = [A] = 0$ in $\mathbf{G}_0(X)$. Precisely for these, the funny shift in the last term in the above equation for $\rho_\lambda^\omega$ vanishes. It follows that $\rho_\lambda^\omega(A)$ acts within each fiber of our bundle seperately as (proof of lemma 5.5, p. 20)

(38)$(\rho_\lambda^\omega(A)\Phi)(\xi) = \rho_{\lambda+2s(\xi)}(A)\Phi(\xi) \,.$

In other words, when restricted to connections with trivial classes in $\mathbf{G}_0(X)$, $\rho_\lambda^\omega$ sees the direct sum of all fibers of our bundle, and acts on the fiber over the class $\xi$ as the rep $\rho_{\lambda+2s(\xi)}$. Hence (prop. 5.7, p.21)

(39)$\mathcal{H}_\lambda^\omega |_{\mathbf{G}_0(X)} \;\simeq\; \hat \oplus_{\xi \in F^{2k+1}} \, H_{\lambda+2s(\xi)} \,.$

If we also take the rep $V$ of the torsion part into account this reads

(40)$\mathcal{H}_{\lambda,V}^\omega |_{\mathbf{G}_0(X)} \;\simeq\; \hat \oplus_{\xi \in F^{2k+1}} \, ( H_{\lambda+2s(\xi)} )^{\mathrm{dim}V} \,.$

It is in expressions like these that the remarks on Betti numbers in the previous section apply to: Clearly, there are $2^b$ choices for $\lambda$ such that the representation spaces $\mathcal{H}_{\lambda,V}^\omega |_{\mathbf{G}_0(X)}$ given above differ. In other words, $\lambda$ and $\lambda'$ lead to the same representation space iff they differ by $2s(\xi)$, for some $\xi$.

The number of irreps for the full group.

Gomi now claims, that this situation essentially carries over to the full group of connections.

More precisely, he claims

$\bullet$ (theorem 6.11, p. 24) that the rep $\rho_{\lambda,V}^\omega$ is irreducible precisely if the finite dimensional rep on $V$ of the torsion part is;

$\bullet$ and (theorem 6.10, p. 24) that two such irreps $\rho_{\lambda,V}^\omega$, $\rho_{\lambda',V'}^{\omega'}$ are equivalent precisely if the reps of the torsion parts are and if there is $\xi \in F^{2k+1}$ such that $\lambda' = \lambda + 2s(\xi)$.

As discussed above, this means that for fixed $V$ there are $2^b$ inequivalent irreps. It hence remains to count the equivalence classes of irreps for the group of torsion connections.

Gomi (pp. 24-25) cites a standard fact about projective reps of finite groups, which says that their number is the same of the number of regular elements of the cocycle. In the present case an element is regular with respect to the Chern-Simons cocycle if an only if it is its own inverse. The number of these elements we called $r$.

Hence, in total, there are

(41)$2^b\, r$

equivalence classes of irreps $\rho_{\lambda,V}^\omega$ of $\tilde \mathbf{G}(X)$.

Posted at July 14, 2006 1:10 PM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/873

## 5 Comments & 1 Trackback

### Re: Gomi on Reps of p-Form Connection Quantum Algebras

You say that G(S^1) = LU(1). So Gomi’s construction only works for the abelian case?

As you know I am interested in the manifold group XG. Pressley-Segal point out towards the end of chapter 4 that all projective, positive energy irreps of XG can be obtained by pull-back from an LG rep, where L is some circle embedded in X (of course, unlike PS I think this is a good thing). In particular, these irreps are labelled by the first Betti number, not the p:th one. Thus, Gomi’s construction is not related to XG except in 1D?

Posted by: Thomas Larsson on July 18, 2006 10:24 AM | Permalink | Reply to this

### Re: Gomi on Reps of p-Form Connection Quantum Algebras

Gomi’s construction only works for the abelian case?

Yes.

Gomi’s construction by assumption is set up for abelian $p$-form connections. That’s what Cheeger-Simons differential characters and ordinary Deligne cohomology apply to.

For going to nonabelian $p$-form connections one might have to use some non-abelian generalization of Deligne cohomology ($\to$). But it is not clear if this can work for the present application.

Thus, Gomi’s construction is not related to $\mathrm{XG}$ except in 1D?

Yes.

The group $\mathrm{XG}$ is a group of maps, hence a group of $0$-forms.

Gomi’s construction (as well as that by Freed-Moore-Segal) applies to the case where one is looking at $p$-form connections precisely on $\left(2p+1\right)$-dimensional manifolds.

So $p=0$, the case you are asking about, implies $\mathrm{dim}X=1$.

The reason is that precisely in this number of dimensions the (abelian) Chern-Simons pairing, which on connections given by globally defined $p$-forms reads

(1)$\left(\alpha ,\beta \right)↦{\int }_{X}\alpha \phantom{\rule{thinmathspace}{0ex}}\wedge \phantom{\rule{thinmathspace}{0ex}}d\beta$

can be used as a group cocycle on the group of $p$-form connections. And it is this cocycle which Gomi studies, and which Freed-Moore-Segal say governs the quantum mechanics of self-dual $p$-form connections on

(2)$M=X×ℝ\phantom{\rule{thinmathspace}{0ex}}.$

This does not say that one cannot also study $p$-form connections and their quantization in other dimensions.

In fact, Freed-Moore-Segal also discuss in detail ordinary electromagnetism ($p=1$) in $D=4$ along similar lines, and in particular deduce that for spacetimes with torsion in the cohomology electric and magnetic flux cannot be well-defined simultaneously.

But only for $\mathrm{dim}X=2p+1$ do we get the particular Heisenberg groups that these people are studying, and which they claim govern the quantization of chiral $p$-forms.

So there is nothing in Gomi’s work (and not supposed to be) on extensions of groups of maps on tori.

Posted by: urs on July 18, 2006 10:55 AM | Permalink | Reply to this

### Re: Gomi on Reps of p-Form Connection Quantum Algebras

Thank you.

Posted by: Thomas Larsson on July 18, 2006 12:30 PM | Permalink | Reply to this

### Re: Gomi on Reps of p-Form Connection Quantum Algebras

The group XG is a group of maps, hence a group of 0 -forms.
Gomi’s construction (as well as that by Freed-Moore-Segal) applies to the case where one is looking at p-form connections precisely on (2 p+1 )-dimensional manifolds.

Something is bugging me in this - I get the seen-that-done-that feeling. A formal linear combinations of forms,

X = X_0 + X_i dx^i + X_ij dx^i dx^j + …

may be viewed as a function depending on extra Grassmann variables dx^i. From this viewpoint, the algebra of forms is just the algebra of functions over a supermanifold, with central extension

[J_X, J_Y] = J_[X,Y] + S(X dY),

where S some a linear functional on the space of function satisfying S(dX) = 0. If one restricts to even degree, one does not even have to bother about the Grassmann nature of the extra variables.

So this brings us back to the current algebra with its old problem: if you want to build lowest-energy reps of this algebra in the same way as in 1D, you run into infinities. Perhaps Gomi is relying on something special for the abelian case, because then you can absorb an infinity into a renormalization of X and Y. But apart from that, I don’t see how Gomi could build representations of current algebras without running into problems with infinities.

Posted by: Thomas Larsson on July 18, 2006 4:06 PM | Permalink | Reply to this

### Re: Gomi on Reps of p-Form Connection Quantum Algebras

Not sure. Can you make that argument more precise?

Let’s just look at the case of globally defined $p$-forms in the image of ${d}^{*}$ first, this a vector space $V$, hence an abelian group. The Chern-Simons term provides a group cocycle on that and Pressley-Segal tell us that a central extension of the group exists if there is a compatible continuous complex structure $J$ on $V$ which turns the cocycle (regarded as a bilinear form) into a positive definite scalar product.

So given the cocycle, we need to construct this $J$. For the present case this is not entirely trivial. Gomi shows how to in prop. 3.1, p. 8, in Gom II.

I just notice that the construction of this $J$ itself makes again crucial use of the fact that we are dealing with a space of $p$-forms in $\left(2p+1\right)$-dimensions.

So I am not sure to what extent an argument along the lines that $p$-forms are just super-0-forms helps here.

Posted by: urs on July 18, 2006 5:01 PM | Permalink | Reply to this
Read the post QFT of Charged n-Particle: Gauge Theory Kinematics
Weblog: The n-Category Café
Excerpt: A review of Fleischhack's discussion of a Weyl algebra on spaces of generalized connections.
Tracked: March 2, 2007 12:51 PM

Post a New Comment