Reference for the algebro-geometric proof of Matsumoto theorem

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
7
down vote

favorite












Matsumoto proved in his PhD thesis that if $F$ is a field than $K_2(F)=(F^*otimes F^*)/(xotimes (1-x))$. The original Matsumoto proof as it is written in Milnor's book on algebraic K-theory looks not really nice to me and one guy told me that there is another proof of this fact that uses "sheaves of groups on Severi-Brauer varieties" which seems nicer to me. This guy told me that it is due to Vaserstein (Васерштейн) but it seems that Vaserstein was interested in other questions and couldn't give this proof. Perhaps you know whom this proof belongs to and I'd be very grateful if you could give me the reference to the article.










share|cite|improve this question

























    up vote
    7
    down vote

    favorite












    Matsumoto proved in his PhD thesis that if $F$ is a field than $K_2(F)=(F^*otimes F^*)/(xotimes (1-x))$. The original Matsumoto proof as it is written in Milnor's book on algebraic K-theory looks not really nice to me and one guy told me that there is another proof of this fact that uses "sheaves of groups on Severi-Brauer varieties" which seems nicer to me. This guy told me that it is due to Vaserstein (Васерштейн) but it seems that Vaserstein was interested in other questions and couldn't give this proof. Perhaps you know whom this proof belongs to and I'd be very grateful if you could give me the reference to the article.










    share|cite|improve this question























      up vote
      7
      down vote

      favorite









      up vote
      7
      down vote

      favorite











      Matsumoto proved in his PhD thesis that if $F$ is a field than $K_2(F)=(F^*otimes F^*)/(xotimes (1-x))$. The original Matsumoto proof as it is written in Milnor's book on algebraic K-theory looks not really nice to me and one guy told me that there is another proof of this fact that uses "sheaves of groups on Severi-Brauer varieties" which seems nicer to me. This guy told me that it is due to Vaserstein (Васерштейн) but it seems that Vaserstein was interested in other questions and couldn't give this proof. Perhaps you know whom this proof belongs to and I'd be very grateful if you could give me the reference to the article.










      share|cite|improve this question













      Matsumoto proved in his PhD thesis that if $F$ is a field than $K_2(F)=(F^*otimes F^*)/(xotimes (1-x))$. The original Matsumoto proof as it is written in Milnor's book on algebraic K-theory looks not really nice to me and one guy told me that there is another proof of this fact that uses "sheaves of groups on Severi-Brauer varieties" which seems nicer to me. This guy told me that it is due to Vaserstein (Васерштейн) but it seems that Vaserstein was interested in other questions and couldn't give this proof. Perhaps you know whom this proof belongs to and I'd be very grateful if you could give me the reference to the article.







      ag.algebraic-geometry reference-request kt.k-theory-and-homology algebraic-k-theory






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 2 hours ago









      Anna Abasheva

      639314




      639314




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          2
          down vote













          Apparently, what this one guy meant is Merkurjev's proof of Merkurjev-Suslin theorem, which was writen down by A. R. Wadsworth and later by W. van der Kallen. The latter paper starts with the statement of Matsumoto theorem and the proof does indeed use cohomology of sheaves of K-groups on Severi-Brauer varieties.



          As for the nicer proofs of Matsumoto theorem, one can take a look at A new approach to Matsumoto's theorem by K. Hutchinson or $(t^2−t)$-reciprocities on the affine line and Matsumoto's theorem by F. Keune.






          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: "504"
            ;
            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: false,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            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%2fmathoverflow.net%2fquestions%2f312846%2freference-for-the-algebro-geometric-proof-of-matsumoto-theorem%23new-answer', 'question_page');

            );

            Post as a guest






























            1 Answer
            1






            active

            oldest

            votes








            1 Answer
            1






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes








            up vote
            2
            down vote













            Apparently, what this one guy meant is Merkurjev's proof of Merkurjev-Suslin theorem, which was writen down by A. R. Wadsworth and later by W. van der Kallen. The latter paper starts with the statement of Matsumoto theorem and the proof does indeed use cohomology of sheaves of K-groups on Severi-Brauer varieties.



            As for the nicer proofs of Matsumoto theorem, one can take a look at A new approach to Matsumoto's theorem by K. Hutchinson or $(t^2−t)$-reciprocities on the affine line and Matsumoto's theorem by F. Keune.






            share|cite|improve this answer
























              up vote
              2
              down vote













              Apparently, what this one guy meant is Merkurjev's proof of Merkurjev-Suslin theorem, which was writen down by A. R. Wadsworth and later by W. van der Kallen. The latter paper starts with the statement of Matsumoto theorem and the proof does indeed use cohomology of sheaves of K-groups on Severi-Brauer varieties.



              As for the nicer proofs of Matsumoto theorem, one can take a look at A new approach to Matsumoto's theorem by K. Hutchinson or $(t^2−t)$-reciprocities on the affine line and Matsumoto's theorem by F. Keune.






              share|cite|improve this answer






















                up vote
                2
                down vote










                up vote
                2
                down vote









                Apparently, what this one guy meant is Merkurjev's proof of Merkurjev-Suslin theorem, which was writen down by A. R. Wadsworth and later by W. van der Kallen. The latter paper starts with the statement of Matsumoto theorem and the proof does indeed use cohomology of sheaves of K-groups on Severi-Brauer varieties.



                As for the nicer proofs of Matsumoto theorem, one can take a look at A new approach to Matsumoto's theorem by K. Hutchinson or $(t^2−t)$-reciprocities on the affine line and Matsumoto's theorem by F. Keune.






                share|cite|improve this answer












                Apparently, what this one guy meant is Merkurjev's proof of Merkurjev-Suslin theorem, which was writen down by A. R. Wadsworth and later by W. van der Kallen. The latter paper starts with the statement of Matsumoto theorem and the proof does indeed use cohomology of sheaves of K-groups on Severi-Brauer varieties.



                As for the nicer proofs of Matsumoto theorem, one can take a look at A new approach to Matsumoto's theorem by K. Hutchinson or $(t^2−t)$-reciprocities on the affine line and Matsumoto's theorem by F. Keune.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered 35 mins ago









                Andrei Smolensky

                1,0361022




                1,0361022



























                     

                    draft saved


                    draft discarded















































                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function ()
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f312846%2freference-for-the-algebro-geometric-proof-of-matsumoto-theorem%23new-answer', 'question_page');

                    );

                    Post as a guest













































































                    Comments

                    Popular posts from this blog

                    What does second last employer means? [closed]

                    Installing NextGIS Connect into QGIS 3?

                    One-line joke