От кръговете до безкрайността: Как един въпрос на древен грък ни накара да пренапишем математиката от нулата

Математиците откриха генералния ключ: едно-единствено изчисление отключва отговорите в безкрайно много светове.

През III в. пр.н.е. Аполоний от Перга поставя прост, но фундаментален въпрос: колко кръга могат да се начертаят така, че всеки да докосва три зададени в една точка? Правилният отговор – осем – е категорично доказан едва хилядолетие и половина по-късно. Подобни задачи, при които се изисква да се пресметне броят на конфигурациите, отговарящи на геометрични условия, съпътстват математиката през цялата ѝ история. Колко прави линии лежат върху една кубична повърхност? Колко квадратни криви лежат върху една квинтична крива? Конкретните числа – 27 и 609 250 – днес се смятат за класически, но зад тях стои цяла област, известна като изчислителна геометрия.

Същността на тези задачи е преброяване на обектите, описани със система от уравнения, и дори елементарните примери бързо водят до тънкости. Да вземем две окръжности на една плоскост. Колко допирателни могат да се начертаят към двете? Стига те да са разделени и да не се пресичат, се получават четири прави. Ако ги пресечем „както в диаграмата на Вен“, ще има две; а ако поставим малката окръжност изцяло вътре в голямата, няма да има никакви решения. Броят на отговорите се променя прекъснато по време на пренарежданията и това усложнява общия подход: невъзможно е да се изброят всички случаи за сложните системи, а алгебричният подход не показва къде точно се е променило решението.

Тази нестабилност изчезва, ако разгледаме задачата върху полето на комплексните числа. Комплексното число се състои от реална и имагинерна част; в такъв контекст броят на решенията изглежда фиксиран и не зависи от разположението на началните данни. Поради тази причина към началото на XX век са разработени методи, които позволяват систематично да се решават широк кръг от енумеративни задачи в комплексната област: всяка изчислена стойност е автоматично валидна за всички конфигурации. Ако обаче се ограничим до областта на реалните числа или целите числа – още по-малко до крайните полета – инвариантността се губи и отново възникват множество частни случаи.

В края на 19-ти и началото на 20-ти век Дейвид Хилбърт включва в списъка си с ключови математически проблеми задачата за обосновано разработване на методите на изчислителната геометрия. През 60-те и 70-те години на ХХ век идеите на Александър Гротендик и неговата школа радикално обновяват алгебричната геометрия: появяват се схеми, категории и теорията на мотивните хомотопии. Това е нов език за описване на решенията като специални пространства и отношенията между тях. Инструментариумът е толкова абстрактен и мощен, че традиционните проблеми на изброяването са изместени на заден план. Интересът за кратко се върна през 90-те години на ХХ век благодарение на теорията на струните: много физични въпроси бяха сведени до преброяване на криви от даден тип, описващи световни листове от струни. Когато тази вълна утихна, темите, свързани с преброяването, отново отстъпиха място на други направления.

Повратният момент настъпи, когато Джеси Кас и Кирстен Викелгрен насочиха вниманието си към връзката с мотивната хомотопична теория. Помогнал им един исторически епизод: през 1977 г. Харолд Левин и Дейвид Айзенбад, работейки по друг проблем, се натъкнали на една квадратична форма – полином от втора степен – и открили, че желаната числена стойност се съдържа в нейната сигнатура, т.е. в разликата между броя на положителните и отрицателните компоненти. Десетилетия по-късно стана ясно: такъв обект естествено се описва на езика на мотивната хомотопия, където отговорите живеят в пръстена на Гротендик-Вит на съответното поле. Ако човек е в състояние да препише геометрична задача с тези термини, резултатът вместо прост брой решения е канонична квадратична форма, от която след това се извлича необходимата информация.

Алгоритъмът е конструиран по следния начин. Първо, конкретната задача за изброяване се заменя с конструкция от пространства от уравнения и съпоставки между тях. Това я въвежда в рамките на теорията на мотивните хомотопии и я свързва с елемент от пръстена на Гротендик-Вит GW(k), където k е базовото поле (комплексно, реално, крайно и т.н.). Този елемент се изразява чрез квадратична форма. След това се прилагат стандартните съпоставки от GW(k) към числените инварианти. За комплексните числа рангът на формата съвпада с броя на решенията, като се възпроизвежда класическият конфигурационно независим резултат. За реалните числа сигнатурата на формата е важна: тя определя така наречения „подписан брой“, който осигурява долната граница за действителния брой решения. За крайните полета и другите аритметични контексти от съществено значение са дискриминантата, класът на формата и свързаните с тях характеристики: те не винаги връщат пълния резултат, но предоставят обобщена информация за разпределението на решенията и допустимите конфигурации.

Значението на този подход е, че той е единен и не изисква анализ на всеки отделен случай. Вместо разнородни анализи има общо изкачване в мотивационната категория, където решението се фиксира чрез елемента GW(k), а след това от него се извличат познати числа чрез стандартни проекции. През 2017 г. методът беше демонстриран върху добре известната теорема за 27-те линии върху гладка кубична повърхнина: стана възможно да се докаже класически резултат за комплексните числа, да се възстанови долната граница за реалното поле и да се получат нови данни за всички крайни полета едновременно в рамките на едно изчисление. Всъщност за първи път едно изчисление обхваща различни бройни системи.

Причината, поради която на изхода се появяват квадратични форми, е свързана със структурата на мотивната хомотопия. Ключовите класове там съществуват в групи, естествено идентифицирани с пръстена на Гротендик-Вит на полето k. Събирането съответства на ортогоналната сума на формите, а умножението – на тензорното произведение. Оказва се, че геометричните пресечни точки и допирателни, лежащи в основата на изброените проблеми, се изразяват чрез точно такива алгебрични комбинации: локалният принос на всяка точка на решението се описва с малка квадратична форма, а глобалният отговор – със сумата им в GW(k). Следователно рангът, сигнатурата и дискриминантната стойност възникват като естествени числени проекции.

Този подход не е ограничен до областта на комплексните или реалните числа. Така например, когато разглеждаме аритметичен модул на простото p, класът в GW(ℤ/pℤ) фиксира начина, по който решенията са разпределени по видове. При някои проблеми е възможно да се изчисли точен брой, при други е възможно да се получат отношения, които разграничават допустимите конфигурации и изключват недопустимите. На практика това означава, че едно изчисление дава резултати едновременно за цял набор от полета, а не само за едно.

В исторически контекст тя е добре дошъл мост между традиционните проблеми за преброяване на кривите и повърхнините и абстрактните понятия, които определят развитието на алгебричната геометрия през последния половин век. Методът не елиминира сложните технически детайли, а ги осмисля: вместо безкрайно изброяване на конфигурациите се появява общ език, в който отговорът се фиксира в структурирана форма и след това се свежда до конкретно число чрез проекции в зависимост от избраната област.

Разбира се, остават трудности при интерпретацията: какъв вид информация за решенията кодира формата в този или онзи контекст, как да се разбират фините инварианти, какво означават ограниченията, получени за крайни полета. Тези въпроси се изследват активно: формулировките се усъвършенстват, установяват се съответствията между алгебричните обекти и геометричните конфигурации, а хипотезите се проверяват върху нови класове проблеми. Но главното вече се е получило: изчислителната геометрия отново се превърна в източник на значими резултати не само за сложния случай, но и за много числени среди наведнъж.

От особен интерес са връзките с физиката. Теорията на струните породи редица изброителни проблеми през 90-те години на миналия век, а сега тези въпроси могат да бъдат пренесени в нови области, като се получи по-голяма структура: вместо едно число – пълен инвариант в GW(k) с няколко проекции под формата на ранг, сигнатура и дискриминанта. Това разширява възможностите за проверка на дуалностите и съответствията, при които са важни не само количествените стойности, но и поведението им при преминаване между различните аритметични контексти.

За новото поколение изследователи е привлекателен балансът между конкретност и дълбочина. От една страна, формулировките остават визуални: линии, окръжности, криви върху повърхности. От друга страна, те са подкрепени от съвременен алгебричен апарат, който ни позволява да видим единната структура зад множеството частни факти. Именно това е имал предвид Хилберт, когато е призовал за строга основа на изброяващите методи: да не се премахва броят на решенията, а да се обясни защо изброяването е организирано по посочения начин и как една схема може да се прилага към различни числени области.

В резултат на това старият въпрос „Колко решения?“ престана да бъде сбор от несвързани случаи. Той се превърна в систематична процедура: геометрията се трансформира в мотивирана теория на хомотопиите, там се формира елемент от пръстена на Гротендик-Вит, а след това стандартните съпоставки връщат познатите числа за конкретна област. За комплексните числа това е абсолютната стойност; за реалните числа това е знаковият брой, който определя долната граница; за крайните полета това са инвариантите, описващи разпределението на конфигурациите. Този единен поглед е това, което съживи интереса към изчислителната геометрия, свързвайки древните проблеми, класическите резултати от XIX век и инструментите от XXI век.