数学联邦政治世界观
超小超大

几何 (2-1)

我们跳到1945-1954年,基于几何学的两个重要发展,年轻的Hirzebruch所做的工作。第一个发展,是由Leray发起的层论。第二个发展,是Thom的论文中的一些结果,特别是一些关于光滑流形的同胚群。我们陈述了Hirzebruch的两个主要结果,这些结果在[H1]中有详述。

设X 是一个复维度为 n 的非奇异射影代数簇,并且 V → Ⅹ 是一个全纯向量丛。(在我们对曲线的讨论中,我们使用了除子;回想一个除子决定了一个全纯线丛,与我们这里的表述建立了联系。)然后,经过层论定义上同调群 Hq(X,V):H⁰(X,V) 是全纯截面 V → X 的向量空间,并且对于 q≥1,Hq(X,V) 是从 V → X 的全纯截面层的解析得出。上同调群是有限维的,这能够用椭圆微分算子理论和Dolbeault定理证明。(见§3.1-§3.2.)欧拉示性数定义为交错和

(2.3)χ(X,V)=∑(–1)q dim Hq (X,V)

q=0

对于n=1 的黎曼曲面的情况,人们经常想要计算 dim H⁰(X,V) ,但一般来说 dim H⁰(X,V) 依赖的比拓扑数据更多。另一方面,欧拉示性数 χ(X,V) 有一个用 Chern 类 cⱼ(X) 和 cₖ(V) 表示的拓扑公式。特殊情况下,当 dim X=rankV=1 时,这是经典的Riemann-Roch公式 (2.2) 。对于 X 是一个光滑的射影代数曲面 (n=2),并且 V → X 是秩为1的平凡丛,其结果通常被称为Noether公式:

1

(2.4)χ(X)=── (c²₁(X)+c₂(X))χ(X) .

12

在(2.4) 中,Chern类是在由自然定向所给出的 X 的基本类上估计的。分母中存在的12给出了投影曲面的Chern数一个整性定理。对于所有 X 和 V ,解决Riemann-Roch问题——也就是 (2.3) 的计算——是Hirzebruch的重要成就之一。Hirzebruch的公式是用Todd多项式和Chern特征表达的。假设切向量丛 τX=L₁ ⨁ · · · ⨁ Lₙ ,分解为线丛的直和,并且设 yᵢ=c₁(Lᵢ) ∈ H²(X;ℤ) 。那么Todd类是

ₙ yᵢ

(2.5) Todd(X)=∏ ────

ᵢ₌₁ 1 – e⁻ʸⁱ

这是一个(混合的)偶度数的上同调类。类似地,如果V=K₁ ⨁ · · · ⨁ Kᵣ 是线丛的直和,有 xᵢ=c₁(Kᵢ) ,那么Chern特征是

(2.6) ch(V)=∑ eˣⁱ .

ᵢ₌₁

特征类理论中的分解原理允许我们将这些定义推广到不是线丛直和的ТX → X 和 V → X 。

定理 2.7(Hirzebruch-Riemann-Roch)设X 是一个射影复流形, V → X 是一个全纯向量丛。那么

(2.8)χ(X,V)=Todd(X) · ch(V) · r(X) .

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

尘时愿 连载中
尘时愿
作者一肖
敌国皇子与丞相之女从猜疑、互相试探到互相扶持,完成共同心愿的故事
16.5万字5个月前
时空相互 连载中
时空相互
零_336167180742427746
简介正在更新
0.1万字6个月前
凹凸:第一次当我推自推有点激动 连载中
凹凸:第一次当我推自推有点激动
暮椿玖
因为老实在小红书上刷到那种视频你推什么什么的...就写了个这个T_T纯想象幼儿园文笔ooc致歉含私设看着玩玩就行了
0.3万字5个月前
菜鸡大佬要修神 连载中
菜鸡大佬要修神
琉零
他是潮新大陆修为排在第二的厉害人物但……却是个高战低能的菜鸡他是师父宝男、师叔宝男还是师爷爷宝男……反正不是妈宝男后来有一天,他的身体里住进......
45.3万字5个月前
街角那家咖啡屋 连载中
街角那家咖啡屋
星月夜色
在城市没人注意的角落里,有一家咖啡馆,咖啡馆店主贩卖的是这个世界上最好喝的咖啡,不过他不收钱,他只收感人至深的故事,他最喜欢的就是坐在收银台......
12.6万字5个月前
沧溟之雪之红颜天下 连载中
沧溟之雪之红颜天下
希海玉
【本文原创,禁止二转,禁止抄袭,违者必究】银落雪,华夏特工之王,因一次任务而意外来到东沧溟大陆,从此开启了她传奇的一生
8.0万字5个月前