[论文解读] Classification of positive energy representations of the Virasoro group

Hadi Salmasian, Karl‐Hermann Neeb|arXiv (Cornell University)|Feb 26, 2014

Algebraic structures and combinatorial models参考文献 13被引用 5

一句话总结

本文通过证明每个正能量酉表示均唯一（在等价意义下）可实现为不可约最高权表示的直积分，完成了对维拉索罗群正能量酉表示的完整分类。作者通过在基里洛夫–尤里耶夫域上的全纯归纳法实现此目标，利用相关向量丛上的不变复结构以及C*-代数中的再生核，为不可约与可约表示建立了典范分解。

ABSTRACT

We give a complete classification of all positive energy unitary representations of the Virasoro group. More precisely, we prove that every such representation can be expressed in an essentially unique way as a direct integral of irreducible highest weight representations.

研究动机与目标

• 提供维拉索罗群所有正能量酉表示的完整分类。
• 将已知的不可约最高权模分类推广至可约情形。
• 在基里洛夫–尤里耶夫域上的全纯截面希尔伯特空间中，建立正能量表示的典范实现。
• 证明不可约最高权表示直积分分解的存在性与唯一性。
• 构建适用于弗雷歇–李群的全纯归纳法的一般框架，采用C*-代数取值的再生核。

提出的方法

• 在维拉索罗群的齐性空间——基里洛夫–尤里耶夫域上，将正能量表示实现为全纯向量丛全纯截面的希尔伯特空间。
• 通过一个普遍主丛构造向量丛，并利用伦佩特在维拉索罗群上的一族单参数复结构，为这些丛配备不变复结构。
• 利用阿夫森谱子空间处理可约表示中权重向量不足时的连续谱。
• 应用内布（2013）的全纯归纳技术，从子群H+的循环表示构造表示。
• 使用C*-代数取值的再生核刻画希尔伯特空间结构，并确保酉等价性。
• 通过分析H+不变子空间及H+对偶群上的谱测度，证明分解的唯一性。

实验结果

研究问题

• RQ1 维拉索罗群的每个正能量酉表示是否均可分解为不可约最高权表示？
• RQ2 此类分解在H+对偶群上的谱测度等价意义下是否唯一？
• RQ3 能否通过全纯归纳法将分类从不可约情形推广至可约表示？
• RQ4 为实现此目的，如何在基里洛夫–尤里耶夫域上的向量丛上构造不变复结构？
• RQ5 阿夫森谱子空间在处理可约表示中连续谱时起到何种作用？

主要发现

• 维拉索罗群的每个正能量酉表示都酉等价于不可约最高权表示的直积分。
• 该分解在H+对偶群上的谱测度等价意义下唯一。
• 不可约分量由H+对偶群上的有限正博雷尔测度μn参数化，重数为1, 2, ..., ∞。
• 每个表示的希尔伯特空间被实现为基里洛夫–尤里耶夫域上全纯向量丛光滑截面的G-不变子空间。
• 通过全纯归纳法与C*-代数取值再生核，建立了分解的存在性与唯一性。
• 证明依赖于通过普遍主丛及伦佩特在维拉索罗群上的复结构，对相关丛进行不变复结构的典范构造。