Motivic fundamental groups, multiple polylogarithms, and Diophantine geometry

混合动机理论通过它与代数簇的L函数理论的联系，为数论的研究提供了最肥沃的土壤之一。虽然动机的研究本质上是同源的，但Deligne定义了一个与数域上的各种有关的理据基本群。这类基本群上的坐标函数与重多对数等特殊函数有关，从而也与L函数的特殊值有关。另一方面，提出者发现了动机基本群和丢番图几何之间的直接联系，这在一定程度上是沿着格朗塞迪克的“阿纳贝尔”哲学所建议的路线。技术工具包括p-进积分、p-进Hodge理论和伽罗华上同调的全局研究。他建议继续这方面的研究，致力于著名定理的同伦论证明，如Faltings或Wiles的定理，并最终得到与Serge Lang关于双曲型变种的猜想类似的新的高维结果。几何和算术之间的深刻关系是一个古老的研究主题，至少可以追溯到古希腊特殊数字的尺子和指南针结构。这一传统的现代表现是算术几何，这是一个数学领域，在上个世纪产生了一些最深刻的数学结果。这个建议描述了几个相关的想法，以便在代数方程理论中利用线性和非线性几何的思想获得新的结果。

The theory of mixed motives provides one of the most fertile grounds for investigations in number theory via its connection to the theory of L-functions of algebraic varieties. Although the study of motives is essentially homological in nature, Deligne has defined a motivic fundamental group attached to varieties over number fields. Coordinate functions on such fundamental groups are related to special functions like multiple polylogarithms and, thereby, also to special values of L-functions. On the other hand, the proposer has discovered a direct connection betweenmotivic fundamental groups and Diophantine geometry, somewhat along the lines suggested by Gronthendieck's `anabelian' philosophy. The technical tools involve p-adic integration, p-adic Hodge theory, and the global study of Galois cohomology. He proposes to continue research into this connection, aiming towards homotopy-theoretic proofs of well-known theorems, such as those of Faltings or Wiles, and eventually new higher-dimensional results in the line of the conjectures of Serge Lang on hyperbolic varieties.The deep relationship between geometry and arithmetic is a venerable topic of study going back at least to ruler and compass constructions of special numbers in ancient Greece. The modern manifestation of this tradition is the subject of arithmetic geometry, an area of mathematics that has yielded some of the most profound mathematical results of the previous century.This proposal describes several related ideas for obtaining new results in the theory of algebraicequations using ideas at the interface of linear and non-linear geometry.