What does $(a,b)_{zeta}$ correspond to in $mathrm{Br}(mathbb{Q}_p)=mathbb{Q}/mathbb{Z}$
up vote
3
down vote
favorite
Let $p$ be a prime number, let $mathbb{Q}_p$ be the local field, by Hensel's lemma, we know it has $p-1$-th roots of unity, let $zeta$ be a fixed primitive $p-1$-th root of unity in $mathbb{Q}_p$.
Let $a,binmathbb{Q}_p^*$, let $(a,b)_{zeta}$ be the cyclic algebra defined by $mathbb{Q}_plangle x,y|x^{p-1}=a,y^{p-1}=b, xy=zeta yxrangle$.
Is there an explicit way to tell which class $[(a,b)_zeta]inmathrm{Br}(mathbb{Q}_p)=mathbb{Q}/mathbb{Z}$ is? (For example, when $a,binmathbb{Q}$, how does the two rational numbers determine an element in $mathbb{Q}/mathbb{Z}$?)
class-field-theory division-algebras
|
show 1 more comment
up vote
3
down vote
favorite
Let $p$ be a prime number, let $mathbb{Q}_p$ be the local field, by Hensel's lemma, we know it has $p-1$-th roots of unity, let $zeta$ be a fixed primitive $p-1$-th root of unity in $mathbb{Q}_p$.
Let $a,binmathbb{Q}_p^*$, let $(a,b)_{zeta}$ be the cyclic algebra defined by $mathbb{Q}_plangle x,y|x^{p-1}=a,y^{p-1}=b, xy=zeta yxrangle$.
Is there an explicit way to tell which class $[(a,b)_zeta]inmathrm{Br}(mathbb{Q}_p)=mathbb{Q}/mathbb{Z}$ is? (For example, when $a,binmathbb{Q}$, how does the two rational numbers determine an element in $mathbb{Q}/mathbb{Z}$?)
class-field-theory division-algebras
en.wikipedia.org/wiki/Hilbert_symbol
– Qiaochu Yuan
Nov 13 at 22:49
@QiaochuYuan Thanks! But for example how could one calculate $(2,3)_5$ explicitly?
– Qixiao
Nov 14 at 17:15
@QiaochuYuan Sorry this may be a stupid question, but I feel confused: from the wikipedia description, the Hilbert symbol is expressed by Legendre symbols, $(a,b)_p=(-1)^{alphabetaepsilon(p)}(frac{u}{p})^{beta}(frac{v}{p})^{alpha}$, but it seems this expression only take $pm1$, but $Br(mathbb{Q}_p)=mathbb{Q}/mathbb{Z}$.
– Qixiao
Nov 14 at 17:37
That section is about the quadratic Hilbert symbol, which corresponds to $2$-torsion in the Brauer group. Scroll down further for the general Hilbert symbol
– Qiaochu Yuan
Nov 14 at 19:56
@QiaochuYuan Thanks! But is the Artin symbol easier to calculate explicitly? For example we have two integers $2,3inmathbb{Z}$ and a $4$-th root of unity $zeta$ in $mathbb{Q}_5$, is there an explicit way to determine what the class of $(2,3)_{zeta}$ in $mathbb{Q}/mathbb{Z}$ is?(As for quadratic symbols, this can be determined by solution of a degenerate conic)
– Qixiao
Nov 14 at 20:12
|
show 1 more comment
up vote
3
down vote
favorite
up vote
3
down vote
favorite
Let $p$ be a prime number, let $mathbb{Q}_p$ be the local field, by Hensel's lemma, we know it has $p-1$-th roots of unity, let $zeta$ be a fixed primitive $p-1$-th root of unity in $mathbb{Q}_p$.
Let $a,binmathbb{Q}_p^*$, let $(a,b)_{zeta}$ be the cyclic algebra defined by $mathbb{Q}_plangle x,y|x^{p-1}=a,y^{p-1}=b, xy=zeta yxrangle$.
Is there an explicit way to tell which class $[(a,b)_zeta]inmathrm{Br}(mathbb{Q}_p)=mathbb{Q}/mathbb{Z}$ is? (For example, when $a,binmathbb{Q}$, how does the two rational numbers determine an element in $mathbb{Q}/mathbb{Z}$?)
class-field-theory division-algebras
Let $p$ be a prime number, let $mathbb{Q}_p$ be the local field, by Hensel's lemma, we know it has $p-1$-th roots of unity, let $zeta$ be a fixed primitive $p-1$-th root of unity in $mathbb{Q}_p$.
Let $a,binmathbb{Q}_p^*$, let $(a,b)_{zeta}$ be the cyclic algebra defined by $mathbb{Q}_plangle x,y|x^{p-1}=a,y^{p-1}=b, xy=zeta yxrangle$.
Is there an explicit way to tell which class $[(a,b)_zeta]inmathrm{Br}(mathbb{Q}_p)=mathbb{Q}/mathbb{Z}$ is? (For example, when $a,binmathbb{Q}$, how does the two rational numbers determine an element in $mathbb{Q}/mathbb{Z}$?)
class-field-theory division-algebras
class-field-theory division-algebras
asked Nov 13 at 20:04
Qixiao
2,7401626
2,7401626
en.wikipedia.org/wiki/Hilbert_symbol
– Qiaochu Yuan
Nov 13 at 22:49
@QiaochuYuan Thanks! But for example how could one calculate $(2,3)_5$ explicitly?
– Qixiao
Nov 14 at 17:15
@QiaochuYuan Sorry this may be a stupid question, but I feel confused: from the wikipedia description, the Hilbert symbol is expressed by Legendre symbols, $(a,b)_p=(-1)^{alphabetaepsilon(p)}(frac{u}{p})^{beta}(frac{v}{p})^{alpha}$, but it seems this expression only take $pm1$, but $Br(mathbb{Q}_p)=mathbb{Q}/mathbb{Z}$.
– Qixiao
Nov 14 at 17:37
That section is about the quadratic Hilbert symbol, which corresponds to $2$-torsion in the Brauer group. Scroll down further for the general Hilbert symbol
– Qiaochu Yuan
Nov 14 at 19:56
@QiaochuYuan Thanks! But is the Artin symbol easier to calculate explicitly? For example we have two integers $2,3inmathbb{Z}$ and a $4$-th root of unity $zeta$ in $mathbb{Q}_5$, is there an explicit way to determine what the class of $(2,3)_{zeta}$ in $mathbb{Q}/mathbb{Z}$ is?(As for quadratic symbols, this can be determined by solution of a degenerate conic)
– Qixiao
Nov 14 at 20:12
|
show 1 more comment
en.wikipedia.org/wiki/Hilbert_symbol
– Qiaochu Yuan
Nov 13 at 22:49
@QiaochuYuan Thanks! But for example how could one calculate $(2,3)_5$ explicitly?
– Qixiao
Nov 14 at 17:15
@QiaochuYuan Sorry this may be a stupid question, but I feel confused: from the wikipedia description, the Hilbert symbol is expressed by Legendre symbols, $(a,b)_p=(-1)^{alphabetaepsilon(p)}(frac{u}{p})^{beta}(frac{v}{p})^{alpha}$, but it seems this expression only take $pm1$, but $Br(mathbb{Q}_p)=mathbb{Q}/mathbb{Z}$.
– Qixiao
Nov 14 at 17:37
That section is about the quadratic Hilbert symbol, which corresponds to $2$-torsion in the Brauer group. Scroll down further for the general Hilbert symbol
– Qiaochu Yuan
Nov 14 at 19:56
@QiaochuYuan Thanks! But is the Artin symbol easier to calculate explicitly? For example we have two integers $2,3inmathbb{Z}$ and a $4$-th root of unity $zeta$ in $mathbb{Q}_5$, is there an explicit way to determine what the class of $(2,3)_{zeta}$ in $mathbb{Q}/mathbb{Z}$ is?(As for quadratic symbols, this can be determined by solution of a degenerate conic)
– Qixiao
Nov 14 at 20:12
en.wikipedia.org/wiki/Hilbert_symbol
– Qiaochu Yuan
Nov 13 at 22:49
en.wikipedia.org/wiki/Hilbert_symbol
– Qiaochu Yuan
Nov 13 at 22:49
@QiaochuYuan Thanks! But for example how could one calculate $(2,3)_5$ explicitly?
– Qixiao
Nov 14 at 17:15
@QiaochuYuan Thanks! But for example how could one calculate $(2,3)_5$ explicitly?
– Qixiao
Nov 14 at 17:15
@QiaochuYuan Sorry this may be a stupid question, but I feel confused: from the wikipedia description, the Hilbert symbol is expressed by Legendre symbols, $(a,b)_p=(-1)^{alphabetaepsilon(p)}(frac{u}{p})^{beta}(frac{v}{p})^{alpha}$, but it seems this expression only take $pm1$, but $Br(mathbb{Q}_p)=mathbb{Q}/mathbb{Z}$.
– Qixiao
Nov 14 at 17:37
@QiaochuYuan Sorry this may be a stupid question, but I feel confused: from the wikipedia description, the Hilbert symbol is expressed by Legendre symbols, $(a,b)_p=(-1)^{alphabetaepsilon(p)}(frac{u}{p})^{beta}(frac{v}{p})^{alpha}$, but it seems this expression only take $pm1$, but $Br(mathbb{Q}_p)=mathbb{Q}/mathbb{Z}$.
– Qixiao
Nov 14 at 17:37
That section is about the quadratic Hilbert symbol, which corresponds to $2$-torsion in the Brauer group. Scroll down further for the general Hilbert symbol
– Qiaochu Yuan
Nov 14 at 19:56
That section is about the quadratic Hilbert symbol, which corresponds to $2$-torsion in the Brauer group. Scroll down further for the general Hilbert symbol
– Qiaochu Yuan
Nov 14 at 19:56
@QiaochuYuan Thanks! But is the Artin symbol easier to calculate explicitly? For example we have two integers $2,3inmathbb{Z}$ and a $4$-th root of unity $zeta$ in $mathbb{Q}_5$, is there an explicit way to determine what the class of $(2,3)_{zeta}$ in $mathbb{Q}/mathbb{Z}$ is?(As for quadratic symbols, this can be determined by solution of a degenerate conic)
– Qixiao
Nov 14 at 20:12
@QiaochuYuan Thanks! But is the Artin symbol easier to calculate explicitly? For example we have two integers $2,3inmathbb{Z}$ and a $4$-th root of unity $zeta$ in $mathbb{Q}_5$, is there an explicit way to determine what the class of $(2,3)_{zeta}$ in $mathbb{Q}/mathbb{Z}$ is?(As for quadratic symbols, this can be determined by solution of a degenerate conic)
– Qixiao
Nov 14 at 20:12
|
show 1 more comment
1 Answer
1
active
oldest
votes
up vote
2
down vote
accepted
I should clarify going into this that I don't know any class field theory, so I might say some silly things. The number you're trying to compute is the Hasse invariant of the cyclic algebra, and it should also correspond to a Hilbert symbol as in the comments. I found a nice formula for a special case of the Hilbert symbol in Section 3.3 of these notes (Lemma 3.22). Specialized to this case it gives
$$(a, b)_{xi} = omega left( (-1)^{nu(a) nu(b)} frac{b^{nu(a)}}{a^{nu(b)}} bmod p right)$$
where $nu : mathbb{Q}_p to mathbb{Z}$ is the valuation and $omega : mathbb{F}_p^{times} to mu_{p-1}(mathbb{Q}_p)$ is the Teichmüller character.
You asked in the comments about $p = 5, a = 2, b = 3$. In this case $nu(a) = nu(b) = 0$ so the Hilbert symbol is trivial. In order for it to be nontrivial at least one of $nu(a)$ and $nu(b)$ must be nonzero. For example, sticking to $p = 5$, if we take $a = 2, b = 5$ then we get
$$(1, 5)_{xi} = omega left( frac{1}{2} bmod 5 right) = omega(3)$$
which is the unique $4^{th}$ root of unity in $mathbb{Z}_5$ congruent to $3 bmod 5$, and in particular primitive. Unfortunately I don't know exactly how this is identified with an element of $mathbb{Q}/mathbb{Z}$, although it must be either $frac{1}{4}$ or $frac{3}{4}$.
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
accepted
I should clarify going into this that I don't know any class field theory, so I might say some silly things. The number you're trying to compute is the Hasse invariant of the cyclic algebra, and it should also correspond to a Hilbert symbol as in the comments. I found a nice formula for a special case of the Hilbert symbol in Section 3.3 of these notes (Lemma 3.22). Specialized to this case it gives
$$(a, b)_{xi} = omega left( (-1)^{nu(a) nu(b)} frac{b^{nu(a)}}{a^{nu(b)}} bmod p right)$$
where $nu : mathbb{Q}_p to mathbb{Z}$ is the valuation and $omega : mathbb{F}_p^{times} to mu_{p-1}(mathbb{Q}_p)$ is the Teichmüller character.
You asked in the comments about $p = 5, a = 2, b = 3$. In this case $nu(a) = nu(b) = 0$ so the Hilbert symbol is trivial. In order for it to be nontrivial at least one of $nu(a)$ and $nu(b)$ must be nonzero. For example, sticking to $p = 5$, if we take $a = 2, b = 5$ then we get
$$(1, 5)_{xi} = omega left( frac{1}{2} bmod 5 right) = omega(3)$$
which is the unique $4^{th}$ root of unity in $mathbb{Z}_5$ congruent to $3 bmod 5$, and in particular primitive. Unfortunately I don't know exactly how this is identified with an element of $mathbb{Q}/mathbb{Z}$, although it must be either $frac{1}{4}$ or $frac{3}{4}$.
add a comment |
up vote
2
down vote
accepted
I should clarify going into this that I don't know any class field theory, so I might say some silly things. The number you're trying to compute is the Hasse invariant of the cyclic algebra, and it should also correspond to a Hilbert symbol as in the comments. I found a nice formula for a special case of the Hilbert symbol in Section 3.3 of these notes (Lemma 3.22). Specialized to this case it gives
$$(a, b)_{xi} = omega left( (-1)^{nu(a) nu(b)} frac{b^{nu(a)}}{a^{nu(b)}} bmod p right)$$
where $nu : mathbb{Q}_p to mathbb{Z}$ is the valuation and $omega : mathbb{F}_p^{times} to mu_{p-1}(mathbb{Q}_p)$ is the Teichmüller character.
You asked in the comments about $p = 5, a = 2, b = 3$. In this case $nu(a) = nu(b) = 0$ so the Hilbert symbol is trivial. In order for it to be nontrivial at least one of $nu(a)$ and $nu(b)$ must be nonzero. For example, sticking to $p = 5$, if we take $a = 2, b = 5$ then we get
$$(1, 5)_{xi} = omega left( frac{1}{2} bmod 5 right) = omega(3)$$
which is the unique $4^{th}$ root of unity in $mathbb{Z}_5$ congruent to $3 bmod 5$, and in particular primitive. Unfortunately I don't know exactly how this is identified with an element of $mathbb{Q}/mathbb{Z}$, although it must be either $frac{1}{4}$ or $frac{3}{4}$.
add a comment |
up vote
2
down vote
accepted
up vote
2
down vote
accepted
I should clarify going into this that I don't know any class field theory, so I might say some silly things. The number you're trying to compute is the Hasse invariant of the cyclic algebra, and it should also correspond to a Hilbert symbol as in the comments. I found a nice formula for a special case of the Hilbert symbol in Section 3.3 of these notes (Lemma 3.22). Specialized to this case it gives
$$(a, b)_{xi} = omega left( (-1)^{nu(a) nu(b)} frac{b^{nu(a)}}{a^{nu(b)}} bmod p right)$$
where $nu : mathbb{Q}_p to mathbb{Z}$ is the valuation and $omega : mathbb{F}_p^{times} to mu_{p-1}(mathbb{Q}_p)$ is the Teichmüller character.
You asked in the comments about $p = 5, a = 2, b = 3$. In this case $nu(a) = nu(b) = 0$ so the Hilbert symbol is trivial. In order for it to be nontrivial at least one of $nu(a)$ and $nu(b)$ must be nonzero. For example, sticking to $p = 5$, if we take $a = 2, b = 5$ then we get
$$(1, 5)_{xi} = omega left( frac{1}{2} bmod 5 right) = omega(3)$$
which is the unique $4^{th}$ root of unity in $mathbb{Z}_5$ congruent to $3 bmod 5$, and in particular primitive. Unfortunately I don't know exactly how this is identified with an element of $mathbb{Q}/mathbb{Z}$, although it must be either $frac{1}{4}$ or $frac{3}{4}$.
I should clarify going into this that I don't know any class field theory, so I might say some silly things. The number you're trying to compute is the Hasse invariant of the cyclic algebra, and it should also correspond to a Hilbert symbol as in the comments. I found a nice formula for a special case of the Hilbert symbol in Section 3.3 of these notes (Lemma 3.22). Specialized to this case it gives
$$(a, b)_{xi} = omega left( (-1)^{nu(a) nu(b)} frac{b^{nu(a)}}{a^{nu(b)}} bmod p right)$$
where $nu : mathbb{Q}_p to mathbb{Z}$ is the valuation and $omega : mathbb{F}_p^{times} to mu_{p-1}(mathbb{Q}_p)$ is the Teichmüller character.
You asked in the comments about $p = 5, a = 2, b = 3$. In this case $nu(a) = nu(b) = 0$ so the Hilbert symbol is trivial. In order for it to be nontrivial at least one of $nu(a)$ and $nu(b)$ must be nonzero. For example, sticking to $p = 5$, if we take $a = 2, b = 5$ then we get
$$(1, 5)_{xi} = omega left( frac{1}{2} bmod 5 right) = omega(3)$$
which is the unique $4^{th}$ root of unity in $mathbb{Z}_5$ congruent to $3 bmod 5$, and in particular primitive. Unfortunately I don't know exactly how this is identified with an element of $mathbb{Q}/mathbb{Z}$, although it must be either $frac{1}{4}$ or $frac{3}{4}$.
edited Nov 14 at 22:15
answered Nov 14 at 20:52
Qiaochu Yuan
274k32578914
274k32578914
add a comment |
add a comment |
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2997243%2fwhat-does-a-b-zeta-correspond-to-in-mathrmbr-mathbbq-p-mathbbq%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
en.wikipedia.org/wiki/Hilbert_symbol
– Qiaochu Yuan
Nov 13 at 22:49
@QiaochuYuan Thanks! But for example how could one calculate $(2,3)_5$ explicitly?
– Qixiao
Nov 14 at 17:15
@QiaochuYuan Sorry this may be a stupid question, but I feel confused: from the wikipedia description, the Hilbert symbol is expressed by Legendre symbols, $(a,b)_p=(-1)^{alphabetaepsilon(p)}(frac{u}{p})^{beta}(frac{v}{p})^{alpha}$, but it seems this expression only take $pm1$, but $Br(mathbb{Q}_p)=mathbb{Q}/mathbb{Z}$.
– Qixiao
Nov 14 at 17:37
That section is about the quadratic Hilbert symbol, which corresponds to $2$-torsion in the Brauer group. Scroll down further for the general Hilbert symbol
– Qiaochu Yuan
Nov 14 at 19:56
@QiaochuYuan Thanks! But is the Artin symbol easier to calculate explicitly? For example we have two integers $2,3inmathbb{Z}$ and a $4$-th root of unity $zeta$ in $mathbb{Q}_5$, is there an explicit way to determine what the class of $(2,3)_{zeta}$ in $mathbb{Q}/mathbb{Z}$ is?(As for quadratic symbols, this can be determined by solution of a degenerate conic)
– Qixiao
Nov 14 at 20:12