【精选】Strongart数学笔记：谈谈线性代数群的基本结构.pdfVIP

谈谈线性代数群的基本结构 (2014-02-24 15:44:46) 有些网友说代数几何太难学 这里我建议他们可以学一点代 数群。有些学院派可能会引用标准的学科分类 说这个代数 群属于几何不变量理论。实际上，问题没有那么复杂的 线 性代数群可以被嵌入到矩阵群里面 本质上就是一个代数几 何观点下的线性代数，其中代数几何就只是自带的入门版。 下面我就来谈一下线性代数群的基本结构，为了避免枝节 问题，约定这里的基域k是特征为零的代数闭域。 所谓代数群，实际上就是代数簇加上一个群结构。彷射代 数簇加上群结构就是仿射代数群 假若是射影代数簇加上群 结构则成为Abel簇，更一般的概型加上群结构的话就是群 概型了 后者可以通过函子表示来刻画 在一定意义上可以 等价于Hopf代数。这样的函子表示自然也可以反映在线性 代数群上 最常见的是k 的加法群G_a 由k[T]表示 k 的乘 法群G_m 由k[T,1/T]表示 那么GL_n(V)又该如何表示呢？ 答案是表示为k[T_11,T_12,…,T_nn,1/det(T_ij)]. 一般加上群结构之后，就会表现出一种各向同性的性质 也就是说在各个点的几何性质都是一样的 比如光滑流形加 上群结构得到李群 其切丛就有可平凡化的性质。对于彷射 代数族而言 可以导出彷射代数群一定是非异的 假若它有 某个奇点