The honeycomb model of tensor products II: Puzzles determine facets of the Littlewood-Richardson cone

Authors:
Allen Knutson, Terence Tao and Christopher Woodward

Journal:
J. Amer. Math. Soc. **17** (2004), 19-48

MSC (2000):
Primary 14N15; Secondary 15A42, 52B12, 05E10

DOI:
https://doi.org/10.1090/S0894-0347-03-00441-7

Published electronically:
October 14, 2003

Part I:
J. Amer. Math. Soc. **12** (1999), 1055-1090

MathSciNet review:
2015329

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: The set of possible spectra of zero-sum triples of Hermitian matrices forms a polyhedral cone, whose facets have been already studied by Knutson and Tao, Helmke and Rosenthal, Totaro, and Belkale in terms of Schubert calculus on Grassmannians. We give a complete determination of these facets; there is one for each triple of Grassmannian Schubert cycles intersecting in a unique point. In particular, the list of inequalities determined by Belkale to be sufficient is in fact minimal.

We introduce *puzzles*, which are new combinatorial gadgets to compute Grassmannian Schubert calculus, and seem to have much interest in their own right. As the proofs herein indicate, the Hermitian sum problem is very naturally studied using puzzles directly, and their connection to Schubert calculus is quite incidental to our approach. In particular, we get new, puzzle-theoretic, proofs of the results of Horn, Klyachko, Helmke and Rosenthal, Totaro, and Belkale.

Along the way we give a characterization of ``rigid'' puzzles, which we use to prove a conjecture of W. Fulton: ``if for a triple of dominant weights of the irreducible representation appears exactly once in , then for all , appears exactly once in .''

**[Be]**P. Belkale, Local systems on for a finite set, Compositio Math. 129 (2001), no. 1, 67-86. MR**2002k:14085****[DW1]**H. Derksen, J. Weyman, On the -stable decomposition of quiver representations, preprint available at`http://www.math.lsa.umich.edu/~hderksen/preprint.html`.**[DW2]**H. Derksen, J. Weyman, On the Littlewood-Richardson polynomials, preprint available at`http://www.math.lsa.umich.edu/~hderksen/preprint.html`.**[F1]**W. Fulton, Eigenvalues, invariant factors, highest weights, and Schubert calculus,*Bull. Amer. Math. Soc.*37 (2000), 209-249. MR**2001g:15023****[F2]**W. Fulton, Young tableaux. With applications to representation theory and geometry. London Mathematical Society Student Texts, 35. Cambridge University Press, Cambridge, 1997. MR**99f:05119****[GP]**O. Gleizer, A. Postnikov, Littlewood-Richardson coefficients via Yang-Baxter equation,`math.QA/9909124`,*Internat. Math. Res. Notices*no. 14 (2000), 741-774. MR**2001g:20058****[HR]**U. Helmke, J. Rosenthal, Eigenvalue inequalities and Schubert calculus,*Math. Nachr.***171**(1995), 207-225. MR**96b:15039****[H]**A. Horn, Eigenvalues of sums of Hermitian matrices,*Pacific J. Math.***12**(1962), 225-241. MR**25:3941****[Hon1]**A. Knutson, T. Tao, The honeycomb model of tensor products I: proof of the saturation conjecture,*J. Amer. Math. Soc.***12**(1999), no. 4, 1055-1090. MR**2000c:20066****[Kl]**A. A. Klyachko, Stable vector bundles and Hermitian operators, IGM, University of Marne-la-Vallee preprint (1994).**[K]**A. Knutson, The symplectic and algebraic geometry of Horn's problem, Linear Algebra and its Applications 319 (2000), no. 1-3, 61-81. MR**2002g:15051****[KT1]**A. Knutson, T. Tao, Puzzles and (equivariant) cohomology of Grassmannians, in preparation.**[KT2]**A. Knutson, T. Tao, Puzzles, Littlewood-Richardson rings, and the legend of Procrustes, in preparation.**[MFK]**D. Mumford, J. Fogarty, F. Kirwan, Geometric invariant theory. Chapter 8. Third edition.*Ergebnisse der Mathematik und ihrer Grenzgebiete*, Springer-Verlag, 1994. MR**95m:14012****[T]**B. Totaro, Tensor products of semistables are semistable, Geometry and Analysis on complex manifolds, World Sci. Publ. (1994), 242-250. MR**98k:14014**

Retrieve articles in *Journal of the American Mathematical Society*
with MSC (2000):
14N15,
15A42,
52B12,
05E10

Retrieve articles in all journals with MSC (2000): 14N15, 15A42, 52B12, 05E10

Additional Information

**Allen Knutson**

Affiliation:
Mathematics Department, UC Berkeley, Berkeley, California 94720

Email:
allenk@math.berkeley.edu

**Terence Tao**

Affiliation:
Mathematics Department, UCLA, Los Angeles, California 90095-1555

Email:
tao@math.ucla.edu

**Christopher Woodward**

Affiliation:
Mathematics Department, Rutgers University, New Brunswick, New Jersey 08854-8019

Email:
ctw@math.rutgers.edu

DOI:
https://doi.org/10.1090/S0894-0347-03-00441-7

Received by editor(s):
July 2, 2001

Published electronically:
October 14, 2003

Additional Notes:
The first author was supported by an NSF Postdoctoral Fellowship, an NSF grant, and the Clay Mathematics Institute

The second author was supported by the Clay Mathematics Institute, and grants from the Sloan and Packard Foundations

The third author was partially supported by an NSF Postdoctoral Fellowship, and NSF Grant 9971357

Article copyright:
© Copyright 2003
American Mathematical Society