![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Теория детских рисунков, начало которой было положено Александром Гротендиком в период его работы в Монпелье (1970—1985), доставляет поразительную возможность визуализации арифметических объектов. Более того, оказывается, что вся арифметическая информация кодируется в простых комбинаторных образах; говоря техническим языком, соответствующие категории эквивалентны. Первый, а лучше сказать нулевой, случай эквивалентности подобного рода знаком каждому с раннего детства: счёт устанавливает эквивалентность между 0-мерными топологическими объектами (дискретными конечными пространствами) и натуральными числами. Насколько мне известно, размерность 1 пропускается современной математикой: мы не знаем арифметических объектов, соответствующих абстрактным конечным графам. Однако как только мы переходим от абстрактных графов к ленточным, или, что то же самое, фиксируем вложение графа в ориентируемую поверхность, мы обнаруживаем, что такой объект изображает сложную арифметическую структуру. Она называется парой Белого и включает в себя числовое поле, алгебраическую кривую над ним и специальную рациональную функцию — функцию Белого — на этой кривой. Точные определения и формулировки даны в нескольких работах настоящего сборника.