First, I would appreciate references on the notion of derived symmetric powers of perfect modules over various kinds of derived commutative algebras (say cdgas in characteristic zero, simplicial commutative rings, or $E_{\infty}$-rings).
Here is a very special case of the kind of computation one would like to do:
Let $R$ be a (discrete) commutative $k$-algebra over a field $k$ of characteristic zero, and let $M^{*}=M^{i} \rightarrow M^{i+1}$ be a two-term complex of free or projective $R$-modules. There is a notion of symmetric power, $Sym^{p}(M^{*})$, which people say is just the quotient of ${M^{*}}^{\otimes p}$ by the action of the symmetric group $\Sigma_{p}$. I take this to mean that we should take the quotient of the subcomplex generated by the images of $Id -\sigma$ for all $\sigma \in \Sigma_{p}$. (Is that right?) (Here, tensor products are taken over $R$, not $k$.)
QUESTION 1: How is the homology of $Sym^{p}M^{*}$ related to the homology of $M^{*}$?
QUESTION 2: The symmetric product of classical modules commutes with base change. Is that true for these derived versions?
I'm assuming characteristic zero, since otherwise I gather homology of the symmetric group causes interesting complications. Comments on such complications are also welcome.
Best Answer
If $n!$ is invertible in $H_0(R)$, then the homology of the symmetric power is isomorphic to the $\Sigma_n$-invariants in the homology of $M^{\otimes n}$, and the latter is the derived tensor product of $M^*$ with itself $n$ times (so you generally need a projective resolution, or the Kunneth spectral sequence, to compute it). This is because the "$\Sigma_n$-coinvariants" functor that you described is exact, and so commutes with taking homology.
The homology of this does, indeed, commute with base change.
If $n!$ is not invertible in $R$, then things get much more complicated. For example, you have to decide whether you want the derived symmetric power (where you don't take orbits, but instead derived-tensor over $R[\Sigma_n]$ with the trivial module $R$) or you want an actual symmetric power (which you would form for simplicial modules over a constant ring by making sure that it is levelwise projective and then taking symmetric power levelwise).
In the former case, you get the same kind of Kunneth-type spectral sequence, which takes the form $$ H_r(\Sigma_n; H^s M^{\otimes n}) \Rightarrow H^{s-r} Sym^n(M^*). $$ Obviously involving the homology of the symmetric groups complicates things. This commutes with base change.
In the latter case, it is much more complicated and I'm not familiar enough to know effective computational procedures (e.g. if $M$ is free and concentrated in one degree, it computes homology of symmetric powers of wedges of spheres). It doesn't have a general definition for modules over a commutative dga or an $E_\infty$-algebra, but only over a simplicial commutative ring. In this case it only commutes with base change along maps of simplicial commutative rings.