nLab
Chan-Paton bundle

under construction

Contents

Idea

In the context of string theory, the background gauge field for the open string sigma-model over a D-brane in bosonic string theory or type II string theory is a unitary principal bundle with connection, or rather, by the Kapustin-part of the Freed-Witten-Kapustin anomaly cancellation mechanism, a twisted unitary bundle, whose twist is the restriction of the ambient B-field to the D-brane.

The first hint for the existence of such background gauge fields for the open string 2d-sigma-model comes from the fact that the open string’s endpoint can naturally be taken to carry labels i{1,n}i \in \{1, \cdots n\}. Further analysis then shows that the lowest excitations of these (i,j)(i,j)-strings behave as the quanta of a U(n)U(n)-gauge field, the (i,j)(i,j)-excitation being the given matrix element of a U(n)U(n)-valued connection 1-form AA.

This original argument goes back work by Chan and Paton. Accordingly one speaks of Chan-Paton factors and Chan-Paton bundles .

Definition

We discuss the Chan-Paton gauge field and its quantum anomaly cancellation in extended prequantum field theory.

Throughout we write H=\mathbf{H} = Smooth∞Grpd for the cohesive (∞,1)-topos of smooth ∞-groupoids.

The BB-field as a prequantum 2-bundle

For XX a type II supergravity spacetime, the B-field is a map

B:XB 2U(1). \nabla_B \;\colon\; X \to \mathbf{B}^2 U(1) \,.

If X=GX = G is a Lie group, this is the prequantum 2-bundle of GG-Chern-Simons theory. Viewed as such we are to find a canonical ∞-action of the circle 2-group BU(1)\mathbf{B}U(1) on some VHV \in \mathbf{H}, form the corresponding associated ∞-bundle and regard the sections of that as the prequantum 2-states? of the theory.

The Chan-Paton gauge field is such a prequantum 2-state.

The Chan-Paton gauge field

We discuss the Chan-Paton gauge fields over D-branes in bosonic string theory and over Spin cSpin^c-D-branes in type II string theory.

We fix throughout a natural number nn \in \mathbb{N}, the rank of the Chan-Paton gauge field.

Proposition

The extension of Lie groups

U(1)U(n)PU(n) U(1) \to U(n) \to PU(n)

exhibiting the unitary group as a circle group-extension of the projective unitary group sits in a long homotopy fiber sequence of smooth ∞-groupoids of the form

U(1)U(n)PU(n)BU(1)BU(n)BPU(n)dd nB 2U(1), U(1) \to U(n) \to PU(n) \to \mathbf{B}U(1) \to \mathbf{B}U(n) \to \mathbf{B}PU(n) \stackrel{\mathbf{dd}_n}{\to} \mathbf{B}^2 U(1) \,,

where for GG a Lie group BG\mathbf{B}G is its delooping Lie groupoid, hence the moduli stack of GG-principal bundles, and where similarly B 2U(1)\mathbf{B}^2 U(1) is the moduli 2-stack of circle 2-group principal 2-bundles (bundle gerbes).

Proposition

Here

dd n:BPU(n)B 2U(1) \mathbf{dd}_n \;\colon\; \mathbf{B} PU(n) \to \mathbf{B}^2 U(1)

is a smooth refinement of the universal Dixmier-Douady class

dd n:BPU(n)K(,3) dd_n \;\colon\; B PU(n) \to K(\mathbb{Z}, 3)

in that under geometric realization of cohesive ∞-groupoids :{\vert- \vert} \colon Smooth∞Grpd \to ∞Grpd we have

dd ndd n. {\vert \mathbf{dd}_n \vert} \simeq dd_n \,.
Remark

By the discussion at ∞-action the homotopy fiber sequence in prop. 1

BU(n) BPU(n) B 2U(1) \array{ \mathbf{B} U(n) &\to& \mathbf{B} PU(n) \\ && \downarrow \\ && \mathbf{B}^2 U(1) }

in H\mathbf{H} exhibits a smooth∞-action of the circle 2-group on the moduli stack BU(n)\mathbf{B}U(n) and it exhibits an equivalence

BPU(n)(BU(n))//(BU(1)) \mathbf{B} PU(n) \simeq (\mathbf{B}U(n))//(\mathbf{B} U(1))

of the moduli stack of projective unitary bundles with the ∞-quotient of this ∞-action.

Proposition

For XHX \in \mathbf{H} a smooth manifold and c:XB 2U(1)\mathbf{c} \;\colon\; X \to \mathbf{B}^2 U(1) modulating a circle 2-group-principal 2-bundle, maps

cdd n \mathbf{c} \to \mathbf{dd}_n

in the slice (∞,1)-topos H /B 2U(1)\mathbf{H}_{/\mathbf{B}^2 U(1)}, hence diagrams of the form

X BPU(n) c dd n B 2U(1) \array{ X &&\stackrel{}{\to}&& \mathbf{B} PU(n) \\ & {}_{\mathllap{\mathbf{c}}}\searrow &\swArrow& \swarrow_{\mathrlap{\mathbf{dd}_n}} \\ && \mathbf{B}^2 U(1) }

in H\mathbf{H} are equivalently rank-nn unitary twisted bundles on XX, with the twist being the class [c]H 3(X,)[\mathbf{c}] \in H^3(X, \mathbb{Z}).

Proposition

There is a further differential refinement

(BU(n))//(BU(1)) conn dd^ n B 2U(1) conn (BU(n))//(BU(1)) dd^ n B 2U(1), \array{ (\mathbf{B}U(n))//(\mathbf{B}U(1))_{conn} &\stackrel{\widehat \mathbf{dd}_n}{\to}& \mathbf{B}^2 U(1)_{conn} \\ \downarrow && \downarrow \\ (\mathbf{B}U(n))//(\mathbf{B}U(1)) &\stackrel{\widehat \mathbf{dd}_n}{\to}& \mathbf{B}^2 U(1) } \,,

where B 2U(1) conn\mathbf{B}^2 U(1)_{conn} is the universal moduli 2-stack of circle 2-bundles with connection (bundle gerbes with connection).

Definition

Write

((BU(n)//BU(1)) connFieldsB 2U(1) conn)H /B 2U(1) conn \left( \left(\mathbf{B}U\left(n\right)//\mathbf{B}U\left(1\right)\right)_{conn} \stackrel{\mathbf{Fields}}{\to} \mathbf{B}^2 U\left(1\right)_{conn} \right) \;\; \in \mathbf{H}_{/\mathbf{B}^2 U(1)_{conn}}

for the differential smooth universal Dixmier-Douady class of prop. 4, regarded as an object in the slice (∞,1)-topos over B 2U(1) conn\mathbf{B}^2 U(1)_{conn}.

Definition

Let

ι X:QX \iota_X \;\colon\; Q \hookrightarrow X

be an inclusion of smooth manifolds or of orbifolds, to be thought of as a D-brane worldvolume QQ inside an ambient spacetime XX.

Then a field configuration of a B-field on XX together with a compatible rank-nn Chan-Paton gauge field on the D-brane is a map

ϕ:ι XFields \phi \;\colon\; \iota_X \to \mathbf{Fields}

in the arrow (∞,1)-topos H (Δ 1)\mathbf{H}^{(\Delta^1)}, hence a diagram in H\mathbf{H} of the form

Q gauge (BU(n)//BU(1)) ι X dd^ n X B B 2U(1) conn \array{ Q &\stackrel{\nabla_{gauge}}{\to}& (\mathbf{B}U(n)//\mathbf{B}U(1)) \\ {}^{\iota_X}\downarrow &\swArrow_{\simeq}& \downarrow^{\mathrlap{\hat \mathbf{dd}_n}} \\ X &\stackrel{\nabla_B}{\to}& \mathbf{B}^2 U(1)_{conn} }

This identifies a twisted bundle with connection on the D-brane whose twist is the class in H 3(X,)H^3(X, \mathbb{Z}) of the bulk B-field.

This relation is the Kapustin-part of the Freed-Witten-Kapustin anomaly cancellation for the bosonic string or else for the type II string on Spin cSpin^c D-branes. (FSS)

Remark

If we regard the B-field as a background field for the Chan-Paton gauge field, then remark \ref{PullbackAlongGeneralizedLocalDiffeomorphisms} determines along which maps of the B-field the Chan-Paton gauge field may be transformed.

Y X (BU(n)//BU(1)) conn B 2U(1) conn. \array{ Y &\stackrel{}{\to}& X &\stackrel{}{\to}& (\mathbf{B}U(n)//\mathbf{B}U(1))_{conn} \\ & \searrow & \downarrow & \swarrow \\ &&\mathbf{B}^2 U(1)_{conn} } \,.

On the local connection forms this acts as

AA+α. A \mapsto A + \alpha \,.
BB+dα B \mapsto B + d \alpha

This is the famous gauge transformation law known from the string theory literature.

The open string sigma-model

Remark

The D-brane inclusion Qι XXQ \stackrel{\iota_X}{\to} X is the target space for an open string with worldsheet Σι ΣΣ\partial \Sigma \stackrel{\iota_\Sigma}{\hookrightarrow} \Sigma: a field configuration of the open string sigma-model is a map

ϕ:ι Σι X \phi \;\colon\; \iota_\Sigma \to \iota_X

in H Δ 1\mathbf{H}^{\Delta^1}, hence a diagram of the form

Σ ϕ bdr Q ι Σ ι X Σ ϕ bulk X. \array{ \partial \Sigma &\stackrel{\phi_{bdr}}{\to}& Q \\ \downarrow^{\mathrlap{\iota_\Sigma}} &\swArrow& \downarrow^{\mathrlap{\iota_X}} \\ \Sigma &\stackrel{\phi_{bulk}}{\to}& X } \,.

For XX and QQ ordinary manifolds just says that a field configuration is a map ϕ bulk:ΣX\phi_{bulk} \;\colon\; \Sigma \to X subject to the constraint that it takes the boundary of Σ\Sigma to QQ. This means that this is a trajectory of an open string in XX whose endpoints are constrained to sit on the D-brane QXQ \hookrightarrow X.

If however XX is more generally an orbifold, then the homotopy filling the above diagram imposes this constraint only up to orbifold transformations, hence exhibits what in the physics literature are called “orbifold twisted sectors” of open string configurations.

Proposition

The moduli stack [ι Σ,ι X][\iota_\Sigma, \iota_X] of such field configurations is the homotopy pullback

[ι Σ,ι X] [Σ,X] [S 1,Q] [S 1,X]. \array{ [\iota_{\Sigma}, \iota_X] &\to& [\Sigma, X] \\ \downarrow &\swArrow& \downarrow \\ [S^1, Q] &\to& [S^1, X] } \,.

The anomaly-free open string coupling to the Chan-Paton gauge field

Proposition

For Σ\Sigma a smooth manifold with boundary Σ\partial \Sigma of dimension nn and for :XB nU(1) conn\nabla \;\colon \; X \to \mathbf{B}^n U(1)_{conn} a circle n-bundle with connection on some XHX \in \mathbf{H}, then the transgression of \nabla to the mapping space [Σ,X][\Sigma, X] yields a section of the complex line bundle associated to the pullback of the ordinary transgression over the mapping space out of the boundary: we have a diagram

[Σ,X] exp(2πi Σ) //U(1) conn [Σ,X] ρ¯ conn [Σ,X] exp(2πi Σ) BU(1) conn. \array{ [\Sigma, X] &\stackrel{\exp(2 \pi i \int_{\Sigma})}{\to}& \mathbb{C}//U(1)_{conn} \\ \downarrow^{\mathrlap{[\partial \Sigma, X]}} && \downarrow^{\mathrlap{\overline{\rho}}_{conn}} \\ [\partial \Sigma, X] &\stackrel{\exp(2 \pi i \int_{\partial \Sigma})}{\to}& \mathbf{B} U(1)_{conn} } \,.
Remark

This is the higher parallel transport of the nn-connection \nabla over maps ΣX\Sigma \to X.

Proposition

The operation of forming the holonomy of a twisted unitary connection around a curve fits into a diagram in H\mathbf{H} of the form

[S 1,(BU(n))//(BU(1)) conn] hol S 1 //U(1) conn [S 1,dd^ n] ρ¯ conn [S 1,B 2U(1) conn] exp(2πi S 1) BU(1) conn. \array{ [S^1, (\mathbf{B}U(n))//(\mathbf{B}U(1))_{conn}] &\stackrel{hol_{S^1}}{\to}& \mathbb{C}//U(1)_{conn} \\ \downarrow^{\mathrlap{[S^1, \widehat\mathbf{dd}_n]}} &\swArrow_{\simeq}& \downarrow^{\mathrlap{\overline{\rho}_{conn}}} \\ [S^1, \mathbf{B}^2 U(1)_{conn}] &\stackrel{\exp(2 \pi i \int_{S^1})}{\to}& \mathbf{B}U(1)_{conn} } \,.
Remark

By the discussion at ∞-action the diagram in prop. 7 says in particular that forming traced holonomy of twisted unitary bundles constitutes a section of the complex line bundle on the moduli stack of twisted unitary connection on the circle which is the associated bundle to the transgression exp(2πi S 1[S 1,dd^ n])\exp(2 \pi i \int_{S^1} [S^1, \widehat\mathbf{dd}_n]) of the universal differential Dixmier-Douady class.

It follows that on the moduli space of the open string sigma-model of prop. 5 above there are two //U(1)\mathbb{C}//U(1)-valued action functionals coming from the bulk field and the boundary field

[ι Σ,ι X] [Σ,X] exp(2πi Σ[Σ, B]) //U(1) conn [S 1,Q] [S 1,X] hol S 1([S 1, gauge]) //U(1) conn. \array{ [\iota_{\Sigma}, \iota_X] &\to& [\Sigma, X] &\stackrel{exp(2 \pi i \int_{\Sigma}[\Sigma, \nabla_B] ) }{\to}& \mathbb{C}//U(1)_{conn} \\ \downarrow &\swArrow& \downarrow \\ [S^1, Q] &\to& [S^1, X] \\ \downarrow^{\mathrlap{hol_{S^1}([S^1, \nabla_{gauge}])}} \\ \mathbb{C}//U(1)_{conn} } \,.

Neither is a well-defined \mathbb{C}-valued function by itself. But by pasting the above diagrams, we see that both these constitute sections of the same complex line bundle on the moduli stack of fields:

[ι Σ,ι X] [Σ,X] [Σ, B] [S 1,B 2U(1) conn] exp(2πi Σ) //U(1) conn [S 1,Q] [S 1,X] [S 1, gauge] [S 1, B] [S 1,(BU(n))//(BU(1)) conn] [S 1,dd^ n] [S 1,B 2U(1) conn] hol S 1 exp(2πi S 1()) //U(1) conn BU(1) conn. \array{ [\iota_{\Sigma}, \iota_X] &\to& [\Sigma, X] &\stackrel{[\Sigma, \nabla_B]}{\to}& [S^1, \mathbf{B}^2 U(1)_{conn}] &\stackrel{\exp(2 \pi i \int_{\Sigma})}{\to}& \mathbb{C}//U(1)_{conn} \\ \downarrow &\swArrow& \downarrow && && \downarrow \\ [S^1, Q] &\to& [S^1, X] \\ \downarrow^{\mathrlap{[S^1, \nabla_{gauge}]}} && & \searrow^{\mathrlap{[S^1, \nabla_B]}} & && \downarrow \\ [S^1, (\mathbf{B}U(n))//(\mathbf{B}U(1))_{conn}] & &\stackrel{[S^1, \widehat \mathbf{dd}_n]}{\to}& & [S^1, \mathbf{B}^2 U(1)_{conn}] \\ \downarrow^{\mathrlap{hol_{S^1}}} && && & \searrow^{\mathrlap{\exp(2 \pi i \int_{S^1}(-))}} \\ \mathbb{C}//U(1)_{conn} &\to& &\to& &\to& \mathbf{B}U(1)_{conn} } \,.

Therefore the product action functional is a well-defined function

[ι Σ,ι X]exp(2πi Σ[Σ, b])hol S 1([S 1,dd^ n]) 1U(1). [\iota_\Sigma, \iota_X] \stackrel{ \exp(2 \pi i \int_{\Sigma} [\Sigma, \nabla_b] ) \cdot hol_{S^1}( [S^1, \widehat {\mathbf{dd}}_n] )^{-1} }{\to} U(1) \,.

This is the Kapustin anomaly-free action functional of the open string.

References

In the traditional physicist’s string theory introductions one finds Chan-Paton bundles discussed for instance

section 2.4 of

or around p. 66 of

These lectures tend to ignore most of the subtleties though. For traditional discussion of the Freed-Witten-Kapustin anomaly, see there. The above account in terms of higher geometry and extended prequantum field theory is due to section 5.4 of

Lecture notes along these lines are at

Revised on August 22, 2013 07:22:42 by Urs Schreiber (150.212.95.105)