Abstract:In SGA 2, Grothendieck conjectures that the étale fundamental group of the punctured spectrum of a complete noetherian local domain of dimension at least two with algebraically closed residue field is topologically finitely generated. In this paper, we prove a weaker statement, namely that the maximal pro-nilpotent quotient of the fundamental group is topologically finitely generated. The proof uses $p$-adic nearby cycles and negative definiteness of intersection pairings over resolutions of singularities as well as some analysis of Lie algebras of certain algebraic group structures on deformation cohomology.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is part of a conjecture proposed by Grothendieck in SGA 2. Specifically: According to Conjecture 1.1 (from [Gro05, Exposé XIII, Conjecture 3.1]), let $A$ be a complete Noetherian local ring, whose residue field $F$ is algebraically closed and whose maximal ideal is $m$. Let $p$ be the characteristic of $F$ (if the characteristic of $F$ is positive), otherwise let $p = 1$. Assume that the dimension of the irreducible components of $\text{Spec }A$ is at least 2, and that the scheme $\text{Spec }A\setminus \{m\}$ is connected. Then: 1. The étale fundamental group $\pi_1(\text{Spec }A\setminus \{m\})$ of $\text{Spec }A\setminus \{m\}$ is topologically finitely generated. 2. The maximal pro - prime - to - $p$ quotient of $\pi_1(\text{Spec }A\setminus \{m\})$ is topologically finitely presented. This paper mainly focuses on the pro - $p$ part, so the emphasis is on proving the first part of the above conjecture. The author has proved a weaker version, namely: **Theorem 1.2**: Under the assumptions of Conjecture 1.1, the maximal pro - nilpotent quotient of $\pi_1(\text{Spec }A\setminus \{m\})$ is topologically finitely generated. Specifically, this paper proves this weaker version by using $p$-adic nearby cycles, resolution of singularities, and the Lie algebra structure of certain deformation cohomology. This result is of great significance for understanding the properties of the fundamental group of the punctured spectrum and has applications in the study of arithmetic duality.

Finite generation of nilpotent quotients of fundamental groups of punctured spectra

Residually finite groups with uniformly almost flat quotients

On the genera of semisimple groups defined over an integral domain of a global function field

Unrestricted quantum moduli algebras, III: Surfaces of arbitrary genus and skein algebras

Unrestricted Quantum Moduli Algebras, II: Noetherianity and Simple Fraction Rings at Roots of 1

The $\mathbb Z/p$-equivariant cohomology of genus zero Deligne-Mumford space with $1+p$ marked points

On finite generation in magnitude (co)homology, and its torsion

Universality of the Galois action on the fundamental group of $\mathbb{P}^1\setminus\{0,1,\infty\}$

ULLER DISTANCE BETWEEN FINITE INDEX SUBGROUPS OF P SL2(Z)

A refined version of the geometrically m-step solvable Grothendieck conjecture for genus 0 curves over finitely generated fields

Quasi-isogeny groups of supersingular abelian surfaces via pro-étale fundamental groups

Finiteness and cofiniteness of fine Selmer groups over function fields

On finite generation in magnitude (co)homology and its torsion

Noncommutative resolutions of AS-Gorenstein isolated singularites

Modules with finitely generated cohomology

A new approach to the genus spectra of abelian $p$-groups

Quotients of the mapping class group by power subgroups

Finiteness properties of torsion fields of abelian varieties

The spectral genus of an isolated hypersurface singularity and a conjecture relating to the Milnor number

The Grothendieck–Serre conjecture over valuation rings