Mathematical Sciences: Algebraic Topology of Algebraic Varieties and Conformal Field Theory

数学科学：代数簇的代数拓扑和共形场论

• 批准号: 9214772
• 负责人: Alexander Beilinson
• 金额: --
• 依托单位: Massachusetts Institute of Technology
• 依托单位国家: 美国
• 项目类别: Continuing grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-07-15 至 1997-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9214772&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Algebraic; Topology; Varieties

9214772 Beilinson This project deals with two subjects. The first one is the theory of mixed motives. This, yet conjectural, theory is aimed to unfold the hidden topological pattern of arithmetic geometry. It helps to explain various phenomena in K-theory and the theory of algebraic cycles and to provide information about the values of the special functions of arithmetic origin. Several results in that direction have already been obtained, e.g., in a joint paper with P. Deligne, a proof of part of D. Zagier's conjecture on the values of the polylogarithm function. At the moment, the problem of the actual construction of the category of mixed motives (at least modulo Grothendieck's Standard Conjectures) seems to be quite tractable. The second subject of the project is the study of the geometry of conformal field theory. This theory has been developing rapidly during the last decade. The investigator's first modest aim was to write down (jointly with B. Feigin and B. Mazur) an account of an algebro-geometric setting. The next thing to pursue (work in progress with V. Drinfeld and V. Ginzburg) is a theory, as foreseen by Drinfeld, relating the representations of Kac-Moody algebras at the critical level with the geometric version of Langlands' correspondence. The ultimate aim of the project is to tie together the two subjects above, which remains a tantalizing hope. The two subjects of this project, conformal field theory and the theory of motives, have somewhat different origins. Conformal field theory came first to physics approximately ten years ago. It was observed there that often objects at the critical temperature (the melting ice cube in your glass) suddenly acquire infinitely greater inner symmetry than before; this symmetry governs the intricate pattern that singles out the object. The mathematical structures that described this soon became - after the string theory upheaval - the most popular structures of theoretical physics, a dev elopment that also helped to connect previously unrelated but intensively studied mathematical areas such as representation theory of infinite-dimensional groups, geometry of moduli spaces, and the Langlands' program. The first part of this project dwells here. The theory of motives, discovered by Grothendieck in the mid-60's, has, in a sense, a similar flavor. It starts with an old insight that number theory suggests that one consider the whole numbers as if they were functions on a certain complicated space. This space, with its inner symmetries, replaces the ordinary geometric notion of a point; morally, the ordinary geometry acquires an extra arithmetic dimension. The theory of motives studies such a geometry. As an application, it may provide a range of yet unpredictable results about the values of the classical arithmetic functions. ***

小行星9214772 这个项目涉及两个主题。 第一个是混合动机理论。 这一理论的目的是揭示算术几何中隐藏的拓扑模式。 它有助于解释K理论和代数圈理论中的各种现象，并提供有关算术起源的特殊函数的值的信息。 在这方面已经取得了若干成果，例如，在与P. Deligne的一篇联合论文中，证明了D.关于多对数函数值的Zagier猜想。 目前，混合动机范畴的实际构造问题（至少模格罗滕迪克的标准猜想）似乎是相当容易处理的。 该项目的第二个主题是共形场论的几何学研究。 这一理论在过去十年中发展迅速。 研究者的第一个适度目标是写下（与B一起）。费金和B。马祖尔）一个帐户的代数几何设置。 接下来要做的事情（正在与V. Drinfeld和V. Ginzburg一起工作）是一个理论，正如Drinfeld所预见的那样，将Kac-Moody代数在临界水平上的表示与Langlands对应的几何版本联系起来。 该项目的最终目标是将上述两个主题联系起来，这仍然是一个诱人的希望。 这个项目的两个主题，共形场论和动机理论，有一些不同的起源。 共形场论大约在十年前首次出现在物理学中。 人们在那里观察到，处于临界温度的物体（你杯子里融化的冰块）往往突然获得比以前无限大的内部对称性;这种对称性支配着挑选出物体的复杂模式。 描述这一点的数学结构在弦论剧变之后很快成为理论物理学中最流行的结构，这一发展也有助于连接以前不相关但深入研究的数学领域，如无限维群的表示论、模空间的几何学和朗兰兹纲领。 这个项目的第一部分就在这里。 格罗滕迪克在60年代中期发现的动机理论，在某种意义上也有类似的味道。 它始于一个古老的见解，即数论建议人们将整数视为某个复杂空间上的函数。 这个空间，以其内在的对称性，取代了点的普通几何概念;从道德上讲，普通几何获得了额外的算术维度。 动机理论研究的是这样一种几何学。 作为一个应用，它可以提供一系列关于经典算术函数值的不可预测的结果。 ***