Letter
Open Access

A new vista on the heterotic moduli space from six and three dimensions

Michele Del Zotto^1,2, Marco Fazzi ^2,3, and Suvendu Giri ^2,4,5

¹Department of Mathematics, Uppsala University, SE-75120 Uppsala, Sweden
²Department of Physics and Astronomy, Uppsala University, SE-75120 Uppsala, Sweden
³NORDITA, Hannes Alfvéns väg 12, SE-10691 Stockholm, Sweden
⁴Department of Physics, Princeton University, Princeton, New Jersey 08544, USA
⁵Princeton Gravity Initiative, Princeton University, Princeton, New Jersey 08544, USA

Phys. Rev. D 109, L021903 – Published 23 January, 2024

DOI: https://doi.org/10.1103/PhysRevD.109.L021903

Abstract

We settle a longstanding question about the hypermultiplet moduli spaces of the heterotic strings on asymptotically locally Euclidean singularities. These heterotic backgrounds are specified by the singularity type, an instanton number, and a (nontrivial) flat connection at infinity. Building on their interpretation as six-dimensional theories, we determine a class of three-dimensional $N = 4$ quiver gauge theories whose quantum corrected Coulomb branch coincides with the exact heterotic hypermultiplet moduli space.

Physics Subject Headings (PhySH)

Article Text

References (60)

For compactifications on tori, a detailed analysis was carried out in [59].
A. Sen, Adv. Theor. Math. Phys. 1, 115 (1998).
E. Witten, J. High Energy Phys. 02 (2000) 025.
A. Hanany and A. Zaffaroni, J. High Energy Phys. 12 (1999) 014.
J. Bagger and E. Witten, Nucl. Phys. B222, 1 (1983).
A. L. Besse, Einstein Manifolds (Springer-Verlag, Berlin, Heidelberg, New York, 1987).
E. Witten, J. High Energy Phys. 02 (2000) 030.
M. F. Atiyah and N. J. Hitchin, Phil. Trans. R. Soc. A 315, 459 (1985).
A more precise statement is the following. The reduced moduli space of $k$ monopoles of $S U (2)$ (with the center-of-mass modulus factored out) is the same as the CB of pure $S U (k)$ , i.e. the $U (1)$ center of $U (k)$ decouples from the dynamics as it is free in the infrared. Alternatively, the moduli space of $k$ $S U (2)$ monopoles is the CB of $S U (k)$ times the moduli space of a free vector.
N. Seiberg and E. Witten, in Conference on the Mathematical Beauty of Physics (In Memory of C. Itzykson) (1996), pp. 333–366, arXiv:hep-th/9607163.
A. Hanany and E. Witten, Nucl. Phys. B492, 152 (1997).
G. Chalmers and A. Hanany, Nucl. Phys. B489, 223 (1997).
N. Dorey, V. V. Khoze, M. P. Mattis, D. Tong, and S. Vandoren, Nucl. Phys. B502, 59 (1997).
J. McKay, Proc. Symp. Pure Math. 37 (1980).
The pure $G$ theory with standard Yang–Mills kinetic term for the gauge field has $4 r$ massless real scalars if $G$ is semisimple of rank $r$ . Namely, the quaternionic dimension of its CB is $\dim_{H} CB (G) = r$ . The physics is free in the infrared for large vacuum expectation values of the scalars [10]. This can be extended to quivers with ADE shape, $U (n_{i})$ gauge groups, and (only) bifundamental matter. The CB has dimension $\dim_{H} CB = \sum_{i} n_{i}$ and is interpreted as the moduli space of BPS monopoles of $S U (r + 1)$ with $r \geq 1$ , if $r$ is the rank of the ADE group [60]. In type A, this matches what found in [11] via type IIB brane constructions.
M. Rozali, J. High Energy Phys. 12 (1999) 013.
P. Mayr, J. High Energy Phys. 08 (2000) 042.
P. S. Aspinwall and M. R. Plesser, J. High Energy Phys. 04 (2000) 025.
E. Witten, Nucl. Phys. B460, 541 (1996).
P. Horava and E. Witten, Nucl. Phys. B460, 506 (1996).
P. Horava and E. Witten, Nucl. Phys. B475, 94 (1996).
M. Del Zotto, J. J. Heckman, A. Tomasiello, and C. Vafa, J. High Energy Phys. 02 (2015) 054.
Equivalently, $H = d B + CS (A) - CS (ω)$ , where CS is the Chern–Simons invariant, $A$ the gauge connection, and $ω$ the spin connection. E.g. $CS (A) = Tr (A \land d A + \frac{2}{3} A \land A \land A)$ .
A. Hanany and A. Zaffaroni, Nucl. Phys. B529, 180 (1998).
M. Del Zotto, M. Liu, and P.-K. Oehlmann, J. High Energy Phys. 01 (2023) 176.
M. Del Zotto, M. Liu, and P.-K. Oehlmann, arXiv:2212.05311.
M. Del Zotto, M. Liu, and P.-K. Oehlmann (to be published).
P. S. Aspinwall and D. R. Morrison, Nucl. Phys. B503, 533 (1997).
J. D. Blum and K. A. Intriligator, Nucl. Phys. B506, 199 (1997).
J. D. Blum and K. A. Intriligator, Nucl. Phys. B506, 223 (1997).
K. A. Intriligator, Adv. Theor. Math. Phys. 1, 271 (1998).
L. Bhardwaj, M. Del Zotto, J. J. Heckman, D. R. Morrison, T. Rudelius, and C. Vafa, Phys. Rev. D 93, 086002 (2016); 100, 029901(E) (2019).
J. J. Heckman, T. Rudelius, and A. Tomasiello, J. High Energy Phys. 02 (2019) 167.
M. Del Zotto and G. Lockhart, J. High Energy Phys. 08 (2018) 173.
These are specific 6D theories denoted $Ω_{N} (μ)$ , where $μ : Γ_{G} \to E_{8}$ is a group homomorphism and $N$ is a non-negative integer (for their classification see e.g. Heckman:2015bfa,Frey:2018vpw).
N. J. Hitchin, A. Karlhede, U. Lindstrom, and M. Rocek, Commun. Math. Phys. 108, 535 (1987).
Importantly, they may be approached with techniques already available in the literature.
S. Cabrera, A. Hanany, and M. Sperling, J. High Energy Phys. 06 (2019) 071; 07 (2019) 137(E).
A. Dancer, F. Kirwan, and A. Swann, arXiv:1209.1578.
A. Dancer, A. Hanany, and F. Kirwan, Adv. Theor. Math. Phys. 25, 1367 (2021).
In physics, it simply means we can ungauge a $U (1)$ by gauging the topological $U (1)$ symmetry that comes with it.
A. Hanany and G. Zafrir, J. High Energy Phys. 07 (2018) 168.
I.e., a hypermultiplet transforming in the $(k_{1} \otimes \bar{k_{2}}) \oplus (\bar{k_{1}} \otimes k_{2})$ representation of $U (k_{1}) \times U (k_{2})$ .
D. Gaiotto and E. Witten, Adv. Theor. Math. Phys. 13, 721 (2009).
This is a consequence of the “s-rule” (ensuring that supersymmetry is preserved) in a type IIB engineering via D3-D5-NS5-branes of this quiver [11, 44].
K. A. Intriligator and N. Seiberg, Phys. Lett. B 387, 513 (1996).
V. Kac, Infinite-Dimensional Lie Algebras (Cambridge University Press, Cambridge, England, 1990).
N. Seiberg, Phys. Lett. B 408, 98 (1997).
M. Del Zotto, M. Fazzi, and S. Giri, arXiv:2307.11087.
S. Cabrera, A. Hanany, and M. Sperling, J. High Energy Phys. 02 (2020) 184.
M. Fazzi, S. Giri, and P. Levy, arXiv:2312.17178.
N. Mekareeya, K. Ohmori, Y. Tachikawa, and G. Zafrir, J. High Energy Phys. 09 (2017) 144.
Remember that the quaternionic dimension of the HB in a theory with eight supercharges in any spacetime dimension is found by subtracting the total number of vector multiplets from that of hypermultiplets.
M. Fazzi and S. Giri, J. High Energy Phys. 12 (2022) 076.
M. Fazzi, S. Giacomelli, and S. Giri, J. High Energy Phys. 03 (2023) 089.
G. W. Moore and Y. Tachikawa, Proc. Symp. Pure Math. 85, 191 (2012).
S. Cecotti, S. Ferrara, and L. Girardello, Int. J. Mod. Phys. A 04, 2475 (1989).
N. Hitchin, Commun. Math. Phys. 324, 77 (2013).
J. de Boer, R. Dijkgraaf, K. Hori, A. Keurentjes, J. Morgan, D. R. Morrison, and S. Sethi, Adv. Theor. Math. Phys. 4, 995 (2002).
D. Tong, Phys. Lett. B 448, 33 (1999).

Phys. Rev. D 109, L021903– Published 23 January, 2024

Vol. 109, Iss. 2 — 15 January 2024

Received 3 September 2023
Accepted 19 December 2023

DOI: https://doi.org/10.1103/PhysRevD.109.L021903

Published by the American Physical Society under the terms of the Creative Commons Attribution 4.0 International license. Further distribution of this work must maintain attribution to the author(s) and the published article’s title, journal citation, and DOI. Funded by SCOAP³.

Published by the American Physical Society

Physical Review D

Reuse & Permissions

Export citation

Export citation

A new vista on the heterotic moduli space from six and three dimensions

Abstract

Physics Subject Headings (PhySH)

Article Text

References (60)

Outline

Information

Filter

Filter

Article Lookup

Enter a citation