Let $K$ be a local or global field. For a connected reductive group $G$ over $K$, in another preprint [5] we defined a power operation $$(ξ,n)\mapsto ξ^{\Diamond n}\,\colon\, H^1(K,G)\times {\mathbb Z}\to H^1(K,G)$$ of raising to power $n$ in the Galois cohomology pointed set $H^1(K,G)$.
In this paper, for a cohomology class $ξ$ in $H^1(K,G)$, we compare the period ${\rm per}(ξ)$ defined to be the least integer $n\ge 1$ such that $ξ^{\Diamond n}=1$, and the index ${\rm ind}(ξ)$ defined to be the greatest common divisor of the degrees $[L:K]$ of finite separable extensions $L/K$ splitting $ξ$. These period and index generalize the period and index a central simple algebra over $K$. For an arbitrary reductive $K$-group $G$, we proved in [5] that ${\rm per}(ξ)$ divides ${\rm ind}(ξ)$. In this paper we show that the index may be strictly greater than the period.
In [5] we proved that for any $K$, $G$, and $ξ\in H^1(K,G)$ as above, the index ${\rm ind}(ξ)$ divides ${\rm per}(ξ)^d$ for some positive integer $d$, and we gave upper bounds for $d$ in the local case and in the case of a number field. Here we give a characteristic-free proof of the fact that ${\rm ind}(ξ)$ divides ${\rm per}(ξ)^d$ for some positive integer $d$ in the global field case, and our proof gives an upper bound for $d$ that is valid also in the case of a function field.
Let $G$ be a connected reductive group over a number field $F$, and let $S$ be a set (finite or infinite) of places of $F$. We give a necessary and sufficient condition for the surjectivity of the localization map from $H^1(F,G)$ to the "direct sum" of the sets $H^1(F_v,G)$ where $v$ runs over $S$. In the appendices, we give a new construction of the abelian Galois cohomology of a reductive group over a field of arbitrary characteristic.
We correct a mistake in the paper "On the cuspidal cohomology of $S$-arithmetic subgroups of reductive groups over number fields " by A. Borel, J.-P. Labesse, J. Schwermer that appeared in Compositio Mathematica, 102 (1996), 1-40.
Let $G$ be a split reductive group with $\dim Z(G) \leq 1$. We show that for any prime $p$ that is large enough relative to $G$, there is a finitely ramified Galois representation $ρ\colon Γ_{\mathbb Q} \to G(\mathbb Z_p)$ with open image. We also show that for any given integer $e$, if the index of irregularity of $p$ is at most $e$ and if $p$ is large enough relative to $G$ and $e$, then there is a Galois representation $Γ_{\mathbb Q} \to G(\mathbb Z_p)$ ramified only at $p$ with open image, generalizing a theorem of A. Ray. The first type of Galois representation is constructed by lifting a…
We establish arithmetic duality theorems for short complexes associated to reductive groups over $p$-adic function fields. Using dualities, we deduce obstructions to weak approximation for certain reductive groups (especially quasi-split ones) and relate this obstruction to an unramified Galois cohomology group.
We investigate the Galois cohomology of finitely generated maximal pro-$p$ quotients of absolute Galois groups. Assuming the well-known conjectural description of these groups, we show that Galois cohomology has the PBW property. Hence in particular it is a Koszul algebra. This answers positively a conjecture by Positselski in this case. We also provide an analogous unconditional result about Pythagorean fields. Moreover, we establish some results that relate the quadratic dual of Galois cohomology with $p$-Zassenhaus filtration on the group. This paper also contains a survey of Koszul propert…
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 $(φ,Γ)$-modules. Using Tate duality and a pairing for multivariable $(φ,Γ)$-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 $(φ,Γ)$-modules is an equivalence of cate…
For an odd prime $p$ satisfying Vandiver's conjecture, we give explicit formulae for the action of the absolute Galois group $G_{\mathbb{Q}(ζ_p)}$ on the homology of the degree $p$ Fermat curve, building on work of Anderson. Further, we study the invariants and the first Galois cohomology group which are associated with obstructions to rational points on the Fermat curve.
In this paper, we establish a Poitou-Tate's global duality for totally positive Galois cohomology. We illustrate this result in the case of the twisted module "à la Tate" $\mathbb{Z}_{2}(i)$, $i$ integer.
In this note, we consider function fields of higher-dimensional algebraic varieties defined over non-local fields, and show how the Galois action on the cohomology such function fields can be used to parameterize their divisorial valuations. By applying a recent theorem of Pop, we observe that, in dimension $\geq 3$, this information is enough to completely determine the function field and the base-field in question.
For every number field and every Cartan Killing type, there is an associated split simple algebraic group. We examine whether the corresponding arithmetic subgroups are profinitely solitary so that the commensurability class of the profinite completion determines the commensurability class of the group among finitely generated residually finite groups. Assuming Grothendieck rigidity, we essentially solve the problem by Galois cohomological means.
In this paper, we develop a new necessary and sufficient condition for the vanishing of 4-Massey products of elements in the mod-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.
We construct various explicit Herr complexes that compute the Galois cohomology of a $p$-adic representation of the absolute Galois group of a complete discrete valuation field of characteristic $0$ with a perfect residue field of characteristic $p$, using the associated $(φ,τ)$-modules (defined by Xavier Caruso), instead of $(φ,Γ)$-modules. We also give an application to $p$-divisible groups.
We construct global cohomology classes in the middle degree cohomology of the Shimura variety of the symplectic group $GSp_6$ compatible when one varies the level at $p$. These classes are expected constituents of an Euler system for the Galois representations appearing in these cohomology groups. As an application, we show how these classes provide elements in the Iwasawa cohomology of these representations and, by applying Perrin-Riou's machinery, $p$-adic L-functions associated to them.
Let F be the function field of a curve over totally imaginary number field. Let p be a prime. If F contains a primitive p th root of unity, then every element in the third Galois cohomology group of F with values in the group of p th roots of unity, is a symbol.
Let $ρ$ be a two-dimensional even Galois representation which is induced from a character $χ$ of odd order of the absolute Galois group of a real quadratic field. After imposing some additional conditions on $χ$, we attach $ρ$ to a Hecke eigenclass in the cohomology of ${\rm GL}(2,\mathbb Z)$ with coefficients in a certain infinite-dimensional vector space over a field of characteristic not equal to 2.
In this article, we use deformation theory of Galois representations valued in the symplectic group of degree four to prove a freeness result for the cohomology of certain quaternionic unitary Shimura variety over the universal deformation ring for certain type of residual representation satisfying a property called rigidity. This result plays an important role in the proof of the arithmetic level raising theorem for the symplectic similitude group of degree four over the field of rational numbers by the author.
For an odd prime p, we determine a minimal set of topological generators of the pro-p Iwahori subgroup of a split reductive group G over Z\_p. In the simple adjoint case and for any sufficiently large regular prime p, we also construct Galois extensions of Q with Galois group between the pro-p and the standard Iwahori subgroups of G.
Let $p$ be a prime. We produce two new families of pro-$p$ groups which are not realizable as absolute Galois groups of fields. To prove this we use the 1-smoothness property of absolute Galois pro-$p$ groups. Moreover, we show in these families one has one-relator pro-$p$ groups which may not be ruled out as absolute Galois groups employing the quadraticity of Galois cohomology (a consequence of Rost-Voevodsky Theorem), or the vanishing of Massey products in Galois cohomology.
The classification of the local Galois representations using $(φ,Γ)$-modules by Fontaine has been generalized by Kisin and Ren over the Lubin-Tate extensions of local fields using the theory of $(φ_q,Γ_{LT})$-modules. In this paper, we extend the work of (Fontaine) Herr by introducing a complex which allows us to compute cohomology over the Lubin-Tate extensions and compare it with the Galois cohomology groups. We further extend that complex to include certain non-abelian extensions. We then deduce some relations of this cohomology with those arising from $(ψ_q,Γ_{LT})$-modules. We also comput…
