Укротяване на безкрайността: Математици доказаха хипотезата на Маккей след 50 години опити

През 2003 година младата математичка Брита Спет, под ръководството на Гюнтер Мале започва работа по един от най-трудните нерешени проблеми в теорията на групите – хипотезата на Маккей. Първоначално тя очаква да докаже една или две теореми, които да помогнат за по-доброто разбиране на проблема, както са направили много математици преди нея, но самата хипотеза се оказва толкова вълнуваща, че определя целия ѝ бъдещ път в науката.

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

„Когато се опитах да се съсредоточа върху нещо друго, това просто не се получаваше.“

спомня си изследователката

Въпреки че обсебването от трудна задача можеше да навреди на академичната ѝ кариера, Спет решила да поеме риска. През годините тя се потапя дълбоко в изучаването на груповите представяния – най-важния клон на абстрактната алгебра. След като защитава дисертация, през 2010 година Спет започва работа в Парижкия университет, където се запознава с Марк Кабан, експерт по групите, които са ключови за доказателството. Първоначално Кабанес се отнася скептично към амбициозните планове на младата си колежка, но постепенно проблемът завладява и него – изследователите започват да работят заедно, по-късно създават семейство и дори поставят три черни дъски за математически изчисления вкъщи.

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

Историята познава много примери, когато това правило е сработило до съвършенство. Още през 3-ти век пр.н.е. гръцкият математик Ератостен успява да изчисли дължината на обиколката на Земята (около 40 хиляди километра) като измерва само сенките на слънцето в два града, разположени на разстояние около 800 километра един от друг.

Същата схема се използва и при изучаването на сложни функции: често е достатъчно да се анализира как се държи една функция за малък набор от входни стойности, за да се разбере поведението ѝ за всички възможни параметри. Концепцията, която Брита и Марк изучават предполага нещо подобно и за групите – едни от най-важните обекти в съвременната математика.

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

Автор на откритието, направено през 1972 година е Джон Маккей, изключителен математик от университета „Конкордия“, известен със способността си да открива неочаквани числови модели. Колегите му си спомнят за „блестящия, леко многословен и очарователно неорганизиран“ учен, който вече е станал известен с хипотезата за „чудовищната луна“ – тя установява изненадваща връзка между специална група симетрии и специални функции от теорията на числата.

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

За да разберем същността на изследването, нека си представим група от 72 елемента. Само по себе си числото 72 не казва почти нищо за структурата на групата – съществуват точно 50 различни групи с такъв размер и всички те могат да бъдат подредени по съвсем различен начин. Маккей обаче обръща внимание на начина, по който това число се разлага на прости множители: 72 = 2×2×2×2×2×3×3×3, или 2³×3².

Това означава, че разлагането е ключът към разбирането на вътрешната работа на групата. Всяко просто число в нея (в този случай 2 и 3) определя важна подгрупа. Групата може да се разпадне на по-малки части – подгрупи, чиито размери съответстват на мощностите на тези прости числа. В нашия пример това са подгрупи с осем (2³) и девет (3²) елемента.

Ученият проявява особен интерес към по-сложните структури – нормализаторите на Силов. Те се получават, като се вземе дадена подгрупа и към нея се добавят определени елементи от първоначалната група – тези, които взаимодействат с нея по специален начин. В множество от 72 елемента могат да се построят няколко такива нормализатора: някои от тях са свързани с подгрупи с размер осем (наричат се 2-нормализатори на Силов), други – с подгрупи с размер девет (3-нормализатори).

И така, Маккей е предложил нещо изненадващо: за да се изчисли най-важната характеристика на дадена група, е достатъчно да се разгледа един от нейните нормализатори на Силов.

И двата обекта ще имат точно една и съща характеристика. Това е броят на определени видове „представяния“ – начини за преписване на елементите на групата с помощта на числови матрици. Този показател не е просто статистика: той помага да се разбере как елементите на групата са свързани помежду си и участва в пресмятанията на други важни свойства.

На пръв поглед подобно съвпадение изглежда невъзможно. Един нормализатор може да съдържа по-малко от един процент от елементите на голяма група и да има напълно различна структура. Година след откриването на закономерността математикът Марти Айзъкс прави първата сериозна крачка – той доказва, че тя е вярна за голям клас групи, но по-нататък изследователите попадат в задънена улица. Те успели да покажат, че хипотезата работи за отделни групи, но все още имало безкрайно много непокрити случаи.

Следващият пробив настъпва през 2004 година и е свързан със завършването на огромен математически проект, върху който учените работят повече от век. Те най-накрая създават пълна класификация на всички прости крайни групи – основните структури, от които, подобно на тухлички може да се изгради всяка крайна група. След хиляди доказателства математиците стигнаха до изненадващ извод: всички такива „тухлички“ могат да бъдат разделени на четири вида.

Първите три типа образуват естествени семейства от групи с ясно изразени закономерности. Те включват циклични групи от прост ред, редуващи се групи и групи на Ли – специални структури, тясно свързани с геометричните симетрии. Останалите 26 групи обаче не се вписват в никаква система – изключителни случаи, всеки от които е уникален по своята същност.

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

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

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

Именно тук дълбоката интуиция на Спет била особено полезна. До 2018 година, заедно със съпруга си те доказват предположение за три от четирите категории на групите от типа на Ли. Последният случай отнел още 6 години.

„Четвъртият тип групи на Ли криеше толкова много трудности, толкова много неприятни изненади.“

спомня си Спет

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

През октомври 2023 година те представят доказателството пред повече от 100 математици, а година по-късно статията се появява в публичното пространство. Основната загадка обаче остава неразгадана: защо изобщо съществува такова странно съвпадение, наблюдавано от Маккей? Въпреки че вече знаем, че то съществува, изследователите все още не разбират защо такъв малък фрагмент може да ни каже толкова много за една голяма група.

Самата Брита Спет признава, че все още не е намерила задача, която да я завладее толкова много.

„Когато си направил нещо в такъв голям мащаб е трудно да намериш смелост и вълнение за следващата стъпка. Понякога това е била трудна борба, но това придаваше смисъл на всеки ден.“

казва тя