RUS  ENG
Полная версия
СЕМИНАРЫ

Заседания Московского математического общества
24 апреля 2012 г. 18:30, г. Москва, ГЗ МГУ, аудитория 16-10


Дискриминант системы уравнений

А. И. Эстеров

Аннотация: Многие геометрические объекты можно рассматривать как обобщения дискриминанта и результанта многочлена одной переменной: дискриминант Гельфанда–Капранова–Зелевинского для многочлена многих переменных, дискриминант деформации изолированной особенности, sparse результант в символьной алгебре и т.д. После краткого обзора их определений, свойств и мотивировок будет предложено еще одно обобщение — дискриминант системы уравнений, «интерполирующий» вышеперечисленные понятия, наследующий многие их интересные свойства и не наследующий трудности.
Назовем систему алгебраических уравнений типичной, если топологический тип множества ее решений не меняется при шевелении ее ненулевых коэффициентов. Тогда (за исключением очевидных бессодержательных случаев) множество всех нетипичных систем является гиперповерхностью, уравнение которой и предлагается называть дискриминантом исходной системы.
Тот факт, что нетипичные уравнения образуют гиперповерхность, был замечен Гельфандом, Капрановым и Зелевинским, но для систем доказательство наталкивается на неожиданные сложности комбинаторики многогранников и сводится к другому факту о чистоте размерности, но уже для тропических многообразий. Это новый пример загадочного сходства между классической алгебраической геометрией и тропической (над $R$ с операциями + и min), которое уже научились использовать для угадывания и красивой формулировки ответов, но еще так и не научились удовлетворительно объяснять.
Доклад не требует специальных знаний и, по модулю отдельных замечаний, будет доступен студентам.


© МИАН, 2024