The galois-cohomology tag has no wiki summary.

**1**

vote

**0**answers

33 views

### Cohomological dimension of transcendental p-adic extensions

Let $k = \mathbb{Q}_p$ for any prime $p$ and set
$L = k(t_1,..,t_n)$.
The u-invariant of a field $u(k)$ is defined by $u(k):=\{ max (\mathrm{rank}(q)) $ | $ q $ is anisotropic over $k\}$.
It is ...

**8**

votes

**2**answers

323 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

79 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

198 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

169 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

91 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

122 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

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

**14**

votes

**0**answers

247 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

256 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

433 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

248 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

355 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

253 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

297 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

175 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

99 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

248 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

141 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

157 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

74 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

148 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

99 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

589 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

221 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

132 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

256 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

78 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

129 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

256 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

165 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

247 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

230 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

275 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

127 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

160 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

205 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

398 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

181 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

555 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

225 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

292 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

719 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

597 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

136 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

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

**1**

vote

**1**answer

244 views

### a question on continuity of $G$-module for a profinite group $G$

I have seen the following statment somewhere, for example in Appendix B2 on Silverman's book "The Arithmetic of Elliptic Curves" : Let $M$ be an abelian group with discrete topology and $G$ be a ...

**0**

votes

**0**answers

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

**5**

votes

**1**answer

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