The Birational Invariance Of Fundamental Group Schemes
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.23997
curl -X POST /api/v1/records/arxiv/2604.23997/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.23997/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'