Rational GAGA and Applications to Field Invariants

Rational GAGA 及其在场不变量中的应用

• 批准号: 2402367
• 负责人: Julia Hartmann
• 金额: $ 49.5万
• 依托单位: University of Pennsylvania
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2024
• 资助国家: 美国
• 起止时间: 2024-07-01 至 2027-06-30
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2402367&HistoricalAwards=false
• 关键词: Rational; GAGA; Applications; Field; Invariants

Geometric spaces arise in many contexts, and studying their behavior can lead to the solution of real world problems. The study of these spaces has used methods both from algebra and from calculus (also called analysis). Decades ago, a linkage between the algebraic and analytic approaches to geometry was established, which then led to important progress on geometric problems. The PIs will extend this linkage to situations in which information is given only on a piece of a geometric space, rather than on the entire space. This will make it possible to solve open problems concerning the computation of currently mysterious numerical data that relate to the behavior of geometric spaces. The approach will involve studying spaces locally in order to gain a greater insight into their overall behavior. The PIs will also engage in activities that have broader impacts. These include mentoring, widening the pipeline into mathematical research for people from groups traditionally underrepresented in mathematics, and communicating mathematics to a broader audience. In addition, graduate students supported by the award will receive training to contribute toward this research as well as to engage in further mathematical research in the future.More precisely, the PIs will study an analog of Serre's GAGA theorem in the context of function fields of varieties, rather than for the varieties themselves. This will involve a structure sheaf that contains both holomorphic functions and rational functions. A key goal will then be to use this result to compute the conjectured period-index bound for rational function fields over the complex numbers in three or more variables. The PIs also aim to prove related results over more arithmetic ground fields, by bringing in ideas from the theory of formal schemes and building on their prior work in lower dimensions. In addition, the PIs will work to understand the structure of the absolute differential Galois group of real rational function fields. This work is motivated by results that they previously achieved in differential Galois theory over the complex numbers and in classical Galois theory over real function fields. The methods used will include local-global principles and patching, as well as the structure theory of linear algebraic groups, Galois cohomology, and other techniques.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

几何空间出现在许多情况下，研究它们的行为可以解决现实世界的问题。 对这些空间的研究使用了代数和微积分（也称为分析）的方法。 几十年前，代数和解析几何方法之间的联系被建立起来，这导致了几何问题的重要进展。 PI 将把这种联系扩展到仅给出几何空间的一部分而不是整个空间的信息的情况。 这将使解决与几何空间行为相关的当前神秘数值数据的计算相关的开放问题成为可能。 该方法将涉及局部研究空间，以便更深入地了解其整体行为。 PI 还将参与具有更广泛影响的活动。 其中包括为传统上在数学领域代表性不足的群体提供指导、拓宽数学研究渠道，以及向更广泛的受众传播数学。 此外，受该奖项支持的研究生将接受培训，为这项研究做出贡献，并在未来从事进一步的数学研究。更准确地说，PI 将在函数域的背景下研究 Serre GAGA 定理的模拟品种，而不是品种本身。 这将涉及包含全纯函数和有理函数的结构束。然后，一个关键目标是使用此结果来计算三个或更多变量中的复数上有理函数域的推测周期索引界限。 PI 还旨在通过引入形式方案理论的思想并建立在较低维度的先前工作的基础上，在更多算术基础领域证明相关结果。 此外，PI 将致力于理解实有理函数域的绝对微分伽罗瓦群的结构。 这项工作的动机是他们之前在复数的微分伽罗瓦理论和实函数域的经典伽罗瓦理论中取得的成果。所使用的方法将包括局部全局原理和修补，以及线性代数群的结构理论、伽罗瓦上同调和其他技术。该奖项反映了 NSF 的法定使命，并通过使用基金会的智力价值进行评估，被认为值得支持以及更广泛的影响审查标准。