Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

July 14, 2006

Gomi on Reps of p-Form Connection Quantum Algebras

Posted by Urs Schreiber

Quantizing abelian self-dual pp-form connections on (2p+2)(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+12p+1 dimensions (I, II, III ).


Kiyonori Gomi
Projective unitary representations of smooth Deligne cohomology groups

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 LU^(1)/ 2\hat LU(1)/\mathbb{Z}_2 (corresponding to p=0p=0) to higher pp.

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

Fix once and for all

\bullet an integer kk \in \mathbb{N}

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

\bullet some Riemannian metric gg on XX.


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

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

\bullet by

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

the group of 2k2k-form connections on XX.

The strategy.

The strategy is to decompose the space H^ n\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)H^ 2k+1 2k(X)/ 2k(X) ×d *(A 2k+1(X))×H 2k+1(X,). \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 2k2k-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,)H^{2k+1}(X,\mathbb{Z}) into a free part and a pure torsion part.

(4)H 2k+1(X,)F 2k+1×T 2k+1. 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,)ωF 2k+1T 2k+1 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, G(X)\mathbf{G}(X) decomposes (p. 17) into four groups as

(6)G(X) 2k(X)/ 2k(X) ×d *(A 2k+1(X))×F 2k+1×T 2k+1. \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)λ: 2k(X)/ 2k(X) /, \lambda : \mathbb{H}^{2k}(X)/\mathbb{H}^{2k}(X)_\mathbb{Z} \to \mathbb{R}/\mathbb{Z} \,,

representing the group of harmonic 2k2k-forms up to integral harmonic 2k2k-forms


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

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

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

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


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

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

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

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

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

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

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

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

The strategy is then to

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

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

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

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

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

Example. Let k=0k=0 and X=S 1X = S^1, the circle. An abelian kk-form connection on XX is now simply a circle valued function on the circle - in the context of pp-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)U(1)

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

This decomposes as above, with


(12) 0(S 1)/ 0(S 1)U(1) \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


(13)d *(A 1){ϕ:S 1| S 1ϕ(t)dt=0} \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


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

the space of linear maps with winding


(15)T 1(S 1)=0. 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 LU^(1)/ 2\hat LU(1)/\mathbb{Z}_2.

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

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

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

(16)S X(ν,ν)= Xνdνmod. 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 VV, regarded as an abelian group

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

\bullet then there is a continuous unitary rep

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

of the central extension V˜\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,)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 2k2k-forms.

The idea is to start with the Hodge inner product

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

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

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

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

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

(20)J=*d|*d|. 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 (,) V(\cdot,\cdot)_V induced from the modified norm

(21)α V 2:= i=1 b(α,ψ i) L 2 2+ i=b+1 | i|(α,ψ i) L 2 2, \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 {ψ i}\{\psi_i\} is an orthonormal system of eigenvectors of Δ=dd *+d *d\Delta = \mathbf{d}\mathbf{d}^* + \mathbf{d}^* \mathbf{d} with eigenvalues { i}\{\ell_i\}, of which b=b 2k(X)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 d *A 2k+1(X)\mathbf{d}^* A^{2k+1}(X). For, on this space the operator *d*\mathbf{d} squares to minus the Laplace operator

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

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

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

(23)(α,Jβ) V= Xαdβ, (\alpha,J\beta)_V = \int_X \alpha\, \mathbf{d}\, \beta \,,

as desired. Hence if we take

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

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

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

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

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

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

(26)ρ λ : 2k/ 2k×d *A 2k+1 Aut(H) ρ λ(η,ν) λ(η)ρ(ν). \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 XS_X vanishes on 2k\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)G 0(X)=p.19A 2k(X)/A 2k(X) p. 19 2k/ 2k×d *(A 2k+1). \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 2k2k-form connections. Hence the corresponding characteristic classes all vanish. In particular, they are not torsion. So this is a subgroup of

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

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

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

This works by

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

\bullet using the subgroup rep ρ λ:G˜ 0(X)Aut(H)\rho_\lambda : \tilde \mathbf{G}_0(X) \to \mathrm{Aut}(H) to associate a vector bundle G˜ ω(X)× ρ λHG˜ ω(X)/G˜ 0(X)\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 G˜ ω(X)\tilde \mathbf{G}_\omega(X)-action

\bullet hence finding a rep of G˜ ω(X)\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+1T^{2k+1} of G(X)\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+1T^{2k+1} (lemma 4.1, p. 12) and get the finite dimensional irrep

(30)π:T 2k+1Aut(V) \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 G(X)\mathbf{G}(X) by tensoring the two representation spaces and sending every connection A^\hat A to the rep of its torsion part times the rep of A^\hat A minus the lift σ(t(A^))\sigma(t(\hat A)) of the torsion part t(A^)t(\hat A) of its characteristic class:

(31)ρ λ,π ω : G(X) Aut( λ ωV) A^ ρ λ ω(A^σ(t(A^)))π(t(A^)). \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 G(X)\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 λ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 br 2^b r

different irreps, where b=b 2k+1(X)b = b_{2k+1}(X) is the (2k+1)(2k+1)th Betti number of XX and rr is the number of elements in H 2k+1H^{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 pp-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 b2^b in the above number of irreps, one needs the explit form of the induced irrep ρ λ ω\rho_\lambda^\omega of G ω(X)\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×H λF^{2k+1}\times H_\lambda. Hence sections are just functions

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

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

(34)ρ λ ω(A^)(Φ):ξexp()ρ λ(A^σ([A^]))Φ(ξ[A^]). \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 A^σ([A^])\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 XS_X evaluated on various objects:

(35)exp()=exp2πi(S X(σ([A^]),σ(ξ))S X(σ([A^]),σ([A^]))+2S X(A^σ([A^]),σ(ξ))). \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 2k/ 2k\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)ρ λρ λ+2s(ξ), \rho_\lambda \mapsto \rho_{\lambda + 2s(\xi)} \,,


(37)s: 2k/ 2kHom( 2k/ 2k,/) 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 Hom( 2k/ 2k,/) \mathrm{Hom}(\mathbb{H}^{2k}/\mathbb{H}^{2k}_\mathbb{Z}, \mathbb{R}/\mathbb{Z} ) with the free part H 2k+1/T 2k+1H^{2k+1}/T^{2k+1} of the integral cohomology, which looks like b\mathbb{Z}^b. This is where the Betti numbers come in.

Now, as we vary ξ\xi over H 2k+1/T 2k+1H^{2k+1}/T^{2k+1} we hit with λ+2s(ξ)\lambda + 2s(\xi) (for fixed λ\lambda) only every second homomorphism, due to the factor of 2. This means that there are 2 b2^b choices for λ\lambda which lead to different reps ρ λ+2s(ξ)\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 [A^]=[A]=0[\hat A] = [A] = 0 in G 0(X)\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 ρ λ ω(A)\rho_\lambda^\omega(A) acts within each fiber of our bundle seperately as (proof of lemma 5.5, p. 20)

(38)(ρ λ ω(A)Φ)(ξ)=ρ λ+2s(ξ)(A)Φ(ξ). (\rho_\lambda^\omega(A)\Phi)(\xi) = \rho_{\lambda+2s(\xi)}(A)\Phi(\xi) \,.

In other words, when restricted to connections with trivial classes in G 0(X)\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 ρ λ+2s(ξ)\rho_{\lambda+2s(\xi)}. Hence (prop. 5.7, p.21)

(39) λ ω| G 0(X)^ ξF 2k+1H λ+2s(ξ). \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 VV of the torsion part into account this reads

(40) λ,V ω| G 0(X)^ ξF 2k+1(H λ+2s(ξ)) dimV. \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 b2^b choices for λ\lambda such that the representation spaces λ,V ω| G 0(X) \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(ξ)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 ρ λ,V ω\rho_{\lambda,V}^\omega is irreducible precisely if the finite dimensional rep on VV of the torsion part is;

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

As discussed above, this means that for fixed VV there are 2 b2^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 rr.

Hence, in total, there are

(41)2 br 2^b\, r

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

Posted at July 14, 2006 1:10 PM UTC

TrackBack URL for this Entry:

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?


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

For going to nonabelian pp-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 XGXG except in 1D?


The group XGXG is a group of maps, hence a group of 00-forms.

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

So p=0p=0, the case you are asking about, implies dimX=1\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 pp-forms reads

(1)(α,β) Xαdβ (\alpha,\beta) \mapsto \int_X \alpha \, \wedge\, \mathbf{d} \beta

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

(2)M=X×. M = X \times \mathbb{R} \,.

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

In fact, Freed-Moore-Segal also discuss in detail ordinary electromagnetism (p=1p=1) in D=4D=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 dimX=2p+1\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 pp-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 pp-forms in the image of d *\mathbf{d}^* first, this a vector space VV, 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 JJ on VV which turns the cocycle (regarded as a bilinear form) into a positive definite scalar product.

So given the cocycle, we need to construct this JJ. 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 JJ itself makes again crucial use of the fact that we are dealing with a space of pp-forms in (2p+1)(2p+1)-dimensions.

So I am not sure to what extent an argument along the lines that pp-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