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

Riemann-Roch定理 (6-1)

Weil除子

定义:设 X 是一个诺特整概形, X 上的素除子(prime divisor)是指 X 的一个余维数为 1 的不可约闭子集, X 上的一个Weil除子 是指由素除子生成的自由阿贝尔群 Z¹(X) 中的一个元素: Z=∑ nzZ ,

Z

这里 {Z:nz ≠ 0} 是有限集合. 一个Weil除子 D 称为是有效的(effective),如果所有系数都是非负的. 记 D ≥ D' ,如果 D – D' 是有效除子.

设Z 是 X 的一个素除子,则局部环 𝓞 x,ᴢ 的Krull维数为1 . 若 f ∈ 𝓞 x,ᴢ是一个非零元,则the order of vanishing of f along Z,written ᴢ(f) ,定义为 𝓞 x,ᴢ/(f) 的长度. 这个长度是有限的,且满足 ordᴢ(fg)=ordᴢ(f)+ordᴢ(g) . 再设 f 是有理函数域 K(X) 的一个非零元,则 f 可写成

g

f=─,g,h ∈ 𝓞 x,ᴢ的形式.

h

于是the order of vanishing of f 定义为 ordᴢ(f):=ordᴢ(g) – ordᴢ(h).这样,我们得到一个函数:

ordᴢ:K(X)* → ℤ

如果X 是normal scheme,则局部环 𝓞 x,ᴢ 是一个离散赋值环,上述函数 ordᴢ 是对应的赋值. 对 f∈K(X)* ,定义主除子(the principal Weil divisor associated to f )为:

div f=∑ordᴢ(f)Z.

Z

可以验证这个和是有限和. 它满足

div fg=div f+div g.

这表明我们有同态:

din:K*x(X) → Z¹(X), f ↦ dib f

故这个同态的像是Div(X) 的子群. Weil除子类群(Weil divisor class group) Cl(X) 定义为 Div(X) 模掉这个主除子生成的子群. 称两个除子是线性等价的(linearly equivalent),如果它们之差是一个主除子. 故Weil除子类群就是除子群 Div(X) 模掉线性等价. 故有正合列

1 → 𝓞 *x(X) → K*x(X) → Z¹(X) → Cl(X) → 0.

设X 是一个normal诺特整概形. 则每个Weil除子决定了一个凝聚层 𝓞 x(D) :它是有理函数域层 Kx 的子层

Γ(U,𝓞 x(D))={f ∈ K*x(U)│div(f)+D ≥ 0}∪{0}.

可以证明,两个Weil除子D,E 是线性等价的当且仅当 𝓞 (D) ≃ 𝓞 (E)作为 𝓞 x -模层.

例1(仿射概形的除子)::设 A 是一个诺特Normal整环,考虑仿射概形 X=Spec A . 则 X 的一个Weil除子是一些环 A 的余维数为 1 的素理想的形式有限和. 现设 p 是 X 的一个素除子,即 p 是环 A 的余维数为 1 的素理想,于是 Aₚ 是一个离散赋值环,其分式域是 X 的有理函数域 K(A) . 于是存在赋值 υₚ:K(A) → ℤ∪{∞}. 有理函数域 K(A) 的每个非零元素 α ,定义了一个主除子

(α)=∑υₚ(α) · p

其中p 取遍 A 的所有余维数为 1 的素理想.

例如取A=ℤ ,则它的所有素理想 (p) 都是余维数为 1 的素理想. 取一固定的素数

n

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

相关小说

司命他六根清净 连载中
司命他六根清净
染月映色
双男+甜+双洁(●'◡'●)九天之上,司命独掌众生之灵千百年来皆道六根清净当属司命——烬华此言闻名中古,某个闲神闻言日日往司命殿跑。…………......
0.1万字9个月前
圆梦笔记(书名重了凑一下) 连载中
圆梦笔记(书名重了凑一下)
偷懒的素摇
用于给作者和粉丝圆梦的!一些想要看修改剧情的就可以来这里哦(比如让某人复活),当然还有作者发疯。包含“忧者”“爱者”和“常者”。
0.1万字9个月前
底层的农民们修仙可不容易啊 连载中
底层的农民们修仙可不容易啊
谷沐寒
简介正在更新
0.4万字9个月前
梦芸松驰 连载中
梦芸松驰
唐朝汐
3.9万字9个月前
星座,不负韶华 连载中
星座,不负韶华
羊崽崽a
以宇宙为背景,把所有的星球拟人化,主要讲的是十三星座的爱恨情仇,在宇宙中共有五大古族,现在早已销声匿迹,无多人知晓五大古族的人,五大古族分别......
26.1万字9个月前
宿古:如似红川 连载中
宿古:如似红川
FiveDaisy
“黑色的羽毛将会和尽头的枙子花一起落下”
1.5万字9个月前