F-theory compactifications are by definition compactifications of the type IIB string with non-zero, and in general non-constant string coupling – they are thus intrinsically non-perturbative. F-theory may also seen as a construction to geometrize (and thereby making manifest) certain features pertaining to the S-duality of the type IIB string.
Let us first recapitulate the most important massless bosonic fields of the type IIB string. From the NS-NS sector, we have the graviton gμν, the antisymmetric 2-form field B as well as the dilaton φ; the latter, when exponentiated, serves as the coupling constant of the theory. Moreover, from the R-R sector we have the p-form tensor fields C(p) with p = 0,2,4. It is also convenient to include the magnetic duals of these fields, B(6), C(6) and C(8) (C(4) has self-dual field strength). It is useful to combine the dilaton with the axion into one complex field:
τIIB ≡ C(0) + ie-φ —– (1)
The S-duality then acts via projective SL(2, Z) transformations in the canonical manner:
τIIB → (aτIIB + b)/(cτIIB + d) with a, b, c, d ∈ Z and ad – bc = 1
Furthermore, it acts via simple matrix multiplication on the other fields if these are grouped into doublets (B(2)C(2)), (B(6)C(4)), while C(4) stays invariant.
The simplest F-theory compactifications are the highest dimensional ones, and simplest of all is the compactification of the type IIB string on the 2-sphere, P1. However, as the first Chern class does not vanish: C1(P1) = – 2, this by itself cannot be a good, supersymmetry preserving background. The remedy is to add extra 7-branes to the theory, which sit at arbitrary points zi on the P1, and otherwise fill the 7+1 non-compact space-time dimensions. If this is done in the right way, C1(P1) is cancelled, thereby providing a consistent background.
Encircling the location of a 7-brane in the z-plane leads to a jump of the perceived type IIB string coupling, τIIB →τIIB +1.
To explain how this works, consider first a single D7-brane located at an arbitrary given point z0 on the P1. A D7-brane carries by definition one unit of D7-brane charge, since it is a unit source of C(8). This means that is it magnetically charged with respect to the dual field C(0), which enters in the complexified type IIB coupling in (1). As a consequence, encircling the plane location z0 will induce a non-trivial monodromy, that is, a jump on the coupling. But this then implies that in the neighborhood of the D7-brane, we must have a non-constant string coupling of the form: τIIB(z) = 1/2πiIn[z – z0]; we thus indeed have a truly non-perturbative situation.
In view of the SL(2, Z) action on the string coupling (1), it is natural to interpret it as a modular parameter of a two-torus, T2, and this is what then gives a geometrical meaning to the S-duality group. This modular parameter τIIB = τIIB(Z) is not constant over the P1 compactification manifold, the shape of the T2 will accordingly vary along P1. The relevant geometrical object will therefore not be the direct product manifold T2 x P1, but rather a fibration of T2 over P1
Fibration of an elliptic curve over P1, which in total makes a K3 surface.
The logarithmic behavior of τIIB(z) in the vicinity of a 7-brane means that the T2 fiber is singular at the brane location. It is known from mathematics that each of such singular fibers contributes 1/12 to the first Chern class. Therefore we need to put 24 of them in order to have a consistent type IIB background with C1 = 0. The mathematical data: “T2 fibered over P1 with 24 singular fibers” is now exactly what characterizes the K3 surface; indeed it is the only complex two-dimensional manifold with vanishing first Chern class (apart from T4).
The K3 manifold that arises in this context is so far just a formal construct, introduced to encode of the behavior of the string coupling in the presence of 7-branes in an elegant and useful way. One may speculate about a possible more concrete physical significance, such as a compactification manifold of a yet unknown 12 dimensional “F-theory”. The existence of such a theory is still unclear, but all we need the K3 for is to use its intriguing geometric properties for computing physical quantities (the quartic gauge threshold couplings, ultimately).
In order to do explicit computations, we first of all need a concrete representation of the K3 surface. Since the families of K3’s in question are elliptically fibered, the natural starting point is the two-torus T2. It can be represented in the well-known “Weierstraβ” form:
WT2 = y2 + x3 + xf + g = 0 —– (2)
which in turn is invariantly characterized by the J-function:
J = 4(24f)3/(4f3 + 27g2) —– (3)
An elliptically fibered K3 surface can be made out of (2) by letting f → f8(z) and g → g12(z) become polynomials in the P1 coordinate z, of the indicated orders. The locations zi of the 7-branes, which correspond to the locations of the singular fibers where J(τIIB(zi)) → ∞, are then precisely where the discriminant
∆(z) ≡ 4f83(z) + 27g122(z)
=: ∏i=124(z – zi) vanishes.