Matsumoto proved in his PhD thesis that if $F$ is a field then $$K\_2(F)=(F^\*\otimes F^\*)/(x\otimes (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.



Reference for the algebro-geometric proof of Matsumoto theorem
Apparently, what this one guy meant is Merkurjev's proof of Merkurjev-Suslin theorem, which was writen down by [A. R. Wadsworth](http://www.ams.org/books/conm/055.2/) and later by [W. van der Kallen](https://doi.org/10.1007/BFb0074799). 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*](http://dx.doi.org/10.1007/BF00533156) by K. Hutchinson or [*$(t^2−t)$-reciprocities on the affine line and Matsumoto's theorem*](https://doi.org/10.1007/BF01436072) by F. Keune.


