Skip to main content
TeX and proofreading; deleted "no idea"
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Let M$\DeclareMathOperator\SU{SU}$Let $M$ be a coadjoint orbit of dimension 6 of $SU(3)$$\SU(3)$, and let T$T$ be the maximal torus in $SU(3)$$\SU(3)$. If we denote $\mu : M \longrightarrow \mathbb{R}^2$ the moment map associated to the action of T$T$ on M$M$, then the image of the moment map is a hexagon with vertices A$A$, B$B$, C$C$, D$D$, E$E$, F are image$F$ the images of the elements $M^T$ by $\mu $.   

enter image description herehexagon with vertices labelled A, B, C, D, E, F For

For $P \subset \mathfrak{t}^*$ an affine space with vectorielvectorial direction $\overrightarrow{P}$, let $P^\perp := \lbrace \xi \in \mathfrak{t}, \langle y, \xi \rangle =0, \forall y \in {(\overrightarrow{P})}^\perp\rbrace $$P^\perp \mathrel{:=} \lbrace \xi \in \mathfrak{t} \mathrel| \langle y, \xi \rangle =0, \forall y \in {(\overrightarrow{P})}^\perp\rbrace $, and let $T_P$ be the sub-torus generated by $Exp(P^\perp)$$\operatorname{Exp}(P^\perp)$.

If $\Sigma := \lbrace$ P convex polytope in $\mathfrak{t}^* |\exists Z $ connected component of $M^{T_P}$ s.t $ \mu (Z)= P\rbrace $$\Sigma \mathrel{:=} \lbrace \text{$P$ convex polytope in $\mathfrak{t}^*$} \mathrel| \exists \text{$Z$ connected component of $M^{T_P}$ s.t $ \mu (Z)= P$}\rbrace$, how can I prove that $\Sigma = \lbrace $ faces of $ \mu (M)\rbrace \cup\lbrace [AD],[BE], [FC]\rbrace ? $

I have no idea how to deal with this, your help would be greatly appreciated!$\Sigma = \lbrace\text{faces of $ \mu (M)$}\rbrace \cup\lbrace [AD],[BE], [FC]\rbrace$?

Let M be a coadjoint orbit of dimension 6 of $SU(3)$, and let T be the maximal torus in $SU(3)$. If we denote $\mu : M \longrightarrow \mathbb{R}^2$ the moment map associated to the action of T on M, then the image of the moment map is a hexagon with vertices A, B, C, D, E, F are image of $M^T$ by $\mu $.  enter image description here For $P \subset \mathfrak{t}^*$ an affine space with vectoriel direction $\overrightarrow{P}$, let $P^\perp := \lbrace \xi \in \mathfrak{t}, \langle y, \xi \rangle =0, \forall y \in {(\overrightarrow{P})}^\perp\rbrace $, and let $T_P$ be the sub-torus generated by $Exp(P^\perp)$.

If $\Sigma := \lbrace$ P convex polytope in $\mathfrak{t}^* |\exists Z $ connected component of $M^{T_P}$ s.t $ \mu (Z)= P\rbrace $, how can I prove that $\Sigma = \lbrace $ faces of $ \mu (M)\rbrace \cup\lbrace [AD],[BE], [FC]\rbrace ? $

I have no idea how to deal with this, your help would be greatly appreciated!

$\DeclareMathOperator\SU{SU}$Let $M$ be a coadjoint orbit of dimension 6 of $\SU(3)$, and let $T$ be the maximal torus in $\SU(3)$. If we denote $\mu : M \longrightarrow \mathbb{R}^2$ the moment map associated to the action of $T$ on $M$, then the image of the moment map is a hexagon with vertices $A$, $B$, $C$, $D$, $E$, $F$ the images of the elements $M^T$ by $\mu $. 

hexagon with vertices labelled A, B, C, D, E, F

For $P \subset \mathfrak{t}^*$ an affine space with vectorial direction $\overrightarrow{P}$, let $P^\perp \mathrel{:=} \lbrace \xi \in \mathfrak{t} \mathrel| \langle y, \xi \rangle =0, \forall y \in {(\overrightarrow{P})}^\perp\rbrace $, and let $T_P$ be the sub-torus generated by $\operatorname{Exp}(P^\perp)$.

If $\Sigma \mathrel{:=} \lbrace \text{$P$ convex polytope in $\mathfrak{t}^*$} \mathrel| \exists \text{$Z$ connected component of $M^{T_P}$ s.t $ \mu (Z)= P$}\rbrace$, how can I prove that $\Sigma = \lbrace\text{faces of $ \mu (M)$}\rbrace \cup\lbrace [AD],[BE], [FC]\rbrace$?

edited body
Source Link
Maria
  • 133
  • 5

Let M be a coadjoint orbit of dimension 6 of $SU(3)$, and let T be the maximal torus in $SU(3)$. If we denote $\mu : M \longrightarrow \mathbb{R}^2$ the moment map associated to the action of T on M, then the image of the moment map is a hexagon with vertices A, B, C, D, E, F are image of $M^T$ by $\mu $. enter image description here For $P \subset \mathfrak{t}^*$ an affine space with vectoriel direction $\overrightarrow{P}$, let $P^\perp := \lbrace \xi \in \mathfrak{t}, \langle y, \xi \rangle =0, \forall y \in {(\overrightarrow{P})}^\perp\rbrace $, and let $T_p$$T_P$ be the sub-torus generated by $Exp(P^\perp)$.

If $\Sigma := \lbrace$ P convex polytope in $\mathfrak{t}^* |\exists Z $ connected component of $M^{T_p}$$M^{T_P}$ s.t $ \mu (Z)= P\rbrace $, how can I prove that $\Sigma = \lbrace $ faces of $ \mu (M)\rbrace \cup\lbrace [AD],[BE], [FC]\rbrace ? $

I have no idea how to deal with this, your help would be greatly appreciated!

Let M be a coadjoint orbit of dimension 6 of $SU(3)$, and let T be the maximal torus in $SU(3)$. If we denote $\mu : M \longrightarrow \mathbb{R}^2$ the moment map associated to the action of T on M, then the image of the moment map is a hexagon with vertices A, B, C, D, E, F are image of $M^T$ by $\mu $. enter image description here For $P \subset \mathfrak{t}^*$ an affine space with vectoriel direction $\overrightarrow{P}$, let $P^\perp := \lbrace \xi \in \mathfrak{t}, \langle y, \xi \rangle =0, \forall y \in {(\overrightarrow{P})}^\perp\rbrace $, and let $T_p$ be the sub-torus generated by $Exp(P^\perp)$.

If $\Sigma := \lbrace$ P convex polytope in $\mathfrak{t}^* |\exists Z $ connected component of $M^{T_p}$ s.t $ \mu (Z)= P\rbrace $, how can I prove $\Sigma = \lbrace $ faces of $ \mu (M)\rbrace \cup\lbrace [AD],[BE], [FC]\rbrace ? $

I have no idea how to deal with this, your help would be greatly appreciated!

Let M be a coadjoint orbit of dimension 6 of $SU(3)$, and let T be the maximal torus in $SU(3)$. If we denote $\mu : M \longrightarrow \mathbb{R}^2$ the moment map associated to the action of T on M, then the image of the moment map is a hexagon with vertices A, B, C, D, E, F are image of $M^T$ by $\mu $. enter image description here For $P \subset \mathfrak{t}^*$ an affine space with vectoriel direction $\overrightarrow{P}$, let $P^\perp := \lbrace \xi \in \mathfrak{t}, \langle y, \xi \rangle =0, \forall y \in {(\overrightarrow{P})}^\perp\rbrace $, and let $T_P$ be the sub-torus generated by $Exp(P^\perp)$.

If $\Sigma := \lbrace$ P convex polytope in $\mathfrak{t}^* |\exists Z $ connected component of $M^{T_P}$ s.t $ \mu (Z)= P\rbrace $, how can I prove that $\Sigma = \lbrace $ faces of $ \mu (M)\rbrace \cup\lbrace [AD],[BE], [FC]\rbrace ? $

I have no idea how to deal with this, your help would be greatly appreciated!

Source Link
Maria
  • 133
  • 5

An example in symplectic geometry

Let M be a coadjoint orbit of dimension 6 of $SU(3)$, and let T be the maximal torus in $SU(3)$. If we denote $\mu : M \longrightarrow \mathbb{R}^2$ the moment map associated to the action of T on M, then the image of the moment map is a hexagon with vertices A, B, C, D, E, F are image of $M^T$ by $\mu $. enter image description here For $P \subset \mathfrak{t}^*$ an affine space with vectoriel direction $\overrightarrow{P}$, let $P^\perp := \lbrace \xi \in \mathfrak{t}, \langle y, \xi \rangle =0, \forall y \in {(\overrightarrow{P})}^\perp\rbrace $, and let $T_p$ be the sub-torus generated by $Exp(P^\perp)$.

If $\Sigma := \lbrace$ P convex polytope in $\mathfrak{t}^* |\exists Z $ connected component of $M^{T_p}$ s.t $ \mu (Z)= P\rbrace $, how can I prove $\Sigma = \lbrace $ faces of $ \mu (M)\rbrace \cup\lbrace [AD],[BE], [FC]\rbrace ? $

I have no idea how to deal with this, your help would be greatly appreciated!