On effective F-theory action in type IIA compactifications

Igor Kriz, Hao Xing

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…