K-Theory and S-Duality: Starting Over from Square 3

TL;DR

This work extends the MMS program that relates D-brane configurations to K-theory by proposing an S-duality covariant extension of the Atiyah–Hirzebruch spectral sequence (AHSS) to include NS fluxes and fundamental strings. It introduces a nonlinear network of differential operators, starting with $d_3=Sq^3+H$ and culminating in $d_5$, to account for torsion and instanton effects, with explicit analysis of a double-instanton contribution to $d_5$ in the SU(3) background and an M-theory interpretation via $E_8$ bundles. The authors provide detailed evidence, including Freed-Witten-type anomaly constraints and NS5-backreaction arguments, illustrating how certain brane configurations are prohibited or identified with others under the generalized differential structure. They further connect these ideas to M-theory by interpreting M5-branes as defects in $E_8$ bundles and M2-branes as dual objects, suggesting a unifying framework that may underpin a higher-structure classification of RR and NS charged states. The work highlights both the potential and challenges of casting string theory fluxes and branes into a K-theory-like algebraic setting, with implications for S-duality and the quest for a precise mathematical formulation of the underlying generalized cohomology theory.

Abstract

Recently Maldacena, Moore, and Seiberg (MMS) have proposed a physical interpretation of the Atiyah-Hirzebruch spectral sequence, which roughly computes the K-homology groups that classify D-branes. We note that in IIB string theory, this approach can be generalized to include NS charged objects and conjecture an S-duality covariant, nonlinear extension of the spectral sequence. We then compute the contribution of the MMS double-instanton configuration to the derivation d_5. We conclude with an M-theoretic generalization reminiscent of 11-dimensional E_8 gauge theory.

Figures (3)

• Figure 1: A D$p$-brane wraps a 3-sphere that supports 4 units of $H$ flux. Anomaly cancellation requires that 4 D$(p-2)$-branes end on this D$p$-brane. Thus the lone D$p$-brane is not allowed. Also the number of D$(p-2)$-branes is only defined modulo 4 because a dynamical process involving similarly wrapped D$p$-brane instantons can create or destroy 4 of them at a time.
• Figure 2: A D5-brane and $\overline{\textup{NS5}}$ wrap a three sphere that supports 4 units of $H$-flux and 6 of $G_3$-flux. Anomaly cancellation requires that 4 D3-branes end on the D5-brane and 6 begin on the $\overline{\textup{NS5}}$. Therefore one allowed process begins with 5 D3-branes, 4 of which decay via the instantonic D5-brane leaving just 1. Later the instantonic $\overline{\textup{NS5}}$ appears and disappears, leaving 6 more D3-branes for a total of 7. Thus we see that the number of D3-branes is only conserved modulo 2, where 2 is the greatest common divisor of 4 and 6.
• Figure 3: The double-instanton of Maldacena, Moore, and Seiberg for $k=10$. The primary instanton is an instantonic D5-brane which wraps $M_5\times\mathbb R$ while a secondary instantonic D3-brane wraps $\mathbb R$ crossed with a 3-cycle in SU(3). This 3-cycle is bounded by $M_2$, the Poincare dual of $W_3(M_5) + H$ in $M_5$. Anomaly cancellation on the secondary instanton implies that it must devour $k/2=5$ D-strings extended along $\mathbb R$.