The galois-cohomology tag has no wiki summary.

**5**

votes

**1**answer

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

**1**

vote

**1**answer

442 views

### Cohomology of Groups at Gregory Berhuy's Book

Regarding Gregory Berhuy's book "An Introduction to Galois Cohomology and its Applications":
The book defined a cohomology sets for non-abelian $G$-groups. Let $A$ be a $G$-group, we define a ...

**11**

votes

**0**answers

622 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

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

**6**

votes

**0**answers

107 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

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

**4**

votes

**0**answers

175 views

### geometric interpretation of the transgression map

Let $X$ be an algebraic variety over an algebraically closed field $k$ and let a finite group $G$ act on it so that it acts freely on the generic fibre of the projection $X \to X/G$, so ...

**2**

votes

**0**answers

82 views

### do commutative groups torsors have a point in an Abelian extension of the base field?

Let $A$ be a principal homogeneous space for a commutative algebraic group defined over a field $k$ that contains all roots of unity. Is it true that $A$ has a $K$-point for an extension $K \supset k$ ...

**2**

votes

**0**answers

258 views

### Where does the name Euler System come from?

I've recently been reading about Euler systems, and was curious where the name comes from. In particular, while the notion of an Euler system is still not rigorously defined, does the idea resemble ...

**2**

votes

**0**answers

268 views

### galois cohomology over finite field

Let $X$ a smooth projective geometrically connected curve over a finite field $k$. Let $J$ a smooth commutative group scheme over $X$ and $F$ the function field of $X$.
Do we have a formula to ...

**1**

vote

**0**answers

58 views

### Motivic Pfister type varieties and norm varieties

Due to results of Rost it is known that the Grothendieck-Chow motiv of a Pfister quadric $X$ belonging to a pure $\alpha \in H^n(k,\mu_2)$ is decomposable in the following way
$M(X) = ...

**1**

vote

**0**answers

69 views

### explicit zero 2-cocycle

Let $G$ be a group which acts linearly on a vector space of dimension $n$ over a field $k$. Denote by $\rho$ this representation and consider the associated adjoint representation $Ad\rho$ which is ...

**1**

vote

**0**answers

71 views

### Local duality for abelian varieties

Let $A$ be an abelian variety over a p-adic field $K$. Let $I$ be the inertia group of $K$. There is a Yoneda pairing $$H^n(\hat{\mathbb{Z}},A^I) \times Ext^{2-n}_{\hat{\mathbb{Z}}}(A^I,\mathbb{Z}) ...

**1**

vote

**0**answers

89 views

### What is classified by $H^1(\mathbb{R},SO(p,q))$ and by $H^1(\mathbb{R},SU(p,q))$?

We denote by $F^{\mathbb{R}}_{p,q}$ the quadratic form over the field ${\mathbb{R}}$
$$
F^{\mathbb{R}}_{p,q}(x)=x_1^2+\dots+x_p^2-(x_{p+1}^2+\dots+x_{p+q}^2)
$$
on the vector space ...

**1**

vote

**0**answers

146 views

### Galois cohomology of generic points of formal completions (of components of a hypercovering of the subvariety): examples or general statements?

Let $Y$ be a closed smooth subvariety in a (smooth) affine variety $X$. What can one say about the etale cohomology of the generic points of the formal completion of $X$ along $Y$ i.e. about the ...

**1**

vote

**0**answers

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

**0**

votes

**0**answers

100 views

### torsors on quasi-split groups

Let $\mathbf{G}$ be a split connected reductive group scheme over a scheme $X$.
Let $X'\rightarrow X$ an étale Galois cover of group $\Gamma$.
We consider $G$ a quasi-split group scheme over $X$ ...

**0**

votes

**0**answers

170 views

### on the Galois cohomology of reductive groups

Let $G$ a simply connected group over an algebraically closed field.
$F=k((t))$ and $\mathcal{O}=k[[t]]$.
Let $\gamma\in G(\mathcal{O})\cap G(F)^{rs}$.
Let $E=k((t^{1/n}))$ with $n$ prime to the ...

**0**

votes

**0**answers

164 views

### Descent for group actions

Suppose I have a finite Galois extension of fields $K/k$, as well as a finite group $G$ with a surjection $f: G \rightarrow \mathrm{Gal}(K/k)$.
Finally, suppose I have an action $\sigma$ of $G$ on a ...

**0**

votes

**0**answers

239 views

### Ordered Cech(-like) complexes that compute etale cohomology (of fields!)

It is well known (cf. Equivalence of ordered and unordered cech cohomology. ) that for 'usual' topologies one can compute the cohomology of sheaves either using unordered Cech complexes or ordered ...