{"id":"arxiv/2604.19546","url":"https://arxiv.org/abs/2604.19546","tags":["math.AG"],"score":0,"title":"The Lefschetz Type Theorem For Fundamental Group Schemes","domain":"math.AG","source":"arxiv","authors":["Lingguang Li","Niantao Tian"],"reviews":0,"subject":"math.AG","summary":"Let $k$ be a field, $X$ a connected scheme proper over $k$, $D\\subsetneq X$ an ample effective connected divisor, $x\\in D(k)$. For Tannakian categories $\\mathcal{C}_X$ and $\\mathcal{C}_D$ whose objects consist of vector bundles on $X$ and $D$ respectively, we establish general Tannakian criteria for the natural homomorphism \\(π(\\mathcal{C}_D,x)\\to π(\\mathcal{C}_X,x)\\) to be faithfully flat, a closed immersion, or an isomorphism. As applications, under Langer type positivity assumptions, we prove that \\(π^{\\ast}(D,x)\\longrightarrow π^{\\ast}(X,x)\\) is an isomorphism for $\\ast\\in\\{S,N,EN,F,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-21","reactions":{}}