M-Theory Versus F-Theory Pictures of the Heterotic String

TL;DR

This paper explores duality between M-theory and F-theory descriptions of the heterotic string, analyzing different degenerations of K3 surfaces to connect these frameworks and derive instanton configurations.

Contribution

It provides a detailed comparison of K3 surface degenerations in M-theory and F-theory, establishing a direct link between their descriptions of heterotic string phenomena.

Findings

Reproduces the Horava-Witten picture via differential geometric degeneration

Connects stable degeneration in algebraic geometry to F-theory models

Derives M-theory instanton configurations from F-theory perspectives

Abstract

If one begins with the assertion that the type IIA string compactified on a K3 surface is equivalent to the heterotic string on a four-torus one may try to find a statement about duality in ten dimensions by decompactifying the four-torus. Such a decompactification renders the K3 surface highly singular. The resultant K3 surface may be analyzed in two quite different ways - one of which is natural from the point of view of differential geometry and the other from the point of view of algebraic geometry. We see how the former leads to a "squashed K3 surface" and reproduces the Horava-Witten picture of the heterotic string in M-theory. The latter produces a "stable degeneration" and is tied more closely to F-theory. We use the relationship between these degenerations to obtain the M-theory picture of a point-like E8-instanton directly from the F-theory picture of the same object.