Local Gorenstein duality for cochains on spaces

We investigate when a commutative ring spectrum $R$ satisfies a homotopical version of local Gorenstein duality, extending the notion previously studied by Greenlees. In order to do this, we prove an ascent theorem for local Gorenstein duality along morphisms of $k$-algebras. Our main examples are of the form $R = C^*(X;k)$,theringspectrumofcochainsonaspace$X$forafield$k$. In particular, we establish local Gorenstein duality in characteristic $p$ for $p$-compact groups and $p$-local finite groups as well as for $k=\text{Q}$ and $X$ a simply connected space which is Gorenstein in the sense of Dwyer, Greenlees, and Iyengar.