String compactifications on Calabi-Yau stacks

TL;DR

This paper explores string compactifications on Calabi-Yau stacks, defining their properties, and demonstrating that stacks classify universality classes of gauged sigma models, including string orbifolds, with presentation-independence of IR physics.

Contribution

It introduces the concept of Calabi-Yau stacks in string theory, clarifies their role in classifying universality classes of gauged sigma models, and resolves past controversies regarding string orbifolds.

Findings

Calabi-Yau stacks can be associated with gauged sigma models.

Boundary states in the open string B model are counted by derived categories.

IR physics is presentation-independent, confirming stacks classify universality classes.

Abstract

In this paper we study string compactifications on Deligne-Mumford stacks. The basic idea is that all such stacks have presentations to which one can associate gauged sigma models, where the group gauged need be neither finite nor effectively-acting. Such presentations are not unique, and lead to physically distinct gauged sigma models; stacks classify universality classes of gauged sigma models, not gauged sigma models themselves. We begin by defining and justifying a notion of ``Calabi-Yau stack,'' recall how one defines sigma models on (presentations of) stacks, and calculate of physical properties of such sigma models, such as closed and open string spectra. We describe how the boundary states in the open string B model on a Calabi-Yau stack are counted by derived categories of coherent sheaves on the stack. Along the way, we describe numerous tests that IR physics is presentation-independent, justifying the claim that stacks classify universality classes. String orbifolds are one special case of these compactifications, a subject which has proven controversial in the past; however we resolve the objections to this description of which we are aware. In particular, we discuss the apparent mismatch between stack moduli and physical moduli, and how that discrepancy is resolved.