Крива́я или ли́ния — геометрическое понятие, определяемое в разных разделах математики различно.
Кривизна́ — собирательное название ряда характеристик, описывающих отклонение того или иного геометрического «объекта» от соответствующих «плоских» объектов.
Гипотеза Морделла — гипотеза о конечности множества рациональных точек на алгебраической кривой рода 
, выдвинутая Луисом Морделлом в 1922 году. Позже гипотеза была обобщена с поля 
рациональных чисел на произвольное числовое поле. Была доказана Гердом Фальтингсом в 1983 году и теперь также называется теоремой Фальтингса.
Алгебраическая кривая, или плоская алгебраическая кривая, — это геометрическое место (множество) точек на плоскости (O;x,y), которое определяется как множество нулей многочлена от двух переменных. Степенью (или порядком) n этой кривой называется степень этого многочлена. Алгебраические кривые степеней n = 1, 2, 3, …, 8 кратко называются прямыми, кониками, кубиками, квартиками, пентиками, секстиками, септиками, октиками соответственно. Например, единичная окружность — это алгебраическая кривая степени 2 (коника), так как она задаётся уравнением x2 + y2 − 1 = 0.
Поризм Понселе — классическая теорема проективной геометрии. Назван в честь Жан-Виктора Понселе.
Алгебраическое многообразие — центральный объект изучения алгебраической геометрии. Классическое определение алгебраического многообразия — множество решений системы алгебраических уравнений над действительными или комплексными числами. Современные определения обобщают его различными способами, но стараются сохранить геометрическую интуицию, соответствующую этому определению.
Фёдор Алексеевич Богомолов — советский и американский математик, известный своими работами по алгебраической геометрии и теории чисел.
Алгебраическая поверхность — это алгебраическое многообразие размерности два. В случае геометрии над полем комплексных чисел алгебраическая поверхность имеет комплексную размерность два, а потому имеет размерность четыре как гладкое многообразие.
Теорема о расщеплении — классическая теорема в римановой геометрии.
Теорема Гурвица об автоморфизмах ограничивает порядок группы автоморфизмов — сохраняющих ориентацию конформных отображений — компактной римановой поверхности рода g > 1, утверждая, что число таких автоморфизмов не может превышать 84(g − 1). Группа, для которой достигается максимум, называется группой Гурвица, а соответствующая поверхность Римана — поверхностью Гурвица. Поскольку компактные поверхности Римана являются синонимом неособых комплексных проективных алгебраических кривых, поверхность Гурвица может называться также кривой Гурвица. Теорема названа именем Адольфа Гурвица, который доказал её в 1893 году.
Модулярная кривая 
— это риманова поверхность или соответствующая алгебраическая кривая, построенная как фактор комплексной верхней половины плоскости H по конгруэнтной подгруппе 
модулярной группы целочисленных 2×2 матриц SL(2, Z). Термин модулярная кривая может также использоваться для ссылок на компактифицированные модулярные кривые 
, которые являются компактификациями, полученными добавлением конечного числа точек к фактору. Точки модулярной кривой параметризуют классы изоморфизмов эллиптических кривых, вместе с некоторой дополнительной структурой, зависящей от группы . Эта интерпретация позволяет дать чисто алгебраическое определение модулярных кривых без ссылок на комплексные числа, и, более того, доказывает, что модулярные кривые являются полем определения либо над полем Q рациональных чисел, либо над круговым полем. Последний факт и его обобщения имеют фундаментальную важность в теории чисел.
Многообразие Шимуры — аналог модулярной кривой в более высоких размерностях, который возникает как фактор эрмитова симметрического пространства по конгруэнтной подгруппе редуктивной алгебраической группе, определённой над Q. Термин «многообразие Шимуры» относится к высоким размерностям, в случае одномерных многообразий говорят о кривых Шимуры. Модулярные поверхности Гильберта и модулярные многообразия Зигеля находятся среди лучших известных классов многообразий Шимуры.
Теорема Римана — Роха связывает комплексный анализ связных компактных римановых поверхностей с чисто топологическим родом поверхности g, используя методы, которые могут быть распространены на чисто алгебраические ситуации.
Арифметическая группа — это группа, получаемая как целые точки алгебраической группы, например, 
Арифметические группы возникают естественным образом при изучении арифметических свойств квадратичных форм и других классических областей теории чисел. Они также являются источником для очень интересных примеров римановых многообразий, а потому представляют интерес для дифференциальной геометрии и топологии. Наконец, эти две области объединяются в теорию автоморфных форм, которая является фундаментальной в современной теории чисел.
Правильный икосаэдр имеет 60 вращательных симметрий и имеет порядок симметрии 120, включая преобразования, которые комбинируют отражение и вращение. Правильный додекаэдр имеет тот же набор симметрий, поскольку он двойственен икосаэдру.
Фуксова модель — это представление гиперболической римановой поверхности R как факторповерхности верхней полуплоскости H по фуксовой группе. Любая гиперболическая риманова поверхность позволяет такое представление. Концепция названа именем Лазаря Фукса.
K3-поверхность — связная односвязная компактная комплексная поверхность, допускающая нигде не вырожденную голоморфную дифференциальную форму степени два. В алгебраической геометрии, где рассматриваются многообразия над полями иными, нежели комплексные числа, K3-поверхностью называется алгебраическая поверхность с тривиальным каноническим расслоением, не допускающая алгебраических 1-форм.
Характеристические классы — это далеко идущее обобщение таких количественных понятий элементарной геометрии, как степень плоской алгебраической кривой или сумма индексов особых точек векторного поля на поверхности. Более подробно они описаны в соответствующей статье. Теория Черна — Вейля позволяет представлять некоторые характеристические классы как выражения от кривизны.
