The honeycomb model of \(\text{GL}_n(\mathbb C)\) tensor products. I: Proof of the saturation conjecture.

*(English)*Zbl 0944.05097This is a remarkable paper which is devoted to the final solution of the following old and fundamental combinatorial problem: For given dominant weights \(\lambda,\mu,\nu\) and the corresponding irreducible \(\text{GL} _n({\mathbb{C}})\)-modules \(V_{\lambda},V_{\mu},V_{\nu}\), does the tensor product \(V_{\lambda}\otimes V_{\mu}\otimes V_{\nu}\) contain a \(\text{GL} _n({\mathbb{C}})\)-invariant vector? Without essential lost of generality, replacing \(\nu\) with its dual \(\nu^{\ast}\), another standard formulation of the problem is for which polynomial modules \(V_{\lambda},V_{\mu},V_{\nu^{\ast}}\) is the coefficient \(c_{\lambda,\mu}^{\nu^{\ast}}\) in the Littlewood-Richardson rule \(V_{\lambda}\otimes V_{\mu}\cong \sum c_{\lambda,\mu}^{\nu^{\ast}}V_{\nu^{\ast}}\) is different from 0? The answer to the problem under consideration is known asymptotically. A. A. Klyachko [Sel. Math., New Ser. 4, No. 3, 419–445 (1998; Zbl 0915.14010)] gave a finite set of linear inequalities derived from the Schubert calculus and \(\lambda,\mu,\nu\) satisfying this system if and only if there exists a positive integer \(N\) such that \(V_{N\lambda}\otimes V_{N\mu}\otimes V_{N\nu}\) contains a \(\text{GL} _n({\mathbb{C}})\)-invariant vector. Since the set of triples \((\lambda,\mu,\nu)\) corresponding to a \(\text{GL} _n({\mathbb{C}})\)-invariant vector form an additive monoid, the complete solution of the problem for the description of such triples depends on the saturation of the monoid and this is the main result of the paper under review: If \((V_{N\lambda}\otimes V_{N\mu}\otimes V_{N\nu}) ^{\text{GL} _n({\mathbb{C}})}>0\) for some \(N>0\), then \((V_{\lambda}\otimes V_{\mu}\otimes V_{\nu}) ^{\text{GL} _n({\mathbb{C}})}>0\). The main tool for the proof is the Berenstein-Zelevinsky polytope associated to the triple \((\lambda,\mu,\nu)\) in which the number of lattice points is the corresponding Littlewood-Richardson coefficient. The authors give a new description using their honeycomb model.

As an immediate consequence the authors obtain an affirmative answer to the Horn conjecture from 1962 which gives a recursive system of inequalities reducing the problem to lower-dimensional Littlewood-Richardson questions. The considered problem is also related to many other classical problems. It turns out that they all have the same answer and are consequences of the result by Klyachko and the saturation conjecture. In particular, the authors give a new proof of the Parthasarathy-Ranga Rao-Varadarajan conjecture for \(\text{GL} _n({\mathbb{C}})\) which states that if \(w\lambda+v\nu\) is in the positive Weyl chamber, then \(V_{w\lambda+v\nu}\) is a constituent of \(V_{\lambda}\otimes V_{\nu}\) (and is known to be true for all Lie groups). Another application is to Hermitian matrices solving a problem with more than 100 years of history: If \(\lambda,\mu,\nu\) are sequences of \(n\) descending real numbers, do there exist Hermitian matrices \(A\) and \(B\) with eigenvalues \(\lambda\) and \(\mu\), respectively, such that \(A+B\) has eigenvalue \(\nu\)?

As an immediate consequence the authors obtain an affirmative answer to the Horn conjecture from 1962 which gives a recursive system of inequalities reducing the problem to lower-dimensional Littlewood-Richardson questions. The considered problem is also related to many other classical problems. It turns out that they all have the same answer and are consequences of the result by Klyachko and the saturation conjecture. In particular, the authors give a new proof of the Parthasarathy-Ranga Rao-Varadarajan conjecture for \(\text{GL} _n({\mathbb{C}})\) which states that if \(w\lambda+v\nu\) is in the positive Weyl chamber, then \(V_{w\lambda+v\nu}\) is a constituent of \(V_{\lambda}\otimes V_{\nu}\) (and is known to be true for all Lie groups). Another application is to Hermitian matrices solving a problem with more than 100 years of history: If \(\lambda,\mu,\nu\) are sequences of \(n\) descending real numbers, do there exist Hermitian matrices \(A\) and \(B\) with eigenvalues \(\lambda\) and \(\mu\), respectively, such that \(A+B\) has eigenvalue \(\nu\)?

Reviewer: Vesselin Drensky (Sofia)

##### MSC:

05E05 | Symmetric functions and generalizations |

20G05 | Representation theory for linear algebraic groups |

15A42 | Inequalities involving eigenvalues and eigenvectors |

05E15 | Combinatorial aspects of groups and algebras (MSC2010) |

22E46 | Semisimple Lie groups and their representations |

05E10 | Combinatorial aspects of representation theory |

14M15 | Grassmannians, Schubert varieties, flag manifolds |

52B20 | Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) |

##### Keywords:

honeycombs; symmetric functions; Littlewood-Richardson rule; Berenstein-Zelevinsky patterns; Horn’s conjecture; saturation; Klyachko inequalities; Weyl chamber; Hermitian matrices##### References:

[1] | A. Buch, The saturation conjecture (after A. Knutson and T. Tao), notes from a talk at Berkeley, September 1998. |

[2] | Louis J. Billera and Bernd Sturmfels, Fiber polytopes, Ann. of Math. (2) 135 (1992), no. 3, 527 – 549. · Zbl 0762.52003 · doi:10.2307/2946575 · doi.org |

[3] | A. D. Berenstein and A. V. Zelevinsky, Triple multiplicities for \?\?(\?+1) and the spectrum of the exterior algebra of the adjoint representation, J. Algebraic Combin. 1 (1992), no. 1, 7 – 22. · Zbl 0799.17005 · doi:10.1023/A:1022429213282 · doi.org |

[4] | A. G. Èlashvili, Invariant algebras, Lie groups, their discrete subgroups, and invariant theory, Adv. Soviet Math., vol. 8, Amer. Math. Soc., Providence, RI, 1992, pp. 57 – 64. · Zbl 0805.17006 |

[5] | W. Fulton, Eigenvalues of sums of Hermitian matrices (after A. Klyachko), Séminaire Bourbaki (1998). · Zbl 0929.15006 |

[6] | William Fulton and Joe Harris, Representation theory, Graduate Texts in Mathematics, vol. 129, Springer-Verlag, New York, 1991. A first course; Readings in Mathematics. · Zbl 0744.22001 |

[7] | O. Gleizer, A. Postnikov, Littlewood-Richardson coefficients via Yang-Baxter equation, in preparation. · Zbl 0987.20023 |

[8] | V. Guillemin, C. Zara, Equivariant de Rham theory and graphs, math.DG/9808135. · Zbl 0971.58001 |

[9] | Alfred Horn, Eigenvalues of sums of Hermitian matrices, Pacific J. Math. 12 (1962), 225 – 241. · Zbl 0112.01501 |

[10] | A. Knutson, T. Tao, C. Woodward, The honeycomb model of \({{GL_n(\mathbb{C})}}\) tensor products II: Facets of the L-R cone, in preparation. · Zbl 1043.05111 |

[11] | M. M. Kapranov, B. Sturmfels, and A. V. Zelevinsky, Quotients of toric varieties, Math. Ann. 290 (1991), no. 4, 643 – 655. · Zbl 0762.14023 · doi:10.1007/BF01459264 · doi.org |

[12] | A.A. Klyachko, Stable vector bundles and Hermitian operators, IGM, University of Marne-la-Vallee preprint (1994). |

[13] | Shrawan Kumar, Proof of the Parthasarathy-Ranga Rao-Varadarajan conjecture, Invent. Math. 93 (1988), no. 1, 117 – 130. , https://doi.org/10.1007/BF01393689 Olivier Mathieu, Construction d’un groupe de Kac-Moody et applications, Compositio Math. 69 (1989), no. 1, 37 – 60 (French). Patrick Polo, Variétés de Schubert et excellentes filtrations, Astérisque 173-174 (1989), 10 – 11, 281 – 311 (French, with English summary). Orbites unipotentes et représentations, III. |

[14] | Greg Kuperberg, Spiders for rank 2 Lie algebras, Comm. Math. Phys. 180 (1996), no. 1, 109 – 151. · Zbl 0870.17005 |

[15] | D. Mumford, J. Fogarty, and F. Kirwan, Geometric invariant theory, 3rd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)], vol. 34, Springer-Verlag, Berlin, 1994. · Zbl 0797.14004 |

[16] | A. Zelevinsky, Littlewood-Richardson semigroups, math.CO/9704228. · Zbl 0935.05094 |

[17] | Günter M. Ziegler, Lectures on polytopes, Graduate Texts in Mathematics, vol. 152, Springer-Verlag, New York, 1995. · Zbl 0823.52002 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.