Feeds:
Posts
Comments

Only human

因为个人原因,这个博客荒废了一段时间。接下来希望能恢复正常的更新节奏。

生活在只有数学结构的世界里,从某种意义上是很理想的。But we are only humans.

一个新近的例证是P.Deligne获得了今年的Abel奖。在T.Gowers宣布这一消息的博客文章里,一位化名sowa的数学家公开质疑

(1)Gowers是否有足够的专业知识连续3年撰写面向公众的获奖人介绍 (尤其是介绍J.Milnor和P.Deligne);

(2)去年获奖的E. Szemerédi是否有资格与J.Milnor和P.Deligne并列;以及更为本质的,

(3)近年来Gowers和陶哲轩等人大力倡导的“组合数学”是否(像代数几何一样的)重要,或者仅仅是Bourbaki意义下的“次等数学”;

十余位数学家和sowa展开了连篇累牍的辩论(包括上面提到的2位Fields奖得主Gowers和陶哲轩)。我花时间读完了全部的讨论,并再一次确认数学家也不过是普通人类,也像普通人类一样趋炎附势、自以为是、喜怒贪嗔。我自身的软弱动摇,归根结底也是人类弱点的一种,since we are only humans.

Weil的广博

管窥蠡测,自然有顾及不到的地方,何况我本无意(也无力)潜心写一篇翔实的考据文章——之前曾在《游里功夫独造微》读到小平邦彦眼中的Weil:“脑筋惊人得好,凡是别人想到的问题他差不多都想过了。”我的原意只是为这句话作一个注解。

记忆所及,我所读过的涉及Weil生平的材料大致有

A.Weil  The Apprenticeship of a Mathematician

中文网上流传颇广的《André Weil的一生》有很多内容采自这本回忆录。

S.Weil  Attente de Dieu

读的是杜小真的译本《在期待之中》。Simone Weil被尊奉为“黑暗时期三女哲”之一,公众知名度大概要(远远?)超过André. 然而她说:“我的哥哥天资超人,他的童年和青年时期类似帕斯卡尔,正是他这种天资使我产生死的念头。”

P. Halmos  I want to be a mathematician

Halmos在这本回忆录里指名道姓地宣称Dieudonné(和他本人一样)不过是二流人物(与此同时Le Monde的记者称他为“当代数学的化身”),却对曾在Chicago和他共事的Weil佩服得五体投地。

G.Shimura  The map of my life

G.Shimura  André Weil as I knew him

前者是志村的回忆录,后者是Weil去世后志村写的追忆性文章。我总觉得志村努力在Weil面前维持一种不卑不亢的形象,其实是敬畏的表示——对于其他人,他要么秉持一种“疏离的刻薄态度”(说明还有被轻视的价值),要么完全漠视。

同样在Weil身后,Bombieri评论说:”I think of him as one of the few people who shaped the mathematics of the 20th century, his ideas are still fundamental.” 这并不出人意料:尤其是在考虑到Bombieri同样是一个兴趣广泛的人而他的工作领域和Weil有极大的重叠。

公认Weil最感兴趣用功也最勤的还是数论,基于此他才有兴趣去考察代数几何和拓扑群的基础问题。微分几何和复几何对于他来说,可能不是那么核心的论题,不过他的贡献还是出人意料得多。他的另一个特点是酷爱研读经典,并从中发掘研究的素材。这是优点,同时也是弱点:Weil并不具备Grothendieck意义上的“创造性”,虽然这样责备求全并不公平。

豆瓣的Shimura君推荐了Taniyama早年对Weil的一段评论,对这两个特点有很犀利的观察:

“Since he attacks too many problems, he has a tendency to insufficiently investigate a single problem.” “A completely different area, an expected development, a deep relation between several branches which is more than just a formal analogy, do such things no longer exists? It is not possible to pioneer a new such world via Weil’s approach.”

  • Gauss-Bonnet theorem

“千古寸心事,欧高黎嘉陈”,是有趣的总结,不过不可以太当真。可以提的名字还有不少,例如Hopf,是真正开始整体Riemann几何研究的第一人。在Gauss-Bonnet定理的高维推广上,他也是先行者。在陈先生之前,Allendoerfer和Weil得到了高维Gauss-Bonnet定理的第一个完整证明(在不依赖于Nash嵌入定理的意义上),尽管不是内蕴的。因为陈先生的关系,对这段历史的考据已经汗牛充栋,此处不赘。

  • Chern-Weil theory

基本上是Gauss-Bonnet定理内蕴证明的衍生工作:陈先生的算功和Weil的眼力都是一流的。同样在那篇名文《菩萨、量子数与陈氏级》里,杨振宁先生提到1948年Weil和Fermi的一番谈话,回想起来大概和示性类在粒子物理里的应用有关。Weil据说是讨厌物理的(教师资格考试的时候交了白卷),何以有这样“智差二十年”的先见之明,颇让人诧异。

殆复流形的概念是Hopf的贡献,陈先生和Weil对此都很感兴趣。建议Nirenberg在这个方向上做一尝试也是他们两人(参见Nirenberg追忆陈先生的文章,收录在S.S.Chern: A Great Geometer of the Twentieth Century里)。

Newlander和Nirenberg的主要贡献在于对PDE的正则性分析:对于实解析流形,Weil很清楚地知道同样的结果成立,参见他的名著Introduction à l’étude des variétés kählériennes.

  • Several complex variables

Weil和Ahlfors交谊深厚。一件轶事是Ahlfors曾打赌说只要Weil能推广Gauss-Bonnet公式到高维,他就能把Nevanlinna理论推广到多复变情形。Weil做到了,但Ahlfors却没能完成他所承诺的推广。

Weil本人在印度曾集中研究过多复变函数论,成果之一是把Cauchy积分公式推广为Bergman-Weil公式

  • Weil-Petersson metric

Weil和Ahlfors的另一次合作是关于Teichmüller空间上的Weil-Petersson度量。Weil给出了定义,并猜想这一度量是Kähler度量。这一次Ahlfors成功地给出了证明。

  • Foundations of Kähler geometry

就这个论题Kähler本人从来没有写过总结性的著作,Weil的Introduction à l’étude des variétés kählériennes大概是Griffiths-Harris之前最权威的一本。

关于Kähler恒等式(Hodge恒等式)与\mathfrak{sl}_2的表示论的关系,直到70年代仍不是标准材料 (O.Wells在写Differential Analysis on Complex Manifolds时就不知道)。我不确定这一观察的优先权属于谁:陈先生肯定知道这一点(在他推广Lefschetz定理的工作中运用了这一事实,Griffiths很可能是从陈先生那里学去的),Weil也知道这一点。

另外,萧荫堂的成名之作“K3曲面是Kähler流形”最初也以猜想的形式出现在Weil的书里。

  • Uniform space

“Bourbaki建立了一般拓扑学”并不是夸张:H.Cartan提出了滤子的概念,仿紧空间是Dieudonné的贡献,一致空间则要归功于Weil。他为此专门写了一本书:Sur les espaces à structure uniforme et sur la topologie générale.

  • Haar measure

Weil对拓扑群的兴趣源于他在此基础上建立类域论的尝试(也是日后Basic number theory的主要内容)。

一个中心论题是不变测度的存在性。对于紧群,这一点是von Neumann证明的(简单的平均化技巧),Haar证明了局部紧群上左不变测度的存在性和唯一性(在第二可数假定下),第一个一般的证明是Weil做出的,参见他的专著L’intégration dans les groupes topologiques et ses applications.

  • Pontryagin duality

另一个相似的例子是Pontryagin对偶。Pontryagin的讨论同样依赖于第二可数这一技术假定,Weil成功地给出了一般的证明。

这些关于Haar测度和Pontryagin对偶的讨论是局部紧群上的调和分析的肇始。

  • Fixed point theorems

和von Neumann一样,Weil钟爱不动点定理。例如他用Lefshetz不动点定理证明了紧拓扑群的极大环面两两共轭,这与基于Lie代数的处理(Weyl)以及基于Riemann几何的处理(E.Cartan)迥然不同。不动点定理也以相交理论的面貌出现在他对代数几何基础和Weil猜想的讨论中。

  • Borel-Weil theorem

这条定理通常被视为几何表示论的开山之作,但我没有仔细考究过它的历史。A.Borel是本色当行的表示论专家,但我不清楚Weil在这条定理中所扮演的角色——或许只是以他丰富的经验“不经意间”指点了某处关键?

  • De-Rham theorem

Weil在同调论方面的另一个贡献是独立给出了de Rham定理的证明,其意义只有在H.Cartan开始层论研究的时候才被发掘出来——那事实上是de Rham定理的第一个层论证明,也就是Bott-Tu中可以读到的那个证明。

  • Riemann-Roch theorem

在Chevalley提出ideles群的概念之后,Weil继而提出了adele环的概念,并应用于Riemann-Roch定理的代数证明(可以在Basic number theory里读到)。另一个研究Riemann-Roch定理的副产品是Weil除子的概念。

Weil还给出了Riemann-Roch定理的一个推广:对代数曲线上的全纯向量丛给出了计算其Euler示性数的公式。同样在层论得到发展之后,Serre的重新诠释最终导致了Hirzebruch-Riemann-Roch乃至Grothendieck-Riemann-Roch的证明。

  • Foundations of algebraic geometry

将代数几何彻底“代数化”(从而应用于数论)的梦想可以追溯到Dedekind和Kronecker。Weil和Zariski是复兴这一梦想的领军人物,其中又以Weil对数论的方面(即现在的算术几何)较感兴趣。

时至今日Weil的Foundations of algebraic geometry已不再被认为是“基础”了,几乎所有门徒都已被EGA吸引走。不过,它仍向我们展示了一流数学家做数学的方式:当工作缺少基础的时候,就自己打造一个。在这一点上,此书有与EGA相当的价值。

  • Abelian varieties

众所周知20世纪后半叶代数几何的2大突破(Deligne对Weil猜想的证明,Faltings对Mordell猜想的证明)都与Weil的名字密不可分。Weil本人考虑这2个问题的角度或多或少是经典的。例如Mordell-Weil定理的证明是如下计划的一部分:将代数曲线的有关理论系统地推广到Jacobi簇上,后者是当时仅有的了解得较好的高维代数簇。

Weil对椭圆曲线和Jacobi簇的研究有很多具体的成果,比如Hasse-Weil上界,比如Weil配对。不过最重要的是,经由他的工作Abel簇的概念和基本的性质最终得以建立。

Weil证明了Mordell-Weil定理后,一度误以为自己也能解决Mordell猜想。Hadamard曾建议Weil将Mordell猜想彻底解决后再一并发表:他显然错估了后者的难度。历史或许应该感谢Weil的不听劝告。

  • Algebraic groups

Bourbaki有研究Lie群和代数群的传统:首先是Chevalley,继之以A. Borel. 我猜想Weil在这方面的兴趣大概和他们两人有密切的关系,当然代数群本身就与数论密不可分。以他命名的概念包括Weil–Châtelet群以及有关Tamagawa数的Weil猜想

Weil没有专攻过代数群表示的一般理论,但他仍有重要的贡献。最著名的大概是他的”Acta Paper“:重新诠释了Siegel在二次型方面的工作并将解析数论和亚辛群(metaplectic group)的Weil表示联系起来,实开Langlands纲领之先河。

关于这篇论文的数论方面,可以参考专著

Berg  The Fourier-analytic proof of quadratic reciprocity

至于解析的方面:theta函数,Heisenberg群,等等,可以参考

Mumford  Tata lecture on theta III

  • Riemann hypothesis

或许任何一个研究数论的人都无法抗拒Riemann猜想的诱惑。除了在经典工作上作进一步的深化(例如Weil精确公式),Weil似乎没有直接攻击过这个难题,更多时候他的方法是“绕圈转”:尝试不同角度的推广。Weil本人认为从数域与有限域上的函数域的类比出发所做的系列研究是他最好的工作:对有限域上的代数曲线证明了Riemann猜想,并提出了Weil猜想。

Weil猜想可以翻译为某个上同调论的观察是Serre告知Grothendieck的,而最早发现这一点的是Weil本人。可以说他是Lefschetz和Grothendieck之间的桥梁。Weil猜想得到证明后,据说Weil对Riemann猜想的证明非常乐观,以至于陈先生一度建议丘成桐去做这个方向。历史或许也应该感谢丘先生的不听劝告。

在更深刻的问题上,Weil也迈出了第一步:对数域上的代数簇定义了Hasse-Weil L函数。基于Langlands哲学,猜想这些L函数全部来自自守表示。一个已获证明的特例是

  • Taniyama–Shimura猜想

如今更为恰当的称呼或许是模定理。关于Weil的名字是否应该加到这个猜想上有连篇累牍的论战,比较接近事实真相的陈述或许是:谷山第一个暗示了此类联系的存在,精确猜想的提出归功于志村,而Weil有广而告之的功劳。

上述讨论尚未真正触及Weil工作的主体:数论。由此他的广博也可见一斑了。

2个概率问题

Questions

下面2个小问题取自

Stein, Shakarchi  Functional analysis: introduction to further topics in analysis

Q1:除去一个可数集(所谓的二进分数),所有落在[0,1]中的实数都有唯一的二进制表示:\displaystyle \alpha=\sum_{n=1}^\infty \frac{a_n}{2^n}a_n等于0或1。随机选取一个\alpha,0和1在其二进制表示中密度相当的概率有多大?

Q2:\displaystyle \sum_{n=1}^\infty \frac{1}{n}发散而\displaystyle \sum_{n=1}^\infty \frac{(-1)^{n+1}}{n}收敛到\log 2。如果考虑\displaystyle \sum_{n=1}^\infty \frac{a_n}{n}并随机选择a_n=\pm 1,则级数收敛的概率有多大?

Discussions

回忆概率论的基础:定义概率空间(\Omega,m)(概率测度m定义在“事件”的\sigma代数上,满足m(\Omega)=1)。以下仅考虑\Omega上的实值可测函数f:(\Omega,m) \to (\Bbb R,\mu_f),例如随机变量X概率密度函数f_X:\Omega \to \Bbb R_{\ge 0}。在实际应用中f:\Omega \to \Bbb C(量子统计)和f:\Omega \to \Bbb R^d(随机漫步Brown运动)同样常见。

X的平均值(期望)E(X)=\int_\Omega f dm=\int_\Bbb R td\mu(t)

X的方差\sigma^2(X)=\int_\Omega (f-E(X))^2 dm

(1)\{f_n\}^\infty_{n=1}称为同一分布的,若\mu_nn无关。

(2)\{f_n\}^\infty_{n=1}称为互相独立的,若对于任意Borel集\{B_n\}_{n=1}^\infty \in \Bbb R

\displaystyle m(\bigcap_{n=1}^\infty\{x:f_n(x)\in B_n\})=\prod_{n=1}^\infty m(\{x:f_n(x)\in B_n\})

描述Q1和Q2的模型是(无限)Bernoulli过程,此时\Omega=\Bbb Z_2^\infty。各自除去一个(可忽略的)可数集后,我们可以(利用二进制表示)将\Bbb Z_2^\infty等同于[0,1)(赋予Lebesgue测度)。

考虑定义在\Bbb Z_2^\infty上的2人零和博弈:若a_n=0则玩家A得1分,否则失1分,其收益函数记为r_n。通过上述等同,我们同时也定义了r_n:[0,1) \to \pm 1\{r_n\}_{n=1}^\infty称为Rademacher函数(或方波函数)。它们是一族同一分布且互相独立的函数。

Q1的答案是1:只需将大数定律(若同一分布且互相独立的函数族\{f_n\}^\infty_{n=1}有相同的平均值E,则\displaystyle \frac{1}{N}\sum_{n=1}^N f_n(x) \to E几乎处处成立)应用于(稍加修饰的)Rademacher函数。

一个理应众所周知但实际上并非如此的事实是大数定律可以由Birkhoff点态遍历定理推出:等式左端可理解为某个强混合系统的空间平均,从而等于右端的时间平均。一个更一般的结果是Birkhoff-Khinchin定理(推广到条件期望)。

点态遍历定理可以追溯到Lagrange,Laplace和Gauss对天体力学的研究。在数论中,它以一致分布定理的面貌出现(Bohr, Sierpinski, Weyl)。下面这个问题来自Arnold:\{2^n\}_{n \ge 0}的首位数依次为1, 2, 4, 8, 1, 3, 6, … 求此序列中7出现的概率与8出现的概率之比。

答案是(\log 8-\log 7)/(\log 9-\log 8)n \log_{10} 2 \mod 10是一致分布的。

Arnold  Mathematical methods of classical mechanics

Q2的答案也是1。如果说Q1是利用L^1收敛推出(采样意义上的)点态收敛,那么Q2则是利用L^2收敛推出点态收敛,关键是注意到(1)\{r_n\}L^2[0,1]中的正交序列(虽然并不完备:考虑它们的Fourier级数可知);(2)若将[0,1)等分为N个子区间,则对于每个子区间Ir_n等于r_nI上的平均对于n \le N成立。从而

(1)由于(1,\frac{1}{2},\cdots) \in l^2\displaystyle P_N=\sum_{n=1}^N \frac{r_n}{n}L^2收敛于某个P。(2)对上述的IP_N等于PI上的平均。接下来只需令N \to \infty并应用Lebesgue微分定理即可推出P_N几乎处处收敛于P

以Hodge定理为中心,我们有一系列更深入的结果和许多重要的应用,统称为Hodge理论。同样的,我们以Abel-Jacobi理论统称围绕在Abel-Jacobi定理周围的系列结果。事实上两者紧密相关:这基本上是Griffiths学派围绕Schottky问题所做的工作。

我们希望从多个方面理解Abel-Jacobi理论:从古典的代数函数积分到摩登的Picard簇(Picard概型)。

Integrals of algebraic functions

给定没有重根的3次(或4次)多项式p,Legendre集中研究了形如\int \frac{dx}{\sqrt{p(x)}}椭圆积分。更一般地,给定没有重根的多项式p,Abel考虑了Abel积分I=\int R(x,\sqrt{p(x)})dxR是任意有理函数。讨论Abel积分的复代数几何框架是由Riemann奠定的。

具体地说,定义C=\{(x,y)\in \Bbb CP^2:y^2=p(x)\}。投影(x,y) \to x给出代数曲线C\Bbb CP^1的双叶覆叠。视C为紧Riemann面,Riemann-Hurwitz公式定出C的亏格g=\lceil\mathrm{deg}\,p/2-1\rceil整格L=H_i(\Bbb Z)=\Bbb Z^{2g}L^{\wedge}被Riemann称为周期。

I是有理1形式\omega在代数曲线C上的线积分。进一步假定\omega没有极点(古典意义下的第一类Abel积分),由GAGA这等价于考虑紧Riemann面上的全纯形式。Abel发现任意g+1个第一类Abel积分均线性相关,用现代的记号,H^0(\Omega^1)=\Bbb C^g

Jacobian varieties

给定x_0 \in C,以\gamma_x记从x_0x的曲线。H^0(\Omega^1)在闭曲线\gamma_{x_0}上的积分取决于\gamma的同调类,换言之,在复环面J(C)=H^0(\Omega^1)/L^\wedge=\Bbb C^g/\Bbb Z^{2g}上取值。一般地,H^0(\Omega^1)\gamma_{x}上的积分定义了Abel-Jacobi映射j:C\to J(C)x_0的不同选取给出J(C)的不同主极化

紧复交换Lie群J(C)事实上是代数群:H^0(\Omega^1)上有自然的半正定Hermitian内积h,而H_i(\Bbb Z)上的相交形式\omega满足Riemann双线型关系\omega=\mathrm{Im}\, h。由Kodaira嵌入定理J(C)可以嵌入某个复射影空间成为代数簇,称为复代数曲线CJacobi簇

一般地,称紧复交换代数群(复代数环面)为Abel簇,Abel-Jacobi函子J是(标记)代数曲线范畴到(主极化)Abel簇范畴的反变函子,使得存在正则映射j:C \to J(C)j^*给出J(C)上的不变全纯1形式(J(C)的Lie代数)到C上全纯1形式的一一对应。另一个纯粹的范畴论刻画是:在(标记)代数曲线C到(主极化)Abel簇范畴的态射范畴中,Abel-Jacobi映射j:C \to J(C)投射对象

(1)J有左逆,换言之,主极化的J(C)决定C(Torelli定理)。

(2)J没有右逆。刻画所有可实现为Jacobi簇的Abel簇是一个著名的难题(Schottky问题)。唯一充分理解了的情况是1维:椭圆曲线的Jacobi簇与自身同构。

Mumford  The Michigan Lectures (1974) on curves and their Jacobians

Mumford  Abelian varieties

Theta functions

研究Abel簇的一大手段是研究簇上的有理函数。Jacobi提供了具体构造这些函数的一个经典方法:首先定义\Bbb C^g上的伪周期全纯函数(因为全纯函数不能是周期的),再取它们的商。此类函数称为\theta函数

“公式数学”的优点在于具体。例如,经典的Lefschetz嵌入定理将告诉我们比Kodaira嵌入定理更多的东西:可以用Riemann \theta函数给出嵌入的显式并决定复射影空间的维数。

除了代数几何,\theta函数还出现在数学的各个角落:从数论(\zeta函数模形式)到离散群(Heisenberg群Fuchs群),从PDE(热方程,KdV方程)到量子场论。

Mumford  Tata lectures on theta

Algebraic construction

另一种构造Jacobi簇的思路是Weil提出的,他注意到在经典的\theta函数理论中,J(C)的函数域可以由C的函数域的g次幂模去对称群的作用得到,换言之,从几何上看C对称积\Sigma^g C双有理同构于J(C)。这一构造的优点在于用到的所有工具均可以代数化,从而可以推广到一般域上。Weil正是以此证明了函数域的Riemann猜想/1维的Weil猜想

关于Weil构造以及另一种代数构造(Kollár构造)的详情,参见

Milne  Abelian varieties

函数域与代数数域的类比或许是数学中最深刻的类比,在这一框架下,Jacobi簇的对应物是理想类群。Weil的工作是数论启发代数几何的一个例子。另一个更早的例子是Galois理论的迁移:Liouville以此证明了Abel积分不能用初等函数表出,开Picard-Vessiot理论之先河。

Addition theorems

p(x)=(1-x^2)(1-k^2x^2)\displaystyle j(x)=\int_{x_0}^x \frac{dx}{\sqrt{p(x)}} \in \Bbb C/\Bbb Z^2Euler加法定理代数加法定理的模本:若j(x_3)=j(x_1)+j(x_2),则x_i(i=1,2,3)满足某个代数方程。注意到y^2=p(x)是一类特殊的椭圆曲线Cg=1dx/y是唯一的全纯微分,理论上利用Weierstrass的\mathfrak{P}函数理论可以决定所有此类代数加法定理的显式。

高亏格曲线的Jacobi簇不再同构于曲线本身,此时Abel研究了加法定理存在的抽象条件。另一位挪威数学家Selberg曾表示:”Neither with Gauss nor Riemann, nor with anybody else, have I found anything that really measures up to this.”

以现代术语陈述的结果如下:j诱导C除子群D(C)J(C)的Abel群同态,我们将此同态限制在度数为0的子群D_0(C)上。

(Abel加法定理) \displaystyle j(D)=0当且仅当D \in D_0(C)是主除子。

换言之,我们有单同态j:\mathrm{Pic}_0(C) \to J(C)\mathrm{Pic}_0(C)=D_0(C)/D_P(C)称为CPicard簇。Jacobi进一步证明此同态是满的(称为Jacobi反演定理),从而有

(Abel-Jacobi定理) j:\mathrm{Pic}_0(C) \to J(C)是群同构。

Picard varieties

相交理论中,光滑射影簇V上的k-代数闭链有如下4种常用的等价分类:

(1)有理等价:Z_1 \sim_r Z_2当且仅当二者通过某条射影直线“协边”。这是最精细的等价关系。1-代数闭链(除子)的形式群模去有理等价关系(线性等价关系)定义了Picard群\mathrm{Pic}(V)。所有代数闭链的有理等价类在相交积下构成一个分次环,即射影簇的Chow环

(2)代数等价:Z_1 \sim_a Z_2当且仅当二者通过某条代数曲线“协边”。除子群模去代数等价关系定义了Néron–Severi群\mathrm{NS}(V)。它比Picard群“小”得多,是一个有限生成的离散群(Néron–Severi定理)。

(3)同调等价:Z_1 \sim_h Z_2当且仅当二者有相同的同调类。对于代数曲线上的除子,这相当于要求它们有相同的度。

(4)数值等价:Z_1 \sim_n Z_2当且仅当二者和任意(n-k)-代数闭链的交均有相同的度。

在代数几何中,一个非常重要的问题是研究这4种等价之间的差异。例如著名的标准猜想D即为:(3)和(4)一致。对于代数曲线上的除子群,(2)(3)(4)是一致的,考察对象本质上只有一个:Picard簇\mathrm{Pic}_0(C)。在高维,我们定义\mathrm{Pic}_0(V)=\mathrm{Pic}(V)/\mathrm{NS}(V),它衡量了(1)和(2)之间的差异。

从这个角度看,Abel-Jacobi定理的重要性在于描述了\mathrm{Pic}_0(C)的结构:

(Abel-Jacobi定理,II) 代数曲线的Picard簇与其Jacobi簇同构。

对于高维(标记)射影簇V,Abel-Jacobi函子的范畴论刻画给出一个(主极化)Abel簇\mathrm{Al}(V),称为VAlbanese簇。Abel簇的Albanese簇同构于其本身。一般来说,Albanese簇是Picard簇的对偶Abel簇,而我们能保证的最好结果是Abel簇和它的对偶同源(存在映满且有限核的态射)。

Kleiman  The Picard scheme

Leisure readings

Vergne  All what I wanted to know about Langlands program and was afraid to ask

Gelbart  An elementary introduction to the Langlands program

Frenkel  Recent Advances in the Langlands Program

I.Papers & Books

0.Tools

Gaitsgory  Geometric representation theory

Kac   Infinite dimensional Lie algebras

Frenkel, Ben-Zvi  Vertex algebras and algebraic curves

Beilinson, Drinfel’d   Chiral algebras

Arthur  An introduction to the trace formula

1.Langlands Program for number fields

1.1 Local Langlands for \Bbb C and \Bbb R

1.2 Local Langlands for p-adic fields

Harris, Taylor  The geometry and cohomology of some simple Shimura varieties

Henniart  Une preuve simple des conjectures de Langlands pour GL(n) sur un corps p-adique

1.3 Fundamental Lemma

Waldspurger  Endoscopie et changement de caractéristique

Ngô  Fibration de Hitchin et endoscopie

Laumon, Ngô  Le lemme fondamental pour les groupes unitaires

Waldspurger  L’endoscopie tordue n’est pas si tordue

Ngô  Le lemme fondamental pour les algèbres de Lie

2.Langlands Program for function fields

Drinfel’d  Elliptic modules I,II

Laumon  Cohomology of Drinfeld modular varieties I,II

Lafforgue  Chtoucas de Drinfeld et applications

Lafforgue  Chtoucas de Drinfeld, formule des traces d’Arthur-Selberg et correspondance de Langlands

3.Geometric Langlands Program

Witten  Quantum field theory, Grassmannians and algebraic curves

Kapustin, Witten  Electric-Magnetic Duality And The Geometric Langlands Program

Frenkel, Gaitsgory, Vilonen  On the geometric Langlands conjecture

Frenkel  Lectures on the Langlands Program and Conformal Field Theory

II.On-line Resources

The Work of Robert Langlands: the official on-line archive for Robert Langlands’ work

Northwestern Geometric Langlands Program maintained by Vilonen, Frenkel, Gaitsgory and Goresky

Chicago Geometric Langlands Seminar

GRASP run by David Ben-Zvi

Homepage of Edward Frenkel

Homepage of Dennis Gaitsgory

睡前刚得知的消息:Hörmander已于本月25日去世,享年81岁。他至少已经是今年去世的第3位大师了(这份名单上还包括F.HirzebruchW.Thurston)。

Lars Hörmander (1931-2012)

图为1969年Hörmander在东京的留影(出处)

这个博客之前讨论过的分析内容不多,其中就包括了Hörmander的亚椭圆性定理

May he rest in peace. 希望周末有时间为他多写几个字。

并不十分困难的经典问题(当然,是在前人示范之后!),却在2天之内碰到了2次:做oral prensentation时导师问到这个问题,紧接着在阅读一位Princeton Phd Candidate的general exam记录时注意到田刚问了他相同的问题。

问题是这样的:Kähler流形同时是Riemann流形、复流形和辛流形。我们希望仔细地考察这三个包含关系,更具体地,

(Q1)是否所有可定向的偶数维(紧)Riemann流形都有相容的Kähler结构?

(Q2)是否所有(紧)复流形都有相容的Kähler结构?

(Q3)是否所有(紧)辛流形都有相容的Kähler结构?

在2维,这3个问题的答案都是肯定的,这本质上是单值化定理的推论。

在高维,Hodge理论提供了非平凡的拓扑障碍:Betti数b_{2k+1}必须是偶数。我们立即得到(Q1)的否定回答:Riemann度量的存在是没有拓扑障碍的(利用度量的凸性和单位分解,或者利用O(n)GL_n(\Bbb R)的形变收缩核并考虑结构群的约化)。

复结构和辛结构的存在均有非平凡(且理解得不太好)的拓扑障碍,因而(Q2)和(Q3)的答案并非显然。

一般来说,构造流形的方法大致有:(1)考虑各种“元件”的装配:乘积,纤维化,连通和,等等;(2)考虑特定流形的子流形,特别地,考虑特定函数或函数族的水平集或零点集;(3)考虑特定流形在群作用下的商流形。(3)允许我们控制\pi_1(选择适当的离散群作为覆叠群),从而通过Hurewicz定理控制b_1。这提供了一个构造反例的思路:(a)选择足够简单的单连通复/辛流形\tilde{M};(b)构造\mathrm{Aut}(\tilde{M})的离散子群\Gamma使得(b1)M=\tilde{M}/\Gamma是紧流形;(b2)\Gamma/[\Gamma,\Gamma](\Gamma的Abel化)的秩为奇数。

不容许Kähler结构的紧复流形的第一个例子是由Hopf(1948,在Kähler几何以及Hodge理论创立后不久)得到的:(a)选取复流形\Bbb C^2-\{0\};(b)令\gamma:(x,y) \mapsto (ax,by)0<|a|\leq |b|<1\Gamma是由\gamma生成的循环群。

记商流形为M_1。显然b_1(M_1)=1。事实上b_2(M_1)=0M_1甚至不是辛流形。

注记1 小平邦彦(1966, 1968)分类了满足如下条件的紧复曲面:(1)b_2=0;(2)\Bbb Z包含于\pi_1的中心,且\pi_1/\Bbb Z是有限群。为纪念Hopf,通常称它们为Hopf曲面。它们是Kodaira维数-\infty的非Kähler曲面(通常称为类型VII)的例子。

注记2 已知b_1为偶数也是紧复曲面容许Kähler结构的充分条件(Lamari, 1999; 独立地,Buchdahl, 1999)。特别地,所有单连通紧复曲面都容许Kähler结构。

人们一度猜想紧辛流形一定是Kähler流形,或者至少,由于紧Kähler满足强Lefschetz定理(从而是有理同伦论意义下的形式空间),人们猜想强Lefshetz定理在辛流形上的形式类比成立,换言之,所有辛流形都是Lefschetz流形

1971年Thurston找到一个反例:(a)选取带有标准辛结构的\Bbb R^4;(b)考虑由如下4个辛同胚生成的\Gamma

\gamma_1:(p_1,q_1,p_2,q_2) \mapsto (p_1,q_1,p_2+1,q_2)

\gamma_2:(p_1,q_1,p_2,q_2) \mapsto (p_1,q_1,p_2,q_2+1)

\gamma_3:(p_1,q_1,p_2,q_2) \mapsto (p_1+1,q_1,p_2,q_2)

\gamma_4:(p_1,q_1,p_2,q_2) \mapsto (p_1,q_1+1,p_2+q_2,q_2)

记商流形为M_2。易见\Gamma/[\Gamma,\Gamma]的秩为3,即b_1(M_2)=3

注记3 M_2的构造有更深刻的背景,我们拟简单地介绍之。

称微分流形为幂零流形,若存在某个幂零Lie群可迁地作用在此流形上。换言之,幂零流形是对称空间:同胚于幂零Lie群模去某个闭子群。紧幂零流形总可以实现为某个单连通幂零Lie群模去余紧的离散子群(Mal’cev)。已知除环面外(对应交换Lie群),它们都不是形式空间,更不容许Kähler结构。

Hasegawa  Minimal models of nilmanifolds

这类流形中维数最低的例子是Heisenberg流形HHeisenberg群(有微分同胚型\Bbb R^3)模去离散Heisenberg群。在Thurston对3维几何的分类中,Heisenberg流形代表了一类基本的几何:幂零几何。一方面,M_2=H \times S^1也是幂零流形。另一方面,Thurston知道所有3维幂零流形都是T^2T^1纤维化,因而M_2是辛流形并非偶然:它是辛环面上的辛环面丛!

事实上M_2恰巧也是复曲面(作为椭圆曲线在椭圆曲线上的纤维化,椭圆曲面)。更精确地,它有Kodaira维数0,属于Enriques-Kodaira分类中的一类:Kodaira曲面。就这个意义上来说,小平邦彦才是发现这个例子的第一人(文献中通常称M_2为Kodaira-Thurston流形),可惜他没有从辛几何的角度考虑问题。

注记4 与注记2相反,存在不容许Kähler结构的单连通辛4-流形(McDuff)。显然这不可能通过思路(3)得到。McDuff采用思路(2),并本质地利用了Gromov的伪全纯曲线理论

注记5  已知任意有限展示群都可以实现为2n维辛流形(n \geq 2)的基本群(Gompf,他的构造方法是取辛流形的连通和,即思路(1))。另一方面,已知类似的结论对Kähler流形是不成立的,从而给出了更多反例。

我们以一张4维紧流形的清单来结束讨论:首先注意到(殆)辛流形一定是殆复流形(U(n)Sp_{2n}(\Bbb R)的形变收缩核)。

(1)S^4不是殆复流形。

(2)\Bbb CP^2\#\Bbb CP^2\#\Bbb CP^2是殆复流形,但不是辛流形(Taubes),从而不是复流形(否则由注记2它必须是Kähler流形)。

(3)Hopf曲面M_1是复流形,但不是辛流形。

(4)环面上的环面丛是辛流形,但通常不是复流形,绝不可能是Kähler流形(作为幂零流形)。

(5)Kodaira-Thurston流形M_2是(4)中的特例:它是复流形。

Follow

Get every new post delivered to your Inbox.

Join 38 other followers