[论文解读] Model structures, categorial quotients and representations of super commutative Hopf algebras II, The case Gl(m,n)

Rainer Weissauer|arXiv (Cornell University)|Oct 15, 2010

Algebraic structures and combinatorial models参考文献 21被引用 6

一句话总结

本文在超越域扩张上建立了从 Gl(m|n) 的代数超表示范畴到 Gl(m−n) 的有限维超表示的半单范畴的弱精确张量函子。证明了极大非典型简单表示映射为多重性有界于 n! 的同型表示，并推导出该多重性的递推公式，从而可通过 Weyl 维数公式显式计算超维数。

ABSTRACT

We construct a tensor functor from the category of super representations of the superlinear group Gl(m,n) over a field of characteristic zero to the category of super representations of the linear group Gl(m-n) over some extension field (for m at least equal to n). We show that this functor maps irreducible representations to isotypic representations, and we compute the multiplicities.

研究动机与目标

• 在超越域扩张上，从 Gl(m|n) 的代数超表示范畴构造一个到 Gl(m−n) 的半单超表示范畴的弱精确张量函子。
• 刻画该函子下简单表示的像，特别关注极大非典型表示。
• 推导出像中不可约表示多重性的递推公式，以实现超维数的显式计算。
• 通过多重性与奇偶性移位，将极大非典型表示的超维数与经典 Weyl 维数联系起来。

提出的方法

• 引入一个超越次数为 n 的纯超越域扩张 K/k，以提升 Gl(m|n)-表示范畴到 K 上。
• 使用范畴论与模型论技术，构造一个 K-线性弱精确张量函子 φ: T ⊗_k K → sRep_K(H)，其中 H = Gl(m−n)。
• 利用超表示范畴的结构，定义其到块的分解，并通过标记集 I×(λ) 与 I∘(λ) 的交集识别极大非典型权。
• 应用八面体公理与长正合 Hom-序列，证明子范畴 B₀ 是阿贝尔的且半单的，从而保证上同调函子的存在性。
• 定义上同调函子 Hⁱ(X) = τ₀(X[i])，在 B₀ 中获得长正合序列，将悬垂函子识别为奇偶性移位函子 Π。
• 利用等价关系 B ≅ sRep_K(H) ⊗_k svec_K，将上同调识别为分次分量，从而导出六边形正合序列结构。

实验结果

研究问题

• RQ1 Gl(m|n) 的代数超表示范畴与 Gl(m−n) 的半单超表示范畴在域扩张下有何关系？
• RQ2 在构造的张量函子下，极大非典型简单表示的像是什么？
• RQ3 极大非典型简单对象的像中不可约表示的多重性是多少？如何计算？
• RQ4 能否用经典表示论数据显式表达极大非典型不可约表示的超维数？

主要发现

• 在 φ 下，T 中的简单对象 V 的像是零，当且仅当 V 不是极大非典型。
• 对于极大非典型简单对象，有 φ(V) ≅ m(V) · ρ(V)[p(V)]，其中 m(V) > 0 为多重性，p(V) 为由权决定的奇偶性移位。
• 多重性满足 1 ≤ m(V) ≤ n!，在特殊情况下可取等号。
• 递推公式 m(μ) = (n choose n₁,…,nᵣ) · ∏ᵢ m(μᵢ) 将 m(μ) 表示为多项式系数与更小多重性的乘积。
• 超维数由 sdim_k(V) = (−1)^p(V) · m(V) · dim_k(ρ(V)) 给出，其中 dim_k(ρ(V)) 可通过 Weyl 维数公式计算。
• 函子 φ 是弱精确的，通过上同调六边形结构在分次意义下保持正合性。