[论文解读] The honeycomb model of GL(n) tensor products II: Puzzles determine facets of the Littlewood-Richardson cone

Allen Knutson, Terence Tao+1 more|arXiv (Cornell University)|Jul 2, 2001

Advanced Combinatorial Mathematics参考文献 6被引用 18

一句话总结

本文证明了谜题——三角晶格中的组合图——完全决定了 GL(n) 的 Littlewood-Richardson 锥体的面，为控制张量积重数的不等式提供了最小且组合化的刻画。它证明了每个面唯一对应于三个 Grassmannian Schubert 循环在一点处相交的情形，并通过谜题理论给出了饱和猜想和 Fulton 关于张量积重数为 1 的情形在缩放下行为的全新证明。

ABSTRACT

The set of possible spectra (λ,μ,ν) of zero-sum triples of Hermitian matrices forms a polyhedral cone. We give a complete determination of its facets, finishing a long story with recent highlights by [Helmke-Rosenthal, Klyachko, Belkale]. We introduce_puzzles_, which are new combinatorial gadgets to compute Grassmannian Schubert calculus, and will probably be the main point of interest for many readers. As the proofs 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 in [H,Kly,HR,Be]. 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 GL(n,C) the irreducible representation V_νappears exactly once in V_λtensor V_μ, then for all N\in aturals, V_{Nλ} appears exactly once in V_{Nλ} tensor V_{Nμ}.''

研究动机与目标

• 确定定义 GL(n) 张量积的 Littlewood-Richardson 锥体的完整且最小的不等式集合。
• 用一种新的组合框架——谜题——取代 Schubert 计算，为计算张量积重数提供更自然且对称的方法。
• 证明 Belkale 所给出的充分不等式列表中的每一项都是本质的，并定义了一个面，从而确立了最小性。
• 提供饱和猜想的新谜题证明，并证实 Fulton 关于重数为 1 的张量积在缩放下行为的猜想。
• 刻画刚性谜题，并证明其恰好对应于在唯一一点相交的三元 Grassmannian Schubert 循环。

提出的方法

• 将谜题引入为由三角晶格中带标签的三角形和菱形组成的组合对象，边标签为 0 或 1，构成边长为 n 的大正三角形的密铺。
• 将谜题定义为将大三角形分解为谜题块，其中边界标签编码不可约 GL(n) 表示的权 λ, μ, ν。
• 利用给定边界标签存在谜题作为 Littlewood-Richardson 系数非零的判别准则。
• 引入“顺时针叠加”概念，以生成极值蜂窝，并从谜题构型推导出不等式。
• 在谜题中定义“温和环路”，并利用环路呼吸操作分析刚性与非退化性，通过“刚性谜题”刻画将它们与 Schubert 计算联系起来。
• 建立刚性谜题与在一点处横截相交的三元 Grassmannian Schubert 循环之间的对应关系，从而将谜题与 Grassmannian 的几何结构直接联系起来。

实验结果

研究问题

• RQ1 定义 GL(n) 的 Littlewood-Richardson 锥体的完整且最小的不等式集合是什么？
• RQ2 如何利用谜题以揭示比现有规则更多对称性的方法，在 Grassmannian 上计算 Schubert 计算？
• RQ3 Belkale（以及 H-R/T/K）所给的充分不等式列表中的所有不等式是否都对应于面，还是其中一些是冗余的？
• RQ4 若张量积中 V_ν 恰好出现一次（即 V_ν 在 V_λ ⊗ V_μ 中重数为 1），该性质是否如 Fulton 所猜想的那样在缩放下保持不变？
• RQ5 与唯一 Schubert 循环交点对应的谜题的精确组合刻画是什么？

主要发现

• 由谜题导出的不等式集合构成一个完整且最小的系统，定义了 Littlewood-Richardson 锥体，确认了每个不等式都对应一个面。
• 该锥体的每个面唯一对应于在恰好一点相交的三元 Grassmannian Schubert 循环，建立了几何与组合之间的对偶性。
• 本文证明了 Fulton 的猜想：若 V_ν 在 V_λ ⊗ V_μ 中恰好出现一次，则对所有 N ∈ ℕ，V_{Nλ} 在 V_{Nλ} ⊗ V_{Nμ} 中也恰好出现一次。
• 刚性谜题——即不含温和环路的谜题——与在一点处横截相交的三元 Grassmannian Schubert 循环之间存在双射关系。
• 给定边界标签 (λ, μ, ν) 的谜题存在的充要条件是 Littlewood-Richardson 系数 c_{λμ}^ν 非零，提供了组合判别准则。
• 厄米特矩阵和问题（具有给定谱的零和三元组）等价于存在满足这些边界条件的蜂窝，而这也等价于存在具有这些边界标签的谜题。