合同相似可逆等价矩阵的关系及性质_笔记：辛矩阵和Siegel上半平面

1.辛矩阵

（1.1）定义。 设

,

是交换幺环。定义

其中

，以及

注意，对任意

, 令

，演算知

。因此有群概形的正合列：

（1.2）等价条件。设

，利用分块矩阵计算，可知下述条件等价：

1. ;
2. ;
3. ;
4. ;
5. .

证明时，1.2.3.都可以直接变形得到，注意

。将3.代入

即为4.和5.。

特别地，由于一阶矩阵之间总是交换的，即n=1时第4条总成立，因此

，以及

。

（1.3）辛矩阵的例子。

的称为辛矩阵。例如：

1. ，其中
   。验证：
   。
2. ，其中
   。验证：
   。
3. ，（1.1）中验证过。
4. 验证：
   。

关于4.还要多说几句：首先

是

的子群，

以及

。

特别地，当

时，

是个群同构，即

。验证：

是酉矩阵，等价于

，展开并比较实虚部即为

的条件。

（1.4）辛矩阵的Iwasawa分解。

定理：

中的矩阵可以分解成（1.3）中1.2.4.型矩阵的乘积，具体来说任一

可分解为

，其中每个因子都是辛的。

我自己想了一个证明（估计可以在别的书上找到）：

记

为

上的标准辛内积，即