Chains(R) does not admit a geometrically meaningful properadic homotopy Frobenius algebra structure

Theo Johnson-Freyd

The embedding Chains(R) into Cochains(R) as the compactly supported cochains might lead one to expect Chains(R) to carry a nonunital commutative Frobenius algebra structure, up to…