The galois-cohomology tag has no wiki summary.

**8**

votes

**1**answer

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

**1**

vote

**1**answer

197 views

### Splitting varieties of two Galois cohomology symbols

One characteristic property of the so called norm varieties defined by Rost, is that they split pure symbols of Galois cohomology groups $H^n(k,\mu_p)$, meaning:
For some $\alpha \in H^n(k,\mu_p)$ ...

**3**

votes

**1**answer

110 views

### On Serre's problem regarding the injectivity of Albert-Algebra cohomological invariants

In these Lecture Notes http://molle.fernuni-hagen.de/~loos/jordan/archive/cohinv/cohinv.pdf from 2006 by Garibaldi on page 21. 7.5 there is the following open problem mentioned:
Is the map
$g_3 ...

**1**

vote

**0**answers

83 views

### Cohomological dimension of transcendental p-adic extensions

Let $q$ denote a quadratic form over a field $k$.
The u-invariant of a field $u(k)$ is defined by $u(k):=\{ max (\mathrm{rank}(q)) $ | $ q $ is anisotropic over $k\}$.
Let $k = \mathbb{Q}_p$ for any ...

**8**

votes

**2**answers

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

**1**

vote

**0**answers

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

**3**

votes

**1**answer

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

**5**

votes

**1**answer

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

**0**

votes

**0**answers

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

**5**

votes

**1**answer

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

**0**

votes

**0**answers

45 views

### H^2(G, D_K)=0 in function fields setting

In the article Journal of Number Theory
Volume 9, Issue 2, May 1977, Pages 160–174
Rosen claims without proof neither available reference that $H^2(G, D_L)=0$ where $D_L$ is the divsor group of a the ...

**8**

votes

**1**answer

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

**15**

votes

**0**answers

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

**6**

votes

**1**answer

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

**3**

votes

**1**answer

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

**5**

votes

**1**answer

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

**7**

votes

**2**answers

371 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$, ...

**5**

votes

**1**answer

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

**10**

votes

**0**answers

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

**4**

votes

**1**answer

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

**6**

votes

**0**answers

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

**1**

vote

**1**answer

255 views

### Cohomology after completion

I've been scouring google and asking friend about something I was certain must be absolutely the easiest thing to people who do homological algebra, and none seem to know the answer to this, so if ...

**1**

vote

**1**answer

147 views

### $L/k$ forms for affine schemes of finite type

Notations and terminology: Let $k$ be a field and $X$ be a $k$-scheme. Denote by $X_L$ the scheme $X\times_k\rm Spec(L)$. For a field extension $L/k$, a $L/k$ form is a $k$-scheme $Y$ such that there ...

**0**

votes

**0**answers

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

**3**

votes

**1**answer

77 views

### Set of isomorphisms of Pfister forms corresponding to first cohomology of algebraic group

Assume $k_0$ is a field with char($k_0$) not $2$. Let us define functors from $\rm Field_{/k_0}\to \rm Sets$ as $\rm Pfister_n(k):=\{\text{isomorphism classes of n-fold Pfister forms over k}\}$;
...

**0**

votes

**0**answers

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

**3**

votes

**0**answers

110 views

### non-Abelian inflation-restriction sequence?

Let $1 \to H \to G \to G/H \to 1$ be a group extension. The long exact sequence that arises from Hochschild-Serre spectral sequence for this extension relates objects that are clasified by cohomology ...

**6**

votes

**2**answers

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

**4**

votes

**2**answers

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

**2**

votes

**1**answer

135 views

### the sixth morphism in the long exact sequence associated to the Hochschild-Serre spectral sequence

The long exact sequence associated to the Hochschild-Serre spectral sequence for extension of groups $1 \to H \to G \to G/H \to 1$ is
$$
\begin{array}[t]{lll}
1 \to & H^1(G/H, A^{G/H}) ...

**3**

votes

**2**answers

267 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?

**2**

votes

**0**answers

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

**1**

vote

**1**answer

134 views

### gluing gerbes over a spectrum of a field

A theorem of Giraud says that gerbes over a scheme $X$ bounded by a sheaf of Abelian groups $A$ are classified by elements of the etale cohomology group $H^2(X,A)$. Similar statements hold in other ...

**4**

votes

**2**answers

260 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

**0**answers

167 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

248 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

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

**3**

votes

**1**answer

280 views

### Langlands Paper on representations of abelian algebraic groups

I have been working through Langlands paper which you can see here http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands/pdf/AbelianAlg-ps.pdf and I can understand why one of his maps is obvious and ...

**1**

vote

**1**answer

130 views

### action of automorphisms on the Galois cohomology of the function field of a variety

Let $C$ be a (quasi-projective) variety over an algebraically closed field $k$ and let $k(C)$ be its field of rational functions. Then for any birational map $\sigma: C \dashrightarrow C$ there is an ...

**1**

vote

**1**answer

164 views

### Is the number of twists of a curve with a section in a given field finite

Let $X$ be a smooth projective geometrically connected curve over a number field $k$ of genus $g\geq 2$.
Is the number of twists of $X$ always infinite? (The answer is no, because there aren't any ...

**0**

votes

**1**answer

208 views

### surjectivity of rational points induced by surjective map from affine space

Let $k$ be a local field of char $0$ (which is the case I concern).
Let $V$ be a variety defined over $k$ and
let $f: \mathbb A^n\to V$ be a surjective map
(over the algebraic closure of $k$) ...

**1**

vote

**1**answer

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

**3**

votes

**1**answer

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

**11**

votes

**1**answer

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

**1**

vote

**1**answer

230 views

### Biprincipal spaces and their composition, following Serre's “Galois Cohomology”

When reviewing my notes and Serre's book "Galois Cohomology" Chapter 5 dealing with non-abelian group cohomology, I realized that I don't fully understand the concept of biprincipal spaces such as ...

**1**

vote

**1**answer

310 views

### Isomorphism between the set of classes of Principal Homogeneous spaces and non-Abelian H^1(G,A) cohomology

Let A be a G-group, i.e. a set on which G acts on, has a group structure and satisfies $^s(xy)=^s x ^s y$ for all $x,y \in A \ , s \in G$. A homogeneous principal space P is a non-empty G-set on which ...

**16**

votes

**1**answer

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

**4**

votes

**2**answers

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

**1**

vote

**0**answers

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

**0**

votes

**3**answers

410 views

### Brauer group of complete DVR

Let $A$ be a complete discrete valuation ring with fraction field $K$ and perfect residue field $\kappa$.
Let $K_{nr}$ be the maximal unramified extension of $K$ and let $A_{nr}$ be its ring of ...