On effective F-theory action in type IIA compactifications

Abstract

Diaconescu, Moore and Witten proved that the partition function of type IIA string theory coincides (to the extent checked) with the partition function of M-theory. One of us (Kriz) and Sati proposed in a previous paper a refinement of the IIA partition function using elliptic cohomology and conjectured that it coincides with a partition function coming from F-theory. In this paper, we define the geometric term of the F-theoretical effective action on type IIA compactifications. In the special case when the first Pontrjagin class of spacetime vanishes, we also prove a version of the Kriz-Sati conjecture by extending the arguments of Diaconescu-Moore-Witten. We also briefly discuss why even this special case contains interesting examples.

Some terminological clarifications, references added

References in corpus (9)

• Dirichlet-Branes and Ramond-Ramond Charges
• Heterotic and Type I String Dynamics from Eleven Dimensions
• Evidence for F-Theory
• F-theory and Orientifolds
• On Flux Quantization In M-Theory And The Effective Action
• Vector Bundles And F Theory
• Low-Energy Analysis of $M$ and $F$ Theories on Calabi-Yau Threefolds
• Type IIB String Theory, S-Duality, and Generalized Cohomology
• Closed and open conformal field theories and their anomalies

Cited by in corpus (1)

• Anomalies of E8 gauge theory on String manifolds