Equivariant Cohomology of Configuration Spaces Mod 2
Equivariant Cohomology of Configuration Spaces Mod 2
复制标题
配置空间的等变上同调 Mod 2
DOI:
10.1007/978-3-030-84138-6
复制
发表时间:
2021
影响因子:
--
通讯作者:
G. Ziegler
中科院分区:
文献类型:
--
作者:
Pavle V. M. Blagojević;F. Cohen;M. Crabb;W. Lück;G. Ziegler
F (M, n):={(x1,..., xn)∈ Mn: xi= xj for all 1≤ i< j≤ n} of all ordered n-tuples of distinct points on a manifold M started in 1962 with the work of Fadell and Neuwirth [47] and Fox and Neuwirth [52], with prehistory going back to the work of Artin [7–9]. Soon after, Arnold, in his seminal work [5] from 1969, gave a description of the integral cohomology ring of the ordered configuration space F (R2, n). From that point on, the topology of the ordered configuration spaces was studied very intensively from many aspects, while finding applications in diverse problems, theories, and even different fields of mathematics and beyond, notably in physics.Each configuration space F (M, n) is equipped with a natural free action of the symmetric group on n letters Sn, given by the permutation of points. The associated orbit space F (M, n)/Sn, called the unordered configuration space, is an important and challenging object to study.(The free action of the symmetric group is also an essential ingredient of the little cubes operad structure to be discussed later.) In his influential 1970 paper [53] using fundamental new ideas, Fuks, gave a description of the cohomology algebra of the unordered configuration space H∗(F (R2, n)/Sn; F2) as an image of the cohomology H∗(BO (n); F2). In the course of study of infinite and iterated loop spaces, objects of the same homotopy type as the configuration space F (Rd, n) were invented by Boardman and Vogt [17] and adapted in a beautiful way by May [76, Sec. 4] for the definition of an important structure that we now call the little cubes operad; see Chap. 7. Frederick Cohen, in his 1976 contribution [33], gave the first descriptions of the cohomology of the unordered configuration space F (Rd, n)/Sn, for n a prime, with trivial coefficients (including the ring structure) and with twisted coefficients (including the relevant module structure)[33, Thm. 5.2 and Thm. 5.3]. The homology of the unordered configuration space for points on a smooth manifold M has been determined in 1989 by Bödigheimer et al.[20] in the case when M is odd-dimensional and coefficients are in an arbitrary field, and in the