D7-Brane Motion from M-Theory Cycles and Obstructions in the Weak Coupling Limit

TL;DR

This work develops a cycle-based framework to study D7-brane motion on Calabi–Yau orientifolds via F-theory, encoding brane positions in periods of integral M-theory cycles to obtain explicit moduli-space control. It shows that Sen's weak coupling limit, while suppressing backreaction, introduces physics obstructions at D7–O7 intersections that constrain brane mobility relative to freely moving holomorphic submanifolds. The authors provide explicit period parameterizations for the K3 case with 16 D7-branes and 4 O7-planes and illustrate obstructions on $\\mathbb{CP}^1\\times \\mathbb{CP}^1$ and $\\mathbb{CP}^2$, along with the geometric interpretation of brane motion in terms of M-theory 2-cycles and their periods. This framework lays groundwork for flux stabilization of D7-brane configurations and generalizes to higher-dimensional elliptic Calabi–Yau spaces, linking brane positions to lattice data and period mappings in a concrete, computable way.

Abstract

Motivated by the desire to do proper model building with D7-branes and fluxes, we study the motion of D7-branes on a Calabi-Yau orientifold from the perspective of F-theory. We consider this approach promising since, by working effectively with an elliptically fibred M-theory compactification, the explicit positioning of D7-branes by (M-theory) fluxes is straightforward. The locations of D7-branes are encoded in the periods of certain M-theory cycles, which allows for a very explicit understanding of the moduli space of D7-brane motion. The picture of moving D7-branes on a fixed underlying space relies on negligible backreaction, which can be ensured in Sen's weak coupling limit. However, even in this limit we find certain 'physics obstructions' which reduce the freedom of the D7-brane motion as compared to the motion of holomorphic submanifolds in the orientifold background. These obstructions originate in the intersections of D7-branes and O7-planes, where the type IIB coupling can not remain weak. We illustrate this effect for D7-brane models on CP^1 x CP^1 (the Bianchi-Sagnotti-Gimon-Polchinski model) and on CP^2. Furthermore, in the simple example of 16 D7-branes and 4 O7-planes on CP^1 (F-theory on K3), we obtain a completely explicit parameterization of the moduli space in terms of periods of integral M-theory cycles. In the weak coupling limit, D7-brane motion factorizes from the geometric deformations of the base space.

Figures (14)

• Figure 1: Illustration of the (double cover of) a D7-brane intersecting an O7-plane in four points.
• Figure 2: The cycle that measures the distance between two D-branes. Starting with a cycle in the $(0,1)$ direction of the fibre torus at point $a$, this cycle is tilted to $(-1,1)$ at $b$. Because we surround the second brane in the opposite way, the cycle in the fibre is untilted again so it can close with the one we started from.
• Figure 3: The self-intersection number of a cycle between two D-branes. As shown in the picture, we may choose the fibre part of both cycles to be $(0,1)$ at $A$, so that they do not intersect at this point. At $B$ however, one of the two is tilted to $(1,1)$, whereas the other has undergone a monodromy transforming it to $(-1,1)$. Thus the two surfaces meet twice in point $B$.
• Figure 4: The loop between two D-branes can be collapsed to a line by pulling it onto the D-branes and annihilating the vertical components in the fibre. All that remains is a cycle which goes from one brane to the other while staying horizontal in the fibre all the time.
• Figure 5: Mutual intersection of two cycles. Start by taking both cycles to have fibre part $(0,1)$ at $B$. The fact that we closed a circle around the D-brane tells us that one of the two has been tilted by one unit at $A$. Thus they meet precisely once.