Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем алгебраических уравнений. Современная алгебраическая геометрия во многом основана на методах общей алгебры (особенно коммутативной) для решения задач, возникающих в геометрии.
Основной объект изучения алгебраической геометрии — алгебраические многообразия, то есть геометрические объекты, заданные как множества решений систем алгебраических уравнений. Наиболее хорошо изучены алгебраические кривые: прямые, конические сечения, кубики (такие как эллиптическая кривая) и кривые более высоких порядков (примеры таких кривых — лемнискаты). Базовые вопросы теории алгебраических кривых касаются изучения «специальных» точек на кривой, таких как особые точки или точки перегиба. Более продвинутые вопросы касаются топологии кривой и отношений между кривыми, заданными дифференциальными уравнениями.
Современная алгебраическая геометрия имеет множественные взаимосвязи с самыми различными областями математики, такими как комплексный анализ, топология или теория чисел. Изучение конкретных систем уравнений с несколькими переменными привело к пониманию важности исследования общих внутренних свойств множеств решений произвольной системы алгебраических уравнений и, как следствие, к глубоким результатам во многих разделах математики.
Основной поток исследований в алгебраической геометрии XX века шёл при активном использовании понятий общей алгебры, с акцентом на «внутренних» свойствах алгебраических многообразий, не зависящих от конкретного способа вложения многообразия в некоторое пространство. Ключевым её достижением стала теория схем Александра Гротендика, позволившая применить теорию пучков к исследованию алгебраических многообразий методами, схожими с изучением дифференцируемых и комплексных многообразий. Это привело к расширению понятия точки: в классической алгебраической геометрии точку аффинного многообразия можно было определить как максимальный идеал координатного кольца, тогда как все точки соответствующей аффинной схемы являются простыми идеалами данного кольца. Точку такой схемы можно рассматривать и как обычную точку, и как подмногообразие, что позволило унифицировать язык и инструменты классической алгебраической геометрии. Доказательство Великой теоремы Ферма Эндрю Уайлсом стало одним из ярчайших примеров мощи такого подхода.