推荐2018年国家自然科学奖公示项目名称典型群表示论提名专家.PDFVIP

推荐2018 年度国家自然科学奖公示 项目名称：典型群表示论 提名专家：席南华 主要完成人：孙斌勇(中国科学院数学与系统科学研究院) 专家提名意见 典型群广泛出现于数学和理论物理的各个分支中，是我国数学界的传统研究内 容。华罗庚先生在典型群的自同构及典型域上的调和分析方面取得了杰出成就（获 国家自然科学一等奖）。随着Langlands 纲领的兴起，李群，特别是典型群的无穷维 表示论成为当代数学最核心的内容之一。本项目完成人孙斌勇自2005 年进入中科院 数学所工作以来，致力于典型群无穷维表示论中重大问题的研究，并取得突破性进 展。尤其突出的是，在本项目研究中，他和合作者接连证明了这一领域的三个著名 猜想：典型群重数一猜想、Howe 重数保守猜想、Kudla-Rallis 守恒律猜想。相关结 果发表于 J. of AMS, Ann. of Math., Invent. Math., American J. Math., GAFA, Compositio Math. 等国际数学权威杂志。这是继华罗庚之后，中国数学家在典型群方 面的工作再次引起国际瞩目。提名该项目为国家自然科学奖 2 等奖。 项目简介 Langlands 纲领是数学中一系列影响深远的构想，预言数学领域包括数论、代数 几何、表示论等之间存在着深刻联系。 L-函数是Langlands 纲领的中心研究对象， 数学界7 个“千禧年大奖问题” 中有2 个是关于L-函数的。 另一方面，典型群是各种 度量空间的对称群， 在数学和物理的很多问题中起着关键作用。典型群有限维表示 论由20 世纪杰出数学家Weyl 等人建立和发展，其中最杰出的两项成就是经典不变 量理论和经典分歧律。典型群无穷维表示论起源于量子力学的研究，现在成为纯粹 数学中研究 L-函数的强大工具。本项目在典型群无穷维表示论基本问题的研究中取 得重要突破，主要包括以下两方面。 （1）典型群重数一猜想 经典分歧律中有一个令人惊奇的重数一现象：每一个典型群的有限维不可约表 示在大一阶的典型群有限维不可约表示中最多出现一次。20 世纪 80 年代，基于系 统研究 L-函数的需要，美国科学院院士Bernstein 等人猜想所有典型群的无穷维表示 都有类似的重数一现象。近代数论史上著名的“Tate 博士论文”和 “Gross-Zagier 公式” 都与最低阶典型群的重数一定理相关。 重数一猜想的长期悬而未决成为典型群无穷 维表示论和高阶L-函数研究的一个瓶颈。在前人工作的基础上，本项目的工作最终 完成了这个猜想的证明，论文2012 年发表于Annals of Math. 上。 这篇论文已被众 多著名数学家引用，其中包括9 位国际数学家大会一小时或四十五分钟报告人。 在 重数一猜想证明的基础上，本项目还证明了典型群表示论中一系列重要的唯一性定 理。 普林斯顿大学张寿武教授在中国科学院院刊对这项工作评论称“在周期积分， 尤其是局部周期积分中, 孙斌勇的工作已成为众多国际数学家工作不可替代的基础” 。 (2)Theta 对应理论 Theta 对应理论是经典不变量理论的极大发展，它由美国科学院院士Howe 在70 年代开创，在典型群表示论及L-函数研究中有深刻应用。Theta 对应理论中有两个最 基本的猜想:Howe 对偶猜想和Kudla-Rallis 守恒律猜想。本项目证明了Howe 对偶猜 想两个论断中的一个：Howe 重数保守猜想。论文发表于2011 年的 Invent. Math. 上。 美国数学评论认为此项工作得到了“该领域的基本定理之一” 。 本项目还完全证明了 Kudla-Rallis 守恒律猜想。 论文 2014 年在线发表于 J. Amer. Math. Soc.上。 J. Amer. Math. Soc.审稿人称作者们证明了“这个理论最重要的 猜想之一” 。利用这篇论文的结果，孙斌勇和合作者的后续工作通过对最后一种情况 （四元数群的情况）的处理，最终完全证明了Howe 对偶猜想。其它数学家也用这 篇论文的结果得到了