A. Belhaj,J. Rasmussen,A. Sebbar,M.B. Sedra
Abstract:Based on mirror symmetry, we discuss geometric engineering of N=1 ADE quiver models from F-theory compactifications on elliptic K3 surfaces fibered over certain four-dimensional base spaces. The latter are constructed as intersecting 4-cycles according to ADE Dynkin diagrams, thereby mimicking the construction of Calabi-Yau threefolds used in geometric engineering in type II superstring theory. Matter is incorporated by considering D7-branes wrapping these 4-cycles. Using a geometric procedure referred to as folding, we discuss how the corresponding physics can be converted into a scenario with D5-branes wrapping 2-cycles of ALE spaces.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper aims to construct four - dimensional N = 1 ADE quiver models on elliptic K3 surfaces through F - theory compactification, thereby exploring the applications of geometric engineering. Specifically, the article attempts to solve the following key problems:
1. **Constructing four - dimensional N = 1 ADE quiver models**:
- Based on mirror symmetry, the article discusses how to geometrically construct four - dimensional N = 1 ADE quiver models from the compactification of F - theory on elliptic K3 surfaces. These models are realized by wrapping D7 - branes around 4 - cycles.
2. **Introducing matter fields**:
- The article studies how to introduce matter fields by considering D7 - branes wrapping these 4 - cycles. In addition, it also discusses a geometric process called "folding", which can transform physical phenomena into the situation where D5 - branes wrap 2 - cycles in ALE spaces.
3. **Understanding the relationship between high - dimensional geometry and low - dimensional physics**:
- The article explores in detail how to transform high - dimensional geometric structures (such as elliptic K3 - surface fibrations) into low - dimensional physical models (such as four - dimensional N = 1 supersymmetric gauge theories) through F - theory compactification. This involves the specific construction of ADE Dynkin diagrams and intersecting 4 - cycles.
4. **Connecting different types of string theory models**:
- The article also explores the relationship between F - theory models and type II string theory models, especially connecting F - theory models with type II string theory models containing D5 - branes through the folding process.
### Specific technical means
To achieve the above goals, the article adopts the following key technical means:
- **Elliptic K3 - surface fibration**: The article considers the compactification of elliptic K3 - surface fibration on a specific four - dimensional base space.
- **ADE Dynkin diagrams**: By constructing intersecting 4 - cycles so that these cycles intersect in the way of ADE Dynkin diagrams, the corresponding gauge group factors are formed.
- **D7 - branes and D5 - branes**: By introducing D7 - branes wrapping 4 - cycles and using the folding process to convert them into D5 - branes wrapping 2 - cycles, matter fields are introduced and the model is simplified.
- **Geometric engineering**: The article uses the geometric engineering method to connect high - dimensional geometric structures with low - dimensional physical models, ensuring that the constructed models have clear physical meanings.
In summary, the main purpose of this paper is to construct and analyze four - dimensional N = 1 ADE quiver models through F - theory compactification and geometric engineering methods, explore their applications in supersymmetric gauge theories, and connect them with other types of string theory models through the folding process.