получится красиво вот, вот что такое кошерная комбинаторика!
http://mathoverflow.net/questions/96621/shimura-taniyama-weil-vs-grothendiecks-dessinsдетские рисунки последние несколько дней постоянно всплывают в голове.
поразительная область, причём непонятно, то ли это тяжёлый гроб и поэтому
никто ею не занимается (за 30 лет после письма Гротендика --- единичные результаты
и единичные конференции), то ли стал известен правильный взгляд на эти вещи,
и внимание сместилось на другую технику, а я не в курсе просто.
Причём попытки найти ответы на простейшие вопросы оканчиваются ничем. Например, первое,
что приходит в голову после знакомства с сюжетом --- надо написать программу, которая по
данной поверхности рисует её детский рисунок и даже вообще все рисунки из орбиты Галуа
(поверхность можно задвать, скажем, уравнением). Результатами работы програмы обклеить
стены в спальне.
Получится красиво!
Так вот, даже непонятно, какой алгоритм такое может делать.
Под алгоритмом понимается что-то, работающее целиком в терминах алгебры; то есть должна
быть функция, которой даёшь уравнение, а она выдаёт матрицу смежности.
Самое поразительное, что в паре шагов от этого круга идей обитают такие вещи как:
пространства модулей кривых, квантовые группы (работа Дринфельда по "группе
Гротендика-Тейхмюллера"), квантовые теории поля (гипотеза Виттена).