Алгебра путей Ливитта - Википедия - Leavitt path algebra

В математике Алгебра путей Ливитта - универсальная алгебра, построенная по ориентированному графу. Алгебры путей Ливитта обобщают Алгебры Ливитта и может также рассматриваться как алгебраические аналоги графовых C * -алгебр. Алгебры путей Ливитта были одновременно введены в 2005 г. Джин Абрамс и Гонсало Аранда Пино^[1] а также Пере Ара, Мария Морено и Энрике Пардо,^[2] ни одна из двух групп не знает о работе другой.^[3] Алгебры путей Ливитта были исследованы десятками математиков с момента их введения, и в 2020 году алгебры путей Ливитта были добавлены в Классификация предметов математики с кодом 16S88 по общей дисциплине ассоциативных колец и алгебр.^[4]

Терминология графа

В теории алгебр путей Ливитта для графов используется терминология, аналогичная терминологии C * -алгебраистов, которая немного отличается от терминологии, используемой теоретиками графов. Период, термин график обычно означает ориентированный граф ${ displaystyle E = (E ^ {0}, E ^ {1}, r, s)}$ состоящий из счетного множества вершин ${ displaystyle E ^ {0}}$ , счетное множество ребер ${ displaystyle E ^ {1}}$ , и карты ${ displaystyle r, s: E ^ {1} rightarrow E ^ {0}}$ идентифицируя диапазон и источник каждого края соответственно. Вершина ${ displaystyle v in E ^ {0}}$ называется раковина когда ${ Displaystyle s ^ {- 1} (v) = emptyset}$ ; т.е. в ${ displaystyle E}$ с источником ${ displaystyle v}$ . Вершина ${ displaystyle v in E ^ {0}}$ называется бесконечный эмиттер когда ${ displaystyle s ^ {- 1} (v)}$ бесконечно; т. е. существует бесконечно много ребер в ${ displaystyle E}$ с источником ${ displaystyle v}$ . Вершина называется особая вершина если это либо сток, либо бесконечный эмиттер, а вершина называется правильная вершина если это не особая вершина. Обратите внимание, что вершина ${ displaystyle v}$ правильно тогда и только тогда, когда количество ребер в ${ displaystyle E}$ с источником ${ displaystyle v}$ конечна и отлична от нуля. Граф называется рядный конечный если в нем нет бесконечных эмиттеров; т.е. если каждая вершина является либо правильной вершиной, либо стоком.

А дорожка конечная последовательность ребер ${ Displaystyle е_ {1} е_ {2} ldots е_ {п}}$ с ${ Displaystyle г (е_ {я}) = s (е_ {я + 1})}$ для всех ${ Displaystyle 1 Leq я Leq п-1}$ . An бесконечный путь - счетно бесконечная последовательность ребер ${ Displaystyle е_ {1} е_ {2} ldots}$ с ${ Displaystyle г (е_ {я}) = s (е_ {я + 1})}$ для всех ${ Displaystyle я в mathbb {N}}$ . А цикл это путь ${ Displaystyle е_ {1} е_ {2} ldots е_ {п}}$ с ${ Displaystyle г (е_ {п}) = s (е_ {1})}$ , и выход на цикл ${ Displaystyle е_ {1} е_ {2} ldots е_ {п}}$ край ${ displaystyle f in E ^ {1}}$ такой, что ${ Displaystyle s (е) = s (е_ {я})}$ и ${ displaystyle f neq e_ {i}}$ для некоторых ${ Displaystyle 1 Leq я Leq п}$ . Цикл ${ Displaystyle е_ {1} е_ {2} ldots е_ {п}}$ называется простой цикл если ${ Displaystyle s (е_ {я}) neq s (е_ {1})}$ для всех ${ Displaystyle 2 Leq я Leq п}$ .

Ниже приведены два важных условия графа, которые возникают при изучении алгебр путей Ливитта.

Состояние (L): Каждый цикл на графике имеет выход.

Условие (K): В графе нет вершины, находящейся ровно на одном простом цикле. Эквивалентно, граф удовлетворяет условию (K) тогда и только тогда, когда каждая вершина в графе либо не имеет циклов, либо находится на двух или более простых циклах.

Соотношения Кунца – Кригера и универсальное свойство

Исправить поле ${ displaystyle K}$ . А Кунц – Кригер ${ displaystyle E}$ -семья это коллекция ${ displaystyle {s_ {e} ^ {*}, s_ {e}, p_ {v}: e in E ^ {1}, v in E ^ {0} }}$ в ${ displaystyle K}$ -алгебра такая, что следующие три отношения (называемые Отношения Кунца – Кригера) удовлетворены:

(CK0) ${ displaystyle p_ {v} p_ {w} = { begin {cases} p_ {v} & { text {if}} v = w 0 & { text {if}} v neq w end { case}} quad}$ для всех ${ displaystyle v, w in E ^ {0}}$ ,

(CK1) ${ displaystyle s_ {e} ^ {*} s_ {f} = { begin {case} p_ {r (e)} & { text {if}} e = f 0 & { text {if}} e neq f end {case}} quad}$ для всех ${ displaystyle e, f in E ^ {0}}$ ,

(CK2) ${ displaystyle p_ {v} = sum _ {s (e) = v} s_ {e} s_ {e} ^ {*}}$ в любое время ${ displaystyle v}$ - правильная вершина, а

(CK3) ${ Displaystyle p_ {s (e)} s_ {e} = s_ {e}}$ для всех ${ displaystyle e in E ^ {1}}$ .

Алгебра путей Ливитта, соответствующая ${ displaystyle E}$ , обозначаемый ${ displaystyle L_ {K} (E)}$ , определяется как ${ displaystyle K}$ -алгебра, порожденная алгеброй Кунца – Кригера ${ displaystyle E}$ -семейство то есть универсальный в том смысле, что всякий раз, когда ${ displaystyle {t_ {e}, t_ {e} ^ {*}, q_ {v}: e in E ^ {1}, v in E ^ {0} }}$ Кунц – Кригер ${ displaystyle E}$ -семья в ${ displaystyle K}$ -алгебра ${ displaystyle A}$ существует ${ displaystyle K}$ -алгебр гомоморфизм ${ displaystyle phi: L_ {K} (E) to A}$ с ${ displaystyle phi (s_ {e}) = t_ {e}}$ для всех ${ displaystyle e in E ^ {1}}$ , ${ displaystyle phi (s_ {e} ^ {*}) = t_ {e} ^ {*}}$ для всех ${ displaystyle e in E ^ {1}}$ , и ${ displaystyle phi (p_ {v}) = q_ {v}}$ для всех ${ displaystyle v in E ^ {0}}$ .

Мы определяем ${ displaystyle p_ {v} ^ {*}: = p_ {v}}$ за ${ displaystyle v in E ^ {0}}$ , а для пути ${ Displaystyle альфа: = е_ {1} ldots е_ {п}}$ мы определяем ${ displaystyle s _ { alpha}: = s_ {e_ {1}} ldots s_ {e_ {n}}}$ и ${ displaystyle s _ { alpha} ^ {*}: = s_ {e_ {n}} ^ {*} ldots s_ {e_ {1}} ^ {*}}$ . Используя соотношения Кунца – Кригера, можно показать, что

${ displaystyle L_ {K} (E) = operatorname {span} _ {K} {s _ { alpha} s _ { beta} ^ {*}: alpha { text {and}} beta { text {пути в}} E }.}$

Таким образом, типичный элемент ${ displaystyle L_ {K} (E)}$ имеет форму ${ displaystyle sum _ {я = 1} ^ {n} lambda _ {i} s _ { alpha _ {i}} s _ { beta _ {i}} ^ {*}}$ для скаляров ${ displaystyle lambda _ {1}, ldots, lambda _ {n} in K}$ и пути ${ displaystyle alpha _ {1}, ldots, alpha _ {n}, beta _ {1}, ldots, beta _ {n}}$ в ${ displaystyle E}$ . Если ${ displaystyle K}$ это поле с инволюцией ${ displaystyle lambda mapsto { overline { lambda}}}$ (например, когда ${ Displaystyle К = mathbb {C}}$ ), то можно определить * -операцию на ${ displaystyle L_ {K} (E)}$ к ${ displaystyle sum _ {я = 1} ^ {n} lambda _ {i} s _ { alpha _ {i}} s _ { beta _ {i}} ^ {*} mapsto sum _ {i = 1} ^ {n} { overline { lambda _ {i}}} s _ { beta _ {i}} s _ { alpha _ {i}} ^ {*}}$ что делает ${ displaystyle L_ {K} (E)}$ в * -алгебру.

Более того, можно показать, что для любого графа ${ displaystyle E}$ , алгебра путей Ливитта ${ Displaystyle L _ { mathbb {C}} (E)}$ изоморфна плотной * -подалгебре графовой C * -алгебры ${ displaystyle C ^ {*} (E)}$ .

Примеры

Алгебры путей Ливитта были вычислены для многих графов, и в следующей таблице показаны некоторые конкретные графы и их алгебры путей Ливитта. Мы используем соглашение, согласно которому двойная стрелка, идущая из одной вершины в другую и помеченная ${ displaystyle infty}$ указывает, что существует счетное бесконечное количество ребер от первой вершины до второй.

Направленный график ${ displaystyle E}$	Алгебра путей Ливитта ${ displaystyle L_ {K} (E)}$
	${ displaystyle K}$ , основное поле
	${ Displaystyle К [х, х ^ {- 1}]}$ , то Полиномы Лорана с коэффициентами в ${ displaystyle K}$
	${ Displaystyle M_ {п} (К)}$ , то ${ Displaystyle п раз п}$ матрицы с записями в ${ displaystyle K}$
	${ displaystyle M _ { infty} {K}}$ , счетно индексированные, конечно поддерживаемые матрицы с элементами в ${ displaystyle K}$
	${ Displaystyle M_ {п} (К [х, х ^ {- 1}])}$ , то ${ Displaystyle п раз п}$ матрицы с записями в ${ Displaystyle К [х, х ^ {- 1}]}$
	в Алгебра Ливитта ${ Displaystyle L_ {K} (п)}$
	${ displaystyle M _ { infty} {K} ^ {1}}$ , унитизация алгебры ${ displaystyle M _ { infty} {K}}$

Соответствие графа алгебраическим свойствам

Как и в случае графовых C * -алгебр, теоретико-графовые свойства ${ displaystyle E}$ соответствуют алгебраическим свойствам ${ displaystyle L_ {K} (E)}$ . Интересно, что часто свойства графа ${ displaystyle E}$ которые эквивалентны алгебраическому свойству ${ displaystyle L_ {K} (E)}$ те же графические свойства ${ displaystyle E}$ которые эквивалентны соответствующему C * -алгебраическому свойству ${ displaystyle C ^ {*} (E)}$ , и, кроме того, многие свойства для ${ displaystyle L_ {K} (E)}$ не зависят от поля ${ displaystyle K}$ .

В следующей таблице представлен краткий список некоторых наиболее известных эквивалентов. Читатель может захотеть сравнить эту таблицу с соответствующая таблица для графовых C * -алгебр.

Собственностью ${ displaystyle E}$	Собственностью ${ displaystyle C ^ {*} (E)}$
${ displaystyle E}$ конечный граф.	${ displaystyle L_ {K} (E)}$ конечномерно.
Множество вершин ${ displaystyle E ^ {0}}$ конечно.	${ displaystyle L_ {K} (E)}$ является унитальным (т.е. ${ displaystyle L_ {K} (E)}$ содержит мультипликативное тождество).
${ displaystyle E}$ не имеет циклов.	${ displaystyle L_ {K} (E)}$ ультраматрический ${ displaystyle K}$ -алгебра (т. е. прямой предел конечномерных ${ displaystyle K}$ -алгебры).
${ displaystyle E}$ удовлетворяет следующим трем свойствам: Условие (L), для каждой вершины ${ displaystyle v}$ и каждый бесконечный путь ${ displaystyle alpha}$ существует направленный путь от ${ displaystyle v}$ к вершине на ${ displaystyle alpha}$ , и для каждой вершины ${ displaystyle v}$ и каждая особая вершина ${ displaystyle w}$ существует направленный путь от ${ displaystyle v}$ к ${ displaystyle w}$	${ displaystyle L_ {K} (E)}$ это просто.
${ displaystyle E}$ удовлетворяет следующим трем свойствам: Условие (L), для каждой вершины ${ displaystyle v}$ в ${ displaystyle E}$ есть путь от ${ displaystyle v}$ к циклу.	Каждый левый идеал ${ displaystyle L_ {K} (E)}$ содержит бесконечный идемпотент. (Когда ${ displaystyle L_ {K} (E)}$ просто это эквивалентно ${ displaystyle L_ {K} (E)}$ являясь чисто бесконечным кольцом.)

Оценка

Для пути ${ Displaystyle альфа: = е_ {1} ldots е_ {п}}$ мы позволяем ${ Displaystyle | альфа |: = п}$ обозначают длину ${ displaystyle alpha}$ . Для каждого целого числа ${ Displaystyle п в mathbb {Z}}$ мы определяем ${ displaystyle L_ {K} (E) _ {n}: = operatorname {span} _ {K} {s _ { alpha} s _ { beta} ^ {*}: | alpha | - | beta | = n }}$ . Можно показать, что это определяет ${ Displaystyle mathbb {Z}}$ -сортировка на алгебре путей Ливитта ${ displaystyle L_ {K} (E)}$ и это ${ Displaystyle L_ {K} (E) = bigoplus _ {п in mathbb {Z}} L_ {K} (E) _ {n}}$ с ${ displaystyle L_ {K} (E) _ {n}}$ являясь составной частью однородных элементов степени ${ displaystyle n}$ . Важно отметить, что оценка зависит от выбора генерирующего сигнала Кунца-Кригера. ${ displaystyle E}$ -семья ${ displaystyle {s_ {e}, s_ {e} ^ {*}, p_ {v}: e in E ^ {1}, v in E ^ {0} }}$ . Градуировка на алгебре путей Ливитта ${ displaystyle L_ {K} (E)}$ является алгебраическим аналогом калибровочное действие на графовой C * -алгебре ${ Displaystyle C * (E)}$ , и это фундаментальный инструмент для анализа структуры ${ displaystyle L_ {K} (E)}$ .

Теоремы единственности

Есть две хорошо известные теоремы единственности для алгебр путей Ливитта: градуированная теорема единственности и теорема единственности Кунца-Кригера. Они аналогичны, соответственно, калибровочно-инвариантная теорема единственности и теорема единственности Кунца-Кригера для графовых C * -алгебр. Формальные формулировки теорем единственности следующие:

Теорема градуированной единственности: Исправить поле ${ displaystyle K}$ . Позволять ${ displaystyle E}$ - граф, и пусть ${ displaystyle L_ {K} (E)}$ - ассоциированная алгебра путей Ливитта. Если ${ displaystyle A}$ оценивается ${ displaystyle K}$ -алгебра и ${ displaystyle phi: L_ {K} (E) to A}$ является гомоморфизмом градуированных алгебр с ${ displaystyle phi (p_ {v}) neq 0}$ для всех ${ displaystyle v in E ^ {0}}$ , тогда ${ displaystyle phi}$ инъективно.

Теорема единственности Кунца-Кригера: Исправить поле ${ displaystyle K}$ . Позволять ${ displaystyle E}$ - граф, удовлетворяющий условию (L), и пусть ${ displaystyle L_ {K} (E)}$ - ассоциированная алгебра путей Ливитта. Если ${ displaystyle A}$ это ${ displaystyle K}$ -алгебра и ${ displaystyle phi: L_ {K} (E) to A}$ является гомоморфизмом алгебр с ${ displaystyle phi (p_ {v}) neq 0}$ для всех ${ displaystyle v in E ^ {0}}$ , тогда ${ displaystyle phi}$ инъективно.

Идеальная структура

Мы используем термин идеал для обозначения «двустороннего идеала» в наших алгебрах путей Ливитта. Идеальная структура ${ displaystyle L_ {K} (E)}$ можно определить из ${ displaystyle E}$ . Подмножество вершин ${ displaystyle H substeq E ^ {0}}$ называется наследственный если для всех ${ displaystyle e in E ^ {1}}$ , ${ displaystyle s (e) in H}$ подразумевает ${ displaystyle r (e) in H}$ . Наследственное подмножество ${ displaystyle H}$ называется насыщенный если когда-нибудь ${ displaystyle v}$ является правильной вершиной с ${ Displaystyle s ^ {- 1} (v) substeq H}$ , тогда ${ displaystyle v in H}$ . Насыщенные наследственные подмножества ${ displaystyle E}$ частично упорядочены по включению и образуют решетку с ${ displaystyle H_ {1} клин H_ {2}: = H_ {1} cap H_ {2}}$ и присоединяйся ${ displaystyle H_ {1} vee H_ {2}}$ определяется как наименьшее насыщенное наследственное подмножество, содержащее ${ displaystyle H_ {1} чашка H_ {2}}$ .

Если ${ displaystyle H}$ - насыщенное наследственное подмножество, ${ displaystyle I_ {H}}$ определяется как двусторонний идеал в ${ displaystyle L_ {K} (E)}$ создано ${ displaystyle {p_ {v}: v in H }}$ . Двусторонний идеал ${ displaystyle I}$ из ${ displaystyle L_ {K} (E)}$ называется оцененный идеал если ${ displaystyle I}$ имеет ${ Displaystyle mathbb {Z}}$ -сортировка ${ Displaystyle I = bigoplus _ {п in mathbb {Z}} I_ {п}}$ и ${ displaystyle I_ {n} = L_ {K} (E) _ {n} cap I}$ для всех ${ Displaystyle п в mathbb {Z}}$ . Градуированные идеалы частично упорядочены по включению и образуют решетку с соответствием ${ displaystyle I_ {1} клин I_ {2}: = I_ {1} cap I_ {2}}$ и совместный ${ displaystyle I_ {1} vee I_ {2}}$ определяется как идеал, порожденный ${ displaystyle I_ {1} чашка I_ {2}}$ . Для любого насыщенного наследственного подмножества ${ displaystyle H}$ , идеал ${ displaystyle I_ {H}}$ оценивается.

Следующая теорема описывает, как градуированные идеалы ${ displaystyle L_ {K} (E)}$ соответствуют насыщенным наследственным подмножествам ${ displaystyle E}$ .

Теорема: Исправить поле ${ displaystyle K}$ , и разреши ${ displaystyle E}$ конечный по строкам граф. Тогда имеет место следующее:

Функция ${ Displaystyle H mapsto I_ {H}}$ является решеточным изоморфизмом решетки насыщенных наследственных подмножеств ${ displaystyle E}$ на решетку градуированных идеалов ${ displaystyle L_ {K} (E)}$ с инверсией, задаваемой ${ displaystyle I mapsto {v in E ^ {0}: p_ {v} in I }}$ .
Для любого насыщенного наследственного подмножества ${ displaystyle H}$ , частное ${ Displaystyle L_ {K} (E) / I_ {H}}$ является ${ displaystyle *}$ -изоморфен ${ displaystyle L_ {K} (E setminus H)}$ , куда ${ Displaystyle E setminus H}$ является подграфом ${ displaystyle E}$ с множеством вершин ${ displaystyle (E setminus H) ^ {0}: = E ^ {0} setminus H}$ и набор кромок ${ displaystyle (E setminus H) ^ {1}: = E ^ {1} setminus r ^ {- 1} (H)}$ .
Для любого насыщенного наследственного подмножества ${ displaystyle H}$ , идеал ${ displaystyle I_ {H}}$ эквивалентно Морита ${ displaystyle L_ {K} (E_ {H})}$ , куда ${ displaystyle E_ {H}}$ является подграфом ${ displaystyle E}$ с множеством вершин ${ displaystyle E_ {H} ^ {0}: = H}$ и набор кромок ${ displaystyle E_ {H} ^ {1}: = s ^ {- 1} (H)}$ .
Если ${ displaystyle E}$ удовлетворяет условию (K), то каждый идеал ${ displaystyle L_ {K} (E)}$ оценивается, и идеалы ${ displaystyle L_ {K} (E)}$ находятся во взаимно однозначном соответствии с насыщенными наследственными подмножествами ${ displaystyle E}$ .