Аналитическая геометрия классически изучает кривые через их локальные свойства: касательные, фокусы и кривизну. Однако при переходе к комплексным числам плоские алгебраические кривые раскрывают свою истинную, глобальную топологическую природу. Каждая алгебраическая кривая на комплексной проективной плоскости в действительности представляет собой замкнутую двумерную поверхность в четырехмерном пространстве (Риманову поверхность). Топология таких поверхностей полностью описывается одним единственным целым числом — родом (количеством «дыр» или «ручек»). Анализ связи между алгебраической степенью многочлена кривой и ее топологическим родом является одной из величайших вершин математики.

Сколько общих точек могут иметь две геометрические кривые? Для двух прямых ответ прост — одна. Для окружности и прямой — две. Но что произойдет, если мы будем пересекать кривые пятого и седьмого порядков? Французский математик Этьен Безу в конце XVIII века доказал фундаментальную теорему, которая стала краеугольным камнем алгебраической геометрии. Теорема Безу переводит топологическую задачу пересечения линий на язык строгой алгебры многочленов, задавая абсолютный верхний предел количества точек столкновения. Этот математический аппарат лежит в основе современной эллиптической криптографии и алгоритмов поиска столкновений сложных объектов в компьютерных симуляциях.

Геометрия Лобачевского, отрицающая Пятый постулат Евклида, долгое время оставалась абстрактной теорией. В поисках ее наглядного представления математики обращались к различным поверхностям, но подлинный аналитический триумф наступил с созданием проективной модели Бельтрами-Клейна. Феликс Клейн доказал, что неевклидову геометрию можно построить прямо на плоском листе бумаги внутри обычной окружности, используя аппарат проективной алгебры и двойных отношений. В этой модели прямые линии Лобачевского остаются абсолютно прямыми евклидовыи хордами, что делает ее идеальным инструментом для алгебраического доказательства теорем гиперболической планиметрии без искажения линейности пространства.