The tag has no usage guidance.

learn more… | top users | synonyms

0
votes
1answer
28 views

multiple of a crossed homomorphism from finite group to a divisible one is principal

Let $\pi$ be a finite group, $\left|\pi\right|=n$ , acting on an abelian, torsion-free, $n$ -divisible group $D$ (i.e., every element of $D$ is divisible by $n$ ). Consider a crossed ...
1
vote
1answer
55 views

Proof of finiteness of Selmer groups in Silverman's Arithmetic of Elliptic Curves

I'm trouble in understanding the proof of Lemma X.4.3 in Silverman's Arithmetic of Elliptic Curves (2nd edition), that claims $H^1(G_{\bar{K}/K}, M; S)$ is finite. In page 334, the book state the map $...
1
vote
1answer
18 views

Cyclic algebras of degree $4$ and period $2$

Recall that if a field $k$ has a primitive $n$-root of unity $\omega$, then the cyclic $k$-alegbras of degree $n$ (ie of dimension $n^2$) have the following familiar presentation : they are generated ...
1
vote
1answer
14 views

Problem defining morphism in Galois cohomology of algebraic group

Let $K$ be a field and $G$ an algebraic group defined over $K$. If $M\supseteq L$ are two finite Galois extensions of $K$, then the groups $\text{Gal}(M/K)$ and $\text{Gal}(L/K)$ act, respectively, on ...
6
votes
1answer
171 views

Is there a (not so) generalized version of Hilbert's Theorem 90?

I'm sorry if my following question doesn't make any sense. We know that if $L/k$ is a finite Galois extension then $H^{1}(\mathrm{Gal}(L/k),L^{*})=0$ (Hilbert's theorem 90). However I would like to ...
3
votes
1answer
33 views

The bilinearity of the Cassels-Tate pairing

Let $K$ be a number field and let $A$ be an abelian variety over $K$ (I'm mostly interested in the case that $A$ is an elliptic curve). We use $v$ to denote places of $K$ and we write $H^i(k, A)$ for ...
1
vote
2answers
41 views

Is $H^{1}(k,E[n])$ a subgroup of $H^{1}(k,E)$?

Let $E/k$ be an elliptic curve. Consider $E[n]$ which is a subgroup of $E$. Is it true that $H^{1}(k,E[n])$ is again a subgroup of $H^{1}(k,E)$ in Galois cohomology? I thought that this was true but I'...
1
vote
1answer
24 views

Connecting homomorphism in Galois homology using the standard resolution

Let $G$ be a finite group, although this may not be necessary for almost everything that follows. One of the ways of defining Galois homology groups is using the standard resolution for the $\mathbb{Z}...
2
votes
1answer
51 views

Galois cohomology example

Let G be the Galois group of Q-bar over Q. I have a good idea of what $H^1(G,GL_1)$ is when $G$ acts trivially on $GL_1$: it is the group of homomorphisms from $G$ to $GL_1$. In particular it ...
0
votes
0answers
21 views

Open subgroups $V\subset U$ of profinite group such that the index $[U:V]$ is divisible by $p$.

Let $G$ be a profinite group of $p$-cohomological dimension, $cd_p(G)\neq 0,\infty$. Consider an open subgroup $U\leq G$. Does there exist an open subgroup $V\leq U$ such that its index, $[U:V]$ is ...
2
votes
0answers
28 views

Unramified galois cohomology of roots of unity

Let $K$ be a local field. Let $n$ be a natural number which is not divisible by the residue characteristic and consider the maximal unramified extension $K_{nr}.$ I would like to show that $H^1(Gal(K_{...
4
votes
1answer
216 views

Relationship between Galois cohomology and etale cohomology.

Why is étale cohomology a natural generalization of Galois cohomology ? I would like to inform you that I have a few quite sufficient prerequisites Galois cohomology and its application to solve ...
4
votes
1answer
124 views

Galois invariants of the Tate module of an elliptic curve over a number field

Let $K$ be a number field, $E$ be an elliptic curve over $K$, $l \neq p$ be two different prime numbers and $v$ be a place of $K$ above $l$. I am trying to understand the proof of proposition I.6.7 ...
3
votes
1answer
93 views

Definition of Selmer-Group for Elliptic Curves

Im facing a problem in Silvermans Book "Arithmetic of elliptic Curves" at the beginning of chapter X.4 concerning the exact sequences. Let $K$ be a number field with a valutaion $v$. I'm ...
1
vote
1answer
64 views

a simple example of crossed homomorphism for the proof of Hilbert Theorem 90

For a field extension $K/F$ and a subgroup $G$ of $Aut(K)$, A crossed homomorphism is defined to be a function $f:G \rightarrow K^*$ satisfying $$f(\sigma\tau)= f(\sigma)\cdot \sigma(f(\tau)) $$ I ...
2
votes
1answer
82 views

(non Galois) correspondence

If $L/K$ is a field extension we note $\textrm{Aut}_K (L)$ the group of field automorphisms of $L$ that are fixing each element of $K$. Fix an extension $L/K$ and note $G:=\textrm{Aut}_K (L)$. If $H$ ...
3
votes
1answer
60 views

image of Kummer isomorphism

Let $K$ be a finite extension of the field of $p$-adic numbers which contains the $p$-roots of unity. There is an isomorphism $K^{\times} / (K^{\times})^p \to \mathrm{Hom}(\mathrm{Gal} (\bar{K} / K), ...
3
votes
1answer
96 views

Proof for a theorem on Cohomology by Tate

I am searching for a reference for the proof of the following theorem. Let $G$ be a finite group, let $C$ be a $G$-module, and let $u$ be an element of $\hat{H}^2(G,C)$. Assume that $\hat{H}^1(H,C) = ...
2
votes
0answers
44 views

Splitting varieties of two Galois cohomology symbols

One important property of the so called norm varieties defined by Rost, is that they split pure symbols of Galois cohomology groups $H^n(k,\mu_p)$: For some $\alpha \in H^n(k,\mu_p)$ there is a ...
1
vote
0answers
40 views

Albert- Algebras and Traceforms

Im new to the topic so this could be basic nonsense to you. Any Albert-Algebra $A$ has a trace map $T:A \rightarrow k$ and thus one can assign a quadratic form $q_A$ of rank $27$ by setting $q_A(x) = ...
6
votes
2answers
175 views

Galois theory, had it solved any major problems beside its original applications to classical problems?

Galois theory, had it solved any major problems beside its original (classical) applications to roots of a fifth (or higher) degree polynomial equation (solvable algebraic equations and constructible ...
2
votes
0answers
48 views

Classification of quadrtic forms over Q_p

I need some one to recap the topic with me and correct me when i am wrong. There are basically just a few questions at the end,but its important to also show what i know and not just what i dont. ...
1
vote
1answer
101 views

Selmer and Shafarevich-Tate Groups

I'm currently trying to under the Selmer and Shafarevich-Tate Groups from Silverman's Arithmetic of Elliptic Curves (2nd edition), pg. 331 onwards. I have a couple of questions I think is derived from ...
2
votes
0answers
126 views

Studying Galois Cohomology from Category Theory.

I am a masters student with background in Category Theory - I also know some Topos Theory. I would like to ask if you think it would be possible to start studying Galois Cohomology without any ...
3
votes
0answers
48 views

$\operatorname{Br}(\Bbb Q_{47})$

I'm looking for division algebras over $\Bbb Q_{47}$. I guess my best bet is to calculate the Brauer group $\operatorname{Br}(\Bbb Q_{47})$. What's the best way of performing this calculation? Should ...
2
votes
0answers
87 views

References for Composition Law on Binary Quadratic Forms

What are some good references for the Gauss composition law on binary quadratic forms in terms of Galois Cohomology? It is my understanding that there is a cohomological approach, and I am studying ...
1
vote
2answers
274 views

Applications of additive version of Hilbert's theorem 90

Additive version of Hilbert's theorem 90 says that whenever $k \subset F$ is cyclic Galois extension with Galois group generated by $g$, and $a$ is element of $L$ with trace 0, there exists an ...
1
vote
1answer
72 views

Explicit Kummer isomorphism

Let $K$ be a characteristic $0$ field containing $\mu_n$ (the $n$-th roots of unity). Then it known that the map $K^{\times} / (K^{\times})^n \to \mathrm{Hom}(G, \mu_n)$ which sends $x$ to $\sigma \...
0
votes
0answers
63 views

First cohomology of a Galois group with finite base field

Let $l/k$ be a (may be infinite) galois extension with galois group $G$ and $k$ a finite field with size $q$. Also $k$ and $l$ are given the discrete topology. $G$ is given the Krull topology. Then ...
3
votes
0answers
105 views

Dirichlet characters as coboundaries of Gauss sums

Let $p$ be a prime number, and consider a Dirichlet character $\chi : (\mathbf Z/p\mathbf Z)^\times \to \mathbf C^\times$. Its image lands in the group $\mu_{p-1}$ of $(p-1)$-st roots of unity. The ...
2
votes
0answers
39 views

Regarding splitting in the Brauer group over fields of prime characteristic.

Let $k$ be a field of characteristic $p$, and let $K=k^{1/p}$. We want to show : $[A]\in\rm Br(k)$ splits over $K$, i.e. $[A\otimes_k K]=1\in\rm Br(K)$ iff $p. [A]=1\in\rm Br(k)$. Here $[A]$ denotes ...
7
votes
0answers
86 views

Generalization of Kummer isomorphism?

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 of $G:=Gal(\bar{\mathbb{Q}}_p / \mathbb{Q}_p)$ via the mod $p$ ...
4
votes
0answers
93 views

Surjective map in Galois cohomology?

Let $p$ be a prime number, $\mathbb{F}_p$ the field with $p$ element and $\omega$ the mod $p$ cyclotomic character. Let $K$ be a finite extension of $\mathbb{Q}_p$ (the field of $p$-adic numbers) and ...
3
votes
0answers
49 views

computation of an $H^2$

Let $p$ be a prime number and $\mathbb{Q}_p$ the field of $p$-adic numbers. Let $G_p$ be the absolute Galois group of $\mathbb{Q}_p$ and fix an absolutely irreducible representation $$ \rho : G_p \to ...
0
votes
1answer
84 views

Group Cohomology Vs Profinite group Cohomology

What is the difference of the group cohomology and the profinite group cohomology? I think one reason is that in the profinite group situation, the G-module must be continuous. Does any other ...
7
votes
2answers
217 views

Motivation for the relations defining $H^1(G,A)$ for non-commutative cohomology

First let me review the definition of first non-commutative cohomology. Let $G$ be a group and $A$ a left $G$-group, i.e. for any $\sigma, \tau\in G$ and $a, b\in A$, one has $\sigma(\tau(a))=(\sigma\...
2
votes
1answer
234 views

Galois groups of maximal unramified extensions

I have been workin throught Cassels-Frohlich Algebraic number theory. Im looking at local fields and their cohomology, in particular the Brauer group. On page 133 of casses-frohlich they make the ...
3
votes
0answers
56 views

Why do the two topologies on a Galois group coincide?

In the following one is referred to the book. At this page, the author defines the Krull topology on a Galois group (not necessarily finite); on the 22nd page of the same book, the author defines the ...
2
votes
0answers
116 views

Question on $\operatorname{res}^G_U \circ \operatorname{cor}^U_G = N_{G/U}$

This is probably a very basic question, but I can't wrap my head around it. Given a normal open subgroup $U$ of a profinite group $G$ and a $G$-Module $A$ we have the following equation in group ...
4
votes
1answer
93 views

Local invariants of the discrete Galois module associated to a $p$-ordinary newform

Let $f=\sum_{n=1}^\infty a_nq^n$ be a $p$-ordinary newform of weight $k\geq 2$, level $N$, and character $\chi$, and let $\rho_f:G_\mathbf{Q}\rightarrow\mathrm{GL}_2(K_f)$ be the associated $p$-adic ...
10
votes
1answer
360 views

On Grunwald-Wang theorem

Consider (roughtly speaking) the following statements (the Grunwald-Wang theorem) Theorem 1 (see here for details Wiki): Let $K$ be a number field and $x \in K$. Then under some conditions : $x$ is ...
1
vote
1answer
125 views

Lifting additive characters

Let $K$ a finite extension of $\mathbb{Q}_p$ ($p$ prime different from 2) and let $G_K$ the absolute Galois group of $K$. Let $\bar{u} : G_K \longrightarrow \mathbb{F}_p$ a continuous additive ...
2
votes
2answers
349 views

Are absolute Galois groups compact topological groups

Let $T$ be a finite set of primes and let $K$ be the maximal extension of $\mathbf{Q}$ unramified outside $T$. We have three Galois groups: $G_{\mathbf{Q}} = \mathrm{Gal}(\overline{\mathbf{Q}}/\...
27
votes
1answer
376 views

Projective profinite groups

I'm reading the first chapter of Serre's Galois Cohomology. On p. 58, He gives two examples of projective profinite groups: the profinite completion of free (discrete) groups; the cartesian product ...
4
votes
0answers
139 views

Why has the category of all discrete $G$-modules not enough projectives when $G$ is profinite?

I found this article about Galois Cohomology. In it, it says that, when $G$ is a profinite group and $\mathbf{C}_G$ is the category of all discrete $G$-modules, $\mathbf{C}_G$ doesn't have enough ...
6
votes
0answers
201 views

Galois cohomology of Unitary groups

From Hilbert 90 (or, more precisely, a generalisation thereof), we know that the first (Galois) cohomology group of $GL_n$ is trivial, no matter the field of definition. However, for unitary groups, ...
10
votes
1answer
137 views

Which number fields allow higher genus curves with everywhere good reduction

The field of rational numbers is not such a number field. That is, there does not exist a smooth projective morphism $X\to\text{Spec } \mathbf{Z}$ such that the generic fibre is a curve of genus $\...