We determine the quotient category which is the representation category of the kernel of the homomorphism from Nori's fundamental group scheme to its étale and local parts. Pierre Deligne pointed out an error in the first version of this article. We profoundly thank him, in particular for sending us his enlightning example reproduced in Remark 2.4 2).
In this article, we study the log-scheme theoretic version of the Nori fundamental group scheme. Similar to the classical Nori fundamental group scheme, the log Nori fundamental group scheme classifies torsors on log flat topology. We also compute the nilpotent pro-p quotient of the log Nori fundamental group scheme with log at $\{0, 1, \infty\}$.
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 curves, it turns out that the F-fundamental group scheme and the Nori fundamental group scheme coincides. We also consider an extension of the Nori fundamental group scheme in positive characteristic using semi-essentially finite vector bundles and prove that in this way, we do not get a non-trivial extension of the Nori fundamental group scheme for elliptic cur…
We prove the existence of a Galois closure for towers of torsors under finite group schemes over a proper, geometrically connected and geometrically reduced algebraic stack $X$ over a field $k$. This is done by describing the Nori fundamental gerbe of an essentially finite cover of $X$. A similar result is also obtained for the $S$-fundamental gerbe.
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 scheme over $k$. We show how this group has many analogies, but also some crucial differences, with the absolute Galois group. We propose two conjectures, analogous to the classical Neukirch-Uchida Theorem and Abhyankar Conjecture, providing some evidence in their favor. Finally we show that the local fundamental group of a normal variety is a quotient of t…
Let $S$ be a connected Dedekind scheme and $X$ be a proper smooth connected scheme over $S$ . Let $D$ a divisor with no multiplicity of $X$ such that the irreducible components of $D$ and as well their intersections are smooth over $S$. Now if we endow $X$ with the log structure associated with $D$ then the structure morphism from $X$ to $S$ is log-smooth. Let $x: S \to X$ be a $S$-point such that it doesn't intersect $D$. Then we prove that the maximal abelian quotient of the log Nori fundamental group scheme of $X$ fits in to an exact sequence of the form $0 \rightarrow (\mathbf{NS}^τ_{X/S,D…
Let $k$ be an algebraically closed field of characteristic $p > 3$. Let $A$ be an abelian surface over $k$. Fix an integer $n \geq 1$ such that $p \nmid n$ and let $K^{[n]}$ be the $n$-th Generalized Kummer Variety associated to $A$. In this article we aim to find the $S$-fundamental group scheme and Nori's fundamental group scheme of $K^{[n]}$.
Let $k$ be an algebraically closed field of characteristic $p > 0$. Let $X$ be an irreducible smooth projective curve of genus $g$ over $k$. Fix an integer $n \geq 2$, and let $S^n(X)$ be the $n$-fold symmetric product of $X$. In this article we find the $S$-fundamental group scheme and Nori's fundamental group scheme of $S^n(X)$.
Let $k$ be an algebraically closed field of characteristic $p > 3$. Let $X$ be an irreducible smooth projective surface over $k$. Fix an integer $n \geq 1$ and let ${\mathcal{H}{\it ilb}}_X^n$ be the Hilbert scheme parameterizing effective $0$-cycles of length $n$ on $X$. The aim of the present article is to find the $S$-fundamental group scheme and Nori's fundamental group scheme of the Hilbert scheme $\mathcal{H}{\it ilb}_X^n$.
In this paper we describe the fundamental group-scheme of a proper variety fibered over an abelian variety with rationally connected fibers over an algebraically closed field. We use old and recent results for the Nori fundamental group-scheme, and of finite group-schemes in general to prove that the kernel of such a fibration is finite, and that the homotopy exact sequence holds in this case. As an application, we describe the fundamental group-schemes of certain proper varieties that are connected by curves or are related to them.
In \cite{KP}, the last two authors introduced formal orbifold curves defined over an algebraically closed field of positive characteristics. They studied both étale and Nori fundamental group schemes associated to such objects. Our aim here is to study the higher dimensional analog of these objects objects and their fundamental groups.
Let $U$ be an affine smooth curve defined over an algebraically closed field of positive characteristic. The Abhyankar Conjecture (proved by Raynaud and Harbater in 1994) describes the set of finite quotients of Grothendieck's étale fundamental group of $U$. In this paper, we consider a purely inseparable analogue of this problem, formulated in terms of Nori's profinite fundamental group scheme, and give a partial answer to it.
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_η$. Let $f: Y \rightarrow X_η$ be a finite Nori-reduced $G$-torsor. In this paper we provide a useful criterion to extend $f: Y \rightarrow X_η$ to a torsor over $X$. Furthermore in the particular situation where $R$ is a complete discrete valuation ring of residue characteristic $p>0$ and $X\to \text{Spec}(R)$ is smooth we apply our criterion to prove that the natural morphism $ψ^{(p')}: π(X_η,x_η)^{(…
School of Mathematical Sciences, Key Laboratory of Intelligent Computing and Applications (Tongji University), Ministry of Education（同济大学数学科学学院，智能计算与应用教育部重点实验室）
Given a Henselian and Japanese discrete valuation ring $A$ and a flat and projective $A$-scheme $X$, we follow the approach of Biswas-dos Santos to introduce a full subcategory of coherent modules on $X$ which is then shown to be Tannakian. We then prove that, under normality of the generic fibre, the associated affine and flat group is pro-finite in a strong sense (so that its ring of functions is a Mittag-Leffler $A$-module) and that it classifies finite torsors $Q\to X$. This establishes an analogy to Nori's theory of the essentially finite fundamental group. In addition, we compare our the…
Let $k$ be an algebraically closed field. Let $C$ be an irreducible smooth projective curve over $k$. Let $E$ be a locally free sheaf on $C$ of rank $\geq 2$. Fix an integer $d \geq 2$. Let $\mathcal{Q}$ denote the Quot scheme parameterizing torsion quotients of $E$ of degree $d$. In this article we compute the $S$-fundamental group scheme of $\mathcal{Q}$.
