Source author record

Michel Emsalem

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.NT

Catalog footprint

Research overview

5works

2topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

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.

preprint2015arXiv

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)$ .

preprint2015arXiv

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.

preprint2013arXiv

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.

preprint2010arXiv

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)$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Michel Emsalem

Research overview

Is this your work?

5 publications

Models of torsors and the fundamental group scheme

Lifting Galois sections along torsors

Twisting by a torsor

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

Galois Closure of Essentially Finite Morphisms

See the researcher in context

Building this map preview

Michel Emsalem

Research overview

Is this your work?

5 publications

Models of torsors and the fundamental group scheme

Lifting Galois sections along torsors

Twisting by a torsor

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

Galois Closure of Essentially Finite Morphisms

See the researcher in context

Building this map preview

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