c++用二叉树表示代数表达式_经典洛伦兹群、庞加莱群及其表示综述

洛伦兹群是粒子物理中最重要的群，因为以量子场论为框架的任何理论，都需要具有基本的洛伦兹不变性。从数学上讲，就是理论的拉氏量要在洛伦兹变换下保持不变，任何可观测量都要是洛伦兹标量。

场论中的三种基本的场：标量场、旋量场和矢量场，都可以根据在洛伦兹变换下的变换行为来定义。洛伦兹群的李代数可以分解为两份独立的SU(2)群的李代数的直乘。而由角动量理论可知，SU(2)群的不等价不可约表示只需要用一个整数或半整数来描述，因而洛伦兹群的不等价不可约表示需要用两个独立的整数或半整数来描述。

另一方面，四维闵氏时空有10个独立的Killing矢量场，因而有10个独立的对称性，其等度规群为庞加莱群。庞加莱群描述了四维闵氏时空的所有对称性，庞加莱群可以由洛伦兹群和空间平移群组合而成。现代物理中基本粒子按照庞加莱群的不可约表示来分类。而庞加莱群的不可约表示需要两个量子数来标记，分别对应庞加莱群的两个Casimir算符，也对应粒子的两个基本属性：质量和自旋。

本文的目的是简要综述经典的洛伦兹群、庞加莱群和它们的不可约表示以及在场论中的应用。本文首先给出洛伦兹群定义和分类，然后从最熟悉的洛伦兹群的四矢量表示导出洛伦兹群的生成元和李代数，然后推导不同的场在洛伦兹变换下的行为，最后介绍庞加莱群和基本粒子的分类。

1 洛伦兹群的定义和分类

洛伦兹群

定义为所有洛伦兹变化的集合，所谓洛伦兹变换，是指那些保持四维闵氏时空内积不变的变换。设

为洛伦兹变换矩阵，

为坐标四矢量，在洛伦兹变换下

为了保持四矢量内积不变，有

其中

为四维闵氏时空的度规，将第一式代入第二式，得到

从而我们得到洛伦兹变换的数学定义式

将其两边取行列式，可以得到

另一方面，将

的定义式用分量写开，并取00分量，得到

所以

或者

。由

和

的值我们可以将洛伦兹群分为四个部分

（1） 正规正时

：

并且

（2） 正规非正时

：

并且

（3） 非正规正时

：

并且

（4）非正规非正时

：

并且

这四个分支可以通过时间反演变换

和空间反演变换

相互转换，但是连续的洛伦兹变换并不能把一个分支中的元素变为另一个分支中元素。显然单位元是落在正规正时分支里的，所以我们只需要研究正规正时分支，再借助分立的时空反演变换就可以得到整个洛伦兹群的变换性质【1】。

2 洛伦兹群的生成元和李代数

最简单的得到洛伦兹群的李代数的方法就是从某个熟悉的表示出发得到生成元，再计算生成元的对易关系。

从狭义相对论可知，描述四矢量变换的洛伦兹变换共有6个独立的自由度，分别对应三个方向的转动变换和三个方向的boost变换。事实上，我们可以将无穷小洛伦兹变换写作

其中

为无穷小变换参数，将其代入方程（1）中得到

这说明

是个

的反对称矩阵，具有6个自由度，其中3个描述转动，3个描述boost。

由狭义相对论可知，沿三个方向的boost变换矩阵分别为