Source author record

Mohamed Saidi

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

11works
2topics
2close collaborators

Published work

11 publications

preprint2022arXiv

The mm-step solvable anabelian geometry of number fields

Given a number field KK and an integer m≥0m\geq 0, let KmK_m denote the maximal mm-step solvable Galois extension of KK and write GKmG_K^m for the maximal mm-step solvable Galois group Gal(Km/K)(K_m/K) of KK. In this paper, we prove that the isomorphy type of KK is determined by the isomorphy type of GK3G_K^3. Further, we prove that Km/KK_m/K is determined functorially by GKm+3G_K^{m+3} (resp. GKm+4G_K^{m+4}) for m≥2m\geq 2 (resp. m≤1m \leq 1). This is a substantial sharpening of a famous theorem of Neukirch and Uchida. A key step in our proof is the establishment of the so-called local theory, which in our context characterises group-theoretically the set of decomposition groups (at nonarchimedean primes) in GKmG_K^m, starting from GKm+2G_K^{m+2}.

preprint2020arXiv

Arithmetic of pp-adic curves and sections of geometrically abelian fundamental groups

Let XX be a proper, smooth, and geometrically connected curve of genus g(X)≥1g(X)\ge 1 over a pp-adic local field. We prove that there exists an effectively computable open affine subscheme U⊂XU\subset X with the property that period(X)=1period (X)=1, and index(X)index (X) equals 11 or 22 (resp. period(X)=index(X)=1period(X)=index (X)=1, assuming period(X)=index(X)period (X)=index (X)), if (resp. if and only if) the exact sequence of the geometrically abelian fundamental group of UU splits. We compute the torsor of splittings of the exact sequence of the geometrically abelian absolute Galois group associated to XX, and give a new characterisation of sections of arithmetic fundamental groups of curves over pp-adic local fields which are orthogonal to Pic0Pic^0 (resp. Pic∧Pic^{\wedge}). As a consequence we observe that the non-geometric (geometrically pro-pp) section constructed by Hoshi in [Hoshi] is orthogonal to Pic0Pic^0.

preprint2012arXiv

On the birational anabelian section conjecture

Assuming the finiteness of the Shafarevich-Tate group of elliptic curves over number fields we make several observations on the birational Grotendieck anabelian setion conjecture. We prove that the birational setion conjecture for curves over number fields can be reduced to the case of elliptic curves. In this case we prove that, as a consequence of a result of Stoll, a section of the exact sequence of the absolute Galois group of an elliptic curve over a number field arises from a rational point if and only if the induced section of the corresponding (geometrically abelianised) arithmetic fundamental group of the elliptic curve arises from a rational point. We also prove that given any curve over a number field, there exists a double covering of this curve for which the birational setion conjecture holds true.

preprint2010arXiv

Fake Liftings of Galois Covers between Smooth Curves

In this paper we investigate the problem of lifting of Galois covers between algebraic curves from characteristic p>0 to characteristic 0. We prove a refined version of the main result of Garuti concerning this problem in [Ga]. We formulate a refined version of the Oort conjecture on liftings of cyclic Galois covers between curves. We introduce the notion of fake liftings of cyclic Galois covers between curves, their existence would contradict the Oort conjecture, and we study the geometry of their semi-stable models. Finally, we introduce and investigate on some examples the smoothening process, which ultimately aims to show that fake liftings do not exist. This in turn would imply the Oort conjecture.

preprint2010arXiv

Good Sections of Arithmetic Fundamental Groups

In this paper we exhibit the notion of (uniformly) good sections of arithmetic fundamental groups. We introduce and investigate the problem of cuspidalisation of sections of arithmetic fundamental groups, its ultimate aim is to reduce the solution of the Grothendieck anabelian section conjecture to the solution of its birational version. We show that (uniformly) good sections of arithmetic fundamental groups of smooth, proper, and geometrically connected hyperbolic curves over slim (and regular) fields can be lifted to sections of cuspidally abelian absolute Galois groups. As an application we prove a (pro-p) p-adic version of the Grothendieck anabelian section conjecture for hyperbolic curves, under the assumption that the existence of sections of arithmetic fundamental groups, and cuspidally abelian Galois groups, implies the existence of tame points. We also prove that the existence of uniformly good sections of arithmetic fundamental groups for hyperbolic curves over number fields implies the existence of divisors of degree 1, under a finiteness condition of the Tate-Shafarevich group of the jacobian of the curve.

Research graph

See the researcher in context

Open full explorer

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.