Лёня Посицельский's Journal
[Most Recent Entries]
[Calendar View]
Wednesday, April 3rd, 2013
| Time |
Event |
| 5:52p |
Очень плоские морфизмы алгебраических многообразий - 2
Теорема 1. Любой конечный этальный морфизм нетеровых схем является очень плоским.
Доказательство: очевидно, можно считать обе схемы аффинными и связными. Пусть Spec S → Spec R -- наш морфизм; требуется доказать, что для любого s ∈ S модуль S[s−1] над кольцом R очень плоский.
Убедимся прежде всего, что достаточно рассматривать случай, когда Spec S → Spec R -- накрытие Галуа. В самом деле, пусть Spec T → Spec S -- конечный этальный морфизм, такой что композиция Spec T → Spec S → Spec R является накрытием Галуа. Заметим, что S[s−1]-модуль T[s−1] конечно порожденный и плоский, а следовательно, и проективный. Если известно, что R-модуль T[s−1] очень плоский, то остается показать, что R-модуль S[s−1] является прямым слагаемым (конечной) прямой суммы его копий. Для этого достаточно проверить, что S[s−1]-модуль T[s−1] является проективной образующей категории S[s−1]-модулей.
Если бы это было не так, то существовал бы S[s−1]-модуль M, всякий морфизм в который из S[s−1]-модуля T[s−1] равен нулю. Поскольку функтор Hom из конечно порожденного модуля над коммутативным нетеровым кольцом коммутирует с локализацией по простым идеалам, а конечно порожденные проективные модули над локальным нетеровым кольцом свободны, это значило бы, что для любого простого идеала p в S[s−1], локализация S[s−1]-модуля M в котором не зануляется, зануляется локализация S[s−1]-модуля T[s−1] в p. Существование простых идеалов с последним свойством противоречит сюръективности морфизма Spec T → Spec S, которая в свою очередь следует из этальности + конечности морфизма и связности Spec S.
Пусть теперь G -- группа Галуа Spec S над Spec R. Для любого подмножества Γ ⊂ G рассмотрим элемент tΓ = ∏g∈Γ g(s) ∈ S. Будем доказывать утверждение, что S[tΓ−1] является очень плоским R-модулем, убывающей индукцией по числу элементов в Γ (при фиксированном числе элементов в G, но меняющихся, вообще говоря, кольцах R и S). База индукции: если Γ = G, то элемент tG = ∏g∈G g(s) = NormS/R(s) принадлежит R ⊂ S, и кольцо S[tG−1] является проективным модулем над R[tG−1].
Шаг индукции: пусть H ⊂ G -- стабилизатор подмножества Г при действии G на себе левыми умножениями, и пусть g1, ..., gn ∈ G -- множество представителей левых классов смежности G/H. Объединение открытых подсхем Spec S[gi(tΓ)−1] является G-инвариантным открытым подмножеством в Spec S, и следовательно, полным прообразом некоторой открытой подсхемы U ⊂ Spec R. Пользуясь локальностью очень плоскости и заменяя при необходимости схему Spec R на ее главные аффинные открытые подсхемы, образующие покрытие открытой подсхемы U, можно считать, что U = Spec R и объединение всех Spec S[gi(tΓ)−1] совпадает со Spec S.
Рассмотрим теперь точную последовательность Чеха для (структурного пучка и) покрытия аффинной схемы Spec S ее главными аффинными открытыми подсхемами Spec S[gi(tΓ)−1]. Самым левым нетривиальным членом является кольцо S, следующим -- прямая сумма всех S[gi(tΓ)−1], и дальнейшими -- прямые суммы колец S[tΔ−1] для подмножеств Δ ⊂ G, являющихся объединениями нескольких (более одного) подмножеств gi(Γ).
Остается воспользоваться предположением индукции вместе со свойством замкнутости класса всех очень плоских R-модулей относительно расширений и ядер сюръективных морфизмов (а также прямых слагаемых).
Замечание: по существу, вторая половина рассуждения выше представляет собой доказательство следующего более общего утверждения. Пусть конечная группа G действует на кольце S, так что S является конечно порожденным проективным (или, что то же самое, конечно представимым плоским) модулем над подкольцом инвариантных элементов SG. Тогда естественный морфизм Spec S → Spec SG очень плоский. В дополнение к сказанному выше, тут нужно еще отметить, что G транзитивно действует на слоях проекции Spec S → Spec SG (см. Атья-Макдональд, теорема 5.10 и упражнение 5.13). (Впрочем, нужно еще проверить, что образ G-инвариантного открытого подмножества в Spec S открыт в Spec SG, но это, кажется, несложно -- всякий G-инвариантный идеал в S содержится в нильрадикале расширения своего сужения в SG, ввиду теоремы Виета.)
Теорема 2. Любой конечный плоский теоретико-множественно биективный морфизм нетеровых схем является очень плоским.
Доказательство: плоский морфизм конечного типа открыт, так что в условиях теоремы морфизм является гомеоморфизмом. Очевидно, можно считать обе схемы аффинными; пусть Spec S → Spec R -- наш морфизм. Дело сводится к тому, чтобы показать, что открытое подмножество аффинно в Spec R, если оно аффинно в Spec S. Более того, можно ограничиться одними только главными аффинными открытыми подмножествами в Spec S. Таким образом, достаточно убедиться, что Spec S[s−1] = Spec S[NormS/R(s)−1] для любого s ∈ S. Последний вопрос сводится к случаю, когда R -- спектр поля, так что S -- артиново локальное кольцо. В этом случае утверждение очевидно (норма обратимого элемента обратима).
Лемма. Пусть f: W → X -- очень плоский аффинный морфизм схем, такой что для любого достаточно малого аффинного открытого подмножества U ⊂ X кольцо O(f−1(U)) является проективной образующей абелевой категории O(U)-модулей. Например, согласно теоремам 1-2 (и доказательству теоремы 1), любой сюръективный конечный этальный морфизм нетеровых схем и любой конечный плоский теоретико-множественно биективный морфизм нетеровых схем обладают этими свойствами. Тогда если g: Y → X -- морфизм схем и морфизм g': W×XY → W -- очень плоский, то и морфизм g очень плоский.
Доказательство: чтобы убедиться, что для аффинной открытой подсхемы V ⊂ Y, такой что g(V) ⊂ U, модуль O(V) над кольцом O(U) очень плоский, используем предположение леммы, согласно которому модуль O(f−1(U)×UV) над кольцом O(f−1(U)) очень плоский. Поскольку морфизм f очень плоский, кольцо O(f−1(U)×UV) является также очень плоским модулем над кольцом O(U). Наконец, поскольку O(f−1(U)) является проективной образующей категории O(U)-модулей, можно заключить, что кольцо O(V) является очень плоским O(U)-модулем. | | 9:41p |
Очень плоские морфизмы алгебраических многообразий - 3
Теорема 1. Для любой схемы конечного типа X над полем k, естественные морфизмы проекции AXn → X являются очень плоскими.
Доказательство: предположим сначала, что поле k бесконечно. Ввиду соображений из примера 4 предпредыдущего постинга, а также факта замнутости класса очень плоских морфизмов относительно композиций, достаточно показать, что морфизмы проекции π: Akn+1 → Akn являются очень плоскими. Воспользуемся индукцией по n; случай n = 0 очевиден.
Пусть U -- главное аффинное открытое подмножество в An+1; требуется доказать, что O(U) является очень плоским O(An)-модулем. Дополнение к U в An+1 является аффинной гиперповерхностью -- множеством нулей полинома от n + 1 переменных. Разложим его на неприводимые множители и выделим те, которые не зависят от последней переменной (которую забывает проекция). Таким образом, дополнение к U в An+1 раскладывается в объединение Z ∪ π−1(W), где W -- гиперповерхность в An, а Z -- гиперповерхность в Аn+1, проекция которой на An является композицией плоского конечного гомеоморфизма и конечного этального морфизма вне полного прообраза Y ⊂ Z замкнутого подмножества X ⊂ An, где размерности Y и X не превосходят n − 1.
Поскольку класс очень плоских модулей замкнут относительно тензорных произведений, достаточно показать, что O(An)-модуль O(An+1\Z) очень плоский; так что можно считать W пустым. Далее, можно считать размерности всех неприводимых компонент подмногообразий X и Y в точности равными n − 1.
Выберем какую-нибудь невертикальную прямую (одномерное подпространство) в векторном пространстве kn+1, и проведем через каждую точку из Y аффинную прямую в An+1 в выбранном направлении. После перехода к замыканию в топологии Зарисского, зарисуется (в общем положении) некоторая гиперповерхность H в An+1. Замена координат делает выбранное невертикальное направление горизонтальным и координатным; в этих координатах, гиперповерхность H является полным прообразом гиперповерхности в "горизонтальном" An (расслаивающемся над An−1) при отображении забывания этой горизонтальной координаты.
Для каждой точки из An+1, не лежащей на Y, направления на точки из Y образуют (самое большее) (n−1)-мерное подмногообразие в n-мерном проективном пространстве направлений. Поэтому пересечение конечного числа гиперповерхностей типа H совпадает с Y. Ввиду локальности очень плоскости, достаточно показать, что кольцо O(An+1\(H∪Z)) является очень плоским O(An)-модулем. Ввиду предположения индукции по n, таковым является кольцо O(An\H).
Согласно теоремам 1-2 из предыдущего постинга, кольцо O(Z\H) является очень плоским O(An\X)-модулем, а значит, и O(An)-модулем. Согласно рассуждению из примера 2 предпредыдущего постинга, отсюда следует, что таковым является и кольцо O(An+1\(H∪Z)). Таким образом, мы доказали теорему для случая бесконечного поля k.
В случае конечного поля k, воспользуемся леммой из предыдущего постинга. Достаточно показать, что для любой схемы конечного типа X над любым полем k и любого алгебраического расширения полей L/k, морфизм f: XL → X удовлетворяет условиям леммы. Поскольку остальные условия очевидны, остается проверить, что морфизм f очень плоский. Можно считать схему X аффинной. Тогда любая главная аффинная открытая подсхема в XL определена над некоторым подполем l ⊂ L, конечным над k. Это сводит вопрос к случаю конечного расширения полей, в котором морфизм f очень плоский согласно теоремам 1-2 из предыдущего постинга.
Теорема 2. а) Любой конечный плоский морфизм одномерных схем конечного типа над полем k является очень плоским.
б) Любой плоский (или, что то же самое, квазиконечный) морфизм конечного типа из приведенной одномерной схемы в гладкую одномерную схему конечного типа над полем k является очень плоским.
Доказательство: пункт а) получается рассуждением из примера 1 предпредыдущего постинга. Если Y → X -- наш плоский конечный морфизм аффинных кривых и U ⊂ Y -- открытое подмножество, получающееся выкалыванием нескольких точек, можно рассмотреть открытое подмножество V ⊂ Y, получающееся выкалыванием дополнения до множества точек Y\U в полном прообразе образа этого множества точек при морфизме Y → X. В случае выкалывания неприводимых компонент, можно рассуждать аналогичным образом про неприводимые компоненты, сводя вопрос к уже рассмотренному. Пункт б) сводится к пункту а) с помощью основной теоремы Зарисского (вложения квазиконечного морфизма в конечный). |
|