Given a profinite group G of finite p-cohomological dimension and a pro-p quotient H of G by a closed normal subgroup N, we study the filtration on the Iwasawa cohomology of N by powers of the augmentation ideal in the group algebra of H. We show that the graded pieces are related to the cohomology of G via analogues of Bockstein maps for the powers of the augmentation ideal. For certain groups H, we relate the values of these generalized Bockstein maps to Massey products relative to a restricted class of defining systems depending on H. We apply our study to prove lower bounds on the p-ranks of class groups of certain nonabelian extensions of $\mathbb {Q}$ and to give a new proof of the vanishing of Massey triple products in Galois cohomology.

For a prime number p and a free profinite group S on the basis X, let $S_{\left (n,p\right )}$ , $n=1,2,\dotsc ,$ be the p-Zassenhaus filtration of S. For $p>n$ , we give a word-combinatorial description of the cohomology group $H^2\left (S/S_{\left (n,p\right )},\mathbb {Z}/p\right )$ in terms of the shuffle algebra on X. We give a natural linear basis for this cohomology group, which is constructed by means of unitriangular representations arising from Lyndon words.

Let p be a prime. A pro-p group G is said to be 1-smooth if it can be endowed with a continuous representation $\theta \colon G\to \mathrm {GL}_1(\mathbb {Z}_p)$ such that every open subgroup H of G, together with the restriction $\theta \vert _H$ , satisfies a formal version of Hilbert 90. We prove that every 1-smooth pro-p group contains a unique maximal closed abelian normal subgroup, in analogy with a result by Engler and Koenigsmann on maximal pro-p Galois groups of fields, and that if a 1-smooth pro-p group is solvable, then it is locally uniformly powerful, in analogy with a result by Ware on maximal pro-p Galois groups of fields. Finally, we ask whether 1-smooth pro-p groups satisfy a “Tits’ alternative.”

In this paper we develop methods for classifying Baker, Richter, and Szymik's Azumaya algebras over a commutative ring spectrum, especially in the largely inaccessible case where the ring is nonconnective. We give obstruction-theoretic tools, constructing and classifying these algebras and their automorphisms with Goerss–Hopkins obstruction theory, and give descent-theoretic tools, applying Lurie's work on $\infty$-categories to show that a finite Galois extension of rings in the sense of Rognes becomes a homotopy fixed-point equivalence on Brauer spaces. For even-periodic ring spectra $E$, we find that the ‘algebraic’ Azumaya algebras whose coefficient ring is projective are governed by the Brauer–Wall group of $\pi _0(E)$, recovering a result of Baker, Richter, and Szymik. This allows us to calculate many examples. For example, we find that the algebraic Azumaya algebras over Lubin–Tate spectra have either four or two Morita equivalence classes, depending on whether the prime is odd or even, that all algebraic Azumaya algebras over the complex K-theory spectrum $KU$ are Morita trivial, and that the group of the Morita classes of algebraic Azumaya algebras over the localization $KU[1/2]$ is $\mathbb {Z}/8\times \mathbb {Z}/2$. Using our descent results and an obstruction theory spectral sequence, we also study Azumaya algebras over the real K-theory spectrum $KO$ which become Morita-trivial $KU$-algebras. We show that there exist exactly two Morita equivalence classes of these. The nontrivial Morita equivalence class is realized by an ‘exotic’ $KO$-algebra with the same coefficient ring as $\mathrm {End}_{KO}(KU)$. This requires a careful analysis of what happens in the homotopy fixed-point spectral sequence for the Picard space of $KU$, previously studied by Mathew and Stojanoska.

We show that the Galois cohomology groups of $p$-adic representations of a direct power of $\operatorname{Gal}(\overline{\mathbb{Q}_{p}}/\mathbb{Q}_{p})$ can be computed via the generalization of Herr’s complex to multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules. Using Tate duality and a pairing for multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules we extend this to analogues of the Iwasawa cohomology. We show that all $p$-adic representations of a direct power of $\operatorname{Gal}(\overline{\mathbb{Q}_{p}}/\mathbb{Q}_{p})$ are overconvergent and, moreover, passing to overconvergent multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules is an equivalence of categories. Finally, we prove that the overconvergent Herr complex also computes the Galois cohomology groups.

In this paper, we develop a new necessary and sufficient condition for the vanishing of $4$-Massey products of elements in the modulo-$2$ Galois cohomology of a field. This new description allows us to define a splitting variety for $4$-Massey products, which is shown in the appendix to satisfy a local-to-global principle over number fields. As a consequence, we prove that, for a number field, all such $4$-Massey products vanish whenever they are defined. This provides new explicit restrictions on the structure of absolute Galois groups of number fields.

Given a family of varieties $X\rightarrow \mathbb{P}^{n}$ over a number field, we determine conditions under which there is a Brauer–Manin obstruction to weak approximation for 100% of the fibres which are everywhere locally soluble.

For any number field we calculate the exact proportion of rational numbers which are everywhere locally a norm but not globally a norm from the number field.

We show how the techniques of Voevodsky’s proof of the Milnor conjecture and the Voevodsky–Rost proof of its generalization the Bloch–Kato conjecture can be used to study counterexamples to the classical Lüroth problem. By generalizing a method due to Peyre, we produce for any prime number $\ell $ and any integer $n\geq 2$, a rationally connected, non-rational variety for which non-rationality is detected by a non-trivial degree $n$ unramified étale cohomology class with $\ell $-torsion coefficients. When $\ell = 2$, the varieties that are constructed are furthermore unirational and non-rationality cannot be detected by a torsion unramified étale cohomology class of lower degree.