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

补丁版第(5)章格罗滕迪克 (7-3)

此猜想也是关于代数链的存在性的断言,因此是很困难的.对于有限域上的非奇异射影簇(此时某种Frobenius 映射的多项式可用于分解母题)和特征零的Abel簇(由定义知Abel簇具有交换群结构,映射m:X → X,m ∈ ℤ,可用于分解h X)这是对的.

  假如猜想 C 是对的,则可谈论母题的权(weight).例如,母题hⁱ X的权为 i,而 h (X,πᵢ,m)的权为i ― 2m.母题称为是纯粹的 (pure) 是指其具有单一的权(singleweight).每个母题都是纯粹母题的直和.

只有证明了猜想C和猜想 D,Grothendieck 的梦想才能得以实现.

8

附注6.1 Murre[Mu]曾经猜测分解 (3) 即使在Cᵈⁱᵐ ˣᵣₐₜ (X × X) 中也是存在的,已证明他的猜想等价于 Beilinson 和Bloch 关于 Chow 群上的一个有趣的滤链的存在性猜想.

什么是 Tannaka 范畴(Tannakian category) ?

所谓仿射群,是指一个矩阵群(可能是无限维的)¹⁴.对于 ℚ 上的仿射群 G,其在有限维 ℚ― 向量空间上的表示的全体构成一个带有张量积和对偶的 Abel 范畴Repℚ(G),而遗忘函子则是一个从 Repℚ(G)到 Vecℚ 的保持张量积的忠实函子(faithful functor).

 ℚ 上的一个中性的 Tannaka 范畴 (neutral Tannakian category) T 是指一个 Abel 范畴,其带有张量积和对偶并存在到Vecℚ的保持张量积的忠实的正合函子;这样一个函子 ω 的张量积自同构构成一个仿射群 G,并且函子 ω 的选取决定了范畴的等价T → Repℚ(G).因此,一个中性的 Tannaka 范畴即是一个没有指定“遗忘”函子的仿射群的表示范畴的抽象形式 (正如向量空间是 kⁿ 的没有指定基的抽象形式一样).

 ℚ上的一个 Tannaka 范畴 T (未必是中性的) 是指一个Abel 范畴,其带有张量积和对偶并存在到某特征零的域 (未必是ℚ)上的向量空间范畴且保持张量积的忠实的正合函子;我们还要求End(𝟙)=ℚ 成立;这样的函子的选取给出了 T 到仿射群胚范畴的一个范畴等价.

 Mₙᵤₘ (k) 是 Tannaka 范畴吗?

 不,不是 Tannaka 范畴,在一个带有张量积和对偶的 Abel 范略 T 中是可以定义一个对象的自同态的迹的.其将被任何忠实的正合函子 ω:T → Vecℚ 所保持,因此对于对象 M 的恒等映射 u,有

Tr(u|M)=Tr(ω(u)|ω(M))=dimℚ ω(M),

此为向量空间的维数,故为非负整数.对于簇 X 的恒等映射 u ,Tr(u|h X)即为 X 的 Euler-Poincaré 特征 (Betti 数的交错和).例如,若 X 是亏格 g 的曲线,则有

Tr(u|h X)=dim H⁰ ― dim H¹+dim H² =2 ― 2g,

这可以是负的.这证明不存在正合的忠实张量函子 ω :Mₙᵤₘ(k) →Vecℚ.

为修正这一点,我们不得不变动张量积结构的内在机理.假设猜想 C 成立,则每个母题有分解 (4).如果当 ij 为奇数时,我们改变“典范”同构

hⁱ X ⨂ hʲ X ≃ hʲ X ⨂ hⁱ X

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

相关小说

惊世狂妃:皇叔一宠到底 连载中
惊世狂妃:皇叔一宠到底
庄庄2
洞房花烛夜被休,丈夫诬陷她和小叔子滚床单,渣爹毒死她,渣妹还要将她分尸?不是吧不是吧?都这个年代了,还有人受这窝囊气呢?21世纪戏精影后降临......
272.5万字9个月前
致自己的信 连载中
致自己的信
崎亦念
无聊乱七八糟的东西致我自己文笔很差๑_๑ᐝ
0.2万字9个月前
末日来临,只想抱紧大腿 连载中
末日来临,只想抱紧大腿
郁YuYin
双男+末日+1v1+无脑无逻辑,慎看。【已签约】莫名其妙的就末日了,还莫名奇妙被咬了的睡了好久,一醒来就是大佬“投怀送抱”。好吧,其实当丧尸......
12.7万字9个月前
风铃心愿 连载中
风铃心愿
是一竹a
是朋友和我共同讨论的设定
0.1万字9个月前
穿越血族禁域之珠华 连载中
穿越血族禁域之珠华
安墓
她本是一位神级杀手,但一次意外的死亡穿越到了“血族禁域”之中,成为了三位主角的小妹。她明白结局的凄惨,妄想改变它,触碰禁忌,引来了主神之怒。......
2.0万字9个月前
喜人奇妙夜:情乱 连载中
喜人奇妙夜:情乱
黎季言
1V1,cp是高越,男主是李治良的表弟,也报名的喜人奇妙夜,本来只想认真参赛的他,却不想春心萌动,在这里他收获了友情,爱情和事业
0.3万字9个月前