{"id":"arxiv/2604.23997","url":"https://arxiv.org/abs/2604.23997","tags":["math.AG"],"score":0,"title":"The Birational Invariance Of Fundamental Group Schemes","domain":"math.AG","source":"arxiv","authors":["Lingguang Li","Hao Wang"],"reviews":0,"subject":"math.AG","summary":"Let $k$ be a field, $f \\colon X \\to Y$ a birational morphism of integral connected schemes proper over $k$ with $Y$ normal, $x \\in X(k)$ lying over $y \\in Y(k)$. For Tannakian categories $\\mathcal{C}_X \\subset \\mathfrak{Vect}(X)$ and $\\mathcal{C}_Y \\subset \\mathfrak{Vect}(Y)$, denote by $π(\\mathcal{C}_X,x)$ and $π(\\mathcal{C}_Y,y)$ the corresponding Tannaka group schemes. We establish a unified Tannakian criteria for the natural homomorphism $π(\\mathcal{C}_X,x)\\to π(\\mathcal{C}_Y,y)$ to be an isomorphism. As applications, for a birational map $X \\dashrightarrow Y$ between smooth projective…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-27","reactions":{}}