| n = 3, 8, 10, 14, 15, 21, 24, 26, 28, 35, 36... | (3) |
(вот они, «избранные показатели»! – Д. Ф.). На этом я остановился. Довольно недолго я разглядывал странную последовательность (3). Будучи в то время теоретиком-числовиком, я ничего в ней не увидел. Перегородки в сознании помешали мне заметить, что я неоднократно встречал эти числа в качестве физика. Попадись они мне на глаза в контексте какой-нибудь физической задачи, я бы, наверное, узнал в них размерности конечномерных простых алгебр Ли, если не считать число 26. Почему сюда попало 26 не знаю до сих пор».
Простите, я забыл, что вы не знаете, что такое простые алгебры Ли. Это неважно. Я постараюсь объяснить вам, что такое числа (3). Вспомните, что вращения плоскости вокруг фиксированной точки зависят от одного параметра – угла поворота. Вращения трёхмерного пространства зависят от трёх параметров – широты и долготы оси вращения и угла поворота. Вообще, «вращения» n-мерного пространства зависят от ½n(n – 1) параметров, а «вращения» n-мерного «комплексного пространства» – от n2 – 1 параметров. К числам ½n(n – 1) и n2 – 1 (то есть 1, 3, 6, 10, 15, 21, 28, ... и 3, 8, 15, 24, 35, ...) нужно присоединить пять «особых размерностей» 14, 52, 78, 133 и 248. Если ещё выбросить, как это и делает Дайсон, числа 1 и 6, получится последовательность (3), которую, конечно, твёрдо помнит любой физик-теоретик.
«Так я упустил возможность заметить глубокую связь между модулярными формами и алгебрами Ли только потому, что Дайсон теоретик-числовик не поговорил с Дайсоном физиком.
У этой истории счастливый конец. Неизвестный мне в то время английский математик Ян Макдональд получил эти же формулы, как частный случай более общей теории. Алгебры Ли входили в его теорию с самого начала, а связь с модулярными формами появилась нежданно-негаданно. Так или иначе, Макдональд выявил эту связь и использовал возможность, которую я упустил. Выяснилось также, что Макдональд находился в Институте высших исследований в Принстоне, когда мы оба работали над этой проблемой. Поскольку наши дочери учились в одном классе, мы виделись время от времени в течение всего его годичного пребывания в Принстоне. Но так как он был математиком, а я физиком, мы не говорили о своей работе. То, что мы думали над одним и тем же вопросом, находясь столь близко друг от друга, выяснилось лишь по его возвращении в Оксфорд. Вот упущенная возможность, но не столь драматичная, поскольку Макдональд прекрасно во всём разобрался и без моей помощи».
7. Заключение
Изложенная здесь теория совсем не ограничивается вычислением степеней функции Эйлера: имеется большое количество замечательных формул, в левой части которых стоят бесконечные произведения иного типа. Я надеюсь, что когда-нибудь вы пожелаете познакомиться с этим предметом более серьёзно. Напоследок я покажу вам ещё два тождества, которые Гаусс доказал одновременно с тождеством из п. 4:
| (1 – x)2(1 – x2)(1 – x3)2(1 – x4)(1 – x5)2(1 – x6)... = 1 – 2x + 2x4 – 2x9 + 2x16 – 2x25..., |
| (1 – x2)(1 – x4)(1 – x6)(1 – x8)... (1 – x)(1 – x3)(1 – x5)(1 – x7)... | = 1 + x + x3 + x6 + x10 + x15 + x21 + ... . |