[论文解读] A note on the representations of $ ext{SO}(1,d+1)$

Zimo Sun|arXiv (Cornell University)|Nov 8, 2021

Black Holes and Theoretical Physics参考文献 48被引用 7

一句话总结

本文使用共形场论（CFT）启发的方法，对 de Sitter 时空的等距群 SO(1,d+1) 及其在 R^d 上的共形群的幺正不可约表示（UIRs）提供了教学性质的介绍。该文构造了 dS_{d+1} 中整自旋场的 UIRs，通过显式波函数方法推导了 Harish-Chandra 特征标，并建立了一个非平凡的特征标关系，将 SO(d+2) 的两行表示与单行表示联系起来，从而实现了 de Sitter 量子场论中一环路径积分的计算。

ABSTRACT

$ ext{SO}(1, d+1)$ is the isometry group of $(d+1)$-dimensional de Sitter spacetime $ ext{dS}_{d+1}$ and the conformal group of $\mathbb{R}^{d}$. This note gives a pedagogical introduction to the representation theory of $ ext{SO}(1, d+1)$, from the perspective of de Sitter quantum field theory and using tools from conformal field theory. Topics include (1) the construction and classification of all unitary irreducible representations (UIRs) of $ ext{SO}(1,2)$ and $ ext{SL}(2,\mathbb R)$, (2) the construction and classification of all UIRs of $ ext{SO}(1,d+1)$ that describe integer-spin fields in $ ext{dS}_{d+1}$, (3) a physical framework for understanding these UIRs, (4) the definition and derivation of Harish-Chandra group characters of $ ext{SO}(1,d+1)$, and (5) a comparison between UIRs of $ ext{SO}(1, d+1)$ and $ ext{SO}(2,d)$.

研究动机与目标

• 为 SO(1,d+1) 提供一个自包含的、面向物理的表示理论介绍，即 de Sitter 时空的等距群与欧氏共形群。
• 使用 CFT 类型的形式体系，构造并分类描述 de Sitter 时空整自旋场的 SO(1,d+1) 幺正不可约表示（UIRs）。
• 在不依赖 BGG 分解等高级工具的前提下，推导这些 UIRs 的 Harish-Chandra 特征标。
• 建立一个非平凡的特征标恒等式，将 SO(d+2) 的两行表示与单行表示的 Weyl 特征标联系起来，其在 de Sitter 量子场论中一环路径积分的计算具有重要意义。

提出的方法

• 通过直接方法与 CFT 启发方法，利用表示空间与幺正性约束，构造 SO(1,2) 与 SL(2,R) 的 UIRs。
• 为 SO(1,d+1) 定义具有共形维数 Δ 与自旋 s 的 Fock 空间 F_{Δ,s}，并分析其 SO(d+1) 内容与影子变换性质。
• 利用复坐标 (z, w) 中的最低权态，通过下降算符作用生成 UIRs，并给出自旋 s 场的显式波函数。
• 通过分析在层级 (n+1−s) 处后代态的零化性，推导出 SO(d+2) 特征标的极点部分，从而对表示施加约束。
• 利用特征标积分表示计算 Harish-Chandra 特征标 Θ_{F_{Δ,s}}(q)，并将其与 SO(d+2) 表示的 Weyl 特征标联系起来。
• 建立关键恒等式：Θ^{SO(d+2)}_{Y_{n,s}}(x) = D^d_s Θ^{SO(d+2)}_{Y_n}(x) − D^d_{n+1} Θ^{SO(d+2)}_{Y_{s−1}}(x)，将两行与单行特征标联系起来。

实验结果

研究问题

• RQ1 如何使用 CFT 启发的形式体系，系统地构造并分类 SO(1,d+1) 的幺正不可约表示？
• RQ2 影子变换与最低权态在生成 de Sitter 时空整自旋场 UIRs 中起到什么作用？
• RQ3 SO(1,d+1) UIRs 的 Harish-Chandra 特征标如何与 SO(d+2) 上的调和分析相关联？其显式形式是什么？
• RQ4 层级 (n+1−s) 处后代态的约束源自何处？它如何影响特征标的计算？
• RQ5 能否推导出一个非平凡的特征标恒等式，将 SO(d+2) 的两行与单行表示的 Weyl 特征标联系起来？

主要发现

• 本文推导出两行表示 Y_{n,s} 的 SO(d+2) 特征标的显式形式：P^d_{n,s}(x) = D^d_s x^{-n} − D^d_{n+1} x^{1−s} 除以 (1−x)^d，其中极点部分捕捉了表示内容。
• 建立了非平凡的特征标恒等式：Θ^{SO(d+2)}_{Y_{n,s}}(x) = D^d_s Θ^{SO(d+2)}_{Y_n}(x) − D^d_{n+1} Θ^{SO(d+2)}_{Y_{s−1}}(x)，使得两行特征标可由单行特征标构造。
• 作为该特征标恒等式的推论，得到了维度公式 D^{d+2}_{n,s} = D^d_s D^{d+2}_n − D^d_{n+1} D^{d+2}_{s−1}，该式对所有 d ≥ 2 成立。
• 证明了在层级 (n+1−s) 处 (u·P)^{n+1−s} ψ^{lw}_{i1⋯is} 恒为零的约束，正是导致特征标中出现减法项的原因，从而防止了后代态的重复计数。
• 该方法避免使用 BGG 分解等高级工具，转而采用显式波函数分析与微分算符作用来计算特征标。
• 所推导的特征标恒等式使得 de Sitter 量子场论中的一环路径积分可表示为 SO(1,d+1) Harish-Chandra 特征标的积分，其应用涵盖准正规模与有效场论。