  In 1970 Nice ICM report, Sullivan defined simply connected $p$-adic formal
manifolds and an abelianized Galois action on them, for $p$ odd. He also had a
suggestion for $p=2$. The Galois action $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$
on a variety over $\overline{\mathbb{Q}}$ does not change its \'etale homotopy
type by Artin-Mazur. There is also a claim in Sullivan's 1970s MIT notes that
the Galois action on the elements reprensented by varieties of the `structure
set' on an \'etale homotopy type passes through the abelianized Galois action.
We define simply connected $p$-adic formal manifolds and the abelianized Galois
action on them, for both $p$ odd and $p=2$. Then we formulate the $p$-adic
structure set on a $p$-adic formal manifold and define an abelianized Galois
action on these structure sets. We prove that the Galois action on smooth
projective varieties over $\overline{\mathbb{Q}}$ is equivalent to the
abelianized Galois action on the $p$-adic structure sets.
