This is a revision of a McMaster University preprint, with extension.
In this paper we prove that over local or global fields of characteristic 0, the Corestriction Principle holds for kernel and image of all maps which are connecting maps in group cohomology and the groups of $R$-equivalences. Some related questions over arbitrary fields of characteristic 0 are also discussed.
AMS Mathematics Subject Classification (1991): Primary 11E72, Secondary 18G50, 20G10
Let p be a prime and F a field containing a primitive pth root of unity. Then for n in N, the cohomological dimension of the maximal pro-p-quotient G of the absolute Galois group of F is <=n if and only if the corestriction maps H^n(H,Fp) -> H^n(G,Fp) are surjective for all open subgroups H of index p. Using this result we derive a surprising generalization to dim_Fp H^n(H,Fp) of Schreier's formula for dim_Fp H^1(H,Fp).
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…
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 paper, we give a necessary and sufficient condition for the finiteness of Galois cohomology of unipotent groups over local fields of positive characteristic
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.
In this paper we extend a conjecture of Ash and Sinnott relating niveau one Galois representation to the mod p cohomology of congruence subgroups of SL(n,Z) to include Galois representations of higher niveau. We then present computational evidence for our conjecture in the case n=3 in the form of three-dimensional Galois representations which appear to correspond to cohomology eigenclasses as predicted by the conjecture. Our examples include Galois representations with nontrivial weight and level, as well as irreducible three-dimensional representations which are in no obvious way related to l…
We remove the assumption "let p be odd or k totally imaginary" from several well-known theorems in Galois cohomology of number fields. For example, we show that the Galois group of the maximal extension of a number field k which is unramified outside 2 has a finite cohomological 2-dimension (also if k has real places). (The dvi-file requires the xypic-package)
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.
Let $F$ be a totally real number field and let $p$ be a prime unramified in $F$. We prove the existence of Galois pseudo-representations attached to mod $p^m$ Hecke eigenclasses of paritious weight occurring in the coherent cohomology of Hilbert modular varieties for $F$ of level prime to $p$.
For a $p$-adic local field $K$ with perfect residue field, L. Herr constructed a complex which computes the Galois cohomology of a $p$-torsion representation of the absolute Galois group of $K$ by using the theory of $(Φ,Γ)$-modules. We shall generalize his work to the imperfect residue field (the residue field has a finite $p$-basis) case.
We introduce a method for producing congruences between Hecke eigenclasses, possibly torsion, in the coherent cohomology of automorphic vector bundles on certain good reduction Shimura varieties. The congruences are produced using some "generalized Hasse invariants" adapted to the Ekedahl-Oort stratification of the special fiber.
Let p be an odd prime. We consider the cyclotomic extension T := Z_(p)[zeta_{p^2}] of S := Z_(p), with galois group G := (Z/p^2)^*. Since this extension is wildly ramified, the SG-module T is not projective. We calculate its cohomology ring H^*(G, T; S), carrying the cup product induced by the ring structure of T. Proceeding in a somewhat greater generality, our results also apply to certain Lubin-Tate extensions.
Let E/Q be an elliptic curve and p be a prime number, and let G be the Galois group of the extension of Q obtained by adjoining the coordinates of the p-torsion points on E. We determine all cases when the Galois cohomology group H^1(G, E[p]) does not vanish, and investigate the analogous question for E[p^i] when i>1. We include an application to the verification of certain cases of the Birch and Swinnerton-Dyer conjecture, and another application to the Grunwald-Wang problem for elliptic curves.
Building on ideas of Vatsal, Cornut proved a conjecture of Mazur asserting the generic nonvanishing of Heegner points on an elliptic curve E as one ascends the anticyclotomic Z_p-extension of a quadratic imaginary extension K/Q. In the present article Cornut's result is extended by replacing the elliptic curve E with the Galois cohomology of Deligne's 2-dimensional l-adic representation attached to a modular form of weight 2k>2, and replacing the family of Heegner points with an analogous family of special cohomology classes.
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 any finite group G and integer i, let $\mathcal{H}^i(G)$ be the set of all the isomorphism classes of the Galois cohomology groups $\hat{H}^i(K/k,E_K)$, where K/k runs over all the unramified G-extension of number fields and E_K denotes the global unit group of K. We will determine $\mathcal{H}^i(G)$ for i=0,1,2, and 4 in the case where G is a finite p-group.
We investigate the first two Galois cohomology groups of $p$-extensions over a base field which does not necessarily contain a primitive $p$th root of unity. We use twisted coefficients in a systematic way. We describe field extensions which are classified by certain residue classes modulo $p^n$th powers of a related field, and we obtain transparent proofs and slight generalizations of some classical results of Albert. The potential application to the cyclicity question for division algebras of degree $p$ is outlined.
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…
The absolute Galois group of the cyclotomic field $K={\mathbb Q}(ζ_p)$ acts on the étale homology of the Fermat curve $X$ of exponent $p$. We study a Galois cohomology group which is valuable for measuring an obstruction for $K$-rational points on $X$. We analyze a $2$-nilpotent extension of $K$ which contains the information needed for measuring this obstruction. We determine a large subquotient of this Galois cohomology group which arises from Heisenberg extensions of $K$. For $p=3$, we perform a Magma computation with ray class fields, group cohomology, and Galois cohomology, which determin…
Given a KHT Shimura variety provided with an action of its unramified Hecke algebra $\mathbb T$, we proved in a previous work, see also the work of Caraiani-Scholze for other PEL Shimura varieties, that its localized cohomology groups at a generic maximal ideal $\mathfrak m$ of $\mathbb T$, appear to be free. In this work, we obtain the same result for $\mathfrak m$ such that its associated Galois $\overline{\mathbb F}_l$-representation $\overline{ρ_{\mathfrak m}}$ is irreducible, under the hypothesis that $[F(\exp(2iπ/l):F]>d$ where $F$ is the reflex field, $d$ the dimension of the KHT Shimur…
The conjecture of Serre referred in the title is the one about modularity of odd Galois representations into GL(2,F) where F is a finite field of characteristic p. We present an analogous conjecture where GL(2) is replaced by GL(n). We explain the analogue of "oddness." We then present some theoretical and experimental evidence for the conjecture, primarily when n = 3. Our conjecture does not require the Galois representation to be irreducible. Our most interesting examples involve the sum of an irreducible even 2-dimensional representation and a 1-dimensional representation.
We extend the computations in [AGM1, AGM2, AGM3] to find the cohomology in degree five of a congruence subgroup Gamma of SL(4,Z) with coefficients in a field K, twisted by a nebentype character eta, along with the action of the Hecke algebra. This is the top cuspidal degree. In practice we take K to be a finite field of large characteristic, as a proxy for the complex numbers. For each Hecke eigenclass found, we produce a Galois representation that appears to be attached to it. Our computations show that in every case this Galois representation is the only one that could be attached to it. The…
We use Galois cohomology to study the $p$-rank of the class group of $\mathbf{Q}(N^{1/p})$, where $N \equiv 1 \bmod{p}$ is prime. We prove a partial converse to a theorem of Calegari--Emerton, and provide a new explanation of the known counterexamples to the full converse of their result. In the case $p = 5$, we prove a complete characterization of the $5$-rank of the class group of $\mathbf{Q}(N^{1/5})$ in terms of whether or not $\prod_{k=1}^{(N-1)/2} k^{k}$ and $\frac{\sqrt{5} - 1}{2}$ are $5$th powers mod $N$.
For $m\geq2$, let $F$ be a field of characteristic prime to $m$ and containing the roots of unity of order $m$, and let $G_F$ be its absolute Galois group. We show that the 3-fold Massey products $\langleχ_1,χ_2,χ_3\rangle$, with $χ_1,χ_2,χ_3\in H^1(G_F,\mathbb{Z}/m)$ and $χ_1,χ_3$ $\mathbb{Z}/m$-linearly independent, are non-essential. This was earlier proved for $m$ prime. Our proof is based on the study of unitriangular representations of $G_F$.
Let $K$ be a complete discrete valuation field of characteristic zero with residue field $k_K$ of characteristic $p>0$. Let $L/K$ be a finite Galois extension with Galois group $G=\Gal(L/K)$ and suppose that the induced extension of residue fields $k_L/k_K$ is separable. Let $\mathbb{W}_n(\cdot)$ denote the ring of $p$-typical Witt vectors of length $n$. Hesselholt conjectured that the pro-abelian group $\{H^1(G,\mathbb{W}_n(\mathcal{O}_L))\}_{n\geq 1}$ is isomorphic to zero. Hogadi and Pisolkar have recently provided a proof of this conjecture. In this paper, we provide an alternative proof o…
Let $F$ be the function field of a curve over a non-archimedean local field. Let $m \geq 2$ be an integer coprime to the characteristic of the residue field of the local field. In this article, we show that every element in $H^{3}(F, μ_{m}^{\otimes 2})$ is of the form $χ\cup (f) \cup (g)$, where $χ$ is in $H^{1}(F, \mathbb{Z}/m\mathbb{Z})$ and $(f)$, $(g)$ in $H^{1}(F, μ_{m})$. This extends a result of Parimala and Suresh, where they show this when $m$ is prime and when $F$ contains $μ_{m}$.
Assuming the Bloch-Kato Conjecture, we determine precise conditions under which Hilbert 90 is valid for Milnor k-theory and Galois cohomology. In particular, Hilbert 90 holds for degree n when the cohomological dimension of the Galois group of the maximal p-extension of F is at most n.
This is a report of a talk given at the Oberwolfach workshop on "cohomology of finite groups: Interactions and applications" which was held during July 25th - July 31st, 2010. It is an announcement of some of the results (with motivation) and their applications from the paper "Quotients of absolute Galois groups which determine the entire Galois cohomology"; see arXiv:0905.1364.
For each nonsingular hyperelliptic curve of arbitrary genus, we construct a natural injection from the Galois cohomology of 2-torsion subgroups of Jacobian varieties of the curve to the set of isomorphism classes of nonsingular complete intersections of two quadrics. This gives a generalization of the result of Flynn and Skorobogatov.
Using the overconvergent cohomology modules introduced by Ash and Stevens, we construct eigenvarieties associated with reductive groups and establish some basic geometric properties of these spaces, building on work of Ash-Stevens, Urban, and others. We also formulate a precise modularity conjecture linking trianguline Galois representations with overconvergent cohomology classes. In the course of giving evidence for this conjecture, we establish several new instances of \emph{p-}adic Langlands functoriality. Our main technical innovations are a family of universal coefficients spectral sequen…
For prime power $q=p^d$ and a field $F$ containing a root of unity of order $q$ we show that the Galois cohomology ring $H^*(G_F,\dbZ/q)$ is determined by a quotient $G_F^{[3]}$ of the absolute Galois group $G_F$ related to its descending $q$-central sequence. Conversely, we show that $G_F^{[3]}$ is determined by the lower cohomology of $G_F$. This is used to give new examples of pro-$p$ groups which do not occur as absolute Galois groups of fields.
We complete the picture of local and global arithmetic duality theorems for short complexes of finite Galois modules and tori over $p$-adic function fields. In view of the duality theorems, we deduce a $12$-term Poitou--Tate exact sequence which relates global Galois cohomology groups to restricted topological products of local Galois cohomology groups.
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…
This is is a survey of applications of Fontaine's theory of p-adic representations of local fields (Phi-Gamma-modules) to Galois cohomology of local fields and explicit formulas for the Hilbert symbol in relation with two-dimensional local objects.
This paper presents results on both the kernel and cokernel of the S-capitulation map C_{F,S}\ra C_{K,S}^{G} for arbitrary finite Galois extensions K/F (with Galois group G) and arbitrary finite sets of primes S of F (assumed to contain the archimedean primes in the number field case)
We study some partially de Rham representations of $\mathrm{Gal}(\bar{L}/L)$ for a finite unramified extension $L$ of $\mathbb{Q}_p$. We study some related subspaces of Galois cohomology and of cohomology of $B$-pairs. As an application, we associate a locally $\mathbb{Q}_p$-analytic representation of $\mathrm{GL}_2(L)$ to a $2$-dimensional trianguline representation of $\mathrm{Gal}(\bar{L}/L)$, by generalizing Breuil's theory in the crystalline case.
We report on the computation of torsion in certain homology theories of congruence subgroups of SL(4,Z). Among these are the usual group cohomology, the Tate-Farrell cohomology, and the homology of the sharbly complex. All of these theories yield Hecke modules. We conjecture that the Hecke eigenclasses in these theories have attached Galois representations. The interpretation of our computations at the torsion primes 2,3,5 is explained. We provide evidence for our conjecture in the 15 cases of odd torsion that we found in levels up to 31.
Let p>2 be prime, and let n,m be positive integers. For cyclic field extensions E/F of degree p^n that contain a primitive pth root of unity, we show that the associated F_p[Gal(E/F)]-modules H^m(G_E,mu_p) have a sparse decomposition. When E/F is additionally a subextension of a cyclic, degree p^{n+1} extension E'/F, we give a more refined F_p[Gal(E/F)]-decomposition of H^m(G_E,mu_p).
We consider lifting of mod p representations to mod p^2 representations in the setting of representations of (i) finite groups; (ii) absolute Galois groups of abstract fields; and (iii) absolute Galois groups of local and global fields.
On the second partial Global Euler-Poincare characteristics for Galois cohomology
Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)（上海数学与交叉学科研究院）；Research Institute of Intelligent Complex Systems, Fudan University（复旦大学复杂系统研究所）
We describe a graded extension of the usual Hecke algebra: it acts in a graded fashion on the cohomology of an arithmetic group $Γ$. Under favorable conditions, the cohomology is freely generated in a single degree over this graded Hecke algebra. From this construction we extract an action of certain $p$-adic Galois cohomology groups on $H^*(Γ, \mathbb{Q}_p)$, and formulate the central conjecture: the motivic $\mathbb{Q}$-lattice inside these Galois cohomology groups preserves $H^*(Γ,\mathbb{Q})$.
Let $K$ be a complete discrete valued field of characteristic zero with residue field $k_K$ of characteristic $p > 0$. Let $L/K$ be a finite Galois extension with the Galois group $G$ and suppose that the induced extension of residue fields $k_L/k_K$ is separable. In his paper, Hesselholt conjectured that $H^1(G,W(\sO_L))$ is zero, where $\sO_L$ is the ring of integers of $L$ and $W(\sO_L)$ is the Witt ring of $\sO_L$ w.r.t. the prime $p$. He partially proved this conjecture for a large class of extensions. In this paper, we prove Hesselholt's conjecture for all Galois extensions.
Let f: S' --> S be a finite and faithfully flat morphism of locally noetherian schemes of constant rank n and let G be a smooth, commutative and quasi-projective S-group scheme with connected fibers. For every r>0, let Res_{G}^{(r)}: H^{r}(S_{et},G)---> H^{r}(S'_{et},G) and Cores_{G}^{(r)}: H^{r}(S'_{et},G)---> H^{r}(S_{et},G) be, respectively, the restriction and corestriction maps in etale cohomology induced by f. For certain pairs (f, G), we construct maps α_{r}: Ker Cores_{G}^{(r)}---> Coker Res_{G}^{(r)} and β_{r}: Coker Res_{G}^{(r)}---> Ker Cores_{G}^{(r)} such that α_{r}oβ_{r}=β_{r}oα_…
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.
We study toric varieties over a field k that split in a Galois extension K/k using Galois cohomology with coefficients in the toric automorphism group. Part of this Galois cohomology fits into an exact sequence induced by the presentation of the class group of the toric variety. This perspective helps to compute the Galois cohomology, particularly for cyclic Galois groups. We use Galois cohomology to classify k-forms of projective spaces when K/k is cyclic, and we also study k-forms of surfaces.
The main problem this thesis deals with is the characterization of profinite groups which are realizable as absolute Galois groups of fields: this is currently one of the major problems in Galois theory. Usually one reduces the problem to the pro-$p$ case, i.e., one would like to know which pro-$p$ groups occur as maximal pro-$p$ Galois groups, i.e., maximal pro-$p$ quotients of absolute Galois groups. Indeed, pro-$p$ groups are easier to deal with than general profinite groups, yet they carry a lot of information on the whole absolute Galois group. We define a new class of pro-$p$ groups, cal…
