Гомеоморфи́зм — непрерывная биекция с непрерывной обратной. Является центральным понятием топологии.
Крива́я или ли́ния — геометрическое понятие, определяемое в разных разделах математики различно.
Пространство Кала́би — Яу — компактное комплексное многообразие с кэлеровой метрикой, для которой тензор Риччи обращается в ноль. В теории суперструн иногда предполагают, что дополнительные измерения пространства-времени принимают форму 6-мерного многообразия Калаби — Яу, что привело к идее зеркальной симметрии. Название было придумано в 1985 году, в честь Эудженио Калаби, который впервые предположил, что такие размерности могут существовать, и Яу Шинтуна, который в 1978 году доказал гипотезу Калаби.
Тополо́гия Зари́сского, или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.
Однородное пространство неформально можно описать, как пространство, в котором все точки одинаковы, то есть существует симметрия пространства, переводящая любую точку в другую. Определение довольно общее и имеет несколько вариантов. Однородное пространство включает в себя пространства классической геометрии, такие как евклидово пространство, пространство Лобачевского, аффинное пространство, проективное пространство и другие.
Многообра́зие — локально евклидово пространство.
Пространственная форма — связное полное риманово многообразие постоянной секционной кривизны 
.
Когомологии де Рама — теория когомологий, основанная на дифференциальных формах, и применяемая в теориях гладких и алгебраических многообразий.
Трёхмерная сфе́ра — сфера в четырёхмерном пространстве. Состоит из множества точек, равноудалённых от фиксированной центральной точки в четырёхмерном евклидовом пространстве. Так же, как двумерная сфера, которая образует границу шара в трёх измерениях, 3-сфера имеет три измерения и является границей четырёхмерного шара.
Схе́ма — математическая абстракция, позволяющая связать алгебраическую геометрию, коммутативную алгебру и дифференциальную геометрию и переносить идеи из одной области в другую. В первую очередь понятие схемы позволяет перенести геометрическую интуицию и геометрические конструкции, такие как тензорные поля, расслоения и дифференциалы, в теорию колец. Исторически теория схем возникла с целью обобщения и упрощения классической алгебраической геометрии итальянской школы XIX века, занимавшейся исследованием полиномиальных уравнений.
Алгебраическое многообразие — центральный объект изучения алгебраической геометрии. Классическое определение алгебраического многообразия — множество решений системы алгебраических уравнений над действительными или комплексными числами. Современные определения обобщают его различными способами, но стараются сохранить геометрическую интуицию, соответствующую этому определению.
Четвёртая проблема Гильберта в списке проблем Гильберта касается базовой системы аксиом геометрии. Проблема состоит в том, чтобы
«Определить все с точностью до изоморфизма реализации систем аксиом классических геометрий, если в них опустить аксиомы конгруэнтности, содержащие понятия угла, и пополнить эти системы аксиомой неравенства треугольника».
Поверхность Веронезе — алгебраическая поверхность в пятимерном проективном пространстве, которая реализуется как образ вложения Веронезе. Существует также обобщение вложения Веронезе на произвольные размерности проективных пространств. Названа в честь итальянского математика Джузеппе Веронезе.
-многообразие — семимерное риманово многообразие с группой голономий или её подгруппой. Они имеют важное значение в теории струн, в частности в М-теории.
Ограничение скаляров — это функтор, который для любого конечного расширения поля L/k и любого алгебраического многообразия X над L даёт другое многообразие ResL/kX, определённое над k. Ограничение скаляров полезно для сведения вопросов о многообразиях над большими полями к вопросам о более сложных многообразиях над меньшими полями.
Теорема Богомолова о разложении описывает структуру кэлеровых многообразий с тривиальным каноническим расслоением. Справку о многообразиях такого типа можно найти в статье «Многообразие Калаби — Яу».
Маломерная топология — направление в топологии, изучающее многообразия или, в более общем смысле, топологические пространства четырёх или менее размерностей. В частности, к направлению относятся структурная теория 3-многообразий и 4-многообразий, теория узлов и теория кос. Направление можно рассматривать как часть геометрической топологии.
