WikiDer > Квазиконечный морфизм

Quasi-finite morphism

В алгебраическая геометрия, филиал математика, а морфизм ж : Икс → Y из схемы является квазиконечный если это из конечный тип и удовлетворяет любому из следующих эквивалентных условий:^[1]

Каждая точка Икс из Икс изолирован в своем волокне ж⁻¹(ж(Икс)). Другими словами, каждый слой представляет собой дискретное (следовательно, конечное) множество.
За каждую точку Икс из Икс, схема ж⁻¹(ж(Икс)) = Икс ×_YSpec κ (ж(Икс)) является конечным κ (ж(Икс)) схема. (Здесь κ (п) - поле вычетов в точке п.)
За каждую точку Икс из Икс, ${ displaystyle { mathcal {O}} _ {X, x} otimes kappa (f (x))}$ конечно порожден над ${ Displaystyle каппа (е (х))}$ .

Квазиконечные морфизмы были первоначально определены Александр Гротендик в SGA 1 и не включала гипотезу конечного типа. Эта гипотеза была добавлена к определению в EGA II 6.2, потому что он позволяет дать алгебраическую характеристику квазиконечности в терминах стебли.

Для общего морфизма ж : Икс → Y и точка Икс в Икс, ж как говорят квазиконечный в Икс если существуют открытые аффинные окрестности U из Икс и V из ж(Икс) такие, что ж(U) содержится в V и такое, что ограничение ж : U → V квазиконечна. ж является локально квазиконечный если он квазиконечен в каждой точке Икс.^[2] Квазикомпактный локально квазиконечный морфизм квазиконечен.

Характеристики

Для морфизма ж, верны следующие свойства.^[3]

Если ж квазиконечное, то индуцированное отображение ж_{красный} между сокращенные схемы квазиконечна.
Если ж замкнутое погружение, то ж квазиконечна.
Если Икс нётерский и ж это погружение, то ж квазиконечна.
Если грамм : Y → Z, и если грамм ∘ ж квазиконечна, то ж является квазиконечным, если выполняется любое из следующих условий:
1. грамм отделен,
2. Икс нётерский,
3. Икс ×_Z Y локально нётерский.

Квазиконечность сохраняется заменой базы. Составное и послойное произведение квазиконечных морфизмов квазиконечное.^[3]

Если ж является неразветвленный в какой-то момент Икс, тогда ж квазиконечна в Икс. Наоборот, если ж квазиконечна в Икс, а если также ${ displaystyle { mathcal {O}} _ {f ^ {- 1} (f (x)), x}}$ , местное кольцо Икс в волокне ж⁻¹(ж(Икс)), является полем и конечным сепарабельным расширением κ (ж(Икс)), тогда ж не разветвлен в Икс.^[4]

Конечные морфизмы квазиконечны.^[5] Квазиконечная правильный морфизм локально конечного представления конечно.^[6] В самом деле, морфизм конечен тогда и только тогда, когда он собственный и квазиконечный (Делинь).

Обобщенная форма Основная теорема Зарисского. следующее:^[7] Предполагать Y является квазикомпактный и квази-разделенные. Позволять ж быть квазиконечным, разделенным и конечным представлением. потом ж факторы как ${ Displaystyle X hookrightarrow от X ' до Y}$ где первый морфизм - открытое погружение, а второй - конечный. (Икс открыто в конечной схеме над Y.)

Примечания

^ EGA II, определение 6.2.3
^ EGA III, Err_III, 20.
^ ^а ^б EGA II, Предложение 6.2.4.
^ EGA IV₄, Теорема 17.4.1.
^ EGA II, Corollaire 6.1.7.
^ EGA IV₃, Теорема 8.11.1.
^ EGA IV₃, Теорема 8.12.6.

Navigation

Navigation

Themenportale

WikiDer > Квазиконечный морфизм

Характеристики

Примечания

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