All Questions
Tagged with galois-cohomology ag.algebraic-geometry
28 questions with no upvoted or accepted answers
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
7
votes
0
answers
230
views
Field extensions that preserve given cohomology classes
Let $G$ be a connected reductive group over $\mathbb{Q}$ and let $\operatorname{Ker}^1(\mathbb{Q},G) \subset H^1(\mathbb{Q},G)$ be the subset of classes that are trivial at all places. I am trying to ...
- 492
7
votes
0
answers
187
views
When does group cohomology $H^1(G,M)$ depend only on the image of $G$ in Aut($M$)?
To motivate the question (and narrow it down if the one I asked is too broad), I'm doing readings from Manin's cubic forms book. A while back I was asked to compute the Galois cohomology $H^1(G, Pic(...
- 615
6
votes
0
answers
364
views
Galois invariants in étale cohomology
Suppose $X$ is a smooth projective variety over a field $k$, with separable closure $\overline{k}$, Galois group $G$, and let $\overline{X}$ be $X_{\overline{k}}$.
Do we have
$$(H^j(\overline{X},\...
user120812
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
5
votes
0
answers
408
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 ...
- 980
4
votes
0
answers
259
views
Galois cohomology of the Serre group in the proof of the fundamental theorem of CM
I am working through J.S. Milne's note on the fundamental theorem of complex multiplication over $\mathbb{Q}$. Let $E$ be a CM-field Galois over $\mathbb{Q}$, and $S^E$ the Serre group corresponding ...
- 570
4
votes
0
answers
161
views
Quadrics contained in the (complex) Cayley plane
In the paper
Ilev, Manivel - The Chow ring of the Cayley plane
we can learn, that $CH^8(X)$, with $X := E_6/P_1$, denoting the Cayley plane, has three generators with one of them being the class of ...
- 1,479
4
votes
0
answers
121
views
Norm variety for n=5, p=2 not isomorphic to a quadric
In the paper "Motivic construction of cohomological invariants", the author displays a list of known norm varieties for several $n,p$ on page $11$. For $p=2, n=5$ it says that a norm variety is given ...
- 1,479
3
votes
0
answers
189
views
Is the Cassels "$x - \theta$" map algebraic in some sense?
Setup: Let $k$ be a field of characteristic $0$, let $f(x) \in k[x]$ be a monic separable polynomial of degree $n \geq 4$, and let $\theta$ denote the image of $x$ under the map $k[x] \to K_f := k[x]/(...
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
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
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
2
votes
0
answers
158
views
Fundamental Group of small Zariski open set
Let $Y$ be an integral affine variety over $\mathbb{C}$ and $K$ be its function field. How to find a sufficiently small Zariski open set of $Y$ such that it is isomorphic to $K(\pi,1)$? Here $\pi$ is ...
- 677
2
votes
0
answers
281
views
Galois cohomology of cyclotomic extension
Let $K$ be a complete discrete valuation ring with algebraically closed residue field $F$ of characteristic $p > 0$. Suppose ${\Bbb Q}_p \subset K$ and the absolute ramification index v$_{\pi_K}(p) ...
- 781
2
votes
0
answers
361
views
Generic triviality of $G$-bundles
Let $k$ be an algebraically closed field and $X$ a curve over $k$. Then any $G$-bundle on a curve (where $G$ is reductive and connected) is generically trivial. This is the one of the main results of ...
- 2,297
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
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
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
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
1
vote
0
answers
182
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 ...
- 2,907
1
vote
0
answers
191
views
Group cohomology of sheaves under closed immersion
Suppose $X$ is a scheme over Spec $\mathbb{Z}$, and $p$ is a non-zero prime in $\mathbb{Z}$. Then we have a closed immersion from the special fibre $i_p: X_p \rightarrow X$. If $\mathscr{F}$ is a ...
- 11
1
vote
0
answers
234
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 ...
- 11
1
vote
0
answers
170
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 ...
- 16.9k
0
votes
0
answers
134
views
Orthogonal Grassmanians: cases where $\text{OG}( \mathbb{P}^1 , Q) \not \simeq \mathbb{P}^3$
Let $Q = \{ q(x_0, \dots, x_4) = 0 \}$ be a quadric-threefold over a field $k$. Are there cases where the orthogonal Grassmanian $\text{OG}( \mathbb{P}^1 , Q)$ is not a copy of $\mathbb{P}^3$?
Here'...
- 22.8k
0
votes
0
answers
283
views
Normalizer of non-split tori
Let $\mathbb{G}$ be a connected reductive group over $\mathbb{C}$. Let $G:=\mathbb{G}(\mathbb{C}(\!(t)\!))$. Let $T$ be a maximal torus in $G$.
Question: What do we know about the normalizer $N_G(T)$...
- 2,751
0
votes
0
answers
153
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$ ...
- 3,472
0
votes
0
answers
324
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 ...
- 16.9k