--- abstract: 'We classify the compact, connected and locally free multiplicity free Hamiltonian ${\mathrm{U}}(2)$-manifolds whose momentum polytope is a triangle.' address: - 'Fachbereich Mathematik und Informatik der Philipps-Universität Marburg' - 'Department Mathematik, FAU Erlangen-Nürnberg & Department of Mathematics, Medgar Evers College and The Graduate Center, City University of New York' - 'Fachbereich Mathematik und Informatik der Philipps-Universität Marburg' author: - Oliver Goertsches - Bart Van Steirteghem - Nikolas Wardenski title: 'Multiplicity free $\U(2)$-actions and triangles' --- Introduction ============ A fundamental invariant of a compact and connected Hamiltonian $K$-manifold $M$, where $K$ is a compact connected Lie group, is its momentum polytope ${{\mathcal{P}}}(M)$. In @knop-autoHam, F. Knop showed that if $M$ is *multiplicity free* (cf. \[def:mfm\] below) then ${{\mathcal{P}}}(M)$ together with the principal isotropy group of the $K$-action uniquely determines $M$. This assertion had been conjectured by Th. Delzant in the 1990s. Knop also gave necessary and sufficient conditions for a polytope to be the momentum polytope of such a multiplicty free manifold $M$. These conditions involve a representation theoretic object, called *weight monoid*, associated to smooth affine spherical varieties, which constitute a certain class of complex algebraic varieties equipped with an action of a complex reductive group. In this paper, we apply Knop's classification result in the case where $K ={\mathrm{U}}(2)$ and determine the compact and connected multiplicity free Hamiltonian ${\mathrm{U}}(2)$-manifolds whose momentum polytope is a triangle and whose principal istotropy group is trivial. The result is summarized in \[table\_triangle\_manifolds\]. In \[sec:background\], we review basic facts about Hamiltonian actions and recall, in \[thm:sjamaar\_mp\], a special case of a description, given by R. Sjamaar in @sjamaar-convexreex, of the momentum polytope of a Hamiltonian manifold. We also provide the necessary background to be able to state, in \[thm:knop\_classif\_mf\], a special case of Knop's aforementioned classification theorem which is adapted to our setting. establishes notation we will use in \[sec:mfu2,sec:triangles,sec:difftypes\]. The purpose of \[sec:mfu2\] is to further specialize Knop's \[thm:knop\_classif\_mf\] to the case $K={\mathrm{U}}(2)$: the classification of smooth affine spherical $({\mathrm{SL}}(2,{\mathbb C}) \times {\mathbb C}^{\times})$-varieties from @ppvs yields \[prop:mom\_polytopes\], which gives an elementary and explicit characterization of the momentum polytopes of compact and connected multiplictity free ${\mathrm{U}}(2)$-manifolds with trivial principal istropy group. This allow us to give the list of all triangles which occur as momentum polytopes of such manifolds in \[prop:triangles\]. The rest of \[sec:triangles\] is devoted to the proof of \[thm:triangles\_realisation\]: for each such triangle we explicitly and globally describe the corresponding compact and connected multiplicity free ${\mathrm{U}}(2)$-manifold. Finally, in \[thm:difftypes\] of \[sec:difftypes\], we show that exactly four nonequivariant diffeomorphism types occur among these manifolds. We have tried to keep the exposition explicit and elementary in order to make our results and the employed techniques, which come from different areas of mathematics, accessible to as many readers as possible. Notations {#notations .unnumbered} --------- We use the convention that $0 \in {\mathbb N}$. From \[sec:mfu2\] onwards, $T$ will be the maximal torus of ${\mathrm{U}}(2)$ consisting of diagonal matrices and ${T^{{\mathbb C}}}$ the subgroup of diagonal matrices in ${\mathrm{GL}}(2):={\mathrm{GL}}(2,{\mathbb C})$. We will use the notations from \[ex:u2\] throughout the paper. Unless otherwise stated, $K$ will denote a compact connected Lie group and $G = K^{{\mathbb C}}$ its complexification, which is a complex connected reductive linear algebraic group. Acknowledgement {#acknowledgement .unnumbered} --------------- The authors thank Guido Pezzini for helpful discussions, and in particular for suggesting the useful embedding in \[prop:mfd\_triangles\_halfright\_1\](\[prop:mfd\_triangles\_halfright\_1\_item1\]). Van Steirteghem received support from the City University of New York PSC-CUNY Research Award Program and Wardenski from the German Academic Scholarship Foundation. Background {#sec:background} ========== Multiplicity free manifolds {#multiplicity-free-manifolds .unnumbered} --------------------------- In this section we review basic facts about Hamiltonian actions on symplectic manifolds, mostly following @sjamaar-convexreex, and then state results of Sjamaar (\[thm:sjamaar\_mp\]) and of Knop (\[thm:knop\_classif\_mf\]) that will be essential in the proof of our main result. We begin with some basic notions and facts from the theory of compact Lie groups. Let $T$ be a maximal torus in the compact, connected Lie group $K$. We will use ${\mathfrak{k}}$ and ${\mathfrak{t}}$ for the Lie algebras of $K$ and $T$, respectively. Furthermore ${\mathfrak{k}}^*$ and ${\mathfrak{t}}^*$ are the dual vector spaces, and we equip ${\mathfrak{k}}^*$ with the coadjoint action of $K$. We can and will view ${\mathfrak{t}}^*$ as a subspace of ${\mathfrak{k}}^*$ using the identification $${\mathfrak{t}}^* \cong ({\mathfrak{k}}^*)^T {\subset}{\mathfrak{k}}^*$$ with the subspace of $T$-fixed vectors in ${\mathfrak{k}}^*$. We denote the weight lattice of $K$ by ${\Lambda}$, that is $${\Lambda}= \operatorname{Hom}_{{\mathbb Z}}(\ker(\exp|_{\mathfrak{t}}),{\mathbb Z}) {\subset}{\mathfrak{t}}^*,$$ where $\exp: {\mathfrak{k}}\to K$ is the exponential map. Note that $${\Lambda}\to \operatorname{Hom}(T,{\mathrm{U}}(1)), \nu \mapsto [\exp(\xi) \mapsto \exp(2\pi\sqrt{-1} {\langle}\nu,\xi{\rangle})]$$ is a bijection between ${\Lambda}$ and the character group of $T$, with inverse map $$\operatorname{Hom}(T,{\mathrm{U}}(1)) \to {\Lambda}, \lambda \mapsto \frac{1}{2\pi \sqrt{-1}}\lambda_*,$$ where $\lambda_*$ is the derivative of $\lambda$ at the identity. We will use this bijection to identify ${\Lambda}$ with $ \operatorname{Hom}(T,{\mathrm{U}}(1))$. In particular, if $V$ is a complex representation of $K$ and $v \in V$ is a weight vector of weight $\lambda \in {\Lambda}$, then we have (with abuse of notation) $$\begin{aligned} \xi\cdot v &= 2\pi\sqrt{-1}\lambda(\xi) v \text{ for all }\xi \in {\mathfrak{t}}, \text{ and }\\ t\cdot v& = \lambda(t)v \text{ for all }t \in T,\end{aligned}$$ Next, we let $G:= K^{{\mathbb C}}$ be the complexification of $K$. Then $G$ is a complex connected reductive group of which $K$ is a maximal compact subgroup and of which the complexification ${T^{{\mathbb C}}}$ of $T$ is a maximal torus. Recall that the weight lattice $\operatorname{Hom}(T^{{\mathbb C}},{\mathbb C}^{\times})$ of $G$ can be identified with ${\Lambda}$ using the restriction map $$\operatorname{Hom}_{\text{alg.gp.}}(T^{{\mathbb C}},{\mathbb C}^{\times}) \to \operatorname{Hom}_{\text{Lie gp.}}(T,U(1)), \lambda \mapsto \lambda|_T.$$ Fix a maximal unipotent subgroup $N$ of $G$ which is normalized by ${T^{{\mathbb C}}}$ and let ${{\mathfrak{t}}_+}$ be the (closed) Weyl chamber in ${\mathfrak{t}}^*$ which is positive with respect to $N$. It is a fundamental domain for the coadjoint action of $K$ on ${\mathfrak{k}}^*$ and for the natural action of the Weyl group $$W:= N(T)/T$$ of $K$ on ${\mathfrak{t}}^*$. Then $${\Lambda^+}:= {\Lambda}\cap {{\mathfrak{t}}_+}$$ is the monoid of dominant weights. Highest weight theory tells us that the assignment $$V \mapsto \text{the weight of the $T$-action on $V^N$}$$ is a bijection between the set of isomorphism classes of irreducible finite-dimensional complex representations of $K$ and ${\Lambda^+}$. When $\lambda \in {\Lambda^+}$, we will write $V(\lambda)$ for the unique (up to isomorphim) irreducible finite-dimensional complex representation of $K$ with highest weight $\lambda$. Furthermore, $K$ and $G$ have the same finite-dimensional complex representations: if $\dim_{{\mathbb C}} V < \infty$ and $\rho: K \to {\mathrm{GL}}(V)$ is a homomorphism of Lie groups then there exists a unique homomorphism $\overline{\rho}: G \to {\mathrm{GL}}(V)$ of algebraic groups such that $\overline{\rho}|_K = \rho$. \[ex:u2\] To illustrate the objects we just recalled and to fix notations that we will use in what follows, we explicitly describe the objects in the case where $K$ is the unitary group ${\mathrm{U}}(2)$ of rank $2$. We choose the maximal torus $$T = \left\lbrace \begin{pmatrix} t_1 & 0 \\ 0 & t_2 \end{pmatrix}: t_1,t_2 \in {\mathbb C}, |t_1| = |t_2| = 1\right\rbrace {\subset}{\mathrm{U}}(2).$$ The complexification of ${\mathrm{U}}(2)$ is $ {\mathrm{GL}}(2):= {\mathrm{GL}}(2,{\mathbb C})$ and that of $T$ is $${T^{{\mathbb C}}}= \left\lbrace \begin{pmatrix} t_1 & 0 \\ 0 & t_2 \end{pmatrix}: t_1,t_2 \in {\mathbb C}^{\times}\right\rbrace {\subset}{\mathrm{GL}}(2).$$ We will write ${\varepsilon}_1, {\varepsilon}_2$ for the basis of ${\mathfrak{t}}^*$ dual to the basis $$\xi_1:=\begin{pmatrix} 2\pi\sqrt{-1} & 0 \\ 0 & 0 \end{pmatrix},\ \xi_2:=\begin{pmatrix} 0 & 0 \\ 0 & 2\pi\sqrt{-1} \end{pmatrix}$$ of ${\mathfrak{t}}$. Then the weight lattice is $${\Lambda}= {\langle}{\varepsilon}_1, {\varepsilon}_2{\rangle}_{{\mathbb Z}}$$ and viewed as elements of $\operatorname{Hom}(T,{\mathrm{U}}(1))$ or of $\operatorname{Hom}({T^{{\mathbb C}}},{\mathbb C}^{\times})$ the characters ${\varepsilon}_1, {\varepsilon}_2$ are defined by $${\varepsilon}_i \begin{pmatrix} t_1 & 0 \\ 0 & t_2 \end{pmatrix} = t_i \quad \text{ for } i \in \{1,2\}.$$ For $N$ we choose the subgroup $$\left\lbrace \begin{pmatrix} 1 & a \\ 0 & 1 \end{pmatrix} : a \in {\mathbb C}\right\rbrace$$ of ${\mathrm{GL}}(2)$. The corresponding Weyl chamber is then $${\mathfrak{t}}_+ = \{\lambda \in {\mathfrak{t}}^* : {\langle}\alpha^{\vee},\lambda{\rangle}\ge 0\},$$where $$\label{eq:coroot} \alpha^{\vee}:=\xi_1 - \xi_2$$ is the coroot of the simple root $$\label{eq:simpleroot} \alpha:= {\varepsilon}_1 - {\varepsilon}_2 \in {\Lambda}{\subset}{\mathfrak{t}}^*$$ of ${\mathrm{U}}(2)$ (and of ${\mathrm{GL}}(2)$). The Weyl group $W$ of ${\mathrm{U}}(2)$ (and of ${\mathrm{GL}}(2)$) is isomorphic to the symmetric group $S_2$ and the nontrivial element $s_{\alpha} \in W$ acts on ${\mathfrak{t}}^*$ by the reflection $$s_{\alpha}(\lambda) = \lambda - {\langle}\alpha^\vee,\lambda{\rangle}\alpha,\quad \text{ where } \lambda \in {\mathfrak{t}}^*.$$ The monoid of dominant weights is $${\Lambda^+}= {\langle}{\omega}_1, {\omega}_2, -{\omega}_2{\rangle}_{{\mathbb N}},\ \text{ where } {\omega}_1 := {\varepsilon}_1 \text{ and }{\omega}_2:= {\varepsilon}_1 + {\varepsilon}_2.$$ Observe that ${\omega}_1$ is the highest weight of the standard representation of ${\mathrm{U}}(2)$ (or of ${\mathrm{GL}}(2)$), which we will usually simply denote by ${\mathbb C}^2$. On the other hand, we will also use the notation ${\mathbb C}_{\det^k}$ for the one-dimensional representation $V(k{\omega}_2)$, where $k\in {\mathbb Z}$: $$A \cdot z = \det(A)^kz\ \text{ for all } z \in {\mathbb C}_{\det^k} \text{ and all }A \text{ in }{\mathrm{U}}(2) \text{ or in }{\mathrm{GL}}(2).$$ A **Hamiltonian $K$-manifold** is a triple $(M,{\omega},\mu)$, where $(M,\omega)$ is symplectic manifold equipped with a smooth $K$-action $K \times M \to M$ and a **momentum map** $\mu$, which means, by definition, a smooth map $\mu:M \to {\mathfrak{k}}^*$ which is $K$-equivariant with respect to the coadjoint action of $K$ on ${\mathfrak{k}}^*$ and satisfies $$d\mu^\xi = \iota(\xi_M) \omega \text{ for all }\xi \in {\mathfrak{k}}.$$ Here $\xi_M$ is the vector field on $M$ defined by $$\xi_M(x) = \left.\frac{d}{dt}\right\vert_{t=0}\exp(t\xi)\cdot x \in T_x M \text{, where }x\in M,$$ and $\mu^{\xi}:M \to {\mathbb R}$ is the function with $\mu^{\xi}(m) = \mu(m)(\xi)$. Since we have identified the Weyl chamber ${{\mathfrak{t}}_+}$ with a subset of ${\mathfrak{k}}^*$ we can define $$\label{eq:def_mp} {{\mathcal{P}}}(M):= \mu(M) \cap {{\mathfrak{t}}_+}.$$ In @kirwan-convexity [Theorem 2.1], F. Kirwan proved that ${{\mathcal{P}}}(M)$ is the convex hull of finitely many points when $M$ is compact and connected. In that case we call ${{\mathcal{P}}}(M)$ the **momentum polytope** of $M$. describes an important source of Hamiltonian $K$-manifolds: projective spaces ${\mathbb P}(V)$ associated to unitary representations $V$ of $K$. \[ex:mupv\] Let $V$ be a finite-dimensional unitary representation of $K$ with $K$-invariant Hermitian inner product ${\langle}\cdot,\cdot{\rangle}$, where we adopt the convention that ${\langle}\cdot,\cdot{\rangle}$ is complex-linear in the first entry. Following @sjamaar-convexreex [Example 2.2], we describe a well-known structure of Hamiltonian $K$-manifold on the associated projective space ${\mathbb P}(V)$, which is the space of complex lines in $V$. The Fubini-Study symplectic form ${{\omega}_{{\mathbb P}(V)}}$ on ${\mathbb P}(V)$ corresponding to ${\langle}\cdot,\cdot{\rangle}$ is invariant under the natural $K$-action on ${\mathbb P}(V)$ and we equip ${\mathbb P}(V)$ with the momentum map $$\label{eq:mupv} {\mu_{{\mathbb P}(V)}}: {\mathbb P}(V) \to {\mathfrak{k}}^* , {\mu_{{\mathbb P}(V)}}([v])(\xi) = \frac{\sqrt{-1}}{2\pi} \frac{{\langle}\xi v,v{\rangle}}{\Vert v \Vert^2},$$ where $\xi \in {\mathfrak{k}}$ and $[v]$ is the complex line through $v \in V \setminus\{0\}$. If $K$ is a torus and $v \in V$ is a weight vector with weight $\lambda$, then ${\mu_{{\mathbb P}(V)}}([v]) = -\lambda \in {\mathfrak{k}}^*$ and consequently the momentum polytope of $({\mathbb P}(V), {\mu_{{\mathbb P}(V)}})$ is $${{\mathcal{P}}}({\mathbb P}(V)) = {\mu_{{\mathbb P}(V)}}({\mathbb P}(V)) = -\operatorname{conv}(\lambda_1,\lambda_2,\ldots,\lambda_r),$$ where $\lambda_1,\lambda_2,\ldots,\lambda_r$ are the weights of $K$ in $V$. The following Theorem, which is due to Sjamaar and which was extracted from @sjamaar-convexreex will be useful in \[sec:triangles\]. In order to state it, we recall that the *symplectic slice* of a Hamiltonian $K$-manifold $M$ in $m \in M$ is the symplectic vector space $$N_m: = (T_m(K\cdot m))^{\perp}/(T_m(K\cdot m) \cap (T_m(K\cdot m)^{\perp}),$$ where $(T_m (K\cdot m))^{\perp}$ is the symplectic annihilator of $T_m (K\cdot m)$ in $T_m M$. The isotropy action of $K_m$ on $T_m M$ induces a natural symplectic representation of $K_m$ on $N_m$. \[<span>@sjamaar-convexreex</span>\] \[thm:sjamaar\_mp\] Let $(M,\mu)$ be a compact connected Hamiltonian $K$-manifold. (a) The momentum polytope ${{\mathcal{P}}}(M)$ is the convex hull of $\mu(E)$, where $$E:=\{m \in M \mid \xi:=\mu(m) \in {\mathfrak{t}}_+ \text{ and } {\mathfrak{k}}_{\xi} = [{\mathfrak{k}}_{\xi},{\mathfrak{k}}_{\xi}] + {\mathfrak{k}}_m\}.$$ \[item\_pol\_conv\_hull\] (b) If $m \in M$ such that $\mu(m)$ is a vertex of ${{\mathcal{P}}}(M)$ lying in the interior of ${\mathfrak{t}}_+$, then $K_m = T$. \[item\_pol\_vertex\_interior\] (c) Let $m \in M$ such that $\mu(m)$ lies in the interior of ${\mathfrak{t}}_+$ and $K_m = T$. Then $$N_m=(T_m(K\cdot m))^{\perp} \cong T_m M/T_m(K\cdot m)$$ as $T$-modules, where $N_m$ is the symplectic slice of $M$ in $m$. If $\Pi_m$ is the set of weights of the symplectic $T$-representation $N_m$, then the cone with vertex $\mu(m)$ spanned by ${{\mathcal{P}}}(M)$ is equal to $\mu(m) -\operatorname{cone}\Pi_m$. \[item\_pol\_vertex\_cone\] Assertion (\[item\_pol\_conv\_hull\]) is part 3. of @sjamaar-convexreex [Theorem 6.7] while assertion (\[item\_pol\_vertex\_interior\]) is contained in part 2. of <span><span>*loc.cit.*</span></span>Assertion (\[item\_pol\_vertex\_cone\]) is a special case of @sjamaar-convexreex [Theorem 6.5.1]; see also Equation (6.9) of that paper. When $K=T$ is abelian (that is, a torus) then the set $E$ in \[thm:sjamaar\_mp\](\[item\_pol\_conv\_hull\]) is exactly the set $M^T$ of $T$-fixpoints in $M$ and the theorem boils down to the famous equality $$\label{eq:mptorichull} {{\mathcal{P}}}(M) = \operatorname{conv}(\mu(M^T)),$$ due to Atiyah @atiyah-convexity_commuting_hamiltonians and Guillemin-Sternberg . \[rmk\_on\_E\] We use the notations in \[thm:sjamaar\_mp\]. Let $\xi \in {\mathfrak{t}}_+ {\subset}{\mathfrak{k}}^*$ and $m \in M$ with $\mu(m) = \xi$. The $K$-equivariance of $\mu$ implies that $K_m {\subset}K_{\xi}$ and therefore that ${\mathfrak{k}}_m {\subset}{\mathfrak{k}}_{\xi}$. Standard facts in the theory of compact Lie groups tell us that the Cartan subalgebra ${\mathfrak{t}}$ of ${\mathfrak{k}}$ is a Cartan subalgebra of ${\mathfrak{k}}_\xi$ and therefore contains the center ${\mathfrak{z}}({\mathfrak{k}}_\xi)$ of ${\mathfrak{k}}_\xi$. It follows from $${\mathfrak{k}}_\xi = {\mathfrak{z}}({\mathfrak{k}}_\xi) \oplus [{\mathfrak{k}}_\xi, {\mathfrak{k}}_\xi]$$ and \[thm:sjamaar\_mp\] (a) that if $m$ is a $T$-fixed point, then $m \in E$. Now suppose $K = {\mathrm{U}}(2)$. Since $$[{\mathfrak{u}}(2),{\mathfrak{u}}(2)] = {\mathfrak{su}}(2),\quad {\mathfrak{z}}({\mathfrak{u}}(2)) = {\mathbb R}\begin{pmatrix} \sqrt{-1} & 0 \\ 0 & \sqrt{-1} \end{pmatrix}$$ and $${\mathfrak{u}}(2)_\xi = \begin{cases} {\mathfrak{t}}&\text{if ${\langle}\alpha^{\vee},\xi{\rangle}>0$;}\\ {\mathfrak{u}}(2) &\text{if ${\langle}\alpha^{\vee},\xi{\rangle}=0$,} \end{cases}$$ where $\alpha^{\vee}$ is as in \[eq:coroot\], the following hold: (i) If ${\langle}\alpha^{\vee},\xi{\rangle}> 0 $, then $m \in E$ if and only if $m$ is a $T$-fixed point. (ii) If ${\langle}\alpha^{\vee}, \xi{\rangle}=0$, then $m \in E$ if and only if ${\mathfrak{u}}(2)_m \not\subset {\mathfrak{su}}(2)$. We will also make use of the following well-known fact. For a proof, see, e.g., . \[prop:convexhullweylorbit\] Let $(M,{\omega},\mu)$ be a compact connected Hamiltonian $K$-manifold with momentum polytope ${{\mathcal{P}}}(M)$ and let $\pi: {\mathfrak{k}}^* \to {\mathfrak{t}}^*$ be the dual map to the inclusion ${\mathfrak{t}}\to {\mathfrak{k}}$. Them $(M,{\omega}, \pi \circ \mu)$ is a Hamiltonian $T$-manifold whose momentum polytope ${{\mathcal{P}}}_T(M): = \pi (\mu (M))$ satisfies the equality $${{\mathcal{P}}}_T(M) = \operatorname{conv}\left(\bigcup_{w \in W} w \cdot {{\mathcal{P}}}(M) \right).$$ \[def:mfm\] A **multiplicity free $K$-manifold** is a *compact* and *connected* Hamiltonian $K$-manifold $M$ such that $$\label{eq:defmfm} \mu^{-1}(a)/K_a \text{ is a point for every }a \in \mu(M).$$ \[rem:mf\] (a) We have included connectedness and compactness in the definition of a multiplicity free $K$-manifold to avoid having to frequently repeat the associated adjectives in this paper. The (more general) notion of multiplicity free Hamiltonian manifold was introduced in @mifo-liouville and as a Hamiltonian $K$-manifold $M$ of which the Poisson algebra of $K$-invariant smooth functions $M \to {\mathbb R}$ is an abelian Lie algebra. Equivalent conditions on $M$ are given in . As shown in @woodward-classif [Proposition A.1], for a compact, connected Hamiltonian $K$-manifold $M$ this original definition is equivalent to condition . (b) \[rem:mf\_item\_b\] Let $(M,{\omega},\mu)$ be a compact connected Hamiltonian $K$-manifold. As observed @knop-autoHam, just after Definition 2.1, $M$ is multiplicity free if and only if $$M/K \to {{\mathcal{P}}}(M): K \cdot m \mapsto \mu(K\cdot m) \cap {{\mathfrak{t}}_+}$$ is a homeomorphism. Furthermore, if the principal isotropy group of the $K$-action on $M$ is discrete, then $M$ is multiplicity free if and only if $$\label{eq:dim_mf} \dim(M) = \dim(K) + \operatorname{rk}(K),$$ see @woodward-classif [Proposition A.1]. In order to state Knop's classification theorem for multiplicity free manifolds we introduce some additional notation and recall some more well-known facts. A smooth affine complex $G$-variety $X$ is called **spherical** if its ring of regular functions ${\mathbb C}[X]$ is mutliplicity free as a $G$-module, that is $$\dim \operatorname{Hom}^G(V(\lambda),{\mathbb C}[X]) \leq 1 \text{ for all }\lambda \in {\Lambda^+}.$$ The **weight monoid** ${\Gamma}(X)$ of $X$ is the set of highest weights of ${\mathbb C}[X]$, that is $${\Gamma}(X) := \{\lambda \in {\Lambda^+}: \operatorname{Hom}^G(V(\lambda),{\mathbb C}[X])=1\}.$$ As proved by Losev in @losev-knopconj [Theorem 1.3], a smooth affine spherical $G$-variety $X$ is uniquely determined by ${\Gamma}(X)$, up to $G$-equivariant isomorphism. If $a \in {\mathfrak{t}}_+ {\subset}{\mathfrak{k}}^*$ then the complexification $K_a^{{\mathbb C}}$ of the stabilizer $K_a$ of $a$ is a complex connected reductive subgroup of $G$. Since $K_a$ contains $T$ its weight lattice is still ${\Lambda}$. The Weyl chamber of $K_a$ and $K_a^{{\mathbb C}}$ corresponding to the maximal unipotent subgroup $N \cap K_a^{{\mathbb C}}$ of $K_a^{{\mathbb C}}$ is ${{\mathbb R}_{\ge 0}}({\mathfrak{t}}_+ - a) \subset {\mathfrak{t}}^*$. \[ex:u2kac\] We take $K={\mathrm{U}}(2)$ and use the notation of \[ex:u2\]. If $a \in {{\mathfrak{t}}_+}$ then $$K_a^{{\mathbb C}} = \begin{cases} {\mathrm{GL}}(2) & \text{if ${\langle}\alpha^{\vee}, a{\rangle}= 0$;}\\ T^{{\mathbb C}} &\text{if ${\langle}\alpha^{\vee},a{\rangle}>0$} \end{cases}$$ and the corresponding positive Weyl chamber of $K_a^{{\mathbb C}}$ is $${{\mathbb R}_{\ge 0}}({{\mathfrak{t}}_+}-a)= \begin{cases} {{\mathfrak{t}}_+}& \text{if ${\langle}\alpha^{\vee}, a{\rangle}= 0$;}\\ {\mathfrak{t}}^* &\text{if ${\langle}\alpha^{\vee},a{\rangle}>0$} \end{cases}$$ We can now specialize Knop's Theorems 10.2 and 11.2 from @knop-autoHam to the case of compact connected multiplicity free Hamiltonian manifolds with trivial principal isotropy group. \[<span>Knop</span>\] \[thm:knop\_classif\_mf\] (a) \[thm:knop\_classif\_mf\_u\_item\] Suppose $(M,{\omega}_M,{\omega}_N)$ and $(N,{\omega}_N,\mu_N)$ are multiplicity free $K$-manifolds with trivial principal isotropy group. If ${{\mathcal{P}}}(M) = {{\mathcal{P}}}(N)$, then there exists a $K$-equivariant symplectomorphism $\varphi: M \to N$ such that $\mu_N \circ \varphi = \mu_M$. (b) \[thm:knop\_classif\_mf\_e\_item\] Let ${\mathcal{Q}}$ be a convex polytope in ${{\mathfrak{t}}_+}$. There exists a multiplicity free $K$-manifold $M$ with trivial principal isotropy group such that ${{\mathcal{P}}}(M) = {\mathcal{Q}}$ if and only if for every vertex $a$ of ${\mathcal{Q}}$ there exists a smooth affine sperhical $(K_a)^{{\mathbb C}}$-variety $X_a$ such that $$\begin{aligned} \label{eq:knop_classif_mf_tpi_item} &{\Gamma}(X_a)\text{ generates the weight lattice }{\Lambda}\text{ as a group, and}\\ \label{eq:knop_classif_mf_cone_item} &{\mathcal{Q}}- a\text{ and }{\Gamma}(X_a)\text{ generate the same convex cone in }{\mathfrak{t}}^*.\end{aligned}$$ \[rem\_after\_knop\_classif\] (a) The fact that the principal isotropy group of the $K$-action on $M$ is trivial is encoded in condition of \[thm:knop\_classif\_mf\]. Knop's classification result @knop-autoHam [Theorem 11.2] makes no restrictions on the principal isotropy group, which is encoded as a sublattice of ${\Lambda}$. (b) Part (\[thm:knop\_classif\_mf\_u\_item\]) of \[thm:knop\_classif\_mf\] is a special case of a conjecture due to Th. Delzant. He proved his conjecture when $K$ is a torus in @delzant-abel and when $\operatorname{rk}(K) =2$ in @delzant-rank2. Knop proved it in general in @knop-autoHam [Theorem 10.2] (c) Thanks to @charwm, the criterion in part (\[thm:knop\_classif\_mf\_e\_item\]) of \[thm:knop\_classif\_mf\] can be checked combinatorially (or algorithmically), i.e. without having to actually produce the spherical varieties $X_a$. On the other hand, in \[sec:mfu2\] below we will distill from @ppvs all smooth affine spherical ${\mathrm{GL}}(2)$-varieties $X$ such that ${\Gamma}(X)$ generates ${\Lambda}$ as a group and the convex cone generated by ${\Gamma}(X)$ is pointed. (d) Referring to @knop-autoHam [Section 2] for details, we briefly sketch how the $(K_a)^{{\mathbb C}}$-variety $X_a$ yields a "local model" of the manifold $M$ as in \[thm:knop\_classif\_mf\](\[thm:knop\_classif\_mf\_e\_item\]). One can define a structure of Hamiltonian $K$-manifold on the homogeneous fiber bundle ${K \times_{K_a}X_a}$ such that a $K$-stable open subset of ${K \times_{K_a}X_a}$ is isomorphic (as a Hamiltonian $K$-manifold) to a neighborhood of the $K$-orbit $\mu^{-1}(K\cdot a)$ in $M$. Homogeneous fiber bundles {#homogeneous-fiber-bundles .unnumbered} ------------------------- To explicitly describe multiplicity free ${\mathrm{U}}(2)$-manifolds in \[sec:triangles\], we will make use of *homogeneous fiber bundles*, which are also known as *associated bundles* or *twisted products*. We recall their basic properties in the category of differentiable manifolds, then in that of algebraic varieties, and finally state a comparison result that we will need later. If $G$ is group, $H$ is a subgroup of $G$ and $F$ is a set on which $H$ acts, then we denote by ${G \times_{H}F}$ the quotient set of $G\times F$ for the following action of $H$ $$\label{eq:actionH} h\cdot (g,f) = (gh^{-1},h\cdot f)\quad \text{for }g\in G,h\in H, f\in F.$$ As the left action of $G$ on $G\times F$, $g\cdot (g',f) = (gg',f)$ commutes with this action of $H$, we obtain a $G$-action on ${G \times_{H}F}$. We will use $\pi$ for the $G$-equivariant quotient map $$\pi: G\times F \to {G \times_{H}F}, (g,f) \mapsto [g,f]$$ and $p$ for the (well-defined) $G$-equivariant map $$p: {G \times_{H}F} \to G/H, [g,f] \mapsto gH.$$ We begin with standard facts about the "differentiable" version of ${G \times_{H}F}$ and sketch a proof for the sake of completeness. \[prop:hfb\_diff\] Let $G$ be a compact connected Lie group, $H$ a closed subgroup and $F$ a manifold equipped with a smooth action of $H$. Then the following hold: (a) \[prop:hfb\_diff\_item\_structure\] ${G \times_{H}F}$ admits a unique structure as a manifold such that (i) $\pi: G\times F \to {G \times_{H}F}$ is a smooth map; and (ii) for an arbitrary manifold $N$ a map $h: {G \times_{H}F} \to N$ is smooth if and only if $h \circ \pi$ is smooth. When ${G \times_{H}F}$ is equipped with this structure, the map $p: {G \times_{H}F} \to G/H$ and the action map $G \times ({G \times_{H}F}) \to {G \times_{H}F}$ are smooth; (b) \[prop:hfb\_diff\_item\_diffeo\] If $f:M \to G/H$ is a smooth $G$-equivariant map, where $M$ is a manifold equipped with a smooth action of $G$, and $A = f^{-1}(eH)$, then $A$ is a smooth $H$-invariant submanifold of $M$ and the map $${G \times_{H}A} \to M, [g,a] \mapsto g \cdot a$$ is a $G$-equivariant diffeomorphism, if ${G \times_{H}A}$ carries the manifold structure of part (\[prop:hfb\_diff\_item\_structure\]). The first assertion in part (\[prop:hfb\_diff\_item\_structure\]) is a consequence of the basic fact that the quotient of a manifold under a free action of a compact Lie group is a manifold; see, for instance, @kawakubo [Theorem 4.11]. That $p$ is smooth now follows, because $p \circ \pi: G \to G/H, g\mapsto gH$ is a smooth map, see e.g. @kawakubo [Theorem 3.37]. Furthermore, the aforementioned Theorem 4.11 in @kawakubo also tells us that $\pi$ has smooth local cross-sections, from which one can deduce that the action map is smooth. We turn to part (\[prop:hfb\_diff\_item\_diffeo\]). One observes that $eH$ is a regular value of $f$, that the two manifolds ${G \times_{H}A}$ and $M$ have the same dimension and that the given map ${G \times_{H}A} \to M$ is $G$-equivariant and injective. With standard arguments, one then shows that the map's differential is surjective everywhere. Before stating an algebraic version of \[prop:hfb\_diff\] we recall that if $H$ is a closed algebraic subgroup of a linear algebraic group $G$, then the coset space $G/H$ carries a unique structure of algebraic variety such that the canonical surjection $G \to G/H$ is a so-called geometric quotient for the action of $H$ on $G$ from the right. Equipped with this structure, as it always will be, $G/H$ is a smooth quasi-projective variety and the action map $$G \times (G/H) \to G/H, (g,g'H) \mapsto gg'H$$ is a morphism of algebraic varieties (see, for example, @tauvel-yu-laag [25.4.7 and 25.4.10]). The following proposition, which summarizes properties of the "algebraic" homogeneous fiber bundle, is extracted from ; see also @timashev-embbook [Theorem 2.2]. \[prop:hfb\_algebraic\] Let $G$ be a complex connected reductive linear algebraic group, $H$ a closed algebraic subgroup and $F$ a smooth quasi-projective $H$-variety. Equip ${G \times_{H}F}$ with the quotient Zariski-topology (i.e. the coarsest topology which makes $\pi: G\times F \to {G \times_{H}F}$ continuous, where $G\times F$ carries the Zariski-topolgy) and with the sheaf ${\mathcal{O}}$ which is the direct image under $\pi$ of the sheaf of $H$-invariant regular functions on $G \times F$. Then the following hold: (a) The ringed space $({G \times_{H}F},{\mathcal{O}})$ is a smooth complex algebraic variety; (b) The maps $\pi$ and $p$ and the action map $G \times ({G \times_{H}F}) \to {G \times_{H}F}$ are morphisms of algebraic varieties. The next proposition recalls a standard fact in the theory of complex algebraic varieties, see @GAGA [Nr. 5] \[prop:analytic\] (a) If $X$ is a smooth complex algebraic variety, then $X$ admits a unique structure as a complex manifold such that every algebraic chart of $X$ is a holomorphic chart. We write $X^h$ for $X$ is equipped with this structure of complex manifold. (b) If $X$ and $Y$ are smooth complex algebraic varieties and $f: X \to Y$ a morphism of algebraic varieties, then $f: X^h \to Y^h$ is holomorphic. A complex manifold carries a natural structure of a differentiable manifold, by viewing the holomorphic charts as $\mathcal{C}^{\infty}$-charts. Thus \[prop:analytic\] also equips every smooth algebraic variety with a structure of differentiable manifold, which we will call **standard**. Whenever we view a smooth algebraic variety as a differentiable manifold it will be equipped with this standard structure. In \[sec:triangles\] we will make use of the following comparison result. We include a proof for completeness. \[prop:hfb\_comparison\] Consider the subgroup $$B^-:=\left\lbrace\begin{pmatrix} a & 0 \\ c & d\end{pmatrix} : a,c,d \in {\mathbb C}, ad\neq 0\right\rbrace$$ of ${\mathrm{GL}}(2)$ and recall the torus $T {\subset}{\mathrm{U}}(2)$ from \[ex:u2\]. If $F$ is a smooth quasi-projective $B^{-}$-variety and we equip ${{\mathrm{GL}}(2) \times_{B^-}F}$ with its standard structure as a differentiable manifold, then $$\label{eq:compiso} {\mathrm{U}}(2)\times_T F \to {\mathrm{GL}}(2)\times_{B-} F, [g,f] \mapsto [g,f]$$ is a ${\mathrm{U}}(2)$-equivariant diffeomorphism. We equip ${\mathrm{GL}}(2)$ and ${\mathrm{GL}}(2)/B^-$ with their standard structures as differentiable manifolds. Then ${\mathrm{U}}(2)$ is a closed subgroup of the Lie group ${\mathrm{GL}}(2)$. The inclusion ${\mathrm{U}}(2) \to {\mathrm{GL}}(2)$ induces a transitive smooth action of ${\mathrm{U}}(2)$ on ${\mathrm{GL}}(2)/B^-$. Since $B ^- \cap {\mathrm{U}}(2) = T$ we thus obtain —using @kawakubo [Corollary 4.4] for example— a ${\mathrm{U}}(2)$-equivariant diffeomorphism ${\mathrm{U}}(2)/T \to {\mathrm{GL}}(2)/B^-$. Let $\varphi: {\mathrm{GL}}(2)/B^- \to {\mathrm{U}}(2)/T$ be the inverse diffeomorphism and recall the map $$p: {{\mathrm{GL}}(2) \times_{B^-}F} \to {\mathrm{GL}}(2)/B^-, [g,f] \to gB^{-}.$$ Then $\varphi \circ p : {{\mathrm{GL}}(2) \times_{B^-}F} \to {\mathrm{U}}(2)/T$ is a ${\mathrm{U}}(2)$-equivariant smooth map. The claim now follows from (\[prop:hfb\_diff\_item\_diffeo\]) in \[prop:hfb\_diff\]. The argument for \[prop:hfb\_comparison\] actually yields the following more general fact. Suppose $K$ is a compact connected Lie group and $G$ its complexification. Let $T$ be a maximal torus of $K$ and $B$ be a Borel subgroup of $G$ containing $T$. If $F$ is a quasi-projective $B$-variety and we equip ${G \times_{B}F}$ with its standard structure as a differentiable manifold, then $${K \times_{T}F} \to {G \times_{B}F}, [k,f] \mapsto [k,f]$$ is a $K$-equivariant diffeomorphism. Multpliplicity free U(2)-actions with trivial principal isotropy group {#sec:mfu2} ====================================================================== Let $M$ be a multiplicity free ${\mathrm{U}}(2)$-manifold with trivial principal istotropy group. It follows from \[thm:knop\_classif\_mf\] and \[ex:u2kac\] that "near" a vertex lying on the wall of the Weyl chamber ${{\mathfrak{t}}_+}$, the momentum polytope ${{\mathcal{P}}}(M)$ of $M$ "looks like" the weight monoid of a smooth affine spherical ${\mathrm{GL}}(2)$-variety. We distill \[table\_gl2\_pointed\_wl\] of all relevant smooth affine spherical ${\mathrm{GL}}(2)$-varieties from a result in @ppvs. This then allows us to make the conditions and very concrete in \[prop:mom\_polytopes\]. Weight monoids of smooth affine spherical GL(2)-varieties {#weight-monoids-of-smooth-affine-spherical-gl2-varieties .unnumbered} --------------------------------------------------------- Table 5 in @ppvs contains all the smooth affine spherical $({\mathrm{SL}}(2)\times {\mathbb C}^{\times})$-varieties and their weight monoids. We briefly explain how to use this classification to explicitly determine the weight monoids of smooth affine ${\mathrm{GL}}(2)$-spherical varieties. We will make use of the notations of \[ex:u2\]. In particular, the weight lattice ${\Lambda}$ of ${\mathrm{GL}}(2)$ is spanned by the weights ${\omega}_1,{\omega}_2$. As in @ppvs we choose $$H=\left\{\begin{pmatrix} a & 0 \\ 0 & a^{-1} \end{pmatrix}: a \in {\mathbb C}^{\times}\right\} \times {\mathbb C}^{\times}$$ as the maximal torus and $$U=\left\{\begin{pmatrix} 1 & b \\ 0 & 1 \end{pmatrix}: b \in {\mathbb C}\right\} \times \{1\}$$ as the maximal unipotent subgroup of ${\mathrm{SL}}(2) \times {\mathbb C}^{\times}$ normalized by $H$. The weights ${\omega}: H \to {\mathbb C}^{\times}$ and ${\varepsilon}: H \to {\mathbb C}^{\times}$ defined by $${\omega}\left(\begin{pmatrix} a & 0 \\ 0 & a^{-1} \end{pmatrix},z\right) = a, \text{ and } \varepsilon\left(\begin{pmatrix} a & 0 \\ 0 & a^{-1} \end{pmatrix},z\right) = z$$ span the weight lattice $\operatorname{Hom}(H,{\mathbb C}^{\times})$ of ${\mathrm{SL}}(2)\times {\mathbb C}^{\times}$ and the monoid of dominant weights corresponding to $U$ is $${\langle}{\omega},{\varepsilon},-{\varepsilon}{\rangle}_{{\mathbb N}} \subset \operatorname{Hom}(H,{\mathbb C}^{\times}).$$ We define the isogeny $$\label{eq:isogeny} \varphi\colon {\mathrm{SL}}(2) \times {\mathbb C}^{\times} \to {\mathrm{GL}}(2) \colon (A,z) \mapsto zA$$ and denote the induced (injective) map ${\Lambda}\to \operatorname{Hom}(H,{\mathbb C}^{\times})$ on weight lattices by $\varphi^*$. Then ${\Gamma}\subset {\Lambda^+}$ is the weight monoid of a smooth affine spherical ${\mathrm{GL}}(2)$-variety if and only if $\varphi^*({\Gamma}) {\subset}{\langle}{\omega},{\varepsilon},-{\varepsilon}{\rangle}_{{\mathbb N}}$ is the weight monoid of a smooth affine spherical $({\mathrm{SL}}(2)\times {\mathbb C}^{\times})$-variety. Since $$\varphi^*({\omega}_1) = {\omega}+ \varepsilon \text{ and } \varphi^*({\omega}_2) = 2 \varepsilon$$ we have $$\varphi^*({\Lambda}) = \{a\omega + b\varepsilon \colon a \equiv b \mod 2\}$$ and it follows that the images under $\varphi^*$ of the weight monoids of smooth affine spherical ${\mathrm{GL}}(2)$-varieties are exactly those weight monoids in @ppvs [Table 5] which are subsets of $ \{a\omega + b\varepsilon \colon a \equiv b \mod 2\}$. In view of part (\[thm:knop\_classif\_mf\_e\_item\]) of \[thm:knop\_classif\_mf\] we restrict ourselves to those weight monoids ${\Gamma}$ of smooth affine spherical ${\mathrm{GL}}(2)$-varieties such that the cone ${{\mathbb R}_{\ge 0}}{\Gamma}$ generated by ${\Gamma}$ is *pointed* (that is, does not contain any line) and such that ${\mathbb Z}{\Gamma}= {\Lambda}$. This yields the weight monoids listed in \[table\_gl2\_pointed\_wl\]. In fact, in view of Knop's condition , we list the *weight cones* ${{\mathbb R}_{\ge 0}}{\Gamma}\subset {{\mathfrak{t}}_+}$ instead of the weight monoids. The cone ${{\mathbb R}_{\ge 0}}{\Gamma}$ determines ${\Gamma}$ because we have fixed the lattice ${\mathbb Z}{\Gamma}$ generated by ${\Gamma}$ to be ${\Lambda}$ and because of the equality ${\Gamma}= {\mathbb Z}{\Gamma}\cap {{\mathbb R}_{\ge 0}}{\Gamma}$, which follows from the fact that smooth varieties are normal. In summary, these computations yield the following proposition. \[prop:GL2pointedcone\] If $X$ is a smooth affine spherical ${\mathrm{GL}}(2)$-variety such that ${\mathbb Z}{\Gamma}(X) = {\Lambda}$ and such that ${{\mathbb R}_{\ge 0}}{\Gamma}(X)$ is pointed, then ${{\mathbb R}_{\ge 0}}{\Gamma}(X)$ is one of the cones listed in \[table\_gl2\_pointed\_wl\]. As they provide local models of multiplicity free ${\mathrm{U}}(2)$-manifolds with trivial principal isotropy group, we have included in \[table\_gl2\_pointed\_wl\] the (unique) smooth affine spherical ${\mathrm{GL}}(2)$-varieties $X$ that realize the listed weight cones ${{\mathbb R}_{\ge 0}}{\Gamma}(X)$. We leave the verification that each variety $X$ in the table has the given weight cone to the reader. This can be deduced from @ppvs [Table 5] using the isogeny $\varphi$ defined in or by using basic facts in the representation theory of ${\mathrm{GL}}(2)$ to determine the highest weights of ${\mathrm{GL}}(2)$ that occur in the coordinate ring ${\mathbb C}[X]$ of $X$. <span>|c|c|c|c|</span> \ Case & $X$ & ${{\mathbb R}_{\ge 0}}{\Gamma}(X)$ & parameters\ 11 &$\bigl({\mathbb C}^2 \otimes {\mathbb C}_{\det^{-(k+1)}}\bigr) \times {\mathbb C}_{\det^{-\ell}}$ & $\operatorname{cone}((k+1)\varepsilon_1+k\varepsilon_2, \ell(\varepsilon_1+\varepsilon_2))$ & ---------------------- $k \in {\mathbb Z},$ $\ell \in \{1,-1\}$ ---------------------- : Pointed weight cones of smooth affine spherical ${\mathrm{GL}}(2)$–varieties $X$ with ${\mathbb Z}{\Gamma}(X)={\Lambda}$. The "Case" numbers refer to those in @ppvs [Table 5]<span data-label="table_gl2_pointed_wl"></span> \ 14 & ${\mathrm{GL}}(2) \times _{{T^{{\mathbb C}}}} {\mathbb C}_{j(\varepsilon_2 -\varepsilon_1) - \varepsilon_1}$ &$\operatorname{cone}(\varepsilon_1-\varepsilon_2, j(\varepsilon_1 -\varepsilon_2) + \varepsilon_1)$ & $j \in {\mathbb N}$\ 14 & ${\mathrm{GL}}(2) \times _{{T^{{\mathbb C}}}} {\mathbb C}_{j(\varepsilon_2 -\varepsilon_1) + \varepsilon_2}$ &$\operatorname{cone}(\varepsilon_1-\varepsilon_2, j(\varepsilon_1 -\varepsilon_2) - \varepsilon_2)$ & $j \in {\mathbb N}$\ 15 &${\mathrm{GL}}(2)\left/\left\lbrace \begin{pmatrix} z^j & 0 \\ 0 & z^{j+1}\end{pmatrix}: z \in {\mathbb C}^{\times}\right\rbrace \right.$&$\operatorname{cone}(j(\varepsilon_1 -\varepsilon_2)+\varepsilon_1, j(\varepsilon_1 -\varepsilon_2)-\varepsilon_2)$ &$j \in {\mathbb N}$\ \ Momentum polytopes {#momentum-polytopes .unnumbered} ------------------ In \[prop:mom\_polytopes\] we specialize Knop's \[thm:knop\_classif\_mf\] to the case $K={\mathrm{U}}(2)$. We continue to use the notations of \[ex:u2\]. Combining \[table\_gl2\_pointed\_wl\] with \[thm:knop\_classif\_mf\] we obtain the following. \[prop:mom\_polytopes\] Let ${\mathcal{P}}$ be a convex polytope in ${\mathfrak{t}}_+$. Then ${\mathcal{P}}$ is the momentum polytope of a (unique) multiplicity free ${\mathrm{U}}(2)$-manifold with trivial principal isotropy group if and only if all of the following conditions are satisfied: (1) $\dim {\mathcal{P}}= 2$; \[item:mom\_poly\_1\] (2) ${\mathcal{P}}$ is rational with respect to ${\Lambda}$, i.e. for every two vertices $a,b$ of ${\mathcal{P}}$ connected by the edge $[a,b]$ of ${\mathcal{P}}$, the intersection ${\mathbb R}(b-a) \cap {\Lambda}$ is nonempty (we will denote the primitive elements of ${\Lambda}$ on the extremal rays of the cone ${\mathbb R}_{\ge 0}({\mathcal{P}}-a)$ by $\rho_1^a, \rho_2^a$); \[item:mom\_poly\_2\] (3) (Delzant) If $a$ is a vertex of ${\mathcal{P}}$ with ${\langle}\alpha^{\vee},a{\rangle}>0$, then $(\rho_1^a,\rho_2^a)$ is a basis of ${\Lambda}$; \[item:mom\_poly\_3\] (4) If $a$ is a vertex of ${\mathcal{P}}$ with ${\langle}\alpha^{\vee},a{\rangle}=0$, then $\{\rho^a_1, \rho^a_2\}$ is one of the following sets: \[item:mom\_poly\_4\] $$\begin{aligned} & \{\varepsilon_1 + \varepsilon_2, k(\varepsilon_1 + \varepsilon_2) + \varepsilon_1\} \quad \text{ for some }k \in {\mathbb Z}; \label{eq:cone_1}\\ & \{-(\varepsilon_1 + \varepsilon_2), k(\varepsilon_1 + \varepsilon_2) + \varepsilon_1\} \quad \text{ for some }k \in {\mathbb Z}; \label{eq:cone_2}\\ & \{\varepsilon_1 - \varepsilon_2, j(\varepsilon_1-\varepsilon_2)+\varepsilon_1\} \quad \text{ for some }j \in {\mathbb N}; \label{eq:alpha_cone_1} \\ & \{\varepsilon_1 - \varepsilon_2, j(\varepsilon_1-\varepsilon_2)-\varepsilon_2\} \quad \text{ for some }j \in {\mathbb N}; \label{eq:alpha_cone_2}\\ & \{j(\varepsilon_1-\varepsilon_2)+\varepsilon_1, j(\varepsilon_1-\varepsilon_2)-\varepsilon_2\} \quad \text{ for some }j \in {\mathbb N}. \label{eq:alpha_cone_3}\end{aligned}$$ Thanks to Knop's \[thm:knop\_classif\_mf\], the cones in the third column of \[table\_gl2\_pointed\_wl\] describe the "local" shape, near a vertex that lies on the wall of the Weyl chamber ${{\mathfrak{t}}_+}$, of the momentum polytope ${{\mathcal{P}}}$ of a multiplicity free ${\mathrm{U}}(2)$-manifold with trivial principal isotropy group. If $a$ is a vertex of ${{\mathcal{P}}}$ that lies in the interior of ${{\mathfrak{t}}_+}$, we have $(K_a)^{{\mathbb C}} = T^{{\mathbb C}}$. The shape of ${{\mathcal{P}}}$ near $a$ must be as described in part (\[item:mom\_poly\_3\]) of the proposition due to the well-known structure of the weight monoids of smooth affine toric varieties (see, e.g. @fulton-toric [Section 2.1]). The proposition follows. In \[rem:fixpoints\] we give some geometric information related to vertices of the momentum polytopes under consideration in \[prop:mom\_polytopes\]. We first introduce some additional notation. Suppose $(M,\mu)$ is a mulitplicity free ${\mathrm{U}}(2)$-manifold with momentum polytope ${\mathcal{P}}$. Let $$\Psi:M \to {{\mathcal{P}}}{\subset}{{\mathfrak{t}}_+},\ m \mapsto \mu(K\cdot m)\cap {{\mathfrak{t}}_+}$$ be the *invariant momentum map* of $M$ and let $\phi:M \to {\mathfrak{t}}^*$ be the momentum map of $M$ considered as a $T$-manifold, that is $\phi = ({\mathfrak{k}}^* {\twoheadrightarrow}{\mathfrak{t}}^*) \circ \mu$. We recall from \[rem:mf\](\[rem:mf\_item\_b\]) that every fiber of $\Psi$ is a $K$-orbit and from \[prop:convexhullweylorbit\] that $\phi(M)$ is the convex hull of ${\mathcal{P}}\cup s_{\alpha}({\mathcal{P}})$. \[Vertices and fixpoints\] \[rem:fixpoints\] Let ${\mathcal{P}}$ be a polytope satisfying the conditions in \[prop:mom\_polytopes\] and let $M$ be the mulitplicity free ${\mathrm{U}}(2)$-manifold with trivial principal isotropy group such that ${\mathcal{P}}(M)=\Psi(M)={\mathcal{P}}$. The local models of $M$ given in \[table\_gl2\_pointed\_wl\] yield the following information. (a) If $a$ is as in case (\[item:mom\_poly\_3\]) of \[prop:mom\_polytopes\], $\Psi^{-1}(a)$ contains exactly two $T$-fixpoints $p_1,p_2$ and $\phi(p_1) = s_{\alpha}(\phi(p_2))$. (b) If the extremal rays at $a$ are those in \[eq:cone\_1\] or \[eq:cone\_2\], then here is a unique $T$-fixpoint $p$ in $\Psi^{-1}(a)$. Moreover $\phi(p) = a$ and $p$ is even fixed by ${\mathrm{U}}(2)$. (c) In the cases of \[eq:alpha\_cone\_1,eq:alpha\_cone\_2\], there are exactly two $T$-fixpoints $p_1,p_2$ in $\Psi^{-1}(a)$. Moreover $\phi(p_1)=\phi(p_2) = a$. (d) In the case of \[eq:alpha\_cone\_3\], $\Psi^{-1}(a)$ does not contain any $T$-fixpoints. Triangles {#sec:triangles} ========= We continue to use the notations in \[ex:u2\]. In this section, we classify the multiplicity free ${\mathrm{U}}(2)$-manifolds with trivial principal isotropy group of which the momentum polytope is a triangle. The following lemma determines the *Delzant* triangles and will be used to describe the triangles in ${\mathfrak{t}}_+$ which can occur as momentum polytopes of such manifolds. \[lemma:delzant\_triangle\] Let $\mathsf{u},\mathsf{v}$ and $\mathsf{w} \in {\mathfrak{t}}^* = {\Lambda}\otimes_{{\mathbb Z}}{\mathbb R}$ such that $$\mathsf{v} - \mathsf{u}, \mathsf{w}-\mathsf{u}, \mathsf{w}-\mathsf{v} \in {\Lambda}\otimes_{{\mathbb Z}}{\mathbb Q}.$$and let $\rho_1,\rho_2,\rho_3$ be the primitive elements of ${\Lambda}$ such that $${{\mathbb R}_{\ge 0}}\rho_1 = {{\mathbb R}_{\ge 0}}(\mathsf{v}-\mathsf{u}), {{\mathbb R}_{\ge 0}}\rho_2 = {{\mathbb R}_{\ge 0}}(\mathsf{w}-\mathsf{u}), {{\mathbb R}_{\ge 0}}\rho_3 = {{\mathbb R}_{\ge 0}}(\mathsf{w}-\mathsf{v}).$$ Suppose $(\rho_1,\rho_2)$ is a basis of ${\Lambda}$. Both pairs $(\rho_1,\rho_3)$ and $(\rho_2,\rho_3)$ are bases of ${\Lambda}$ if and only if $\rho_3 = \rho_2 - \rho_1$. The "if" statement is clear. To prove the converse, let $a,b\in {\mathbb Z}$ such that $\rho_3 = a\rho_1 + b\rho_2$. It follows from the assumption that $(\rho_1,\rho_3)$ and $(\rho_2,\rho_3)$ are bases of ${\Lambda}$, that $a,b \in \{1,-1\}$. The definitions of $\rho_1,\rho_2,\rho_3$ then imply that $a=-1$ and $b=1$. \[prop:triangles\] The triangles in ${\mathfrak{t}}_+$ that occur as momentum polytopes of multiplicity free ${\mathrm{U}}(2)$-manifolds with trivial principal isotropy group are: 1. \[triangles\_delzant\] $r(-\varepsilon_2) + s(\varepsilon_1+\varepsilon_2) + t\cdot \operatorname{conv}(0,a_1(-\varepsilon_2) + b_1\varepsilon_1,a_2(-\varepsilon_2) + b_2\varepsilon_1)$, where $r,t \in {\mathbb R}_{>0}$, $s \in {\mathbb R}$, $a_1,b_1,a_2,b_2\in {\mathbb Z}$ with $\det\begin{pmatrix} a_1 & a_2 \\ b_1 & b_2 \end{pmatrix} = 1$ and $a_i+b_i \geq 0$ for each $i \in \{1,2\}$; 2. \[triangles\_side\_wall\] $s(\varepsilon_1+\varepsilon_2) + t\cdot\operatorname{conv}(0,\ell(\varepsilon_1 + \varepsilon_2), k(\varepsilon_1 + \varepsilon_2) + \varepsilon_1)$, where $s \in {\mathbb R}$, $t \in {\mathbb R}_{>0}$, $k \in {\mathbb Z}$, $\ell \in \{-1,1\}$; 3. \[triangles\_halfright\_1\] $s(\varepsilon_1+\varepsilon_2) + t\cdot\operatorname{conv}(0,\varepsilon_1 - \varepsilon_2, j(\varepsilon_1-\varepsilon_2)+\varepsilon_1)$, where $s \in {\mathbb R}$, $t \in {\mathbb R}_{>0}$, $j \in {\mathbb N}$ 4. \[triangles\_halfright\_2\] $s(\varepsilon_1+\varepsilon_2) + t\cdot\operatorname{conv}(0,\varepsilon_1 - \varepsilon_2, j(\varepsilon_1-\varepsilon_2)-\varepsilon_2)$, where $s \in {\mathbb R}$, $t \in {\mathbb R}_{>0}$, $j \in {\mathbb N}$; 5. \[triangles\_right\] $s(\varepsilon_1+\varepsilon_2) + t\cdot\operatorname{conv}(0,\varepsilon_1, -\varepsilon_2)$, where $s \in {\mathbb R}$, $t \in {\mathbb R}_{>0}$. Observe that the all the sets in \[eq:cone\_1,eq:cone\_2,eq:alpha\_cone\_1,eq:alpha\_cone\_2\] and the one in \[eq:alpha\_cone\_3\] with $j=0$ are bases of ${\Lambda}$. The proposition now follows from \[prop:mom\_polytopes\] and \[lemma:delzant\_triangle\] once we prove the following claim: if ${\mathcal{P}}\subset {\mathfrak{t}}_+$ is a triangle satisfying conditions (\[item:mom\_poly\_2\]) and (\[item:mom\_poly\_3\]) of \[prop:mom\_polytopes\] and $a$ is a vertex of ${\mathcal{P}}$ such that ${\langle}\alpha^{\vee},a{\rangle}=0$ and $$\{\rho_1^a, \rho_2^a\} = \{j(\varepsilon_1-\varepsilon_2)+\varepsilon_1, j(\varepsilon_1-\varepsilon_2)-\varepsilon_2\} \quad \text{ for some }j \in {\mathbb N},$$ then $j=0$. We may assume that $\rho_1^a = j(\varepsilon_1-\varepsilon_2)+\varepsilon_1$ and $\rho_2^a = j(\varepsilon_1-\varepsilon_2)-\varepsilon_2$. Let $b,c$ be the other two vertices of ${\mathcal{P}}$, such that ${{\mathbb R}_{\ge 0}}(b-a) = {{\mathbb R}_{\ge 0}}\rho_1^a$ and ${{\mathbb R}_{\ge 0}}(c-a) = {{\mathbb R}_{\ge 0}}\rho_2^a$ and write $\rho$ for the primitive element of ${\Lambda}$ on the ray ${{\mathbb R}_{\ge 0}}(c-b)$. Since $(\rho,\rho_1^a)$ is a basis of ${\Lambda}$ by condition (\[item:mom\_poly\_3\]) of \[prop:mom\_polytopes\], there exist $m,n \in {\mathbb Z}$ such that $\rho_2^a = m\rho + n \rho_1^a$. Using that $(\rho,\rho_2^a)$ is also a basis of ${\Lambda}$ it follows that $n \in \{-1,1\}$. As $\rho_2^a$ belongs to the cone $\{p \rho + q\rho^a_1 \colon p,q \in {{\mathbb R}_{\ge 0}}\}$ we obtain $n=1$ and $m> 0$. Consequently $m\rho = \rho_2^a - \rho_1^a =-(\varepsilon_1 + \varepsilon_2).$ As $\rho \in {\Lambda}$ it follows that $\rho = -(\varepsilon_1 + \varepsilon_2)$. Using once more that $(\rho,\rho_1^a)$ is a basis of ${\Lambda}$ it follows that $j=0$, which completes the proof of the claim. For each triangle in \[prop:triangles\], Knop's \[thm:knop\_classif\_mf\] guarantees the existence of a multiplicity free Hamiltonian ${\mathrm{U}}(2)$-manifold whose momentum polytope is that triangle. below gives an explicit description of these manifolds. provide the Hamiltonian structures. \[thm:triangles\_realisation\] Let ${\mathcal{Q}}$ be one of the triangles listed in \[prop:triangles\] and let $M$ be the (up to isomorphism) unique multiplicity free ${\mathrm{U}}(2)$-manifold with ${{\mathcal{P}}}(M) = {\mathcal{Q}}$ and trivial principal isotropy group. Then: (a) $M$ is ${\mathrm{U}}(2)$-equivariantly *diffeomorphic* to the corresponding manifold listed in the second column of \[table\_triangle\_manifolds\]. (b) $M$ is isomorphic (as a Hamiltonian ${\mathrm{U}}(2)$-manifold) to the corresponding manifold listed in the second column of \[table\_triangle\_manifolds\] equipped with the Hamiltonian structure described in the proposition listed in the last column of \[table\_triangle\_manifolds\]. (c) $M$ has an invariant compatible complex structure $J$ such that the complex manifold $(M,J)$, equipped with the action of ${\mathrm{GL}}(2)$ that is the complexification of the ${\mathrm{U}}(2)$-action, is ${\mathrm{GL}}(2)$-equivariantly biholomorphic to the corresponding ${\mathrm{GL}}(2)$-variety listed in the third column of \[table\_triangle\_manifolds\]. In each proposition listed in the fourth column of \[table\_triangle\_manifolds\], we define a structure of multiplicity free ${\mathrm{U}}(2)$-manifold on the smooth complex ${\mathrm{GL}}(2)$-variety $M$ listed in the third column such that - the momentum polytope of $M$ is the corresponding triangle of \[prop:triangles\]; - the ${\mathrm{U}}(2)$-invariant complex structure that $M$ carries by virtue of being a smooth complex ${\mathrm{GL}}(2)$-variety (cf. \[prop:analytic\]) is compatible with the symplectic form on $M$; and - $M$, viewed as a differentiable manifold, is ${\mathrm{U}}(2)$-equivariantly diffeomorphic to the manifold listed in the second column of \[table\_triangle\_manifolds\] Since, in each case, the ${\mathrm{U}}(2)$-action on $M$ has a trivial principal isotropy group, all the assertions now follow from part (\[thm:knop\_classif\_mf\_u\_item\]) of Knop's \[thm:knop\_classif\_mf\]. <span>|c|l|c|c|</span> \ Case & $M$ as ${\mathrm{U}}(2)$-manifold &$M$ as ${\mathrm{GL}}(2)$-variety & Prop.\ (\[triangles\_delzant\])& ------------------------------------------------------------------------------------- $ {{\mathrm{U}}(2) \times_{T}{\mathbb P}(V)}$, where $V={\mathbb C}\oplus {\mathbb C}_{-\delta_1} \oplus {\mathbb C}_{-\delta_2}$, with $\delta_1 = a_1(-{\varepsilon}_2)+b_1{\varepsilon}_1$, $\delta_2 = a_2(-{\varepsilon}_2)+b_2{\varepsilon}_1$, $a_1,b_1,a_2,b_2 \in {\mathbb Z}$ as in \[prop:triangles\](\[triangles\_delzant\]) ------------------------------------------------------------------------------------- : Locally free multiplicity free ${\mathrm{U}}(2)$-manifolds $M$ for wich ${\mathcal{P}}(M)$ is a triangle, as asserted in \[thm:triangles\_realisation\]. The cases are numbered as in \[prop:triangles\].<span data-label="table_triangle_manifolds"></span> & ${{\mathrm{GL}}(2) \times_{B^{-}}{\mathbb P}(V)}$ & \[prop:mfd\_triangles\_delzant\]\ (\[triangles\_side\_wall\]) & ------------------------------------------------------------------------------------------------------------------------------------ ${\mathbb P}\bigl(({\mathbb C}^2 \otimes {\mathbb C}_{\det^{-(k+1)}}) \oplus {\mathbb C}_{\det^{-\ell}} \oplus {\mathbb C}\bigr),$ where $k \in {\mathbb Z}, \ell \in \{-1,1\}.$ ------------------------------------------------------------------------------------------------------------------------------------ : Locally free multiplicity free ${\mathrm{U}}(2)$-manifolds $M$ for wich ${\mathcal{P}}(M)$ is a triangle, as asserted in \[thm:triangles\_realisation\]. The cases are numbered as in \[prop:triangles\].<span data-label="table_triangle_manifolds"></span> & idem & \[prop:mfd\_triangles\_side\_wall\]\ (\[triangles\_halfright\_1\]) & ----------------------------------------------------------------------------------------- ${{\mathrm{U}}(2) \times_{T}{\mathbb P}({\mathbb C}^2 \oplus {\mathbb C}_{-j\alpha})},$ where $j \in {\mathbb N}.$ ----------------------------------------------------------------------------------------- : Locally free multiplicity free ${\mathrm{U}}(2)$-manifolds $M$ for wich ${\mathcal{P}}(M)$ is a triangle, as asserted in \[thm:triangles\_realisation\]. The cases are numbered as in \[prop:triangles\].<span data-label="table_triangle_manifolds"></span> &${{\mathrm{GL}}(2) \times_{B^{-}}{\mathbb P}({\mathbb C}^2 \oplus {\mathbb C}_{-j\alpha})}$& \[prop:mfd\_triangles\_halfright\_1\]\ (\[triangles\_halfright\_2\])& ---------------------------------------------------------------------------------------------- $ {{\mathrm{U}}(2) \times_{T}{\mathbb P}(({\mathbb C}^2)^* \oplus {\mathbb C}_{-j\alpha})},$ where $j \in {\mathbb N}.$ ---------------------------------------------------------------------------------------------- : Locally free multiplicity free ${\mathrm{U}}(2)$-manifolds $M$ for wich ${\mathcal{P}}(M)$ is a triangle, as asserted in \[thm:triangles\_realisation\]. The cases are numbered as in \[prop:triangles\].<span data-label="table_triangle_manifolds"></span> &${{\mathrm{GL}}(2) \times_{B^{-}}{\mathbb P}(({\mathbb C}^2)^* \oplus {\mathbb C}_{-j\alpha})}$ & \[prop:mfd\_triangles\_halfright\_2\]\ (\[triangles\_right\])& ------------------------------------------------------------------------------ ${\mathrm{SO}}(5)/[{\mathrm{SO}}(2)\times {\mathrm{SO}}(3)]$, where ${\mathrm{U}}(2)$ acts through ${\mathrm{U}}(2) {\hookrightarrow}{\mathrm{SO}}(4) \subset {\mathrm{SO}}(5)$ ------------------------------------------------------------------------------ : Locally free multiplicity free ${\mathrm{U}}(2)$-manifolds $M$ for wich ${\mathcal{P}}(M)$ is a triangle, as asserted in \[thm:triangles\_realisation\]. The cases are numbered as in \[prop:triangles\].<span data-label="table_triangle_manifolds"></span> & -------------------------------------------------------------------------------------------------------- ${\mathrm{SO}}(5,{\mathbb C})/P$, where $P \subset {\mathrm{SO}}(5,{\mathbb C})$ is the minimal standard parabolic assoc. to the short simple root, ${\mathrm{GL}}(2)$ acts through ${\mathrm{GL}}(2) {\hookrightarrow}{\mathrm{SO}}(4,{\mathbb C}) \subset {\mathrm{SO}}(5,{\mathbb C})$. -------------------------------------------------------------------------------------------------------- : Locally free multiplicity free ${\mathrm{U}}(2)$-manifolds $M$ for wich ${\mathcal{P}}(M)$ is a triangle, as asserted in \[thm:triangles\_realisation\]. The cases are numbered as in \[prop:triangles\].<span data-label="table_triangle_manifolds"></span> & \[prop:mfd\_triangles\_right\]\ \ \ We will make use of the following standard fact, which follows directly from the definitions, taking into account that $\varepsilon_1 + \varepsilon_2 \in {\mathfrak{t}}^* \subset {\mathfrak{u}}(2)^*$ is a fixpoint for the coadjoint action of ${\mathrm{U}}(2)$. \[lem:stretch\_and\_shift\] Let $(M, \omega_M, \mu_M)$ be a compact Hamiltonian ${\mathrm{U}}(2)$-manifold with momentum polytope ${\mathcal{Q}}$. If $s \in {\mathbb R}, t \in {\mathbb R}_{>0}$, then $$\mu_M^{s,t} := t\mu_M + s({\varepsilon}_1 + {\varepsilon}_2)$$ is a momentum map for the symplectic form $t\omega_M$ on $M$ and the momentum polytope of the Hamiltonian ${\mathrm{U}}(2)$-manifold $(M,t{\omega}_M,\mu_M^{s,t})$ is $$s(\varepsilon_1+\varepsilon_2) + t\cdot{\mathcal{Q}}.$$ Furthermore, if $(M, \omega_M, \mu_M)$ is multiplicity free, then so is $(M,t{\omega}_M,\mu_M^{s,t})$ The next proposition gives the multiplicity free ${\mathrm{U}}(2)$-manifold associated to the momentum polytope (\[triangles\_side\_wall\]) of \[prop:triangles\]. \[prop:mfd\_triangles\_side\_wall\] Let $k \in {\mathbb Z}$, $\ell \in \{-1,1\}$. Let $V$ be the ${\mathrm{U}}(2)$-representation $$V := ({\mathbb C}^2 \otimes {\mathbb C}_{\det^{-(k+1)}}) \oplus {\mathbb C}_{\det^{-\ell}} \oplus {\mathbb C}\cong V(\varpi_1 - (k+1)\varpi_2) \oplus V(-\ell \varpi_2)\oplus V(0).$$ (a) \[prop:mfd\_triangles\_side\_wall\_part\_a\] The projective space ${\mathbb P}(V)$, equipped with the Fubini-Study symplectic form and the momentum map ${\mu_{{\mathbb P}(V)}}$ of \[ex:mupv\], is a multiplicity free $U(2)$-manifold with trivial principal isotropy group. (b) \[prop:mfd\_triangles\_side\_wall\_part\_b\] The $T$-fixpoints in ${\mathbb P}(V)$ are $$\begin{aligned} x_1:=[(e_1\otimes 1)\oplus 0 \oplus 0],\ x_2:=[(e_2\otimes 1)\oplus 0 \oplus 0],\ x_3:=[0\oplus 1 \oplus 0],\ x_4:=[0\oplus 0\oplus 1] \end{aligned}$$ and their images under ${\mu_{{\mathbb P}(V)}}$ are (in the same order) $$\label{prop:mfd_triangles_side_wall_tweights} k(\varepsilon_1+\varepsilon_2) + \varepsilon_2,\ k(\varepsilon_1+\varepsilon_2) + \varepsilon_1,\ \ell (\varepsilon_1 + \varepsilon_2),\ 0$$ (c) \[prop:mfd\_triangles\_side\_wall\_part\_c\] The momentum polytope of $({\mathbb P}(V),{\mu_{{\mathbb P}(V)}})$ is the triangle $$\operatorname{conv}(0,\ell(\varepsilon_1 + \varepsilon_2), k(\varepsilon_1 + \varepsilon_2) + \varepsilon_1)$$ in case (\[triangles\_side\_wall\]) of \[prop:triangles\]. (d) \[prop:mfd\_triangles\_side\_wall\_part\_d\] If $s \in {\mathbb R}, t \in {\mathbb R}_{>0}$, then $${\mu_{{\mathbb P}(V)}}^{s,t} := t{\mu_{{\mathbb P}(V)}}+ s({\varepsilon}_1 + {\varepsilon}_2)$$ is a momentum map for the symplectic form $t{{\omega}_{{\mathbb P}(V)}}$ on ${\mathbb P}(V)$ and the momentum polytope of the multiplicty free ${\mathrm{U}}(2)$-manifold $({\mathbb P}(V),{\mu_{{\mathbb P}(V)}})$ is the triangle $$s(\varepsilon_1+\varepsilon_2) + t\cdot\operatorname{conv}(0,\ell(\varepsilon_1 + \varepsilon_2), k(\varepsilon_1 + \varepsilon_2) + \varepsilon_1)$$ of case (\[triangles\_side\_wall\]) in \[prop:triangles\] (-1,-1) grid (4,4); (0,0) – (1,1) – (3,2) – (0,0); (-1,-1)–(4,4); at (1,1)\[circle,fill,inner sep=2pt\]; at (3,2)\[circle,fill,inner sep=2pt\]; at (0,0)\[circle,fill,inner sep=2pt\]; We begin with (\[prop:mfd\_triangles\_side\_wall\_part\_a\]). It follows from \[ex:mupv\] that $({\mathbb P}(V),{\mu_{{\mathbb P}(V)}})$ is a Hamiltonian ${\mathrm{U}}(2)$-manifold. A computation shows that the only element of ${\mathrm{U}}(2)$ that fixes $$[(e_1 \otimes 1) \oplus 1 \oplus 1] \in {\mathbb P}(V)$$ is the identity, which implies that the principal istotropy group of the $U(2)$-action on ${\mathbb P}(V)$ is trivial. Since ${\mathbb P}(V)$ is compact and connected, it follows from \[eq:dim\_mf\] that $({\mathbb P}(V),{\mu_{{\mathbb P}(V)}})$ is multiplicity free. To show (\[prop:mfd\_triangles\_side\_wall\_part\_b\]) we first observe that all the $T$-weight spaces in $V$ have dimension $1$. This implies that the $T$-fixpoints in ${\mathbb P}(V)$ are exactly the lines spanned by $T$-eigenvectors in $V$, which shows the first assertion in (\[prop:mfd\_triangles\_side\_wall\_part\_b\]). It follows that $\mu(x_i) \in {\mathfrak{t}}^* \cong ({\mathfrak{k}}^*)^T$ for every $i \in \{1,2,3,4\}$. We now use \[ex:mupv\] to compute ${\mu_{{\mathbb P}(V)}}(x_1)$. Let $\xi \in {\mathfrak{t}}$. Since $\mathsf{v}:=e_1\otimes 1 \oplus 0 \oplus 0 \in V$ has $T$-weight $\gamma:=\varepsilon_1-(k+1)(\varepsilon_1+\varepsilon_2)$ we have $\xi\cdot \mathsf(v) = 2\pi\sqrt{-1}\gamma(\xi)\mathsf{v}$ which implies that ${\mu_{{\mathbb P}(V)}}(x_1)(\xi) = -\gamma(\xi)$, that is, ${\mu_{{\mathbb P}(V)}}(x) = -\gamma$, as claimed. The computations of ${\mu_{{\mathbb P}(V)}}(x_2)$, ${\mu_{{\mathbb P}(V)}}(x_3)$ and ${\mu_{{\mathbb P}(V)}}(x_4)$ are analogous. We turn to (\[prop:mfd\_triangles\_side\_wall\_part\_c\]). Since $${\mu_{{\mathbb P}(V)}}(x_2)=k(\varepsilon_1+\varepsilon_2)+\varepsilon_1$$ is the only weight in that belongs to the interior of ${\mathfrak{t}}_+$, it is the only vertex of ${{\mathcal{P}}}(M)$ in the interior of ${\mathfrak{t}}_+$, thanks to \[thm:sjamaar\_mp\](\[item\_pol\_vertex\_interior\]). In order to apply part (\[item\_pol\_vertex\_cone\]) of \[thm:sjamaar\_mp\], we next show that the $T$-weights in the symplectic slice $N_{x_2}$ of ${\mathbb P}(V)$ at $x_2$ are $$\Pi_{x_2} = \{k(\varepsilon_1+\varepsilon_2)+\varepsilon_1, (k-\ell)(\varepsilon_1+\varepsilon_2) + \varepsilon_1\}.$$ Indeed, as ${\mathbb P}(V)$ comes with an invariant complex structure which is compatible with its Fubini-Study symplectic form by construction, we have the the following isomorphisms of $T$-modules $$\begin{gathered} N_{x_2} \cong T_{x_2} {\mathbb P}(V) / T_{x_2} (K\cdot x_2) =T_{x_2}{\mathbb P}(V) / T_{x_2} {\mathbb P}({\mathbb C}^2 \otimes {\mathbb C}_{\det^{-(k+1)}}\oplus 0 \oplus 0)\\ \cong {\mathbb C}_{(k-\ell)(\varepsilon_1+\varepsilon_2) + \varepsilon_1} \oplus {\mathbb C}_{k(\varepsilon_1+\varepsilon_2)+\varepsilon_1}.\end{gathered}$$ Since the extremal rays $${\mu_{{\mathbb P}(V)}}(x_2) - {{\mathbb R}_{\ge 0}}(k(\varepsilon_1+\varepsilon_2)+\varepsilon_1) \quad \text{ and } {\mu_{{\mathbb P}(V)}}(x_2) - {{\mathbb R}_{\ge 0}}((k-\ell)(\varepsilon_1+\varepsilon_2)+\varepsilon_1)$$ of the cone ${\mu_{{\mathbb P}(V)}}(x_2) - \operatorname{cone}\Pi_{x_2}$ intersect the wall of the Weyl chamber ${\mathfrak{t}}_+$ in the points $0$ and $\ell(\varepsilon_1+\varepsilon_2)$ it follows from part (\[item\_pol\_vertex\_cone\]) of \[thm:sjamaar\_mp\] that $${{\mathcal{P}}}({\mathbb P}(V)) = \operatorname{conv}(0,\ell(\varepsilon_1+\varepsilon_2), k(\varepsilon_1+\varepsilon_2)+\varepsilon_1)$$ as claimed. Part (\[prop:mfd\_triangles\_side\_wall\_part\_d\]) follows from part (\[prop:mfd\_triangles\_side\_wall\_part\_c\]) and \[lem:stretch\_and\_shift\]. We now describe the multiplicity free ${\mathrm{U}}(2)$-manifold associated to the momentum polytope (\[triangles\_halfright\_1\]) of \[prop:triangles\]. \[prop:mfd\_triangles\_halfright\_1\] Let $j \in {\mathbb N}$ and set $$M = {{\mathrm{GL}}(2) \times_{B^-}{\mathbb P}({\mathbb C}^2 \oplus {\mathbb C}_{-j({\varepsilon}_1-{\varepsilon}_2)})}$$ where the group $B^{-}$ of lower triangular matrices in ${\mathrm{GL}}(2)$ acts on ${\mathbb P}({\mathbb C}^2 \oplus {\mathbb C}_{-j({\varepsilon}_1-{\varepsilon}_2)})$ through the standard linear action of ${\mathrm{GL}}(2)$ on ${\mathbb C}^2$ and with weight $-j({\varepsilon}_1-{\varepsilon}_2)$ on the $1$-dimensional space ${\mathbb C}_{-j({\varepsilon}_1-{\varepsilon}_2)}$. (a) The map $${{\mathrm{U}}(2) \times_{T}{\mathbb P}({\mathbb C}^2 \oplus {\mathbb C}_{-j({\varepsilon}_1-{\varepsilon}_2)})} \to M, [g,[y]] \mapsto [g,[y]]$$ is a ${\mathrm{U}}(2)$-equivariant diffeomorphism. \[prop:mfd\_triangles\_halfright\_1\_item\_U2\] (b) \[prop:mfd\_triangles\_halfright\_1\_item1\] Let $V$ be the irreducible ${\mathrm{GL}}(2)$-representation with highest weight $j\alpha$ and let ${\mathsf{v}}\in V$ be a lowest weight vector in $V$. Then $$\iota_M: M \to Y:= {{\mathrm{GL}}(2) \times_{B^-}{\mathbb P}({\mathbb C}^2 \oplus V)}, [g,[u\oplus z]] \to [g,[u \oplus z{\mathsf{v}}]]$$ is a ${\mathrm{GL}}(2)$-equivariant closed embedding and $$\iota_Y : Y \to {\mathbb P}({\mathbb C}^2) \times {\mathbb P}({\mathbb C}^2 \oplus V), [g,[u \oplus v]] \mapsto ([ge_2],[gu \oplus gv])$$ is a ${\mathrm{GL}}(2)$-equivariant isomorphism of varieties. (c) \[prop:mfd\_triangles\_halfright\_1\_item2\] Let ${\omega}_1$ be the Fubini-Study symplectic form on ${\mathbb P}({\mathbb C}^2)$ and $$\mu_1: {\mathbb P}({\mathbb C}^2) \to {\mathfrak{u}}(2)^*$$ the associated momentum map as in \[ex:mupv\], ${\omega}_2$ the Fubini-Study symplectic form on ${\mathbb P}({\mathbb C}^2\oplus V)$ and $\mu_2: {\mathbb P}({\mathbb C}^2\oplus V) \to {\mathfrak{u}}(2)^*$ the associated momentum map. If ${\omega}_M$ is the pullback along $\iota_Y \circ \iota_M$ of the symplectic form ${\omega}_1 + {\omega}_2$ on ${\mathbb P}({\mathbb C}^2) \times {\mathbb P}({\mathbb C}^2 \oplus V)$ then ${\omega}_M$ is a symplectic form on $M$ with momentum map $$\mu_M = (\mu_1+\mu_2) \circ \iota_Y \circ \iota_M$$ and $(M,\mu_M)$ is a multiplicity free ${\mathrm{U}}(2)$-manifold with trivial principal isotropy group. (d) \[prop:mfd\_triangles\_halfright\_1\_item3\] Set $n := \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \in {\mathrm{U}}(2)$. The $T$-fixpoints in $M$ are $$\begin{aligned} & x_1:=[e,[1:0:0]],\ x_2:=[n,[1:0:0]],\ x_3:=[e,[0:1:0]],\\ &x_4:=[n,[0:1:0]],\ x_5:=[e,[0:0:1]],\ x_6:=[n,[0:0:1]] \end{aligned}$$ and their images under $\mu_M$ are (in the same order) $$\label{eq:weights_toric_fixpoints_halfright} -{\varepsilon}_1 -{\varepsilon}_2,\ -{\varepsilon}_1 -{\varepsilon}_2,\ -2{\varepsilon}_2,\ -2{\varepsilon}_1,\ j\alpha - {\varepsilon}_2,\ -j\alpha - {\varepsilon}_1.$$ (e) \[prop:mfd\_triangles\_halfright\_1\_item4\] The momentum polytope of $(M, \mu_M)$ is the triangle $(-{\varepsilon}_1-{\varepsilon}_2)+\operatorname{conv}(0, \alpha, j\alpha +{\varepsilon}_1)$ in case (\[triangles\_halfright\_1\]) of \[prop:triangles\] (f) \[prop:mfd\_triangles\_halfright\_1\_item5\] If $s \in {\mathbb R}, t \in {\mathbb R}_{>0}$, then $$\mu_M^{s,t} := t\mu_M + (s+t)({\varepsilon}_1 + {\varepsilon}_2)$$ is a momentum map for the symplectic form $t\omega_M$ on $M$. The momentum polytope of the multiplicity free ${\mathrm{U}}(2)$-manifold $(M,\mu_M^{s,t})$ is the triangle $$s(\varepsilon_1+\varepsilon_2) + t\cdot\operatorname{conv}(0,\alpha, j\alpha+\varepsilon_1)$$ of case (\[triangles\_halfright\_1\]) in \[prop:triangles\] (-2,-2) grid (2,2); (0,0) – (1,-1) – (1,0) – (0,0); (-2,-2)–(2,2); at (1,-1)\[circle,fill,inner sep=2pt\]; at (1,0)\[circle,fill,inner sep=2pt\]; at (0,0)\[circle,fill,inner sep=2pt\]; (-2,-2) grid (3,2); (0,0) – (1,-1) – (2,-1) – (0,0); (-2,-2)–(2,2); at (1,-1)\[circle,fill,inner sep=2pt\]; at (2,-1)\[circle,fill,inner sep=2pt\]; at (0,0)\[circle,fill,inner sep=2pt\]; (-1,-4) grid (5,1); (0,0) – (1,-1) – (4,-3) – (0,0); (-1,-1)–(1,1); at (1,-1)\[circle,fill,inner sep=2pt\]; at (4,-3)\[circle,fill,inner sep=2pt\]; at (0,0)\[circle,fill,inner sep=2pt\]; Part (\[prop:mfd\_triangles\_halfright\_1\_item\_U2\]) is just an application of \[prop:hfb\_comparison\]. We proceed to assertion (\[prop:mfd\_triangles\_halfright\_1\_item1\]). The assertion about $\iota_M$ follows from the fact that ${\mathbb C}_{-j(\varepsilon_1 - \varepsilon_2)} \to V: z \mapsto z\mathsf{v}$ is a $B^{-}$-equivariant injective linear map. The claim about $\iota_Y$ is a standard fact; see, e.g., @timashev-embbook [Lemma 2.3]. The assertion in (\[prop:mfd\_triangles\_halfright\_1\_item2\]) that $(M,{\omega}_M, \mu_M)$ is a Hamiltonian ${\mathrm{U}}(2)$-manifold follows from standard and well-known facts about Hamiltonian actions. Furthermore, a straightorward computation shows that the isotropy group ${\mathrm{U}}(2)_x$ of (for example) $x = [e,[1:1:1]] \in M$ is trivial, which implies that the principal istropy group is trivial as well. It now follows from \[eq:dim\_mf\] and from the fact that $M$ is compact and connected, that $M$ is a multiplicity free. To prove (\[prop:mfd\_triangles\_halfright\_1\_item3\]) we will use \[ex:mupv\]. A straightforward calculation shows that the listed points are the six $T$-fixpoints in $M$. It follows that their images under $\mu_M$ lie in ${\mathfrak{t}}^* \cong ({\mathfrak{k}}^*)^T$. Let $\xi \in {\mathfrak{t}}$. We begin by computing $\mu_M(x_1)(\xi)$. First off, $$\iota_Y \circ \iota_M (x_1) = ([e_2], [e_1 \oplus 0]).$$ Since $e_2$ has weight ${\varepsilon}_2$ and $e_1$ has weight ${\varepsilon}_1$, we have $\xi \cdot e_2 = 2\pi\sqrt{-1}{\varepsilon}_2(\xi)e_2$ and $\xi\cdot (e_1 \oplus 0) = 2\pi\sqrt{-1}{\varepsilon}_1(\xi)(e_1 \oplus 0)$ which implies that $$\mu_1([e_2])(\xi) = -{\varepsilon}_2(\xi) \text{ and }\mu_2([e_1 \oplus 0])(\xi) = -{\varepsilon}_1(\xi).$$ The claimed equality $\mu_M (x_1) = -{\varepsilon}_1-{\varepsilon}_2$ follows. Similar elementary computations yield the images of $x_2$ through $x_6$ under $\mu_M$, using $$\begin{aligned} & \iota_Y \circ \iota_M(x_2) = ([e_1],[e_2\oplus 0]),\ \iota_Y \circ \iota_M(x_3) = ([e_2],[e_2\oplus 0]),\ \iota_Y \circ \iota_M(x_4) = ([e_1],[e_1\oplus 0]), \\ & \iota_Y \circ \iota_M(x_5) = ([e_2],[0\oplus {\mathsf{v}}]),\ \iota_Y \circ \iota_M(x_6) = ([e_1],[0\oplus n {\mathsf{v}}]) \end{aligned}$$ and $$\xi \cdot {\mathsf{v}}= 2\pi\sqrt{-1}(-j\alpha)(\xi){\mathsf{v}},\ \xi \cdot n{\mathsf{v}}= 2\pi\sqrt{-1}(j\alpha)(\xi)n{\mathsf{v}},$$ which hold because ${\mathsf{v}}$ has weight $-j\alpha$ and $n{\mathsf{v}}$ has weight $j\alpha$. We turn to (\[prop:mfd\_triangles\_halfright\_1\_item4\]). Since $$\mathsf{u}:= \mu_M(x_3)=-2{\varepsilon}_2 \text{ and } \mathsf{w}:= \mu_M(x_5) = j\alpha - {\varepsilon}_2$$ are the only weights in that belong to the interior of ${\mathfrak{t}}_+$,
{'source': 'arXiv_out/2208'}