Странно извити форми опровергават 50-годишна геометрична хипотеза

Математиците опровергаха една от основните хипотези за връзката между кривина и форма.

Едно скорошно откритие в областта на топологията опровергава отдавнашно предположение и показва, че математическите форми могат да бъдат много по-сложни, отколкото се считаше досега.

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

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

През 1968 г. известният математик Д. Джон Милнър изказва предположението, че средната кривина на една пълна форма е достатъчна, за да се твърди, че тя не може да има безкрайно много дупки. През следващите 50 години много резултати подкрепиха това предположение. Но през 2020 г. Елиа Бруйе и колегите му откриват контрапример, като конструират нов тип топологична форма. Това откритие е значимо постижение в областта на математиката.

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

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

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

Повече от половин век по-късно обаче Бруйе, заедно с колегите си Аарон Набер и Даниеле Семола, доказва, че това предположение е невярно. След две години неуспешни опити да я докажат, те конструират странно седемизмерно многообразие с неотрицателна кривина на Ричи във всяка точка и безкраен брой дупки. Това откритие показа, че формите с неотрицателна кривина на Ричи могат да бъдат по-гъвкави и по-малко предсказуеми, отколкото се смяташе досега.

Резултатите от изследването на Бруйе, Набер и Семола показаха, че математическото разбиране на формите и техните свойства все още е далеч от пълното разбиране, което открива нови хоризонти за по-нататъшни изследвания.