群论


定义

编辑

代数几何中,一个概形 上的群概形 是范畴 中的群对象。借由米田信夫引理,我们可以给出两种刻划:

  • 以乘法、单位元与逆元定义:存在 中的态射
    • 乘法: 
    • 单位元: 
    • 逆元: 

并满足结合律等等群的性质。

  • 以函子性定义:点函子 透过遗忘函子 分解。。

换言之:对于任意的 -概形  构成一个群;而且对任意 -态射 ,诱导映射 都是群同态。

  • 代数群:设 为域, 上的连通、光滑群概形称作 上的代数群。
  • 李代数:群概形 自然地作用在它的全体向量场上。 的全体左不变向量场称作 的李代数,记为 ;它是 上的层。

例子

编辑
  • 交换环谱 的群概形结构一一对应到 Hopf代数结构。
  • 阿贝尔簇:即一个域 上的真(proper)代数群,它们必然是可交换的。
  • 线性代数群:即 中的闭子群。仿射代数群都是线性代数群,它们在表示理论数论中占有根本地位。Chevalley定理断言:若 代数封闭,则对所有代数群 都存在短正合列 ,其中 是线性代数群而 是阿贝尔簇。在此意义下,所有代数群都是由阿贝尔簇与线性代数群建构而来。
  •  ,并考虑 的谱。这些群在拓朴上只有一个点,但其结构层带有幂零元素。这些子群在代数群的研究中相当常见,同时也是理解 时的代数群之重要关键。

文献

编辑
  • A. Borel, Linear Algebraic Groups 2nd enlarged edition (1991), Graduate Texts in Mathematics 126, Springer.
  • M. Demazure et P. Gabriel, Groupes algébriques: Tome I(1970), PA Masson
  • D. Mumford, Abelian Varieties(1970), Oxford Univ. Press