Discrete symmetries in Heterotic/F-theory duality and mirror symmetry
We study aspects of Heterotic/F-theory duality for compacti cations with Abelian discrete gauge symmetries. We consider F-theory compacti cations on genus-one bered Calabi-Yau manifolds with n-sections, associated with the Tate-Shafarevich group Z n . Such models are obtained by studying rst a speci c toric set-up whose associated Heterotic vector bundle has structure group Z n . By employing a conjectured Heterotic/Ftheory mirror symmetry we construct dual geometries of these original toric models, where in the stable degeneration limit we obtain a discrete gauge symmetry of order two and three, for compacti cations to six dimensions. We provide explicit constructions of mirrorpairs for symmetric examples with Z 2 and Z 3 , in six dimensions. The Heterotic models with symmetric discrete symmetries are related in eld theory to a Higgsing of Heterotic models with two symmetric abelian U(1) gauge factors, where due to the Stuckelberg mechanism only a diagonal U(1) factor remains massless, and thus after Higgsing only a diagonal discrete symmetry of order n is present in the Heterotic models and detected via Heterotic/F-theory duality. These constructions also provide further evidence for the conjectured mirror symmetry in Heterotic/F-theory at the level of brations with torsional sections and those with multi-sections.