We use cookies in order to improve the quality and usability of the HSE website. More information about the use of cookies is available here, and the regulations on processing personal data can be found here. By continuing to use the site, you hereby confirm that you have been informed of the use of cookies by the HSE website and agree with our rules for processing personal data. You may disable cookies in your browser settings.
119048Moscow, Usacheva str., 6
phone/fax: +7 (495) 624-26-16
phone: +7 (495) 916-89-05
e-mail: math@hse.ru
For a convex d-polytope P its realisation space is a space of all (modulo affine transformations) d-polytopes having the same face lattice as P. From Steinitz's characterisation of edge graphs of 3-polytopes (these are precisely planar 3-connected graphs) it follows that for a 3-polytope with e edges its realisation space is a smooth open ball of dimension (e - 6). However, in higher dimensions realisation spaces of polytopes cease to be topologically trivial and, in fact, for any d>3 d-polytopes are universal in the sense of Mnëv (J.Richter-Gebert & G.M.Ziegler, 1995) meaning that questions related to realisation spaces are as difficult as the corresponding problems for general systems of polynomial inequalities.
In the talk we will first recall all the required definitions (such as basic primary semialgebraic sets, stable equivalences, oriented matroids and their realisation spaces, etc.) Then we will prove Mnëv's university theorem for oriented matroids, namely, that for every basic primary semialgebraic set V defined over integers there is an oriented matroid whose realisation space is stably equivalent to V. After that we will deduce from this theorem some universality theorems for polytopes.