nLab
Freed-Witten anomaly

Context

String theory

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

The effective bosonic exponentiated action functional of the type II superstring sigma-model for open strings ending on D-branes has three factors:

  1. the higher holonomy of the background B-field over the string 2-dimensional worldsheet;

  2. the ordinary holonomy of the Chan-Paton bundle on the D-brane along the boundary of the string;

  3. the Berezinian path integral over the fermions.

Each single contribution is in general not a globally well defined function on the space of string configurations, instead each is a section of a possibly non-trivial line bundle over the configuration space (the last one for instance of the Pfaffian bundle). Therefore the total action functional is a section of the tensor product of these three line bundles.

The non-triviality of this tensor product line bundle (as a line bundle with connection) is the Freed-Witten-Kapustin quantum anomaly. The necessary conditions for this anomaly to vanish, hence for this line bundle to be trivializable, is the Freed-Witten anomaly cancellation condition.

More precisely, the naive holonomy of an ordinary Chan-Paton principal connection would be globally well defined. But in order to cancel the anomaly contribution from the other two factors, one may take the Chan-Paton bundle to be a twisted bundle, the twist being the B-field restricted to the brane. Then its holonomy becomes anomalous, too, but there are then interesting configurations where the product of all three anomalies cancels. This refined argument has been made precise by Kapustin, and so one should probably speak of the Freed-Witten-Kapustin anomaly cancellation.

Details

We interpret the Freed-Witten-Kapustin mechanism in terms of push-forward in generalized cohomology in topological K-theory interpreted in terms of KK-theory with push-forward maps given by dual morphisms between Poincaré duality C*-algebras (based on Brodzki-Mathai-Rosenberg-Szabo 06, section 7, Tu 06):

Let i:QXi \colon Q \to X be a map of compact manifolds and let χ:XB 2U(1)\chi \colon X \to B^2 U(1) modulate a circle 2-bundle regarded as a twist for K-theory. Then forming twisted groupoid convolution algebras yields a KK-theory morphism of the form

C i *χ(Q)i *C χ(X), C_{i^\ast \chi}(Q) \stackrel{i^\ast}{\longleftarrow} C_{\chi}(X) \,,

with notation as in this definition. By this proposition the dual morphism is of the form

C 1i *χW 3(TQ)(Q)i !C 1χW 3(TX)(X). C_{\frac{1}{i^\ast \chi \otimes W_3(T Q)}}(Q) \stackrel{i_!}{\longrightarrow} C_{\frac{1}{\chi \otimes W_3(T X)}}(X) \,.

If we redefine the twist on XX to absorb this “quantum correction” as χ1χW 3(TX)\chi \mapsto \frac{1}{\chi \otimes W_3(T X)} then this is

C i *χW 3(i *TX)W 3(TQ)(Q)i !C χ(X), C_{i^\ast \chi\frac{W_3(i^\ast T X)}{W_3(T Q)}}(Q) \stackrel{i_!}{\longrightarrow} C_{\chi}(X) \,,

where now we may interpret W 3(i *τ X)W 3(τ Q)\frac{W_3(i^\ast \tau_X)}{W_3(\tau_Q)} as the third integral Stiefel-Whitney class of the normal bundle NQN Q of ii (see Nuiten).

Postcomposition with this map in KK-theory now yields a map from the i *χW 3(NQ)i^\ast \chi \otimes W_3(N Q)-twisted K-theory of QQ to the χ\chi-twisted K-theory of XX:

i !:K +W 3(NQ)+i *χ(Q)K +χ. i_! \colon K_{\bullet + W_3(N Q) + i^\ast \chi}(Q) \to K_{\bullet +\chi} \,.

If we here think of i:QXi \colon Q \hookrightarrow X as being the inclusion of a D-brane worldvolume, then χ\chi would be the class of the background B-field and an element

[ξ]K +W 3(NQ)+i *χ(Q) [\xi] \in K_{\bullet + W_3(N Q) + i^\ast \chi}(Q)

is called (the K-class of) a Chan-Paton gauge field on the D-brane satisfying the Freed-Witten-Kapustin anomaly cancellation mechanism. (The orginal Freed-Witten anomaly cancellation assumes ξ\xi given by a twisted line bundle in which case it exhibits a twisted spin^c structure on QQ.) Finally its push-forward

[i !ξ]K +χ(X) [i_! \xi] \in K_{\bullet + \chi}(X)

is called the corresponding D-brane charge.

chromatic levelgeneralized cohomology theory / E-∞ ringobstruction to orientation in generalized cohomologygeneralized orientation/polarizationquantizationincarnation as quantum anomaly in higher gauge theory
1complex K-theory KUKUthird integral SW class W 3W_3spin^c-structureK-theoretic geometric quantizationFreed-Witten anomaly
2EO(n)Stiefel-Whitney class w 4w_4
2integral Morava K-theory K˜(2)\tilde K(2)seventh integral SW class W 7W_7Diaconescu-Moore-Witten anomaly in Kriz-Sati interpretation

References

The special case where the class of the restriction of the B-field to the D-brane equals the third integral Stiefel-Whitney class of the D-brane was discussed in

The generalization to the case that the two classes differ by a torsion class was considered in

Aspects of the interpretation of this by push-forward in generalized cohomology in twisted K-theory are formalized in

and section 10 of

(which discusses twists as (infinity,1)-module bundles).

The formulation by postcomposition with dual morphisms in KK-theory which we use above is based on the observations in section 7 of

and generalized to equivariant KK-theory in

A clean formulation and review is provided in

  • Loriano Bonora, Fabio Ferrari Ruffino, Raffaele Savelli, Classifying A-field and B-field configurations in the presence of D-branes (arXiv:0810.4291)

  • Fabio Ferrari Ruffino, Topics on topology and superstring theory (arXiv:0910.4524)

  • Fabio Ferrari Ruffino, Classifying A-field and B-field configurations in the presence of D-branes - Part II: Stacks of D-branes (arXiv:1104.2798)

  • Raffaele Savelli, On Freed-Witten Anomaly and Charge/Flux quantization in String/F Theory, Phd thesis (2011) (pdf)

and

  • Kim Laine, Geometric and topological aspects of Type IIB D-branes, Master thesis (arXiv:0912.0460)

In (Laine) the discussion of FW-anomaly cancellation with finite-rank gauge bundles is towards the very end, culminating in equation (3.41).

A discussion from the point of view of higher geometric quantization or extended prequantum field theory is at the end of

Lecture notes along these lines are in Lagrangians and Action functionals – 3d Chern-Simons theory of

The KK-theory-description of the FEK anomaly used above is discussed in

Revised on December 12, 2013 00:18:41 by David Corfield (87.115.153.70)