WikiDer > Глоссарий классической алгебраической геометрии
Терминология алгебраической геометрии радикально изменилась в течение двадцатого века с введением общих методов, инициированных Дэвид Гильберт и Итальянская школа алгебраической геометрии в начале века, а позже формализована Андре Вайль, Жан-Пьер Серр и Александр Гротендик. От большей части классической терминологии, в основном основанной на тематических исследованиях, просто отказались, в результате чего книги и статьи, написанные до этого времени, трудно читать. В этой статье перечислены некоторые из этой классической терминологии и описаны некоторые изменения в соглашениях.
Долгачев (2012) переводит многие из классических терминов алгебраической геометрии в теоретико-схемную терминологию. Другие книги, определяющие некоторую классическую терминологию, включают Бейкера (1922a, 1922b, 1923, 1925, 1933a, 1933b), Кулидж (1931), Кокстер (1969), Хадсон (1990), Лосось (1879), Семпл и Рот (1949).
Конвенции
(Долгачев 2012, p.iii – iv)
Изменение терминологии примерно с 1948 по 1960 год - не единственная трудность в понимании классической алгебраической геометрии. Также было много базовых знаний и предположений, многие из которых теперь изменились. В этом разделе перечислены некоторые из этих изменений.
- В классической алгебраической геометрии прилагательные часто использовались как существительные: например, «квартика» могла также быть сокращением от «кривой четвертой степени» или «четвертичной поверхности».
- В классической алгебраической геометрии все кривые, поверхности, многообразия и т. Д. Имели фиксированные вложения в проективное пространство, тогда как в теории схем они чаще рассматриваются как абстрактные многообразия. Например, Веронезе поверхность был не просто копией проективной плоскости, но копией проективной плоскости вместе с вложением в проективное 5-пространство.
- Многообразия часто рассматривались только с точностью до бирационального изоморфизма, тогда как в теории схем они обычно рассматриваются с точностью до бирегулярного изоморфизма. (Семпл и Рот 1949, стр.20–21)
- Примерно до 1950 года многие доказательства в классической алгебраической геометрии были неполными (или иногда просто ошибочными). В частности, авторы часто не удосужились проверить вырожденные случаи.
- Слова (такие как азигетические или двойные) иногда образовывались из латинских или греческих корней без дополнительных объяснений, предполагая, что читатели будут использовать их классическое образование чтобы выяснить смысл.
(Семпл и Рот 1949, стр.iii)
- Определения в классической алгебраической геометрии часто были несколько расплывчатыми, и бесполезно пытаться найти точное значение некоторых из старых терминов, потому что многие из них никогда не имели точного значения. На практике это не имело большого значения, когда термины использовались только для описания конкретных примеров, поскольку в этих случаях их значение обычно было ясным: например, было очевидно, какие 16 тропов Куммер поверхность были, даже если "троп" не был точно определен в целом.
- Алгебраическая геометрия часто неявно выполнялась над комплексными числами (или иногда действительными числами).
- Считалось, что читатели знакомы с классической (или синтетической) проективной геометрией и, в частности, хорошо разбираются в кониках, а авторы использовали терминологию из этой области без дополнительных объяснений.
- Некоторые термины, такие как «абелева группа», «полная», «комплексный», «плоский», «гармонический», «гомология», «моноид», «нормальный», «полюсный», «регулярный», теперь имеют значения, которые не имеют отношения к их первоначальному значению. Значения других терминов, таких как «круг», негласно изменены, чтобы работать в сложном проективном пространстве; например, окружность в сложной алгебраической геометрии - это коника, проходящая через бесконечно удаленные круговые точки, и имеющее лежащее в основе топологическое пространство 2-сферу, а не 1-сферу.
- Иногда заглавные буквы негласно понимают как точки, а маленькие буквы - за линии или кривые.
Символы
- [1], [2], . . . , [п]
- Проективное пространство размерности . Это обозначение было введено Шуберт (1886).
- ∞¹, ∞², ...
- Семья размерностей 1, 2, ...
- {1}, {2}, ...,{п}
- Семья или разновидность измерения . (Семпл и Рот 1949, стр.288)
А
- Абелева группа
- 1. Архаичное название симплектическая группа.
- 2. А коммутативная группа.
- отклонение от нормы
- Отклонение кривой от круглой формы. Видеть Лосось (1879 г., п. 356).
- абсолютный
- 1. Фиксированный выбор чего-либо в проективном пространстве, используемый для построения некоторой другой геометрии из проективной геометрии. Например, выбирая самолет под названием абсолютная плоскость, проективного пространства можно использовать для превращения его дополнения в копию аффинного пространства. Выбор подходящего конуса или полярности, называемого Кейли абсолют, абсолютная коническая или же абсолютная полярность, в абсолютной плоскости дает возможность поместить метрику в аффинное пространство, чтобы оно стало метрическим пространством.
- 2. Абсолютная геометрия это примерно евклидова геометрия без постулата параллельности.
- случайный
- Случайная (или несобственная) двойная точка поверхности в 4-мерном проективном пространстве - это двойная точка с двумя различными касательными плоскостями. (Бейкер 1933b, том 6, с. 157)
- узел
- An узел - изолированная точка реальной кривой. Видеть Лосось (1879 г., стр.23).
- прилегающий
- Если C кривая, сопряженная к C кривая такая, что любая точка C множественности р имеет кратность не менее р–1 на сопряженном. Иногда несколько точек C должны быть обычными, и если это условие не выполняется, используется термин «субсопряженный». (Семпл и Рот 1949, стр.55, 231)
- аффинный
- 1. Аффинное пространство это примерно векторное пространство, в котором забыли, какая точка является началом координат.
- 2. An аффинное разнообразие есть многообразие в аффинном пространстве.
- близость
- Автоморфизм аффинного пространства.
- совокупность
- Множество.
- окружающий
- An окружающее разнообразие представляет собой большое разнообразие, содержащее все интересующие нас точки, кривые, делители и т. д.
- ангармонический коэффициент
- Перекрестное соотношение
- противоположность
- Одна из пары точек, построенных из двух фокусов кривой. Видеть Лосось (1879 г., стр.119).
- очевидный
- Кажущаяся особенность - это особенность проекции многообразия на гиперплоскость. Они называются так потому, что они кажутся наблюдателю сингулярностями в точке, из которой они проецируются. (Семпл и Рот 1949, стр.55, 231)
- неполярный
- Ортогонален относительно полярного спаривания между симметрической алгеброй векторного пространства и его двойственным.
- арифметический род
- В арифметический род многообразия - это вариация эйлеровой характеристики тривиального линейного расслоения; видеть Номер Ходжа.
- Набор аронхольда
- Один из 288 наборов 7 из 28 битовых касательных кривой четвертой степени, соответствующих 7 нечетным тета-характеристикам нормального набора.
- связанный
- 1. Ассоциированная кривая - это изображение проективной кривой в грассманиане, заданное касательными линиями, соприкасающимися плоскостями и т. Д.
- осевой
- ось
- Специальная линия или линейное подпространство, связанное с некоторым семейством геометрических объектов. Например, специальный линейный комплекс в 4-мерном пространстве состоит из всех линий, пересекающихся с заданной плоскостью, которая называется осевой плоскостью комплекса. (Семпл и Рот 1949, стр.274) Аналогично директрисе.
- безобразный
- Непарный. Противоположно сизигетическому, то есть парному. Пример: азигетическая триада, азигетическая тетрада, азигетический набор.
B
- основание
- 1. А базовая точка это общая точка для всех членов семьи.
- 2. Программа базовый номер ρ - ранг Группа Нерон – Севери.
- двукруглый
- Имея узлы в двух круговых точках на бесконечности, как в двукруглая кривая. Видеть Лосось (1879 г., стр.231).
- двурогий
- А двурогий кривая с двумя вершинами.
- двустворчатый
- Наличие двух бугорков
- бидегри
- Пара целых чисел, задающая степени биоднородного многочлена от двух наборов переменных.
- биэллиптический
- 1. Биэллиптическая кривая - это разветвленное двойное покрытие эллиптической кривой.
- 2. Биэллиптическая поверхность - это то же самое, что и гиперэллиптическая поверхность.
- раздвоенный
- 1. Разделить на две равные части.
- 2. А двунаправленная карта является элементом векторного пространства размерности 2грамм над полем с 2 элементами, состоящим из 2грамм+ 1-мерное пространство подмножеств четной мощности множества S из 2 + 2грамм элементов по модулю одномерного пространства {0,S}. (Долгачев 2012, стр.215)
- 3. А бифидная замена представляет собой перестановку 28 битовых касательных кривой четвертой степени в зависимости от одного из 35 разложений 8 символов на два набора по 4 символа. Видеть Лосось (1879 г., стр.223).
- бифлекноз
- То же, что и fleflecnode. Видеть Лосось (1879 г., стр.210).
- Bigenus
- Второй Plurigenus п2 поверхности.
- биоднородный
- Однороден по каждому из двух наборов переменных, как в биоднородной форме.
- двоичный
- В зависимости от двух переменных, как в двоичная форма
- бинодальный
- Имея два узла
- бинод
- Двойная точка поверхности, касательный конус которой состоит из двух разных плоскостей. См. Unode. (Семпл и Рот 1949, стр.424)
- двудольный
- Имея два связанных компонента. Видеть Лосось (1879 г., с.165).
- двупунктурный
- 1. Имея два очка
- 2. Для бипунктуальной коники по 3 точкам см. Бейкер (1922b, том 2, с. 123).
- бирациональный
- 1. Два многообразия бирациональны, если они изоморфны подмножествам меньшей размерности.
- 2. А бирациональная карта рациональное отображение с рациональным «обратным»
- двурегулярный
- 1. А бирегулярная карта является правильным отображением с правильным обратным
- 2. Два многообразия бирегулярны, если существует бирегулярное отображение одного в другое, другими словами, если они изоморфны как абстрактные многообразия.
- прописанный
- И описанные, и вписанные, или, другими словами, имеющие вершины, лежащие на кривой, и стороны, которые касаются этой кривой, как в прописанном треугольнике. (Долгачев 2012)
- битангентный
- А битангентный прямая, касающаяся кривой в двух точках. Видеть Лосось (1879 г., п. 328).
- битангенциальный
- Встреча кривой в точках касания ее битангенсов
- Брианшон шестиугольник
- Непланарный шестиугольник, три диагонали которого пересекаются. (Бейкер 1922a, том 1, с. 47)
C
- канонический
- 1. Канонический ряд - это линейный ряд канонического линейного расслоения
- 2. Программа канонический пакет - линейное расслоение дифференциальных форм высшей степени.
- 3. В каноническая карта или же каноническое вложение отображение в проективное пространство сечений канонического расслоения
- 4. А каноническая кривая (или разнообразие) - это изображение кривой (или многообразия) под каноническим отображением
- 5. канонический класс класс дивизоров канонического дивизора
- 6. А канонический делитель является делителем сечения канонического линейного расслоения.
- каталектикант
- А каталектикант инвариант двоичной формы степени 2п который исчезает, когда форма является суммой степеней п линейные формы.
- едкий
- А едкий это огибающая световых лучей из точки, отраженных на кривой
- Кэли
- Cayleyan
- Названный в честь Артур Кэли
- 1. Лосось (1879) Видеть
- 2. А Кэли октад это набор из 8 точек в проективном пространстве, заданный пересечением трех квадрик. (Долгачев 2012, 6.3.1)
- 3. Линии Кэли или Кэли – Сэлмона - это 20 линий, проходящих через 3 точки Киркмана.
- 4. А Кейли абсолют коника или квадрика, используемые для определения метрики.
- центр
- центр
- 1. Особая точка, связанная с некоторым геометрическим объектом.
- 2. Центр перспективы
- 3. Центр изолога
- персонаж
- характеристика
- 1. Целое число, связанное с проективным многообразием, такое как его степень, ранг, порядок, класс, тип. (Семпл и Рот 1949, с.189) В частности Характеристики Плюккера кривой - это порядок, класс, количество узлов, количество битовых касательных, количество выступов и количество перегибов. (Кулидж 1931, стр.99)
- 2. Характеристический показатель - это показатель степени ряда с неотрицательным коэффициентом, который не делится на наибольший общий делитель предшествующих показателей с ненулевыми коэффициентами. (Кулидж 1931, стр.220)
- 3. Характеристический ряд линейной системы дивизоров на поверхности - это линейная система 0-циклов на одном из дивизоров, заданная его пересечениями с другими дивизорами.
- аккорд
- Линия, соединяющая две точки разнообразия
- хордовое разнообразие
- А хордовое разнообразие является объединением хорд и касательных пространств проективного многообразия
- круг
- Плоская коника, проходящая через бесконечно удаленные точки окружности. Для реальной проективной геометрии это очень похоже на круг в обычном смысле, но для сложной проективной геометрии это другое: например, циклы имеют базовые топологические пространства, заданные 2-сферой, а не 1-сферой.
- схема
- Компонент вещественной алгебраической кривой. Схема называется четное или же странный в зависимости от того, есть ли у него четное или нечетное количество пересечений с общей линией. (Кулидж 1931, п. 50)
- круговой
- 1. Круговая точка - это одна из двух бесконечно удаленных точек (1: я: 0), (1: −я: 0) через который проходят все круги
- 2. А круговая алгебраическая кривая - кривая, проходящая через бесконечно удаленные друг от друга две круговые точки. См. Также двукруглый.
- ограниченный
- 1. Если ребра касаются некоторой кривой, как в описанный четырехугольник.
- 2. Проходя через вершины чего-либо, как в описанный круг.
- циссоид
- А циссоид - кривая, образованная двумя кривыми и точкой. Видеть Лосось (1879).
- учебный класс
- 1. Класс плоской кривой - это количество собственных касательных, проходящих через общую точку плоскости. (Семпл и Рот 1949, стр.28)
- 2. Класс пространственной кривой - это количество соприкасающихся плоскостей, проходящих через общую точку пространства. (Семпл и Рот 1949, стр.85)
- 3. Класс поверхности в рмерное проективное пространство - это количество касательных плоскостей, пересекающих общее подпространство коразмерности 2 на прямой. (Семпл и Рот 1949, стр.28)
- 4. Степень контравариантности или конкомитантности в ковариантных переменных.
- коаксиальный
- коаксиальный
- Пучок окружностей называется коаксальным, если все их центры лежат на одной линии (называемой осью).
- Семейство плоских кругов, проходящих через одни и те же две точки (кроме круговых точек на бесконечности). (Бейкер 1922b, том 2, с. 66)
- совпадение
- 1. Квадрика совпадений - это квадрика, связанная с корреляцией, заданной геометрическим местом точек, лежащих в соответствующей гиперплоскости. (Семпл и Рот 1949, стр.8)
- 2. Неподвижная точка соответствия, другими словами, точка множества, соответствующая самой себе при соответствии. (Кулидж 1931, п. 126)
- коллинеарен
- На той же линии
- коллинеация
- А коллинеация является изоморфизмом одного проективного пространства в другое, часто в себя. (Семпл и Рот 1949, стр.6) См. корреляцию.
- полный
- 1. Линейный ряд делителей называется полным, если он не содержится в большем линейном ряду. (Семпл и Рот 1949, стр.351)
- 2. Схема называется полный если карта точки правильная
- 3. А полный четырехугольник это 4 точки и 6 линий, соединяющих пары
- 4. А полный четырехугольник 4 линии встречаются попарно в 6 точках
- 5. А полная коническая на плоскости представляет собой (возможно, вырожденную) конику вместе с парой (возможно, равных) точек на ней, если это двойная прямая
- сложный
- 1. (Существ.) A линейный комплекс, семейство прямых коразмерности 1 в семействе всех прямых в некотором проективном пространстве, в частности, 3-мерное семейство прямых в 3-мерном проективном пространстве. (Семпл и Рот 1949, стр.236) См. сравнение.
- 2. (Прилагательное.) Относится к комплексным числам.
- 3. Сложная группа (линия) - старое название для симплектическая группа.
- составной
- Редуцируемый (то есть наличие более одного несократимого компонента).
- раковина
- А раковина кривая, заданная циссоид круга и другой кривой. Видеть Лосось (1879).
- сопутствующий
- (Смешанный) конкомитант - это инвариантный однородный многочлен от коэффициентов формы, ковариантной переменной и контравариантной переменной. Другими словами, это (три) однородный многочлен на SV⊕V⊕V* для некоторого векторного пространства V, куда SV это некоторая симметричная степень V и V* его двойственный, инвариантный относительно специальной линейной группы V. На практике V часто имеет размерность 2. Степень, класс и порядок сопутствующего элемента являются его степенями в трех типах переменных. Сопутствующие факторы - это обобщения ковариантов, контравариантов и инвариантов.
- одновременный
- Встреча в точке
- конус
- 1. Объединение прямых, соединяющих алгебраическое множество с линейным алгебраическим множеством. Называется точка-конус, линия-конус, ... если линейный набор представляет собой точку, линию, ... (Семпл и Рот 1949, стр.18)
- 2. Подмножество векторного пространства, замкнутое относительно умножения на скаляры.
- конфигурация
- А конфигурация представляет собой конечный набор точек и линий (а иногда и плоскостей), обычно с равным количеством точек на линию и равным количеством линий на точку.
- конфокальный
- Имея такие же фокусы
- соответствие
- Семейство прямых в проективном пространстве такое, что существует ненулевое конечное число прямых, проходящих через общую точку (Семпл и Рот 1949, с.238, 288). См. Комплекс.
- конический
- А конический кривая степени 2. Сокращение от «коническое сечение», пересечение конуса с плоскостью.
- сопрягать
- 1. Сопряженная точка - это узел. (Лосось 1879, стр.23)
- 2. Сопряженная точка - это точка, лежащая на гиперплоскости, соответствующая другой точке с полярностью.
- 3. Сопряженная линия - это линия, содержащая точку, соответствующую другой прямой под полярностью (или плоско-конической). (Бейкер 1922b, том 2, с. 26)
- 4. Для гармоническое сопряжение видеть гармонию.
- Connex
- Соответствие между проективным пространством и двойственным ему.
- последовательный
- Бесконечно близко. Например, касательная к кривой - это линия, проходящая через две последовательные точки кривой, а фокусная точка - это пересечение нормалей двух последовательных точек.
- контравариантный
- 1. Биоднородный многочлен от двойственных переменных к Икс, у, ... и коэффициенты некоторой однородной формы в Икс, у, ... инвариантный относительно некоторой группы линейных преобразований. Другими словами, это биоднородный полином на SV⊕V для некоторого векторного пространства V, куда SV это некоторая симметричная степень V и V* его двойственный, инвариантный относительно специальной линейной группы V. На практике V часто имеет размерность не менее 3, потому что, когда она имеет размерность 2, они более или менее аналогичны ковариантам. Степень и класс контраварианта - это его степени по двум типам переменных. Контраварианты обобщают инварианты, являются частными случаями сопутствующих и в некотором смысле двойственны ковариантам.
- копланарный
- В том же самолете
- корреляция
- Изоморфизм проективного пространства к двойственному проективному пространству, часто к двойственному самому себе. Корреляция в проективном пространстве векторного пространства по существу такая же, как неособая билинейная форма в векторном пространстве, с точностью до умножения на константы. (Семпл и Рот 1949, стр.7)
- основной
- Видеть Лосось (1879 г., стр.131)
- переписка
- Переписка от Икс к Y является алгебраическим подмножеством Икс×Y
- сингулярный
- Имея такие же особенности
- пара
- Заказанная пара
- ковариантный
- 1. Биоднородный многочлен от Икс, у, ... и коэффициенты некоторой однородной формы в Икс, у, ... инвариантный относительно некоторой группы линейных преобразований. Другими словами, это биоднородный полином на SV⊕V* для некоторого векторного пространства V, куда SV это некоторая симметричная степень V и V* его двойственный, инвариантный относительно специальной линейной группы V. На практике V часто имеет размерность 2. Степень и порядок коварианта - это его степени по двум типам переменных. Коварианты обобщают инварианты и являются частными случаями конкомитантов и в некотором смысле двойственны контравариантам.
- 2. Многообразие, определяемое ковариантом. В частности, кривые, определяемые ковариантами Гессе или Штейнера кривой, называются ковариантными кривыми. (Кулидж 1931, стр.151)
- Преобразование Кремоны
- А Преобразование Кремоны является бирациональным отображением проективного пространства в себя
- перекрестное соотношение
- В перекрестное соотношение является инвариантом четырех точек проективной прямой.
- Crunode
- Crunode это архаичный термин для узла, двойной точки с различными касательными направлениями.
- кубический
- Степень 3, особенно проективное многообразие степени 3
- кубо-кубический
- Кубо-кубическое преобразование - это преобразование Кремоны, при котором гомалоиды преобразования и его обратного преобразования имеют степень 3. Семпл и Рот (1949, стр.179)
- изгиб
- Кривая вместе с вложением в проективное пространство.
- куспид
- А куспид - особая точка кривой, касательный конус которой есть прямая.
- куспидальный край
- Географическое место фокусных точек семейства самолетов (Семпл и Рот 1949, стр.85, 87)
- циклид
- А циклид - поверхность четвертой степени, дважды проходящая через абсолютную конику. (Семпл и Рот 1949, стр.141)
D
- децик
- разрушительный
- 1. (Прилагательное) Степень 10
- 2. (Существительное) Проективное многообразие 10-й степени.
- недостаток
- 1. Недостатком линейной системы является ее коразмерность в соответствующей полной линейной системе.
- 2. Недостаток D плоской кривой является приближением к ее роду, равному роду, когда все особые точки обычные, заданному формулой (п–1)(п–2)/2 –(а–1)(а–2)/2 – (б–1)(б–2) / 2 –..., где п степень кривой и а. б, ... - кратности его особых точек. (Семпл и Рот 1949, стр.30), (Лосось 1879, п. 28)
- степень
- 1. Число точек пересечения проективного многообразия с общим линейным подпространством дополнительной размерности.
- 2. Число точек дивизора на кривой
- Desargues
- Фигура или конфигурация Дезарга - это конфигурация из 10 линий и 10 точек в Теорема дезарга.
- десмическая система
- Десмическая система представляет собой конфигурацию из трех десмические тетраэдры.
- развивающийся
- 1. (Существительное) Одномерное семейство плоскостей в трехмерном проективном пространстве (Семпл и Рот 1949, стр.85).
- 2. (Существительное) Огибающая нормалей кривой
- 3. (Существительное) Сокращение от a разворачивающаяся поверхность, тот, который можно развернуть на самолет
- 4. касательная разворачивающаяся кривой - это поверхность, состоящая из ее касательных.
- 5. Плоский, как в разворачивающаяся поверхность
- дифференциал
- 1. Дифференциал первого рода - голоморфная 1-форма.
- 2. Дифференциал второго рода - это мероморфная 1-форма, у которой вычеты всех полюсов равны 0. Иногда разрешается иметь только один полюс, который должен иметь порядок 2.
- 3. Дифференциал третьего рода иногда представляет собой мероморфную 1-форму, в которой все полюсы простые (порядок 1). Иногда разрешается иметь только 2 полюса.
- директор
- В режиссерский кружок коники - это геометрическое место точек пересечения двух ортогональных касательных к конике. В более общем плане директор коник коники относительно двух точек определяется аналогично. (Бейкер 1922b, том 2, с. 26)
- директриса
- Прямая линия или, в более общем смысле, проективное пространство, связанное с некоторой геометрической конфигурацией, такой как направляющая конического сечения или директриса рационального нормального свитка
- дискриминант
- Инвариант (на векторном пространстве форм степени d в п переменных), которая обращается в нуль точно, когда соответствующая гиперповерхность в пп-1 единственное число.
- двойная кривая
- Одномерная особенность, обычно поверхности, кратности 2
- двойная точка
- 1. 0-мерная особенность кратности 2, например узел.
- Одна из двух точек, закрепленных инволюцией проективной прямой. (Бейкер 1922b, том 2, стр.3)
- двойная шестерка
- В Шлефли двойная шестерка конфигурация
- дуада
- Набор из двух точек
- двойной
- 1. В двойственный к проективному пространству - это множество гиперплоскостей, рассматриваемых как другое проективное пространство.
- 2. Программа двойная кривая плоской кривой - это множество ее касательных линий, рассматриваемых как кривая в дуальной проективной плоскости.
- 3. А двойной номер это число в форме а+ εб где ε имеет квадрат 0. Семпл и Рот (1949, стр.268)
E
- env
- Точка Эккардта
- An Точка Эккардта точка пересечения трех прямых на кубическая поверхность.
- эффективный
- Эффективный цикл или делитель - это цикл без отрицательных коэффициентов
- восторг
- Коллинеация, фиксирующая все точки на линии (называемая ее ось) и все прямые через точку на оси (называемую ее центром).
- одиннадцатиконечная коническая
- В одиннадцатиконечная коническая коника, содержащая 11 особых точек, связанных с четырьмя точками и прямой. (Бейкер 1922b, том 2, с. 49)
- встроенный
- Встроенная разновидность - это разновидность, содержащаяся в большем разнообразии, иногда называемое окружающим разнообразием.
- Enneaedro
- Набор из 9 трех касательных плоскостей к кубической поверхности, содержащей 27 линий.
- конверт
- Кривая, касательная к семейству кривых. Видеть Лосось (1879 г., п. 65).
- эпитрохоид
- An эпитрохоид - кривая, очерченная точкой диска, катящегося по другому диску. Лосось (1879)
- эквиаффин
- равноффинность
- Эквиаффинность - это эквиаффинное преобразование, означающее, что аффинное преобразование сохраняет область.
- эквиангармонический
- 1. Четыре точки, поперечное отношение которых (или ангармоническое отношение) является кубическим корнем из 1
- 2. Эквиангармоническая кубика - это кубическая кривая с j-инвариантный 0
- эквивалентность
- В теории пересечений многообразие положительной размерности иногда формально ведет себя так, как если бы оно было конечным числом точек; это число называется его эквивалентностью.
- эвектант
- Контравариант, определенный Сильвестром, в зависимости от инварианта. Видеть Лосось (1879 г., п. 184).
- эволюционировать
- An эволюционировать - огибающая нормальных линий плоской кривой. Видеть Лосось (1879 г., п. 40).
- исключительный
- 1. Соответствует чему-то меньшей размерности при бирациональном соответствии, как в исключительная кривая, исключительный делитель
- 2. An исключительная кривая на поверхности - это точка, соответствующая простой точке на другой поверхности при бирациональном соответствии. Это называется исключительная кривая первого рода если он превращается в точку другой поверхности, и исключительная кривая второго рода если он трансформируется в изгиб другой поверхности.
F
- факультативный
- Факультативный пункт - это точка, в которой заданная функция положительна. (Лосось 1885, стр.243) [требуется проверка]
- первый вид
- голоморфный или регулярный (применительно к дифференциалам)
- плоский
- 1. (Существительное) Линейное подпространство проективного пространства, такое как точка, линия, плоскость, гиперплоскость.
- 2. (Прилагательное) Имея нулевую кривизну.
- 3. (Прилагательное) Относительно термина «плоский» в теории схем см. плоский модуль, плоский морфизм.
- флекнод
- Двойная точка, которая также является точкой перегиба одной ветви. (Кэли 1852). (Лосось 1879, стр.210)
- флефлекнод
- Двойная точка, которая также является точкой перегиба обеих ветвей. (Кэли 1852).
- сгибать
- Сокращение от точки перегиба
- фокус
- 1. Фокус, линия, плоскость, ... - это пересечение нескольких последовательных элементов семейства линейных подпространств. (Семпл и Рот 1949, п. 85, 252)
- 2. Фокальная кривая, поверхность и т. Д. - это геометрическое место фокальных точек семейства линейных подпространств. (Семпл и Рот 1949, стр.252)
- фокус
- Координатор. Видеть Лосось (1879 г., п. 116), (Семпл и Рот 1949, п. 85 251)
- слоистая особенность
- Видеть (Семпл и Рот 1949, стр.422)
- форма
- 1. Однородный многочлен от многих переменных. То же, что и количественный.
- 2. А дифференциальная форма.
- свободный перекресток
- Точка пересечения двух членов семейства, не являющаяся базовой точкой.
- Свобода
- Размер, как в степени свободы. (Семпл и Рот 1949, стр.26).
- фундаментальный
- Этот термин кажется двусмысленным и плохо определенным: Зариский утверждает: «Я не могу найти четкого определения фундаментальной кривой в литературе».
- 1. Фундаментальное множество или фундаментальное геометрическое место бирационального соответствия, по-видимому, означает (примерно) либо множество точек, где оно не является биекцией, либо множество точек, где оно не определено.
- 2. Фундаментальная точка, кривая или многообразие - это точка, кривая или многообразие в фундаментальном множестве бирационального соответствия.
грамм
- граммр
d, γр
d - Линейная или алгебраическая система делителей размерности р и степень d по кривой. Письмо грамм используется для линейных систем, а буква γ используется для алгебраических систем.
- генератор
- Одна из линий линейчатой поверхности (Семпл и Рот 1949, с.204) или вообще элемент некоторого семейства линейных пространств.
- общий
- 1. Отсутствие каких-либо особых свойств, которые обычно явно не указываются.
- 2. Общая точка - это точка, координаты которой алгебраически независимы над базовым полем.
- 3. В общая точка схемы.
- род
- 1. Размерность пространства сечений канонического расслоения, как в род кривой или геометрический род поверхности
- 2. арифметический род поверхности
- 3. Plurigenus
- геометрический род
- В геометрический род - размерность пространства голоморфных п-формируется на п-мерное неособое проективное многообразие.
- оценка
- Степень линейной системы делителей на п-мерное многообразие - это количество свободных точек пересечения п общие делители. В частности, степень линейного ряда делителей на кривой теперь называется степенью и представляет собой количество точек в каждом делителе (Семпл и Рот 1949, p.345), а степенью сети кривых на поверхности называется количество свободных пересечений двух кривых общего положения. (Семпл и Рот 1949, стр.45) (Семпл и Рот 1949, стр.159)
- Грассманиан
- А Грассманиан является многообразием, параметризующим линейные подпространства проективного пространства
- группа
- 1. А группа или же точечная группа - архаический термин для эффективного дивизора на кривой. Это использование особенно сбивает с толку, потому что некоторые такие делители называются нормальными, в результате чего существуют «нормальные подгруппы», не имеющие ничего общего с нормальными подгруппами теории групп. (Кулидж 1931)
- 2. А группа в обычном понимании.
(Семпл и Рот 1949, стр.iii)
ЧАС
- гармонический
- 1. Две пары точек на прямой являются гармоническими, если их поперечное отношение равно –1. Эти 4 точки называются гармонический набор, а точки одной пары называются гармонические конъюгаты по отношению к другой паре.
- 2. Гармоническая кубика - это эллиптическая кривая с j-инвариант 1728, заданный двойным покрытием проективной прямой, разветвленной в 4 точках с поперечным отношением –1.
- 3. Удовлетворение некоторого аналога Уравнение лапласа, как в гармонической форме.
- 4. гармоническая полярная линия точки перегиба кубической кривой является составляющая полярной коники, отличная от касательной. (Долгачев 2012, 3.1.2)
- 5. А гармоническая сеть - это набор точек на прямой, содержащий гармоническое сопряжение любой точки относительно любых других двух точек. (Бейкер 1922a, том 1, с. 133)
- 6. По поводу гармонически сопряженных коник см. (Бейкер 1922b, том 2, с. 122).
- Гессе
- Гессен
- Названный в честь Отто Гессе.
- 1. А Матрица Гессе, или разновидность, связанная с ним. Видеть Лосось (1879 г., стр.55).
- 2. Линия Гессе - это линия, связанная с 3 точками А, B, C, коники, содержащей три точки, заданные пересечениями касательных в А, B, C с линиями до н.э, CA, AB.
- 3. Точка Гессе - это точка, связанная с тремя прямыми, касающимися коники, конструкция которых двойственна построению прямой Гессе.
- 4. Гессенская пара или гессеновская дуада из трех точек на проективной прямой - это пара точек, фиксированных проективными преобразованиями порядка 3, переставляющими эти 3 точки. В более общем смысле пара Гессе также определяется аналогичным образом для троек точек рациональной кривой или троек элементов пучка.
- 5. Конфигурация Гессен - конфигурация точек перегиба плоской кубики.
- 6. Группа Гессен - группа автоморфизмов конфигурации Гессе порядка 216.
- гексад
- Набор из 6 очков
- гомалоид
- Элемент гомалоидальной системы, в частности образ гиперпанели под Преобразование Кремоны.
- гомалоидный
- 1. Гомалоидальная линейная система дивизоров - это линейная система степени 1, такая как образ линейной системы гиперплоскостей проективного пространства под действием Преобразование Кремоны. (Семпл и Рот 1949, стр.45) (Кулидж 1931, п. 442) Когда линейная система имеет размерность 2 или 3, она называется гомалоидная сеть или же гомалоидальная сеть.
- 2. Гомалоидальный означает подобие плоской плоскости.
- гомографический
- 1. Имеющие одинаковые инварианты. Видеть Лосось (1879 г., стр.232).
- 2. Гомографическое преобразование - это автоморфизм проективного пространства над полем, другими словами, элемент проективной полной линейной группы. (Лосось 1879, стр.283)
- омография
- 1. Изоморфизм проективных пространств, индуцированный изоморфизмом векторных пространств.
- 2. An ось омографии линия, связанная с двумя связанными диапазонами коники. (Бейкер 1922b, том 2, с. 16)
- гомология
- 1. Как в группа гомологии
- 2. Коллинеация, фиксирующая все линии через точку (центр) и все точки через линию (ось), не содержащую центра. Увидеть восторг. Эта терминология была введена Ли.
- 3. Автоморфизм проективного пространства с гиперплоскостью неподвижных точек (называемый ось). Это называется гармоническая гомология если он имеет порядок 2, и в этом случае он имеет изолированную неподвижную точку, называемую его центр.
- Кривая Гурвица
- Поверхность Гурвица
- А Кривая Гурвица комплексная алгебраическая кривая рода грамм> 0 с максимально возможным числом 84 (грамм–1) автоморфизмов.
- гиперболизм
- По сути, это раздутие кривой в точке. Видеть Лосось (1879 г., с.175).
- гиперкуссия
- Особенность кривой некоторой кратности р касательный конус которого представляет собой единственную линию, пересекающую кривую с порядком р+1. (Кулидж 1931, п. 18)
- гиперэллиптический
- А гиперэллиптическая кривая кривая с отображением степени 2 в проективную прямую.
- гиперфлекс
- То же, что и точка волнистости: точка кривой, в которой касательная линия имеет контакт порядка не менее 4.
- гипероскуляционная точка
- Точка, где касательное пространство встречается с порядком выше нормального.
- гиперплоскость
- Линейное подпространство проективного пространства коразмерности 1. То же, что и простое число.
я
- индекс специальности
- Размерность первой группы когомологий линейного расслоения дивизора D; часто обозначается как я или же я(D). Семпл и Рот (1949, стр.381)
- бесконечно близкая точка
- Пункт о взрыве разнообразия
- перегиб
- перегиб
- Перегиб - это точка, в которой кривизна исчезает, или, другими словами, касательная линия пересекается с порядком не менее 3. Дифференциальная геометрия использует немного более строгое условие: кривизна меняет знак в этой точке. Видеть Лосось (1879 г., п. 32)
- неполярная квадрика
- Видеть (Бейкер 1923, том 3, с. 52, 88)
- вписанный
- 1. Имея вершины на кривой, как в вписанная фигура.
- 2. По касательной к некоторым линиям, как в вписанный круг.
- интеграл
- Интеграл - это (более или менее) то, что сейчас называется замкнутой дифференциальной формой, или иногда результат интегрирования такой формы.
- 1. Интеграл первого рода - это голоморфная замкнутая дифференциальная форма.
- 2. Интеграл второго рода - это мероморфная замкнутая дифференциальная форма без вычетов.
- 3. Интеграл третьего рода - это мероморфная замкнутая дифференциальная форма, все полюсы которой простые.
- 4. Простой интеграл - это замкнутая 1-форма или результат интегрирования 1-формы.
- 5. Двойной интеграл - это замкнутая 2-форма или результат интегрирования 2-формы.
- инвариантный
- (Существительное) Многочлен от коэффициентов однородной формы, инвариантный относительно некоторой группы линейных преобразований. См. Также ковариантный, контравариантный, сопутствующий.
- инверсия
- An инверсия представляет собой преобразование порядка 2, меняющее местами внутреннюю и внешнюю части круга. Видеть Лосось (1879 г., стр.103).
- эвольвента
- An эвольвента - кривая, полученная путем разворачивания струны вокруг кривой. Видеть Лосось (1879 г., п. 278).
- инволюция
- 1. Преобразование, квадрат которого равен единице. Преобразования Кремоны инволюции включают Инволюции Бертини, Инволюции Гейзера, и Инволюции де Жонкьера.
- неправильность
- В неровность поверхности - размерность пространства голоморфных 1-форм на неособой проективной поверхности; видеть Номер Ходжа.
- изолог
- Учитывая преобразование кремомы Т, изолог точки п это набор точек Икс такой, что п, Икс, Т(Икс) коллинеарны. Смысл п называется центром изолога.
J
- Якобиан
- 1. В Якобиева многообразие кривой
- 2. Кривая Якоби; Смотри ниже
- Кривая якоби
- Геометрическое место двойных точек кривых сетки. (Семпл и Рот 1949, стр.115)
- Якобианский набор
- Множество свободных двойных точек пучка кривых. (Семпл и Рот 1949, стр.119)
- Якобиева система
- Линейная система, порожденная кривыми Якоби. (Семпл и Рот 1949, стр.117)
- присоединиться
- Соединение двух линейных пространств - это наименьшее линейное пространство, содержащее оба из них.
K
- кенотема
- Пересечение п гиперповерхности в п-мерное проективное пространство. (Сильвестр1853, Глоссарий стр. 543–548) Архаичный.
- кератоидный
- Рогоподобный. Кератоидный бугорок - это тот, у которого две ветви изгибаются в противоположном направлении; см. рамфоидный бугорок. Лосось (1879)
- Точка Киркмана
- Одна из 60 точек, лежащих на 3-х Линии Plücker связано с 6 точками на конике.
- Кляйн
- 1. Феликс Кляйн
- 2. Программа Икосаэдрическая поверхность Клейна некоторая кубическая поверхность
- 3. В Кляйн квартика кривая
- Индекс Кронекера
- В номер перекрестка двух кривых на поверхности
- Куммер поверхность
- Поверхность четвертой степени с 16 узлами
L
- Сетка Лагерра
- Чистая V плоских кривых некоторой степени d такое, что базисное геометрическое место общего пучка V является базовым местом V вместе с d–1 коллинеарная точка (Долгачев 2012, теорема 7.3.5) (Кулидж 1931, п. 423)
- лемниската
- Лемниската - это кривая, напоминающая фигуру 8. См. Лосось (1879 г., стр.42)
- Limaçon
- А Limaçon кривая, начерченная точкой на окружности, катящейся по аналогичной окружности. Видеть Лосось (1879 г., стр.43)
- линия
- Линия в проективном пространстве; другими словами, это подмногообразие степени 1 и размерности 1.
- координаты линии
- Проективные координаты. Видеть Лосось (1879 г., п. 7)
- линейный
- 1 степень
- линейная система
- А линейная система делителей, задаваемое нулями элементов векторного пространства сечений линейного расслоения
- локус
- 1-Подмножество проективного пространства, заданное точками, удовлетворяющими некоторому условию
M
- многообразие
- Алгебраическое многообразие - это цикл проективного пространства, другими словами, формальная линейная комбинация неприводимых подмногообразий. Алгебраические многообразия могут иметь особенности, поэтому лежащие в их основе топологические пространства не обязательно должны быть многообразиями в смысле дифференциальной топологии. Семпл и Рот (1949, стр.14–15)
- встретить
- Встреча двух множеств - это их пересечение.
- Тетрады Мебиуса
- Бейкер 1922a, том 1, с. 62) Две тетрады такие, что плоскость, содержащая любые три точки одной тетрады, содержит точку другой. (
- модель
- 1. Разновидность, точки которой (а иногда и участки гиперплоскости) соответствуют элементам некоторого семейства. Подобно тому, что сейчас называется пространством параметров или пространством модулей.
- 2. Модель расширения поля. K поля k является проективным многообразием над k вместе с изоморфизмом между K и его поле рациональных функций.
- модуль
- Функция алгебраических многообразий, зависящая только от типа изоморфизма; другими словами, функция на пространство модулей
- Тетрады Мебиуса
- Видеть # Тетрады Мебиуса
- моноид
- Поверхность степени п с точкой множественности п–1. (Семпл и Рот 1949, стр.187)
- моноидальное преобразование
- Преобразование Кремоны проективного пространства, порожденное семейством моноидов с одной и той же точкой кратности п–1. В более общем случае раздутие подмногообразия, называемое центром моноидального преобразования. (Семпл и Рот 1949, стр.187)
- несколько
- Множественная точка - это особая точка (точка с нерегулярным локальным кольцом).
- множественность
- Кратность точки на гиперповерхности - это степень первого ненулевого коэффициента ряда Тейлора в этой точке. В более общем плане можно определить множественность любой точки разнообразия как множественность ее местное кольцо. Точка имеет кратность 1 тогда и только тогда, когда она неособая.
N
- Группа Нерона – Севери
- В Группа Нерона – Севери - группа числовой эквивалентности модулей дивизоров.
- гнездо
- Говорят, что две компоненты (схемы) реальной алгебраической кривой вложены, если одна находится внутри другой. (Кулидж 1931)
- сеть
- 1. Двумерная линейная система. См. «Карандаш» и «паутина». См. Также сеть Лагерра.
- 2. Гармоническая сеть - это набор точек на прямой, содержащий гармоническое сопряжение любой точки относительно любых других двух точек. (Бейкер 1922a, том 1, с. 133)
- Многоугольник Ньютона
- Выпуклая оболочка точек с координатами, заданными показателями слагаемых многочлена.
- узловой
- Узловая касательная к особой точке кривой - это одна из линий ее касательный конус. (Семпл и Рот 1949, стр.26)
- узел
- А особая точка п гиперповерхности ж = 0, обычно с определителем гессиана ж не ноль в п. (Кэли 1852)
- узел куспид
- Особенность кривой, в которой узел и острие совпадают в одной точке. (Лосось 1879, п. 207)
- нормальный
- 1. Подмногообразие проективного пространства - это линейно нормальный если линейная система, определяющая вложение, полная; видеть рациональная нормальная кривая.
- 2. Ортогональная касательному пространству, например прямая, ортогональная касательному пространству или нормальный комплект.
- 3. Нормальное пересечение - это пересечение с «ожидаемой» коразмерностью (с учетом суммы коразмерностей). (Семпл и Рот, стр.16)
- 4. Локальные кольца неразрывно замкнуты; видеть нормальная схема.
- нулевая полярность
- Корреляция, заданная кососимметричной матрицей. Нулевая полярность проективного пространства векторного пространства по существу является невырожденной кососимметричной билинейной формой с точностью до умножения на скаляры. См. Также полярность. (Семпл и Рот 1949, стр.9)
О
- октада
- Набор из 8 очков
- окктический
- 1. (Прилагательное) Степень 8
- 2. (Существительное) Проективное многообразие степени 8
- омбилический
- Кривая в бесконечности который является пересечением любого сфера с плоскостью на бесконечности. Все точки омбилика нереальны.
- порядок
- 1. Сейчас называется степень алгебраического многообразия: количество точек пересечения с общим линейным подпространством дополнительной размерности. (Семпл и Рот 1949, стр.15)
- 2. Порядок ковариантного или сопутствующего: его степень в контравариантных переменных.
- 3. Порядок Преобразование Кремоны порядок (степень) его гомалоидов. (Семпл и Рот 1949, стр.46)
- обычный
- Обычная точка множественности м кривой - это один с м четкие касательные.
- осциллограф
- Двойная точка плоской кривой, которая также является точкой соприкосновения; Другими словами, две ветви встречаются по крайней мере для 3 (Кэли 1852)
- целоваться
- Целовать; встретиться с высоким заказом. Видеть Лосось (1879 г., п. 356).
- соприкасающаяся плоскость
- Касательная плоскость пространственной кривой, имеющая с ней контакт третьего порядка.
- внеполярная квадрика
- Видеть (Бейкер 1922b, том 2, с. 33) и (Бейкер 1923, том 3, с. 52)
п
- Паппус
- 1. Папп Александрийский.
- 2. Программа Конфигурация Pappus представляет собой конфигурацию из 9 линий и 9 точек, которая встречается в Теорема Паппа о шестиугольнике.
- параболическая точка
- Точка разнообразия, которая также лежит в гессене.
- параллельно
- 1. Встреча на линии или плоскости на бесконечности, как в параллельных прямых.
- 2. Параллельная кривая - это огибающая круга фиксированного радиуса, движущегося по другой кривой. (Кулидж 1931, стр.192)
- разделение
- Число компонент связности вещественной алгебраической кривой. Видеть Лосось (1879 г., с.165).
- Паскаль
- Короче для Линия Паскаля, прямая, определяемая 6 точками коники в Теорема Паскаля
- педаль
- В кривая педали из C относительно точки педали п это геометрическое место точек Икс так что линия через Икс ортогонален PX касается C. (Лосось 1879, стр.96)
- карандаш
- Одномерная линейная система. Видеть карандаш (математика) и Карандаш Лефшеца.
- пентада
- Набор из 5 баллов
- пентаэдр
- Союз 5 самолетов, в частности Пентаэдр Сильвестра кубической поверхности.
- период
- Интеграл от дифференциальной формы по подмногообразию
- перспективность
- Изоморфизм между двумя проективными линиями (или диапазонами) проективного пространства, при котором линии, соединяющие каждую точку одной линии с соответствующей точкой другой линии, проходят через фиксированную точку, называемую центром перспективы или перспективой.
- перспективный
- Центр перспективы
- перспектива
- Линия в Теорема дезарга на котором лежат пересечения пар сторон двух перспективных треугольников
- ущипнуть
- А защемления является особой точкой поверхности, где две касательные плоскости точки на двойной кривой совпадают в двойной плоскости, называемой плоскость защемления. (Семпл и Рот 1949, стр.175)
- пиппи
- Введен Кэли (1857). Теперь называется Cayleyan. См. Также quippian.
- Plücker
- 1. Характеристики Плюккера см. В характеристике
- 2. А Линия Plücker является одной из 15 прямых, содержащих 4 из 20 точек Штейнера, связанных с 6 точками на конике. Линии Плюккера пересекаются тройками на 60 точках Киркмана. (Долгачев 2012, стр.124)
- Plurigenus
- Множественное число Plurigenera
- В dth Plurigenus разнообразия - это размерность пространства секций d-я степень канонического линейного пучка.
- точка-звезда
- Семейство линий с общей точкой
- полярный
- 1. (Прилагательное) Связано полярностью
- 2. Полярная коника - это нулевой набор квадратичной формы, связанный с полярностью, или, что эквивалентно, набор самосопряженных точек полярности.
- 3. (Существительное) Первая полярная, вторая полярная и так далее - это разновидности степеней. п–1, п–2, ... образованный из точки и гиперповерхности степени п поляризацией уравнения гиперповерхности. (Семпл и Рот 1949, стр.11)
- 4. А полярный или же полярная линия прямая, соответствующая точке с полярностью проективной плоскости.
- полярность
- Корреляция, заданная симметричной матрицей, или корреляция периода 2. Полярность проективного пространства векторного пространства, по сути, является невырожденной симметричной билинейной формой с точностью до умножения на скаляры. См. Также нулевую полярность. (Семпл и Рот 1949, стр.9)
- столб
- 1. Точка, соответствующая гиперплоскости при полярности.
- 2. Особенность рациональной функции.
- полоконический
- полокубический
- полоквартик
- Полоконика (также называемая конической полярной) прямой на плоскости относительно кубической кривой - это геометрическое место точек, первая поляра которых касается этой прямой. (Долгачев 2012, п. 156–157)
- многоугольный
- Многоугольник (или k-угольная) кривая - это кривая вместе с отображением (степени k) к проективной прямой. Степень отображения называется гональностью кривой. Когда степень равна 1, 2 или 3, кривая называется рациональной, гиперэллиптической или тригональной.
- пористость
- 1. А пористость является следствием, особенно в геометрии, как в Пористость Понселе. Точное значение кажется спорным.
- 2. Расположение геометрических фигур (например, линий или кругов), вписанных в одну кривую и описанных вокруг другой, как в Пористость Понселе или же Пористость Штейнера. Кажется, есть некоторая путаница в том, относится ли «пористость» к геометрической конфигурации или к формулировке результата.
- пористый
- Либо не имея решений, либо бесконечно много (Семпл и Рот 1949, с.186). Например, Пористость Понселе и Поризм Штейнера подразумевают, что если есть один способ расположить линии или круги, то есть бесконечно много способов.
- постулированный
- Постулируемый объект (точка, линия и т. Д.) - это объект в некотором большем пространстве. Например, бесконечно удаленная точка проективного пространства является постулируемой точкой аффинного пространства. (Бейкер 1922a, том 1,[страница нужна])
- постулат
- Постулирование разнообразия для некоторой семьи - это количество независимых условий, необходимых для того, чтобы заставить элементы семейства содержать разнообразие. (Семпл и Рот 1949, стр.440)
- сила точки
- Лагер определил сила точки относительно алгебраической кривой степени п быть произведением расстояний от точки до точек пересечения с проходящей через нее окружностью, разделенных на п-я степень диаметра. Он показал, что это не зависит от выбора круга, проходящего через точку. (Кулидж 1931, стр.176)
- основной
- Старый термин для обозначения гиперплоскости в проективное пространство. (Семпл и Рот 1949, стр.1)
- первобытный
- Старый термин для проективная гиперповерхность. (Семпл и Рот 1949, стр.10)
- проективность
- Изоморфизм между двумя проективными линиями (или диапазонами). Проективность - это продукт не более чем трех перспектив.
- близость
- Число, зависящее от двух ветвей в точке, определяемое Кулидж (1931, п. 224).
- ближайший
- По поводу ближайших точек см. (Зарисский 1935, стр.9).
- чистый
- Все компоненты имеют одинаковые размеры. Сейчас называется равноразмерный. (Семпл и Рот 1949, стр.15)
Q
- квадратичное преобразование
- 1. Преобразование Кремоны степени 2. Стандартное квадратичное преобразование - это преобразование, аналогичное преобразованию, переводящему каждую координату в ее обратную.
- 2. Мономиальное преобразование с центром в точке, или, другими словами, раздутие точки.
- квадрика
- Степень 2, особенно проективное многообразие степени 2. Не следует путать с квантовой или квартикой.
- четырехугольник
- А четырехугольник это линия, встречающаяся с чем-то в четырех точках
- квадрокубическая, квадроквартирная
- Квадрокубическое или квадроквартирное преобразование - это преобразование Кремоны такое, что гомалоиды преобразования имеют степень 2, а гомалоиды его обратного - степень 3 или 4. (Семпл и Рот 1949, с.180, 188)
- количественный
- Однородный многочлен от нескольких переменных, теперь обычно называемый формой. Не путать с квартикой или квадрикой.
- квартовая
- Преобразование четвертичной квартиры - это преобразование Кремоны такое, что гомалоиды преобразования и его обратного преобразования имеют степень 4. (Семпл и Рот 1949, стр.187)
- четвертичный
- В зависимости от четырех переменных, как в четвертичной форме.
- квартика
- Степень 4, особенно проективное многообразие степени 4. Не следует путать с квантикой или квадрикой.
- квинтик
- Степень 5, особенно проективное многообразие степени 5.
- придирчивый
- А придирчивый является контравариантом степени 5 класса 3 плоской кубики, введенной Кэли (1857) и обсуждались Долгачева (2012 г., с.157). См. Также pippian.
- кольцо частного
- Фактор-кольцо точки (или, в более общем смысле, подмногообразия) - это то, что теперь называется ее местное кольцо, образованный добавлением инверсий ко всем функциям, которые не обращаются в нуль тождественно на нем.
р
- рамфоид
- Клювоподобный.Рамфоидный бугорок - это тот, у которого две ветви изгибаются в одном направлении; см. кератоидный бугорок. Лосось (1879 г., стр.46)
- классифицировать
- 1. Ранг проективной кривой - это количество касательных к кривой, пересекающих общее линейное подпространство коразмерности 2. (Семпл и Рот 1949, стр.84)
- 2. Ранг проективной поверхности - это ранг кривой, заданный пересечением поверхности с общей гиперплоскостью. (Семпл и Рот 1949, стр.193) Смотрите порядок, класс, вид.
- классифицировать
- 1. Набор всех точек на прямой. (Кокстер 1969, стр.242)
- 2. Помеченный или конечный упорядоченный набор точек на прямой.
- рациональный
- 1. Бирациональное проективное пространство.
- 2. Определены рациональные числа.
- луч
- Линия, особенно одна из семейства линий
- обычный
- 1. Регулярная поверхность - это поверхность, неправильность равно нулю.
- 2. Отсутствие особенностей; видеть обычное местное кольцо.
- 3. Симметричный, как в правильный многоугольник, правильный многогранник.
- 4. Определено всюду, как в регулярном (бирациональном) отображении.
- Regulus
- Один из двух пучков прямых на произведении двух проективных плоскостей или квадратичной поверхности.
- Два диапазона (помеченные наборы) точек на прямой называются связанными, если существует проекция, переводящая один диапазон в другой.
- представительный коллектор
- Пространство параметров или пространство модулей для некоторого семейства многообразий
- остаточный
- Остаточное пересечение двух разновидностей состоит из «неочевидной» части их пересечения.
- результирующий
- 1. В результирующий двух полиномов, заданных определителем Матрица Сильвестра двух бинарных форм, которая исчезает, если у них общий корень.
- 2. А Преобразование Кремоны сформированный из п корреляции п-мерное проективное пространство. (Семпл и Рот 1949, стр.180)
- обеспечить регресс
- Обратный (функции или бирационального отображения)
- управлял
- Покрыты линиями, как в линейчатая поверхность. См. Также прокрутку.
S
- Sп
- Проективное пространство размерности п.
- Лосось конический
- Коника Салмона пары плоских коник - это геометрическое место точек таких, что пары касательных к двум коникам гармонически сопряжены. (Долгачев 2012, п. 119)
- спутник
- 1. Если прямая пересекает кубическую кривую в 3 точках, все остаточные пересечения касательных этих точек с кубикой лежат на прямой, называемой спутниковой линией исходной прямой. Видеть Лосось (1879 г., п. 127).
- 2. Некоторая плоская кривая степени (п–1)(п–2), построенный по плоской кривой степени п и общая точка. (Кулидж 1931, п. 159–161)
- 3. По поводу спутниковых точек см. (Зарисский 1935, стр.8). Возможно, что-то связано с базовыми точками.
- прокрутка
- А линейчатая поверхность с вложением в проективное пространство, так что линии линейчатой поверхности также являются линиями проективного пространства.
- секущий
- 1. Линия, пересекающая разнообразие в 2 точках, или, как правило, п-мерное проективное пространство, встречающее множество п+1 балл.
- 2. Секущая разновидность - это объединение секущих разновидности.
- второй вид
- Все остатки на полюсах равны нулю
- второй
- Пересечение двух простых чисел (гиперплоскостей) в проективном пространстве. (Семпл и Рот 1949, стр.2)
- Сегре
- 1. Названный в честь Бениамино Сегре или же Коррадо Сегре
- 2. А Сегре сорт или же Сегре встраивание является произведением двух проективных пространств или вложением этого в большее проективное пространство.
- 3. В Сегре кубический является кубической гиперповерхностью в 4-мерном проективном пространстве.
- самосопряженный
- самополярный
- 1. Инцидент с его изображением под полярностью. В частности, самосопряженные точки полярности образуют полярную конику.
- 2. Самосопряженный (или самополярный) треугольник (или триада) - это треугольник, каждая вершина которого соответствует противоположному краю под полярностью.
- 3. Самосопряженная тетрада - это набор из 4 точек, полюс каждой стороны которого лежит на противоположной стороне. (Долгачев 2012, стр.123)
- септический
- септимик
- 1. (Прилагательное) Степень 7
- 2. (Существительное) Проективное многообразие степени 7
- 3. (Существительное) Форма 7 степени
- секстактическая точка
- Одна из 27 точек эллиптической кривой порядка 6, но не 3 (Лосось 1879, стр.132)
- секстический
- Степень 6, особенно проективное многообразие степени 6
- просто
- Простая точка многообразия - это неособая точка. В более общем плане простое подмногообразие W разнообразия V есть кольцо с правильным локальным кольцом, что примерно означает, что большинство точек W простые точки V.
- единственное число
- В некотором роде особенный, включая, но не ограничиваясь этим, нынешнее ощущение уникальности
- перекос
- Пересечение в наборе, который либо пуст, либо имеет «ожидаемое» измерение. Например, косые линии в проективном 3-пространстве не пересекаются, а косые плоскости в проективном 4-пространстве пересекаются в точке.
- твердый
- Трехмерное линейное подпространство проективного пространства, или, другими словами, трехмерный аналог точки, линии или плоскости. (Семпл и Рот 1949, стр.4)
- специальный делитель
- Эффективный дивизор, первая группа когомологий которого (присоединенного обратимого пучка) отлична от нуля.
- колючка
- Куспид. (Кэли 1852), Лосось (1879 г., стр.23)
- звезда
- Набор линий (а иногда и плоскостей и т. Д.) С общей точкой, называемой центром звезды. (Бейкер 1922a, том 1, с. 109)
- стационарный пункт
- Куспид. Видеть Лосось (1879 г., стр.23).
- Штайнер
- Штейнериан
- 1. Назван в честь Якоб Штайнер
- 2. А Штейнериан - геометрическое место особых точек полярных квадрик гиперповерхности. Лосось (1879)
- 3. А Поверхность Штейнера является некоторым вложением проективной плоскости в проективное 3-пространство.
- 4. Точка Штейнера - одна из 20 точек, лежащих на 3-х Линии Паскаля связано с 6 точками на конике.
- Штайнера-Гессена
- Одно из имен Кэли для Cayleyan. Видеть Лосось (1879 г., п. 352).
- поверхность
- Абстрактная поверхность вместе с вложением в проективное пространство.
- сверхизбыток дивизора на поверхности.
- Размерность первой группы когомологий соответствующего пучка.
- симроид
- Нули определителя симметричной матрицы линейных форм
- синтема
- Разбиение набора из 6 элементов на 3 пары, или элемент симметричной группы на 6 точках формы цикла 222. (Долгачев 2012)
- система
- Семейство алгебраических множеств в проективном пространстве; например, линейная система - это семейство линий.
- сизигетический
- Парный. Противоположно непарному, то есть непарному. Пример: сизигетическая триада, сизигетическая тетрада, сизигетический набор, сизигетический карандаш.
- сизигия
- 1. Точка находится в сизигии с некоторыми другими точками, если она находится в порожденном ими линейном подпространстве. (Бейкер 1922a, том 1, с. 33) Сизигия - это линейное отношение между точками аффинного пространства.
- 2. Алгебраическая связь между образующими кольца, особенно кольца инвариантов или ковариантов.
- 3. Линейное отношение между генераторами модуля или, в более общем смысле, элементом ядра гомоморфизма модулей.
- 4. Глобальная сизигия - это разрешение модуля или пучка.
Т
- такнод
- А такнод точка кривой, где две ветви пересекаются в одном направлении. (Кэли 1852)
- тактовый узел
- Особенность плоской кривой, в которой тактовый узел и куспид совмещены в одной точке. (Лосось 1879, стр.207)
- тактично-инвариантный
- Инвариант двух кривых, исчезающий при касании друг друга. Видеть Лосось (1879 г., стр.76).
- касательный конус
- А касательный конус - конус, определяемый ненулевыми членами наименьшей степени в ряду Тейлора в точке гиперповерхности.
- тангенциальное уравнение
- Касательное уравнение плоской кривой - это уравнение, задающее условие касательной прямой к кривой. Другими словами, это уравнение двойственной кривой. Это не уравнение касательной к кривой.
- тройной
- В зависимости от трех переменных, как в троичная форма
- тетрада
- Набор из 4 точек
- тетраграмма
- Синоним для полный четырехугольник
- тетраэдроид
- А тетраэдроид особый вид Куммер поверхность.
- тетраэдр
- Геометрическая конфигурация, состоящая из 4 точек и 6 линий, соединяющих пары. Это похоже на прямые и бесконечные ребра многогранника. тетраэдр, но в алгебраической геометрии иногда не включают грани тетраэдра.
- тетрастигм
- Синоним для полный четырехугольник
- третий вид
- Все столбы простые (заказ 1)
- тройной
- 1. (Прилагательное) Трехмерный
- 2. (Существительное) Трехмерное разнообразие
- торсальный генератор.
- Генератор свитка (линейчатая поверхность), который встречает свой последовательный генератор. Видеть (Семпл и Рот 1949, с.204).
- торс
- Развивающаяся поверхность.
- трансвектант
- Инвариант, зависящий от двух форм.
- поперечный
- Линия, встречающаяся с несколькими другими линиями. Например, 4 общие прямые в проективном 3-пространстве имеют 2 трансверсали, пересекающие их все.
- триада
- Набор из 3 точек
- трехкруглый
- А трехугольная кривая - это тот, который проходит через бесконечно удаленные круговые точки с порядком 3.
- трехстворчатый
- Имея три куспида
- тригональный
- Тригональная кривая - это кривая с отображением третьей степени в проективную линию. См. Гиперэллиптический.
- трехгранный
- Набор из 3 плоскостей Трехгранник Штейнера - это набор из трех трех касательных плоскостей кубической поверхности, точка пересечения которых не находится на поверхности. (Семпл и Рот 1949, стр.152)
- трилинейные координаты
- Координаты, основанные на расстоянии от сторон треугольника: Трилинейные координаты.
- трехвалентный
- Имея три узла
- трехсторонний
- Имея три связанных компонента. Лосось (1879 г., стр.165)
- трисекант
- Линия, встречающая разнообразие в 3-х точках. Видеть трисекантная идентичность.
- трогательный
- Встреча с чем-то в трех точках касания, например, с трехкасательной конической к кубической кривой или с трех касательной плоскостью к кубической поверхности.
- троп
- А троп - особое (то есть специальное) касательное пространство. (Кэли 1869, с.202) Это слово чаще всего используется для обозначения касательного пространства Куммер поверхность касаясь его по конусу.
- скрученный
- А витая кубическая является вложением степени 3 проективной прямой в проективное 3-пространство
- общий
- Набор из 5 разделов набора из 6 элементов на три пары, так что никакие два элемента из общего числа не имеют общих пар. Например, {(12) (36) (45), (13) (24) (56), (14) (26) (35), (15) (23) (46), (16) (25) (34)} (Долгачев 2012)
- тип
- Тип проективной поверхности - это количество касательных плоскостей, пересекающих общее линейное подпространство коразмерности 4. (Семпл и Рот 1949, стр.193)
U
- волнистость
- Точка волнистости кривой - это место, где касательная пересекает кривую четвертого порядка; также называется гиперфлексом. См. Точку перегиба. (Лосось 1879, стр.35, 211)
- одноцветный
- Имея только одну ветвь в точке. Например, острие плоской кривой одноранговое, а узел - нет.
- уникурсальный
- Уникурсальная кривая - это кривая, которая рациональный, другими словами, бирационально к проективной прямой. Видеть Лосось (1879 г., п. 29).
- неделимый
- Связаны. Видеть Лосось (1879 г., стр.165)
- унирациональный
- 1. Соответствие называется унирациональным, если оно инъективно в общем случае, другими словами, рациональным отображением. (Семпл и Рот 1949, стр.20)
- 2. Сорт называется унирациональный если оно конечно покрывается рациональным многообразием.
- единая точка
- Точка на пересечении диагонали и соответствия множества самому себе.
- unode
- Двойная точка поверхности, касательный конус которой состоит из одной двойной плоскости. См. Биноде.
V
- валентность
- валентность
- Валентность или валентность соответствия Т на кривой число k такие, что делители Т(п)+кП все линейно эквивалентны. Соответствие не обязательно должно иметь валентность. (Семпл и Рот 1949, стр.368)
- Веронезе поверхность
- Вложение проективной плоскости в 5-мерное проективное пространство.
- виртуальный
- Оценка чего-то, что часто, но не всегда верно, например виртуального рода, виртуального измерения и т. Д. Если какое-то число задается размерностью пространства сечений некоторого пучка, соответствующее виртуальное число иногда задается соответствующей эйлеровой характеристикой и равно размерности, когда все высшие группы когомологий обращаются в нуль. Смотрите сверхизобилие.
W
- сеть
- Трехмерная линейная система. См. «Сетка» и «карандаш». (Семпл и Рот 1949, стр.160)
- Поверхность клина
- Поверхность квартики в проективном пространстве, заданная геометрическим местом вершины конуса, проходящего через 6 точек общего положения.
- Точка Вейерштрасса
- Точка на кривой, в которой размерность пространства рациональных функций, единственной особенностью которой является полюс некоторого порядка в этой точке, больше нормальной.
- Wirtinger sextic
- полный четырехугольник. Плоская кривая степени 4 рода 6 с узлами в 6 точках кривой
XYZ
- Инвариант Цойтена – Сегре
- В Инвариант Цойтена – Сегре на 4 меньше эйлеровой характеристики неособой проективной поверхности.
Смотрите также
- Глоссарий алгебраической геометрии
- Глоссарий арифметики и диофантовой геометрии
- Словарь коммутативной алгебры
- Глоссарий дифференциальной геометрии и топологии
- Глоссарий теории инвариантов
- Глоссарий римановой и метрической геометрии
- Глоссарий теории схем
- Список комплексных и алгебраических поверхностей
- Список поверхностей
- Список кривых
Рекомендации
- Бейкер, Генри Фредерик (1922a), Принципы геометрии. Том 1. Основы, Коллекция Кембриджской библиотеки, Издательство Кембриджского университета, Дои:10.1017 / CBO9780511718267.007, ISBN 978-1-108-01777-0, МИСТЕР 2849917
- Бейкер, Генри Фредерик (1922b), Принципы геометрии. Том 2. Геометрия плоскости, коники, окружности, неевклидова геометрия., Коллекция Кембриджской библиотеки, Издательство Кембриджского университета, Дои:10.1017 / CBO9780511718298.009, ISBN 978-1-108-01778-7, МИСТЕР 2857757
- Бейкер, Генри Фредерик (1923), Принципы геометрии. Том 3. Твердая геометрия. Квадрики, кубические кривые в пространстве, кубические поверхности., Коллекция Кембриджской библиотеки, Издательство Кембриджского университета, ISBN 978-1-108-01779-4, МИСТЕР 2857520
- Бейкер, Генри Фредерик (1925), Принципы геометрии. Том 4. Высшая геометрия. Являясь иллюстрацией полезности рассмотрения высшего пространства, особенно четырех и пяти измерений, Коллекция Кембриджской библиотеки, Издательство Кембриджского университета, ISBN 978-1-108-01780-0, МИСТЕР 2849669
- Бейкер, Генри Фредерик (1933a), Принципы геометрии. Том 5. Аналитические основы теории кривых., Коллекция Кембриджской библиотеки, Издательство Кембриджского университета, ISBN 978-1-108-01781-7, МИСТЕР 2850139
- Бейкер, Генри Фредерик (1933b), Принципы геометрии. Том 6. Введение в теорию алгебраических поверхностей и высших множеств., Коллекция Кембриджской библиотеки, Издательство Кембриджского университета, ISBN 978-1-108-01782-4, МИСТЕР 2850141
- Кэли, Артур (1852), «Об особенностях поверхностей», Кембриджский и Дублинский математический журнал, 7: 166
- Кэли, Артур (1857), «Воспоминания о кривых третьего порядка», Философские труды Лондонского королевского общества, Королевское общество, 147: 415–446, Дои:10.1098 / рстл.1857.0021, ISSN 0080-4614, JSTOR 108626
- Кэли, Артур (1869), "Воспоминания о теории взаимных поверхностей", Философские труды Лондонского королевского общества, Королевское общество, 159: 201–229, Дои:10.1098 / рстл.1869.0009, ISSN 0080-4614, JSTOR 108996
- Кулидж, Джулиан Лоуэлл (1931), Трактат об алгебраических плоских кривых, Oxford University Press, ISBN 978-0-486-49576-7, МИСТЕР 0120551
- Кокстер, Гарольд Скотт Макдональд (1969), Введение в геометрию (2-е изд.), Нью-Йорк: Джон Уайли и сыновья, ISBN 978-0-471-50458-0, МИСТЕР 0123930
- Долгачев, Игорь В. (2012), Классическая алгебраическая геометрия: современный взгляд (PDF), Издательство Кембриджского университета, ISBN 978-1-107-01765-8, заархивировано из оригинал (PDF) на 2014-05-31, получено 2012-04-06
- Хадсон, Р. В. Х. Т. (1990), Куммера поверхность четвертой степени, Кембриджская математическая библиотека, Издательство Кембриджского университета, ISBN 978-0-521-39790-2, МИСТЕР 1097176
- Джессоп, Чарльз Миншолл (1916), Поверхности четвертой степени с особыми точками, Издательство Кембриджского университета, ISBN 978-1-112-28262-1
- Лосось, Джордж (1879) [1852], Трактат о кривых высшей плоскости, Нью-Йорк: Ходжес, Фостер и Фиггис, ISBN 978-1-4181-8252-6, МИСТЕР 0115124
- Шуберт, Герман (1886), "Умереть п-dimensionalen Verallgemeinerungen der Fundmentalen Anzahlen unseres Raums ", Mathematische Annalen, Springer Berlin / Heidelberg, 26: 26–51, Дои:10.1007 / BF01443568, ISSN 0025-5831
- Семпл, Джон Г.; Рот, Леонард (1949), Введение в алгебраическую геометрию, Oxford Science Publications, The Clarendon Press Oxford University Press, ISBN 978-0-19-853363-4, МИСТЕР 0814690
- Сильвестр, Джеймс Джозеф (1853), "К теории сизигетических отношений двух рациональных интегральных функций, включающей приложение к теории функций Штурма и наибольшей общей алгебраической меры" (PDF), Философские труды Лондонского королевского общества, Королевское общество, 143: 407–548, Дои:10.1098 / рстл.1853.0018, ISSN 0080-4614, JSTOR 108572
- Зариски, Оскар (1935), Алгебраические поверхности, Классика по математике, Берлин, Нью-Йорк: Springer-Verlag, Дои:10.1007/978-3-642-61991-5, ISBN 978-3-540-58658-6, МИСТЕР 1336146