I will talk about our proof of the Kontsevich conjecture (1996) on non-commutative birational transformations. It deals with difficulties arising out of the fact that there are no canonical form for non-commutative rational expressions. Miraculous identities proved supposedly reflect some kind of non-commutative group actions.
This talk is based on this arXiv paper.
This video was produced by the Universidade de São Paulo, as part of the LieJor Online Seminar: Algebras, Representations, and Applications.
