Questions tagged [galois-cohomology]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
39 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 ...
user449595's user avatar
4 votes
0 answers
84 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 ...
jacob's user avatar
  • 2,814
2 votes
1 answer
100 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 ...
Victor de Vries's user avatar
1 vote
1 answer
138 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 $\...
foivos's user avatar
  • 207
1 vote
0 answers
96 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 ...
kindasorta's user avatar
  • 1,373
1 vote
0 answers
315 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 ...
nxir's user avatar
  • 1,409
4 votes
0 answers
139 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 ...
Huang Chenxin's user avatar
3 votes
1 answer
221 views

Global duality theorem for 2-part

$\DeclareMathOperator\coker{coker}\DeclareMathOperator\Sha{Sha}$Let $K$ be a number field. Let $E/K$ be an elliptic curve over $K$. Suppose finiteness of $\Sha(E/K)$. According to Global duality ...
Duality's user avatar
  • 1,407
1 vote
0 answers
72 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), ...
Duality's user avatar
  • 1,407
2 votes
0 answers
106 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 ...
Sean Sanford's user avatar
6 votes
2 answers
240 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 ...
Mikhail Borovoi's user avatar
8 votes
1 answer
582 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 ...
user avatar
9 votes
1 answer
360 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\...
Mikhail Borovoi's user avatar
6 votes
1 answer
204 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$ ...
Mikhail Borovoi's user avatar
3 votes
1 answer
305 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{...
Duality's user avatar
  • 1,407
1 vote
0 answers
121 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 ...
kindasorta's user avatar
  • 1,373
4 votes
0 answers
59 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 ...
Mikhail Borovoi's user avatar
1 vote
0 answers
120 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 ...
kindasorta's user avatar
  • 1,373
1 vote
1 answer
173 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 ...
kindasorta's user avatar
  • 1,373
2 votes
1 answer
275 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 ...
kindasorta's user avatar
  • 1,373
1 vote
0 answers
80 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 ...
kindasorta's user avatar
  • 1,373
6 votes
2 answers
358 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,{\...
Mikhail Borovoi's user avatar
2 votes
0 answers
100 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 ...
kindasorta's user avatar
  • 1,373
3 votes
1 answer
223 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 $...
Tuvasbien's user avatar
  • 156
10 votes
0 answers
220 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 ...
Jef's user avatar
  • 949
6 votes
1 answer
336 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, ...
Duality's user avatar
  • 1,407
3 votes
0 answers
123 views

Cohomology of local fields in positive characteristic

It is well-known from local class field theory that the Brauer group $\text{Br}(k)$ of a local field $k$ gets killed as you pass to sufficiently large extensions of $k$. In particular, $\text{Br}(L)(p)...
aspear's user avatar
  • 31
13 votes
2 answers
520 views

Example of continuous cohomology vs cohomology

I am looking for an example of a locally compact group $G$ and a continuous $G$ module $M$, which also is locally compact, such that the continuous cochain cohomology differs from group cohomology (...
user avatar
1 vote
0 answers
142 views

About the exact sequence $0\to $$Ш(E/\Bbb{Q})[\phi]\to Ш(E/\Bbb{Q})[2]\to Ш(E'/\Bbb{Q})[\hat{\phi}]$ in Silverman's book of elliptic curves

This question is about Silverman's book,$7$-th line from the bottom of $350$ page of 'The arithmetic of elliptic curves' (http://www.pdmi.ras.ru/~lowdimma/BSD/Silverman-Arithmetic_of_EC.pdf) . Let $E$ ...
Duality's user avatar
  • 1,407
2 votes
1 answer
333 views

Galois cohomology of Tate modules

Let $E,E'$ be a pair of elliptic curves defined over $\mathbb{Z}$. Let $T_p[E], T_p[E']$ be their associated ($p$-adic) Tate modules. These are Galois representations for the absolute Galois group of $...
kindasorta's user avatar
  • 1,373
1 vote
0 answers
167 views

Crystalline exact sequence in Galois cohomology

Let $G$ be the absolute Galois group of $\mathbb{Q}_p$, and let $1\longrightarrow A\longrightarrow B\longrightarrow C\longrightarrow 1$ be a short exact sequence of (non-abelian) algebraic group ...
kindasorta's user avatar
  • 1,373
3 votes
1 answer
209 views

Deformations of Galois cohomology

Let $M = (\mathbb{Z}_p)^2$ be a Galois representation, with Galois action given by $\rho: G\longrightarrow SL_2(\mathbb{Z}_p)$. I am trying to understand how sensitive the Galois cohomology group $H^1(...
kindasorta's user avatar
  • 1,373
3 votes
1 answer
335 views

Local Tate duality for F-vector space

A version of local Tate duality stated: Let $K$ be a finite extension of $\mathbb Q_p$, $A$ be a finite $G_K=Gal(\overline K/K)$ module. Then for $0\le i\le 2$, the cup product induces a perfect ...
user14411's user avatar
  • 183
4 votes
2 answers
261 views

Biquadratic extension of global function fields with cyclic decomposition groups

Let $F$ be a global function field, for example $F={\mathbb F}_q(t)$, the field of rational functions in one variable over a finite field ${\mathbb F}_q\,$. Question. What would be an example of a ...
Mikhail Borovoi's user avatar
1 vote
1 answer
137 views

Decomposition groups for the Galois module $\mu_8$

$\DeclareMathOperator{\Hom}{Hom} \DeclareMathOperator{\Aut}{Aut} \DeclareMathOperator{\Gal}{Gal} \newcommand{\Z}{{\Bbb Z}} \newcommand{\Q}{{\Bbb Q}} \newcommand{\Fbar}{{\overline F}} \newcommand{\G}{\...
Mikhail Borovoi's user avatar
2 votes
0 answers
292 views

Galois cohomology of $\breve{\mathbb Q}_p \otimes_{\mathbb Q_p} \breve{\mathbb Q}_p$

Let $\breve{\mathbb Q}_p$ denote the completion of the maximal unramified extension of $\mathbb Q_p$. I‘d like to compute Galois cohomology groups and sets related to $\breve{\mathbb Q}_p \otimes_{\...
bsbb4's user avatar
  • 291
5 votes
1 answer
241 views

Torus gerbes over curves

Setup: Let $k$ be an algebraically closed field. Let $C$ be a smooth connected curve over $k$. Let $K(C)$ be the function field of $C$. Tsen's Theorem implies that every $\mathbb{G}_m$-gerbe over $K(C)...
lzww's user avatar
  • 123
4 votes
1 answer
119 views

Real forms of the general linear Lie superalgebra

I'm interested in a classification of the real forms of the general linear Lie superalgebra $\mathfrak{gl}_{m|m}(\mathbb{C})$. The real forms of the simple complex Lie superalgebras were classified by ...
Alistair Savage's user avatar
4 votes
0 answers
150 views

Algorithm for generalized Hilbert's Theorem 90 over $\Bbb R$

$\newcommand{\GL}{\operatorname{GL}} \newcommand{\R}{{\Bbb R}} \newcommand{\C}{{\Bbb C}} $For a natural number $n$, let $z\in \GL(n,\C)$ be a 1-cocycle of $G=\GL_{n,\R}\,$, that is, an invertible ...
Mikhail Borovoi's user avatar
5 votes
0 answers
299 views

Do algebraic tori have no $H^1$?

If $G$ is an algebraic group over a field $K$, we can consider the Galois (or flat) cohomology $H^1(K, G)$. If $G = \mathbb{G}_a$ or $\mathbb{G}_m$, it is well known that $H^1(K, G) = 0$ (the latter ...
Evan O'Dorney's user avatar
3 votes
1 answer
161 views

Why an isogeny induces a surjection between points over maximal unramified extension?

Let $E$ and $E'$ be elliptic curves over $\mathbb Q$, and let $\phi\colon E\to E'$ be an isogeny defined over $\mathbb Q$. Let $p$ be a prime relatively prime to the degree of $\phi$. Let $\mathbb Q_p^...
Shimrod's user avatar
  • 2,335
3 votes
0 answers
78 views

Finiteness for Galois cohomology for $\mathbb{Z}_p$-module coefficients

I am looking for a general survey on the finite generation properties of $$H^i(F,\mathbb{Z}_p(j))$$ for fields $F$. Here I refer to Galois cohomology (continuous group cohomology) and the group is ...
JeeheBo5's user avatar
2 votes
0 answers
102 views

Galois cohomology with coefficients in the integers of the Lubin-Tate extension

Let $K$ be a $p$-adic local field, and $L$ the Lubin-Tate extension obtained from $K$ by attaching roots of some Lubin-Tate formal $\mathcal{O}_{K}$-module with $Gal(L/K) \simeq \mathcal{O}_{K}^{\...
Piotr Pstrągowski's user avatar
2 votes
1 answer
137 views

Vanishing of the degree 2 cohomology of a p-adic field with coefficients Q/Z and action of the Frobenius and the Pontryagin dual of the inertia

Let $K$ be a $p$-adic field with Galois group $G$ and inertia subgroup $I\subset G$. Denote $(-)^\ast=\mathrm{Hom}_{cont}(-,\mathbb{Q}/\mathbb{Z})$. Using Tate local duality, we can compute $$H^2(G,\...
Adrien MORIN's user avatar
5 votes
1 answer
169 views

Restriction vs. multiplication by $n$ in Tate cohomology

$\DeclareMathOperator{\Res}{Res} \DeclareMathOperator{\Cor}{Cor}$ This question was asked in MSE. It got no answers or comments, and so I post it here. Let $H$ be a subgroup of a finite group $G$, and ...
Mikhail Borovoi's user avatar
4 votes
1 answer
293 views

Why descend a representation (of a finite group) over $K$ to a representation over $k$ with $k$ a subfield of $K$ is useful?

I heard that Schur was trying to answer the following question Given a representation of a finite group $G \overset{\rho}{\rightarrow} \operatorname{GL}_{n}(K)$, how to find the smallest subfield $k$ ...
Marsault Chabat's user avatar
7 votes
2 answers
846 views

Is this exact sequence known?

$\newcommand{\Tors}{{\rm Tors}} \newcommand{\tf}{{\rm\, t.f.}} \newcommand{\Gt}{{\Gamma\!,\,\Tors}} \newcommand{\Gtf}{{\Gamma\!,\tf}} \newcommand{\Q}{{\mathbb Q}} \newcommand{\Z}{{\mathbb Z}} \...
Mikhail Borovoi's user avatar
4 votes
1 answer
606 views

Generalizations of global Euler characteristic formula

Let $ K $ be a number field, $ S $ a finite set of primes of $K $ including the archimedean primes and $ G_{K,S} $ be the Galois group of the maximal extension of $K$ unramified outside $ S $. Assume ...
Nobody's user avatar
  • 795
2 votes
1 answer
175 views

Image of Kummer map for CM Elliptic curves

Let $K$ be an imaginary quadratic field and let $F$ be a finite extension of $K$. Let $E$ be an elliptic curve over $F$ with CM by $K$. Suppose that $p$ is a prime that splits as $p=\pi\pi^*$ in $K$. ...
Adithya Chakravarthy's user avatar
5 votes
0 answers
199 views

Essence of relations between central simple algebras and Galois cohomology in canonical morphism of class field theory

I was somewhat puzzled after I finished learning class field theory for several times. My question is about the relations between "classical simple algebras, Brauer groups" and "modern ...
youknowwho's user avatar

1
2 3 4 5 6