Semisimplicity and weight-monodromy for fundamental groups

Let X be a smooth, geometrically connected variety over a p-adic local field. We show that the pro-unipotent fundamental group of X (in both the etale and crystalline settings) satisfies the weight-monodromy conjecture, following Vologodsky. We deduce (in the etale setting) that Frobenii act semisimply on the Lie algebra of the pro-unipotent fundamental group of X, and (in the crystalline setting) that the same is true for a K-linear power of the crystalline Frobenius. We give applications to the representability and geometry of the Selmer varieties appearing in the Chabauty-Kim program, even in cases of bad reduction.