Related papers: The Base Change Of Fundamental Group Schemes

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…

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 $\cC_X \subset \Vect(X)$ and $\cC_Y \subset…

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…

In this note we generalize Nori's definition of the fundamental group scheme from a rational point to an arbitrary base point so that when we take $X$ to be a field $k$ and the point to be $k\subseteq \bar{k}$ we still get a non trivial…

For a class of affine algebraic groups $\mathcal C$ over a field, we define the notions of $\mathcal C$-fundamental gerbe of a fibered category, generalizing what we had done in arXiv:1204.1260 for finite group schemes. We give sufficient…

Let k be a field, and let {\pi}:\tilde{X} -> X be a proper birational morphism of irreducible k-varieties, where \tilde{X} is smooth and X has at worst quotient singularities. When the characteristic of k is zero, a theorem of Koll\'ar in…

Let $R$ be a discrete valuation ring with fraction field $K$. Let $X$ be a proper and faithfully flat $R$-scheme, endowed with a section $x \in X(R)$, with connected and reduced generic fibre $X_{\eta}$. Let $f: Y \rightarrow X_{\eta}$ be a…

Consider the abelian category ${\mathcal C}$ of commutative group schemes of finite type over a field $k$, its full subcategory ${\mathcal F}$ of finite group schemes, and the associated pro category ${\rm Pro}({\mathcal C})$ (resp. ${\rm…

Relying on a notion of "numerical effectiveness" for Higgs bundles, we show that the category of "numerically flat" Higgs vector bundles on a smooth projective variety $X$ is a Tannakian category. We introduce the associated group scheme,…

We show that Nori's fundamental group scheme \pi(X,x) does not base change correctly under extension of the base field for certain smooth projective ordinary curves X of genus 2 defined over a field of characteristic 2.

In this paper we study extension problems for torsors in positive characteristic. Let $F$ be a field of characteristic $p>0$ and $U/F$ be a unipotent algebraic group. As our first main result, we prove that every $U$-torsor defined over the…

Consider a connected topological space $X$ with a point $x \in X$ and let $K$ be a field with the discrete topology. We study the Tannakian category of finite dimensional (flat) vector bundles on $X$ and its Tannakian dual $\pi_K (X,x)$…

Given a relative faithfully flat pointed scheme over the spectrum of a discrete valuation ring $X \to S$ this paper is motivated by the study of the natural morphism from the fundamental group scheme of the generic fiber $X_\eta $ to the…

We give sharp criteria for when a reductive group scheme satisfies Tannakian reconstruction. When the base scheme is Noetherian, we explicitly identify its Tannaka group scheme.

Motivated by the work of Esnault-Hai, one has the notion of de Rham $K(\pi,1)$ schemes, defined as follows. Given a smooth proper geometrically connected scheme $X$ over a field $k$ of characteristic 0 and a base point $x \in X (k)$, one…

In this article, we study the various fundamental groupoid schemes corresponding to Tannakian categories of certain types of vector bundles. We compute fundamental groupoid scheme of anisotropic conic, Klein bottle and abelian varieties.…

In this paper we introduce the local Nori fundamental group scheme of a reduced scheme or algebraic stack over a perfect field $k$. We give particular attention to the case of fields: to any field extension $K/k$ we attach a pro-local group…

In this note, we prove that the F-fundamental group scheme is birational invariant for smooth projective varieties. We prove that the F-fundamental group scheme is naturally a quotient of the Nori fundamental group scheme. For elliptic…

In this paper we study $F$-divided bundles on irreducible Noetherian normal $F$-finite $\mathbb{F}_p$-schemes and we show that their Tannakian category is governed by the behaviour at the generic point. In particular, if $U\subset X$ is an…

Let $X$ be a projective, connected and smooth scheme defined over an algebraically closed field $k$. In this paper we prove that a tower of finite torsors (i.e., under the action of finite $k$-group schemes) can be dominated by a single…