Giveon and Witten (Phys. Lett. B 332 (1994) 44) proved that mirror duality for supersymmetric string backgrounds whose target is a group manifold is a gauge symmetry: the mirror transformation, which flips the sign of one chirality's current, is a symmetry of the given structure precisely when it is realized as a Weyl rotation of the chiral group symmetry, making the model self-mirror and letting mirror act on the moduli space as a gauge transformation. They verified the criterion for , and the series, showed it fails for , and conjectured - as the stated main motivation of their work - that mirror symmetry for Calabi-Yau compactifications is a gauge symmetry in the same sense: a mirror pair should arise at the boundary of a moduli space of backgrounds with sigma-model target-space dimension , flowing from a self-mirror point of enhanced symmetry along exactly marginal (current-current type) deformation lines, with orbifold identifications and GSO twists. The objective is to determine whether the Giveon-Witten Calabi-Yau gauge-symmetry conjecture holds - proving or refuting it together with its constructive content - and to complete the classification of mirror-as-gauge on groups and cosets.
Background
In string theory a two-dimensional conformal field theory (CFT) describes string propagation in a target spacetime, and target-space dualities are equivalences between geometrically distinct backgrounds sharing the same worldsheet CFT. The prototype is T-duality, , for a string on a circle of radius . T-duality can be understood as a gauge symmetry: at the self-dual radius the worldsheet current algebra is enlarged to , and the duality acts at that enhanced-symmetry point as a Weyl reflection - an element of the Weyl group, the finite group generated by reflections in the roots of a compact Lie group - so away from the point it survives only as a residual discrete gauge transformation acting on the moduli. Giveon and Kiritsis extended this picture to lines of exactly marginal current-current deformations (exactly marginal: perturbations that preserve conformal invariance to all orders in perturbation theory; current-current: deformations by products of chiral affine currents) of Wess-Zumino-Witten (WZW) models - two-dimensional CFTs whose target is a group manifold at level and whose currents generate an affine Lie algebra (the central extension of the loop algebra of the Lie algebra of ) - showing that the resulting axial-vector duality is a broken gauge symmetry relating coset backgrounds (models obtained from a WZW model by gauging a subgroup and restricting to invariant fields) of different topology. Mirror symmetry is another target-space duality, specific to supersymmetric worldsheet theories. The superconformal algebra is an extended chiral algebra containing, besides the stress tensor, two supercurrents and a current ; sigma models with worldsheet supersymmetry on Calabi-Yau manifolds (Kahler manifolds with vanishing first Chern class) are the basic geometric examples, with internal central charge giving critical type II strings in four flat dimensions. A mirror transformation is an isomorphism of CFTs acting on the chiral currents as in one chirality while fixing the other; geometrically it exchanges the complex-structure and Kahler moduli of Calabi-Yau targets. Giveon and Witten proved that on group-manifold backgrounds mirror duality is itself a gauge symmetry. Any even-dimensional group admits an affine structure: one chooses a complex structure on the Lie algebra, equivalently a decomposition of the complexified Lie algebra into conjugate closed subalgebras . The mirror transformation acts on the left-moving complex structure as , and the key criterion is that mirror is a symmetry of the given model if and only if it is realized by a Weyl rotation in the left-moving group ; the model is then self-mirror, and on the moduli space spanned by exactly marginal current-current deformations of the Cartan currents (the commuting generators of the chiral algebra) the mirror acts as the linear map on deformation parameters induced by . They verified the criterion for (the mirror is a -rotation of ), for , and for the series, and showed it fails for , where the needed Weyl element does not exist and mirror maps the chosen structure to a different one. The paper's central conjecture (its Section 8, described by the authors as the main motivation of the work) concerns Calabi-Yau compactifications. It is not known how to connect the two members of a Calabi-Yau mirror pair by marginal deformations of their CFTs alone. By analogy with the two-dimensional black hole, where the axially gauged coset (the cigar) and the vectorially gauged coset (the trumpet) cannot be connected within the coset CFT but are exchanged by mirror-as-gauge inside the moduli space of backgrounds with four-dimensional target connected to , Giveon and Witten conjectured that a mirror pair of Calabi-Yau backgrounds (times a non-compact space) could appear at the boundary of the moduli space of backgrounds with sigma-model target-space dimension (here is the real target-space dimension of the worldsheet sigma model; the Calabi-Yau sigma model itself has ), that this moduli space may contain a self-mirror point with enhanced symmetry group , and that mirror symmetry is a gauge transformation in there. As evidence they exhibited a tensor product of an minimal-model coset ( minimal models being the simplest rational superconformal theories) with four WZW factors at total central charge , projected by a GSO (Gliozzi-Scherk-Olive) twist (an orbifold projection by using the current, required for spacetime supersymmetry in fermionic string constructions): deforming the Cartan torus, one boundary gives the Calabi-Yau sigma model associated with a Gepner model (a tensor product of minimal models that at special levels is equivalent to a Calabi-Yau hypersurface in projective space), and the other boundary gives its mirror through orbifold identifications (quotients by the discrete symmetry , whose consistent worldsheet description includes twisted sectors). Whether such a gauge-symmetry realization exists beyond such special backgrounds - in particular for generic Calabi-Yau mirror pairs - remains unproven, and the group-manifold case has never been systematically classified.
Problem Statement
Determine the scope of the statement that mirror duality is a gauge symmetry of string theory, in the sense established by Giveon and Witten for group-manifold backgrounds. The problem has two linked parts whose common objective is to chart exactly where the mirror-as-gauge picture holds. Part 1 (the Giveon-Witten Section-8 conjecture, Calabi-Yau case): establish or refute that mirror symmetry for Calabi-Yau compactifications is a gauge symmetry - that is, determine whether, for mirror pairs of Calabi-Yau backgrounds, there exists a moduli space of backgrounds with sigma-model target-space dimension containing a self-mirror point of enhanced symmetry , such that (i) both members of the mirror pair arise at the boundary of this moduli space along exactly marginal, current-current-type deformation lines, possibly involving orbifold identifications and GSO twists, and (ii) the mirror involution ( in one chirality, fixed in the other) is realized as a gauge transformation in the enhanced symmetry group at the self-mirror point. The source states this conjecture generally, with direct evidence only for Gepner-type backgrounds; its constructive content, across the class of mirror pairs the conjecture claims, consists in identifying the enhanced point, the deformation line, and the map between the sigma-model data (metric, -field, fermionic couplings) along the line and the action of the mirror/gauge transformation, including the fermionic terms in current-current perturbations and the fate of orbifold twisted sectors at the boundaries. A refutation of the general conjecture requires an obstruction valid against all candidate enhanced points and marginal paths, not merely specific constructions. Part 2 (classification on groups and cosets): classify the superconformal structures on group manifolds - semi-simple and non-semi-simple - and on coset constructions such as the Kazama-Suzuki models (the standard superconformal coset constructions of WZW models), into those for which the mirror transformation is a gauge symmetry, realizable by a Weyl rotation or group automorphism of the chiral symmetry, and those, like with its standard structure, for which mirror necessarily maps the chosen structure to an inequivalent one. The known positive cases (, , the series) and the single known negative case do not constitute a classification; the criterion of Giveon and Witten exists but has not been systematically evaluated, including for structures related by Poisson-Lie T-duality (a non-Abelian generalization of T-duality), where the mirror transformation is realized as a duality between two backgrounds rather than as the Weyl-rotation or group-automorphism gauge symmetry of a single model that the classification requires, so those structures still have to be evaluated against the criterion.
References
- Amit Giveon and Edward Witten, "Mirror symmetry as a gauge symmetry", Physics Letters B 332 (1994) 44-50. DOI: 10.1016/0370-2693(94)90856-7. https://arxiv.org/abs/hep-th/9404184
- Amit Giveon and Elias Kiritsis, "Axial vector duality as a gauge symmetry and topology change in string theory", Nuclear Physics B 411 (1994) 487-508. DOI: 10.1016/0550-3213(94)90460-X. https://arxiv.org/abs/hep-th/9303016
- Tomomi Muto, "Axial vector duality as a mirror symmetry", Physics Letters B 343 (1995) 153-160. DOI: 10.1016/0370-2693(94)01463-M. https://arxiv.org/abs/hep-th/9409072
- David R. Morrison and M. Ronen Plesser, "Towards mirror symmetry as duality for two-dimensional abelian gauge theories", Nuclear Physics B Proceedings Supplement 46 (1996) 177-186. DOI: 10.1016/0920-5632(96)00020-5. https://arxiv.org/abs/hep-th/9508107
- S. E. Parkhomenko, "Mirror symmetry as a Poisson-Lie T duality", Modern Physics Letters A 13 (1998) 1041. DOI: 10.1142/S021773239800111X. https://arxiv.org/abs/hep-th/9710037
- S. E. Parkhomenko, "On the quantum Poisson-Lie T duality and mirror symmetry", Journal of Experimental and Theoretical Physics 89 (1999) 5. DOI: 10.1134/1.558947. https://arxiv.org/abs/hep-th/9812048
- Kentaro Hori and Anton Kapustin, "Duality of the fermionic 2d black hole and N=2 Liouville theory as mirror symmetry", JHEP 08 (2001) 045. DOI: 10.1088/1126-6708/2001/08/045. https://arxiv.org/abs/hep-th/0104202
- Stefan Förste and Daniel Roggenkamp, "Current-current deformations of conformal field theories, and WZW models", JHEP 05 (2003) 071. DOI: 10.1088/1126-6708/2003/05/071. https://arxiv.org/abs/hep-th/0304234
- Sergej Parkhomenko, "Conformal bootstrap and Mirror symmetry of states in Gepner models", JHEP 11 (2024) 104. DOI: 10.1007/JHEP11(2024)104. https://arxiv.org/abs/2407.07555
- N. Mohammedi, "N = 2 current algebras for non-semi-simple groups", Physics Letters B 337 (1994) 279-284. DOI: 10.1016/0370-2693(94)90976-8. https://arxiv.org/abs/hep-th/9408048 (also published as "On mirror symmetry in Wess-Zumino-Novikov-Witten models", Theoretical and Mathematical Physics 104 (1995) 803-809, DOI: 10.1007/BF02066655)
- Andrew Strominger, Shing-Tung Yau and Eric Zaslow, "Mirror symmetry is T duality", Nuclear Physics B 479 (1996) 243-259. DOI: 10.1016/0550-3213(96)00434-8. https://arxiv.org/abs/hep-th/9606040
- Kentaro Hori and Cumrun Vafa, "Mirror symmetry", arXiv:hep-th/0002222 (2000). https://arxiv.org/abs/hep-th/0002222
- Soumangsu Chakraborty, Amit Giveon and David Kutasov, ", , and String Theory", Journal of Physics A 52 (2019) 384003. DOI: 10.1088/1751-8121/ab3710. https://arxiv.org/abs/1905.00051