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

几何 (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),接着再看更方便。

相关小说

卓戈之主 连载中
卓戈之主
江眠早
暴风雪来临的那个晚上,她倒在荒外的雪地里,本以为一切会在暴风雪停止时终止。可惜她的祂出现了。祂带走了她的一切病痛,以及她的一只眼睛。她在雪地......
3.8万字6个月前
创世物语 连载中
创世物语
空白_80105847273247570
在这个寰宇之中有无数个宇宙,在宇宙中又有无数颗星星,而有多少颗星星,就有多少个正在闪烁着绚烂光芒的梦想!创世物语!梦想物语!“这些梦想可不是......
6.1万字6个月前
魔道:江家三小姐 连载中
魔道:江家三小姐
溟濛无心
(私设)假如江澄有个妹妹,擅长音律。假如聂导有个从小喜欢到大的女孩,她天真无邪。假如有个女孩,她跟魔道里的各路大佬都有联系,是个团宠。假如这......
3.7万字6个月前
三眼啸天录天神归位 连载中
三眼啸天录天神归位
戬晓曦
【独家/每周五更新】《三眼哮天录》第二部上线!杨戬冲破封印以上神之姿傲视三界,敌友阵营重新洗牌,新的格局拉开序幕——而放弃世人决意与蓝缡回归......
0.0万字6个月前
宇宙贩卖者 连载中
宇宙贩卖者
今日不打烊
浩瀚的宇宙里有着一群富婆通过购买星球来填满自己的快乐而禁卡卡的工作就是贩卖宇宙
8.9万字6个月前
凌落九霄 连载中
凌落九霄
冰诺茜希
洛凌霄:  百般娇宠是你给的,万般折磨也是你给的。名字是你取得,命亦是你救的。可偏偏也是你给了我一次又一次的折辱,是你下令要了我的命。  我......
4.6万字6个月前