Гипотеза Фаррелла – Джонса - Википедия - Farrell–Jones conjecture

В математике Гипотеза Фаррелла – Джонса,[1] названный в честь Ф. Томас Фаррелл и Лоуэлл Э. Джонс, заявляет, что некоторые карты сборки находятся изоморфизмы. Эти карты даны как определенные гомоморфизмы.

Мотивация - интерес к цели сборочных карт; это может быть, например, алгебраическая K-теория из групповое кольцо

или L-теория группового кольца

,

куда грамм некоторые группа.

Источниками сборочных карт являются эквивариантная теория гомологий оценивается на классификация пространства из грамм по отношению к семье практически циклические подгруппы из грамм. Предполагая, что гипотеза Фаррелла – Джонса верна, можно ограничить вычисления практически циклическими подгруппами, чтобы получить информацию о сложных объектах, таких как или же .

В Гипотеза Баума – Конна формулирует аналогичное утверждение для топологическая K-теория редуцированной группы -алгебры .

Формулировка

На любое кольцо можно найти эквивариантные теории гомологии удовлетворение

соответственно

Здесь обозначает групповое кольцо.

K-теоретическая гипотеза Фаррелла – Джонса для группы грамм заявляет, что карта индуцирует изоморфизм на гомологиях

Здесь обозначает классификация пространства группы грамм относительно семейства практически циклических подгрупп, т.е. грамм-CW-комплекс, чей группы изотропии виртуально циклические и для любой практически циклической подгруппы группы грамм то набор фиксированной точки является стягиваемый.

Теоретическая L-гипотеза Фаррелла – Джонса аналогична.

Вычислительные аспекты

Вычисление алгебраических K-групп и L-групп группового кольца мотивируется препятствиями, живущими в этих группах (см., например, Препятствие конечности стены, обструкция хирургии, Кручение белой головки ). Итак, предположим, что группа удовлетворяет гипотезе Фаррелла – Джонса для алгебраической K-теории. Предположим, что мы уже нашли модель для классифицирующего пространства для виртуально циклических подгрупп:

выбирать -pushouts и примените к ним последовательность Майера-Виеториса:

Эта последовательность упрощается до:

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

Почему семейство практически циклических подгрупп?

Можно также попытаться учесть, например, семейство конечных подгрупп. С этой семьей намного проще обращаться. Рассмотрим бесконечную циклическую группу . Модель для дается реальной линией , на котором свободно действует переводом. Используя свойства эквивариантной K-теории, получаем

В Разложение Басса-Хеллера-Свона дает

Действительно, проверяется, что карта сборки задана каноническим включением.

Значит, это изоморфизм тогда и только тогда, когда , что имеет место, если это обычное кольцо. Так что в этом случае действительно можно использовать семейство конечных подгрупп. С другой стороны, это показывает, что гипотеза об изоморфизме для алгебраической K-теории и семейства конечных подгрупп неверна. Необходимо распространить эту гипотезу на более широкое семейство подгрупп, которое содержит все контрпримеры. В настоящее время контрпримеры к гипотезе Фаррелла – Джонса не известны. Если есть контрпример, нужно расширить семейство подгрупп до большего семейства, которое содержит этот контрпример.

Наследование гипотез об изоморфизме

Класс групп, удовлетворяющих расслоенной гипотезе Фаррелла – Джонса, включает следующие группы

  • виртуально циклические группы (определение)
  • гиперболические группы (см. [2])
  • CAT (0) -группы (см. [3])
  • разрешимые группы (см. [4])
  • отображение групп классов (см. [5])

Кроме того, у класса есть следующие свойства наследования:

  • Замкнутый относительно конечных произведений групп.
  • Закрыт при взятии подгруппы.

Мета-гипотеза и гипотезы о расслоенном изоморфизме

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

Группа грамм удовлетворяет гипотезе о расслоенном изоморфизме семейства подгрупп F тогда и только тогда, когда для любого гомоморфизма групп группа ЧАС удовлетворяет гипотезе об изоморфизме семейства

.

Сразу видно, что в этой ситуации также удовлетворяет гипотезе о расслоенном изоморфизме семейства .

Принцип транзитивности

Принцип транзитивности - это инструмент для изменения семейства рассматриваемых подгрупп. Учитывая две семьи подгрупп . Предположим, что каждая группа удовлетворяет гипотезе о (расслоенном) изоморфизме относительно семейства .Тогда группа удовлетворяет гипотезе о расслоенном изоморфизме относительно семейства тогда и только тогда, когда он удовлетворяет гипотезе о (расслоенном) изоморфизме относительно семейства .

Гипотезы об изоморфизмах и гомоморфизмы групп

Для любого гомоморфизма групп и предположим, что G "'удовлетворяет гипотезе о расслоенном изоморфизме семейства F подгрупп. Тогда также H "'удовлетворяет гипотезе о расслоенном изоморфизме семейства . Например, если имеет конечное ядро ​​семейство согласуется с семейством практически циклических подгрупп группы ЧАС.

Для подходящих можно использовать принцип транзитивности, чтобы снова сократить семью.

Связь с другими предположениями

Гипотеза новикова

Есть также связи между гипотезой Фаррелла – Джонса и Гипотеза новикова. Известно, что если одна из следующих карт

рационально инъективно, то гипотеза Новикова верна для . См., Например,.[6][7]

Гипотеза Боста

Гипотеза Боста утверждает, что карта сборки

является изоморфизмом. Гомоморфизм колец индуцирует отображения в K-теории . Составив верхнюю карту сборки с этим гомоморфизмом, мы получим в точности карту сборки, встречающуюся в Гипотеза Баума-Конна.

Гипотеза Капланского

В Гипотеза Капланского предсказывает, что для области целостности и группа без кручения единственные идемпотенты в находятся . Каждый такой идемпотент дает проективный модуль, взяв образ правого умножения на . Следовательно, кажется, существует связь между гипотезой Капланского и исчезновением . Существуют теоремы, связывающие гипотезу Капланского с гипотезой Фаррелла – Джонса (ср. [8]).

Рекомендации

  1. ^ Фаррелл, Ф. Томас, Джонс, Лоуэлл Э., Гипотезы об изоморфизме в алгебраической K-теории, Журнал Американского математического общества, т. 6, с. 249–297, 1993 г.
  2. ^ Бартельс, Артур; Люк, Вольфганг; Райх, Холгер (2006), "K-теоретическая гипотеза Фаррелла-Джонса для гиперболических групп", arXiv:математика / 0609685
  3. ^ Бартельс, Артур; Люк, Вольфганг; Райх, Хольгер (2009), Гипотеза Бореля для гиперболических и CAT (0) -групп, arXiv:0901.0442
  4. ^ Вегнер, Кристиан (2013), Гипотеза Фаррелла-Джонса для виртуально разрешимых групп, arXiv:1308.2432, Bibcode:2013arXiv1308.2432W
  5. ^ Бартельс, Артур; Бествина, Младен (2016), «Гипотеза Фаррелла-Джонса для отображения групп классов», arXiv:1606.02844 [math.GT ]
  6. ^ Раники, Эндрю А. «О гипотезе Новикова». Гипотезы Новикова, теоремы об индексе и жесткость, Vol. 1, (Обервольфах 2003). Кембридж, Великобритания: Издательство Кембриджского университета. С. 272–337.
  7. ^ Люк, Вольфганг; Райх, Хольгер (2005). «Гипотезы Баума-Конна и Фаррелла-Джонса в K- и L-теории». Справочник по К-теории. Vol. 1,2. Берлин: Springer. С. 703–842.
  8. ^ Бартельс, Артур; Люк, Вольфганг; Райх, Холгер (2008), "О гипотезе Фаррелла-Джонса и ее приложениях", Журнал топологии, 1 (1): 57–86, arXiv:математика / 0703548, Дои:10.1112 / jtopol / jtm008