Теорема о качелях - Seesaw theorem

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

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

Заявление

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

Теорема о качелях - Seesaw theorem

Заявление

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