Аннотация:
Пусть $X$ — связное топологическое пространство с точкой $x\in X$, и пусть $K$ — поле с дискретной топологией. Изучаются категория Таннаки конечномерных (плоских) векторных расслоений на $X$ и ее двойственная по Таннаке групповая схема $\pi (X,x)$ относительно функтора слоя в точке $x$. Максимальная проэтальная групповая фактор-схема групповой схемы $\pi (X,x)$ является этальной фундаментальной группой пространства $X$, которая изучалась Кухарчиком и Шольце. Для хороших топологических пространств групповая схема $\pi (X,x)$ является проалгебраическим пополнением обычной фундаментальной группы. Получены некоторые структурные результаты о групповой схеме $\pi (X,x)$ для очень общих топологических пространств при помощи изучения (псевдо)торсоров, связанных с ее фактор-группами. Этот подход использует идеи Нори из алгебраической геометрии и результат Делиня о категориях Таннаки. Также вычисляется групповая схема $\pi (X,x)$ для некоторых обобщенных соленоидов.
Работа выполнена при финансовой поддержке Немецкого научно-исследовательского общества (DFG) в рамках программы “Germany's Excellence Strategy” (проект EXC 2044-390685587, Mathematics Münster: Dynamics–Geometry–Structure).
Поступило в редакцию:4 января 2022 г. После доработки:12 марта 2022 г. Принята к печати:14 апреля 2022 г.
Образец цитирования:
К. Денингер, “Проалгебраическая фундаментальная группа для топологических пространств”, Алгебра, арифметическая, алгебраическая и комплексная геометрия, Сборник статей. Посвящается памяти академика Алексея Николаевича Паршина, Труды МИАН, 320, МИАН, М., 2023, 71–102; Proc. Steklov Inst. Math., 320 (2023), 62–90