Теорема Атьи – Сигала о пополнении

Математический результат об эквивариантной К-теории в теории гомотопий

Теорема о завершении Атьи–Сигала — это теорема в математике об эквивариантной K-теории в теории гомотопий . Пусть Gкомпактная группа Ли , а XG - CW-комплекс . Теорема утверждает, что отображение проекции

π : Х × Э Г Х {\displaystyle \пи \двоеточие X\times EG\to X}

индуцирует изоморфизм проколец

π : К Г ( Х ) я ^ К ( ( Х × Э Г ) / Г ) . {\displaystyle \pi ^{*}\colon K_{G}^{*}(X)_{\widehat {I\,}}\to K^{*}((X\times EG)/G).}

Здесь индуцированное отображение имеет в качестве области определения пополнение G -эквивариантной K - теории X относительно I , где I обозначает идеал пополнения кольца представлений G.

В частном случае, когда X является точкой, теорема конкретизируется, давая изоморфизм между K-теорией классифицирующего пространства группы G и пополнением кольца представлений. К ( Б Г ) Р ( Г ) я ^ {\displaystyle K^{*}(BG)\cong R(G)_{\widehat {I\,}}}

Теорему можно интерпретировать как сравнение геометрического процесса взятия гомотопического фактора G -пространства, делая действие свободным перед переходом к фактору, и алгебраического процесса завершения относительно идеала. [1]

Теорема была впервые доказана для конечных групп Майклом Атья в 1961 году [2], а доказательство общего случая было опубликовано Атья совместно с Грэмом Сигалом в 1969 году. [3] С тех пор появились различные доказательства, обобщающие теорему до полноты относительно семейств подгрупп. [4] [5] Соответствующее утверждение для алгебраической K-теории было доказано Александром Меркурьевым , в случае, когда группа является алгебраической над комплексными числами.

Смотрите также

Ссылки

  1. ^ Гринлис, JPC (1996). «Введение в эквивариантную K-теорию». Серия региональных конференций CBMS . Эквивариантная гомотопия и теория когомологий. Том 91. Опубликовано для Conference Board of the Mathematical Sciences, Вашингтон, округ Колумбия. С.  143–152 .
  2. ^ Атья, МФ (1961). «Характеры и когомологии конечных групп». Публикации Mathématiques de l'IHÉS . 9 (1): 23–64 . doi : 10.1007/BF02698718. S2CID  54764252.
  3. ^ Атья, МФ ; Сегал, ГБ (1969). "Эквивариантная К-теория и завершение" (PDF) . Журнал дифференциальной геометрии . 3 ( 1–2 ): 1–18 . doi : 10.4310/jdg/1214428815 . Получено 19 июня 2008 г.
  4. ^ Джаковски, С. (1985). «Семейства подгрупп и завершение». J. Pure Appl. Algebra . 37 (2): 167– 179. doi : 10.1016/0022-4049(85)90094-5 .
  5. ^ Адамс, Дж. Ф.; Хеберли, Дж. П.; Джековски, С.; Мэй, Дж. П. (1988). «Обобщение теоремы Атьи-Сигала о завершении». Топология . 27 (1): 1– 6. doi : 10.1016/0040-9383(88)90002-X .


Взято с "https://en.wikipedia.org/w/index.php?title=Atiyah–Segal_completion_theorem&oldid=1171132065"