The tag has no wiki summary.

learn more… | top users | synonyms

5
votes
1answer
308 views

Equality of Galois modules

Let $k$ be a number field. Let $M$ be a (continuous) $\text{Gal}(\overline{k}/k)$-module. One can define two subgroups of the Galois cohomology group $H^i(k,M)$: the group of elements of $H^i(k,M)$ ...
6
votes
1answer
987 views

p-adic Hodge theory for varieties defined over \C _p ?

I have a question on p-adic Hodge theory: When e.g. $X$ is a smooth proper scheme over a finite extension $K$ of $\mathbf{Q}_{p}$ then e.g. one variant of $p$-adic Hodge theory says that there is a ...
2
votes
1answer
304 views

Additive form of Hilbert 90 for schemes?

First, I am by no means well-versed on cohomology so I apologize if this is too elementary. I have been going through some basics of etale cohomology, with my ultimate goal being an understanding of ...
0
votes
1answer
384 views

Poitou-Tate dualities for Galois representations into power series rings?

Suppose $K$ is a finite extension of $\mathbf{Q}_p$, $A=K[[T_1,\dots,T_n]]$, $V$ a finite-rank free $A$-module, and $\rho:G_{\mathbf{Q}} \to \mathrm{GL}(V)$ a continuous Galois representation. Are ...
2
votes
2answers
329 views

Why does $H^1(G_p/I_p,\mathbb{F}(\delta\epsilon^{-1}))$ vanish?

For a finite field $\mathbb{F}$ of char $p$ $\geq 2$, let $f$ be a normalised eigenform of weight $k\geq 2$ that is ordinary at $p$ and $\overline{\rho}_f$ be the mod $p$ Gal representation attached ...
6
votes
1answer
580 views

Galois descent for K-groups (or for étale cohomology groups)

Let $F/K$ be a Galois extension of number fields with Galois group $G$. Let $\mathcal{O}_F$ and $\mathcal{O}_K$ be the associated rings of integers, and let $n\geq 1$. When is $$ ...
19
votes
1answer
1k views

How is etale cohomology of integer rings related to Galois cohomology?

In the paper of Bloch and Kato in the Grothendieck Festschrift, and some other papers relating to the Bloch-Kato conjecture and the ETNC, the cohomology groups $H^i_{\mathrm{et}}(\operatorname{Spec} ...
3
votes
1answer
725 views

Galois cohomology groups given by étale cohomology

What are cases when Galois cohomology groups are given by étale cohomology? Example: $S = Spec(K)$ the spectrum of a field, $F \in Sh(K)$, then $H^p(K, F) = H^p(G_K, F_{\bar{K}})$. What if $G = ...
11
votes
2answers
777 views

Compatibility of Bloch-Kato and Beilinson-Bloch

Suppose $V/K$ is a smooth projective variety. Let $\mathrm{Ch}^{j}(V)_{0}$ be the group of codimension-$j$ homologically trivial $K$-rational cycles on $V$, modulo rational equivalence. A conjecture ...
12
votes
1answer
580 views

Is there a canonical height on the Weil-Chatelet group?

Jon Hanke and I were just chatting and realized we didn't know the answer to the following question. If E is an elliptic curve over a number field, is there in any sense a "canonical height" on the ...
7
votes
1answer
352 views

Is H^2(W_p,C^times) well-known?

Let $W_p$ be the Weil group of $\mathbf{Q}_p$. What is the Galois cohomology group $H^2(W_p,\mathbf{C}^{\times} )$ (with trivial action)? Is it zero, or something huge and complicated? (This group ...
5
votes
1answer
784 views

What kind of structures allow Galois descent?

EDIT: Question solved. Let me explain what I mean. The classical formulation of Galois descent, e. g. in Crawley-Boevey's "Cohomology and central simple algebras", uses the following notion: ...
6
votes
0answers
260 views

Real approximation for homogeneous spaces of linear algebraic groups

Let $X$ be a smooth geometrically integral variety over $\mathbf{Q}$, having a $\mathbf{Q}$-point. We say that $X$ has the real approximation property if $X(\mathbf{Q})$ is dense in $X(\mathbf{R})$. ...
20
votes
1answer
2k views

Iwasawa main conjectures vs Bloch-Kato conjectures

Let $p$ be a prime, $K$ be a number field, $S$ a finite set of finite places of $K$ containing the set $S_p$ of places above $p$ and the places at infinity, $G:=G_{K,S}$ the Galois group of the ...
22
votes
1answer
932 views

Does the everywhere unramified extension of Q(mu_37) of degree 37 grow into a Z_37-extension?

Let $p=37$. Since $p$ divides the numerator of $B_{32}$, by Ribet's proof of the converse of Herbrand's theorem, we know that the class group of ${\bf Q}(\mu_p)$ has size divisible by $p$. More ...
3
votes
2answers
605 views

Restriction of scalars of simple algebraic groups

I'm trying to understand the following basic property of the restriction of scalars: Given an absolutely simple algebraic groups $G$ defined over a number field $k$, are there at most finitely (up-to ...
1
vote
0answers
157 views

twisted forms of a given group embedded in a second group?

Consider the following question about forms of a given group that are embedded in a fixed group. Fix for simplicity $k$ a perfect field, and $H\subsetneq G$ a pair of connected reductive $k$-groups, ...
1
vote
1answer
549 views

Is the direct limit of Weil restriction of an elliptic curve a scheme?

In a discussion today on the Shafarevich-Tate group of an elliptic curve, the following structure and question came up. I will abuse many notations and be very vague about some things, but am very ...
11
votes
0answers
603 views

What is the Shafarevich-Tate group of GL(2)?

Let $K$ be a number field, $\bar{K}$ a fixed algebraic closure, $G_K$ the absolute galois group, $O_\bar{K}$ the ring of integers of the algebraic closure, $\mathfrak{p}$ runs over prime ideals and ...
24
votes
3answers
2k views

Why aren't there more classifying spaces in number theory?

Much of modern algebraic number theory can be phrased in the framework of group cohomology. (Okay, this is a bit of a stretch -- much of the part of algebraic number theory that I'm interested ...
5
votes
1answer
772 views

Galois groups via cohomology

I would like to know about references for the following result (point 3): Let $K/k$ be a normal extension (I am interested in number fields, but everything should work in fields of characteristic ...
14
votes
1answer
1k views

Are all Galois cohomology groups also étale cohomology groups?

Let $K$ be a field and $K^s$ a separable closure of $K$, and let $\mathcal{F}$ be a sheaf on $\mathrm{Spec}(K)$ (in the étale topology). By Grothendieck's Galois Theory, we have the isomorphism ...
10
votes
2answers
695 views

Hilbert 90 for algebras

Let $L\diagup K$ be a Galois extension of fields satisfying $\left[L:K\right] < \infty$. Let $B$ be a finite-dimensional (as a $K$-vector space) $K$-algebra. Then, the Galois group $G$ of $L\diagup ...