-
arXiv:2006.06464 [pdf, ps, other]
Extension of torsors and prime to $p$ fundamental group scheme
Abstract: 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 situatio… ▽ More
Submitted 3 February, 2021; v1 submitted 11 June, 2020; originally announced June 2020.
Comments: To appear in Annals de l'Institut Fourier
MSC Class: 14L30; 14L15 (Primary). 11G99 (Secondary)
-
arXiv:1809.06236 [pdf, ps, other]
Models of torsors over affine spaces
Abstract: Let $X:=\mathbb{A}^{n}_{R}$ be the $n$-dimensional affine space over a discrete valuation ring $R$ with fraction field $K$. We prove that any pointed torsor $Y$ over $\mathbb{A}^{n}_{K}$ under the action of an affine finite type group scheme can be extended to a torsor over $\mathbb{A}^{n}_{R}$ possibly after pulling $Y$ back over an automorphism of $\mathbb{A}^{n}_{K}$. The proof is effective. Ot… ▽ More
Submitted 13 September, 2018; originally announced September 2018.
Comments: 13 pages. arXiv admin note: substantial text overlap with arXiv:1210.1522
MSC Class: Primary: 14L30; 14L15. Secondary: 11G99
Journal ref: Mathematika 65 (2019) 530-541
-
arXiv:1706.00739 [pdf, ps, other]
Nori fundamental gerbe of essentially finite covers and Galois closure of towers of torsors
Abstract: 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.
Submitted 18 November, 2018; v1 submitted 2 June, 2017; originally announced June 2017.
Journal ref: Selecta Mathematica, 2019
-
Towers of torsors over a field
Abstract: 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 finite torsor. Let $G$ be any finite $k$-group scheme and $Y$ any $G$--torsor over $X$ pointed in $y\,\in\, Y(k)$; we define over $Y$, which may not be reduced, in… ▽ More
Submitted 6 June, 2017; v1 submitted 28 June, 2016; originally announced June 2016.
Comments: This paper has been withdrawn: it contained a mistake. It is being replaced by a new article by M. Antei, I. Biswas, M. Emsalem, F. Tonini, L. Zhang: arXiv:1706.00739 [math.AG]
MSC Class: 14H30; 14F35; 14L15
-
arXiv:1603.01198 [pdf, ps, other]
Models of torsors and the fundamental group scheme
Abstract: 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_η$ to the generic fiber of the fundamental group scheme of $X$. Given a torsor $T \to X_η$ under an affine group scheme $G$ over the generic fiber of $X$, we address the questi… ▽ More
Submitted 3 March, 2016; originally announced March 2016.
Comments: 11 pages. arXiv admin note: text overlap with arXiv:1210.1522
MSC Class: Primary: 14L30; 14L15; Secondary: 11G99
-
arXiv:1602.04644 [pdf, ps, other]
The pseudo-fundamental group-scheme
Abstract: Let $X$ be any scheme defined over a Dedekind scheme $S$ with a given section $x\in X(S)$. We prove the existence of a pro-finite $S$-group scheme $\aleph(X,x)$ and a universal $\aleph(X,x)$-torsor dominating all the pro-finite pointed torsors over $X$. Though $\aleph(X,x)$ may not be unique in general it still can provide useful information in order to better understand $X$. In a similar way we p… ▽ More
Submitted 2 May, 2019; v1 submitted 15 February, 2016; originally announced February 2016.
Comments: Final accepted version
MSC Class: 14L15; 14G17 (Primary); 11G99 (Secondary)
Journal ref: Journal of Algebra 523 (2019) 274-284
-
arXiv:1511.07331 [pdf, ps, other]
On the bumpy fundamental group scheme
Abstract: In this short paper we first recall the definition and the construction of the fundamental group scheme of a scheme $X$ in the known cases: when it is defined over a field and when it is defined over a Dedekind scheme. It classifies all the finite (or quasi-finite) fpqc torsors over $X$. When $X$ is defined over a noetherian regular scheme $S$ of any dimension we do not know if such an object can… ▽ More
Submitted 23 November, 2015; originally announced November 2015.
Comments: Accepted for publication at Proceedings of a conference at TIFR (Mumbai) and UoH (Hyderabad)
-
Sur l'existence du schéma en groupes fondamental
Abstract: Let $S$ be a Dedekind scheme, $X$ a connected $S$-scheme locally of finite type and $x\in X(S)$ a section. The aim of the present paper is to establish the existence of the fundamental group scheme of $X$, when $X$ has reduced fibers or when $X$ is normal. We also prove the existence of a group scheme, that we will call the quasi-finite fundamental group scheme of $X$ at $x$, which classifies all… ▽ More
Submitted 6 June, 2020; v1 submitted 20 April, 2015; originally announced April 2015.
Comments: in French. Final version (finally!)
MSC Class: 14G99; 14L15; 14L30; 11G99
Journal ref: Ãpijournal de Géométrie Algébrique, Volume 4 (June 8, 2020) epiga:5436
-
arXiv:1410.1166 [pdf, ps, other]
On the fundamental group scheme of rationally chain connected varieties
Abstract: Let $k$ be an algebraically closed field. Chambert-Loir proved that the étale fundamental group of a normal rationally chain connected variety over $k$ is finite. We prove that the fundamental group scheme of a normal rationally chain connected variety over $k$ is finite and étale. In particular, the fundamental group scheme of a Fano variety is finite and étale.
Submitted 21 May, 2015; v1 submitted 5 October, 2014; originally announced October 2014.
Comments: Final version in International Mathematics Research Notices, 2015
MSC Class: 14M22; 14H30
-
Models of torsors over curves
Abstract: Let $R$ be a complete discrete valuation ring with fraction field $K$ and with algebraically closed residue field. Let $X$ be a faithfully flat $R$-scheme of finite type of relative dimension 1 and $G$ be any affine $K$-group scheme of finite type. We prove that every $G$-torsor $Y$ over the generic fibre $X_η$ of $X$ can be extended to a torsor over ${X'}$ under the action of an affine and flat… ▽ More
Submitted 28 June, 2016; v1 submitted 4 October, 2012; originally announced October 2012.
Comments: This paper has been withdrawn: it contained a mistake. It has been corrected and the results can now be found in "Models of torsors and the fundamental group scheme" (by M. Antei and M. Emsalem)
MSC Class: 14L30; 14L15 (Primary) 11G99 (Secondary)
-
arXiv:1204.1913 [pdf, ps, other]
Pushout of quasi-finite and flat group schemes over a Dedekind ring
Abstract: Let $G$, $G_1$ and $G_2$ be quasi-finite and flat group schemes over a complete discrete valuation ring $R$, $\varphi_1:G\to G_1$ any morphism of $R$-group schemes and $\varphi_2:G\to G_2$ a model map. We construct the pushout $P$ of $G_1$ and $G_2$ over $G$ in the category of $R$-affine group schemes. In particular when $\varphi_1$ is a model map too we show that $P$ is still a model of the gener… ▽ More
Submitted 9 April, 2012; originally announced April 2012.
Comments: 18 pages, preliminary version
MSC Class: 14L15 (Primary) 16T05 (Secondary)
Journal ref: Journal of Algebra, Volume 371, 1 December 2012, Pages 314-328
-
arXiv:1111.3003 [pdf, ps, other]
On the Grothendieck-Lefschetz Theorem for a Family of Varieties
Abstract: Let $k$ be an algebraically closed field of characteristic $p>0$, $W$ the ring of Witt vectors over $k$ and ${R}$ the integral closure of $W$ in the algebraic closure ${\bar{K}}$ of $K:=Frac(W)$; let moreover $X$ be a smooth, connected and projective scheme over $W$ and $H$ a relatively very ample line bundle over $X$. We prove that when $dim(X/{W})\geq 2$ there exists an integer $d_0$, depending… ▽ More
Submitted 13 November, 2011; originally announced November 2011.
Comments: 11 pages
MSC Class: 14J60; 14L15
Journal ref: Bulletin des Sciences Mathématiques, Volume 136, Issue 4, June 2012, Pages 423-431
-
arXiv:1012.1782 [pdf, ps, other]
Extention of Finite Solvable Torsors over a Curve
Abstract: Let $R$ be a discrete valuation ring with fraction field $K$ and with algebraically closed residue field of positive characteristic $p$. Let $X$ be a smooth fibered surface over $R$ with geometrically connected fibers endowed with a section $x\in X(R)$. Let $G$ be a finite solvable $K$-group scheme and assume that either $|G|=p^n$ or $G$ has a normal series of length 2. We prove that every quotien… ▽ More
Submitted 8 December, 2010; originally announced December 2010.
Comments: 16 pages
MSC Class: 14H30; 14L15
Journal ref: Manuscripta Mathematica, 2012
-
arXiv:1011.5596 [pdf, ps, other]
The Fundamental Group Scheme of a non Reduced Scheme
Abstract: We extend the definition of fundamental group scheme to non reduced schemes over any connected Dedekind scheme. Then we compare the fundamental group scheme of an affine scheme with that of its reduced part.
Submitted 7 March, 2011; v1 submitted 25 November, 2010; originally announced November 2010.
Comments: Final version, 11 pages, minor changes
MSC Class: 14L15 (Primary) 14G17 (Secondary)
Journal ref: Bulletin des Sciences Mathématiques, Volume 135, Issue 5, July-August 2011, Pages 531-539
-
arXiv:1009.5234 [pdf, ps, other]
Vector Bundles over Normal Varieties Trivialized by Finite Morphisms
Abstract: Let $Y$ be a normal and projective variety over an algebraically closed field $k$ and $V$ a vector bundle over $Y$. We prove that if there exist a $k$-scheme $X$ and a finite surjective morphism $g:X\to Y$ that trivializes $V$ then $V$ is essentially finite.
Submitted 27 September, 2010; originally announced September 2010.
Comments: 5 pages
MSC Class: 14L15; 14J50
Journal ref: Archiv der Mathematik, Volume 97, Issue 6 (2011), Page 523-527
-
arXiv:0912.5319 [pdf, ps, other]
On the Abelian Fundamental Group Scheme of a Family of Varities
Abstract: Let $S$ be a connected Dedekind scheme and $X$ an $S$-scheme provided with a section $x$. We prove that the morphism of fundamental group schemes $π_1(X,x)^{ab}\to π_1(\mathbf{Alb}_{X/S},0_{\mathbf{Alb}_{X/S}})$ induced by the canonical morphism from $X$ to its Albanese scheme $\mathbf{Alb}_{X/S}$ (when the latter exists) fits in an exact sequence of group schemes… ▽ More
Submitted 11 March, 2010; v1 submitted 29 December, 2009; originally announced December 2009.
Comments: 18 pages, minor changes, final version
MSC Class: 14H30; 14K30; 14L15
Journal ref: Israel Journal of Mathematics, Volume 186 (2011), 427-446
-
arXiv:0901.1551 [pdf, ps, other]
Galois Closure of Essentially Finite Morphisms
Abstract: Let $X$ be a reduced connected $k$-scheme pointed at a rational point $x \in X(k)$. By using tannakian techniques we construct the Galois closure of an essentially finite $k$-morphism $f:Y\to X$ satisfying the condition $H^0(Y,\mathcal{O}_Y)=k$; this Galois closure is a torsor $p:\hat{X}_Y\to X$ dominating $f$ by an $X$-morphism $λ:\hat{X}_Y\to Y$ and universal for this property. Moreover we show… ▽ More
Submitted 18 December, 2010; v1 submitted 12 January, 2009; originally announced January 2009.
Comments: final (improved) version
MSC Class: 14E20 (Primary); 14L15; 14G32 (Secondary); 12F10; 11G99
Journal ref: Journal of Pure and Applied Algebra, Volume 215, Issue 11, November 2011, Pages 2567-2585
-
arXiv:0807.2286 [pdf, ps, other]
Comparison between the fundamental group scheme of a relative scheme and that of its generic fiber
Abstract: We show that the natural morphism $φ:π_1(X_η,x_η)\to π_1(X,x)_η$ between the fundamental group scheme of the generic fiber $X_η$ of a scheme $X$ over a connected Dedekind scheme and the generic fiber of the fundamental group scheme of $X$ is always faithfully flat. As an application we give a necessary and sufficient condition for a finite, dominated pointed $G$-torsor over $X_η$ to be extended… ▽ More
Submitted 6 March, 2010; v1 submitted 14 July, 2008; originally announced July 2008.
Comments: 19 pages, final version
MSC Class: 14G40; 14L15; 11G35; 14H30
Journal ref: Journal de théorie des nombres de Bordeaux, Tome 22, no 3 (2010), p. 537-555