{"id":"arxiv/2602.14207","url":"https://arxiv.org/abs/2602.14207","tags":["math.AG"],"score":0,"title":"The Künneth Formula Of Fundamental Group Schemes","domain":"math.AG","source":"arxiv","authors":["Lingguang Li","Niantao Tian"],"reviews":0,"subject":"math.AG","summary":"Let $k$ be a field, $f:X\\rightarrow S$ a proper morphism between connected schemes proper over $k$, $x\\in X(k)$ lying over $s\\in S(k)$, $X_s$ the fibre of $f$ over $s$, $\\mathcal{C}_X$, $\\mathcal{C}_{S}$, $\\mathcal{C}_{X_s}$ Tannakian categories over $X,S,X_s$ respectively, $π(\\mathcal{C}_X,x)$, $π(\\mathcal{C}_S,s)$, $π(\\mathcal{C}_{X_s},x)$ the Tannaka group schemes respectively. We give a unified criterion for the exactness of the homotopy sequence of Tannakian fundamental group schemes $π(\\mathcal{C}_{X_s},x)\\rightarrow π(\\mathcal{C}_X,x)\\rightarrow π(\\mathcal{C}_S,s)\\rightarrow 1$. In…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-15","reactions":{}}