[论文解读] On the homomorphisms between the generalized Verma modules arising from conformally invariant systems

Toshihisa Kubo|arXiv (Cornell University)|Sep 25, 2012

Advanced Algebra and Geometry参考文献 15被引用 5

一句话总结

本文确定了由拟海森堡型极大抛物子代数关联的、与一阶和二阶微分算子的共形不变系统相关的广义韦尔马模之间同态的标准性。利用表示论技术，证明当幂零根系非交换时，此类同态为非标准的，从而将此前研究的交换情形推广至更一般情况。

ABSTRACT

It is shown by Barchini, Kable, and Zierau that conformally invariant systems of differential operators yield explicit homomorphisms between certain generalized Verma modules. In this paper we determine whether or not the homomorphisms arising from such systems of first and second order differential operators associated to maximal parabolic subalgebras of quasi-Heisenberg type are standard.

研究动机与目标

• 研究由共形不变微分算子系统诱导的广义韦尔马模之间同态的标准性。
• 将此类同态的分类从幂零根系为交换的情形扩展至拟海森堡型抛物子代数的情形。
• 确定这些同态是否源自普通韦尔马模之间的同态（标准）或非源自（非标准）。
• 在对称空间上共形不变系统的背景下，分析广义韦尔马模与互变算子的结构。
• 基于Dynkin图数据，为特定李代数E8(1)、E7(7)和F4(4)提供此类同态的完整分类。

提出的方法

• 利用通过李代数作用定义的G-流形和G-丛上的共形不变微分算子系统框架。
• 应用Barchini、Kable与Zierau的互变微分算子构造方法，推导广义韦尔马模之间的同态。
• 分析极大抛物子代数q = l ⊕ n的结构，其中n为拟海森堡代数（即[n,[n,n]] = 0且dim([n,n]) > 1）。
• 利用最高权理论与根系数据（Dynkin图、最高根与权）刻画所涉及的模。
• 将诱导同态与来自普通韦尔马模的同态进行比较，以判断其标准性。
• 通过E8(1)、E7(7)与F4(4)的显式根系计算，验证这些映射的非标准性质。

实验结果

研究问题

• RQ1 由与拟海森堡抛物子代数相关的共形不变一阶与二阶微分算子系统导出的广义韦尔马模之间的同态是否为标准的？
• RQ2 当幂零根系为非交换时，这些同态与经典情形（幂零根系为交换）下的同态有何不同？
• RQ3 g(1)的最高权μ、中心特征标γ，以及最高根ξγ与ξnγ在决定同态标准性方面起什么作用？
• RQ4 能否通过根系数据与Dynkin图的删减检测到这些映射的非标准性质？
• RQ5 在拟海森堡代数上共形不变系统导出的同态是否在表示论中产生新的非标准映射示例？

主要发现

• 由拟海森堡抛物子代数上的共形不变系统导出的广义韦尔马模之间的同态为非标准的。
• 该结果将非标准同态的分类从幂零根系为交换的情形推广至更一般情形，为表示论提供了新示例。
• 在E8(1)中，显式计算出最高权μ = α₁ + 3α₂ + 3α₃ + 5α₄ + 4α₅ + 3α₆ + 2α₇ + α₈，以及γ = 2α₁ + 3α₃ + 4α₃ + 6α₄ + 5α₅ + 4α₆ + 3α₇ + 2α₈，确认了该映射的非标准性质。
• 在E7(7)中，使用最高权μ = α₁ + 2α₂ + 2α₃ + 3α₄ + 2α₅ + α₆ + α₇与γ = 2α₁ + 2α₂ + 3α₃ + 4α₄ + 3α₅ + 2α₆ + α₇，证明该同态为非标准。
• 在F4(4)中，μ = α₁ + 2α₂ + 3α₃ + α₄与γ = 2α₁ + 3α₂ + 4α₃ + 2α₄下，同态亦为非标准，即使lₙγ = {0}。
• F4(4)中的最高根ξγ = α₁ + 2α₂ + 2α₃与E8(1)中的ξγ = α₂ + α₃ + 2α₄ + 2α₅ + 2α₆ + 2α₇ + α₈在验证诱导映射的非标准结构中起关键作用。