Dmitri Pavlov - Post a comment
( Read Comments )
TimeText
10:01 pm
[info]dmitri_pavlov

[Link]

Гомотопическая теория графов
Удивительное рядом.
Bisson и Tsemo опубликовали статью,
в которой они вводят нетривиальную модельную структуру на топосе ориентированных графов.

Категория ориентированных графов определяется как категория предпучков множеств на категории, состоящей
из двух объектов и двух параллельных стрелок между ними.
В частности, эта категория образует топос.
Более удивительно, что на этом топосе можно ввести нетривиальную кофибрантно
порождённую модельную структуру.
Расслоениями в этой структуре будут морфизмы графов, индуцирующие для каждой вершины и её образа
сюръекцию на множестве выходящих из них рёбер.
Корасслоениями будут вложения, получающиеся путём приклеивания к графу путём толчка нескольких
деревьев, растущих от корня.
Наконец, слабыми эквивалентностями будут морфизмы, индуцирующие биекцию на множестве циклов.

В этой модельной структуре граф будет фибрантным, если у него нет тупиков — вершин, из которых не выходят рёбра.
Кофибрантный граф — это в точности копроизведение произвольного набора конечных циклов, к которым
приклеены путём толчка несколько деревьев, растущих от корня.

Кофибрантной заменой будет копроизведение всех циклов в графе с очевидным морфизмом в этот граф.

У категории графов есть важная цепочка подкатегорий: полная подкатегория графов,
у которых из каждой вершины выходит ровно одно ребро, у которой есть полная подкатегория
графов, у которых в каждую вершину входит ровно одно ребро, у которой есть полная подкатегория
дискретных графов: у каждой вершины есть петля.
Между этими категориями есть несколько пар сопряжённых функторов,
которые не являются гомотопическими, но являются функторами Квиллена, и у них есть
тотальные производные функторы, вычисляющие нетривиальную информацию.

А вот забавная теорема: два конечных графа гомотопически эквивалентны в том и только в том случае,
если они почти изоспектральны, что равносильно совпадению дзета-функций этих графов.
Reply:
 
From:
(will be screened)
Identity URL: 
имя пользователя:    
Вы должны предварительно войти в LiveJournal.com
 
E-mail для ответов: 
Вы сможете оставлять комментарии, даже если не введете e-mail.
Но вы не сможете получать уведомления об ответах на ваши комментарии!
Внимание: на указанный адрес будет выслано подтверждение.
Username:
Password:
Subject:
No HTML allowed in subject
Message:



Notice! This user has turned on the option that logs your IP address when posting.
My Website Powered by LJ.Rossia.org