Pith. Sign in

REVIEW

K-theory and Ramond-Ramond charge

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
Ruben Minasian, Gregory Moore

High Energy Physics - Theory · Submitted 30 Oct 1997 · 17 references

Pith's verdict: The founding paper for D-brane charge as a K-theory class; the result is right and important, but the v3 note concedes that the derivation of the e^{d/2} factor was wrong, so the central formula is asserted rather than derived in this text.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 6 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/9710230 (version 3)
Pith IDIG7R6C7E, Pith's permanent record of this paper and its review
CitationGregory Moore, Ruben Minasian. "K-theory and Ramond-Ramond charge." arXiv:hep-th/9710230 (1997). https://pith.science/paper/IG7R6C7E
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

Ramond-Ramond charge of a wrapped D-brane is fixed by the topology of its Chan-Paton bundle and its normal bundle, and the resulting charge is naturally an element of K-theory rather than of cohomology.

The reading

A D-brane wrapped on a cycle inside spacetime carries Ramond-Ramond charge, and the question this paper asks is: charge of what? Earlier work had computed that charge from the topology of the gauge bundle living on the brane, but only under the simplifying assumption that the brane sits in spacetime with a topologically trivial normal bundle — that is, that the directions transverse to the brane twist in no interesting way. Minasian and Moore relax that assumption and show that a nontrivial normal bundle shifts the charge, by a factor $e^{d/2}$ built from a degree-two class measuring the twisting. The payoff is conceptual: the corrected formula is exactly the statement that the charge is the image of the Chan-Paton bundle under the K-theoretic pushforward (Gysin) map, so D-brane charge lives in $K(S)$, the K-theory of spacetime, and not merely in $H^{*}(S)$. If that is right, then the standard Chern character dressed by $1/2$ powers of the $A$-roof genus is an isometry between the natural pairing on K-theory and the de Rham pairing on cohomology, which is a precise sense in which K-theory is the right home for the charge.

What carries the argument

The load-bearing device is the K-theoretic Gysin map $f_!$, defined as $f_! E = pi_! E otimes delta(N)$: the ordinary pushforward of the bundle to a tubular neighbourhood, tensored with $delta(N)$, a K-theoretic Thom class built from the triple $(-1)^r[Lambda^{text{even}}_{mathbb{C}} pi^{*}N xrightarrow{sigma(s)} Lambda^{text{odd}}_{mathbb{C}} pi^{*}N]$ with $sigma(s) = s wedge - iota(s)$ a contraction by a unit vector in the sphere bundle. This class is what encodes the topology of the normal bundle, and it is the reason a brane whose transverse directions twist can carry charge that a naive cohomological formula would miss. The second device is the Atiyah-Hirzebruch Riemann-Roch statement $f_* (operatorname{ch}(E)hat{A}(TW)e^{d/2}) = operatorname{ch}(f_!E)hat{A}(TS)$, which is exactly the identity needed to move from a worldvolume expression to a spacetime charge. Together they turn the anomaly-inflow computation into a statement about K-theory, and they explain why the charge formula must be dressed by $hat{A}$ rather than being a bare Chern character.

Extended reading notes

Core claim

The paper's central claim is Eq. (1.1), restated as Eq. (3.12): for a D-brane wrapping a supersymmetric cycle $f: W to S$ with Chan-Paton bundle $E to W$, the Ramond-Ramond charge is $Q = operatorname{ch}(f_! E)/sqrt{hat{A}(T S)}$, where $f_!$ is the K-theoretic Gysin map. The derivation runs through anomaly inflow on intersecting branes: chiral fermions localised on the intersection of two branes carry quantum numbers under the structure groups of the two normal bundles, and cancelling their anomaly forces an extra factor $e^{d/2}hat{A}(TW)/f^{*}hat{A}(TS)$ in the anomalous worldvolume coupling, with $d$ a degree-two class whose mod-two reduction is $w_2(W) - f^{*}w_2(S)$. The authors then apply the Atiyah-Hirzebruch version of Grothendieck-Riemann-Roch, which converts the pushed-forward combination $operatorname{ch}(E)hat{A}(TW)e^{d/2}$ into $operatorname{ch}(f_!E)hat{A}(TS)$, and read off the charge. The claim is not merely that a formula exists, but that the object it names — a class in $K(S)$ — is the physically correct carrier of D-brane charge, with cohomology appearing only after applying a modified Chern character.

Load-bearing premise

The chain depends on the anomaly-inflow computation of the normal-bundle factor $e^{d/2}$, and the paper's own version-3 note states that its original microscopic explanation of that factor was wrong, deferring the correct account to later work; the equations are asserted to be right, but the derivation printed here no longer defends the step that produces them.

Editorial extensions

If this is right

  • A brane wrapping a cycle with nontrivial normal bundle carries induced Ramond-Ramond charge even when its Chan-Paton bundle is trivial, so charge is not a property of the gauge bundle alone.
  • The corrected equation of motion for the Ramond-Ramond potential must be written with a Gysin pushforward, $d *F(C) = f_*(operatorname{ch}(E)hat{A}(TW)e^{d/2}/f^{*}sqrt{hat{A}(TS)})$, because the naive delta-function source is only consistent when the normal bundle is trivial.
  • The modified Chern character $E mapsto operatorname{ch}(E)/sqrt{hat{A}(TX)}$ is an isometry between the K-theory pairing given by the Dirac index and the de Rham pairing, so the charge pairing of a brane with a cycle is computed equally well in either language.
  • The degree-two class $d$ can shift brane charge by two degrees, giving a mechanism for charge shifts on worldvolumes that admit only a spin$^c$ structure rather than a spin structure.
  • Because the argument never assumes a complex structure on $W$ or $S$, the K-theoretic identification is more general than the description of Chan-Paton bundles as coherent sheaves.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If charge really lives in $K(S)$, then two brane configurations with identical cohomological charge but different K-theory classes should be distinguishable by some physical measurement — most plausibly a phase in a scattering experiment or a sign in a wrapped-string sector — and the torsion examples the paper raises (a Möbius bundle on a circle) are the cheapest place to look for it.
  • The paper's remark that the derivation holds only over the rationals, with torsion left undecided, is the sharpest open edge: a compactification whose K-theory torsion differs from its cohomology torsion is a direct test bed, since the two proposals predict different sets of allowed charges there.
  • The normal-bundle correction suggests a bookkeeping rule for M-theory and F-theory backgrounds where the fivebrane worldvolume fails to be spin: the anomaly can be absorbed by the same spin$^c$ shift, so fivebrane anomaly cancellations should be re-examined with the $e^{d/2}$ factor included rather than set to one.
  • The isometry statement invites a reading of the charge pairing as an index theorem: the Ramond-Ramond charge of a brane paired with a cycle is the index of a Dirac operator twisted by the Chan-Paton bundle, which would make charge quantisation a corollary of index theory rather than an independent input.
Original abstract

We discuss the relation between the Ramond-Ramond charges of D-branes and the topology of Chan-Paton vector bundles. We show that a topologically nontrivial normal bundle induces RR charge and that the result fits in perfectly with the proposal that D-brane charge is the topology of the Chan-Paton bundle, regarded as an element of K-theory.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 2,314 input tokens, $0.0001 reported.

What the abstract itself states, as probabilities: claims first 0.03 · states limitation 0.05 · human participants 0.01 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.03 · compares with prior results 0.24 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v3. Results and the main claim are underlined; .

We discuss the relation between the Ramond-Ramond charges of D-branes and the topology of Chan-Paton vector bundles. We show that a topologically nontrivial normal bundle induces RR charge and that the result fits in perfectly with the proposal that D-brane charge is the topology of the Chan-Paton bundle, regarded as an element of K-theory.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 We discuss the relation between the Ramond-Ramond charges of D-branes and the topology of Chan-Paton vector bundles. contribution 0.56 0.53 0.11 unclear 0.78
s1 We show that a topologically nontrivial normal bundle induces RR charge and that the result fits in perfectly with the proposal that D-brane charge is the topology of the Chan-Paton bundle, regarded as an element of K-theory. result 0.91 0.91 0.86 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 0.85.

What was examined, and what was not

sources read
  • arXiv listing abstract v3
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How later papers used it

147 later papers cite it

Evidence: substantial. 141 of the citing papers share no author with it, and 11 of those carry a confident label from Pith's citation classifier.

Pith read 14 of the 206 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Builds on it 1 paper
How the literature uses it

140 arXiv papers cite this in 195 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 148 sentences without a confident label

Contests it 2 papers
  • This is, however, indeed too naive generically: While the supergravity calculation performed in section 4 of [ref] actually admits the cycle which is wrapped by the D7-brane to be compact (and therefore captures the corrections $∼^2 ∫∧$), curvature-induced D3-brane charge [ref] was neglected.

    D7-Brane Moduli Space in Axion Monodromy and Fluxbrane Inflation · Relevance of Loop Corrections · contest 0.79

  • Indeed, despite wideheld beliefs within the string theory community, there is as of yet no definitive mathematically rigorous argument for twisted K-theory being the right coefficients for D-brane charge: the purported derivation of [ref] is rather a consistency check on the sign of the partition function over K-theory fields—a priori many other (twisted) cohomology theories could yield the same sign rule; the arguments of [ref] are differential form computations, hence cannot capture any torsion information; and there are moreover persistent conceptual issues with the proposal that D-brane charge is classified by twisted K-theory (see for example [ref] ).

    Parametrised Homotopy Theory and Gauge Enhancement · Conclusion · contest 0.77

Builds on it 1 paper
  • We will generalize the construction [ref] , establishing that the charge of a D-brane supported on $W$ with Chan-Paton gauge bundle $E→W$ in Type II superstring theory without $H$-flux takes values in the complex K-theory of spacetime $X$, to D-branes represented by generic topological K-cycles $(W,E,f)$, i.e., including those D-branes which are not representable as wrapping embedded cycles in $X$.

    Ramond-Ramond Fields, Fractional Branes and Orbifold Differential K-Theory · Geometric definition · 1.00

Uses its method or tool 3 papers
  • To extract the full anomaly inflow counterterm cancelling the 7-brane gauge anomalies from the 3-7 sector as well as the tangent bundle anomalies along the D3-brane, we follow the standard procedure [ref] and rewrite the non-kinetic terms in the action ([ref]) as S|_C_4 ⊃ S_1 + S_2 S_1 = 2 π/4 ∫C_4 ∧∑_i ([C_i] + [C_i'] ) S_2 = 2 π∫F_5 ∧( 1/8 ∑_a (𝐰_3a ∧[D_a] + 𝐰_3a' ∧[D_a'] ) + 1/32 𝐰_3Y ∧[O7] ) .

    The Green-Schwarz Mechanism and Geometric Anomaly Relations in 2d (0,2) F-theory Vacua · 3-7 anomaly from gauging in Type IIB · 0.97

  • However with this split we can use the conventional formula for the Chern-Simons couplings of the 7-brane to the RR-forms [ref] :

    Model Building with F-Theory · Introduction · 0.81

  • Similar as in the threefold case one can also use the induced K-theory charge formula [ref] in combination with central charge formula with $A$ being the bundle on the brane wrapping $X̃_4$ [equation] and mirror symmetry to obtain information about the subleading logarithmic terms in the periods.

    Computing Brane and Flux Superpotentials in F-theory Compactifications · Matching of the A-model and B-model Frobenius algebra · 0.93

Compares with it 5 papers
  • Moreover, this root is not unique and $Γ̂_X$ is just a particular choice [ref] , however this choice is different from the one corresponding to the Ramond-Ramond (RR) charge computed in [ref] .

    GLSM monodromy on quantum period lattice of Calabi-Yau fourfold flops · A-period lattice for CY4 · 0.84

  • Moreover, this root is not unique and $Γ̂_X$ is just a particular choice [ref] , however this choice is different from the one corresponding to the Ramond-Ramond (RR) charge computed in [ref] .

    Monodromy of Calabi-Yau threefold flops via grade restriction rule and their quantum Kahler moduli · Hemisphere partition function and A-periods · 0.84

  • When comparing to [ref] beware that these authors, and the literature following them, take the $ℝ$-rational D-brane charge to be expressed by the Chern character multiplied with the square root of the A-hat genus of the tangent bundle of spacetime.

    Flux Quantization · RR-field flux quantization in 10d · 0.83

Cites it as background 34 papers
  • In this paper we will address the the quantization rule for the M-theory $G_4$ flux [ref] in its relation to the Freed-Witten quantization condition for gauge fluxes on 7-brane configurations [ref] .

    On Flux Quantization in F-Theory II: Unitary and Symplectic Gauge Groups · Introduction · 0.87

  • This action for a single D-brane is given by [ref] , S_CS = T_p∫_M^p+1C∧(e^2πα'F+B)∧(A(4π^2α'R_T)/A(4π^2α'R_N))^1/2CS where $M^p+1$ represents the world volume of the D$_p$-brane, $C$ is meant to represent a sum over all appropriate RR potential and $A(R_T,N)$ is the Dirac roof genus of the tangent and normal bundle curvatures respectively, √(A(4π^2α'R_T)/A(4π^2α'R_N)) = 1+(4π^2α')^2/384π^2(R_T^2-R_N^2)+⋯roof For totally-geodesic embeddings of world-volume in the ambient spacetime, $R_T,N$ are the pulled back curvature 2-forms of the tangent and normal bundles respectively (see the appendix in ref.

    T-duality of curvature terms in D-brane actions · Introduction · 0.85

  • For example, the seminal papers [ref] demonstrated that D-brane charges in Type II superstring theory are classified by the K-theory of the spacetime manifold, and that ordinary cohomology alone cannot account for certain physical features induced by the dynamics of D-branes.

    Ramond-Ramond Fields, Fractional Branes and Orbifold Differential K-Theory · Introduction · 0.81

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.