Applications of Homotopy Theory

同伦理论的应用

• 批准号: RGPIN-2015-04274
• 负责人: Jardine, John
• 金额: $ 1.46万
• 依托单位: University of Western Ontario
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2016
• 资助国家: 加拿大
• 起止时间: 2016-01-01 至 2017-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=612872
• 关键词: Applications; Homotopy; Theory

Local homotopy theory is a study of large structures by examining behaviour in small neighbourhoods on these objects. Local to global methods have been present in Geometry and Topology for over a hundred years. Grothendieck and his followers introduced new meanings for the term "local" in the 1960s, on their way to proving the Weil conjectures. This variation of a term led to an explosion of calculational technique in Geometry, the introduction of topos theory and its applications in Logic, and the development of an array of methods to compute invariants of algebraic K-theory. The K-theory calculations involved a new level of subtlety, in that they relied on non-abelian phenomena which are encoded in large structures of objects which originate in Algebraic Topology.  The modern form of local homotopy theory was formulated by Jardine and Joyal in the mid 1980s, as a response to extant problems in K-theory and topos theory. The theory now has applications in multiple parts of Mathematics, and in the Mathematical Sciences more generally. It is the basis for the study of motives and motivic homotopy theory in Algebraic Geometry and Number Theory, and is the context for the modern homotopical theory of symmetries which is encoded in stacks and higher stacks. The theory appears in classical stable homotopy theory in elliptic cohomology theories and topological modular forms, and also in equivariant homotopy theories. The research of this proposal would build on these successes by acquiring a deeper understanding of calculational methods made possible by local homotopy theory, both in traditional Mathematics and in its applications. The program presented here includes the calculation of cohomological invariants which are associated to classical algebraic groups over number fields and the relation of these invariants with Arithmetic, and the calculation of K-theoretic invariants of algebraic curves and their associated moduli. More abstractly, there is a plan to define and study generalizations of etale homotopy theory which are suggested by Jardine's theory of cocycle categories and by his work on homotopy theories of dynamical systems. On the applications side, the theoretical behaviour of parallel processing systems is strongly related to higher symmetries. Jardine used coherence theory to find an algorithm that classifies execution paths in concurrency models. This algorithm can only work locally in larger structures: Jardine plans to use the methods of local homotopy theory in the study of large parallel processing models, with a particular emphasis on finding parallelization techniques. This is part of a general attack on the problem of finding local to global methods of analyzing data structures which are too large to study with existing computational techniques. This local to global problem is one of the largest issues in the practical analysis of big data.

局部同伦理论是一种研究大型结构的方法，通过研究这些物体上小邻域的行为。 局部到全局的方法已经在几何和拓扑中出现了一百多年。格罗滕迪克和他的追随者在20世纪60年代为“本地”一词引入了新的含义，以证明韦尔定理。这个术语的变化导致了几何中计算技术的爆炸，拓扑理论的引入及其在逻辑中的应用，以及一系列计算代数K理论不变量的方法的发展。K理论的计算涉及到一个新的微妙水平，因为它们依赖于非阿贝尔现象，这些现象被编码在源于代数拓扑学的大型对象结构中。 局部同伦理论的现代形式是由Jardine和Joyal在1980年代中期提出的，作为对K理论和拓扑理论中现存问题的回应。该理论现在已经应用于数学的多个部分，更广泛地应用于数学科学。它是代数几何和数论中动机和动机同伦理论研究的基础，也是现代对称同伦理论的背景，它被编码在堆栈和更高的堆栈中。该理论出现在经典的稳定同伦理论中，在椭圆上同调理论和拓扑模形式中，也出现在等变同伦理论中。 这项建议的研究将建立在这些成功的基础上，通过更深入地理解局部同伦理论在传统数学及其应用中的计算方法。本文给出的程序包括数域上经典代数群的上同调不变量的计算及其与算术的关系，以及代数曲线的K-理论不变量及其模的计算。更抽象地说，有一个计划，以定义和研究推广的etale同伦理论，这是建议贾丁的理论cocycle类别和他的工作同伦理论的动力系统。 在应用方面，并行处理系统的理论行为与更高的对称性密切相关。Jardine使用一致性理论找到了一种算法，可以在并发模型中对执行路径进行分类。该算法只能在较大的结构中局部工作：Jardine计划在大型并行处理模型的研究中使用局部同伦理论的方法，特别强调寻找并行化技术。这是对寻找局部到全局的方法来分析数据结构的问题的一般攻击的一部分，这些数据结构太大，无法用现有的计算技术进行研究。这种从局部到全局的问题是大数据实际分析中最大的问题之一。