Questions tagged [galois-cohomology]
The galois-cohomology tag has no usage guidance.
301 questions
4
votes
0
answers
162
views
Problem understanding the cup-products for the modified cohomology in David Harari's book "Galois Cohomology and Class Field Theory"
I'm recently reading the very beginning of David Harari's book Galois Cohomology and Class Field Theory, and I met a problem with the definition of cup-products for the modified cohomology.
Before ...
- 525
7
votes
0
answers
138
views
Average number of $\mathbb{F}_p$-points over twists of a variety
Let $p \gg 1$ be a sufficiently large prime. I recently stumbled across a fascinating fact about the number of $\mathbb{F}_p$-points on elliptic curves over finite fields. Specifically, we have:
Fact ...
0
votes
0
answers
67
views
Cup product of $p$ first Galois Cohomologies of rationals, with coefficients in $\mu_{p}$
Let $p$ be an odd prime and $\mu_{p}$ be the group of $p^\text{th}$-roots of unity. Then, there exists a cup-product map which maps the product of $p$-copies of $H^{1}(\mathbb{Q}, \mu_{p})$ into $H^{p}...
5
votes
2
answers
341
views
Non-commuting elements of finite orders in a reductive group over a p-adic field
Let $k$ be a $p$-adic field and $G$ be a connected non-abelian reductive algebraic group over $k$. I am asking for a proof of the following lemma:
Lemma. Assuming that $p$ is "good" for $G$,...
- 14.1k
3
votes
1
answer
406
views
Twists of elliptic curves
I have a few questions regarding twists of elliptic curves.
In the context of the Shafarevich group, I see people refer to the group of twists of an elliptic curve $E/\mathbb{Q}$ by $H^1(\mathbb{Q}, ...
- 2,907
3
votes
1
answer
179
views
Galois cohomology for rational torsion of elliptic curves
Let $E/K$ be an elliptic curve over a number field.
Let $M=K(E[p])$.
I want to know $H^1(M/K,E[p])$: for $p=2$, it is $0$, but what about the case $p>2$?
Is it always zero?
In fact, I want to know ...
- 85
2
votes
0
answers
59
views
Galois Cohomology mod 2 of iterated Laurent series
Let $k$ be an algebraically closed field of characteristic different from two.
For $n\geq 1$, set $F_n=k((X_1))\cdots ((X_n))$, and let $F=\displaystyle\bigcup_{n\geq 1}F_n$.
If $I=\{i_1,\ldots,i_m\}$...
- 1,766
1
vote
0
answers
120
views
Kernel of inflation of $H^2$ in Galois cohomology
For a finite set $T$ of primes let $G_T$ denote the Galois group of the maximal extension $K_T$ of $\mathbb{Q}$ which is unramified outside $T$.
Let $S$ denote a finite set of primes and let $S' = S\...
- 2,907
3
votes
1
answer
178
views
Galois cohomology of imaginary abelian number fields
Let $K$ be an imaginary abelian number field of degree $[K:\mathbb{Q}] \geq 4$. Let $G=\text{Gal}(K/\mathbb{Q})$, and denote by $U_K$ the unit group of $K$. Can we show that the order of the first ...
- 437
5
votes
0
answers
234
views
Triviality of $\unicode{1064}(T_pE ⊗ T_pE)$ for elliptic curves and Bogomolov's lemma
Consider the case of an elliptic curve $E$ over Q, and let $S$ be a finite set of primes including all places of bad reduction and a place $p$ of good reduction.
Bogomolov's Lemma says that when $p$ ...
- 2,907
1
vote
0
answers
160
views
Computer computation of the first Galois cohomology of a $p$-adic torus?
Let $T\subset {\rm GL}(N,{\mathbb Q})$ be an $n$-dimensional ${\mathbb Q}$-torus
given by its Lie algebra $\mathfrak{t}\subset \mathfrak{gl}(N,{\mathbb Q})$.
I want to compute, in some sense ...
- 14.1k
16
votes
1
answer
357
views
Galois cohomology for non-Galois extensions
If $L/K$ is a Galois extension with group $G$ then we can consider $H^*(G;L^\times)$. This is useful in algebraic number theory, and there are many results about it.
Now let $L/K$ be a finite ...
- 56.9k
6
votes
0
answers
173
views
Computer programs for decomposition groups?
There is quite a lot of work on computing Galois groups of splitting fields of polynomials over $\Bbb Q$. Magma is quite good at it.
In this answer to Decomposition groups for the Galois module $\mu_8$...
- 14.1k
7
votes
2
answers
846
views
Hilbert's Satz 90 for real simply-connected groups?
$\DeclareMathOperator\Gal{Gal}\DeclareMathOperator\SL{SL}\DeclareMathOperator\GL{GL}$Let $K/k$ be a Galois extension. Then one generalisation of Hilbert's Satz 90 states that $H^1(\Gal(K/k),\GL_n(K))=...
- 1,666
3
votes
0
answers
200
views
Cup product structure on Galois cohomology
Let $G_S$ denote the Galois group of the maximal extension of $\mathbb{Q}$ unramified outside a finite, non-empty set of primes, $S$. Let $p\in S$ and let $V, W$ be a pair of finite dimensional $p$-...
- 2,907
11
votes
0
answers
337
views
Interpretation of $H^3(\mathrm{Gal}(L/K),L^\times)$
During my work I came across the group $H^3(\mathrm{Gal}(L/K),L^\times)=H^3(L/K,L^\times)$ for certain (infinite) Galois extensions $L/K$ (for an arbitrary field $K$) and I wondered if there is an ...
- 61
0
votes
0
answers
78
views
Bounding the dimension of $H^1(G, V\otimes V^{\vee})$
Let $G_S$ denote the Galois group of the maximal extension of $\mathbb{Q}$ unramified away from a finite set of primes, $S$. Let $V$ be a finite dimensional, $G_S$-representation over $\mathbb{F}_p$ (...
- 2,907
2
votes
0
answers
149
views
Absolute Bloch-Kato Cohomology
The étale cohomology $R\Gamma_{\mathrm{ét}}(X;\mathbb{Z}_p(n))$ of a scheme $X/K$ can be computed by a Hochschild-Serre spectral sequence with terms of the form $H^i(K;H^j(X_{\overline{K}};\mathbb{Z}...
- 15.4k
2
votes
0
answers
70
views
Finite dimensionality of Galois cohomology
Let $K_S$ denote the maximal extension of $\mathbb{Q}$, unramified outside a finite set of primes $S$, and let $G_S$ denote the Galois group of $K_S/\mathbb{Q}$.
It is known that for any finitely ...
- 2,907
7
votes
0
answers
249
views
What justifies the following isomorphism in Cassels' proof of the Cassels–Tate pairing?
In Cassels' paper Arithmetic on curves of genus 1. IV introducing the Cassels–Tate pairing the following lemma is stated.
Lemma 5.1: Let $q$ be a rational prime and $\Gamma$ the Galois group of the ...
- 221
5
votes
1
answer
163
views
When is $G(R)\rightarrow G^{\textrm{ad}}(R)$ surjective?
Consider a reductive group $G$ over a field $k$. The adjoint group $G^{\textrm{ad}}$ is defined by the exact sequence $$1\rightarrow Z(G)\rightarrow G\rightarrow G^{\textrm{ad}}\rightarrow 1$$The ...
- 53
1
vote
0
answers
70
views
A possible generalization of Brauer's theorem about the prime factors of the period and index of a central simple algebra
Let $K$ be an arbitrary field, and let $K^s$ be a fixed separable closure of $K$.
Let $F/K$ a be a finite Galois extension in $K^s$.
Let $n>0$ be a natural number.
Let $A$ be a central simple ...
- 14.1k
2
votes
0
answers
175
views
Bounding dimensions of Galois cohomology
Let $G$ be the absolute Galois group of the rationals, and $V$ a finite dimensional $p$-adic representation.
Is there a way to provide a general bound on $H^i(G, V)$ in terms of $\dim_{\mathbb{Q}_p} V$...
- 2,907
5
votes
1
answer
260
views
Converse of "generalized Hilbert 90" / Galois descent
The following generalization of Hilbert 90 can be found in Serre's Corps Locaux (Chap. X, §1, ex.2, p.160 of the French edition), see also this question:
Theorem: If $L|K$ is a finite Galois extension ...
- 413
5
votes
1
answer
117
views
An isomorphic classification of non-associative division octonion algebras
A division octonion algebra over a field $F$ is a $8$-dimensional unital non-associative algebra $A$ over the field $F$, endowed with a quadratic form $N:A\times A\to F$ such that $N(xy)=N(x)N(y)$ and ...
- 41.8k
1
vote
0
answers
42
views
When is $B^G\backslash(B/A)^G$ finite?
Let $G$ be a locally compact group, let $A,B$ be (not necessarily abelian) connected reductive complex groups equipped with continuous actions of $G$ via algebraic automorphisms. Let $\phi:A\to B$ be ...
- 387
4
votes
0
answers
109
views
Anisotropic semisimple groups with no real compact factor
Let $F$ be a number field, and let $G$ be a semi-simple connected, anisotropic algebraic group over $F$ which is $F$-simple (or almost simple, the question is agnostic to isogenies). Suppose further ...
- 2,824
2
votes
1
answer
262
views
Connecting homomorphism in non-abelian cohomology
Let $G$ be a simply connected, semisimple algebraic group over $\mathbb{R}$ and let $X$ be a homogeneous space for $G$ with finite commutative stabilizer $\mu$. There is a connecting homomorphism from ...
- 177
1
vote
1
answer
179
views
cokernel of $H^1(F_\Sigma/F,E[p^\infty])\to \prod_v H^1(F_v,E[p^\infty])/\operatorname{im}(\kappa_v)$
Let $F$ be a number field and $E/F$ an elliptic curve. Fix an odd prime $p$.Let $\kappa:E(F)\otimes \mathbb Q_p/\mathbb Z_p\to H^1(F,E[p^\infty])$ the Kummer map and $\kappa_v$ its reduction.
Let $\...
- 207
1
vote
0
answers
102
views
Bounding dimension of $H^1(G_{\mathbb{Q}}, (V_pE)^{\otimes n})$
Let $E$ be an elliptic curve over $\mathbb{Q}$, let $p$ be a prime of good reduction, $T_pE$ is its $p$-adic Tate module, $V_pE = T_pE\otimes \mathbb{Q}_p$, and $(V_pE)^{\otimes n}$ its $n$'th tensor ...
- 2,907
1
vote
0
answers
374
views
Amitsur's theorem for generalized Severi–Brauer varieties
Let $k$ be a field of characteristic zero and assume that $A$ is a central simple algebra of index $2^n > 2$. We denote by $\operatorname{SB}_i(A)$ the $i$-th (generalized) Severi–Brauer variety of ...
- 1,479
4
votes
0
answers
175
views
A computation of nearby cycles
I'm currently reading P.Scholze's paper "THE LANGLANDS-KOTTWITZ APPROACH FOR THE MODULAR
CURVE". In Lemma 7.7, he showed a (maybe simple) nearby cycle computation, which I can't follow.
Now ...
1
vote
0
answers
92
views
Inflation-restrction sequence for maximal $S$-ramified extension
Let $K$ be a number field. Let $G_K$ be an absolute Galois group of $K$. Let $M$ be a $G_K$-module and $L/K$ be a finite extension.
There is a inflation-restriction exact sequence,
$0\to H^1(Gak(L/K), ...
- 1,531
2
votes
0
answers
136
views
Absolute Galois cohomology of function fields (of high-dimensional) varieties
What is known about the absolute Galois cohomology of function fields of varieties of dimension 2 or larger? Specifically, I am interested in multiplicative coefficients $\mathbb G_m$.
I have seen ...
- 556
6
votes
2
answers
270
views
Group homology for a metacyclic group
Let $G$ be a finite group, and let $M$ be a finitely generated $G$-module,
that is, a finitely generated abelian group on which $G$ acts.
We work with the first homology group
$$ H_1(G,M).$$
For any ...
- 14.1k
8
votes
1
answer
617
views
$\mathbb{Q}$-forms of $\operatorname{SL}_4(\mathbb{R})$ inside $\operatorname{SL}_8(\mathbb{R})$
Let $\mathbf{G}$ be the image of the natural embedding of $\operatorname{SL}_4(\mathbb{R})$ inside $\operatorname{SL}_4(\mathbb{C})\subset \operatorname{SL}_8(\mathbb{R})$. Then $\mathbf{G}$ is an ...
user515519
9
votes
1
answer
371
views
For which subgroups the transfer map kills a given element of a group?
$\newcommand{\ab}{{\rm ab}}
\newcommand{\ord}{{\rm ord}}
$Let $G$ be a finite or profinite group. Consider the abelianized group
$$G^\ab=G/G'$$
where $G'$ is the commutator subgroup of $G$.
Let $H\...
- 14.1k
6
votes
1
answer
284
views
Classification of algebraic groups of the types $^1\! A_{n-1}$ and $^2\! A_{n-1}$
This seemingly elementary question was asked in Mathematics StackExchange.com: https://math.stackexchange.com/q/4779592/37763.
It got upvotes, but no answers or comments, and so I ask it here.
Let $G$ ...
- 14.1k
3
votes
1
answer
321
views
Pontryagin dual of cokernel, $(\operatorname{coker} F)^* \cong \hat{H}^0(\operatorname{Gal}(L/K),E(L)), $
Let $L/K$ be a quadratic Galois extension of number fields. Let $E$ be an elliptic curve.
Consider the natural map
$$ F: H^1(\operatorname{Gal}(L/K), E(L)) \to \bigoplus_{v \in M_K} H^1(\operatorname{...
- 1,531
1
vote
0
answers
128
views
Representability of twists of projective schemes
Let $K$ be a perfect field, and let $S$ be a projective $K$-scheme. Denote by $\text{Twist}(S/K)$ the set of twists of $S$ up to $K$-isomorphism. These are (apriori) sheaves $\mathcal{F}$ on the ...
- 2,907
4
votes
0
answers
63
views
Possible questions about the Tate-Shafarevich subgroup of a Galois hypercohomology group?
$\newcommand{\wt}{\widetilde}$
Let $n=1,2$. There are infinite torsion abelian groups $H^1$, $H^2$ killed by some natural number $m$.
There are finite subgroups
$$ {\rm Sha}^1 \subset H^1,\quad ...
- 14.1k
1
vote
0
answers
140
views
Kernel of restriction map in Galois cohomology
Let $S$ be the algebraic group $SL_2/\mathbb{Q}_p$ with a $G=G_{\mathbb{Q}}$ action, (acts by conjugation with a representation $\rho: G\longrightarrow GL_2$.)
Let $G_p$ be the decomposition group at ...
- 2,907
1
vote
1
answer
198
views
Crystalline fibre of a morphism of Galois cohomology stacks
Let $K = \mathbb{Q}_p$, $G = G_K$ its absolute Galois group. Let
$$1\longrightarrow A\longrightarrow B\longrightarrow C\longrightarrow 1$$
be a split exact sequence of (not necessarily abelian) group ...
- 2,907
2
votes
1
answer
333
views
Equivalence between twists of a curve and torsors of its automorphism group
Let $X$ be a curve defined over a number field $K$, and let $G_K$ be the absolute Galois group of $K$. Let $\text{Aut}(X)$ be the group of $\overline{K}$-defined automorphisms of $X$, and consider the ...
- 2,907
1
vote
0
answers
84
views
Algebraizable image of a morphism of Galois cohomology stacks
Assume I have a surjective morphism of algebraic group schemes over $\mathbb{Q}_p$, $\mathcal{G}\longrightarrow S$, equipped with a section, and assume both of these group schemes are equipped with an ...
- 2,907
6
votes
2
answers
366
views
Twisted forms with real points of a real Grassmannian
Let $X={\rm Gr}_{n,k,{\Bbb R}}$ denote the Grassmannian of $k$-dimensional subspaces in ${\Bbb R}^n$.
We regard $X$ as an ${\Bbb R}$-variety with the set of complex points $X({\Bbb C})={\rm Gr}_{n,k,{\...
- 14.1k
2
votes
0
answers
107
views
Extensions of groups with a $G$-action
Let $1\longrightarrow A\longrightarrow \mathcal{G}\longrightarrow R\longrightarrow 1$ be an exact sequence of algebraic group schemes, with $\mathcal{G}$ being an extension of $R$, an affine reductive ...
- 2,907
3
votes
1
answer
265
views
The second Tate-Shafarevich group of a permutation module is trivial
Suppose I have a global field $K$ and a finite Galois extension $L/K$ of Galois group $G$. It is often written without proofs (it seems that this is a very common statement) that for every $G$-module $...
- 186
10
votes
0
answers
234
views
If $H$ is a quotient of $G$, does there exist an $H$-extension of $\mathbb{Q}$ not contained in a $G$-extension?
Let $\phi\colon G\rightarrow H$ be a surjective homomorphism between finite groups. Assume that $\phi$ is not split, in other words there exists no homomorphism $\sigma\colon H\rightarrow G$ such that ...
- 984
6
votes
1
answer
441
views
Ker of corestriction of Galois cohomology
Let $G$ be a Galois group and $H$ be its normal subgroup. Let $M$ be a $G$-module.
Consider the restriction map $res: H^1(G,M) \to H^1(H,M)$. Its kernel is given by $H^1(G/H,M^H)$.
On the other hand, ...
- 1,531