The galois-cohomology tag has no usage guidance.

**26**

votes

**3**answers

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 ...

**22**

votes

**1**answer

960 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 ...

**22**

votes

**1**answer

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 ...

**20**

votes

**1**answer

2k 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} ...

**16**

votes

**1**answer

743 views

### Leopoldt's conjecture and cup-products

Among the many equivalent formulations of Leopoldt's conjecture, this one is probably the shortest: For any number field $K$, prime number $p$, finite set $S$ of primes of $K$ containing the primes ...

**15**

votes

**1**answer

354 views

### Computability of Brauer groups

A friend of mine and I were talking about computable algebra, and this question came up. The answer may already be known, but I couldn't find it with Google:
Suppose I have a countable field, $k$. ...

**14**

votes

**1**answer

2k 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
...

**12**

votes

**2**answers

849 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

**1**answer

677 views

### Explicit Bijection between Central Simple Algebras and twists of $\mathbb P^n$

The automorphism group of the algebra of $n$-dimensional matrices over a field $K$ is $PGL_n(K)$. The automorphism group of $n-1$-dimensional projective space over $K$ is also $PGL_n(K)$. Therefore, ...

**12**

votes

**1**answer

610 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 ...

**11**

votes

**2**answers

774 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 ...

**11**

votes

**0**answers

629 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 ...

**10**

votes

**0**answers

384 views

### Unramified Galois cohomology of number fields

I'm trying to understand unramified Galois cohomology of number fields a bit better.
Set-up: Let $k$ be a number field and $S$ a finite set of places of $k$ which contains all the archimedean ...

**9**

votes

**1**answer

235 views

### Torsors trivializing over a fixed finite etale cover

Let $S$ be an integral regular scheme and let $T\to S$ be a finite etale morphism. Let $G$ be a smooth affine finite type group scheme over $S$.
Is the set of $S$-isomorphism classes of $G$-torsors ...

**8**

votes

**2**answers

385 views

### “Forms” of quadrics

The theory of Severi-Brauer varieties is well-known. Let $k$ be a (perfect) field. There may exist varieties not isomorphic to $\mathbf{P}^n$ over $k$, which are isomorphic to $\mathbf{P}^n$ over ...

**8**

votes

**1**answer

413 views

### Variant of Hilbert 90 for Galois extensions

Let $K/\mathbb F_q(x)$ be a finite Galois extension with Galois group $G$. Let $Aut(K)$ be the group of $\mathbb F_q$-automorphisms of $K$.
Obviously, $G\subseteq Aut(K)$. It is well known that
...

**8**

votes

**1**answer

283 views

### When does the continuous Galois(=etale) cohomology of fields coincide with the naive one? Often true by the Bloch-Kato conjecture?

For a field $F$ I am interested in its $l$-adic (Galois=\'etale) cohomology; here $l$ is a prime distinct from the characteristic of $F$ (for simplicity one may assume that the latter is $0$).
For ...

**8**

votes

**1**answer

655 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
$$
...

**7**

votes

**2**answers

433 views

### Galois cohomologies of an elliptic curve

I asked this question at math stackexchange but did not get any answer and I was suggested to post the question here.
I am studying basic theory of elliptic curves. I encountered Galois cohomology. ...

**7**

votes

**1**answer

355 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 ...

**7**

votes

**2**answers

399 views

### Forms of algebraic varieties

Let $X$ be an algebraic variety (say, projective, irreducible and smooth), defined over a field $K$, and let $L$ be a Galois extension. I am interested in algebraic varieties $Y$, defined over $K$, ...

**6**

votes

**2**answers

305 views

### First Galois cohomology of Weil restriction of $\mathbb{G}_m$

Let $L/K$ be a finite Galois extension, write $G:= Gal(L/K)$. Denote by $R = Res(\mathbb{G}_m)$ the Weil restriction of $\mathbb{G}_m$, from $L$ to $K$. I want to show that its first Galois cohomology ...

**6**

votes

**1**answer

1k 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 ...

**6**

votes

**1**answer

302 views

### Continuity of l-adic cohomology: is the cohomology of the generic point isomorphic to the completion of the limit of cohomology of open subvarieties?

Let $X$ be a variety over an algebraically closed field $k$. Denote by $\eta$ its generic point; it is the inverse limit of the open subvarieties $X_i$ of $X$. It is well known that the etale ...

**6**

votes

**2**answers

672 views

### Peu or très ramifiée extension

Let $p$ be a prime number. Let $\mathbb{F}$ be a finite extension of $\mathbb{F}_p$. Let $\omega$ be the mod $p$ cyclotomic character and let $V$ be a representation of $G_{p} = Gal(\bar{\mathbb{Q}}_p ...

**6**

votes

**1**answer

295 views

### A vanishing condition for cup products in Galois cohomology

Let $k$ be a field of characteristic $\neq 2$. For a non-zero element $a \in k^*$, let us write $[a] \in H^1(k,\mathbb{Z}/2)$ for the Galois cohomology class corresponding to the quadratic extension ...

**6**

votes

**1**answer

979 views

### Relations between the cohomology of discrete groups and of profinite groups

Let $G$ be a discrete group and $K$ be the profinite completion of $G$. Let $C_K$ denote the category of contionuous $K$-modules and ${C_K}'$ denotes category of finite continuous $K$-modules. Now for ...

**6**

votes

**0**answers

114 views

### References for Gauss Composition using Galois Cohomology

Note: I have already posted this on stackexchange, but have not yet gotten a response.
What are some good references for the Gauss composition law on binary quadratic forms in terms of Galois ...

**6**

votes

**0**answers

312 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})$.
...

**5**

votes

**1**answer

281 views

### rationality question while dealing with an isogeny

I don't think that the following is known, but before going to other things, I would like to know what can be said about it. Thanks in advance for any relevant comment !
So here is the situation. Let ...

**5**

votes

**1**answer

141 views

### $H^1$ and fractional ideals group

Let $L/K$ be a Galois extension with Galois group and $\mathfrak p$ be a prime of the ring of integers $\mathcal O_K$.
I would like to prove that $H^1(G, I_{\mathfrak p})=1$ where $I_{\mathfrak p}$ is ...

**5**

votes

**1**answer

166 views

### Applications of the Galois embedding problem

Given a finite Galois extension of number fields $L/K$ with Galois group $G$ and a surjection $E\twoheadrightarrow G$ of finite groups, the Galois embedding problem is the question of whether there ...

**5**

votes

**1**answer

186 views

### Rank four quadratic Form with non trivial discriminant in I(k)

Im sure this is a beginners question.
Let $k$ be a field and $I(k)$ the fundamental ideal in the Witt-ring W(k).
The Arason-Pfister-Hauptsatz states:
"If $\varphi$ is any anisotropic class in ...

**5**

votes

**1**answer

920 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:
...

**5**

votes

**1**answer

288 views

### Open subgroups of the etale fundamental group of $P^1_\mathbb Q\setminus\{0,\infty\}$

Let $G$ be the etale fundamental group of $P^1_\mathbb Q\setminus\{0,\infty\}$. Then $G$ is isomorphic to a semidirect product of $\widehat {\mathbb Z}(1)$ by $ Gal_\mathbb Q$.
Is it true that ...

**5**

votes

**1**answer

800 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 ...

**5**

votes

**1**answer

264 views

### Motives of a variety of type D4

Over the last decade Nikita Semenov, Skip Garibaldi and others have made some progress in the theory of cohomological invariants, (Rost)-motives and motivic decompositions of algebraic groups. For ...

**5**

votes

**1**answer

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)$ ...

**4**

votes

**2**answers

621 views

### Galois cohomology H^1(Q_p, Z_p(2)) = 0?

For Tate twists Z_p(2), which is defined by the projective limit of
\mu_{p^m}(2) over all m>0, I would like to calculate H^1(Q_p, Z_p(2)).
I guess this is zero, but cannot prove it.
Is it possible ...

**4**

votes

**2**answers

242 views

### Generalization of Kummer isomorphism?

This is a question I asked on math.stackexchange without success.
Let $p$ be a prime number and denote by $\mathbb{F}_p(1)$ the one dimensional vector space over $\mathbb{F}_p$ endowed with an action ...

**4**

votes

**1**answer

214 views

### Lifting torsors in characteristic $p$ to characteristic zero

Let $R$ be a local integral domain with residue field $k$ such that $R$ is of characteristic zero and $k$ is of characteristic $p>0$. Let $G$ be a smooth finite type affine group scheme with ...

**4**

votes

**1**answer

202 views

### What is the interpretation of this galois cohomology set?

Let $K$ be a field of characteristic zero. Let $G_K:=Gal(\bar{K}/K)$
The nontrivial elements of the set $H^1(G_K,PGL_2)$ correspond to $\bar{K}/K$-forms of $\mathbb{P}^1$; i.e. curves that are ...

**4**

votes

**2**answers

323 views

### Projectives in the category of discrete G-modules

If $G$ is a profinite group, then the category $Mod(G)$ of discrete $G$-modules has sufficiently many injectives (Neukirch, Schmidt, Wingberg: Cohomology of Number Fields, 2.6.5).
Since the cited ...

**4**

votes

**1**answer

178 views

### Twists of projective automorphisms

Let $X$ be a projective variety over a perfect field $k$. Recall that a twist of $X$ is a variety $Y$ over $k$ such that $$X_{\bar k} \cong Y_{\bar k}.$$
The twists of $X$ are classified by the Galois ...

**4**

votes

**0**answers

88 views

### Norm variety for n=5, p=2 not isomorphic to a quadric

In the paper "Motivic construction of cohomological invariants", the author displays a list of known norm varieties for several $n,p$ on page $11$. For $p=2, n=5$ it says that a norm variety is given ...

**3**

votes

**1**answer

284 views

### Galois cohomology of a non-abelian group over a function field

Let $k$ be an algebraically closed field, and $X$ a connected smooth projective curve over $X$. Let $F$ be the function field of $k$. Let $G$ be an algebraic group over $k$ (assume that it is smooth, ...

**3**

votes

**1**answer

209 views

### What's the minimum number of generators for the wild inertia?

Suppose $K$ is a finite extension of $\mathbb{Q}_p$ and $K^{nr}$ the maximal unramified extension of $K$ in some fixed algebraic closure. Let $G_K$ be the absolute Galois group of $K$ and let $I_w$ be ...

**3**

votes

**2**answers

308 views

### Galois cohomology of the field of Laurent series

Let $k$ a separably closed field. Do we have that $k((t))$ is of cohomological dimension one?

**3**

votes

**1**answer

263 views

### The cardinality of first non-abelian Galois cohomology

Let $G$ be a linear algebraic group over a non-archimedean local field $F$. Let $H^1(F,G)$ be the first non-abelian Galois cohomology. It is known that when $F$ is of characteristic 0, i.e. finite ...

**3**

votes

**1**answer

787 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 = ...