# American Institute of Mathematical Sciences

December  2019, 11(4): 575-599. doi: 10.3934/jgm.2019029

## Non-Abelian momentum polytopes for products of $\mathbb{CP}^2$

 Dept of Mathematics, University of Manchester, Manchester M13 9PL, UK

* Corresponding author

Dedicated to Darryl Holm on the occasion of his 70th birthday

Received  May 2018 Revised  June 2019 Published  November 2019

This is the first of two companion papers. The joint aim is to study a generalization to higher dimension of the familiar point vortex systems in 2 dimensions. In this paper we classify the momentum polytopes for the action of the Lie group SU(3) on products of copies of complex projective 2-space (a real 4-dimensional manifold). For 2 copies, the momentum polytope is simply a line segment, which can sit in the positive Weyl chamber in a small number of ways. For a product of 3 copies there are 8 different types of generic momentum polytope, and numerous transition polytopes, all of which are classified here. The type of polytope depends on the weights of the symplectic form on each copy of projective space. In the second paper we use techniques of symplectic reduction to study the possible dynamics of interacting generalized point vortices.

The results of this paper can be applied to determine the inequalities satisfied by the eigenvalues of the sum of up to three 3x3 Hermitian matrices where each has a double eigenvalue.

Citation: James Montaldi, Amna Shaddad. Non-Abelian momentum polytopes for products of $\mathbb{CP}^2$. Journal of Geometric Mechanics, 2019, 11 (4) : 575-599. doi: 10.3934/jgm.2019029
##### References:
 [1] M. F. Atiyah, Convexity and commuting Hamiltonians, Bull. London Math. Soc., 14 (1982), 1-15.  doi: 10.1112/blms/14.1.1.  Google Scholar [2] L. Bedulli and A. Gori, On deformations of Hamiltonian actions, Arch. Math., 88 (2007), 468-480.  doi: 10.1007/s00013-006-1944-y.  Google Scholar [3] V. Guillemin and S. Sternberg, Convexity properties of the moment mapping, Invent. Math., 67 (1982), 491-513.  doi: 10.1007/BF01398933.  Google Scholar [4] V. Guillemin and S. Sternberg, Symplectic Techniques in Physics, Cambridge University Press, Cambridge, 1984.   Google Scholar [5] A. Horn, Doubly stochastic matrices and the diagonal of a rotation matrix, Amer. J. Math., 76 (1954), 620-630.  doi: 10.2307/2372705.  Google Scholar [6] F. C. Kirwan, Convexity properties of the moment mapping. Ⅲ, Invent. Math., 77 (1984), 547-552.  doi: 10.1007/BF01388838.  Google Scholar [7] A. Knutson, The symplectic and algebraic geometry of Horn's problem, Linear Alg. Appl., 319 (2000), 61-81.  doi: 10.1016/S0024-3795(00)00220-2.  Google Scholar [8] B. Kostant, On convexity, the Weyl group and the Iwasawa decomposition, Ann. Sci. Ecole Norm. Sup., S'erie 4, 6 (1974), 413-455.   Google Scholar [9] J. Montaldi and M. Roberts, Stratification of the momentum map, in preparation. Google Scholar [10] J. Montaldi and A. Shaddad, Generalized point vortex dynamics on $\mathbb{CP}^2$, J. Geom. Mechanics, (2019) (this volume). Google Scholar [11] J. Montaldi and T. Tokieda, Openness of momentum maps and persistence of extremal relative equilibria, Topology, 42 (2003), 833-844.  doi: 10.1016/S0040-9383(02)00047-2.  Google Scholar [12] J.-P. Ortega and T. S. Ratiu, Momentum Maps and Hamiltonian Reduction, Progress in Mathematics, 222. Birkhäuser Boston, Inc., Boston, MA, 2004. doi: 10.1007/978-1-4757-3811-7.  Google Scholar [13] I. Schur, Über eine klasse von mittelbildungen mit anwendungen auf der determinantentheorie (On a class of averaging with application to the theory of determinants), Sitzunsberichte der Berliner Mathematischen Gesellschaft, 22 (1923), 9-20.   Google Scholar [14] A. Shaddad, The Classification and Dynamics of the Momentum Polytopes of the SU(3) Action on Points in the Complex Projective Plane with an Application to Point Vortices, Ph.D. thesis, University of Manchester, 2018. Google Scholar [15] R. Sjamaar, Convexity properties of the moment mapping re-examined, Advances in Math., 138 (1998), 46-91.  doi: 10.1006/aima.1998.1739.  Google Scholar

show all references

##### References:
 [1] M. F. Atiyah, Convexity and commuting Hamiltonians, Bull. London Math. Soc., 14 (1982), 1-15.  doi: 10.1112/blms/14.1.1.  Google Scholar [2] L. Bedulli and A. Gori, On deformations of Hamiltonian actions, Arch. Math., 88 (2007), 468-480.  doi: 10.1007/s00013-006-1944-y.  Google Scholar [3] V. Guillemin and S. Sternberg, Convexity properties of the moment mapping, Invent. Math., 67 (1982), 491-513.  doi: 10.1007/BF01398933.  Google Scholar [4] V. Guillemin and S. Sternberg, Symplectic Techniques in Physics, Cambridge University Press, Cambridge, 1984.   Google Scholar [5] A. Horn, Doubly stochastic matrices and the diagonal of a rotation matrix, Amer. J. Math., 76 (1954), 620-630.  doi: 10.2307/2372705.  Google Scholar [6] F. C. Kirwan, Convexity properties of the moment mapping. Ⅲ, Invent. Math., 77 (1984), 547-552.  doi: 10.1007/BF01388838.  Google Scholar [7] A. Knutson, The symplectic and algebraic geometry of Horn's problem, Linear Alg. Appl., 319 (2000), 61-81.  doi: 10.1016/S0024-3795(00)00220-2.  Google Scholar [8] B. Kostant, On convexity, the Weyl group and the Iwasawa decomposition, Ann. Sci. Ecole Norm. Sup., S'erie 4, 6 (1974), 413-455.   Google Scholar [9] J. Montaldi and M. Roberts, Stratification of the momentum map, in preparation. Google Scholar [10] J. Montaldi and A. Shaddad, Generalized point vortex dynamics on $\mathbb{CP}^2$, J. Geom. Mechanics, (2019) (this volume). Google Scholar [11] J. Montaldi and T. Tokieda, Openness of momentum maps and persistence of extremal relative equilibria, Topology, 42 (2003), 833-844.  doi: 10.1016/S0040-9383(02)00047-2.  Google Scholar [12] J.-P. Ortega and T. S. Ratiu, Momentum Maps and Hamiltonian Reduction, Progress in Mathematics, 222. Birkhäuser Boston, Inc., Boston, MA, 2004. doi: 10.1007/978-1-4757-3811-7.  Google Scholar [13] I. Schur, Über eine klasse von mittelbildungen mit anwendungen auf der determinantentheorie (On a class of averaging with application to the theory of determinants), Sitzunsberichte der Berliner Mathematischen Gesellschaft, 22 (1923), 9-20.   Google Scholar [14] A. Shaddad, The Classification and Dynamics of the Momentum Polytopes of the SU(3) Action on Points in the Complex Projective Plane with an Application to Point Vortices, Ph.D. thesis, University of Manchester, 2018. Google Scholar [15] R. Sjamaar, Convexity properties of the moment mapping re-examined, Advances in Math., 138 (1998), 46-91.  doi: 10.1006/aima.1998.1739.  Google Scholar
The transition polytopes with repeated weights around region A
On the left the roots for SU(3) and the area shaded in pink is the positive Weyl chamber $\mathfrak{t}^*_+$. The $\pm\alpha_i$ are the roots. On the right are shown two orbits of the Weyl group, the black dots show a generic orbit, the blue ones a degenerate orbit
This shows the plane parametrized by three real numbers $\lambda_1, \lambda_2, \lambda_3$ which sum to zero. The orientation is such that $\lambda_1$ increases to the top of the diagram. Transpositions of the three numbers correspond to reflections in the blue lines. The pink region is where $\lambda_1\geq\lambda_2\geq\lambda_3$. These numbers will be the eigenvalues of a trace zero Hermitian matrix. (Cf. the roots shown in Figure 1)
The four generic polytopes for the action of $SU(3)$ on $\mathbb{CP}^2\times\mathbb{CP}^2$. In each case $a$ represents the image of points of the form $(u, u)$, and $c$ of points of the form $(u, u^\perp)$. Notice that all these poytope-segments are parallel to one of the roots (equivalently, orthogonal to one of the walls of the Weyl chamber). Notice that figures (a) and (d) are related by the involution $*$ of Remark 2, as are figures (b) and (c)
The three transitional polytopes for the action of $SU(3)$ on $\mathbb{CP}^2\times\mathbb{CP}^2$. See the caption of Figure 3 for explanations of notation, and Remark 5 for discussion. Note that the involution $*$ exchanges figures (e) and (g) and leaves (f) unchanged
The generic momentum polytopes: refer to Fig. 5 for the notation
This shows the parameter plane $\Gamma_1+\Gamma_2+\Gamma_3=\text{const}$ with const${}>0$. Within the central black triangle all 3 weights are positive. The value of $\Gamma_2$ is constant on horizontal lines and increases vertically upwards; variations of the other variables can be deduced from this. The blue lines indicate where the polytope type changes, see Table 1. The sector between the red lines is where $\Gamma_1\geq\Gamma_2\geq\Gamma_3$. The generic polytope types are labelled $A, B, \dots, H$, and illustrated in Fig. 6, and the respective transitions are labelled AB, CE etc., see Fig. 9
This shows the labels of all 20 transition polytopes with $\Gamma_j\neq0$. Compare with Fig. 5. The transitions denoted D$_0$, DD$_0$, G$_0$ and GG$_0$ arise 'at infinity' in this diagram, and refer to points with $\Gamma_1+\Gamma_2+\Gamma_3=0$; the polytopes are illustrated in Figure 11. The transition between D$_0$ and G$_0$ occurs when $\Gamma_2=\Gamma_1+\Gamma_3=0$.
This shows the transition B $\to$ AB $\to$ A, involving vertex $c_1$ moving to the boundary of the Weyl chamber and getting reflected back but leaving an edge 'stuck' to the boundary. See text for further explanation
Polytopes arising for $\Gamma_1+\Gamma_2+\Gamma_3=0$, which implies $a=0$. Notice that D$_0$ and G$_0$ are related by a reflection in the centre line of the Weyl chamber; this is because reversing the signs of the $\Gamma_j$ converts region G$_0$ to D$_0$, via the involution $*$ described in Remark 2. A similar observation relates the polytopes for DD$_0$ and GG$_0$ (the latter not drawn). See Figure 9 for the regions in parameter space
The remaining transition polytopes-see Fig. 9 for notation
Examples showing weights at the fixed points
Three possibilites for the lower part of polytope G compatible with local information at vertices $b, c_1, c_2, c_3$-version (a) is the correct one as shown by considering the local momentum cone at $g$
Transition values of $\Gamma_j$ ; similar transitions occur permuting the indices. '$x\in\text{Wall}$' means that the point $x$ belongs to a wall of the Weyl chamber. See Figure 5; further details are shown in Section 4.2 and Figures 9-13
 condition degeneracy $\Gamma_1=0$ $a=c_1, \; b=c_2=c_3$ $\Gamma_1=\Gamma_2$ $b\in \text{Wall}, \;c_2=c_3$ $\Gamma_1+\Gamma_2=0$ $a=c_3\, (\in \text{Wall})$ $\Gamma_1=\Gamma_2+\Gamma_3$ $c_1\in \text{Wall}$ $\Gamma_1+\Gamma_2+\Gamma_3=0$ $a=0$
 condition degeneracy $\Gamma_1=0$ $a=c_1, \; b=c_2=c_3$ $\Gamma_1=\Gamma_2$ $b\in \text{Wall}, \;c_2=c_3$ $\Gamma_1+\Gamma_2=0$ $a=c_3\, (\in \text{Wall})$ $\Gamma_1=\Gamma_2+\Gamma_3$ $c_1\in \text{Wall}$ $\Gamma_1+\Gamma_2+\Gamma_3=0$ $a=0$
 [1] Fiammetta Battaglia and Elisa Prato. Nonrational, nonsimple convex polytopes in symplectic geometry. Electronic Research Announcements, 2002, 8: 29-34. [2] Daniel Fusca. The Madelung transform as a momentum map. Journal of Geometric Mechanics, 2017, 9 (2) : 157-165. doi: 10.3934/jgm.2017006 [3] Stephen Baigent. Convex geometry of the carrying simplex for the May-Leonard map. Discrete & Continuous Dynamical Systems - B, 2019, 24 (4) : 1697-1723. doi: 10.3934/dcdsb.2018288 [4] Joshua Cape, Hans-Christian Herbig, Christopher Seaton. Symplectic reduction at zero angular momentum. Journal of Geometric Mechanics, 2016, 8 (1) : 13-34. doi: 10.3934/jgm.2016.8.13 [5] Carlos Durán, Diego Otero. The projective symplectic geometry of higher order variational problems: Minimality conditions. Journal of Geometric Mechanics, 2016, 8 (3) : 305-322. doi: 10.3934/jgm.2016009 [6] Marie-Claude Arnaud. A nondifferentiable essential irrational invariant curve for a $C^1$ symplectic twist map. Journal of Modern Dynamics, 2011, 5 (3) : 583-591. doi: 10.3934/jmd.2011.5.583 [7] Laura Caravenna. Regularity estimates for continuous solutions of α-convex balance laws. Communications on Pure & Applied Analysis, 2017, 16 (2) : 629-644. doi: 10.3934/cpaa.2017031 [8] Mourad Bellassoued, David Dos Santos Ferreira. Stability estimates for the anisotropic wave equation from the Dirichlet-to-Neumann map. Inverse Problems & Imaging, 2011, 5 (4) : 745-773. doi: 10.3934/ipi.2011.5.745 [9] Sun-Yung Alice Chang, Xi-Nan Ma, Paul Yang. Principal curvature estimates for the convex level sets of semilinear elliptic equations. Discrete & Continuous Dynamical Systems - A, 2010, 28 (3) : 1151-1164. doi: 10.3934/dcds.2010.28.1151 [10] Dorina Mitrea, Irina Mitrea, Marius Mitrea, Lixin Yan. Coercive energy estimates for differential forms in semi-convex domains. Communications on Pure & Applied Analysis, 2010, 9 (4) : 987-1010. doi: 10.3934/cpaa.2010.9.987 [11] Alain Chenciner. The angular momentum of a relative equilibrium. Discrete & Continuous Dynamical Systems - A, 2013, 33 (3) : 1033-1047. doi: 10.3934/dcds.2013.33.1033 [12] Venkateswaran P. Krishnan, Ramesh Manna, Suman Kumar Sahoo, Vladimir A. Sharafutdinov. Momentum ray transforms. Inverse Problems & Imaging, 2019, 13 (3) : 679-701. doi: 10.3934/ipi.2019031 [13] Qingsong Gu, Jiaxin Hu, Sze-Man Ngai. Geometry of self-similar measures on intervals with overlaps and applications to sub-Gaussian heat kernel estimates. Communications on Pure & Applied Analysis, 2020, 19 (2) : 641-676. doi: 10.3934/cpaa.2020030 [14] Pavel Galashin, Vladimir Zolotov. Extensions of isometric embeddings of pseudo-Euclidean metric polyhedra. Electronic Research Announcements, 2016, 23: 1-7. doi: 10.3934/era.2016.23.001 [15] Alfonso Castro, Rosa Pardo. A priori estimates for positive solutions to subcritical elliptic problems in a class of non-convex regions. Discrete & Continuous Dynamical Systems - B, 2017, 22 (3) : 783-790. doi: 10.3934/dcdsb.2017038 [16] Claudio Meneses. Linear phase space deformations with angular momentum symmetry. Journal of Geometric Mechanics, 2019, 11 (1) : 45-58. doi: 10.3934/jgm.2019003 [17] Cesare Tronci. Momentum maps for mixed states in quantum and classical mechanics. Journal of Geometric Mechanics, 2019, 11 (4) : 639-656. doi: 10.3934/jgm.2019032 [18] Yaoping Chen, Jianqing Chen. Existence of multiple positive weak solutions and estimates for extremal values for a class of concave-convex elliptic problems with an inverse-square potential. Communications on Pure & Applied Analysis, 2017, 16 (5) : 1531-1552. doi: 10.3934/cpaa.2017073 [19] Santiago Cañez. Double groupoids and the symplectic category. Journal of Geometric Mechanics, 2018, 10 (2) : 217-250. doi: 10.3934/jgm.2018009 [20] Chungen Liu, Qi Wang. Symmetrical symplectic capacity with applications. Discrete & Continuous Dynamical Systems - A, 2012, 32 (6) : 2253-2270. doi: 10.3934/dcds.2012.32.2253

2018 Impact Factor: 0.525