RUI: Homotopy Theory of Commutative Algebras and its Applications

自20世纪50年代以来，交换代数研究的一个活跃领域涉及到使用同调方法来表征诺etherian环及其之间的同态。在20世纪60年代，简化方法使同伦理论能够应用于交换代数，并发展了更丰富的同伦技术。本项目寻求使用同伦理论来描述具有诺瑟性质的（简单）交换代数。这项工作的一部分将寻求解决Quillen关于交换代数同调刚性的猜想，并在简单方法和微分同调代数方法之间建立更深层次的联系。该项目还将研究代数的上同调如何成为阻碍从给定代数数据实现拓扑空间的宿主，该拓扑空间作为假定空间的合适同伦不变量的值。将注意发展计算这种障碍的方法。同伦理论是从全局角度研究某些数学对象及其相互关系的一种方法。在几何对象的情况下，可以指定某些代数不变量来研究和区分同伦类型。因此，理解这些代数结构的性质以及它们与所关联的几何对象之间的关系是该理论的重要组成部分。本项目旨在从代数的角度进一步理解几何物体的同伦理论。这个项目有两个目的。首先是进一步发展代数的同伦理论，使之与几何对象的同伦理论相平行。第二个目标是利用代数的同伦及其各种性质来理解空间的同伦。这将涉及研究代数结构和性质在多大程度上可以提升为几何对象的相应结构和性质。

DMS-0206647James M. TurnerAn active area of research in commutative algebra since the 1950s has involved the use of homological methods to characterize Noetherian rings and the homomorphisms between them. In the 1960s, simplicial methods were used to enable homotopy theory to apply to commutative algebras and develop richer homological techniques. This project seeks to use homotopy theory to characterize (simplicial) commutative algebras with a Noetherian property. Part of this effort will seek to resolve a conjecture of Quillen on the rigidity of the homology of commutative algebras and draw deeper connections between simplicial methods and methods from differential homological algebra. This project will also study how the cohomology of algebras can serve as host for obstructions to realizing a topological space from given algebraic data that functions as the value of a suitable homotopy invariant of the putative space. Attention will be paid to developing methods for computing such obstructions.Homotopy theory is a method of studying certain mathematical objects and the relations between them from a global perspective. In the case of geometric objects, certain algebraic invariants can be assigned to study and distinguish between homotopy types. Understanding the properties of these algebraic structures and how they relate to the geometric objects they are associated to are therefore important parts of this theory. This project seeks to further the understanding of the homotopy theory of geometric objects from the algebraic perspective. There are two aims to this project. The first is to develop further the homotopy theory of algebras that parallels that of geometric objects. The second aim seeks to make use of the homotopy of algebras and their various properties to understand the homotopy of spaces. This would involve studying the extent to which algebraic structures and properties can be lifted to corresponding structures and properties for geometric objects.