Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.
Адрес: 119048, Москва,
ул. Усачёва, 6
тел. (495) 916-89-05
тел. (495) 772-95-90 *12720
тел. (495) 772-95-90 *12726 (декан)
E-mail: math@hse.ru
Учебный офис:
mathstudyoffice@hse.ru
тел. (495) 624-26-16
тел. (495) 772-95-90 *12713
ДПО факультета математики:
dpo-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.