格拉斯曼流形

✍ dations ◷ 2025-04-02 09:02:15 #微分几何,射影几何,代数齐性空间,代数几何

在数学中,格拉斯曼流形是一个向量空间 的给定维数的所有线性子空间。例如,格拉斯曼流形 1() 是 中过原点直线的空间,从而与射影空间 P 相同。格拉斯曼流形以赫尔曼·格拉斯曼命名。

通过给定子空间一个拓扑结构可以谈论子空间的一个连续选取或子空间集合的一个开集或闭集;通过给它们一个微分流形结构可以考虑子空间的光滑选取。

一个自然的例子来自嵌入在欧几里得空间中光滑流形的切丛。假设我们有一个 维流形 嵌入在 R n {\displaystyle \mathbb {R} ^{n}} 中的每一点 , 的切丛可以视为 R n {\displaystyle \mathbb {R} ^{n}} 分配为它切空间定义了一个 到 () 的映射。(为此我们需要平移 在 处的切空间到原点,从而定义了一个 -维向量子空间。这种想法非常类似于三维空间中曲面的高斯映射)。

这种想法广泛地说可以推广到一个流形 所有向量丛,这样每个向量丛产生一个从 到一个合适的一般化格拉斯曼流形的连续映射——但是为此我们须证明不同的嵌入定理。我们然后发现我们的向量丛的性质与对应的映射视为连续映射的性质有关。特别的我们发现,具有同伦的映射的向量丛是同构的。但是同伦的定义依赖于一个连续的概念,从而一个拓扑。

最简单的非射影空间格拉斯曼流形是 G r 2 ( 4 ) {\displaystyle \mathrm {Gr} _{2}(4)} 维空间中的 平面。

当 = 2 时,格拉斯曼流形是所有过原点平面的空间。在三维欧几里得空间,一个平面完全由其一条垂线确定(反之亦然);从而 2(3) 同构于 1(3)(两者都同构于实射影平面)。

设 是域 上有限维向量空间。格拉斯曼流形 r() 是 的所有 -维线性子空间。它也记做 r(), (, ) 或 (, )。如果 的维数为 ,则格拉斯曼流形也记做 (, ) 或 (, )。

的向量子空间等价于射影空间 P 的线性子空间,故等价地可将格拉斯曼流形视为 P 的线性子空间之集合。当格拉斯曼流形看成这样时,经常记做 Grr−1(P),Gr−1(P),Gr(r−1, n−1) 或 G(r−1, n−1)。

给格拉斯曼流形一个几何结构最快的方法是将其表述为一个齐性空间。首先,注意到一般线性群 ()传递作用于 的 -维子空间上。从而,如果 是这个作用的稳定子,我们有:

如果底域是 R 或 C 且将 () 视为一个李群,则这个构造将格拉斯曼流形变为一个光滑流形。也可以利用其它群来构造。为此,取定一个 上的内积。在 R 上我们将 () 换成正交群 (),通过限制到正交标架,我们有等式

在 C 上,我们将 () 换为酉群 ()。这说明格拉斯曼流形是紧致的。这些构造也使格拉斯曼流形成为一个度量空间:对 的一个子空间 ,令 W 是 到 的投影。则

r() 上一个度量,这里 {\displaystyle \lVert \cdot \rVert } 任意且将 () 视为一个代数群,则这种构造说明格拉斯曼是一个非奇异代数簇。还可以证明 是一个抛物型子群(英语:parabolic subgroup),由此得出 r() 完备。

普吕克嵌入是格拉斯曼流形到一个射影空间的自然嵌入:

假设 是 的一个 -维子空间 。为了定义 ψ(),取 的一组基 1, ..., r,然后设 ψ() 是这些基元素的楔积:

的一组不同基给出不同的楔积,但两个积只差一个非零数量(基变换矩阵的行列式)。因为右边取值于一个射影空间,ψ 是良定义的。为了说明 ψ 是一个嵌入,注意到可由 ψ() 重新得到 , 是所有向量 使得 ∧ ψ() = 0。

格拉斯曼的这个嵌入满足一些非常简单的二次多项式称为普吕克关系。这说明了格拉斯曼流形作为一个一个代数子簇嵌入 P(∧r),这也给出构造格拉斯曼流形的另一个方法。为了表述普吕克关系,取 的两个 -维子空间 和 ,它们的基分别为 1, ..., r1, ..., r。那么对任何整数 k ≥ 0,如下等式在 P(∧r) 的齐次坐标环中成立:

的每个 -维子空间 确定了 的一个 --维商空间 /,这可写成短正合序列:

取这三个空间的对偶以及线性变换得出 (/)* 在 * 中的包含,其商为 *:

利用有限维向量空间与二次对偶的自然同构,说明再取一次对偶得到了原来的短正合序列。从而 的 -维子空间与 * 的 --维子空间存在一一对应。用格拉斯曼流形表示,这是典范同构

取 与 * 的一个同构确定了 r() 与 n−r() 的一个(非典范)同构。这个同构将一个 -维子空间变为它的−-维正交补。

格拉斯曼流形的一个详细研究将其分解为叫做舒伯特胞腔的子集,最先应用于(计数几何(英语:enumerative geometry)。() 的舒伯特胞腔是用一个辅助性的旗(英语:flag (linear algebra))定义:取子空间 V1, V2, ..., V,使得 V 包含于 V+1。然后,对 = 1 到 ,我们考虑 () 相应的子空间,由与 V 的交的维数至少为 的 组成。舒伯特胞腔的操作是舒伯特分析(英语:Schubert calculus)。

这里是这种技术的一个例子。考虑确定 χ ( G n , r ) {\displaystyle \chi (G_{n,r})} -维子空间的格拉斯曼流形。取定 R n {\displaystyle \mathbb {R} ^{n}} -维子空间是否包含 R {\displaystyle R} -维向量丛。这样给出递归公式:

这里令 χ G n , 0 = χ G n , n = 1 {\displaystyle \chi G_{n,0}=\chi G_{n,n}=1} 是一个 -维欧几里得空间,我们可以在 G n , r {\displaystyle G_{n,r}} 上定义一个一致测度。设 θ n {\displaystyle \theta _{n}} 是正交群 O ( n ) {\displaystyle O(n)} 上的单位哈尔测度并取定 V G n , r {\displaystyle V\in G_{n,r}} 。则对一个集合 A G n , r {\displaystyle A\subseteq G_{n,r}} ,定义

这个测度在群 O ( n ) {\displaystyle O(n)} 的作用下不变,即 γ n , r ( g A ) = γ n , r ( A ) {\displaystyle \gamma _{n,r}(gA)=\gamma _{n,r}(A)} 对所有 g O ( n ) {\displaystyle g\in O(n)} 成立。因为 θ n ( O ( n ) ) = 1 {\displaystyle \theta _{n}(O(n))=1} ,我们有 γ n , r ( G n , r ) = 1 {\displaystyle \gamma _{n,r}(G_{n,r})=1} 。另外 γ n , r {\displaystyle \gamma _{n,r}} 关于度量空间拓扑是一个拉东测度(Radon measure),且每个相同半径(关于这个度量)的球有相同的测度——在此意义下该测度是一致的。

相关

  • 福尔摩沙卫星五号福尔摩沙卫星五号(英语:FORMOSAT-5,缩写为FS-5,简称福卫五号或福五)是台湾的太阳同步轨道卫星,亦为首个由台湾完全自主研发的光学遥测卫星及第四个自主拥有的人造卫星;属于中华民国
  • 假阴茎肛交假阴茎肛交(英语:Pegging)是肛交的一种形式,当中女方会戴着一条捆绑式假阴茎,并以此插入男方的肛门。当事人亦可能额外刺激男方的生殖器。在假阴茎肛交当中,女性的生殖器可能会受
  • 绝对时空绝对时空(英语:Absolute time and space)是牛顿的自然哲学的数学原理的一个概念。绝对时空这个概念源自于牛顿,牛顿认为绝对时空给予牛顿力学一个理论的基础,用以描述物体在空间
  • 维斯峰坐标:46°26′33.1″N 7°57′06.2″E / 46.442528°N 7.951722°E / 46.442528; 7.951722维斯峰(Wysshorn),是瑞士的山峰,位于该国南部,由瓦莱州负责管辖,属于伯尔尼兹阿尔卑斯山
  • EXO-CBXEXO-CBX(韩语:엑소-첸백시,日语:エクソチェンベクシ)是SM娱乐旗下韩国男子组合EXO的子团体小分队,组合名称是由三位成员Xiumin、Baekhyun和Chen的英文名开头字母所组成,于2016年10
  • 金露花 L.金露花(学名:),又名蕾丝金露花、洋刺、番子刺、花墙刺、篱笆树、小本苦林盘、如意草、假连翘、英文名有Golden Dewdrop、Pigeon Berry、 Skyflower,是马鞭草科金露花属的植物
  • 孙文广孙文广(1934年-),生于山东荣成,中华人民共和国山东大学物理系毕业,退休教授,现居山东省济南市。父亲孙廷镛为国民政府海军军官,早年参加海军,在广东保卫过孙中山。大哥孙文振,教师出身
  • 哨兵1号哨兵1号(Sentinel-1)卫星是欧洲航天局哥白尼计划(GMES)中的地球观测卫星,由两颗卫星组成,载有C波段合成孔径雷达,可提供连续图像(白天、夜晚和各种天气)。2010年3月12日,欧洲航天局
  • 塔季扬娜·丽奥兹诺娃塔季扬娜·丽奥兹诺娃(俄语:Татья́на Миха́йловна Лио́знова,1924年7月20日-2011年9月29日)是苏联和俄罗斯电影导演以及犹太人,曾导演电影《春天的十
  • 池田厚子池田厚子(1931年3月7日-)是前日本皇室成员,昭和天皇与香淳皇后的四女儿,原称号为顺宫厚子内亲王,后与旧冈山藩主池田家第16代家主池田隆政(日语:池田隆政)结婚后脱离皇室身份。1988年