English

On momentum images of representations and secant varieties

Representation Theory 2015-04-29 v2 Symplectic Geometry

Abstract

Let KK be a connected compact semisimple group and VλV_\lambda be an irreducible unitary representation with highest weight λ\lambda. We study the momentum map μ:P(Vλ)k\mu:\mathbb P(V_\lambda)\to\mathfrak k^*. The intersection μ(P(Vλ))+=μ(P(Vλ))t+\mu(\mathbb P(V_\lambda))^+=\mu(\mathbb P(V_\lambda))\cap{\mathfrak t}^+ of the momentum image with a fixed Weyl chamber is a convex polytope called the momentum polytope of VλV_\lambda. We construct an affine rational polyhedral convex cone Υλ\Upsilon_\lambda with vertex λ\lambda, such that μ(P(Vλ))+Υλt+\mu(\mathbb P(V_\lambda))^+\subset\Upsilon_\lambda \cap {\mathfrak t}^+. We show that equality holds for a class of representations, including those with regular highest weight. For those cases, we obtain a complete combinatorial description of the momentum polytope, in terms of λ\lambda. We also present some results on the critical points of μ2||\mu||^2. Namely, we consider the existence problem for critical points in the preimages of Kirwan's candidates for critical values. Also, we consider the secant varieties to the unique complex orbit XP(Vλ)\mathbb X\subset\mathbb P(V_\lambda), and prove a relation between the momentum images of the secant varieties and the degrees of KK-invariant polynomials on VλV_\lambda.

Keywords

Cite

@article{arxiv.1504.01110,
  title  = {On momentum images of representations and secant varieties},
  author = {Elitza Hristova and Tomasz Maciazek and Valdemar V. Tsanov},
  journal= {arXiv preprint arXiv:1504.01110},
  year   = {2015}
}

Comments

24 pages. Revised version. A technical mistake in the main construction is corrected. As a result, the proof of one of the main theorems is shorter, and we have new convexity results