We test various conjectures about quantum gravity for six-dimensional string compactifications in the framework of F-theory. Starting with a gauge theory coupled to gravity, we analyze the limit in Kähler moduli space where the gauge coupling tends to zero while gravity is kept dynamical. We show that such a limit must be located at infinite distance in the moduli space. As expected, the low-energy effective theory breaks down in this limit due to a tower of charged particles becoming massless. These are the excitations of an asymptotically tensionless string, which is shown to coincide with a critical heterotic string compactified to six dimensions.For a more quantitative analysis, we focus on a U (1) gauge symmetry and use a chain of dualities and mirror symmetry to determine the elliptic genus of the nearly tensionless string, which is given in terms of certain meromorphic weak Jacobi forms. Their modular properties in turn allow us to determine the charge-to-mass ratios of certain string excitations near the tensionless limit. We then provide evidence that the tower of asymptotically massless charged states satisfies the (sub-)Lattice Weak Gravity Conjecture, the Completeness Conjecture, and the Swampland Distance Conjecture. Quite remarkably, we find that the number theoretic properties of the elliptic genus conspire with the balance of gravitational and scalar forces of extremal black holes, such as to produce a narrowly tuned charge spectrum of superextremal states. As a byproduct, we show how to compute elliptic genera of both critical and non-critical strings, when refined by Mordell-Weil U (1) symmetries in F-theory. seung.joo.lee, wolfgang.lerche, timo.weigand @cern.ch arXiv:1808.05958v3 [hep-th] 23 Oct 2018As it turns out, C 0 necessarily intersects the curve C and hence the strings associated to the C 0 are charged under the 7-brane gauge group. A tower of light charged states thus appear in the effective theory, whose masses vanish exponentially fast as we approach the limit g YM → 0. This signals the breakdown of the effective theory, which in a sense provides a microscopic censor that forbids the appearance of a global symmetry.3We can be considerably more quantitative. Since the curve C 0 is always a rational curve of vanishing self-intersection, its zero-mode structure [41,42] coincides with the zero mode structure of a heterotic string. Near the tensionless limit, the string in fact becomes identical to the familiar, critical heterotic string compactified to six dimensions. Note that the physics of the nearly tensionless heterotic string is fundamentally different from the non-critical strings that arise from curves with negative self-intersection. These become tensionless at superconformal points of 6d N = (1, 0) gauge/tensor theories in the absence of gravity [43,44] (see the recent review [45] for more details). The critical heterotic strings we consider include gravity, however, and may also be weakly coupled.The appearance of a weakly coupled heterotic string is evident when the base, B 2 ...