Детским рисунком называется граф, вложенный в поверхность и
разрезающий её на объединение дисков. Тривалентные рисунки
параметризуются классами смежности подгрупп модулярной группы
PSL_2(Z). Модулярная группа вкладывается в расширенную модулярную
группу EPSL_2(Z) как подгруппа индекса два слов чётной длины в
алфавите образующих элементов. Действие расширенной модулярной группы
на верхней комплексной полуплоскости индуцирует её триангуляцию,
которая вместе с раскраской вершин в три цвета называется
универсальным детским рисунком. Универсальный детский рисунок
двойственен графу Кэли EPSL_2(Z), а фактор-рисунки двойственны графу
Кэли соответствующей фактор-группы. В докладе будут описаны указанные
конструкции и приведены показательные примеры малых порядков.
|