Проалгебраическая фундаментальная группа для топологических пространств
К. Денингер Mathematisches Institut, Universität Münster, Münster, Germany
Аннотация:
Пусть
$X$ — связное топологическое пространство с точкой
$x\in X$, и пусть
$K$ — поле с дискретной топологией. Изучаются категория Таннаки конечномерных (плоских) векторных расслоений на
$X$ и ее двойственная по Таннаке групповая схема
$\pi (X,x)$ относительно функтора слоя в точке
$x$. Максимальная проэтальная групповая фактор-схема групповой схемы
$\pi (X,x)$ является этальной фундаментальной группой пространства
$X$, которая изучалась Кухарчиком и Шольце. Для хороших топологических пространств групповая схема
$\pi (X,x)$ является проалгебраическим пополнением обычной фундаментальной группы. Получены некоторые структурные результаты о групповой схеме
$\pi (X,x)$ для очень общих топологических пространств при помощи изучения (псевдо)торсоров, связанных с ее фактор-группами. Этот подход использует идеи Нори из алгебраической геометрии и результат Делиня о категориях Таннаки. Также вычисляется групповая схема
$\pi (X,x)$ для некоторых обобщенных соленоидов.
УДК:
512.74 Поступило в редакцию: 4 января 2022 г.После доработки: 12 марта 2022 г.Принята к печати: 14 апреля 2022 г.
DOI:
10.4213/tm4269