Теорема о качелях - Википедия - Seesaw theorem

В алгебраическая геометрия, то теорема о качелях, или же принцип качелей, грубо говорит, что предел тривиальных линейных расслоений над полными многообразиями является тривиальным линейным расслоением. Он был представлен Андре Вайль в курсе Чикагского университета в 1954–1955 гг. и связан с теорией соответствий Севери.

Теорема о качелях доказывается с использованием правильное изменение базы. Его можно использовать для доказательства теорема куба.

Заявление

Ланг (1959, p.241) первоначально сформулировал принцип качелей в терминах делителей. Сейчас более распространено формулировать это в терминах линейных пакетов следующим образом (Мамфорд 2008, Следствие 6, раздел 5). Предполагать L это линейный пучок над Икс×Т, куда Икс это полное разнообразие и Т является алгебраическим множеством. Тогда набор точек т из Т такой, что L тривиально на Икс×т закрыто. Более того, если этот набор представляет собой все Т тогда L это откат линейного пакета на Т. Мамфорд (2008), раздел 10) также дал более точную версию, показав, что существует самая большая закрытая подсхема Т такой, что L является откатом линейного пучка на подсхеме.

Рекомендации

  • Ланг, Серж (1959), Абелевы разновидности, Международные трактаты по чистой и прикладной математике, 7, Нью-Йорк: Interscience Publishers, Inc., МИСТЕР  0106225
  • Мамфорд, Дэвид (2008) [1970], Абелевы разновидности, Институт фундаментальных исследований в области математики им. Тата, 5, Провиденс, Р.И.: Американское математическое общество, ISBN  978-81-85931-86-9, МИСТЕР  0282985, OCLC  138290