Cycle modules and the intersection \(A_\infty\)-algebra (Q2449867)

This article deals with the intersection theory on the cycle complex \(C^*(X,M)\), associated to a cycle module \(M\), as constructed by \textit{M. Rost} [Doc. Math., J. DMV 1, 319--393 (1996; Zbl 0864.14002)]. Let \(X\) be a smooth scheme of finite type over a field \(k\), of pure dimension, \(M\) a cycle module with a ring structure. Let \(C^*(X,M)\) be the associate Rost's cycle complex, whose components are given by \[ C^p(X,M,n)= \bigoplus_{x\in X^{(p)}} M_{n-p}(k(x)). \] The author proves the following Theorem 1. The cycle complex \(C^*(X,M)_{\mathbb{Q}}\) has an \(A_\infty\)-algebra structure, that is an algebra structure which is only associative up to homotopy and higher homotopies. This algebra structure induces on cohomology the intersection product defined by Rost. This result is obtained by constructing a family of graded morphisms of bidegree \((2-n,0)\) \[ m_n: C^*(X, M)^{\otimes n}_{\mathbb{Q}}\to C^*(X, M)_{\mathbb{Q}} \] such that, for any integer \(n\geq 1\) \[ \sum_{r+s+t=n} (-1)^{r+st} m_{r+ 1+t}\circ (\mathbf{1}^{k\otimes r}\otimes m_s\otimes \text\textbf{1}^{\otimes t})= 0. \] Here the map \(m_1\) is the map in the differential of the cycle complex and \(m_2\) is a closed map which induces on cohomology the intersection product defined by Rost.