Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Orientifolds for F-theory on K3 Surfaces

Charles Doran, Andreas Malmendier, Stefan Mendez-Diez, Jonathan Rosenberg

TL;DR

The work analyzes F-theory orientifolds on elliptically fibered K3 surfaces through a lattice-polarized framework that connects complex geometry (notably Kummer and Jacobian Kummer constructions) with real-structure physics via $KR$-theory. It develops a rank-17 Picard-lattice family and shows how holomorphic and antiholomorphic involutions, as well as even-eights and Göpel groups, organize the D-brane spectra and O-plane charges, including Bob-style twistings by Brauer classes and the Brauer twist from the Jacobian fibration. A central contribution is the explicit normal form for the K3 family, tied to an abelian-surface polarization $(2,4)$ and modular-parametrization by genus-2 theta constants, along with a detailed lattice-invariant analysis under three commuting anti-symplectic involutions. The Real-geometry perspective yields three distinct real orientifold families with specific isotrivial-degeneration limits, clarifying how $B$-field and Brauer twists influence the D-brane charge spectra and duality relations, and setting the stage for heterotic/M-theory extensions.

Abstract

We study F-theory orientifolds, starting with products of two elliptic curves, but focusing mostly on a family of K3 surfaces, lattice polarized by the rank-17 lattice $\langle 8 \rangle \oplus 2D_8(-1)$, generalizing the family (to which it degenerates) of Kummer surfaces of products of two non-isogenous elliptic curves. After a thorough study of the complex geometry of this family and its elliptic fibrations, we proceed to study real structures on the K3 surfaces in the family which are equivariant with respect to an elliptic fibration. We also study the physics of the associated F-theory orientifolds with a particular focus on the impact of the real structure on the charge spectrum. We also study how these orientifolds degenerate to the case of isotrivial Kummer surface fibrations.

Orientifolds for F-theory on K3 Surfaces

TL;DR

The work analyzes F-theory orientifolds on elliptically fibered K3 surfaces through a lattice-polarized framework that connects complex geometry (notably Kummer and Jacobian Kummer constructions) with real-structure physics via -theory. It develops a rank-17 Picard-lattice family and shows how holomorphic and antiholomorphic involutions, as well as even-eights and Göpel groups, organize the D-brane spectra and O-plane charges, including Bob-style twistings by Brauer classes and the Brauer twist from the Jacobian fibration. A central contribution is the explicit normal form for the K3 family, tied to an abelian-surface polarization and modular-parametrization by genus-2 theta constants, along with a detailed lattice-invariant analysis under three commuting anti-symplectic involutions. The Real-geometry perspective yields three distinct real orientifold families with specific isotrivial-degeneration limits, clarifying how -field and Brauer twists influence the D-brane charge spectra and duality relations, and setting the stage for heterotic/M-theory extensions.

Abstract

We study F-theory orientifolds, starting with products of two elliptic curves, but focusing mostly on a family of K3 surfaces, lattice polarized by the rank-17 lattice , generalizing the family (to which it degenerates) of Kummer surfaces of products of two non-isogenous elliptic curves. After a thorough study of the complex geometry of this family and its elliptic fibrations, we proceed to study real structures on the K3 surfaces in the family which are equivariant with respect to an elliptic fibration. We also study the physics of the associated F-theory orientifolds with a particular focus on the impact of the real structure on the charge spectrum. We also study how these orientifolds degenerate to the case of isotrivial Kummer surface fibrations.

Paper Structure

This paper contains 32 sections, 37 theorems, 184 equations, 2 tables.

Table of Contents

  1. Introduction
  2. Type IIA vs IIB Orientifolds
  3. Classifying $\mathbf{D}$-branes
  4. Involutions on the product of two elliptic curves
  5. The type I theory and its $T$-duals
  6. The type Ĩ theory and its $T$-duals
  7. Non-Trivial $B$-field
  8. Involutions on the Kummer surface of a product of two elliptic curves
  9. Elliptic K3 surfaces of Picard rank 17
  10. Imposing the existence of holomorphic involutions
  11. Establishing a normal form
  12. Relation to Abelian surfaces
  13. Construction of a Jacobian Kummer surface
  14. Determining the associated Göpel group
  15. Construction via even eights
  16. ...and 17 more sections

Key Result

Theorem 3.1

If $E_1$ and $E_2$ are complex elliptic curves, then there is an isomorphism where $\iota$ is multiplication by $-1$ and the map $KO_\bullet(E_1\times E_2) \xrightarrow{\cong} KR^{-\bullet}(E_1\times E_2, \iota)$ is given by the real Baum-Connes isomorphism for a free abelian group.

Theorems & Definitions (60)

  • Theorem 3.1: MR3305978
  • Theorem 4.2
  • proof
  • Remark 4.3
  • Proposition 5.1
  • proof
  • Lemma 5.2
  • proof
  • Lemma 5.3
  • Lemma 5.4
  • ...and 50 more