Harmonic analysis and statistics of the first Galois cohomology group

We utilize harmonic analytic tools to count the number of elements of the Galois cohomology group $$f\in H^1(K,T)$$ f ∈ H 1 ( K , T ) with discriminant-like invariant $$\text {inv}(f)\le X$$ inv ( f ) ≤ X as $$X\rightarrow \infty $$ X → ∞ . Specifically, Poisson summation produces a canonical decomposition for the corresponding generating series as a sum of Euler products for a very general counting problem. This type of decomposition is exactly what is needed to compute asymptotic growth rates using a Tauberian theorem. These new techniques allow for the removal of certain obstructions to known results and answer some outstanding questions on the generalized version of Malle’s conjecture for the first Galois cohomology group.

Two families of pro-𝑝 groups that are not absolute Galois groups

Let 𝑝 be a prime. We produce two new families of pro-𝑝 groups which are not realizable as absolute Galois groups of fields. To prove this, we use the 1-smoothness property of absolute Galois pro-𝑝 groups. Moreover, we show in these families, one has several pro-𝑝 groups which may not be ruled out as absolute Galois groups employing the quadraticity of Galois cohomology (a consequence of the norm residue theorem), or the vanishing of Massey products in Galois cohomology.

Construction and classification of \(p\)-ring class fields modulo \(p\)-admissible conductors

Each \(p\)-ring class field \(K_f\) modulo a \(p\)-admissible conductor \(f\) over a quadratic base field \(K\) with \(p\)-ring class rank \(\varrho_f\) mod \(f\) is classified according to Galois cohomology and differential principal factorization type of all members of its associated heterogeneous multiplet \(\mathbf{M}(K_f)=\lbrack(N_{c,i})_{1\le i\le m(c)}\rbrack_{c\mid f}\) of dihedral fields \(N_{c,i}\) with various conductors \(c\mid f\) having \(p\)-multiplicities \(m(c)\) over \(K\) such that \(\sum_{c\mid f}\,m(c)=\frac{p^{\varrho_f}-1}{p-1}\). The advanced viewpoint of classifying the entire collection \(\mathbf{M}(K_f)\), instead of its individual members separately, admits considerably deeper insight into the class field theoretic structure of ring class fields. The actual construction of the multiplet \(\mathbf{M}(K_f)\) is enabled by exploiting the routines for abelian extensions in the computational algebra system Magma.

Note on linear relations in Galois cohomology and étale K-theory of curves

In this paper, we investigate a local to global principle for Galois cohomology of number fields with coefficients in the Tate module of an abelian variety. In [G. Banaszak and P. Krasoń, On a local to global principle in étale K-groups of curves, J. K-Theory Appl. Algebra Geom. Topol. 12 (2013) 183–201], G. Banaszak and the author obtained the sufficient condition for the validity of the local to global principle for étale [Formula: see text]-theory of a curve. This condition in fact has been established by means of an analysis of the corresponding problem in the Galois cohomology. We show that in some cases, this result is the best possible i.e. if this condition does not hold we obtain counterexamples. We also give some examples of curves and their Jacobians. Finally, we prove the dynamical version of the local to global principle for étale [Formula: see text]-theory of a curve. The dynamical local to global principle for the groups of Mordell–Weil type has recently been considered by S. Barańczuk in [S. Barańczuk, On a dynamical local-global principle in Mordell-Weil type groups, Expo. Math. 35(2) (2017) 206–211]. We show that all our results remain valid for Quillen [Formula: see text]-theory of [Formula: see text] if the Bass and Quillen–Lichtenbaum conjectures hold true for [Formula: see text]

Differential Galois cohomology and parameterized Picard–Vessiot extensions

Assuming that the differential field [Formula: see text] is differentially large, in the sense of [León Sánchez and Tressl, Differentially large fields, preprint (2020); arXiv:2005.00888 ], and “bounded” as a field, we prove that for any linear differential algebraic group [Formula: see text] over [Formula: see text], the differential Galois (or constrained) cohomology set [Formula: see text] is finite. This applies, among other things, to closed ordered differential fields in the sense of [Singer, The model theory of ordered differential fields, J. Symb. Logic 43(1) (1978) 82–91], and to closed[Formula: see text]-adic differential fields in the sense of [Tressl, The uniform companion for large differential fields of characteristic [Formula: see text], Trans. Amer. Math. Soc. 357(10) (2005) 3933–3951]. As an application, we prove a general existence result for parameterized Picard–Vessiot (PPV) extensions within certain families of fields; if [Formula: see text] is a field with two commuting derivations, and [Formula: see text] is a parameterized linear differential equation over [Formula: see text], and [Formula: see text] is “differentially large” and [Formula: see text] is bounded, and [Formula: see text] is existentially closed in [Formula: see text], then there is a PPV extension [Formula: see text] of [Formula: see text] for the equation such that [Formula: see text] is existentially closed in [Formula: see text]. For instance, it follows that if the [Formula: see text]-constants of a formally real differential field [Formula: see text] is a closed ordered[Formula: see text]-field, then for any homogeneous linear [Formula: see text]-equation over [Formula: see text] there exists a PPV extension that is formally real. Similar observations apply to [Formula: see text]-adic fields.