Глоссарий алгебраической геометрии (Ilkvvgjnw gliyQjgncyvtkw iykbymjnn)

Перейти к навигации Перейти к поиску


абелево многообразие
Полная алгебраическая группа. Например, комплексное многообразие или эллиптическая кривая над конечным полем .
алгебраическая группа
Алгебраическая группа — это алгебраическое многообразие, которое также является группой, причём групповые операции являются морфизмами многообразий.
алгебраическая схема
Отделимая схема конечного типа над полем. Например, алгебраическое многообразие — это приведённая неприводимая алгебраическая схема.
алгебраическое векторное расслоение
Локально свободный пучок конечного ранга.
алгебраическое многообразие
Целая отделимая схема конечного типа над полем.
алгебраическое множество
Приведённая отделимая схема конечного типа над полем. Алгебраическое многообразие — это приведённая неприводимая алгебраическая схема.
арифметический род
Арифметический род проективного многообразия X размерности r — это .
артинова схема
0-мерная нётерова схема.
аффинный
1.  Аффинное пространство — это, грубо говоря, векторное пространство, в котором мы забыли, какая точка является началом координат.
2.  Аффинное многообразие — это многообразие в аффинном пространстве.
3.  Аффинная схема — это схема, изоморфная спектру некоторого коммутативного кольца.
4.  Морфизм называется аффинным, если прообраз любого открытого аффинного подмножества аффинный. Важные классы аффинных морфизмов - векторные расслоения и конечные морфизмы.
бирациональный морфизм
Бирациональный морфизм схем — это морфизм схем, который индуцирует изоморфизм их плотных открытых подмножеств. Пример бирационального морфизма — отображение, индуцируемое раздутием[англ.].
геометрический род
Геометрический род гладкого проективного многообразия X размерности n — это
(где равенство — это теорема двойственности Серра.
гладкий
1.  Гладкие морфизмы — это многомерный аналог этальных морфизмов. Существует несколько различных определений гладкости. Следующие определения гладкости морфизма f : YX эквивалентны:
1) для любой точки yY существуют открытые аффинные окрестности V и U точек y, x=f(y), соответственно, такие, что ограничение f на V раскладывается в композицию этального морфизма и проекции из n-мерного проективного пространства над U.
2) f плоский, локально конечно представимый, и для любой геометрической точки в Y (морфизма из алгебраически замкнутого поля в Y), геометрический слой является гладким многообразием над в смысле классической алгебраической геометрии.
2.  Гладкая схема над совершенным полем k — это регулярная схема локально конечного типа.
3.  Схема X над полем k гладкая, если она геометрически гладкая: схема гладкая.
группа Пикара
Группа Пикара X — это группа классов изоморфизма линейных расслоений на X, групповая операция в которой — тензорное произведение.
доминантный
Морфизм f : XY называется доминантным, если образ f(X) плотен. Морфизм аффинных схем Spec ASpec B доминантен, если и только если ядро соответствующего отображения BA содержится в нильрадикале B.
дуализирующий пучок
Когерентный пучок на X, такой что двойственность Серра
имеет место для любого когерентного пучка F на X; например, если X — гладкое проективное многообразие, то это  — канонический пучок.
замкнутый
Замкнутые подсхемы схемы X строятся при помощи следующей конструкции. Пусть J квазикогерентный пучок идеалов. Носитель факторпучка - замкнутое подмножество Z в X и - это схема, называемая замкнутой подсхемой, определённой квазикогерентным пучком идеалов J[1]. Причина того, что определение замкнутой подсхемы зависит от такой конструкции состоит в том, что, в отличие от открытых подмножеств, замкнутые подмножества схемы обладают не единственной структурой схемы.
каноническая модель
Каноническая модель — это Proj канонического кольца (предполагаемого конечно порождённым).
канонический
1.  Канонический пучок на нормальном многообразии X размерности n — это пучок дифференциальных форм степени n на подмножестве гладких точек .
2.  Канонический класс на нормальном многообразии X — это класс дивизоров, такой, что .
3.  Канонический дивизор — это представитель канонического класса , обозначаемый тем же символом (определённый не однозначно).
4.  Каноническое кольцо на нормальном многообразии X — кольцо сечений канонического пучка.
касательное пространство
См. касательное пространство Зарисского.
квазикомпактный морфизм
Морфизм f : YX называется квазикомпактным, если для некоторого (а тогда и для любого) открытого аффинного покрытия X множествами Ui = Spec Bi, прообразы f−1(Ui) компактны.
квазиконечный морфизм
Морфизм конечного типа, имеющий конечные слои.
квазиотделимый
Морфизм f : YX называется квазиотделимым, если диагональный морфизм YY ×XY квазикомпактен. Схема Y квазиотделима, если морфизм из неё в Spec(Z) квазиотделим[2].
конечно представимый
Если y — точка Y, то морфизм f конечно представим в y, если существует открытая аффинная окрестность U точки f(y) и открытая аффинная окрестность V точки y, такая, что f(V) ⊆ U и  — конечно представимая алгебра над (фактор конечно порождённой алгебры по конечно порождённому идеалу). Морфизм f локально конечно представим, если он конечно представим во всех точках Y. Если X локально нётерова, то f локально конечно представим если и только если он локально конечного типа[3]. Морфизм f : YX конечно представим, если он локально конечно представим, квазикомпактен и квазиотделим. Если X локально нётерова, то f конечно представим, если и только если он конечного типа.
конечный морфизм
Морфизм f : YX — конечный, если можно покрыть открытыми аффинными множествами , такими, что каждое аффинно — имеет вид — и конечно порождён как -модуль.
кольцо сечений
Кольцо сечений линейного расслоения L на схеме X — это градуированное кольцо .
локально нётерова схема
Схема, покрытая спектрами нётеровых колец. Если спектров конечное число, схема называется нётеровой.
локально факториальная схема
Схема, локальные кольца которой факториальны.
многообразие Фано
Гладкое проективное многообразие, у которого антиканонический пучок обилен.
многочлен Гильберта
Многочлен Гильберта проективной схемы X над полем — это эйлерова характеристика .
морфизм (локально) конечного типа
Морфизм f : YX локально конечного типа, если можно покрыть открытыми аффинными подмножествами , такими, что каждый прообраз можно покрыть открытыми аффинными подмножествами где каждое конечно прождено как -алгебра. Морфизм f : YX конечного типа, если можно покрыть открытыми аффинными подмножествами , такими, что каждый прообраз можно покрыть конечным числом открытых аффинных подмножества , где каждое конечно порождено как -алгебра.
неприводимая схема
Схема называется неприводимой, если она (как топологическое пространство), не является объединением двух собственных замкнутых подмножеств.
неразветвлённый морфизм
Для точки , рассмотрим соответствующий морфизм олкальных колец
.
Пусть  — максимальный идеал , и пусть
это идеал, порождённый образом в . Морфизм называется неразветвлённым, если он локально конечного типа и для всех ,  — максимальный идеал кольца и индуцированное отображение
является конечным сепарабельным расширением полей.
нормальная схема
Целая схема называется нормальной, если её локальные кольца целозамкнуты.
обильный
Обильное линейное расслоение — это линейное расслоение, некоторая тензорная степень которого очень обильна.
образ
Если f : YX — морфизм схем, то теоретико-схемный образ f — это однозначно определённая замкнутая подсхема i : ZX, которая удовлетворяет следующему универсальному свойству:
  1. f пропускается через i,
  2. если j : Z′ → X — любая замкнутая подсхема X, такая, что f пропускается через j, то i также пропускается через j.[4]
отделимый
Отделимый морфизм — это морфизм , такой, что диагональ расслоенного произведения с собой замкнута. Как следствие, схема отделима, когда диагональное вложение в схемное произведение с собой является замкнутым вложением. Заметим, что топологическое пространство Y хаусдорфово, если и только если диагональное вложение
замкнуто. Разница между топологическим и алгебро-геометрическим случаем состоит в том, что топологическое пространство схемы отличается от произведения топологических пространств. Любая аффинная схема Spec A отделима, так как диагональ соответствует сюръективному отображению колец
.
открытая подсхема
Открытая подсхема схемы X - это открытое подмножество U со структурным пучком .
очень обильный
Линейное расслоение L oна многообразии X очень обильно, если X может быть вложено в проективное пространство, так чтоо L будет ограничением скручивающего пучка Серра O(1).
плоский морфизм
Морфизм, индуцирующий плоские отображения слоёв. Гомоморфизм колец AB называется плоским, если он делает B плоским A-модулем.
плюрирод
n-й плюрирод гладкого проективного многообразия — это .
приведённая схема
Схема, локальные кольца которой не имеют ненулевых нильпотентов.
проективный
1.  Проективное многообразие — это замкнутое подмногообразие проективного пространства.
2.  Проективная схема над схемой S — это S-схема, которая пропускается через некоторое проективное пространство как замкнутая подсхема.
3.  Проективные морфизмы определяются сходным образом с аффинными морфизмами: f : YX называется проективным, если он раскладывается в композицию замкнутого вложения и проекции проективного пространства на .
раздутие
Раздутие — это бирациональное преобразование, которое заменяет замкнутую подсхему эффективным дивизором Картье. Более точно, для нётеровой схемы X и замкнутой подсхемы , раздутие Z в X - это собственный морфизм , такой, что (1) является эффективным дивизором Картье, называемым исключительным дивизором и (2) - универсальный объект со свойством (1).
размерность Кодайры
Размерность канонической модели.
регулярная схема
Схема, локальные кольца которой — регулярные локальные кольца.
род
См. #арифметический род, #геометрический род.
связный
Схема связна, если она связна как топологическое пространство. Аффинная схема Spec(R) связна, если и только если кольцо R не имеет идемпотентов, кроме 0 и 1.
слой
Для морфизма схем , слой f над y как множества — это прообраз ; он имеет естественную структуру схемы над полем вычетов[англ.] точки y как расслоенное произведение , где имеет естественную структуру схемы над Y как спктр поля вычетов точки y.
собственный морфизм
Отделимый универсально замкнутый морфизм конечного типа. Морфизм схем f: XY называется универсально замкнутым, если для любой схемы Z с морфизмом ZY проекция из расслоенного произведения является замкнутым отображением топологических пространств (переводит замкнутые множества в замкнутые).
схема
Схема - это локально окольцованное пространство, локально изоморфное спектру коммутативного кольца.
точка
Схема  — это локально окольцованное пространство, и следовательно топологическое пространство, но слово точка имеет три значения:
  1. точка подлежащего топологического пространство;
  2. -точка  — это морфизм из в , для любой схемы ;
  3. геометрическая точка схемы , определённой над (с морфизмом в) , где  — поле, это морфизм из в , где  — алгебраическое замыкание .
целая схема
Приведённая неприводимая схема. Для локально нётеровой схемы, быть целой эквивалентно тому, чтобы быть связной и покрытой спектрами областей целостности
этальный
Морфизм f : YX этальный, если он плоский и неразветвлённый. Существует несколько других эквивалентных определений. В случае гладких многообразий и над алгебраически замкнутым полем, этальные морфизмы — это морфизмы, индуцирующие изоморфизм касательных пространств , что совпадает с обычным определением этальных отображений в дифференциальной геометрии.
эффективный дивизор Картье
Эффективный дивизор Картье на схеме X над S — это замкнутая подсхема X, которая является плоской над S и пучок идеалов которой обратим.

Примечания

[править | править код]

Литература

[править | править код]
  • Хартсхорн Р. Алгебраическая геометрия / пер. с англ. В. А. Исковских. — М.: Мир, 1981.
  • Fulton, William (1998), Intersection theory, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 2, Berlin, New York: Springer-Verlag, ISBN 978-3-540-62046-4, MR 1644323
  • Grothendieck, Alexandre; Dieudonné, Jean (1960). "Éléments de géométrie algébrique: I. Le langage des schémas". Publications Mathématiques de l'IHÉS. 4. doi:10.1007/bf02684778. MR 0217083.{{cite journal}}: Википедия:Обслуживание CS1 (множественные имена: authors list) (ссылка)
  • Grothendieck, Alexandre; Dieudonné, Jean (1964). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Première partie". Publications Mathématiques de l'IHÉS. 20. doi:10.1007/bf02684747. MR 0173675.{{cite journal}}: Википедия:Обслуживание CS1 (множественные имена: authors list) (ссылка)