[Paper Review] String Theory on K3 Surfaces

Paul S. Aspinwall, D.R.O. Morrison|ArXiv.org|Apr 24, 1994

Black Holes and Theoretical PhysicsPhysics and Astronomy25 references147 citations

TL;DR

This paper determines the moduli space of N=(4,4) string theories on K3 surfaces by combining classical K3 moduli analysis with mirror symmetry, proving the discrete symmetry group is the full integral orthogonal group of an even unimodular lattice of signature (4,20). The work establishes a precise quantum-geometric description of the moduli space and provides a CFT interpretation of Arnold's strange duality via mirror maps on algebraic K3 surfaces.

ABSTRACT

The moduli space of N=(4,4) string theories with a K3 target space is determined, establishing in particular that the discrete symmetry group is the full integral orthogonal group of an even unimodular lattice of signature (4,20). The method combines an analysis of the classical theory of K3 moduli spaces with mirror symmetry. A description of the moduli space is also presented from the viewpoint of quantum geometry, and consequences are drawn concerning mirror symmetry for algebraic K3 surfaces.

Motivation & Objective

• To determine the global structure of the moduli space of N=(4,4) string theories with K3 target space.
• To resolve the long-standing ambiguity in the global form of the moduli space by combining classical geometry with mirror symmetry.
• To provide a quantum-geometric description of the moduli space that includes both complex structure and Kähler deformations with B-fields.
• To give a conformal field theory interpretation of mirror symmetry phenomena on algebraic K3 surfaces, including Arnold's strange duality.
• To establish a link between mirror maps on K3 surfaces and Voisin's construction of mirror pairs for Calabi-Yau threefolds via orbifolds.

Proposed method

• Analyzes the classical moduli space of K3 surfaces using the intersection form on H^2(X,Z) and the N=(4,4) superconformal algebra.
• Applies mirror symmetry to relate the moduli space of K3 sigma-models to its dual, identifying the mirror map as a non-trivial automorphism on the space of metrics and B-fields.
• Uses the structure of the even unimodular lattice Λ^{4,20} to describe the global moduli space as a quotient Γ\G/H, where G is the orthogonal group O(4,20) and Γ is the discrete orthogonal group.
• Introduces a CFT moduli space of type M by combining complex structure deformations (algebraic K3 of type M) with Kähler and B-field data from M⊗R.
• Constructs a mirror map μ that exchanges the roles of complex structure and Kähler moduli by swapping hyperbolic planes in the cohomology lattice.
• Relates the K3 mirror map to Voisin's construction of mirror Calabi-Yau threefolds via Z2-orbifolds of X×E, showing that K3 mirror pairs induce mirror pairs of threefolds.

Experimental results

Research questions

• RQ1 What is the global structure of the moduli space of N=(4,4) string theories on K3 surfaces?
• RQ2 How does mirror symmetry act on the moduli space of K3 sigma-models, and can it be used to determine the full discrete symmetry group?
• RQ3 Can the mirror map on K3 surfaces provide a CFT interpretation of Arnold's strange duality for algebraic K3 surfaces?
• RQ4 How does the inclusion of the B-field affect the moduli space structure, given that it lives in a 22-dimensional space while Kähler forms span at most 20 dimensions?
• RQ5 To what extent does the mirror map on K3 surfaces reproduce known mirror constructions for Calabi-Yau threefolds, such as Voisin's orbifold construction?

Key findings

• The moduli space of N=(4,4) string theories on K3 surfaces is globally isomorphic to the double coset space Γ\O(4,20)/O(4)×O(20), where Γ is the full integral orthogonal group of the even unimodular lattice Λ^{4,20}.
• The discrete symmetry group of the moduli space is the full integral orthogonal group O(Λ^{4,20}), confirming that the global structure is completely determined by the lattice's isometries.
• Mirror symmetry acts as a non-trivial automorphism on the moduli space, exchanging the roles of complex structure and Kähler moduli via a map that swaps hyperbolic planes in the cohomology lattice.
• For any primitive sublattice M ⊂ H^2(X,Z) of signature (1,ρ−1), the CFT moduli space of type M has complex dimension 20, with complex structure deformations of dimension 20−ρ and Kähler/B-field deformations of dimension ρ.
• When M⊥ = H⊕N for some lattice N, the mirror map μ sends the CFT moduli space of type M to that of type N, providing a CFT realization of Arnold's strange duality.
• The K3 mirror map directly implies that the orbifold construction Y=(X×E)/Z2 yields truly mirror Calabi-Yau threefolds Y1 and Y2 at the level of conformal field theory, when X1 and X2 are mirror K3s.