[论文解读] A Diagrammatic Category for the Representation Theory of U_q(sl_n)

Scott Morrison|ArXiv.org|Apr 12, 2007

Algebraic structures and combinatorial models参考文献 25被引用 45

一句话总结

本文構造了一個三valent圖形的圖形範疇（模去同倫），該範疇映射至量子群 $U_q(\mathfrak{sl}_n)$ 的表示範疇，並透過遞歸關係提供此函子核的生成元。主要貢獻在於提出一個系統性的框架——使用圖形化的 Gel'fand-Tsetlin 函子——從而得出明確的關係式（I=H、方塊交換、凱庫勒），這些關係式生成了核的大部分結構，並提出一個猜想：這些關係式完全描述了核。

ABSTRACT

This thesis provides a partial answer to a question posed by Greg Kuperberg in q-alg/9712003 and again by Justin Roberts as problem 12.18 in "Problems on invariants of knots and 3-manifolds", math.GT/0406190, essentially: "Can one describe the category of representations of the quantum group U_q(sl_n) (thought of as a spherical category) via generators and relations?" For each n \geq 0, I define a certain tensor category of trivalent graphs, modulo isotopy, and construct a functor from this category onto (a full subcategory of) the category of representations of the quantum group U_q(sl_n). One would like to describe completely the kernel of this functor, by providing generators. The resulting quotient of the diagrammatic category would then be a category equivalent to the representation category of U_q(sl_n). I make significant progress towards this, describing certain generators of the kernel, and some obstructions to further elements. It remains a conjecture that these relations generate the kernel. My results extend those of q-alg/9712003, MR1659228, math.QA/0310143 and math.GT/0506403. The argument is essentially by constructing a diagrammatic version of the forgetful functor coming from the inclusion of U_q(sl_{n-1}) in U_q(sl_n}. We know this functor is faithful, so a diagram is in the kernel for n exactly if its image under the diagrammatic forgetful functor is in the kernel for n-1. This allows us to perform inductive calculations, both establishing families of elements of the kernel, and finding obstructions.

研究动机与目标

• 透過三valent圖形與同倫關係，提供 $U_q(\mathfrak{sl}_n)$ 表示範疇的圖形化表述。
• 識別從圖形範疇到 $\mathrm{Rep}\,U_q(\mathfrak{sl}_n)$ 的表示函子核的生成元。
• 建立基於分支至 $U_q(\mathfrak{sl}_{n-1})$ 表示的遞歸、歸納框架，以分析態射。
• 猜想：所識別的關係式（I=H、方塊交換、凱庫勒）生成了完整的核，從而完成由生成元與關係式構成的表述。

提出的方法

• 定義一個三valent圖形的張量範疇 $\mathrm{Sym}_n$，其模去同倫，邊以 1（基本表示）標記。
• 構造一個從 $\mathrm{Sym}_n$ 到 $U_q(\mathfrak{sl}_n)$-表示範疇的函子，將圖形映射至互換子。
• 引入圖形化的 Gel'fand-Tsetlin 函子 $dGT$，其模擬從 $U_q(\mathfrak{sl}_n)$ 到 $U_q(\mathfrak{sl}_{n-1})$-表示的忘卻函子。
• 使用歸納化簡：一個圖形屬於核，當且僅當其在 $dGT$ 下的像在第 $n-1$ 層也屬於核，從而實現遞歸分析。
• 識別關鍵關係式：I=H（恆等式等於六邊形）、方塊交換（在方塊上的類似 braid 的移動）、以及凱庫勒（$n=4$ 時的六邊形關係）。
• 透過小圖形上的顯式計算，並運用 q-二項式恆等式與 MOY 類型的評價規則來驗證關係式。

实验结果

研究问题

• RQ1 能否在三valent圖形的圖形範疇中，以生成元與關係式的方式，表述 $U_q(\mathfrak{sl}_n)$-表示範疇？
• RQ2 圖形範疇中的哪些關係對應於表示函子的核？
• RQ3 I=H、方塊交換與凱庫勒關係式是否生成了表示函子的整個核？
• RQ4 圖形化的 Gel'fand-Tsetlin 函子能否用於遞歸地特徵化態射及其核？
• RQ5 在 $n \geq 4$ 時，是否存在一組完整且重寫（confluent）的關係式？

主要发现

• 圖形範疇 $\mathrm{Sym}_n$ 為 $U_q(\mathfrak{sl}_n)$-表示理論提供了明確定義且同倫不變的框架。
• I=H 關係式（即交替符號的六邊形等於恆等式）是核生成元的根本來源。
• 方塊交換關係式（在方塊中交換交叉）被證明成立，並生成非平凡的核元素。
• 在 $n=4$ 時的凱庫勒關係式可由方塊交換與二邊形關係推導而出，暗示更深層的結構關聯。
• 對於 $n=2,3,4,5$，所提出的關係式生成了大規模（可能為全部）的核，並在小圖形上得到明確驗證。
• 猜想認為所有核元素均由這些關係式生成，其路徑模型與多邊形圖形結構支持了歸納論證。