The Cremmer-Scherk Mechanism in F-theory Compactifications on K3 Manifolds

TL;DR

The paper reveals how eight-dimensional F-theory on a generic elliptically fibered K3 realizes its abelian gauge sector from a Type IIB viewpoint: all 24 seven-brane world-volume vectors are eaten by bulk SL(2,\mathbb{Z}) tensor fields via the Cremmer-Scherk mechanism, while the 20 massless 8D vector fields arise from KK-reducing the SL(2,\mathbb{Z}) doublet two-forms along monodromic doublet one-forms on the base. The 20 explicit zero modes are counted by the cohomology group $H^1(\bar S, j_*\mathcal{H}_{\mathbb{Q}})=20$ and realized as a 20-dimensional subspace $H^2(\bar M)_{\perp}$ of the K3 cohomology, with a precise bulk-brane dictionary mediated by CS gauge transformations. The work establishes a concrete, geometric bridge between bulk IIB fields, world-volume brane fields, string junctions, and the M-theory dual, and lays groundwork for generalizations to more complex F-theory backgrounds such as Calabi–Yau threefolds and non-geometric setups.

Abstract

It is well understood --- through string dualities --- that there are 20 massless vector fields in the spectrum of eight-dimensional F-theory compactifications on smooth elliptically fibered K3 surfaces at a generic point in the K3 moduli space. Such F-theory vacua, which do not have any enhanced gauge symmetries, can be thought of as supersymmetric type IIB compactifications on P1 with 24 (p,q) seven-branes. Naively, one might expect there to be 24 massless vector fields in the eight-dimensional effective theory coming from world-volume gauge fields of the 24 branes. In this paper, we show how the vector field spectrum of the eight-dimensional effective theory can be obtained from the point of view of type IIB supergravity coupled to the world-volume theory of the seven-branes. In particular, we first show that the two-forms of the type IIB theory absorb the seven-brane world-volume gauge fields via the Cremmer-Scherk mechanism. We then proceed to show that the massless vector fields of the eight-dimensional theory come from KK-reducing the SL(2,Z) doublet two-forms of type IIB theory along SL(2,Z) doublet one-forms on the P1. We also discuss the relation between these vector fields and the "eaten" world-volume vector fields of the seven-branes.

Figures (5)

• Figure 1: A depiction of the ${\mathbb{{P}}}^1$ base of an elliptically fibered K3 manifold. The marked points denote the seven-brane loci at which the fiber degenerates. The cycles of the elliptic fiber undergo monodromies around these points, and hence a global definition of an $A$-cycle and a $B$-cycle of a fiber does not exist. We can, however, define $A$ and $B$ cycles when we exclude branch cuts --- depicted as wavy lines --- emanating from the seven-brane loci, i.e., when outside the region encircled by the dotted lines. The $A$ and $B$ cycles are well defined in this dense open subset, which we denote $\tilde{S}$.
• Figure 2: An example of a two-cycle in an elliptically fibered manifold ending at seven-brane loci, for a system of three seven-branes $B_1$, $B_2$ and $B_3$. The three branes are are of type $(1,0)$, $(0,1)$ and $(1,1)$ respectively. At these branes, the cycles ${\alpha}$, ${\beta}$ and ${\alpha}+{\beta}$ of the elliptic fiber degenerate. As $(1,0)+(0,1)-(1,1)=(0,0)$, there is a two-cycle $C_{\sigma}$ ending at the three branes with $\sigma=(1,1,-1)$. The cycle starts off at $B_3$ where the degenerate cycle $(\alpha+\beta)$ shrinks to a point. As we trace the cycle $(\alpha+\beta)$ through the manifold starting from $B_3$, the cycle eventually splits into cycles $\alpha$ and $\beta$, which each shrink to a point where the branes $B_1$ and $B_2$ are located --- the two-dimensional surface traced out in the process defines a closed two-cycle in the elliptically fibered manifold. The contours near each brane depict the cycles that shrink at the corresponding brane.
• Figure 3: When $|{\sigma}_i|>1$, multiple points of $C_{\sigma}$ end or begin at the brane locus $B_i$. This image depicts $C_{\sigma}$ for ${\sigma}=(1,-2,1)$ for the system of branes $B_1$, $B_2$ and $B_3$ with branes charges $(1,-1)$, $(1,0)$ and $(1,1)$ respectively.
• Figure 4: Correspondence between string junctions and two-cycles in the elliptically fibered manifold. On the left side, we have depicted a string junction meeting at junction point $P$ and ending at three seven-branes, each of type $(1,0)$, $(0,1)$ and $(1,1)$. One can "fatten" this junction to obtain an oriented two-cycle inside the elliptically fibered manifold in the F-theory picture.
• Figure 5: A zoom-in on a small neighborhood of a brane locus. The curvy line denotes the branch-cut around the brane. The concentric circles of radius $d/2$ and $d$ are chosen to be small enough so that they do not intersect any other branch cuts.

Theorems & Definitions (9)

• Proposition 116
• proof
• Corollary 118
• proof
• Proposition 131
• proof
• Corollary 159
• Proposition 160
• proof