The tag has no usage guidance.

learn more… | top users | synonyms

21
votes
4answers
1k views

Hasse principle for rational times square

Does a Hasse principle hold for the property of being a rational times a square ? Let $a \in \mathbb{K}$ be an element of a number field. Assume that at every place $\mathbb{K}_v$ of $\mathbb{K}$, $a$...
11
votes
2answers
801 views

Hilbert 90 for algebras

Let $L\diagup K$ be a Galois extension of fields satisfying $\left[L:K\right] < \infty$. Let $B$ be a finite-dimensional (as a $K$-vector space) $K$-algebra. Then, the Galois group $G$ of $L\diagup ...
12
votes
1answer
728 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, ...
6
votes
1answer
463 views

Non-vanishing of the Tate-Shafarevich kernel in group cohomology

Let $G$ be a finite group. Let $M$ be a finite $G$-module (a finite abelian group with an action of $G$). We consider a special kind of $G$-modules; in particular, our $M$ is a finite dimensional ...
13
votes
3answers
459 views

Infiniteness of the Galois cohomology over a number field with coefficients in a finite Galois module

Let $k$ be a number field and $M$ be a nonzero finite discrete $\mathrm{Gal}(\bar k/k)$-module. Is it true that $H^1(k,M)$ is infinite? This would complete the answer of Daniel Loughran. There is a ...
11
votes
1answer
208 views

A Galois extension over $\mathbb{Q}$ with Galois group $A_4$ and with cyclic decomposition groups

Does there exist a Galois extension $L/\mathbb{Q}$ with Galois group $A_4$ (the alternating group on four letters) such that all the decomposition groups are cyclic? This question is motivated by the ...
4
votes
1answer
817 views

Galois cohomology groups given by étale cohomology

What are cases when Galois cohomology groups are given by étale cohomology? Example: $S = Spec(K)$ the spectrum of a field, $F \in Sh(K)$, then $H^p(K, F) = H^p(G_K, F_{\bar{K}})$. What if $G = \...
11
votes
1answer
426 views

Elements of arbitrary large order in the first Galois cohomology of an elliptic curve

Let $E$ be an elliptic curve over $k=\mathbb{Q}$. Consider $H^1(k,E)$. In this answer Daniel Loughran writes: "I'm pretty sure that this cohomology group has elements of arbitrarily large order". I ...
6
votes
0answers
330 views

Real approximation for homogeneous spaces of linear algebraic groups

Let $X$ be a smooth geometrically integral variety over $\mathbf{Q}$, having a $\mathbf{Q}$-point. We say that $X$ has the real approximation property if $X(\mathbf{Q})$ is dense in $X(\mathbf{R})$. ...