格拉斯曼流形

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

在数学中,格拉斯曼流形是一个向量空间 的给定维数的所有线性子空间。例如,格拉斯曼流形 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),且每个相同半径(关于这个度量)的球有相同的测度——在此意义下该测度是一致的。

相关

  • OnePlus一加(全称:深圳市万普拉斯科技有限公司,英语:OnePlus)是中国一家移动通信终端设备研制与软件开发的企业,于2013年12月7日由刘作虎和裴宇主导成立,其产品于全球多国市场销售。2013年
  • 安息安息可以指:
  • 货运航空公司货运航空公司是专门从事货物运输的航空公司。一些大的客运航空公司有专门从事货运的子公司或者部门。乌克兰的安东诺夫航空在1990年代里开始使用军事运输飞机进行商业运输,从
  • 李淑贤李淑贤(1924年9月4日-1997年6月9日),是清朝末代皇帝溥仪的第五任也是最后一任妻子。李淑贤是汉族人,曾经担任医院工友。在溥仪坐牢十年,受到“革命教育”与“思想改造”并获得特赦
  • 柳州轨道交通柳州轨道交通,是广西壮族自治区柳州市规划建设中的城市轨道交通系统,采用跨座式单轨列车和标准轨距轻轨列车,规划由1号线、1号线支线、2号线、3号线、4号线、市郊S1线、市郊S2
  • NHK米子支局NHK米子支局,是日本放送协会位于鸟取县米子市的支局,也是负责主管当地事务的放送支局。
  • 粘核毛桃粘核毛桃(学名: var. )为蔷薇科李属下的一个变种。
  • 云南人民出版社云南人民出版社,总部位于云南昆明书林街100号,是云南省的一个综合性出版单位。1950年12月25日建立。出书范围包括政治、经济、文学、哲学,历史、民族、美术音乐、摄影等方面理
  • 影戏影戏算是中国最早成型的电影观念,以社会功能为核心,即以影片内容是否纯正作为评判标准而建立起的电影观念。影戏可追溯自周朝,也有说是秦始皇之时。一般以为最早出于汉武帝与李
  • 詹姆斯·布林德利詹姆斯·布林德利(James Brindley;1716年-1772年)是英国著名工程师。出生在英国的德贝郡(Derbyshire),但大部分时光居住在斯塔福德郡,他只受过很少的正规教育。尽管如此,他设计建造了