Constraining F-theory Model Building with QCD Axions

This paper investigates QCD axion physics within 4D F-theory MSSM models by deriving axion couplings and potentials from a top-down perspective, ultimately constraining the Kähler moduli space of specific base threefolds to predict a QCD axion mass of approximately $10^{-9}$ eV and a decay constant near $10^{15}$ GeV.

The Gist

Imagine the universe as a giant, complex machine built from a specific type of high-tech fabric called string theory. In this machine, there are tiny, vibrating strings that create all the particles and forces we see. But to make this machine work in our 4-dimensional world (three of space, one of time), the extra dimensions of the strings must be curled up into a tiny, intricate shape.

This paper is like a quality control inspection for a specific blueprint of that machine, known as an F-theory model. The authors are checking if this blueprint can produce a specific, mysterious particle called the axion without breaking the laws of physics as we know them.

Here is the breakdown of their investigation using everyday analogies:

1. The Mystery of the "Ghost" Particle (The Axion)

In our universe, there is a puzzle called the "Strong CP problem." Imagine you have a pair of gloves (left and right). In most physics, nature treats them exactly the same. But in the world of the strong nuclear force (which holds atoms together), there is a tiny, unexplained preference for one "hand" over the other. This preference is measured by a number called $\theta$ (theta).

Experiments tell us that this number must be incredibly close to zero—so close that it's like finding a needle in a haystack that is the size of the entire galaxy. If it weren't, the universe would look very different.

To fix this, physicists invented the axion. Think of the axion as a cosmic thermostat. If the universe tries to get "too hot" (too much hand-preference), the axion automatically turns the dial down to zero. This solves the problem, but it means the axion must exist. The paper asks: If we build our universe using this specific F-theory blueprint, does the axion thermostat work correctly?

2. The Blueprint and the "Rigid" Bricks

The authors looked at a massive library of possible blueprints (called the "quadrillion landscape"). They focused on the shape of the curled-up dimensions, which they call the base threefold.

To make the axion work, the blueprint needs specific "bricks" (geometric shapes called divisors) to be rigid.

• The Analogy: Imagine trying to build a house on a foundation made of jelly. If the foundation wobbles, the house falls. In this theory, the "bricks" must be solid (rigid) or glued down tightly (rigidified by "flux," which is like a magnetic field holding them in place).
• The Finding: If the bricks aren't rigid, the axion doesn't get the right "instructions" to fix the CP problem. The authors found that for the blueprint to work, you must have these rigid bricks. If you don't, the model is immediately rejected.

3. The Three-Filter Test

The authors ran every possible blueprint through three strict filters to see if it could survive:

• Filter 1: The "No-Too-Big" Rule (CP Violation): The axion thermostat must be precise enough to keep the CP violation angle ($\theta$) tiny. If the blueprint's geometry makes the axion too "loose," the universe would have too much hand-preference.

  • Result: Many blueprints failed here. They were too "floppy."

• Filter 2: The "Strength" Rule (Gauge Couplings): The blueprint must also produce forces (like electromagnetism and the strong force) that are strong enough to match what we see in our labs.

  • Result: Some blueprints that passed the first filter failed here because the forces came out too weak.

• Filter 3: The "Stretched" Rule (Mathematical Sanity): The blueprint must be mathematically stable, meaning the curled-up dimensions can't be too small or the math breaks down.

  • Result: This eliminated even more options.

4. The Verdict: "Y," "O," and "N"

After running the gauntlet, the authors sorted the blueprints into three categories:

• "N" (No): These blueprints are impossible. No matter how you tweak them, they either break the CP rule or make the forces too weak. They are thrown in the trash.
• "O" (Maybe): These blueprints might work, but only if the universe's "energy scale" (how heavy the particles are) is just right. It's a "maybe" that depends on details we don't know yet.
• "Y" (Yes): These are the winners. They pass all tests regardless of the energy scale. They are robust, viable models of our universe.

The Surprise: The authors found that for the simplest shapes (like a 3D projective space), you need a very specific, "stiff" configuration of the rigid bricks to get a "Y" result. If the bricks are too loose, the model fails.

5. What Does the Winning Axion Look Like?

For the blueprints that passed (the "Y" and some "O" models), the authors calculated what the axion would look like if we could detect it:

• Mass: It would be incredibly light, roughly $10^{-9}$ electron-volts.
  • Analogy: If a proton were a bowling ball, this axion would be lighter than a single grain of dust. It's so light it's almost massless.
• Decay Constant ($f_a$): This is a measure of how "strongly" the axion interacts with other particles. The authors found it to be around $10^{15}$ GeV.
  • Analogy: This is a huge number, close to the energy scale where gravity and other forces might merge. It suggests the axion is a very "heavy" particle in terms of energy, even though it's light in mass.

Summary

This paper is a stress test for a specific theory of the universe. The authors took a massive collection of potential universe designs, checked if they could produce a "cosmic thermostat" (the axion) that fixes a fundamental physics problem, and filtered out the ones that didn't work.

They found that only very specific, rigid geometries can work. The ones that do work predict an axion that is extremely light and interacts very weakly, placing it in a specific range that future experiments might be able to find. Essentially, they told us: "If you want to build a universe with this specific blueprint, you must use these specific rigid bricks, or the whole thing collapses."

Technical Summary

Technical Summary: Constraining F-theory Model Building with QCD Axions

Problem Statement
The paper addresses the strong CP problem in Quantum Chromodynamics (QCD) within the context of 4D F-theory Minimal Supersymmetric Standard Model (MSSM) constructions. While the QCD axion is a well-motivated solution to the strong CP problem, its properties (mass $m_a$ and decay constant $f_a$) are determined by the underlying geometry of the string compactification. In F-theory, axions arise naturally from the integration of the IIB $C_4$ gauge field over 4-cycles of the base threefold $B_3$. A critical challenge is that the non-perturbative superpotential, which generates the axion potential and stabilizes Kähler moduli, requires the wrapping divisors to be rigid or rigidified by flux. The authors investigate whether the geometric constraints imposed by the experimental bound on the CP-violating angle ($\theta_{QCD} < 10^{-10}$) and the Standard Model gauge coupling constants can exclude specific regions of the F-theory landscape, particularly within the "quadrillion" ensemble of models with exact Standard Model chiral spectra.

Methodology
The authors employ a top-down approach, deriving axion physics from both the IIB superstring and the dual M-theory pictures.

1. Effective Action Derivation: They derive the axion coupling to QCD gauge fields ($a \text{tr}(F \wedge F)$) from the 7-brane Chern-Simons action and confirm this via M-theory duality using the $C_3 \wedge G_4 \wedge G_4$ topological term.
2. Potential Construction: The total axion potential is constructed as $V = V_{UV} + V_{IR}$.
   • $V_{IR}$ arises from non-perturbative QCD effects (pion mass term).
   • $V_{UV}$ is derived from the 4D $\mathcal{N}=1$ supergravity scalar potential, generated by Euclidean D3-brane (E3) instantons wrapping rigid (or flux-rigidified) divisors $D_\alpha$ on the base $B_3$.
3. Geometric Scanning: The study focuses on four specific base threefolds with small Hodge numbers ($h^{1,1}$): $\mathbb{P}^3$, $\mathbb{P}^1 \times \mathbb{P}^2$, the generalized Hirzebruch threefold $\tilde{F}_3$, and $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$. These are embedded within the "quadrillion" landscape models [61] using the Weierstrass model with fiber polytope $F_{11}$.
4. Constraints and Classification: The authors impose two primary constraints on the Kähler moduli space:
   • CP Violation: The vacuum expectation value of the potential must yield $\theta_{QCD} < 10^{-10}$.
   • Gauge Couplings: The inverse gauge couplings at the string scale (interpolated from low-energy data via RG flow) must satisfy lower bounds. Two scenarios are considered: a lower SUSY breaking scale ($M_{SUSY} \sim 10^4$ GeV) leading to stricter bounds ("Y" models), and a high SUSY breaking scale ($M_{SUSY} \sim 10^{11}$ GeV) leading to looser bounds ("O" models). Models failing these bounds are labeled "N".
   • Stretched Kähler Cone: The analysis is restricted to the "1-stretched Kähler cone" to suppress stringy corrections.

Key Contributions and Results

• Derivation of UV Potential: The paper explicitly derives the UV contribution to the axion potential ($V_{UV}$) from the non-perturbative superpotential in F-theory, demonstrating that it depends on the volumes of rigid/rigidified divisors.
• Exclusion of Geometric Backgrounds: By scanning the Kähler moduli space for the four base geometries, the authors find that many configurations are excluded.
  • For $B_3 = \mathbb{P}^3$, the simplest model with a rigidified divisor $[H]$ is excluded ("N"). However, models with rigidified divisors $[nH]$ are viable only if $n > 11$ ("Y") or $6 < n \le 11$ ("O").
  • For $B_3 = \mathbb{P}^1 \times \mathbb{P}^2$, the configuration with rigid divisors $[S]$ and $[H]$ is excluded ("N"). Configurations with $[S]$ and $[8H]$ are sensitive to the SUSY scale ("O"), while $[4S]$ and $[12H]$ are robustly viable ("Y").
  • Similar exclusion patterns are found for $\tilde{F}_3$ and $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$, where specific choices of rigidified divisors are required to satisfy both $\theta_{QCD}$ and gauge coupling constraints.
• Rigidity Requirement: A central finding is that for the strong CP problem to constrain the geometry, the divisors supporting the non-perturbative superpotential must be rigid or rigidified. If divisors are non-rigid, $V_{UV}$ vanishes, and the geometry remains unconstrained by $\theta_{QCD}$.
• Axion Phenomenology: For the allowed parameter regions, the authors estimate the typical QCD axion mass to be $m_a \sim 10^{-9}$ eV and the decay constant to be $f_a \sim 10^{15}$ GeV. These values place the predicted axions in the "right and bottom" region of the axion exclusion plot (Fig. 10), consistent with current experimental limits but potentially detectable by future experiments.
• Data Release: The authors provide a systematic classification of the scanned models in an associated data file, detailing the "Y", "O", and "N" status for various choices of line bundles $S_7, S_9$ and rigid divisors.

Significance and Claims
The paper claims to provide the first systematic constraints on F-theory MSSM model building derived specifically from the requirement of solving the strong CP problem via the QCD axion. The authors emphasize that:

1. String Geometry Constraints: The experimental bound on $\theta_{QCD}$ is powerful enough to exclude a significant portion of the geometric landscape, specifically ruling out models where the necessary rigid divisors cannot be arranged to satisfy the CP bound while maintaining realistic gauge couplings.
2. Robustness: The exclusion results are largely insensitive to the precise values of the Pfaffian coefficients ($A_D$) and the specific values of the flux-induced constants, provided they are of order unity.
3. Predictive Power: The framework yields specific predictions for the axion mass and decay constant within the allowed moduli space, suggesting that F-theory axions naturally reside near the string scale ($10^{15}$ GeV) with masses in the $10^{-9}$ eV range.
4. Limitations: The authors modestly note that their analysis assumes specific choices of line bundles ($S_7 = S_9 = -K_{B_3}$) and does not explicitly solve for the specific $G_4$ fluxes required to rigidify the divisors, a complex problem left for future work. They also note that GUT-type models (e.g., $SU(5)$) may have more freedom to tune parameters and thus might be less constrained by these specific bounds.

In summary, the paper establishes a direct link between the phenomenological requirement of a small $\theta_{QCD}$ and the geometric rigidity of the compactification space in F-theory, effectively narrowing the viable landscape for MSSM constructions.