Let's call an $E\_\infty$-algebra $A$ in spaces free if there is a space $A\_0$ and an equivalence of $E\_\infty$-algebras:
$
 \coprod\_{n \ge 0} (A\_0)^n\_{h\Sigma\_n} \simeq A.
$
Consider a diagram of $E\_\infty$-algebras in spaces
$$
 A \longrightarrow B \longleftarrow C
$$
and assume that each of them is free in the above sense.
However, the maps $A \to B \leftarrow C$ are not required to be free, i.e. they don't have to send $A\_0$ to $B\_0$ or $C\_0$ to $B\_0$.



> 
> In this setting, is the homotopy pullback $A \times\_B C$ always free?
> 
> 
> 




---


I've convinced myself in a very roundabout way that this should be true, but would be very grateful for a proper proof or even better a reference.
I think a hands-on approach using the formula for the free $E\_\infty$-algebra might work, but the combinatorics will get quite tricky.
As an example, consider the case where $A, B, C$ are all free on a point and the maps $A \to B \leftarrow C$ both send the generator to twice the generator.
Then I think the resulting pullback $A \times\_B C$ is free on a space with infinitely many components.


Let me give some more details on what happens in this example. I'll think of all the involved 1-types as groupoids, so $A, B, C$ are all represented by the groupoid of finite sets and bijections $\mathrm{FB}$, which is symmetric monoidal under disjoint union.
In my example the two maps correspond to the functor $F: \mathrm{FB} \to \mathrm{FB}$ that sends $a \mapsto a \times \{0,1\}$.
Now the homotopy pullback can be computed in terms of groupoids. The resulting groupoid $\mathcal{G}$ has as objects triples $(a, b, \varphi)$ where $a, b \in \mathrm{FB}$ are finite sets and $\varphi: a \times \{0,1\} \cong b \times \{0,1\}$ is a bijection. Morphisms are tuples of bijections compatible with $\varphi$.
Define the set of connected components of such an object $(a, b, \varphi)$ as the pushout $\pi\_0(a,b,\varphi) = a \amalg\_{a \times \{0,1\}} b$ where the right-hand map is $\varphi$ composed with projection to $b$.
This defines a symmetric monoidal functor $\pi\_0: \mathcal{G} \to \mathrm{FB}$.
Let's say an object is connected if $\pi\_0(a,b,\varphi)$ is a point.


Then I claim that $\mathcal{G}$ is freely generated under disjoint union by connected objects.
This is probably easiest to see by thinking of the objects as directed graphs with red and blue edges, where the vertices are $a \times \{0,1\}$, the blue edges are $(a, 0) \to (a, 1)$, the red edges are $\varphi^{-1}(b,0) \to \varphi^{-1}(b,1)$. Only graphs where every vertex is incident to exactly one blue and one red edge are allowed.
Now this category is a free symmetric monoidal groupoid on the connected graphs, of which there are countably infinitely many.



Are free $E_\infty$-algebras in spaces closed under pullbacks? (as a full subcategory of all $E_\infty$-algebras in spaces)
### Yes,


the full subcategory
$\mathrm{Mon}\_{\mathbb{E}\_\infty}(\mathcal{S})^{\rm free} \subset \mathrm{Mon}\_{\mathbb{E}\_\infty}(\mathcal{S})$
on those $\mathbb{E}\_\infty$-monoids that are equivalent to a free $\mathbb{E}\_\infty$-monoid, is **closed under all finite limits and retracts.**
This is Corollary 2.1.28 and 2.1.29 of my joint paper with Shaul Barkan. "[The equifibered approach to $\infty$-properads](https://arxiv.org/pdf/2211.02576.pdf)".


While I really like the proof we give, it has the disadvantage of being somewhat implicit:
it doesn't tell you at all what the pullback is free on.
So below I'll give a different proof that isn't in the paper, but might be in a future one.




---


### "Equifibered" maps


This proof uses some of the "equifibered" machinery developed in the aforementioned paper, so I'll recall the needed facts here.
(All of these have elementary proofs, see section 2.1 of the paper.)


We say that a morphism $f\colon M \to N$ in $\mathrm{Mon}\_{\mathbb{E}\_\infty}(\mathcal{S})$ is **equifibered** if the natural map
$$ 
 M \times M \longrightarrow (N \times N) \times\_{N} M,
\qquad
(m\_1,m\_2) \mapsto ( (f(m\_1), f(m\_2)), m\_1+m\_2)
$$
is an equivalence.
(Here the pullback is taken over the addition map and $f$.)


Now one can show several facts about equifibered maps.
I'll write $\mathbb{F}(X) := \coprod\_{n \ge 0} X^n\_{h\Sigma\_n}$ for the free $\mathbb{E}\_\infty$-monoid on a space $X$.


1. For any map of spaces $g:X \to Y$ the induced free map $\mathbb{F}(g)\colon \mathbb{F}(X) \to \mathbb{F}(Y)$ is equifibered.
2. If $f$ is equifibered and $N$ is free, then $M$ is free and $f$ is a free map.
3. Equifibered maps are closed under limits as objects of the arrow category $\mathrm{Ar}(\mathrm{Mon}\_{\mathbb{E}\_\infty}(\mathcal{S}))$.


It follows that $M$ is free if and only if it admits an equifibered map to $\mathbb{F}(\*)$.




---


### The proof:


The idea is to reduce the proof to the following "universal" example:


$$
\mathbb{F}(\mathbb{F}(\*)) \xrightarrow{\ +\ } 
\mathbb{F}(\*) \xleftarrow{\ +\ } 
\mathbb{F}(\mathbb{F}(\*))
$$


**Claim:**
It suffices to show that the pullback of the "universal" cospan is free.


**Proof idea:**
An arbitrary cospan $f\colon \mathbb{F}(X) \to \mathbb{F}(Z) \leftarrow \mathbb{F}(Y) :\! g$ maps to the universal cospan by using the free map $\mathbb{F}(t): \mathbb{F}(Z) \to \mathbb{F}(\*)$ coming from $t: Z \to \*$
and then factoring the resulting
$$
\mathbb{F}(X) \xrightarrow{f} \mathbb{F}(Z) \xrightarrow{\mathbb{F}(t)} \mathbb{F}(\*)
\qquad \text{ as } \qquad
\mathbb{F}(X) \xrightarrow{\mathbb{F}((\mathbb{F}(t) \circ f)\_{|X})} \mathbb{F}(\mathbb{F}(\*)) \xrightarrow{\*} \mathbb{F}(\*).
$$
So we get a map of cospans and hence a map of pullbacks:
$$
\mathbb{F}(X) \times\_{\mathbb{F}(Z)} \mathbb{F}(Y)
\longrightarrow
\mathbb{F}(\mathbb{F}(\*)) \times\_{\mathbb{F}(\*)} \mathbb{F}(\mathbb{F}(\*))
$$
This map is equifibered because all of the maps between the cospans were free (and hence equifibered by 1) and equifibered maps are closed under pullbacks by 3.
(Note that this works even though the maps within the cospans aren't free.)
Now it follows from 2. that the general pullback is free if the universal one is.


**Proof of the universal case**
To check that the universal pullback is free we can rewrite it as a pullback of symmetric monoidal $1$-groupoids.
It is equivalent to:
$$
\mathrm{Ar}(\mathrm{Fin})^\simeq \xrightarrow{\ s\ }
\mathrm{Fin}^\simeq \xleftarrow{\ s\ }
\mathrm{Ar}(\mathrm{Fin})^\simeq.
$$
Here $\mathrm{Ar}(\mathrm{Fin})^\simeq$ is the maximal subgroupoid of the arrow category of finite sets and $s$ is the functor that sends an arrow to its source.
This pullback is equivalent to the following groupoid of diagrams:
$$
 \mathrm{Fun}( \bullet \leftarrow \bullet \rightarrow \bullet, \mathrm{Fin})^\simeq
$$
Now one can check directly that this groupoid is freely generated by those diagrams of finite sets $A \leftarrow C \to B$ where $A \amalg\_C B$ is a single point.




---


### What is the pullback free on?


To answer this question we can first answer it for the universal pullback.
There I claimed that it is free on diagrams of finite sets $A \leftarrow C \to B$ where $A \amalg\_C B$ is a point.
These can be thought of as *connected* bi-partite graphs with vertices $A \amalg B$ and edges $C$.
The more general case will be fibered over this.


Now consider a cospan
$$
 \mathbb{F}(X) \xrightarrow{\ f\ } \mathbb{F}(\*) \xleftarrow{\ g\ } \mathbb{F}(Y)
$$
This is not quite the most general case, but almost.
We can decompose $X = \coprod\_{n \ge 0} (X\_n)\_{h\Sigma\_n}$ where $X\_n$ is the fiber of $X \subset \mathbb{F}(X) \xrightarrow{f} \mathbb{F}(\*)$ at some point in $B\Sigma\_n \subset \mathbb{F}(\*)$ and similarly for $Y\_n$.
We can think of $X$ and $Y$ as symmetric sequences and for a finite set $D$ of size $n$ I'll write $X(D) := X\_n$.
Then the pullback is free on
$$
\operatorname\*{colim}\limits\_{A \xleftarrow{u} C \xrightarrow{w} B} \prod\_{a \in A} X(u^{-1}(a)) \times \prod\_{b \in B} Y(w^{-1}(b))
$$
where the colimit runs over connected bipartite graphs.


With a bit of imaginative thinking this can be identified with the *connected composition product for bisymmetric sequences* that Bruno Vallette introduces in his work on properads.


