Еще раньше Грин и Шварц открыли, что в очень специальных случаях аномалии волшебным образом исчезают, но только если пространство-время имеет размерность 26 (в первом варианте теории, называемом бозонной теорией струн) или 10 (в позднейших модификациях). Почему? В вычислениях, относящихся к бозонной теории струн, математические слагаемые, которые могли бы создать аномалию, умножаются на d − 26, где d — размерность пространства-времени. Так что эти члены обращаются в нуль в точности когда d = 26. Аналогичным образом, в модифицированном варианте соответствующий множитель оказывается равным d − 10. Время всегда остается одномерным, но пространство требует дополнительных 6 или 22 измерений. Шварц выразил это так:

В 1984 году мы с Майклом Грином занимались вычислениями в одной из этих теорий суперструн с целью выяснить, действительно ли там появляется аномалия. То, что мы открыли, было удивительно. Мы нашли, что, вообще говоря, действительно имеется аномалия, делавшая теорию неудовлетворительной. Но имелась свобода в выборе конкретной симметрии, используемой уже в момент определения теории. На самом деле имелось бесконечно много возможностей выбора этих симметрий. Однако всего для одной из них аномалия магически сокращалась в формулах, тогда как для всех остальных не сокращалась. Таким образом, среди этой бесконечности возможностей оказалась выделенной одна-единственная, которая была потенциально непротиворечивой.

Если бы можно было не обращать внимания на неудобоваримые числа 10 и 26, это было бы восхитительное открытие. Оно подсказывало, что может иметься математическая причина, в силу которой пространство-время обладает вполне определенным числом измерений. Разочаровывал только тот факт, что число это — не четыре. Но то было только начало! Физики всегда задавались вопросом, почему пространство-время имеет ту размерность, которую мы видим; теперь же дело выглядело так, будто на этот вопрос можно найти ответ получше, чем «ну да, вообще-то размерность может быть любой, но в нашей вселенной она как раз равна четырем».

Возможно, другие теории могли бы привести к четырехмерному пространству-времени. Такая ситуация была бы идеальна, однако ничего в этом духе не сработало — необычные размерности отказывались убираться с дороги. Так что, может быть, они появляются по делу? В этом состояла старая идея Калуцы: пространство-время может иметь дополнительные размерности, которые мы просто не в состоянии наблюдать. Если так, то струны могли бы оставаться одномерными петлями, но такими, которые колеблются в более высокомерных пространствах, никаким иным способом не видимых. Квантовые числа, связанные с частицами, такие как заряд или очарование, могли бы определяться видом таких колебаний.

Фундаментальный вопрос состоял в том, как выглядят скрытые размерности. Какую форму имеет пространство-время?

Сначала физики надеялись, что дополнительные размерности образуют нечто простое, например, 6-мерный аналог тора. Но в 1985 году Филипп Канделас, Гари Хоровиц, Эндрю Строминджер и Виттен привели аргументы, показывающие, что самая подходящая форма дается так называемыми многообразиями Калаби-Яу. Имеются десятки тысяч таких геометрических форм; на рисунке схематично изображено типичное многообразие Калаби-Яу.

(Иллюстрация предоставлена Эндрю Дж. Хансоном, профессором университета Индианы)

Огромное преимущество многообразий Калаби-Яу состоит в том, что суперсимметрия 10-мерного пространства-времени наследуется получающимся из него обыкновенным четырехмерным пространством-временем.

Впервые исключительные группы Ли начали приобретать значительную роль на передних рубежах физики, и эта тенденция ускорялась. Около 1990 года представлялось, что имеется пять возможных типов теорий суперструн, причем все с пространством-временем размерности 10. Эти теории называются Тип I, Тип IIA и IIB, а также «гетеротические» типы HO и HE.