What does $(a,b)_{zeta}$ correspond to in $mathrm{Br}(mathbb{Q}_p)=mathbb{Q}/mathbb{Z}$











up vote
3
down vote

favorite
2












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}$?)










share|cite|improve this question






















  • 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

















up vote
3
down vote

favorite
2












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}$?)










share|cite|improve this question






















  • 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















up vote
3
down vote

favorite
2









up vote
3
down vote

favorite
2






2





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}$?)










share|cite|improve this question













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






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










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




















  • 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












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}$.






share|cite|improve this answer























    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














     

    draft saved


    draft discarded


















    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

























    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}$.






    share|cite|improve this answer



























      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}$.






      share|cite|improve this answer

























        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}$.






        share|cite|improve this answer














        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}$.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Nov 14 at 22:15

























        answered Nov 14 at 20:52









        Qiaochu Yuan

        274k32578914




        274k32578914






























             

            draft saved


            draft discarded



















































             


            draft saved


            draft discarded














            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





















































            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







            Popular posts from this blog

            Plaza Victoria

            Puebla de Zaragoza

            Musa