Пространство Кала́би — Яу — компактное комплексное многообразие с кэлеровой метрикой, для которой тензор Риччи обращается в ноль. В теории суперструн иногда предполагают, что дополнительные измерения пространства-времени принимают форму 6-мерного многообразия Калаби — Яу, что привело к идее зеркальной симметрии. Название было придумано в 1985 году, в честь Эудженио Калаби, который впервые предположил, что такие размерности могут существовать, и Яу Шинтуна, который в 1978 году доказал гипотезу Калаби.
Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем алгебраических уравнений. Современная алгебраическая геометрия во многом основана на методах общей алгебры для решения задач, возникающих в геометрии.
Редуктивная группа — алгебраическая группа , для которой унипотентный радикал её компоненты единицы является тривиальным. Над незамкнутым полем редуктивность алгебраической группы определяется как редуктивность её над замыканием основного поля.
Трёхмерная сфе́ра — сфера в четырёхмерном пространстве. Состоит из множества точек, равноудалённых от фиксированной центральной точки в четырёхмерном евклидовом пространстве. Так же, как двумерная сфера, которая образует границу шара в трёх измерениях, 3-сфера имеет три измерения и является границей четырёхмерного шара.
Абелево многообразие — это проективное алгебраическое многообразие, являющееся алгебраической группой.
Алгебраическое многообразие — центральный объект изучения алгебраической геометрии. Классическое определение алгебраического многообразия — множество решений системы алгебраических уравнений над действительными или комплексными числами. Современные определения обобщают его различными способами, но стараются сохранить геометрическую интуицию, соответствующую этому определению.
Комплексная проективная плоскость — двумерное комплексное проективное пространство; является двумерным комплексным многообразием, его вещественная размерность равна 4.
Когерентные пучки — класс пучков, тесно связанных с геометрическими свойствами пространства-носителя. В определении когерентного пучка используется пучок колец, который хранит эту геометрическую информацию.
Proj — конструкция, аналогичная конструкции аффинных схем как спектров колец, с помощью которой строятся схемы, обладающие свойствами проективных пространств и проективных многообразий.
Классификация Энриквеса — Кодайры — это классификация компактных комплексных поверхностей на десять классов. Для каждого из этих классов поверхности этих классов можно параметризовать пространством модулей. Для большинства классов пространства модулей хорошо проработаны, но для класса поверхностей общего типа пространства модулей слишком сложны для явного описания, хотя некоторые компоненты известны.
Поверхность Хопфа — это компактная комплексная поверхность, получаемая как фактор комплексного векторного пространства C2 \ 0 по свободно действующей конечной группе. Если эта группа является группой целых чисел, поверхность Хопфа называется примарной, в противном случае — вторичной. Первый пример такой поверхности нашёл Хопф с дискретной группой, изоморфной группе целых чисел и генератором, действующим на C2 путём умножения на 2. Это был первый пример компактной комплексной поверхности без кэлеровой метрики.
Поверхность Иноуэ — это некоторые комплексные поверхности Кодайры класса VII. Поверхности названы именем Масахита Иноуэ, который привёл первые нетривиальные примеры поверхностей Кодайры класса VII в 1974.
Теорема Римана — Роха связывает комплексный анализ связных компактных римановых поверхностей с чисто топологическим родом поверхности g, используя методы, которые могут быть распространены на чисто алгебраические ситуации.
Торическое многообразие — алгебраическое многообразие, содержащее алгебраический тор в качестве открытого плотного подмножества, так что действие тора на себе умножением слева продолжается до действия на всём многообразии. Если многообразие является комплексным, то алгебраический тор — это . Обычно торические многообразия предполагают нормальными. Существует также параллельная теория, в которой вместо алгебраических многообразий используются симплектические.
Многообразие Эйнштейна — риманово или псевдориманово многообразие, тензор Риччи которого пропорционален метрическому тензору.
K3-поверхность — связная односвязная компактная комплексная поверхность, допускающая нигде не вырожденную голоморфную дифференциальную форму степени два. В алгебраической геометрии, где рассматриваются многообразия над полями иными, нежели комплексные числа, K3-поверхностью называется алгебраическая поверхность с тривиальным каноническим расслоением, не допускающая алгебраических 1-форм.
Характеристические классы — это далеко идущее обобщение таких количественных понятий элементарной геометрии, как степень плоской алгебраической кривой или сумма индексов особых точек векторного поля на поверхности. Более подробно они описаны в соответствующей статье. Теория Черна — Вейля позволяет представлять некоторые характеристические классы как выражения от кривизны.