什么是射影结构？.pdfVIP

名词解释 什么是射影结构 William M．Goldman 流形上的局部齐性几何结构理论是展示几何和拓扑交汇处的例子的一个丰富多彩 的操场． 几何关注的是点集之间的数量关系，而拓扑关注的是点在质的方面的松散联 系．给定一个几何(例如欧氏几何)和一个带某种拓扑的流形(例如二维球面)，问有多少 种方式将几何，至少在局部上，放置在这个流形上?我们知道，画不出度量上精确的世 界地图，这个事实等于说球面上不能放置欧氏几何．然而，广泛的几何簇(李群的齐性空 间)和流形就会引出一系列的迷人的问题． 现在给出准确的定义．考虑一个齐性空间 ，伴着一个可递李群G作用在 上，使 得对每个g∈G，9：X X， 卜÷gx是一个微分同胚．依照Felix Klein 1872年的Erlangen 纲领， 就拥有由对称群G所定义的几何． Klein简单地把 ‘叽何”定义为 的所有对象以及对象问的G不变关系． 因此流形的一个欧氏结构，简单说来，就是一个欧氏坐标系统，使得在两两坐标的 相交处它们等距地相联．这种结构可以定义出一个黎曼度量来，这个黎曼度量局部等距 於欧氏空间(因而有零曲率)．事实上，此结构等价於一个平坦黎曼度量． 一 个流形M的射影结构是一个以射影空间P为模型的局部坐标系统，使得在任何 两个坐标相交处，坐标变换局部上是一个P上的射影变换．回顾一下，一个射影空间是 一 个n-b 1维线性空间 的所有一维线性子空间所组成的n维空间P( )． e(v)上的一个射影变换是一个 的线性变换诱导的射影空间上的映射． 射影几 何(按Felix Klein Erlangen纲领的说法)是研究射影空间P中在射影变换群Aut(P)下 不变的对象．例如，线、超平面、二次曲线、二次型、交比都是射影几何中富有意义的概 念．在一个带有射影结构的流形上，并且具有局部射影几何，则至少在局部上，拥有模型 空间 P的几何．在数学的许多领域，包括微分几何、数学物理、拓扑和分析，都能生成 出射影结构来． 这个定义有时也叫平坦射影结构．这是因为这个坐标变换在P的射影变换的李群中 都是局部常值映射．模仿射影空间中的Caftan联络的定义，还可以定义更一般的射影 结构，不过这里我们并不讨论它们．对于欧氏几何，类似 Caxtan联络的概念恰是黎曼 度量，这里欧氏几何被定义在无穷小处(在每个切空间上)．我们对如下结构感兴趣，其 几何是局部定义的，且被某个曲率张量的消失而察觉出．在文献Shaxpe[3】中会见到对 Caftan联络的精彩处理，也包括对一般的射影联络． 坐标图册有点笨拙，可用发展映射dev替代．发展映射定义在万有覆盖空间M到 模型空间 上，它将坐标图册整体化一． 原题：What Is a Projective Structure7．译自；Notices of the AMS，Vo1．54(2007)，No．1，p．3O一33 ． 380 ． ’ 我们可简单地从一个坐标开始，解析延拓之，直到整个 (G的作用是解析的)．因 为解析延拓可能依赖於路径(或者是坐标相接的补丁链)，所以dev仅定义在覆盖空间上 一 一 以19世纪的术语就是一个多值函数．坐标变换整化成一个和乐表现7r1(M)^÷G，它 正与发展映射dev等价． 一 个复射影结构或一个CP 结构，局部就是以黎曼球面CP 为模型，坐标变换正 是复值分式线性变换的限制．因为射影变换都是解析的，所以每个CP 结构决定了一个 复结构．对n：1，这些结构已在Schwarz微分方程以及单值性的联系里被19世纪的数学 家研究过． ： 1 现给出域Q c CP 上的 Schwarz微分 ， —、 V ，=、 方程 1 W”(z)+去g( )叫( )=0， (1) 二 其中Q与C是一个全纯函数．在2：0∈Q的 ～ 二 ＼——＼ — 一