Обратное, разумеется, неверно: из равенства двух инвариантов нельзя ничего заключить о равенстве исходных объектов. Но и такое частичное знание - уже хорошо. А полное счастье настанет, если все же удастся доказать обратное утверждение (иными словами, если избранный набор инвариантов будет однозначно задавать исходный объект). Гипотеза Ходжа - как раз одно из таких заманчивых утверждений. Если она окажется верной, изучение большого и сложного класса алгебраических многообразий (так называют множества, составленные из кусочков, каждый из которых является множеством решений каких-либо полиномиальных уравнений) фактически сведется к изучению гораздо более простых объектов.

Теперь о текущем статусе гипотезы. В предыдущих статьях мы говорили о гипотезе Римана и уравнении Навье-Стокса. В гипотезу Римана верят все математики. В единственность решения уравнений Навье-Стокса - тоже (по крайней мере, при достаточных для практических применений условиях). Гипотеза Ходжа выбивается из этого ряда. Долгое время верили, что она верна - но доказать это никак не удавалось. В последние годы многие математики предположили, что доказательство не удается найти просто потому, что гипотеза неверна - но контрпримеров пока построить тоже не удалось. Никаких численных экспериментов в этой задаче провести невозможно. Утверждение гипотезы доказано для ряда частных случаев, но на то они и частные. Если же контрпример будет построен, вряд ли он будет иметь очень простой вид. В общем, гипотеза Ходжа пока что открыта со всех сторон.