05 24 4 v 1 2 5 M ay 2 00 0 FIAN / TD-10 / 00 ITEP / TH-24 / 00 hep-th / 0005244 On B-independence of RR Charges

D-branes are sources of RR fields [1]. In IIA theory a D2p-brane is coupled to the RR gauge fields C, C, . . . , C (they are 1-, 3-, . . . and (2p + 1)-forms respectively). Their couplings to the brane depend on the gauge invariant field BD = B + F , where F = dA is the tension of U(1) gauge field living on the brane, and B is the gauge 2-form, pertinent for string theory. The problem is that B is not a tension and therefore the integrals ∮


Generalizati
n of the recent Taylor-Polchinski argument is presented, which helps to explain quantization of RR charges in IIA-like theories in the presence of cohomologically trivial H-fields.

Introduction

D-branes are sources of RR fields [1].In IIA theory a D2p-brane is coupled to the RR gauge fields C (1) , C (3) , . . ., C (2p+1) (they are 1-, 3-, . . .and (2p + 1)-forms respectively).Their couplings to the brane depend on the gauge invariant field BD = B + F , where F = dA is the tension of U (1) gauge field living on the brane, and B is the gauge 2-form, pertinent for string theory.T e problem is that B is not a tension and therefore the integrals B k D over cycles in brane's world sheet are not r-valued (only F k are) and can not serve as charges [2].

In order t J.Polchinski [4] suggested to substitute the naive formula [5]   Q (1)
= M 2 BD(1)
for the C (1) -charge of a topologically trivial closed D2-brane by:
Q (1) = M 2 =∂V 3 BD − V 3 H = M 2 F (2)
where M2 = ∂V3 is the position of D2-brane and V3 is any 3-volume with the boundary at M2.If the tension H = dB is an exact 3-form, dH = 0 (i.e. when B is well defined), this expression does not depend on the choice of V3.The argument of [3] in favor of ( 2) is essentially that the bulk action mixes RR fields C (2k+1) with different k and one needs to diagonalize the action before defining the physical charges (as measured by remote probes).The bulk action is diagonal in terms of the tensions G (2) = dC (1) and G (4) = dC (3) − C (1) ∧ H and the transformation from C's to G's of different degree is given by a triangular matrix.So, the diagonalization does not change the coupling to the highest RR field.In order to define effective couplings to lower RR fields, we should first integrate out all higher RR fields C (2m+1) with m > k and then read the coupling of C (2k+1) to the brane.Such diagonalization procedure gives rise to nonlocal contributions, so that the resulting source terms are no longer concentrated on the brane world sheet.However, the non-locality disappears for constant RR fields which are used to probe the charges.

The purpose of the paper is to rephrase the reasoning of [3] and to generalize it to arbitrary RR fields.In the standard d = 10 IIA string theory the RR fields C (2p+1) and C (7−2p) are dual to each other.In this paper we ignore this restriction and consider instead a different model which preserves the RR gauge symmetries but all RR fields are independent of each other and the space-time dimension is not specified.In this case, we show that the effective coupling of the RR fields to D-branes (after integrating out higher RR fields) depends only on the tension F of the U(1) gauge field on the brane.Since our interest is in the B-dependence of the RR charges, we ignore the curvature-dependent corrections [6] and do not use the related K-theory formalism [7, 8].

The paper is organized as follows.We begin in sect.2 with the case of the D2-brane with C (3) and C (1) fields, considered in [3].Then, after a brief discussion of the d −1 -operation in sect.3,we proceed in sect.4 to generic consideration of C (2p+1) fields (gauge odd forms) in the presence of B (2k) fields (gauge even forms).For cohomologically non-trivial fields H and/or topologically non-trivial branes, the gauge invariance produces constraints on the brane ynamics.They are discussed in sect.5.Sect.6 addresses the ambiguities in RR charges arising in these circumstances and their potential implications for quantum theory of branes.


The case of D2-brane

The action of (the massless sector of) the IIA theory can be obtained by dimensional re 11d the bosonic sector consists of the metric GMN and the 3-form AMNP , subject to gauge transformations A ∼ A + dσ with any 2-form σ.The Lagrangian in 11d is:
L11 = √ GR(G) + |dA| P P hern-Simons term is independent of the metric.

After dimensional reduction to 10d, the 11d bosonic fields turn into:
gµν = Gµν + C (1) µ C (1) ν , C (1) µ = Gµ,11(4) and C
(3)
µνλ = A µνλ , Bµν = Aµν,11(5)
The G11,11 component of the metric turns into the exponential of the dilaton field, which is irrelevant for our purposes and is omitted from all the formulas in the present paper.The gau rom the general coordinate boosts in t = √ gR(g) + |dC (1) | 2 + dC (3) − C (1) ∧ H 2 + B ∧ dC (3) ∧ dC (3) = = √ gR(g) + |G (2) | 2 + |G (4) | 2 + B ∧ G (4) ∧ G (4) − −B ∧ B ∧ G (4) ∧ G (2) − 1 3 B ∧ B ∧ B ∧ G (2) ∧ G (2) + total derivative(7)
Here H = dB, G (2p+2) = dC (2p+1) − C (2p−1) ∧ H, and the total derivative appears from the transformation of the Wess-Zumino term.The bulk Lagrangian L10 contains terms mixing the fields C (1) and C (3) .It can be diagonalized by the transformation C → G.Howev l.

Introduce now even-dimensional D2p-branes located at M2p with the world sheets W2p+1.They contribute the source (Wess-Zumino) terms to the action [5],
W 1 C (1) + W 3 (C (3) + C (1) ∧ BD) + . . .(8)
Here BD = B + F is a gauge invariant field, which can ar combination of the gauge field B, living in the bulk, and the tension of the U (1) gauge field F = dA, on the brane.Under the Λ-transformation, the fields A and B transform as
A ∼ A − Λ, B ∼ B + dΛ.
The tension F is a closed form (satisfies the Bianchi identity), dF = 0, so that on the brane dBD = dB = H.The source (surface) terms ( 8) are gauge invariant up to total derivatives (i.e. for closed world-sheets ∂W2p+1 = 0).However, they are not expressed in terms of the G (2p+2) -fields.If one still wants to get such an expression, a on-l ely use the operation d −1 , its more adequate substitute will be discussed in the following section 3.

So, 2) and
C (1) = d −1 G (C (3) + C (1) ∧ BD = d −1 G (4) + C (1) ∧ BD + d −1 (C (1) ∧ H)(9)
In order to obtain the er the coupling to D-brane of (the timecomponent of) the constant C (1) field (emitted or felt by a remote C (1) -probe like a D0-brane).For constant C (1) , however, d −1 (C (1) ∧ H) = −C (1) ∧ B and we obtain for Q (1) exactly the formula (2).This is the argument of [3].It deserves mentioning that the Chern-Simons term in the bulk Lagrangian vanishes for constant C (1) .The same argument is easily applied to the derivation of Q (2p−1) , the charge distribution of C (2p−1) (provided the bulk Lagrangian for C (2p+1) fields is given by |G (2p+2) | 2 , as implied by duality transformations C (2p+1) → C (7−2p) ).However, in order to iterate our procedure and reach lower Q (2k+1) with k < p − 1 one can not keep C (2p−1) constant.This motivates a more detailed discussion of the operation d −1 in the ined.Its proper substitute is the K-operation (de Rham homotopy), satisfying Kd + dK = 1 (10)   As required for d −1 , K maps k-forms into (k − 1)-forms.It is defined modulo d, for exact forms K(dV
) = V − d(KV ) = V mod(d).
In application to integrals over topologically trivia or example, by the following expl of gauge theories, see, e.g., [9]).For a 1-form A(x), the 0-form
KA(x) = 1 0 Aµ(tx)x µ dt (11)
and in general for a k-form A(x)
(KA(x)) µ 1 µ 2 ...µ k−1 = 1 0 Aµ 1 ...µ k (tx)x µ k t k−1 dt(12)
or
S k−1 KA = (S) k A (13)
where C(S) is a cone with the base S and the vertex somewhere outside S. Of course, the K operation depends on the orms.

The n-fold application of K builds up an n-dimensional simplex C n (S) over the surface S. For ki-forms Ai, ki = k one obtains,
S k−n K (A k 1 K (A k 2 K (. . . KA kn ))) = C n (S) k A k 1 ∧ A k substituted by K, because KdC (3) ∼ C3 modulo gauge transform

ion.At the same ti
e, in variance with (9),
W 3 C (3) + C (1) ∧ BD = W 3 KG (4) + C (1) ∧ BD + K(C (1) ∧ H) = = W 3 C (1) ∧ BD + C(W 3 ) G (4) well defined expression for non-constant fields C (1) .


Generic RR fields

At this point we deviate from co ry, and assume that the RR field is an odd gauge poli-form in (2k+1) imposed.The background is giv k=1 B A on the D-brane world-sheets,
A = k=1 A (2k−1) , F = dA D ≡ B + F(18)
The gauge symmetries are as follows,
C ∼ C + e −B dǫ, B ∼ B + dΛ, A ∼ A − Λ + dα,(19)
where
ǫ = k=0 ǫ (2k) , Λ = k=1 Λ (2k−1)(20)
are even and odd poli-forms in the bulk respectively, and
α = k=0 α (2k)(21)
is an even poli-form on the rane world sheet.The tension H = dB of the B-field and the tension G = dC − CH of the RR field are gauge invariant bulk fields.As before the brane world-sheet.

In analogy with the IIA theory we assume the following Lagrangian of RR fields (in neglect of possible Chern-Simons terms) in the bulk,
|G| 2 = |dC − CdB| 2 = i dC (2i+1) − C (2i−1) ∧ dB 2 . (22)
Here nd in what follows we often omit the sign of wedge pro e Hodge operation * .In particular e −B = e −∧B , CH = C ∧ H etc.

The Wess-Zumino contributions of D-branes are [5] * :
p W 2p+1 Ce B D = p i=0 1 i! W 2p+1 C 2p+1−2i ∧ B i D = k,i 1 i! W 2k+2i+1 C (2k+1) ∧ B i D .(23)
According to our general strategy we should rewrite the source term (23) in terms of G, which diagonalizes the bulk action.The resulting expression w , but formulas for the RR charges are obtained at constant RR fields when the expression becomes local.Formally, in order to express C through G, on (24)
For our purposes, we need a formula with K-operation acting directly on C. Since up to a gauge transformation C ∼ K(dC), we write C ∼ KG − KHC, and
C ∼ 1 1 + KH KG = KG − K(H ∧ KG) + K(H ∧ K(H ∧ KG)) + . . .(25)
Since K lowers the rank of the form by on re (note that there is no terms with k = 0 in (17)), this formula contains only finitely many terms for C of a given finite rank

4)(31)
B-independence of RR ch
rges.

These examples illustrate the general prescription to define the effective D-brane coupling to the constant RR field C (2k+1) : in (26) neglect all the contributions of G (2m+2) with m = k and in the term with KG (2k+2) put C (2k+1) = const.Then, it appears that the non-localities remaining in the K-operation can be explicitly eliminated, the contributions of B to BD are completely canceled, and the final answer depends only on F .It deserves noting that while F itself is not gauge invariant, the integrals F k over compact 2k-cycles are.

The way to prove these claims is actually clear from above examples.It is enough to note that whenever KG in (26) is substituted by a constant C to obt (32)
Then, since e B D −B = e F , the source term (26) becomes B-independ (33)
This formula for the effective coupling of a D-brane to the constant RR gauge fields is the main result of the paper.It shows that only the integral 2-form F contributes to the properly defined RR charges, in analogy to the claim of Taylor-Polchinski for D2-bran

.


Implications of gauge non-invariance of the source te
ms

Though both the bulk and the world-sheet actions are expressed through the gauge-invariant G-fields, the non-locality of the operation K can -and does -(slightly) diminish the gauge invariance of the source (world-sheet) terms.This leads to additional constraints imposed on the brane configurations contributing to the functional integral over RR fields.For example, the bulk action is invariant unde )
with ε = const.(Indeed, G → dε de −B − ε de −B dB, and the first term vanishes for constant ε, while the second one vanishes because dBdB = dB ∧ dB = 0.) However, the boundary (source) term is not invariant: )
Integration over the zero-mode ε of the full action provides the constraints 6)
for any cycle in the D2p-brane's world-volume.In particular, for a D2-brane one gets W 3 H = 0, i.e. the D2-brane can not wrap around a source of H-field (like an NS brane) in its time-evolution (such trajectories do not contribute to the functional integral) Generalizing (34
) dB
one obtains extra constraint 0
or their linear combinations F k BDdBD.At the same time, the B-independent gauge transformatio ε
with constant ε can be easily excluded from the gauge group from the very beginning, and therefore the integrals F k without B-fields need not vanish, i.e. dynamics of RR fields eliminates wrappings around "magnetic" sources of B fields, but not of F fields

RR charge in cohomologically non-trivial
When H is cohomologically nontrivial, expressions like (2), ( 9) and ( 27), in variance with the naive (1) are ill-defined.Still, it seems that they are adequate for description of the actual situation, and the ambiguities may appear to have physical significance.An ambiguity problem arises if there are non-contractable 3-cycles in the space-time with non-vanishing H (e.g., in Calabi-Yau compactifications) or sources of "magnetic" H-fields, where dH = 0 (e.g., the NS5-branes).Similar problems occur for topologically-nontrivial D-branes, i.e. when M2 = ∂V3: then ( 9) and ( 27), in variance with (2) are still applicable, but ambiguous.In order to understand what happens in such situations, one can analyze a 1-dimensional toy-example.For a puzzle, involving realistic D2-branes, see ref. [10].Consider the 1-dimensional Gaussian theory on a circle S1 whose partition function is Here C(x) models the C (3) field in the bulk, b(x) and h = ∂b/∂x -the B and H fields respectively, σ plays the role of the constant C (1) in the bulk, and the source term C (3) (dipole charge) on the brane world-sheet is imitated by C(x1) − C(x2).Cohomologically non-trivial h, such that S 1 h(x)dx = 0, arises when b(x) is non-periodic, ∆b = b(x + 1) − b(x) = 0, with periodic h(x).
he answer for the Gaussian integral (37) (with eliminated gauge zero-mode
C(x) = const) is e nd for non-periodic b(x) it is an ambiguous function of x1 (with x2 fixed).If there were no σ (no C (1) field) coupled to h(x) in the bulk, one could have handled this problem by imposing a Dirac quantization condition on b: ∆b = integer.However, in our model σ is a dynamical variable and, even if constant, can vary continuously.In other words, coupling to RR fields makes the phase ambiguity physically relevant.As usual in such situations, the physical state is not defined solely by the current position of the brane (by the points x1 and x2 on S1), it also depends on its pre-history: given original state at some moment, one can obtain at another moment the physically distinct states with the same x1 and x2, differing by the number of times the x1 and x2 wrapped around the circle.The situation may be reminiscent of the theory of anyons.

The s ate of such a system is not fully determined by current positions of the anyons, it is also labeled by an attached (invisible) braid.Moreover, the ambiguity is not automatically resolved by simply summing over all the pre-histories: dynamical constraints, discussed in the previous section lead to a superselection rule, preventing dynamical interference of topologically different pre-histories.
 *   We