The Horn inequalities from a geometric point of view

We give an exposition of the Horn inequalities and their triple role characterizing tensor product invariants, eigenvalues of sums of Hermitian matrices, and intersections of Schubert varieties. We follow Belkale's geometric method, but assume only basic representation theory and algebraic geometry, aiming for self-contained, concrete proofs. In particular, we do not assume the Littlewood-Richardson rule nor an a priori relation between intersections of Schubert cells and tensor product invariants. Our motivation is largely pedagogical, but the desire for concrete approaches is also motivated by current research in computational complexity theory and effective algorithms.

[1]  T. Tao,et al.  The honeycomb model of _{}(ℂ) tensor products I: Proof of the saturation conjecture , 1999 .

[2]  Prakash Belkale.  Geometric proofs of horn and saturation conjectures , 2002 .

[3]  A. Klyachko.  Stable bundles, representation theory and Hermitian operators , 1998 .

[4]  J. M. Landsberg,et al.  An Overview of Mathematical Issues Arising in the Geometric Complexity Theory Approach to VP≠VNP , 2009, SIAM J. Comput..

[5]  Michael Walter,et al.  On vanishing of Kronecker coefficients , 2015, computational complexity.

[6]  Geometric Proof of a Conjecture of Fulton , 2005, math/0511664.

[7]  Harm Derksen,et al.  Semi-invariants of quivers and saturation for Littlewood-Richardson coefficients , 2000 .

[8]  W. Fulton.  Eigenvalues of sums of hermitian matrices , 1998 .

[9]  Michael Walter,et al.  Membership in Moment Polytopes is in NP and coNP , 2015, SIAM J. Comput..

[10]  James M. Taylor.  Eigenvalues for Sums of Hermitian Matrices , 2015 .

[11]  R. Howe,et al.  A basis for the GLn tensor product algebra , 2004, math/0407468.

[12]  G. Kempf,et al.  The length of vectors in representation spaces , 1979 .

[13]  Ketan Mulmuley,et al.  On P vs. NP and geometric complexity theory: Dedicated to Sri Ramakrishna , 2011, JACM.

[14]  P. Belkale.  Invariant theory of GL(n) and intersection theory of Grassmannians , 2004 .

[15]  Geometric Proof of a Conjecture of King, Tollu, and Toumazet , 2015, 1505.06551.

[16]  A. Knutson.  The symplectic and algebraic geometry of Horn's problem , 1999, math/9911088.

[17]  Two step flag manifolds and the Horn conjecture , 2006, math/0603131.

[18]  K. Mulmuley,et al.  Geometric complexity theory III: on deciding nonvanishing of a Littlewood–Richardson coefficient , 2012 .

[19]  W. Fulton.  Eigenvalues, invariant factors, highest weights, and Schubert calculus , 1999, math/9908012.

[20]  Prakash Belkale,et al.  Local Systems on P1 - S for S a Finite Set , 2001, Compositio Mathematica.

[21]  A short geometric proof of a conjecture of Fulton , 2009, 0901.3633.

[22]  Daniel Perrin,et al.  Algebraic Geometry: An Introduction , 2007 .

[23]  A. Schofield.  General Representations of Quivers , 1992 .

[24]  W. Fulton.  Young Tableaux: With Applications to Representation Theory and Geometry , 1996 .

[25]  Michael Walter,et al.  Inequalities for Moment Cones of Finite-Dimensional Representations , 2014, 1410.8144.

[26]  T. Tao,et al.  The honeycomb model of _{}(ℂ) tensor products II: Puzzles determine facets of the Littlewood-Richardson cone , 2001, math/0107011.