\section{Introduction}

The origin of flavor remains one of the most challenging questions in the Standard Model (SM) of
particle physics. String theory, as a consistent ultra-violet completion of the SM, can provide
some useful ideas to attack this puzzle. Previous discussions of the origin of flavor symmetry in
string theory~\cite{Kobayashi:2006wq,Nilles:2012cy,Beye:2014nxa} relied on some ``guesswork'' based
on the geometry of compactified space and properties of string selection rules. While this led to
models with appealing discrete flavor symmetries, it typically did not address the origin of \ensuremath{\mathcal{CP}}\xspace. A
first step to include \ensuremath{\mathcal{CP}}\xspace was made in ref.~\cite{Nilles:2018wex}, where a \ensuremath{\mathcal{CP}}\xspace candidate was
identified as an outer automorphism of the traditional flavor group. This provided a string theory
origin of the general mechanism of group theoretical \ensuremath{\mathcal{CP}}\xspace violation discussed earlier
in~\cite{Chen:2009gf,Feruglio:2012cw,Holthausen:2012dk,Chen:2014tpa,Trautner:2016ezn,Chen:2019iup}.
Still, a comprehensive picture of the origin of flavor and \ensuremath{\mathcal{CP}}\xspace remained illusive: A priori, it is
not clear whether the interpretation of the geometry of compact dimensions and string theory (space
group) selection rules~\cite{Hamidi:1986vh,Dixon:1986qv,Ramos-Sanchez:2018edc} gives the complete
set of symmetries. A more general mechanism is needed to clarify the situation.

In the present paper we shall present such a general mechanism. It is based on the consideration of
outer automorphisms of the Narain lattice and the Narain space
group~\cite{Narain:1985jj,Narain:1986am,Narain:1986qm}. The full set of symmetries is determined by
the properties of the Narain space group~\cite{Baur:2019kwi}. In this way, the Narain space group
encodes all the information from the string theory models under consideration, providing a unified
description of the traditional flavor symmetry with \ensuremath{\mathcal{CP}}\xspace  (or \ensuremath{\mathcal{CP}}\xspace-like) transformations as its outer
automorphisms~\cite{Nilles:2018wex}. Apart from the traditional flavor symmetries
discussed so far, the full flavor symmetry uncovered in our approach also includes duality
(modular) transformations that exchange winding and momentum states~\cite{Giveon:1988tt} and act
nontrivially on the twisted states of string
theory~\cite{Lauer:1989ax,Lauer:1990tm,
Lerche:1989cs,Chun:1989se,Ferrara:1989bc,Ferrara:1989qb}.
This provides
a new perspective on the theory of flavor and \ensuremath{\mathcal{CP}}\xspace which was already outlined in our earlier
paper~\cite{Baur:2019kwi}. The main results of the new scheme include:
\begin{itemize}
\item The traditional flavor symmetries are only one part of this picture (these are the symmetries
that are universal in the moduli space of string theory).
\item Modular (including duality) transformations of string theory are new ingredients of the full
flavor structure. At some specific lower-dimensional regions (e.g. points or lines) in moduli
space, the modular transformations become symmetries and lead to an enhancement of the flavor
group, as illustrated in  figure~\ref{fig:modular_space1}.
\item \ensuremath{\mathcal{CP}}\xspace (or \ensuremath{\mathcal{CP}}\xspace-like) transformations are shown to be part of these modular
transformations~\cite{Baur:2019kwi}. \ensuremath{\mathcal{CP}}\xspace is an exact symmetry only within the self-dual regions and
spontaneously broken otherwise\footnote{%
This observation was reported in our earlier paper~\cite{Baur:2019kwi} and was subsequently
incorporated in an explicit bottom-up flavor construction in~\cite{Novichkov:2019sqv}.}.
The modular enhanced flavor structure, therefore, leads to a unification of traditional flavor
symmetries and \ensuremath{\mathcal{CP}}\xspace.
\item The full unified flavor group is non-universal in moduli space, while the traditional flavor
group is its subgroup that is preserved universally in moduli-space.
\item The non-universality of the flavor symmetry allows for different flavor structures
in different sectors of the theory. This allows the implementation of the significant difference of
flavor structure in the quark and lepton sector of the Standard Model.
\end{itemize}

\begin{figure}[t]
\centering
\includegraphics[width=0.8\linewidth]{FlavorPlot.pdf}
\caption{\label{fig:modular_space1}
The moduli space of the K\"ahler modulus $T$ for the two-dimensional $\Z{3}$ orbifold. The
traditional flavor symmetry $\Delta(54)$ is conserved at all points universally. If the K\"ahler
modulus $T$ is stabilized on the indicated lines or points, the traditional flavor symmetry is
enhanced by those modular transformations that leave the corresponding lines or points invariant.
Importantly, these enhancements correspond to outer automorphisms of the traditional flavor symmetry.}
\end{figure}

The paper is organized as follows. In section~\ref{sec:NarainAutomorphisms} we shall introduce the
Narain lattice, the Narain space group, and its outer automorphisms. In section~\ref{sec:ModularSymmetry}
we present technicalities of modular (and duality) transformations in two compact dimensions. The
connections between modular transformations and flavor symmetries are subject of
section~\ref{sec:ModularVSFlavor}. We shall discuss the enhancement of the traditional flavor
symmetry and classify the possible enhanced symmetry groups in the two-dimensional case. In
section~\ref{sec:Z3NarainFlavor} we consider the modular transformations of the two-dimensional
$\Z{3}$ orbifold and classify all outer automorphisms of the corresponding $\Z{3}$ Narain space
group. In section~\ref{sec:FlavorLandscape} we present the landscape of the enhanced flavor
symmetries of the $\Z{3}$ orbifold. The traditional flavor symmetry is $\Delta(54)$ and it is
universal in moduli space. On fixed lines and circles (of modular transformations) we find an
enhancement of $\Delta(54)$ to $\mathrm{SG}(108, 17)$ which includes a \ensuremath{\mathcal{CP}}\xspace-like transformation
as an exact symmetry. There are several different possibilities for such an
enhancement, corresponding to several different ways of enhancing $\Delta(54)$ by different
$\Z{2}$ subgroups of $\mathrm{S_4}$ -- the group of outer automorphisms of $\Delta(54)$.
The location of the fixed straight lines and circles is shown in figure~\ref{fig:modular_space1}.
The enhancements combine at points where two lines meet and the flavor group is enhanced to
$\mathrm{SG}(216, 87)$. The maximal enhancement to $\mathrm{SG}(324, 39)$ is obtained at points
where three lines meet. In section~\ref{sec:conclusions} we present the lessons from string theory
for flavor model building. We shall compare the string theory point of view with previous bottom-up
attempts in flavor model building that implement modular symmetries and \ensuremath{\mathcal{CP}}\xspace. More technical details
of the construction are relegated to the appendices. Sections~\ref{sec:NarainAutomorphisms}-\ref{sec:Z3NarainFlavor}
are rather technical and may be skipped in a first reading. The main results of the paper can be
appreciated by looking at figures~\ref{fig:modular_space1} and \ref{fig:modular_space2} and reading
sections~\ref{sec:FlavorLandscape} and~\ref{sec:conclusions}.

\section{Outer automorphisms of the Narain space group}
\label{sec:NarainAutomorphisms}
\subsection[Narain lattice]{\boldmath Narain lattice\unboldmath}

A toroidal compactification of $D$ bosonic string coordinates $y$ can be described most
conveniently in the Narain formulation, where $y$ is separated into $D$ right- and $D$ left-moving
degrees of freedom $y_\mathrm{R}$ and $y_\mathrm{L}$. Combined into a $2D$-dimensional Narain
coordinate $Y$ this reads
\begin{equation}\label{eqn:CoordinatesYAndTildeY}
\begin{pmatrix}y\\\tilde{y}\end{pmatrix}~=~\frac{1}{\sqrt{2}}\begin{pmatrix}\mathbbm{1}&\mathbbm{1}\\-\mathbbm{1}&\mathbbm{1}\end{pmatrix}\,\begin{pmatrix}y_\mathrm{R}\\y_\mathrm{L}\end{pmatrix}\; \quad\mathrm{and}\quad Y ~:=~ \left(\begin{array}{c}y_\mathrm{R}\\y_\mathrm{L}\end{array}\right)\;,
\end{equation}
where $\tilde{y}$ denotes the T-dual coordinate of $y$. Then, $Y$ is compactified on a
$2D$-dimensional torus that is parameterized by a Narain vielbein matrix $E$, i.e.\
\begin{equation}\label{eq:NarainTorusCompactification}
Y ~\sim~ Y + E\,\hat{N}\;,\quad\mathrm{where}\quad \hat{N} ~=~ \left(\begin{array}{c}n\\m\end{array}\right) ~\in~\Z{}^{2D}\;.
\end{equation}
Here, $\hat{N}\in\Z{}^{2D}$ contains the string's winding and Kaluza-Klein quantum numbers $n$ and
$m$, respectively. To render the world-sheet theory modular invariant the Narain vielbein $E$
has to span an even self-dual lattice $\Gamma=\{E\,\hat{N} ~|~ \hat{N}\in\Z{}^{2D}\}$ with metric
$\eta$ of signature $(D,D)$. Consequently, one can always choose $E$ such that
\begin{equation}\label{eq:NarainConditionOnNarainVielbeinE}
E^\mathrm{T} \eta\, E ~=~ \hat\eta\;,  \quad\mathrm{where}\quad  \eta ~:=~ \begin{pmatrix} -\mathbbm{1} & 0\\ 0 & \mathbbm{1}\end{pmatrix}  \quad\mathrm{and}\quad  \hat\eta ~:=~ \begin{pmatrix} 0 & \mathbbm{1}\\ \mathbbm{1} & 0\end{pmatrix}\;,
\end{equation}
and the Narain vielbein can be parameterized as
\begin{equation}\label{eq:VielbeinMatrixE}
E ~:=~ \dfrac{1}{\sqrt{2}}\, \begin{pmatrix}
\dfrac{e^{-\mathrm{T}}}{\sqrt{\alpha'}}\,(G-B)&          -\sqrt{\alpha'}\,e^{-\mathrm{T}}\\[0.4cm]
\dfrac{e^{-\mathrm{T}}}{\sqrt{\alpha'}}\,(G+B)&\phantom{-}\sqrt{\alpha'}\,e^{-\mathrm{T}}\end{pmatrix}\;.
\end{equation}
In this definition of the Narain vielbein, $e$ denotes the vielbein of the $D$-dimensional
geometrical torus $\mathbbm{T}^D$ with metric $G:=e^\mathrm{T}e$, $e^{-\mathrm{T}}$ corresponds to the
inverse transposed matrix of $e$, $B$ is the anti-symmetric background $B$-field ($B=-B^\mathrm{T}$),
and $\alpha'$ is called the Regge slope. Then, the scalar product of two Narain lattice vectors
$\lambda_i = E\,\hat{N}_i \in \Gamma$ with $\hat{N}_i \in\Z{}^{2D}$ for $i\in\{1,2\}$ can be
evaluated using eq.~\eqref{eq:NarainConditionOnNarainVielbeinE},
\begin{equation}\label{eq:NarainScalarProduct}
\lambda_1^\mathrm{T} \eta\, \lambda_2 ~=~ \hat{N}_1^\mathrm{T} E^\mathrm{T}\eta\,E\,\hat{N}_2 ~=~ \hat{N}_1^\mathrm{T} \hat\eta\,\hat{N}_2 ~=~ n_1^\mathrm{T}m_2 + m_1^\mathrm{T}n_2 ~\in~ \Z{}\;.
\end{equation}

As a remark, the Narain vielbein $E$ can be extended to the heterotic string by including Wilson
line background fields that act on the 16 extra left-moving bosonic gauge degrees of freedom of the
heterotic string, see e.g.~\cite{GrootNibbelink:2017usl}.

\subsection[Narain space group]{\boldmath Narain space group\unboldmath}
\label{sec:NarainSpaceGroup}

Next, we generalize the Narain lattice construction to $\Z{K}$ orbifolds in the Narain formulation.
In this case, the toroidal compactification from eq.~\eqref{eq:NarainTorusCompactification} is
extended by the action of a $\Z{K}$ Narain twist $\Theta$, i.e.
\begin{equation}\label{eq:NarainOrbifold}
Y ~\sim~ \Theta^k\,Y + E\,\hat{N}\;, \quad\mathrm{where}\quad \Theta ~=~ \left(\begin{array}{cc}\theta_\mathrm{R} & 0 \\0 & \theta_\mathrm{L}\end{array}\right) \quad\mathrm{and}\quad \Theta^K ~=~ \mathbbm{1}\;.
\end{equation}
The integer $k\in\{0,\ldots,K-1\}$ enumerates the twisted sectors. We have to demand the
block-structure of the Narain twist $\Theta$ in eq.~\eqref{eq:NarainOrbifold} such that $\Theta$
cannot mix left- and right-moving modes of the string. In addition, the matrices $\theta_\mathrm{R}$
and $\theta_\mathrm{L}$ must be orthogonal in order to leave the string's mass invariant (c.f.\
eqs.~\eqref{eq:UntwistedStringMass} and \eqref{eqn:VertexOperatorZKOrbifoldInvariant} in
appendix~\ref{sec:BulkVertexOperators}). For supersymmetric orbifolds it is moreover necessary that
$\theta_\mathrm{R}\in\SO{D}$. We define a $\Z{K}$ Narain space group
$S_\mathrm{Narain}$~\cite{GrootNibbelink:2017usl} as the multiplicative closure of a finite list of
generators\footnote{%
The name ``$\Z{K}$ Narain space group'' refers to the $K$-fold twist $\Theta$ in
$S_\mathrm{Narain}$ and should not indicate that the group is Abelian. By definition of
$S_\mathrm{Narain}$, it is clear that it is actually non-Abelian, and, moreover, non-compact.}
\begin{equation}
S_\mathrm{Narain} ~:=~ \langle \;(\Theta, 0) \;\;,\;\; (\mathbbm{1}, E_i) \;\;\mathrm{for}\;\; i\in\{1,\ldots,2D\}\; \rangle\;,
\end{equation}
where the vector $E_i$ corresponds to the $i$-th column of the vielbein matrix $E$, and we restrict
ourselves to $\Z{K}$ Narain space groups without roto-translations.\footnote{%
A $\Z{K}$ roto-translation would be generated by $(\Theta, V)$,
where $V \not\in \Gamma$ but $(\Theta, V)^K = (\mathbbm{1}, \lambda)$ with $\lambda \in \Gamma$.}
Then, a general $\Z{K}$ Narain space group element $g$ reads
\begin{equation}
g ~=~ (\Theta^k, E\,\hat{N}) ~\in~ S_\mathrm{Narain} \;\;\;\mathrm{where}\;\;\; k\in\{0,\ldots,K-1\} \;\;\;\mathrm{and}\;\;\; \hat{N}\in\Z{}^{2D}\;,
\end{equation}
and acts on the Narain coordinates $Y$ as $Y \mapsto g\, Y = \Theta^k\,Y + E\,\hat{N}$, see
eq.~\eqref{eq:NarainOrbifold}. The Narain space group has to close under multiplication,
especially $(\Theta, 0)\, (\mathbbm{1}, E\,\hat{N})\, (\Theta^{-1}, 0) = (\mathbbm{1}, \Theta\,E\,\hat{N})$ has to
be an element of the Narain space group for all $\hat{N}\in\Z{}^{2D}$. Hence, $\Theta$ has to be an
outer automorphism of the Narain lattice, $\Theta\,\Gamma = \Gamma$. Importantly, the
Narain space group gives a natural framework to discuss the various classes of closed strings on
Narain orbifolds, as briefly reviewed in appendix~\ref{app:StringStates}. Simultaneously it
yields the discrete symmetries of the string setting via its outer automorphisms, as discussed in
sections~\ref{sec:AutomorphismsNarainLattice} and~\ref{sec:AutomorphismsNarainSpaceGroup}.

Finally, by conjugation with the Narain vielbein $(E,0)$ we change the basis to the so-called
lattice basis. To highlight this, all quantities in the lattice basis are written with a hat. For
example, for each $g \in S_\mathrm{Narain}$ we define\footnote{To highlight whenever we work in the
lattice basis, we also write $\hat{S}_\mathrm{Narain}$ for the Narain space group, even though
$\hat{S}_\mathrm{Narain}\cong{S}_\mathrm{Narain}$ are, of course, one and the same group.}
\begin{equation}\label{eq:HatTheta}
\hat{g}~:=~(E^{-1},0)\,(\Theta^k,E\,\hat{N})\,(E,0)~=~(\hat\Theta^k,\hat{N})~\in~\hat{S}_\mathrm{Narain}\;,
\end{equation}
and the Narain twist in the lattice basis is defined as $\hat\Theta := E^{-1}\Theta\,E$, where
$\hat\Theta \in \mathrm{GL}(2D,\Z{})$ follows automatically from the fact that $\hat\Theta$ is an
outer automorphism of the Narain lattice. Depending on the choice of the Narain twist $\Theta$, the
condition $\hat\Theta \in \mathrm{GL}(2D,\Z{})$ can freeze some of the free parameters (i.e.\
moduli) of the Narain vielbein $E$ to some special values.

Due to its general form in eq.~\eqref{eq:NarainOrbifold}, the twist in the lattice basis
has to satisfy
\begin{equation}\label{eq:ConditionsOnHatTheta}
\hat\Theta^\mathrm{T} \hat\eta\,\hat\Theta ~=~ \hat\eta \quad\mathrm{and}\quad \hat\Theta^\mathrm{T} \mathcal{H}\,\hat\Theta ~=~ \mathcal{H}\;,
\end{equation}
where we have introduced the so-called generalized metric $\mathcal{H} := E^\mathrm{T}E$. Hence,
the Narain twist $\hat\Theta$ leaves the Narain scalar product eq.~\eqref{eq:NarainScalarProduct},
as well as the generalized metric invariant.

In this work, we concentrate on so-called symmetric $\Z{K}$ orbifolds, meaning that we assume
$\theta := \theta_\mathrm{R} = \theta_\mathrm{L}$, i.e.\ the Narain twist $\Theta$ acts
left-right-symmetric.

\subsection{Outer automorphisms of the Narain lattice}
\label{sec:AutomorphismsNarainLattice}

A natural framework to understand the origin of modular transformations in string theory is the
Narain lattice. In general, two lattices $\Gamma$ and $\Gamma'$ are identical if their vielbeins
$E$ and $E'$ are related by a transformation $\hat\Sigma \in \mathrm{GL}(2D,\Z{})$, such
that\footnote{We use the inverse matrix $\hat\Sigma^{-1}$ here for later convenience.}
\begin{equation}\label{eqn:SymmetryTrafoOfNarainLattice}
E ~\mapsto~ E' ~=~ E\, \hat\Sigma^{-1} \quad\mathrm{for}\quad \hat\Sigma ~\in~ \mathrm{GL}(2D,\Z{})\;.
\end{equation}
If $\Gamma = \Gamma'$ is a Narain lattice we have to demand in addition that $\hat\Sigma$ leaves
the Narain metric $\hat\eta$ invariant, $\hat\Sigma^\mathrm{T} \hat\eta\, \hat\Sigma ~=~ \hat\eta$.
This follows by using that both, $E$ and $E'$, satisfy eq.~\eqref{eq:NarainConditionOnNarainVielbeinE}.
We use these conditions to define the group $\mathrm{O}_{\hat{\eta}}(D,D,\Z{})$ of outer
automorphisms of the Narain lattice,
\begin{equation}\label{eqn:SymmetryGroupOfNarainLattice}
\mathrm{O}_{\hat{\eta}}(D,D,\Z{}) ~:=~ \big\langle ~\hat\Sigma~ \big| ~\hat\Sigma ~\in~ \mathrm{GL}(2D,\Z{}) \quad\mathrm{with}\quad \hat\Sigma^\mathrm{T} \hat\eta\, \hat\Sigma ~=~ \hat\eta ~\big\rangle\;.
\end{equation}
In section~\ref{sec:ModularSymmetry} below, we will analyze in more detail the group
$\mathrm{O}_{\hat{\eta}}(D,D,\Z{})$ and its action on the moduli of the theory. We will then
confirm that the outer automorphisms of the Narain lattice $\Gamma$ give rise to the modular
transformations of this string setting.\footnote{Here, we ignore the continuous translational outer
automorphisms of the Narain lattice as they correspond to additional $\U{1}$ symmetries, which will
be broken to discrete subgroups in section~\ref{sec:AutomorphismsNarainSpaceGroup} after
orbifolding}
Observe that, due to eq.~\eqref{eq:ConditionsOnHatTheta}, also the Narain twist $\hat\Theta$ must
be an element of $\mathrm{O}_{\hat{\eta}}(D,D,\Z{})$, with the additional constraint
$\hat\Theta^\mathrm{T} \mathcal{H}\,\hat\Theta = \mathcal{H}$.

\subsection{Outer automorphisms of the Narain space group}
\label{sec:AutomorphismsNarainSpaceGroup}

After having discussed the outer automorphisms of the Narain lattice $\Gamma$, we continue with
the outer automorphisms of the Narain space group $\hat{S}_\mathrm{Narain}$. They are of special
interest as they yield the modular transformations as well as the flavor symmetries of the effective
four-dimensional theory after orbifolding~\cite{Baur:2019kwi}. An outer automorphism of the Narain
space group can be written as a transformation with
\begin{equation}\label{eq:OuterAutomorphismOfNarain}
\hat{h} ~:=~ (\hat\Sigma, \hat{T})~\not\in~\hat{S}_\mathrm{Narain}\;,
\end{equation}
that acts as conjugation on $\hat{S}_\mathrm{Narain}$ and, by the definition of an automorphism,
maps the Narain space group to itself. In detail, for \textit{each} element
$(\hat\Theta^k,\hat{N}) \in \hat{S}_\mathrm{Narain}$ we have to ensure that
\begin{equation}\label{eq:ConditionOnOuterAutomorphismOfNarain}
(\hat\Theta^k,\hat{N}) ~\stackrel{\hat{h}}{\mapsto}~ (\hat\Sigma,\hat{T})\; (\hat\Theta^k,\hat{N})\; (\hat\Sigma,\hat{T})^{-1} ~\stackrel{!}{\in}~ \hat{S}_\mathrm{Narain}\;.
\end{equation}
The action of such an outer automorphism on strings is discussed in
appendix~\ref{app:TransformationsOfClosedStrings}. This Narain approach can be viewed as a stringy
completion of a purely geometrical approach to identify flavor symmetries, for example in complete
intersection Calabi-Yau manifolds~\cite{Lukas:2017vqp,Candelas:2017ive}. As discussed in
ref.~\cite{Baur:2019kwi} one can find a set of generators of the group of outer automorphisms that
is of the form
\begin{equation}
\left\{ (\hat\Sigma_1, 0),\; (\hat\Sigma_2, 0),\;\ldots,\; (\mathbbm{1}, \hat{T}_1),\; (\mathbbm{1}, \hat{T}_2),\;\ldots \right\}\;.
\end{equation}
In other words, the group of outer automorphisms can be generated by pure twists
$(\hat\Sigma_i, 0)\not\in \hat{S}_\mathrm{Narain}$ and pure translations $(\mathbbm{1}, \hat{T}_j)\not\in \hat{S}_\mathrm{Narain}$.
Roto-translations are not needed to generate the outer automorphism group.\footnote{However,
this statement in general \textit{does not} hold in the case when the Narain space group
$\hat{S}_\mathrm{Narain}$ itself \textit{has} roto-translations as generators.} Consequently, the
translational part $\hat{T}_j$ of $(\mathbbm{1}, \hat{T}_j) \not\in \hat{S}_\mathrm{Narain}$ must be
fractional, i.e.\ $\hat{T}_j\not\in\Z{}^{2D}$ and $0 \leq \hat{T}_j < 1$. Moreover, the twist
$\hat\Sigma_i$ of $(\hat\Sigma_i, 0)\not\in \hat{S}_\mathrm{Narain}$ cannot be a rotation of the
type $\Z{K}$ that has been used to construct the orbifold, i.e.\ $\hat\Sigma_i\neq \hat\Theta^\ell$
for $\ell\in\{0,\ldots,K-1\}$. Otherwise, $(\mathbbm{1}, \hat{T}_j)$ and $(\hat\Sigma_i, 0)$ would be inner
automorphisms of the Narain space group, which is excluded by assumption.

The condition~\eqref{eq:ConditionOnOuterAutomorphismOfNarain} has important consequences for the
special case of pure lattice translations, $(\mathbbm{1}, \hat{N}) \in \hat{S}_\mathrm{Narain}$, and
purely rotational outer automorphisms, $\hat{h} = (\hat\Sigma, 0) \not\in \hat{S}_\mathrm{Narain}$.
Namely, taking
\begin{equation}
(\mathbbm{1}, \hat{N}) ~\stackrel{\hat{h}}{\mapsto}~ (\hat\Sigma, 0)\; (\mathbbm{1}, \hat{N})\; (\hat\Sigma^{-1}, 0) ~=~ (\mathbbm{1}, \hat\Sigma\,\hat{N})~\stackrel{!}{\in}~ \hat{S}_\mathrm{Narain}\;,
\end{equation}
we find that $\hat{N} \stackrel{\hat{h}}{\mapsto} \hat\Sigma\,\hat{N}\stackrel{!}{\in}\Z{}^{2D}$,
for any $\hat{N} \in \Z{}^{2D}$. Hence, a necessary condition for any twist
$\hat\Sigma \in \mathrm{GL}(2D,\Z{})$ to be an outer automorphism $\hat{h} = (\hat\Sigma, 0)$ of
the Narain space group is that $\hat\Sigma$ itself has to be an outer automorphism of the Narain
lattice, that is
\begin{equation}
\hat\Sigma ~\in~ \mathrm{O}_{\hat{\eta}}(D,D,\Z{})\;.
\end{equation}

\section[Modular transformations]{\boldmath Modular transformations\unboldmath}
\label{sec:ModularSymmetry}

Let us now specialize to $D=2$ dimensions and analyze how transformations
\mbox{$E \mapsto E'= E\, \hat\Sigma^{-1}$} with $\hat\Sigma \in \mathrm{O}_{\hat{\eta}}(2,2,\Z{})$
act on the K{\"a}hler ($T$) and complex structure modulus ($U$). Specifically, we will recapitulate
how the modular transformations of the theory originate from the symmetries of the Narain lattice.

In $D=2$ dimensions a general two-torus $\mathbbm{T}^2$ is parameterized by three real numbers
(the lengths of the basis vectors $e_1$ and $e_2$ of the geometrical vielbein $e$ and their
relative angle $\phi$). The strength of the anti-symmetric $B$-field is another free
parameter. These four numbers can be combined into the so-called K{\"a}hler modulus\footnote{%
The K\"ahler modulus $T$ here should not be confused with the outer automorphism translations
$\hat T$ above or the abstract $\SL{2,\Z{}}$ group element $\mathrm{T}$ below. We think it is
always self-explanatory and clear from the context when we refer to which object.}
$T$ and complex structure modulus $U$, which are given by
\begin{subequations} \label{eqn:KahlerandComplexStructure}
\begin{eqnarray}
T & = & T_1 + \mathrm{i}\, T_2 ~:=~ \frac{1}{\alpha'} \left(B_{12} + \mathrm{i}\, \sqrt{\det G}\right)\;,\label{eq:ParametersInTModulus}\\
U & = & U_1 + \mathrm{i}\, U_2 ~:=~ \frac{1}{G_{11}} \left(G_{12} + \mathrm{i}\, \sqrt{\det G}\right) ~=~ \frac{|e_2|}{|e_1|}\,\textrm{e}^{\mathrm{i} \phi}\;.\label{eq:ParametersInUModulus}
\end{eqnarray}
\end{subequations}
$T$ and $U$ describe all deformations of the $(2,2)$ Narain lattice. Consider now the matrices
\begin{subequations}\label{eqn:ModularTrafosTandS}
\begin{eqnarray}
\hat{K}_\mathrm{S} ~:=~ \begin{pmatrix} 0 & \epsilon\\ \epsilon & 0\end{pmatrix} & \mathrm{and} & \hat{K}_\mathrm{T} ~:=~ \begin{pmatrix} \mathbbm{1}_2 & 0\\ -\epsilon & \mathbbm{1}_2\end{pmatrix}\;,   \quad\mathrm{with}\quad \epsilon ~:=~ \begin{pmatrix} 0 & 1\\ -1 & 0\end{pmatrix}\;,\\
\hat{C}_\mathrm{S} ~:=~ \begin{pmatrix} \epsilon & 0\\ 0 & \epsilon\end{pmatrix} & \mathrm{and} & \hat{C}_\mathrm{T} ~:=~ \begin{pmatrix} \gamma & 0\\ 0       & \gamma^{-T}\end{pmatrix}\;, \quad\mathrm{with}\quad \gamma ~:=~ \begin{pmatrix} 1 &-1\\  0 & 1\end{pmatrix}\;.
\end{eqnarray}
\end{subequations}
It is easily confirmed that $\hat{K}_{\mathrm{S, T}}$ and $\hat{C}_{\mathrm{S, T}}$ are elements of
$\mathrm{O}_{\hat{\eta}}(2,2,\Z{})$, as defined in eq.~\eqref{eqn:SymmetryGroupOfNarainLattice}.
Futhermore, using the presentation
\begin{equation}
\mathrm{SL}(2,\Z{}) = \langle\; \mathrm{S}, \mathrm{T} ~|~ \mathrm{S}^4 ~=~ \mathbbm{1} \;,\; \mathrm{S}^2 ~=~ \left(\mathrm{S}\,\mathrm{T}\right)^3 \;\rangle\;,
\end{equation}
and noting that $\hat{K}_\mathrm{S}^2 = \hat{C}_\mathrm{S}^2=-\mathbbm{1}$, one confirms that
$\hat{K}_{\mathrm{S, T}}$ and $\hat{C}_{\mathrm{S, T}}$ generate the modular group
$\left[\mathrm{SL}(2,\Z{})_T\times\mathrm{SL}(2,\Z{})_U\right]/\Z2\subset\mathrm{O}_{\hat{\eta}}(2,2,\Z{})$.
The $\Z{2}$ quotient here is generated by the abstract element
$(\mathrm{S}_T)^2(\mathrm{S}_U)^2$ with $\mathrm{S}_T\in\mathrm{SL}(2,\Z{})_T$ and
$\mathrm{S}_U\in\mathrm{SL}(2,\Z{})_U$, corresponding to the elements $\hat{K}_\mathrm{S}$ and $\hat{C}_\mathrm{S}$
of the representation~\eqref{eqn:ModularTrafosTandS}.
Finally, the set of generators of $\mathrm{O}_{\hat{\eta}}(2,2,\Z{})$ is completed by the mutually
commuting $\Z2$ matrices\footnote{%
Note that the other factorized duality $\hat{M}'$ is also part of $\mathrm{O}_{\hat{\eta}}(2,2,\Z{})$
through the following relation: \mbox{$\hat{M}' \,=\, \hat{K}_\mathrm{S}^3\,\hat{C}_\mathrm{S}\,\hat{M}$}.}
\begin{equation}\label{eqn:ModularTrafosMStar}
\hat\Sigma_* ~:=~\left(\begin{array}{cccc}
-1 & 0 &  0 & 0 \\
 0 & 1 &  0 & 0 \\
 0 & 0 & -1 & 0 \\
 0 & 0 &  0 & 1
\end{array}\right) \quad\mathrm{and}\quad \hat{M} ~:=~ \left(\begin{array}{cccc}
 0 & 0 & 1 & 0 \\
 0 & 1 & 0 & 0 \\
 1 & 0 & 0 & 0 \\
 0 & 0 & 0 & 1
\end{array}\right)\;.
\end{equation}
Altogether this establishes the structure of $\mathrm{O}_{\hat{\eta}}(2,2,\Z{})$ as
\begin{equation}\label{eq:ModularGroupAsSL2Zs}
 \mathrm{O}_{\hat{\eta}}(2,2,\Z{})\cong \left[\left(\mathrm{SL}(2,\Z{})_T\times\mathrm{SL}(2,\Z{})_U\right)\rtimes \left(\Z2\times\Z2\right)\right]/\Z2\;.
\end{equation}

Next, we compute the transformation properties of the moduli $T$ and $U$ under
$\hat{K}_\mathrm{S, T}$, $\hat{C}_\mathrm{S, T}$, $\hat\Sigma_*$, and $\hat M$. It is convenient to
use the generalized metric $\mathcal{H} = E^\mathrm{T} E$ for this. As the Narain vielbein depends
on the moduli $E = E(T,U)$, cf.\ eq.~\eqref{eq:VielbeinMatrixE}, so does the generalized metric
$\mathcal{H}=\mathcal{H}(T,U)$. Under a transformation~\eqref{eqn:SymmetryTrafoOfNarainLattice}
$\mathcal{H}$ transforms as
\begin{equation}\label{eqn:SymmetryTrafoOfGeneralizedMetric}
\mathcal{H}(T,U) ~\stackrel{\hat\Sigma}{\longmapsto}~ \mathcal{H}(T',U') ~=~ \hat\Sigma^{-\mathrm{T}}\mathcal{H}(T,U)\hat\Sigma^{-1}\;.
\end{equation}
This equation can be used to read off the transformations of the moduli,\footnote{%
	As an alternative, one may use section 3.3 of ref.~\cite{GrootNibbelink:2017usl} with
	$\widehat{M} \in\{(\hat{K}_\mathrm{S})^{-1}, (\hat{K}_\mathrm{T})^{-1}, (\hat{C}_\mathrm{S})^{-1}, (\hat{C}_\mathrm{T})^{-1}, \hat\Sigma_*, \hat{M}\}$,
	where we use the inverse matrices due to our altering defintion of the action in eq.~\eqref{eqn:SymmetryTrafoOfNarainLattice}.}
\begin{equation}\label{eqn:SymmetryTrafoOfModuli}
T ~\stackrel{\hat\Sigma}{\longmapsto}~ T' = T'(T,U) \quad\mathrm{and}\quad U ~\stackrel{\hat\Sigma}{\longmapsto}~ U' = U'(T,U)\;.
\end{equation}
Since $\pm\hat\Sigma$ both yield exactly the same transformation of the moduli in
eq.~\eqref{eqn:SymmetryTrafoOfGeneralizedMetric}, each factor of $\mathrm{SL}(2,\Z{})$ acts only as
$\mathrm{PSL}(2,\Z{})$ on the moduli. We find that $\hat{K}_\mathrm{S}$ and $\hat{K}_\mathrm{T}$
induce the transformations
\begin{subequations}
\begin{align}
\hat{K}_\mathrm{S} & ~:~ T ~\mapsto~ -\frac{1}{T}\;, & U ~&\mapsto~ U\;,& \\
\hat{K}_\mathrm{T} & ~:~ T ~\mapsto~ T + 1\;,        & U ~&\mapsto~ U\;,&
\end{align}
\end{subequations}
as expected for the modular group $\mathrm{PSL}(2,\Z{})_T$ of the K{\"a}hler modulus $T$.
Furthermore, $\hat{C}_\mathrm{S}$ and $\hat{C}_\mathrm{T}$ generate the transformations
\begin{subequations}\label{eq:ComplexStructureTrafo}
\begin{align}
\hat{C}_\mathrm{S} & ~:~ T ~\mapsto~ T\;,&  U ~&\mapsto~ -\frac{1}{U}\;,&\\
\hat{C}_\mathrm{T} & ~:~ T ~\mapsto~ T\;,&  U ~&\mapsto~ U + 1\;,&
\end{align}
\end{subequations}
giving rise to the modular group $\mathrm{PSL}(2,\Z{})_U$ of the complex structure modulus $U$.
Finally, $\hat\Sigma_*$ reflects the real parts of both, $T$ and $U$,
\begin{align}
\hat\Sigma_* & ~:~ T ~\mapsto~ -\bar{T}\;,& U ~&\mapsto~ -\bar{U}\;,&
\end{align}
while $\hat{M}$ interchanges the K{\"a}hler and complex structure modulus
\begin{align}
\hat{M} & ~:~ T ~\mapsto~ U\;,& U ~&\mapsto~ T \;,&
\end{align}
see e.g.\ ref.~\cite{Lerche:1989cs}. We will see later that $\hat\Sigma_*$ is related to \ensuremath{\mathcal{CP}}\xspace or
\ensuremath{\mathcal{CP}}\xspace-like transformations~\cite{Baur:2019kwi}, while $\hat{M}$ induces the so-called mirror symmetry.

\newpage

\section[Connection between modular transformations and flavor symmetries]{\boldmath Connection between modular transformations and flavor symmetries\unboldmath}
\label{sec:ModularVSFlavor}

Modular transformations and flavor symmetries are closely connected in string
theory~\cite{Baur:2019kwi}. We distinguish them here by their action on the moduli $T$ and $U$ and
their breaking-behavior under non-vanishing vacuum expectation values (VEVs) of $\langle T\rangle$
and $\langle U\rangle$.

As discussed in section~\ref{sec:NarainSpaceGroup}, orbifolding can freeze some of the moduli
that parameterize the Narain vielbein $E$ to special values. Let us denote these frozen moduli
collectively by $M_\mathrm{fix}$ and the unfrozen ones by $M$. For example, as we will see in
detail in section~\ref{sec:Z3NarainFlavor}, for a symmetric $\Z{3}$ orbifold in $D=2$
dimensions the complex structure modulus is frozen, $M_\mathrm{fix} = U = \exp\left(2\pi\mathrm{i}/3\right)$,
while the K\"ahler modulus remains unconstrained, $M=T$.

Now, let us consider an outer automorphism of the Narain space group,
eq.~\eqref{eq:ConditionOnOuterAutomorphismOfNarain} and denote it by
$\hat{h}=(\hat\Sigma, \hat{T}) \not\in \hat{S}_\mathrm{Narain}$, where
$\hat\Sigma \in \mathrm{O}_{\hat{\eta}}(D,D,\Z{})$. Then, we can distinguish three cases of
transformations:
\begin{enumerate}
\item[(1.)]
The traditional flavor symmetry. It is defined as the subgroup of the outer automorphisms of the
Narain space group that remains unbroken at \textit{every} point in moduli space $\langle M\rangle$.
All transformations $\hat{h}$ which trivially leave the moduli invariant,
\begin{equation}
M ~\stackrel{\hat{h}}{\longmapsto}~ M'(M) ~=~ M\;,
\end{equation}
belong to this class. In general, these transformations include all translational outer automorphisms
\mbox{$\hat h=(\mathbbm{1}, \hat{T})\not\in \hat{S}_\mathrm{Narain}$} and the trivially acting element
$\hat h=(-\mathbbm{1},0)$. However, note that the latter element can also be an inner automorphism if it is
taken to be part of the orbifold twist, in which case it does not appear as a flavor symmetry.
Together, the translations $(\mathbbm{1}, \hat{T}_j)\not\in \hat{S}_\mathrm{Narain}$ and possibly the
inversion $(-\mathbbm{1}, 0) \not\in\hat{S}_\mathrm{Narain}$ generate what we call the traditional flavor
symmetry.

\item[(2.a)]
The modular transformations after orbifolding. These are given by those outer automorphisms
$\hat{h}=(\hat\Sigma,\hat T)\not\in\hat{S}_\mathrm{Narain}$ that give rise to nontrivial modular
transformations,
\begin{equation}
M ~\stackrel{\hat{h}}{\longmapsto}~ M'(M) ~\neq~ M\;,
\end{equation}
for generic values of the moduli $M$. Consequently, modular transformations are generally
spontaneously broken by the VEVs of the moduli $\langle M\rangle$, i.e.\ at a generic point in
moduli space. This may also include transformations involving complex conjugation and the mirror
symmetry.

\item[(2.b)]
The unified flavor symmetry. This symmetry is a combination of the traditional flavor symmetry (1.)
together with specific enhancements from the modular transformations (2.a) that depend on the
location in moduli space. This happens due to the fact that some transformations from case (2.a)
have fixed points, i.e.\
\begin{equation}\label{eq:FixedPointOfModuliTrafo}
M ~\stackrel{\hat{h}}{\longmapsto}~ M'(M) ~\stackrel{!}{=}~ M\;,
\end{equation}
for \textit{some} special values of the moduli $M$, even though in general $M'(M) ~\neq~ M$. If
the VEVs of the moduli are stabilized precisely at these fixed points, then the corresponding outer
automorphism $\hat{h}$ enhances the traditional flavor symmetry to build up the \textit{unified
flavor symmetry}. For example, $M \mapsto M'(M) = -\nicefrac{1}{M}$ is a nontrivial modular
transformation which has a fixed point at $M=\mathrm{i}$.

This enhancement may include modular transformations which involve complex conjugation or
permutation of the moduli, which are generically related to \ensuremath{\mathcal{CP}}\xspace and \ensuremath{\mathcal{CP}}\xspace-like transformations or to
so-called mirror symmetry, respectively. Hence, not all of these transformations are flavor
symmetries in the traditional sense, for what reason we decided to call the resulting group the
``unified flavor symmetry''. Depending on the localization in moduli space there can be various
different ``unified flavor symmetries''. These unified flavor symmetries share the property that
they are broken spontaneously to the traditional flavor symmetry, case (1.), once the moduli are
deflected from any of their fixed points, eq.~\eqref{eq:FixedPointOfModuliTrafo}, to a generic
point in moduli space.

\end{enumerate}

\subsection[Enhancements of the flavor symmetry]{\boldmath Enhancements of the flavor symmetry\unboldmath}
Let us discuss cases (1.) and (2.b) in more detail. As already remarked above, we exclude here
transformations which are part of the orbifold twist $\hat\Theta$ and focus on the true outer automorphisms.

Focusing on case (2.b) we are looking for outer automorphisms of the Narain space group
$\hat{h}=(\hat\Sigma, \hat{T})$ with $\hat\Sigma \in \mathrm{O}_{\hat{\eta}}(D,D,\Z{})$ that leave
the moduli invariant \textit{only} at some special points but not at a generic point in moduli
space.\footnote{The transformations that leave the moduli invariant at \textit{every} point in
moduli space are classified as class (1.) above. Therefore, if they are not part of the orbifold
twist, they are already included as part of the traditional flavor symmetry.} Hence, using
eq.~\eqref{eqn:SymmetryTrafoOfGeneralizedMetric} we find the condition
\begin{equation}\label{eq:GeneralizedMetricInvariant}
\mathcal{H}(M) ~\stackrel{\hat\Sigma}{\longmapsto}~ \mathcal{H}(M') ~=~ \hat\Sigma^{-\mathrm{T}}\mathcal{H}(M)\hat\Sigma^{-1} ~\stackrel{!}{=}~ \mathcal{H}(M)\;,
\end{equation}
which has to be solved for $M$ in order to identify values of the moduli with potentially enhanced
symmetry. We can define $\Sigma := E\, \hat\Sigma\, E^{-1}$ and rewrite
eq.~\eqref{eq:GeneralizedMetricInvariant} as
\begin{equation}\label{eq:TransformationsFromFlavor}
\Sigma^\mathrm{T} \Sigma ~\stackrel{!}{=}~ \mathbbm{1}\;.
\end{equation}
Moreover, combining this condition with $\Sigma^\mathrm{T} \eta\,\Sigma = \eta$ from
eq.~\eqref{eqn:SymmetryGroupOfNarainLattice}, we have to demand
\begin{equation}\label{eq:StructureOfSigma}
\Sigma ~\stackrel{!}{=}~ \begin{pmatrix} \sigma_\mathrm{R}&0\\0&\sigma_\mathrm{L}\end{pmatrix} \quad\mathrm{where}\quad \sigma_\mathrm{R}, \sigma_\mathrm{L} ~\in~ \mathrm{O}(D) \quad\Rightarrow\quad \mathrm{det}(\sigma_\mathrm{R/L})=\pm 1\;,
\end{equation}
in analogy to the Narain twist $\Theta$ in eq.~\eqref{eq:NarainOrbifold}. We remark that this
block-diagonal structure of orthogonal matrices in $\Sigma$ automatically ensures that the left-
and right-moving masses of a general untwisted string are invariant under a transformation with
$\Sigma$. All potential enhancements of the traditional flavor symmetry originate from outer
automorphisms $(\hat\Sigma, 0) \not\in\hat{S}_\mathrm{Narain}$, where $\Sigma$ is of the form
stated in eq.~\eqref{eq:StructureOfSigma}.

In the next section, we will make use of this block-diagonal structure of $\Sigma$ in $D=2$
dimensions to classify --- independent of the choice of orbifold twist --- all rotational outer
automorphisms of the Narain space group that leave invariant the moduli at some special regions in
moduli space. In contrast, the translational outer automorphisms depend on the chosen orbifold and,
hence, they must be discussed case by case, see section~\ref{sec:Z3PureTranslations} for an example.

\subsection[Classifying the possible enhancements of flavor symmetries in D=2]{\boldmath Classifying the possible enhancements of flavor symmetries in $D=2$\unboldmath}
\label{sec:ClassesOfTwists}

We now specialize to the case of two extra dimensions compactified on a symmetric $\Z{K}$ orbifold
with $K \neq 2$ and classify all possible enhancements of the traditional flavor
symmetry.\footnote{%
We exclude the case $K=2$ of $\Z{2}$ orbifolds here, because
for this case there are, in general, outer automorphisms which do not obey eq.~\eqref{eq:EqualDets}.
For example, for $K=2$ there can be outer automorphisms that act as a rotation on the right-mover
and as a reflection on the left-mover.}
All of them can be described by different $\Sigma$'s of the form stated in eq.~\eqref{eq:StructureOfSigma}.
As discussed in ref.~\cite{Baur:2019kwi} the automorphism condition~\eqref{eq:ConditionOnOuterAutomorphismOfNarain}
in $D=2$ restricts the determinants of $\sigma_\mathrm{R}$ and $\sigma_\mathrm{L}$. In more detail,
eq.~\eqref{eq:ConditionOnOuterAutomorphismOfNarain} implies that for all $k$ there is a $k'$ such
that
\begin{equation}\label{eq:ConditionsOnsigmaRL}
\sigma_\mathrm{R}\, \theta^k ~=~ \theta^{k'} \sigma_\mathrm{R} \quad\mathrm{and}\quad \sigma_\mathrm{L}\, \theta^k ~=~ \theta^{k'} \sigma_\mathrm{L}\;.
\end{equation}
The determinant of $\sigma_\mathrm{R} \in \mathrm{O}(2)$ is constrained to be $\pm 1$. Let us assume
first that $\sigma_\mathrm{R}$ is a rotation and not a reflection, i.e.\ $\mathrm{det}(\sigma_\mathrm{R})=1$.
Then, we use that in $D=2$ dimensions all rotations necessarily commute. Consequently, $k=k'$ in
eq.~\eqref{eq:ConditionsOnsigmaRL} and we find
\begin{equation}
\sigma_\mathrm{L}\, \theta ~=~ \theta\, \sigma_\mathrm{L}\;.
\end{equation}
Moreover, by assumption we are considering the case $\theta \neq -\mathbbm{1}$ since $K\neq 2$. Hence,
$\sigma_\mathrm{L}$ must be a rotation, too. Thus, in this case we get
$\mathrm{det}(\sigma_\mathrm{R}) = \mathrm{det}(\sigma_\mathrm{L}) = +1$. Repeating these arguments for
$\sigma_\mathrm{R}$ being a reflection, i.e.\ $\mathrm{det}(\sigma_\mathrm{R})=-1$, we obtain in general
\begin{equation}\label{eq:EqualDets}
\mathrm{det}(\sigma_\mathrm{R}) ~=~ \mathrm{det}(\sigma_\mathrm{L})\;.
\end{equation}
This restricts $\Sigma$ to four cases (now given in the lattice basis
$\hat\Sigma = E^{-1} \Sigma\, E$):
\begin{enumerate}
\item Symmetric rotations $\hat{S}_\mathrm{rot.}(\alpha)$ with $\sigma_\mathrm{R} = \sigma_\mathrm{L}$ and $\mathrm{det}(\sigma_\mathrm{R}) =+1$,
\item Symmetric reflections $\hat{S}_\mathrm{refl.}(\alpha)$ with $\sigma_\mathrm{R} = \sigma_\mathrm{L}$ and $\mathrm{det}(\sigma_\mathrm{R}) =-1$,
\item Asymmetric rotations $\hat{A}_\mathrm{rot.}(\alpha_\mathrm{R}, \alpha_\mathrm{L})$ with $\sigma_\mathrm{R} \neq \sigma_\mathrm{L}$ and $\mathrm{det}(\sigma_\mathrm{R}) = \mathrm{det}(\sigma_\mathrm{L}) = +1$,
\item Asymmetric reflections $\hat{A}_\mathrm{refl.}(\alpha_\mathrm{R}, \alpha_\mathrm{L})$ with $\sigma_\mathrm{R} \neq \sigma_\mathrm{L}$ and $\mathrm{det}(\sigma_\mathrm{R}) = \mathrm{det}(\sigma_\mathrm{L}) = -1$.
\end{enumerate}
Here, the symmetric transformations are parameterized by one angle $\alpha$ (being either the
rotation angle or the angle of the reflection axis) and asymmetric transformations are
parameterized by two angles $\alpha_\mathrm{R}$ and $\alpha_\mathrm{L}$ (being either the rotation
angles or the angles of the reflection axes).

By the definition of outer automorphisms, the rotations must map the four-dimensional Narain
lattice to itself. Thus, the order of a four-dimensional rotation (associated to
$\hat{S}_\mathrm{rot.}(\alpha)$ or $\hat{A}_\mathrm{rot.}(\alpha_\mathrm{R}, \alpha_\mathrm{L})$)
is restricted to the orders of the possibly allowed crystallographic rotations in four
dimensions. These orders can easily be found from the Euler-$\phi$
function~\cite{schwarzenberger1980n}, and they are given by
\begin{equation}\label{eq:OrdersOfRotationIn4D}
\{1,2,3,4,5,6,8,10,12\}\;.
\end{equation}
Another condition is that the $4 \times 4$ matrix $\hat\Sigma$ must be integral in the lattice
basis, c.f.\ eq.~\eqref{eqn:SymmetryGroupOfNarainLattice}. As this matrix is obtained from
$\Sigma$ (given by the four cases above) via $\hat\Sigma = E^{-1} \Sigma\, E$, this integral
condition is in general only fulfilled for special values of the moduli that parameterize the
vielbein $E$ of the Narain lattice. This explains why the unified flavor symmetry --
originating from the outer automorphism group of the Narain space group -- can depend on the value
of the moduli.

After having classified all outer automorphisms of the Narain space group, we also want to analyze how
they act on both, untwisted and twisted string states. The transformation of untwisted strings can be
computed easily as we show in appendix~\ref{sec:BulkVertexOperators}. However, in order to identify
the actual flavor symmetry generated by the outer automorphisms, one also has to identify the transformation
properties of twisted strings. We will proceed to do this for the example of a
$\Z{3}$ orbifold in the next section.

One of the main explicit results of the present work then is a complete classification of all outer
automorphisms $\hat{h}=(\hat\Sigma, \hat{T})\not\in \hat{S}_\mathrm{Narain}$ for the
two-dimensional $\Z{3}$ orbifold presented in the next section.

\section[Outer automorphisms of the Z3 Narain space group]{\boldmath Outer automorphisms of the $\Z{3}$ Narain space group\unboldmath}
\label{sec:Z3NarainFlavor}

To be specific, we analyze the symmetric $\Z{3}$ orbifold in $D=2$ as our main example. We begin in
section~\ref{sec:Z3NarainSpaceGroup} by defining the Narain space group of the symmetric $\Z{3}$
orbifold in $D=2$ dimensions. Then, in section~\ref{sec:Z3ModularTransformations}, we identify
those modular transformations that remain unbroken after orbifolding and analyze the transformation
properties of untwisted and twisted strings in section~\ref{sec:Z3ModularTransformationsOfStrings}.
Finally, in section~\ref{sec:Z3AllFlavorSymmetries}, we classify the outer automorphisms into the
above types (1.) and (2.b), i.e.\ into traditional and unified flavor symmetries, respectively.

\subsection[Z3 Narain space group]{\boldmath $\Z{3}$ Narain space group\unboldmath}
\label{sec:Z3NarainSpaceGroup}

In the lattice basis of the $(2,2)$ Narain formulation, the symmetric $\Z{3}$ twist $\hat\Theta$
reads (cf.\ section~\eqref{sec:NarainSpaceGroup})
\begin{equation}\label{eq:Z3TwistLatticeBasis}
\hat\Theta ~=~ \left(\begin{array}{cccc}
 0 & -1 & 0 &  0 \\
 1 & -1 & 0 &  0 \\
 0 &  0 &-1 & -1 \\
 0 &  0 & 1 &  0
\end{array}\right) ~\in~ \mathrm{O}_{\hat{\eta}}(2,2,\Z{}) \quad\Leftrightarrow\quad \theta ~=~ \theta_\mathrm{R} ~=~ \theta_\mathrm{L} ~=~ \left(\begin{array}{cc}
-\frac{1}{2}        & -\frac{\sqrt{3}}{2} \\
 \frac{\sqrt{3}}{2} & -\frac{1}{2} \\
\end{array}\right)\;.
\end{equation}
It can be decomposed into the generators $\hat{C}_\mathrm{S}$ and $\hat{C}_\mathrm{T}$ of the
modular group $\mathrm{SL}(2,\Z{})_U$ as
\begin{equation}\label{eq:Z3TwistLatticeBasisDecomp}
\hat\Theta ~=~ \left(\hat{C}_\mathrm{S}\right)^3 \hat{C}_\mathrm{T} ~\in~ \mathrm{SL}(2,\Z{})_U\;.
\end{equation}
Consequently, we can use eq.~\eqref{eq:ComplexStructureTrafo} to show that the moduli $T$ and $U$
transform under the twist action~\eqref{eq:Z3TwistLatticeBasisDecomp} as
\begin{equation}
\hat\Theta  ~:~ T ~\mapsto~ T \quad,\quad U ~\mapsto~ -\frac{1}{U+1} \;.
\end{equation}
Therefore, $\hat\Theta$ is a symmetry of the Narain lattice $\Gamma$ spanned by the vielbein $E$
for an arbitrary value of the K{\"a}hler modulus $T$ but fixed complex structure modulus,
\begin{equation}\label{eq:Z3ComplexStructure}
U ~\stackrel{!}{=}~ -\frac{1}{U+1} \qquad \Leftrightarrow \qquad U ~=~ \exp\left(2\pi\mathrm{i}/3\right) \qquad \Rightarrow \qquad E ~=~ E(T)\;.
\end{equation}
Thus, the complex structure modulus $U$ is frozen at $\exp\left(2\pi\mathrm{i}/3\right)$ which corresponds
to the case $R:=|e_1|=|e_2|$, enclosing an angle of 120$^\circ$. This might have been expected from
geometrical considerations of the symmetric $\Z{3}$ orbifold, see eq.~\eqref{eq:ParametersInUModulus}.
Hence, the metric $G$ and the $B$-field $B$ are fixed up to two free parameters: the overall radius
$R$ and the parameter $b$ of the anti-symmetric $B$-field, i.e.
\begin{equation}
e~=~R\begin{pmatrix}1&-\frac{1}{2}\\[2pt]0 &\phantom{0} \frac{\sqrt{3}}{2}\end{pmatrix}\;,
\quad G~=~\frac{R^2}{2} \begin{pmatrix}2&-1\\[2pt] -1&2\end{pmatrix}\;,
\quad\mathrm{and}\quad B~=~b\,\alpha' \begin{pmatrix}0&1\\[2pt]-1&0\end{pmatrix}\;.
\end{equation}
In this case, the K\"ahler modulus, eq.~\eqref{eq:ParametersInTModulus}, reads
\begin{equation}
T~=~b+\mathrm{i}\,\frac{\sqrt{3}}{2}\,r \;,
\end{equation}
where we have defined $r:=\nicefrac{R^2}{\alpha'}$.

\subsection[Modular transformations after orbifolding]{\boldmath Modular transformations after orbifolding\unboldmath}
\label{sec:Z3ModularTransformations}

Modular transformations were introduced in section~\ref{sec:ModularSymmetry} as outer automorphisms
of the Narain lattice. Now, in order to remain unbroken after orbifolding, a modular transformation
has to be an (outer) automorphism of the Narain space group $\hat{S}_\mathrm{Narain}$ as well, see
case (2.a) in section~\ref{sec:ModularVSFlavor}. In the following we analyze which elements
$\hat\Sigma$ of the modular group eq.~\eqref{eq:ModularGroupAsSL2Zs} of the general $(2,2)$ Narain
lattice satisfy the condition that for each $k\in\{0,1,2\}$ there is a $k'\in\{0,1,2\}$ such that
the $\Z{3}$ orbifold twist $\hat\Theta$ from eq.~\eqref{eq:Z3TwistLatticeBasis} satisfies the
condition
\begin{equation}
\hat\Sigma\, \hat\Theta^k\, \hat\Sigma^{-1} ~=~ \hat\Theta^{k'}\;,
\end{equation}
which originates from eq.~\eqref{eq:ConditionOnOuterAutomorphismOfNarain}. In this case,
$\hat\Sigma$ is an unbroken modular transformation after orbifolding.

We note that $\hat\Theta \in \mathrm{SL}(2,\Z{})_U$, see eq.~\eqref{eq:Z3TwistLatticeBasisDecomp}.
Moreover, elements from $\mathrm{SL}(2,\Z{})_T$ commute with those from $\mathrm{SL}(2,\Z{})_U$.
It is therefore obvious that the generators $\hat{K}_\mathrm{S}$ and $\hat{K}_\mathrm{T}$ of
$\mathrm{SL}(2,\Z{})_T$ commute with $\hat\Theta$,
\begin{equation}
\hat{K}_\mathrm{S}\, \hat\Theta\, \hat{K}_\mathrm{S}^{-1} ~=~ \hat\Theta \quad\mathrm{and}\quad \hat{K}_\mathrm{T}\, \hat\Theta\, \hat{K}_\mathrm{T}^{-1} ~=~ \hat\Theta\;.
\end{equation}
Hence, modular transformations from $\mathrm{SL}(2,\Z{})_T$ are automorphisms of the $\Z{3}$ Narain
space group and, therefore, remain unbroken after orbifolding. Note that these transformations do
not interchange the twisted sectors, i.e.\ a string with constructing element
\mbox{$\hat{g}=(\hat\Theta^k,\hat{N})\in\hat{S}_\mathrm{Narain}$} from the $k$-th twisted sector is
mapped by a modular transformation $\mathrm{SL}(2,\Z{})_T$ to a string from the same twisted
sector, see eq.~\eqref{eq:TrafoOfStringState} in appendix~\ref{app:StringStates}.

On the other hand,
\begin{equation}
\hat{C}_\mathrm{S}\, \hat\Theta\, \hat{C}_\mathrm{S}^{-1} ~\neq~ \hat\Theta^{k'} \quad\mathrm{and}\quad \hat{C}_\mathrm{T}\, \hat\Theta\, \hat{C}_\mathrm{T}^{-1} ~\neq~ \hat\Theta^{k'}\;,
\end{equation}
for any $k' \in\{0,1,2\}$.
Consequently, the generators of the modular group $\mathrm{SL}(2,\Z{})_U$ are not automorphisms of
the $\Z{3}$ Narain space group -- in other words, $\mathrm{SL}(2,\Z{})_U$ is broken by the
orbifold. This can also be understood in the following way: As we have seen in
eq.~\eqref{eq:Z3ComplexStructure}, the complex structure modulus $U$ has to be frozen at
$U = \exp\left(2\pi\mathrm{i}/3\right)$ for the symmetric $\Z{3}$ orbifold. Hence, any modular
transformation that does not leave $U = \exp\left(2\pi\mathrm{i}/3\right)$ invariant must be broken.
Indeed, there is a $\Z{6}$ subgroup of $\mathrm{SL}(2,\Z{})_U$, generated by
$\hat{C}_\mathrm{S} \hat{C}_\mathrm{T}$, which leaves $U = \exp\left(2\pi\mathrm{i}/3\right)$ invariant.
This $\Z{6}$ can be written as $\Z{3}\times\Z{2}$, where the $\Z{3}$ is generated by the orbifold
twist $\hat\Theta = (\hat{C}_\mathrm{S})^3 \hat{C}_\mathrm{T}$ while the $\Z{2}$ is generated by
$\hat{C}_\mathrm{S}^2$. Thus, the $\Z{3}$ factor is an inner, not an outer, automorphism of the
Narain space group, while the $\Z{2}$ factor can be written as
$\hat{C}_\mathrm{S}^2 = \hat{K}_\mathrm{S}^2$ and, hence, also appears from the unbroken
modular group $\mathrm{SL}(2,\Z{})_T$. Consequently, the modular group $\mathrm{SL}(2,\Z{})_U$ does
not contain any independent outer automorphisms of the $\Z{3}$ Narain space group and, therefore, does
not contribute to the flavor symmetry.

In addition to elements of $\mathrm{SL}(2,\Z{})_{U}$ or $\mathrm{SL}(2,\Z{})_{T}$, we consider the
$\ensuremath{\mathcal{CP}}\xspace$-like transformation $\hat{K}_*$ defined as
\begin{equation}
\hat{K}_* ~:=~ \hat{C}_\mathrm{S}\, \hat{C}_\mathrm{T}\, \hat{C}_\mathrm{S}\, \hat{\Sigma}_* ~=~ \left(\begin{array}{cccc}
 1 &  0 & 0 &  0 \\
 1 & -1 & 0 &  0 \\
 0 &  0 & 1 &  1 \\
 0 &  0 & 0 & -1
\end{array}\right) \quad\mathrm{with}\quad \left(\hat{K}_*\right)^2 ~=~ \mathbbm{1}\;.
\end{equation}
This transformation is an outer automorphism of the $\Z{3}$ Narain space group
\begin{equation}\label{eqn:ActionOfSreflOnTwistedSectors}
\hat{K}_*\, \hat\Theta\, \hat{K}_*^{-1} ~=~ \hat\Theta^2\;,\\
\end{equation}
and hence remains unbroken after orbifolding. Very importantly, $\hat{K}_*$ interchanges strings
from the first and second twisted sector, see eq.~\eqref{eq:TrafoOfStringState} in
appendix~\ref{app:StringStates}. Consequently, eq.~\eqref{eqn:ActionOfSreflOnTwistedSectors} has
significant consequences for the heterotic string: the heterotic string has 16 extra left-moving
bosonic degrees of freedom $X^I$ for $I=1,\ldots,16$, which give rise to the 10D gauge symmetry,
for example $\E{8}\times\E{8}$, and four right-moving complex world-sheet fermions $\Psi^a$ (in
light-cone gauge). In order to promote the interchange of twisted sectors induced by $\hat{K}_*$ to
an automorphism of the heterotic string, the action of $\hat{K}_*$ has to be extended to
\begin{equation}
X^I ~\longmapsto~ -X^I \quad\mathrm{and}\quad \Psi^a ~\longmapsto~ \bar\Psi^a\;.
\end{equation}
Hence, the transformation $\hat{K}_*$ maps all gauge representations to their complex conjugates
and interchanges left-chiral and right-chiral target-space fermions. Thus, it corresponds to a
physical $\ensuremath{\mathcal{CP}}\xspace$ transformation of the gauge groups.\footnote{%
The corresponding (outer) automorphism of the gauged semi-simple Lie groups is unique and
corresponds to the usual, most general physical \ensuremath{\mathcal{CP}}\xspace transformation~\cite{Grimus:1995zi}.
However, for the (discrete, possibly enhanced) flavor symmetry, it is possible that the corresponding transformation
``only'' acts as a \ensuremath{\mathcal{CP}}\xspace-like symmetry, which is exactly the mechanism of physical \ensuremath{\mathcal{CP}}\xspace violation
which we had already discussed in~\cite{Nilles:2018wex}.}
Finally, under a transformation $\hat{K}_*$ the
moduli transform as
\begin{align}
\hat{K}_* & ~:~ T ~\mapsto~ -\bar{T}\;, &\hspace{-3cm} U ~\mapsto~ -\frac{\bar{U}}{1+\bar{U}} \;.
\end{align}
This leaves the special choice of moduli
\begin{equation}
T ~=~ \mathrm{i}\,T_2 \qquad\mathrm{and}\qquad U ~=~ \exp\left(2\pi\mathrm{i}/3\right)\;
\end{equation}
invariant for all values of $T_2\in\mathbbm{R}$. Since the complex structure modulus $U$ is frozen
by the $\Z{3}$ orbifold to precisely this value according to eq.~\eqref{eq:Z3ComplexStructure}, we
confirm that the transformation $\hat{K}_*$ is unbroken by the $\Z{3}$ orbifold \textit{as long as
$T$ takes purely imaginary values}.

In conclusion, we find that the maximal modular group after orbifolding is generated by
$(\hat{K}_\mathrm{S}, \hat{K}_\mathrm{T}, \hat{K}_*)$ and has the structure
\begin{equation}
\mathrm{SL}(2,\Z{})_T \rtimes \Z{2}\;,
\end{equation}
where the $\Z{2}$ factor acts as physical $\ensuremath{\mathcal{CP}}\xspace$ transformation, at least for the gauge sector. In
fact, using the presentation~\cite{cohn2013algebra}
\begin{equation}\label{eq:GL2Z}
\mathrm{GL}(2,\Z{}) ~=~ \langle\; \mathrm{S}, \mathrm{T}, \mathrm{K} ~|~ \mathrm{S}^4 = \mathbbm{1} \;,\; \mathrm{S}^2 = \left(\mathrm{S}\,\mathrm{T}\right)^3 \;,\; \mathrm{K}^2 = \mathbbm{1} \;,\; \left(\mathrm{S}\,\mathrm{K}\right)^2 = \mathbbm{1} \;,\; \left(\mathrm{T}\,\mathrm{K}\right)^2 = \mathbbm{1}  \;\rangle\;,
\end{equation}
we find that our generators actually form a representation of the extended modular group
$\mathrm{GL}(2,\Z{})\cong\mathrm{SL}(2,\Z{})\rtimes\Z{2}$. Very importantly, we will see next that
all massless string states transform trivial under a certain subgroup of $\mathrm{GL}(2,\Z{})$ (i.e.\
under a congruence subgroup, where elements of $\mathrm{GL}(2,\Z{})$ are only defined mod 3). Hence,
massless strings form representations of the finite modular group $\mathrm{GL}(2,3)$. Furthermore,
it is clear that the \ensuremath{\mathcal{CP}}\xspace-like transformation $\hat{K}_*$ can be spontaneously broken,
if $\langle T\rangle$ is deflected away from a purely imaginary value.

\subsection[Modular transformations of strings]{\boldmath Modular transformations of strings\unboldmath}
\label{sec:Z3ModularTransformationsOfStrings}

Next, we discuss strings on the symmetric $\Z{3}$ orbifold in $D=2$ and their transformation
properties under the modular group $\mathrm{GL}(2,\Z{})$ generated by $\hat{K}_\mathrm{S}$,
$\hat{K}_\mathrm{T}$, and $\hat{K}_*$. A detailed description of strings on orbifolds is reviewed
in appendix~\ref{app:StringStates}. In summary, there are two classes of strings on orbifolds,
invariant under the $\Z{3}$ twist: First of all, there are untwisted strings
$V(\hat{N})^\mathrm{orb.}$ with constructing elements
$[g]=\{(\mathbbm{1}, E\,\hat{N}), (\mathbbm{1}, E\,\hat\Theta\,\hat{N}), (\mathbbm{1}, E\,\hat\Theta^2\,\hat{N})\} \subset S_{\mathrm{Narain}}$.
Here, $\hat{N} = (n_1, n_2, m_1, m_2)^\mathrm{T} \in \Z{}^4$ parameterizes the Kaluza-Klein (KK)
momentum $(m_1, m_2)$ and winding numbers $(n_1, n_2)$ of the untwisted string on the orbifold. At
a generic point in $T$-moduli space, only the untwisted string with $\hat{N}=(0,0,0,0)^\mathrm{T}$
is massless. Yet, we are interested in the full tower of massive strings. It is convenient to group
these untwisted strings into nine classes of strings $V^{(M,N)}$ for $M,N \in\{0,1,2\}$ according
to their discrete KK and winding charges, which are defined modulo 3 as
\begin{equation}
(M, N) ~=~ (-m_1 + m_2, n_1 + n_2)\;.
\end{equation}
Second, there are twisted strings: We denote them by $(X,\,Y,\,Z)$ and $(\bar{X},\,\bar{Y},\,\bar{Z})$
for the three twisted strings localized at the three fixed points in the first and second twisted
sector, respectively. Note that $(\bar{X},\,\bar{Y},\,\bar{Z})$ give rise to the right-chiral
CPT-conjugates of $(X,\,Y,\,Z)$ needed to promote $(X,\,Y,\,Z)$ to complete left-chiral superfields.

\begin{table}[!t]
\begin{center}
\begin{tabular}{c|c|c|c}
\toprule
generator          & transformation           & transformation        & six-dimensional representation $\hat{\Sigma}_{\rep{6}}$\\
$\hat{\Sigma}$     & of                       & of charges $(M,N)$    & for twisted strings\\
                   & $T$-modulus              & for untwisted strings & $(X,\,Y,\,Z,\,\bar{X},\,\bar{Y},\,\bar{Z})$\\
\addlinespace
\midrule
\addlinespace
$\hat{K}_\mathrm{S}$ & $T~\mapsto~-\frac{1}{T}$ & $(M,N)\mapsto(N,-M)$       & $-\frac{\mathrm{i}}{\sqrt{3}}\begin{pmatrix} 1 & 1 & 1 & 0 & 0 & 0\\ 1 & \omega & \omega^2 & 0 & 0 & 0\\ 1 & \omega^2 & \omega & 0 & 0 & 0\\ 0 & 0 & 0 & -1 & -1 & -1\\ 0 & 0 & 0 & -1 & -\omega^2 & -\omega\\ 0 & 0 & 0 & -1 & -\omega & -\omega^2\end{pmatrix}$\\
\addlinespace
\midrule[0.15mm]
\addlinespace
$\hat{K}_\mathrm{T}$ & $T~\mapsto~T+1$          & $(M,N)\mapsto(M-N,N)$      & $\phantom{-\frac{\mathrm{i}}{\sqrt{3}}}\begin{pmatrix} \omega^2 & 0 & 0 & 0 & 0 & 0\\ 0 & 1 & 0 & 0 & 0 & 0\\ 0 & 0 & 1 & 0 & 0 & 0\\ 0 & 0 & 0 & \omega & 0 & 0\\ 0 & 0 & 0 & 0 & 1 & 0\\ 0 & 0 & 0 & 0 & 0 & 1\end{pmatrix}$\\
\addlinespace
\midrule[0.15mm]
\addlinespace
$\hat{K}_*$          & $T~\mapsto~-\bar{T}$     & $(M,N)\mapsto(M,-N)$       & $\phantom{-\frac{\mathrm{i}}{\sqrt{3}}}\begin{pmatrix} 0 & 0 & 0 & 1 & 0 & 0\\ 0 & 0 & 0 & 0 & 1 & 0\\ 0 & 0 & 0 & 0 & 0 & 1\\ 1 & 0 & 0 & 0 & 0 & 0\\ 0 & 1 & 0 & 0 & 0 & 0\\ 0 & 0 & 1 & 0 & 0 & 0\end{pmatrix}$\\
\addlinespace
\bottomrule
\end{tabular}
\caption{Modular transformations after $\Z{3}$ orbifolding: $\mathrm{SL}(2,\Z{})_T$ modular
transformations of the $T$-modulus are generated by $\hat{K}_\mathrm{S}$ and $\hat{K}_\mathrm{T}$
and extended by the $\ensuremath{\mathcal{CP}}\xspace$-like transformation $\hat{K}_*$, see
section~\ref{sec:Z3ModularTransformations}. Here and in the following,
$\omega:=\mathrm{e}^{2\pi\mathrm{i}/3}$}.
\label{tab:ModularTrafoTwistedStrings}
\end{center}
\end{table}

Now, we can use the results of appendix~\ref{sec:BulkVertexOperators} to compute the transformation
of orbifold-invariant untwisted strings $V(\hat{N})^\mathrm{orb.}$ under the generators of
unbroken modular transformations
\begin{equation}\label{eq:ModSymmetryGenerators}
\hat{\Sigma} ~\in~ \{\hat{K}_\mathrm{S}, \hat{K}_\mathrm{T}, \hat{K}_* \}\;.
\end{equation}
These modular transformations act naturally on untwisted strings $V(\hat{N})^\mathrm{orb.}$, i.e.\
\begin{equation}
V(\hat{N})^\mathrm{orb.} ~\mapsto~ V(\hat{\Sigma}^{-1}\hat{N})^\mathrm{orb.}\;.
\end{equation}
Hence, modular transformations $\hat{\Sigma}$ in general permute untwisted strings, as indicated by
the transformations of the classes $V^{(M,N)}$ of untwisted strings given in the third column of
table~\ref{tab:ModularTrafoTwistedStrings}.

Finally, we compute the transformation properties of twisted strings $(X,\,Y,\,Z)$ and
$(\bar{X},\,\bar{Y},\,\bar{Z})$. To do so, we examine the OPEs~\cite{Lauer:1989ax,Lauer:1990tm}
between twisted strings $(X,\,Y,\,Z)$ and $(\bar{X},\,\bar{Y},\,\bar{Z})$ which yield the classes
$V^{(M,N)}$ of untwisted strings, see eq.~\eqref{eqn:InvertedOPEs} in
appendix~\ref{sec:Z3VertexOperators}. Since we know the transformations of $V^{(M,N)}$, we can
infer the transformations of the twisted strings, where possible phases have been fixed using three
approaches that all lead to the same result: i) By requiring minimality, such that the flavor
groups computed in section~\ref{sec:FlavorLandscape} are as small as possible; ii) by requiring
that the resulting flavor groups are identical for equivalent regions in moduli space; and iii) by
using ref.~\cite{Lerche:1989cs} (ignoring those contributions that originate from other parts of
the full string vertex operator and the contribution that depends on the $T$-modulus). Doing so, we
obtain the six-dimensional transformation matrices $\hat{\Sigma}_{\rep{6}}$ of the six twisted
strings $(X,\,Y,\,Z,\,\bar{X},\,\bar{Y},\,\bar{Z})$ under
$(\hat{\Sigma},0) \not\in \hat{S}_\mathrm{Narain}$, see
also~\cite{Lauer:1990tm,Lerche:1989cs,Ferrara:1989qb}. The results are listed in the last column of
table~\ref{tab:ModularTrafoTwistedStrings}.

At low energies one can integrate out all massive strings and the effective low-energy theory
depends only on the massless strings given by the untwisted string $V(\hat{N}=0)^\mathrm{orb.}$
and the twisted strings. Under modular transformations with $\hat{K}_{\mathrm{S}}$ and
$\hat{K}_{\mathrm{T}}$ the untwisted string $V(0)^\mathrm{orb.}$ is invariant, while the twisted
strings transform with the six-dimensional matrices $\hat{K}_{\mathrm{S}, \rep{6}}$ and
$\hat{K}_{\mathrm{T}, \rep{6}}$ as given in table~\ref{tab:ModularTrafoTwistedStrings}. It turns
out that these matrices generate the finite modular group $\mathrm{T}'$, which is the double
covering group of $A_4 \cong \Gamma_3$. Including the \ensuremath{\mathcal{CP}}\xspace-like transformation $\hat{K}_*$, the
finite modular group $\mathrm{T}' \cong \mathrm{SL}(2,3)$ is enhanced to $\mathrm{GL}(2,3)$, see
appendix~\ref{sec:TprimeDecomposition} for further details. In summary, the modular group of
massless strings on the two-dimensional $\Z{3}$ orbifold is $\mathrm{GL}(2,3)$, a group of order
48, and it includes the $\ensuremath{\mathcal{CP}}\xspace$-like transformation $\hat{K}_*$.

\subsection[Classification of flavor symmetries]{\boldmath Classification of flavor symmetries\unboldmath}
\label{sec:Z3AllFlavorSymmetries}

Let us now give a complete classification of all outer automorphisms of the $\Z3$ Narain space
group of type (1.) and (2.b), i.e.\ that leave the moduli invariant, at least at some points in
moduli space. By doing so, we obtain the unified flavor symmetry of the symmetric $\Z{3}$ orbifold
in two dimensions. As stated in section~\ref{sec:AutomorphismsNarainSpaceGroup}, the group of outer
automorphisms can be generated in our case by pure twists $\hat{h}=(\hat\Sigma, 0)\not\in \hat{S}_\mathrm{Narain}$
and pure translations $\hat{h}=(\mathbbm{1}, \hat{T})\not\in \hat{S}_\mathrm{Narain}$. Moreover, according
to section~\ref{sec:ClassesOfTwists}, there are four classes of twist outer automorphisms: symmetric
rotations, symmetric reflections, asymmetric rotations, and asymmetric reflections. In the following,
we will discuss the pure translations and these four classes of twists individually.

\begin{figure}[ht]
\centering
\includegraphics[width=0.8\linewidth]{ModPlot.pdf}
\caption{\label{fig:modular_space2}
Fixed points and fixed curves in the moduli space of the K\"ahler modulus
$T=b + \mathrm{i}\, \nicefrac{\sqrt{3}}{2}\,r$ under modular transformations composed out of the generators
$\hat{K}_\mathrm{S}$, $\hat{K}_\mathrm{T}$, and $\hat{K}_*$. }
\end{figure}

\subsubsection[Pure translations]{\boldmath Pure translations\unboldmath}
\label{sec:Z3PureTranslations}

The pure translational outer automorphisms $\hat{h}=(\mathbbm{1}, \hat{T})$ with $\hat{T} \not\in \Z{}^4$
can be determined by
\begin{equation}
\left(\mathbbm{1} - \hat\Theta\right)\,\hat{T} ~\in~ \Z{}^4\;,
\end{equation}
using eq.~\eqref{eq:ConditionOnOuterAutomorphismOfNarain} with $k=1$. It turns out that there are
two translations, denoted by $\mathrm{A}$ and $\mathrm{B}$,
\begin{equation}
\mathrm{A} ~=~ (\mathbbm{1}, \hat{T}_1)\;,\;  \mathrm{B} ~=~ (\mathbbm{1}, \hat{T}_2)  \quad\mathrm{with}\quad \hat{T}_1 ~=~ \begin{pmatrix}\frac{1}{3}\\\frac{2}{3}\\0\\0\end{pmatrix} \;,\; \hat{T}_2 ~=~ \begin{pmatrix}0\\0\\\frac{1}{3}\\\frac{1}{3}\\\end{pmatrix}\;,
\end{equation}
which generate all translational outer automorphisms --- at any point in $T$-moduli space. Hence,
$\mathrm{A}$ and $\mathrm{B}$ are generators of the traditional flavor symmetry as defined in
section~\ref{sec:ModularVSFlavor}.

The translation $\mathrm{A}$ shifts the winding number, while $\mathrm{B}$ shifts the KK number.
Using eq.~\eqref{eqn:CoordinatesYAndTildeY} these shifts can be translated to shifts of the
geometrical coordinates $y$ and their T-duals $\tilde{y}$: the translation $\mathrm{A}$ shifts $y$
(and simultaneously $\tilde{y}$ if the $B$-field is nontrivial), while $\mathrm{B}$ shifts only the
T-dual coordinate $\tilde{y}$ but leaves the geometrical coordinate $y$ inert. Consequently, the
translation $\mathrm{B}$ can not be obtained in a purely geometrical approach but only in the
Narain construction.

\subsubsection[Symmetric rotations]{\boldmath Symmetric rotations\unboldmath}
\label{sec:Z3SymmetricRotation}

We start with the most general left-right-symmetric rotation in $(2,2)$ dimensions
$S_\mathrm{rot.}(\alpha)$, where the rotation angle $\alpha$ is constrained crystallographically
according to eq.~\eqref{eq:OrdersOfRotationIn4D}. By changing the basis to the Narain lattice basis,
\begin{equation}
\hat{S}_\mathrm{rot.}\!\left(\alpha\right) ~=~ E^{-1}\, S_\mathrm{rot.}(\alpha)\,E ~\stackrel{!}{\in}~ \mathrm{GL}(4,\Z{})\;,
\end{equation}
one finds that left-right-symmetric rotations in $(2,2)$ dimensions are automorphisms of the
$\Z{3}$ Narain space group only for $\alpha = \nicefrac{2\pi\,\ell}{6}$ and $\ell\in\{0,\ldots,5\}$,
independent of the value of the $T$-modulus. Hence, one confirms that the order 6 transformation
\begin{equation}\label{eq:SymZ6Rotations}
\hat{S}_\mathrm{rot.}\!\left(\nicefrac{2\pi}{6}\right) ~=~ \begin{pmatrix}1&-1&0&0\\1&0&0&0\\0&0&0&-1\\0&0&1&1\end{pmatrix} ~=~ \left(\hat{C}_\mathrm{S} \hat{C}_\mathrm{T}\right)^5\quad\mathrm{with}\quad \left(\hat{S}_\mathrm{rot.}\!\left(\nicefrac{2\pi}{6}\right)\right)^6 ~=~ \mathbbm{1}\;,
\end{equation}
generates all symmetric rotations. Since
$\left(\hat{S}_\mathrm{rot.}\!\left(\nicefrac{2\pi}{6}\right)\right)^2 = \hat\Theta$ is the
orbifold twist $\hat\Theta$, see eq.~\eqref{eq:Z3TwistLatticeBasis}, this $\Z{6}$ can be written as
$\Z{3}\times\Z{2}$ generated by the inner automorphism $\hat\Theta$ and the outer automorphism
\begin{equation}\label{eq:SymZ2Rotation}
\mathrm{C}~:=~ (\hat{S}_\mathrm{rot.}(\pi), 0) \quad\mathrm{where}\quad \hat{S}_\mathrm{rot.}(\pi) ~=~ \left(\hat{S}_\mathrm{rot.}\!\left(\nicefrac{2\pi}{6}\right)\right)^3 ~=~ -\mathbbm{1} ~=~ \left(\hat{K}_\mathrm{S}\right)^2 \;.
\end{equation}
We denote this rotational outer automorphism $(\hat{S}_\mathrm{rot.}(\pi), 0)$ of the $\Z{3}$
Narain space group $\hat{S}_\mathrm{Narain}$ by $\mathrm{C}$.

In summary, the symmetric rotation $\mathrm{C} = (\hat{S}_\mathrm{rot.}(\pi), 0)$ is unbroken at
any point in $T$-moduli space. Hence, $\mathrm{C}$ is an outer automorphism of type (1.) and
belongs, together with $\mathrm{A}$ and $\mathrm{B}$, to the traditional flavor symmetry as defined
in section~\ref{sec:ModularVSFlavor}.

\subsubsection[Symmetric reflections]{\boldmath Symmetric reflections\unboldmath}
\label{sec:Z3SymmetricReflection}

Next, we discuss left-right-symmetric reflections $S_\mathrm{refl.}(\alpha)$ in $(2,2)$ dimensions.
Again, we change the basis to the Narain lattice basis,
\begin{equation}
\hat{S}_\mathrm{refl.}\!\left(\alpha\right) ~=~ E^{-1}\, S_\mathrm{refl.}(\alpha)\,E ~\stackrel{!}{\in}~ \mathrm{GL}(4,\Z{})\;.
\end{equation}
Then, one finds that the general left-right-symmetric reflection
$\hat{S}_\mathrm{refl.}\!\left(\alpha\right)$ is an integer matrix only for
$\alpha = \nicefrac{2\pi\,\ell}{6}$ with $\ell\in\{0,\ldots,5\}$, for all choices of the radius $r$
but only for quantized values of the $B$-field $b=\nicefrac{n_B}{2}$ with $n_B\in\Z{}$. Thus, the
symmetric reflection $\hat{S}_\mathrm{refl.}\!\left(\alpha\right)$ depends additionally on
$n_B\in\Z{}$ and we write $\hat{S}_\mathrm{refl.}^{(n_B)}\!\left(\alpha\right)$. One confirms that
the transformations
\begin{equation}
\hat{S}_\mathrm{refl.}^{(n_B)}\!\left(\alpha\right) ~=~ \left(\hat{S}_\mathrm{rot.}(\pi)\right)^v\, \left(\Hat\Theta\right)^w\, \hat{S}_\mathrm{refl.}^{(n_B)}\!\left(\nicefrac{2\pi}{6}\right)
\end{equation}
describe all symmetric reflections for $v\in\{0,1\}$ and $w\in\{0,1,2\}$ such that the reflection
axis has an angle $\alpha=\nicefrac{2\pi}{6}(1+3v+2w)$. Consequently, we can choose
$\hat{S}_\mathrm{refl.}^{(n_B)}\!\left(\nicefrac{2\pi}{6}\right)$ as the sole generator of the
symmetric reflections, and define
\begin{equation}
\hat{S}_\mathrm{refl.}\!\left(n_B\right) ~:=~ \hat{S}_\mathrm{refl.}^{(n_B)}\!\left(\nicefrac{2\pi}{6}\right) ~=~ \begin{pmatrix}1&0&0&0\\1&-1&0&0\\-n_B&n_B&1&1\\n_B&0&0&-1\end{pmatrix}\;.
\end{equation}
Using section~\ref{sec:ModularSymmetry}, this outer automorphism can be decomposed into the
generators of the modular group as
\begin{equation}
\hat{S}_\mathrm{refl.}\!\left(n_B\right) ~=~ \left(\hat{K}_\mathrm{T}\right)^{n_B} \hat{K}_* \quad\mathrm{for}\quad n_B ~\in~\Z{}\;.
\end{equation}
This reflective outer automorphism $(\hat{S}_\mathrm{refl.}\!\left(n_B\right), 0)$ of
$\hat{S}_\mathrm{Narain}$ is denoted by $\mathrm{D}(n_B)$ for $n_B \in\Z{}$.

In summary, the symmetric reflection
$\mathrm{D}(n_B) = (\hat{S}_\mathrm{refl.}\!\left(n_B\right), 0)$ is unbroken for an arbitrary
radius $r$ in $T$-moduli space, but only for $b=\nicefrac{n_B}{2}$ with $n_B\in\Z{}$, see
figure~\ref{fig:modular_space2}. Hence, $\mathrm{D}(n_B)$ is an outer automorphism of type (2.b)
and belongs to the unified flavor symmetry as defined in section~\ref{sec:ModularVSFlavor}.

\subsubsection[Asymmetric rotations]{\boldmath Asymmetric rotations\unboldmath}
\label{sec:Z3AsymmetricRotation}

Left-right asymmetric rotations
\begin{equation}
\hat{A}_\mathrm{rot.}\!\left(\alpha_\mathrm{R},\alpha_\mathrm{L}\right) ~=~ E^{-1}\, A_\mathrm{rot.}(\alpha_\mathrm{R},\alpha_\mathrm{L})\,E ~\stackrel{!}{\in}~ \mathrm{GL}(4,\Z{})
\end{equation}
are automorphisms of the $\Z{3}$ Narain space group for two classes of values of the $T$-modulus.
Firstly, at all points $T_1=b$, $T_2=\nicefrac{1}{c}$ that fulfill
\begin{equation}\label{eq:LRAsymmetricClass1}
c,b \cdot c~\in~\Z{} \quad\mathrm{and}\quad b^2\,c+\frac{1}{c} ~\in~ \Z{}\;,
\end{equation}
the left-right asymmetric rotations are generated by the transformation
\begin{equation}
\hat{A}_\mathrm{rot.}\!\left(\nicefrac{2\pi\,7}{12},\nicefrac{2\pi}{12}\right) ~=~ c\,\begin{pmatrix}0&b&1&0\\-b&b&1&1\\b^2+\frac{1}{c^2}&-b^2-\frac{1}{c^2}&-b&-b\\0&b^2+\frac{1}{c^2}&b&0\end{pmatrix}\;.
\end{equation}
Secondly, at all points $T_1=b$, $T_2=\nicefrac{\sqrt{3}\,r}{2}$ that fulfill
\begin{equation}\label{eq:LRAsymmetricClass2}
\frac{1}{r},\frac{|T|^2}{r} ~\in~ \Z{} \quad\mathrm{and}\quad \frac{2\,b}{r} ~\in~ \Z{}^{\mathrm{odd}}\;,
\end{equation}
the left-right asymmetric rotations are generated by the symmetric $\Z{6}$ rotation
$\hat{S}_\mathrm{rot.}\!(\nicefrac{2\pi}{6})$ and the transformation
\begin{equation}
\hat{A}_\mathrm{rot.}\!\left(\nicefrac{2\pi}{3},0\right) ~=~ \begin{pmatrix}-\frac{b}{r}+\frac{1}{2}&\frac{b}{r}-\frac{1}{2}&\frac{1}{r}&\frac{1}{r}\\[2pt]-\frac{b}{r}+\frac{1}{2}&0&0&\frac{1}{r}\\[2pt]\frac{b^2}{r}+\frac{3r}{4}&0&0&-\frac{b}{r}-\frac{1}{2}\\[2pt]-\frac{b^2}{r}-\frac{3r}{4}&\frac{b^2}{r}+\frac{3r}{4}&\frac{b}{r}+\frac{1}{2}&\frac{b}{r}+\frac{1}{2}\end{pmatrix}\;.
\end{equation}
Together with the already discussed outer automorphisms, the two asymmetric rotations above
generate all possible asymmetric rotations. For example, at first sight
$\hat{A}_\mathrm{rot.}\!\left(0,\nicefrac{2\pi}{3}\right)$ is an additional left-right asymmetric
transformation. However, this transformation is not independent since
\begin{equation}
\hat{A}_\mathrm{rot.}\!\left(0,\nicefrac{2\pi}{3}\right) ~=~ \left(\hat{A}_\mathrm{rot.}\!\left(\nicefrac{2\pi}{3}, 0\right)\right)^2 \, \left(\hat{S}_\mathrm{rot.}\!\left(\nicefrac{2\pi}{6}\right)\right)^2\;.
\end{equation}
The points of the first class eq.~\eqref{eq:LRAsymmetricClass1} correspond to the blue squares in
figure~\ref{fig:modular_space2}, while the second class eq.~\eqref{eq:LRAsymmetricClass2} is
located at the green curls.

Let us give one example per class: one solution of eq.~\eqref{eq:LRAsymmetricClass1} is given by
$b=0$ and $r=\nicefrac{2}{\sqrt{3}}$ (i.e.\ $c=1$) yielding
$\hat{A}_\mathrm{rot.}\!\left(\nicefrac{2\pi\,7}{12},\nicefrac{2\pi}{12}\right) = \hat{K}_\mathrm{S}\,\hat{\Theta}$,
while one solution of eq.~\eqref{eq:LRAsymmetricClass2} is given by $b=\nicefrac{1}{2}$ and $r=1$
resulting in $\hat{A}_\mathrm{rot.}\!\left(\nicefrac{2\pi}{3},0\right) = \hat{K}_\mathrm{T}\,\hat{K}_\mathrm{S}\,\hat{S}_\mathrm{rot.}\!\left(\nicefrac{2\pi}{6}\right)$.
Since $\hat\Theta$ in the first class is an inner automorphism and
$\hat{S}_\mathrm{rot.}\!\left(\nicefrac{2\pi}{6}\right)$ in the second class is part of the
traditional flavor symmetry, see section~\ref{sec:Z3SymmetricRotation}, the corresponding
enhancements are entirely generated by $\hat{K}_\mathrm{S}$ and
$\hat{K}_\mathrm{T}\,\hat{K}_\mathrm{S}$, respectively.

In summary, there are two independent asymmetric rotations
$(\hat{A}_\mathrm{rot.}\!\left(\nicefrac{2\pi\,7}{12},\nicefrac{2\pi}{12}\right), 0)$
and $(\hat{A}_\mathrm{rot.}\!\left(0,\nicefrac{2\pi}{3}\right), 0)$.
Both are unbroken only at special points in $T$-moduli space, given by
eq.~\eqref{eq:LRAsymmetricClass1} and eq.~\eqref{eq:LRAsymmetricClass2}. Hence, these asymmetric
rotations are outer automorphisms of type (2.b) and, therefore, contribute to the unified flavor
symmetries as defined in section~\ref{sec:ModularVSFlavor}.

\subsubsection[Asymmetric reflections]{\boldmath Asymmetric reflections\unboldmath}
\label{sec:Z3AsymmetricReflection}

Finally, left-right-asymmetric reflections
\begin{equation}
\hat{A}_\mathrm{refl.}\!\left(\alpha_\mathrm{R},\alpha_\mathrm{L}\right) ~=~ E^{-1}\, A_\mathrm{refl.}(\alpha_\mathrm{R},\alpha_\mathrm{L})\,E ~\stackrel{!}{\in}~ \mathrm{GL}(4,\Z{})
\end{equation}
are automorphisms of the $\Z{3}$ Narain space group only for special values of the $T$-modulus and
special angles $\alpha_\mathrm{R} \neq \alpha_\mathrm{L}$ of the reflection axis. One can confirm that
the transformations
\begin{equation}\label{eq:AsymmetricReflections}
\hat{A}_\mathrm{refl.}\!\left(\alpha_\mathrm{R},\alpha_\mathrm{L}\right) ~=~ \begin{pmatrix}-w&0&0&v\\-w&w&v&v\\-\frac{1-w^2}{v}&\frac{1-w^2}{v}&-w&-w\\\frac{1-w^2}{v}&0&0&w\end{pmatrix}
\end{equation}
describe all asymmetric reflections up to $\Z{6}$ rotations given in eq.~\eqref{eq:SymZ6Rotations} for
\begin{equation}\label{eq:ConditionsForAsymmetricReflections}
v,w ~\in~\Z{} \quad\mathrm{ and }\quad \frac{1-w^2}{v} ~\in~ \Z{}\;.
\end{equation}
Furthermore, the $T$-modulus is constrained to live on a circle of radius $\nicefrac{1}{|v|}$ with
center at $(\nicefrac{w}{v},0)$,
\begin{equation}\label{eq:Tcircles}
\left(T_1-\frac{w}{v}\right)^2 + \left(T_2\right)^2 ~=~ \frac{1}{v^2}\;.
\end{equation}

For example, a solution of eq.~\eqref{eq:ConditionsForAsymmetricReflections} is given by $v=\pm 1$
and $w=0$ yielding a circle of radius $1$, centered at $(0,0)$. In this case
eq.~\eqref{eq:AsymmetricReflections} is given by $\hat{A}_\mathrm{refl.1} := (\hat{K}_\mathrm{S})^3 \hat{K}_*$
for $v=1$ and $\hat{A}_\mathrm{refl.1'} := \hat{K}_\mathrm{S} \hat{K}_*$ for $v=-1$.

In summary, the asymmetric reflection $(\hat{A}_\mathrm{refl.}\!\left(\alpha_\mathrm{R},\alpha_\mathrm{L}\right), 0)$
is unbroken only on the circles eq.~\eqref{eq:Tcircles} in $T$-moduli space, see
figure~\ref{fig:modular_space2}. Hence,
$(\hat{A}_\mathrm{refl.}\!\left(\alpha_\mathrm{R},\alpha_\mathrm{L}\right), 0)$ belongs to the
unified flavor symmetry as defined in section~\ref{sec:ModularVSFlavor}.

\section[Unified flavor symmetries of the Z3 orbifold]{\boldmath Unified flavor symmetries of the $\Z{3}$ orbifold\unboldmath}
\label{sec:FlavorLandscape}

After having classified the generators of the (traditional and unified) flavor symmetries for the
$\Z{3}$ orbifold on the level of outer automorphisms of the corresponding Narain space group in
section~\ref{sec:Z3AllFlavorSymmetries}, we determine the resulting, moduli-dependent flavor
symmetries in this section. To do so, it is necessary to identify the transformation properties of
twisted strings in order to get faithful representations of the resulting flavor groups.

\subsection[Traditional flavor symmetry at a generic point in <T>: Delta(54)]{\boldmath Traditional flavor symmetry at a generic point in $\langle T\rangle$: $\Delta(54)$\unboldmath}
\label{sec:GenericPoint}

The outer automorphisms $\hat{h}$ of the $(2,2)$-dimensional $\Z{3}$ Narain space group of type
(1.), i.e.\ the ones that are unbroken at a generic point $\langle T\rangle$ in $T$-moduli space,
can be generated by two translations $\mathrm{A}$ and $\mathrm{B}$, defined in
section~\ref{sec:Z3PureTranslations}, and one symmetric $\Z{2}$ rotation $\mathrm{C}$, defined in
section~\ref{sec:Z3SymmetricRotation}. In order to identify the actual symmetry group of the
traditional flavor symmetry, we determine the transformation properties of untwisted and twisted
strings under these actions in the following.

First, we consider an orbifold-invariant untwisted string $V(\hat{N})^\mathrm{orb.}$ with winding and
KK charges $N,M \in \{0,1,2\}$ such that $\hat{N} \in \Gamma_{MN} \subset \Z{}^4$. Then, using
eq.~\eqref{eqn:TrafoOfBulkVertexOperator} from appendix~\ref{sec:BulkVertexOperators} we obtain the
following transformation properties with respect to the translational generators of the outer
automorphisms $\mathrm{A}$ and $\mathrm{B}$ and with respect to the rotation $\mathrm{C}$:
\begin{subequations}\label{eqn:BulkDelta54Trafo}
\begin{eqnarray}
V(\hat{N})^\mathrm{orb.} & \stackrel{\mathrm{A}}{\longmapsto} & \omega^{2M}\, V(\hat{N})^\mathrm{orb.}\;,\\
V(\hat{N})^\mathrm{orb.} & \stackrel{\mathrm{B}}{\longmapsto} & \omega^{N}\,  V(\hat{N})^\mathrm{orb.}\;,\\
V(\hat{N})^\mathrm{orb.} & \stackrel{\mathrm{C}}{\longmapsto} & V(-\hat{N})^\mathrm{orb.}\;,
\end{eqnarray}
\end{subequations}
where $\omega = \exp\nicefrac{2\pi\mathrm{i}}{3}$. Consequently, an untwisted string $V(\hat{N})^\mathrm{orb.}$
with $\hat{N} \in \Gamma_{MN}$ transforms with phases $\omega^{2M}$ and $\omega^{N}$ under the
translations $\mathrm{A}$ and $\mathrm{B}$, respectively, and (for $\hat{N}\neq 0$) gets
interchanged with $V(-\hat{N})^\mathrm{orb.}$ under $\mathrm{C}$.

\begin{table}[t!]
\begin{center}
\begin{tabular}{c|c|c|ccc}
\toprule
irrep       & untw. vertex operator & $(M,N)$ & $\mathrm{A}$  & $\mathrm{B}$  & $\mathrm{C}$  \\
\midrule
\addlinespace
$\rep{1}_0$ & $V(\hat{N})^\mathrm{orb.} + V(-\hat{N})^\mathrm{orb.}$ & $(0,0)$ & $1$  & $1$  & $1$  \\
$\rep{1}'$  & $V(\hat{N})^\mathrm{orb.} - V(-\hat{N})^\mathrm{orb.}$ & $(0,0)$ & $1$  & $1$  & $-1$ \\
\addlinespace
\midrule[0.15mm]
\addlinespace$\rep{2}_1$ & $\begin{pmatrix} V(\hat{N})^\mathrm{orb.}\\ V(-\hat{N})^\mathrm{orb.}\end{pmatrix}$ & $\begin{array}{c}(0,2)\\(0,1)\end{array}$ & $\begin{pmatrix} 1&0\\0&1\end{pmatrix}$ & $\begin{pmatrix} \omega^2&0\\0&\omega\end{pmatrix}$ & $\begin{pmatrix} 0&1\\1&0\end{pmatrix}$ \\[11pt]
$\rep{2}_2$ & $\begin{pmatrix} V(\hat{N})^\mathrm{orb.}\\ V(-\hat{N})^\mathrm{orb.}\end{pmatrix}$ & $\begin{array}{c}(1,0)\\(2,0)\end{array}$ & $\begin{pmatrix} \omega^2&0\\0&\omega\end{pmatrix}$ & $\begin{pmatrix} 1&0\\0&1\end{pmatrix}$ & $\begin{pmatrix} 0&1\\1&0\end{pmatrix}$ \\[11pt]
$\rep{2}_3$ & $\begin{pmatrix} V(\hat{N})^\mathrm{orb.}\\ V(-\hat{N})^\mathrm{orb.}\end{pmatrix}$ & $\begin{array}{c}(1,2)\\(2,1)\end{array}$ & $\begin{pmatrix} \omega^2&0\\0&\omega\end{pmatrix}$ & $\begin{pmatrix} \omega^2&0\\0&\omega\end{pmatrix}$ & $\begin{pmatrix} 0&1\\1&0\end{pmatrix}$ \\[11pt]
$\rep{2}_4$ & $\begin{pmatrix} V(\hat{N})^\mathrm{orb.}\\ V(-\hat{N})^\mathrm{orb.}\end{pmatrix}$ & $\begin{array}{c}(1,1)\\(2,2)\end{array}$ & $\begin{pmatrix} \omega^2&0\\0&\omega\end{pmatrix}$ & $\begin{pmatrix} \omega&0\\0&\omega^2\end{pmatrix}$ & $\begin{pmatrix} 0&1\\1&0\end{pmatrix}$ \\
\midrule
irrep       & twisted vertex operator  & $N$ & $\mathrm{A}$  & $\mathrm{B}$  & $\mathrm{C}$  \\
\midrule
\addlinespace
$\rep{3}_2$ & $\begin{pmatrix} X\\ Y\\ Z\end{pmatrix}$ & $\begin{array}{c}0\\1\\2\end{array}$ & $\begin{pmatrix} 0&1&0\\0&0&1\\1&0&0\end{pmatrix}$ & $\begin{pmatrix} 1&0&0\\0&\omega&0\\0&0&\omega^2\end{pmatrix}$ & $\begin{pmatrix} -1&0&0\\0&0&-1\\0&-1&0\end{pmatrix}$ \\
$\crep{3}_2$& $\begin{pmatrix} \bar{X}\\ \bar{Y}\\ \bar{Z}\end{pmatrix}$ & $\begin{array}{c}0\\2\\1\end{array}$ & $\begin{pmatrix} 0&1&0\\0&0&1\\1&0&0\end{pmatrix}$ & $\begin{pmatrix} 1&0&0\\0&\omega^2&0\\0&0&\omega\end{pmatrix}$ & $\begin{pmatrix} -1&0&0\\0&0&-1\\0&-1&0\end{pmatrix}$ \\
\addlinespace
\bottomrule
\end{tabular}
\caption{$\Delta(54)$ transformation properties of $\Z{3}$ orbifold-invariant untwisted strings
$V(\hat{N})^\mathrm{orb.}$ and twisted strings $(X,\,Y,\,Z)$ and $(\bar{X},\,\bar{Y},\,\bar{Z})$
from the first and second twisted sector, respectively. Note that $\hat{N} \in \Gamma^{(M,N)}$
and the case $\hat{N} = 0$ is excluded for $\rep{1}'$.}
\label{tab:Delta54Bulk}
\end{center}
\end{table}

Next, we compute the transformation properties of twisted strings
$(X,\,Y,\,Z,\,\bar{X},\,\bar{Y},\,\bar{Z})$ under $\mathrm{A}$, $\mathrm{B}$, and $\mathrm{C}$. For
the symmetric rotation $\mathrm{C}$, we can translate eq.~\eqref{eq:SymZ2Rotation} into the
six-dimensional representation
$\hat{S}_\mathrm{rot.}(\pi) =(\hat{K}_\mathrm{S})^2 \mapsto (\hat{K}_{\mathrm{S},\rep{6}})^2$ using
table~\ref{tab:ModularTrafoTwistedStrings} and obtain
\begin{equation}
\begin{pmatrix}X\\Y\\Z\\\bar{X}\\\bar{Y}\\\bar{Z}\end{pmatrix} ~\stackrel{~\mathrm{C}~}{\longmapsto}~ \begin{pmatrix}-1&0&0&0&0&0\\0&0&-1&0&0&0\\0&-1&0&0&0&0\\0&0&0&-1&0&0\\0&0&0&0&0&-1\\0&0&0&0&-1&0\end{pmatrix}\,\begin{pmatrix}X\\Y\\Z\\\bar{X}\\\bar{Y}\\\bar{Z}\end{pmatrix}\;.
\end{equation}
On the other hand, for the translations $\mathrm{A}$ and $\mathrm{B}$ we use the
OPEs~\eqref{eqn:InvertedOPEs} from appendix~\ref{sec:Z3VertexOperators} to identify the
transformation properties of twisted strings from the corresponding ones of untwisted strings.
Hence, the strategy is exactly complementary to the one used in ref.~\cite{Nilles:2018wex} where
the transformation of doublets was extracted from the assumed transformation properties of the
triplets. As a result, the six-dimensional representation of the outer automorphisms $\mathrm{A}$,
$\mathrm{B}$, and $\mathrm{C}$ generate the traditional flavor symmetry $\Delta(54)$. The results
are summarized in table~\ref{tab:Delta54Bulk}.

Note that $\mathrm{C}$ corresponds to a rotation in extra dimensions, hence, one is tempted to
interpret $\mathrm{C}$ as an $R$-symmetry of $\mathcal{N}=1$ supersymmetry. Consequently,
$\Delta(54)$ gets promoted to the first example of a non-Abelian discrete
$R$-symmetry~\cite{Chen:2013dpa} from strings (where the Grassmann variable of $\mathcal{N}=1$
superspace transforms in a nontrivial one-dimensional representation). A detailed discussion of the
transformation of world-sheet fermions under the rotation $\mathrm{C}$ is needed to settle this
question.

Moreover, since $\mathrm{A}$ and $\mathrm{B}$ are defined as translational outer automorphisms they
seem to commute and generate $\Z{3}\times\Z{3}$ on first sight. This would have been true if they
had affected only the untwisted strings, cf.\ the simultaneously diagonal operators for doublets in
table~\ref{tab:Delta54Bulk}. However, by analyzing the action of $\mathrm{A}$ and $\mathrm{B}$ on
twisted strings, c.f.\ table~\ref{tab:Delta54Bulk}, we realize that $\mathrm{A}$ and $\mathrm{B}$
do not commute. Interestingly, $\mathrm{A^2B^2AB}$ and $\mathrm{B}$ \textit{do} commute and it is
precisely them which give rise to the well-known $\Z{3}\times\Z{3}$ point and space group selection
rules~\cite{Hamidi:1986vh,Ramos-Sanchez:2018edc}.

\subsection[Unified flavor symmetry at b=integer/2: SG(108,17)]{\boldmath Unified flavor symmetry at $b=\frac{\mathrm{integer}}{2}$: $\mathrm{SG}(108,17)$\unboldmath}
\label{sec:HalfIntB}

Let us now discuss the possible enhancements of the traditional flavor symmetry by modular
transformations, which together give rise to the unified flavor symmetry. For quantized values of
the $B$-field $b=\frac{n_B}{2}$ with $n_B\in\Z{}$ and generic radii $r$ the traditional flavor
symmetry $\Delta(54)$ gets enhanced by a left-right-symmetric reflection
$\mathrm{D}(n_B)=(\hat{S}_\mathrm{refl.}(n_B),0)$, where
$\hat{S}_\mathrm{refl.}(n_B) = (\hat{K}_\mathrm{T})^{n_B} \hat{K}_*$, as described in
section~\ref{sec:Z3SymmetricReflection}.

In order to determine the resulting unified flavor symmetry, we use
table~\ref{tab:ModularTrafoTwistedStrings} to construct the six-dimensional (faithful)
representation $(\hat{K}_{\mathrm{T},\rep{6}})^{n_B} \hat{K}_{*,\rep{6}}$ of
$\hat{S}_\mathrm{refl.}\!(n_B)$ that acts on the six twisted strings, i.e.
\begin{equation}
\begin{pmatrix}X\\Y\\Z\\\bar{X}\\\bar{Y}\\\bar{Z}\end{pmatrix} ~\stackrel{~\hat{S}_\mathrm{refl.}(n_B)_{\phantom{I_I}}}{\longmapsto}~ \begin{pmatrix}0&0&0&\omega^{2n_B}&0&0\\0&0&0&0&1&0\\0&0&0&0&0&1\\\omega^{n_B}&0&0&0&0&0\\0&1&0&0&0&0\\0&0&1&0&0&0\end{pmatrix}\,\begin{pmatrix}X\\Y\\Z\\\bar{X}\\\bar{Y}\\\bar{Z}\end{pmatrix}\;.
\end{equation}
Note that this six-dimensional representation of $\hat{S}_\mathrm{refl.}\!(n_B)$ has a
mod-3-periodicity in $n_B$, i.e.\ $\hat{S}_{\mathrm{refl.}, \rep{6}}(n_B+3) = \hat{S}_{\mathrm{refl.}, \rep{6}}(n_B)$.
Hence, there are three different $\Z{2}$ enhancements of $\Delta(54)$. In all three cases, one
finds that the enhanced symmetry is $\mathrm{SG}(108,17)$, see figure~\ref{fig:modular_space1}. For
example, this can done by using GAP \cite{GAP4}. We note that $\mathrm{SG}(108,17)$ is a group of
\ensuremath{\mathcal{CP}}\xspace-type IIA --- in contrast to $\Delta(54)$ which is a \ensuremath{\mathcal{CP}}\xspace-type I
group~\cite{Chen:2014tpa,Trautner:2016ezn}.

Consequently, we obtain a coherent picture of spontaneous \ensuremath{\mathcal{CP}}\xspace-breaking: using the results from
section~\ref{sec:ModularSymmetry} the $T$-modulus transforms under $\hat{S}_\mathrm{refl}(n_B)$ as
$T \longmapsto n_B - \overline{T}$. Hence, the VEV $\langle T\rangle$ is invariant for quantized
$B$-field $b=\frac{n_B}{2}$, i.e.
\begin{equation}
\langle T\rangle ~\mapsto~ n_B - \overline{\langle T\rangle} ~=~ \langle T\rangle \quad\mathrm{for}\quad \langle T\rangle ~=~ \frac{n_B}{2} + \mathrm{i}\, \frac{\sqrt{3}}{2}\,\langle r\rangle\;.
\end{equation}
Here, $n_B\in\Z{}$ specifies lines in $T$-moduli space, see figure~\ref{fig:modular_space2}, where
the traditional flavor symmetry $\Delta(54)$ is enhanced to $\mathrm{SG}(108,17)$ and the \ensuremath{\mathcal{CP}}\xspace-like
transformation $\hat{S}_\mathrm{refl}(n_B)$ is unbroken. Furthermore, moving $\langle T\rangle$
away from the symmetry-enhanced lines,
\begin{equation}
\langle T\rangle~=~\frac{n_B}{2}+\mathrm{i}\,\frac{\sqrt{3}}{2}\,\langle r\rangle\qquad\mathrm{to}\qquad\langle T'\rangle~=~\langle T\rangle+\delta T\qquad\mathrm{where}\qquad\mathrm{Re}(\delta T)\neq 0\;,
\end{equation}
leads to spontaneous symmetry breaking of the flavor group $\mathrm{SG}(108,17)$ to $\Delta(54)$,
i.e.\ the \ensuremath{\mathcal{CP}}\xspace-like transformation $\hat{S}_\mathrm{refl}(n_B)$ gets broken
spontaneously~\cite{Baur:2019kwi}. This is another example of spontaneous breaking of \ensuremath{\mathcal{CP}}\xspace where a
\ensuremath{\mathcal{CP}}\xspace-type IIA group gets broken to a group of \ensuremath{\mathcal{CP}}\xspace-type I, implying that \ensuremath{\mathcal{CP}}\xspace will be violated
by quantized geometrical phases \cite{Nilles:2018wex}.

\subsection[Unified flavor symmetry at |T|^2 = 1: SG(108,17)]{\boldmath Unified flavor symmetry at $|T|^2 = 1$: $\mathrm{SG}(108,17)$\unboldmath}
\label{sec:TsquaredOne}

A similar picture emerges on special circles in $T$-moduli space. For example, let us discuss the
semi-circle $|T|^2 = 1$ with $T_2 > 0$ in figure~\ref{fig:modular_space2}. There, the traditional
flavor symmetry $\Delta(54)$ gets enhanced by two left-right-asymmetric reflections
$\hat{A}_\mathrm{refl.1} := (\hat{K}_\mathrm{S})^3\, \hat{K}_*$ and
$\hat{A}_\mathrm{refl.1'} := \hat{K}_\mathrm{S} \hat{K}_*$ corresponding to $v=\pm 1$ and $w=0$,
respectively, see section~\ref{sec:Z3AsymmetricReflection}. Since
$\hat{A}_\mathrm{refl.1'} = \hat{S}_\mathrm{rot.}(\pi)\, \hat{A}_\mathrm{refl.1}$ and
$\hat{S}_\mathrm{rot.}(\pi)$ is contained in $\Delta(54)$, these reflections are not independent.

In order to identify the unified flavor symmetry, we use
table~\ref{tab:ModularTrafoTwistedStrings} to construct the six-dimensional (faithful)
representation of
\begin{equation}
\hat{A}_\mathrm{refl.1} ~=~ \left(\hat{K}_{\mathrm{S}}\right)^3 \hat{K}_{*} ~\mapsto~ \left(\hat{K}_{\mathrm{S},\rep{6}}\right)^3 \hat{K}_{*,\rep{6}}\;.
\end{equation}
Again using GAP~\cite{GAP4}, we find that this $\Z{2}$ outer automorphism enhances the traditional
flavor group $\Delta(54)$ to $\mathrm{SG}(108,17)$, see figure~\ref{fig:modular_space1}. Hence,
similar to the \ensuremath{\mathcal{CP}}\xspace-like transformations that are conserved on straight lines in $T$-moduli space,
for example $\hat{S}_\mathrm{refl}(0)$ at $b=0$, there are three \ensuremath{\mathcal{CP}}\xspace-like transformations that are
conserved on the respective circles. These three transformations correspond to three more $\Z{2}$
outer automorphisms of $\Delta(54)$ which are conjugate to the three previously identified $\Z{2}$
in full $\mathrm{S}_4$ group of outer automorphisms of $\Delta(54)$. Consequently, the unified
flavor symmetry is $\mathrm{SG}(108,17)$ on all of these lines and circles. However, the
respective groups $\mathrm{SG}(108,17)$ are not identical, but conjugate to each other.

\subsection[Unified flavor symmetry at b=0 and r=2/sqrt(3): SG(216,87)]{\boldmath Unified flavor symmetry at $b=0$ and $r=\nicefrac{2}{\sqrt{3}}$: $\mathrm{SG}(216,87)$\unboldmath}
\label{sec:SG216}

Let us now consider the point $(b,r)=(0,\nicefrac{2}{\sqrt{3}})$ in figure~\ref{fig:modular_space2}.
At this point, we identify the following type (1.) and type (2.b) outer automorphisms of the Narain
space group:
\begin{enumerate}
\item $\Delta(54)$ is the traditional flavor symmetry at a generic point $(b,r)$ in $T$-moduli
space, see section~\ref{sec:GenericPoint}.

\item On the line at $b=0$ we find a left-right-symmetric reflection
$\hat{S}_\mathrm{refl.}(0) = \hat{K}_*$, see section~\ref{sec:Z3SymmetricReflection} for $n_B=0$.

\item From the point $(b,r)=(0,\nicefrac{2}{\sqrt{3}})$ we get a $\Z{4}$ left-right-asymmetric
rotation $\hat{K}_\mathrm{S}$ (ignoring the inner automorphism $\hat\Theta$), see
section~\ref{sec:Z3AsymmetricRotation}.

\item On the circle of radius $1$, centered at the origin we obtain two left-right-asymmetric
reflections $\hat{A}_\mathrm{refl.1} := (\hat{K}_\mathrm{S})^3 \hat{K}_*$ and
$\hat{A}_\mathrm{refl.1'} := \hat{K}_\mathrm{S} \hat{K}_*$ corresponding to $v=\pm 1$ and $w=0$,
respectively, see section~\ref{sec:Z3AsymmetricReflection}.
\end{enumerate}
Then, using the six-dimensional representations of $\Delta(54)$, $\hat{K}_*$, and
$\hat{K}_\mathrm{S}$ from tables~\ref{tab:ModularTrafoTwistedStrings} and~\ref{tab:Delta54Bulk} one
finds the unified flavor symmetry at $b=0$ and $r=\nicefrac{2}{\sqrt{3}}$ as the closure of all
above transformations 1.-4., resulting in $\mathrm{SG}(216, 87)$. This is the unified flavor
symmetry at all blue squares in figure~\ref{fig:modular_space1}. We stress that the specific
left-right asymmetric rotations, 3., are already contained in the closure of 1.,2., and 4. That is,
the symmetry at the intersecting points of lines and circles is already fully described by the
intersecting symmetries and not enhanced beyond that.

\subsection[Unified flavor symmetry at b=1/2 and r=1: SG(324,39)]{\boldmath Unified flavor symmetry at $b=\nicefrac{1}{2}$ and $r=1$: $\mathrm{SG}(324,39)$\unboldmath}
\label{sec:SG324}

Next, we analyze the point $(b,r)=(\nicefrac{1}{2},1)$ in $T$-moduli space,
figure~\ref{fig:modular_space2}. There, we identify the following type (1.) and type (2.b) outer
automorphisms of the Narain space group:
\begin{enumerate}
\item At a generic point $(b,r)$ we found $\Delta(54)$ generated by $\mathrm{A}$, $\mathrm{B}$,
and $\mathrm{C}$ as the traditional flavor symmetry, see section~\ref{sec:GenericPoint}.

\item On the red line at $b=\nicefrac{1}{2}$ we get additionally a left-right-symmetric reflection
$\mathrm{D}(1) = (\hat{S}_\mathrm{refl.}(1), 0)$, where
$\hat{S}_\mathrm{refl.}(1) = \hat{K}_\mathrm{T}\, \hat{K}_*$, see
section~\ref{sec:Z3SymmetricReflection} for $n_B=1$.

\item Moreover, at $(b,r)=(\nicefrac{1}{2},1)$ there is a left-right-asymmetric $\Z{3}$
rotation $\hat{A}_\mathrm{rot.}\!\left(\nicefrac{2\pi}{3},0\right) = \hat{K}_\mathrm{T}\,\hat{K}_\mathrm{S}\,\hat{S}_\mathrm{rot.}\!\left(\nicefrac{2\pi}{6}\right)$, see section~\ref{sec:Z3AsymmetricRotation}.

\item On the circle of radius $1$, centered at the origin we obtain two left-right-asymmetric
reflections $\hat{A}_\mathrm{refl.1} := (\hat{K}_\mathrm{S})^3 \hat{K}_*$ and
$\hat{A}_\mathrm{refl.1'} := \hat{K}_\mathrm{S} \hat{K}_*$ corresponding to $v=\pm 1$ and $w=0$,
respectively, see section~\ref{sec:Z3AsymmetricReflection}.

\item Finally, on the circle of radius $1$, centered at $(1,0)$ there are two left-right-asymmetric
reflections $\hat{A}_\mathrm{refl.2} := \hat{K}_\mathrm{S} \hat{K}_* \hat{K}_\mathrm{T} \hat{K}_\mathrm{S}$ and
$\hat{A}_\mathrm{refl.2'} := (\hat{K}_\mathrm{S})^3 \hat{K}_* \hat{K}_\mathrm{T} \hat{K}_\mathrm{S}$ corresponding to $v=w=\mp 1$,
respectively, see section~\ref{sec:Z3AsymmetricReflection}.

\end{enumerate}
These automorphisms are not independent. Indeed, we identify the following relations
\begin{subequations}
\begin{eqnarray}
\hat{A}_\mathrm{refl.1'}                                 & = & \hat{S}_\mathrm{rot.}(\pi)\, \hat{A}_\mathrm{refl.1}\;, \\
\hat{A}_\mathrm{rot.}\!\left(\nicefrac{2\pi}{3},0\right) & = & \hat{S}_\mathrm{refl.}(1)\, \hat{A}_\mathrm{refl.1'}\, \hat\Theta^2\;, \\
\hat{A}_\mathrm{refl.2}                                  & = & \hat{A}_\mathrm{refl.1}\, \hat{A}_\mathrm{rot.}\!\left(\nicefrac{2\pi}{3},0\right)\,\hat\Theta\;, \\
\hat{A}_\mathrm{refl.2'}                                 & = & \hat{S}_\mathrm{rot.}(\pi)\,\hat{A}_\mathrm{refl.2}\;,
\end{eqnarray}
\end{subequations}
where $\hat\Theta$ is an inner automorphism of the Narain space group. Consequently, the unified
flavor symmetry at $(b,r)=(\nicefrac{1}{2},1)$ can be generated by the transformations $\mathrm{A}$,
$\mathrm{B}$, and $\mathrm{C}$ from $\Delta(54)$ and by $\hat{S}_\mathrm{refl.}(1)$ and
$\hat{A}_\mathrm{refl.1}$. Then, one can use tables~\ref{tab:ModularTrafoTwistedStrings}
and~\ref{tab:Delta54Bulk} to obtain the six-dimensional representations of $\Delta(54)$ and of the
generators
\begin{equation}
\hat{S}_\mathrm{refl.}(1) ~=~ \hat{K}_\mathrm{T}\, \hat{K}_* \quad\mathrm{and}\quad \hat{A}_\mathrm{refl.1} ~=~ \left(\hat{K}_\mathrm{S}\right)^3\,\hat{K}_*\;.
\end{equation}
Again using GAP to compute the closure, we find that this six-dimensional representation generates
$\mathrm{SG}(324, 39)$. This is the unified flavor symmetry at $(b,r)=(\nicefrac{1}{2},1)$ and at
all green curls in figure~\ref{fig:modular_space1}. Again, no extra generators besides those
already conserved on the lines and semi-circles are needed. Finally, let us remark that at the
green curls in figure~\ref{fig:modular_space1} also the gauge symmetry gets enhanced by a
$\U{1}\times\U{1}$ factor, see e.g. ref.~\cite{Beye:2014nxa}.

\section{Conclusions and outlook}
\label{sec:conclusions}

In the present paper we have presented a general method to deduce the flavor symmetries of string
models. This led to a hybrid system of a unified flavor group composed of two distinct components.
There is on one hand the traditional flavor group that is universal in moduli space. At some
specific regions in moduli space, on the other hand, it is enhanced via duality symmetries that
also include \ensuremath{\mathcal{CP}}\xspace-like transformations. The full flavor group is thus non-universal in moduli
space and it allows different flavor- and \ensuremath{\mathcal{CP}}\xspace-structures for different sectors of the theory
(dependent of the location of fields in the compact extra dimensions). At a generic point in moduli
space the enhanced symmetries are broken spontaneously. For values of the moduli close to the
self-dual points a hierarchy of flavor parameters can emerge. String theory thus provides us with
some specific rules or lessons for flavor model building.

Up to now there has been substantial work on ``bottom-up'' model constructions of flavor that
consider the concept of modular symmetries
~\cite{Altarelli:2005yx,
deAdelhartToorop:2011re,
Feruglio:2017spp,
Kobayashi:2018vbk,
Kobayashi:2018rad,
Penedo:2018nmg,
Criado:2018thu,
Kobayashi:2018scp,
Novichkov:2018ovf,
Kobayashi:2018bff,
Novichkov:2018nkm,
deAnda:2018ecu,
Okada:2018yrn,
Kobayashi:2018wkl,
Novichkov:2018yse,
Ding:2019xna,
Nomura:2019jxj,
Kariyazono:2019ehj,
Okada:2019uoy,
deMedeirosVarzielas:2019cyj
Nomura:2019yft,
Kobayashi:2019rzp,
Okada:2019xqk,
Kobayashi:2019mna,
Ding:2019zxk,
Okada:2019mjf}.
The main focus there was on the description of the flavor structure of the lepton sector of the
Standard Model (based on the finite modular groups $\Gamma_N$ for $N=2,3,4,5$), where modular
transformations seem to be particularly successful. There has been less work on the quark
sector~\cite{Okada:2018yrn,Kobayashi:2018wkl,Kobayashi:2019rzp,Okada:2019uoy} and the question of
\ensuremath{\mathcal{CP}}\xspace symmetries has usually not been discussed (with the recent exception
of~\cite{Novichkov:2019sqv}). Time has come to analyze possible connections of the bottom-up
constructions with the rules and lessons from string theory presented in this paper. In order to
compare the bottom-up constructions with the top-down picture, however, we first have to clarify
some apparent differences between the two approaches:
\begin{itemize}
\item In string theory the modular transformations act nontrivially on the super- and
K\"ahler-potential of the low-energy effective field theory~\cite{Ferrara:1989bc,Ferrara:1989qb},
while the phenomenological bottom-up models assume an invariant superpotential. It remains to be
seen how this property of string theory can be accommodated in the bottom-up approach and whether
(and how) this might affect the phenomenological predictions of the models.
\item String theory provides a hybrid flavor picture including the traditional flavor symmetries
and \textit{parts} of the finite modular group $\Gamma_N$ (here $\Gamma_3$, and actually, its
$\ensuremath{\mathcal{CP}}\xspace$-enhanced double covering group $\mathrm{GL}(2,3)$). That is, \textit{not} the full
modular group may be realized in the low-energy effective theory: the stabilization of the
$T$-modulus necessarily leads to a spontaneous breaking of parts of the modular group. In our
example, the maximal enhancement of the \textit{non-modular} flavor symmetry by modular
transformations is from $\Delta(54)$ to $\mathrm{SG}(324,39)$. This group only includes
\textit{some} generators of $\mathrm{GL}(2,3)$.
At this point we need more general string theory constructions to see whether present bottom-up constructions can be
embedded in a string theory framework. In any case, we would expect that both, the traditional
flavor symmetries and modular symmetries should be part of the fully unified picture of flavor and \ensuremath{\mathcal{CP}}\xspace.
\end{itemize}
More work is needed to answer these questions. This would require more explicit model building in
string theory along the lines discussed in~\cite{Lebedev:2006kn,Lebedev:2007hv,Lebedev:2008un, Nilles:2011aj,Nilles:2014owa}.
One should keep in mind that our present discussion has concentrated on general aspects of the
flavor structure, illustrated on a toy model in  $D=2$ compact extra dimensions. Even in this
simplified case we were told a first lesson: string theory gives rise to potentially large flavor
groups. In the simple $D=2$ example we already obtained a group as large as $\mathrm{SG}(324,39)$.
This has to be generalized to $D=6$ within models that accommodate the spectrum of the standard
model~\cite{Carballo-Perez:2016ooy}, where even larger groups are likely to
emerge~\cite{Ramos-Sanchez:2017lmj,Olguin-Trejo:2018wpw}. With the tools described in the present
paper we could then explore the full ``landscape'' of flavor symmetries in $D=6$, try to make
connections to the existing bottom-up constructions, and extend the existing constructions of the
lepton sector to a fully unified picture. A second generic lesson from string theory concerns \ensuremath{\mathcal{CP}}\xspace.
It naturally appears as part of the modular symmetries at some specific regions in moduli space and
is spontaneously broken if one moves away form these self-dual points and lines. The phenomenological
properties will coincide with those discussed in ref.~\cite{Nilles:2018wex}, where \ensuremath{\mathcal{CP}}\xspace-violation is
connected to the heavy winding modes of string theory. A third lesson from string theory is the
appearance of a unified symmetry of flavor and \ensuremath{\mathcal{CP}}\xspace that is non-universal in moduli space. It
includes the traditional flavor symmetry and modular symmetries at some specific regions on moduli
space. Different sectors of a theory might have different flavor and \ensuremath{\mathcal{CP}}\xspace symmetries, and this might
explain the different flavor and \ensuremath{\mathcal{CP}}\xspace structure of the quark and lepton sectors of the standard
model. Reminiscent of the concept of local grand unification~\cite{Forste:2004ie,Buchmuller:2004hv}
one might call this ``Local Flavor Unification'', as the flavor properties are connected to the
location of fields in the compact extra dimensions. This provides a new perspective for flavor
model building inspired by string theory.

\section*{Acknowledgments}

AB and PV are supported by the Deutsche Forschungsgemeinschaft (SFB1258). HPN thanks the CERN
Theory Department for hospitality and support. PV would like to thank the Bethe Center for
Theoretical Physics in Bonn for hospitality and support. AT would like to thank the Physics
Department of TUM for hospitality during parts of this work.