An Additivity Theorem for the Interchange of E_n Structures
An Additivity Theorem for the Interchange of E_n Structures
复制标题
E_n结构互换的加性定理
DOI:
10.1016/j.aim.2014.10.020
复制
发表时间:
2011
期刊:
影响因子:
--
通讯作者:
R. Vogt
中科院分区:
文献类型:
--
作者:
Z. Fiedorowicz;R. Vogt
Let A and B be operads and let X be an object with an A-algebra and a B-algebra structure. These structures are said to interchange if each operation α: X n→ X of the A-structure is a homomorphism with respect to the B-structure and vice versa. In this case the combined structure is codified by the tensor product A⊗ B of the two operads. There is not much known about A⊗ B in general, because the analysis of the tensor product requires the solution of a tricky word problem. Intuitively one might expect that the tensor product of an E k-operad with an E l-operad (which encode the multiplicative structures of k-fold, respectively l-fold loop spaces) ought to be an E k+ l-operad. However, there are easy counterexamples to this naive conjecture. In this paper we essentially solve the word problem for the nullary, unary, and binary operations of the tensor product of arbitrary topological operads and show that the tensor product of a cofibrant E k-operad with a cofibrant E l-operad is an E k+ l-operad. It follows that if A i are E k i operads for i= 1, 2,…, n, then A 1⊗…⊗ A n is at least an E k 1+…+ k n operad, ie there is an E k 1+…+ k n-operad C and a map of operads C→ A 1⊗…⊗ A n.