arXiv subjects

Michel Emsalem

Publications and source records attributed to Michel Emsalem.

9 recordsLinked to original sources

arXiv2020

Sur l'existence du schéma en groupes fondamental

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 the quasi-finite torsors over $X$, pointed over $x$. We define Galois torsors, which play in this context a role similar to the one of Galois covers in the theory of étale fundamental group.

math.AG↗

arXiv2017

Towers of torsors over a field

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 a very natural way the categories of Nori-semistable and essentially finite vector bundles. These categories are proved to be Tannakian. Their Galois $k$-group schemes $π^S(Y,\,y)$ and $π^N(Y,\,y)$, respectively, thus generalize the $S$--fundamental and the Nori fundamental group schemes. The latter still classifies all the finite torsors over $Y$, pointed over $y$. We also prove that they fit in short exact sequences involving $π^S(X,\,x)$ and $π^N(X,\, x)$ respectively, where $x$ is the image of $y$.

math.AG↗

arXiv2016

Models of torsors and the fundamental group scheme

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 question to find a model of this torsor over $X$, focusing in particular on the case where $G$ is finite. We obtain partial answers to this question, showing for instance that, when $X$ is integral and regular of relative dimension $1$, such a model exists on some model of $X_η$ obtained by performing a finite number of Néron blow-ups along a closed subset of the special fiber of $X$. In the first part we show that the relative fundamental group scheme of $X$ has an interpretation as the Tannaka Galois group of a tannakian category constructed starting from the universal torsor.

math.AG↗

arXiv2015

Lifting Galois sections along torsors

The cuspidalization conjecture, which is a consequence of Grothendieck's section conjecture, asserts that for any smooth hyperbolic curve $X$ over a finitely generated field $k$ of characteristic $0$ and any non empty Zariski open $U \subset X$, every section of $π_1 (X, \bar x) \to \mathrm{Gal}_k$ lifts to a section of $π_1 (U,\bar x) \to \mathrm{Gal}_k$. We consider in this article the problem of lifting Galois sections to the intermediate quotient $ π_1^{cc}(U)$ introduced by Mochizuki. We show that when $k = \mathbb Q$ and $D=X\setminus U$ is an union of torsion sub-packets every Galois section actually lifts to $ π_1^{cc}(U)$. One of the main tools in the proof is the construction of torus torsors $F_D$ and $E_D$ over $X$ and the geometric interpretation $ π_1^{cc}(U) \simeq π_1 (F_D)$.

math.AG↗

arXiv2015

Twisting by a torsor

Twisting by a G-torsor an object endowed with an action of a group G is a classical tool. For instance one finds in the paragraph 5.3 of the book "cohomologie galoisienne" by Serre, the description of the "opération de torsion" in a particular context. The aim of this note is to give a formalization of this twisting operation as general as possible in the algebraic geometric framework and to present a few applications. We will focus in particular to the application to the problem of specialization of covers addressed by P. Dèbes and al. in a series of papers.

math.AG↗

arXiv2013

Un critère d'épointage des sections $l$-adiques

The cuspidalization conjecture emerged as an approach of Grothendieck's famous section conjecture. We address a weak form of it by using a mild generalization of a theorem of Uwe Jannsen which describes exactly when the $l$-adic homology of an open curve is a pure Galois representation. We also give some concrete examples of modular curves for which the cuspidalization is possible at the $l$-adic level.

math.NT↗

arXiv2010

Galois Closure of Essentially Finite Morphisms

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 that $λ:\hat{X}_Y\to Y$ is a torsor under some finite group scheme we describe. Furthermore we prove that the direct image of an essentially finite vector bundle over $Y$ is still an essentially finite vector bundle over $X$. We develop for torsors and essentially finite morphisms a Galois correspondence similar to the usual one. As an application we show that for any pointed torsor $f:Y \to X$ under a finite group scheme satisfying the condition $H^0(Y,\mathcal{O}_Y)=k$, $Y$ has a fundamental group scheme $π_1 (Y,y)$ fitting in a short exact sequence with $π_1 (X,x)$.

math.AG↗

arXiv2008

Note sur la détermination algébrique du groupe fondamental pro-résoluble d'une courbe affine

Let X be a smooth projective algebraic curve of genus g minus $r\geq 1$ points defined over an algebraically closed field k of characteristic $p\geq 0$. The structure of the largest prime to p quotient of the étale fundamental group is well known by transcendental methods : it is isomorphic to the largest prime to p quotient of a free pro-finite group on 2g+r-1 generators. We show that, with purely algebraic means, we can prove the corresponding result for the largest pro-solvable quotient of these groups.

math.AG↗

arXiv2003

Varietes de descente, gerbes et obstruction de Brauer-Manin (Descent varieties, gerbes and Brauer-Manin obstruction)

Nous montrons comment associer à une gerbe définie sur un corps de nombres une obstruction de Brauer-Manin mesurant, comme dans le cas des variétés, le défaut d'existence d'une section globale. Ceci nous conduit à une généralisation de la dualité de Tate-Poitou au cas non-abélien. We find a way to associate to a gerbe defined over a number field a Brauer-Manin obstruction, which measures, as for varieties, the defect to the existence of a global section. This leads us to a generalization of Tate-Poitou duality in the non-abelian case.

math.NT↗