BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Mohamed Saidi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We show the non-existence of sections of arithmetic fundamental groups of open p-adic annuli of small radii, this implies the non-existence of sections of arithmetic fundamental groups of formal boundaries of formal germs of p-adic curves.
Given a number field $K$ and an integer $m\geq 0$, let $K_m$ denote the maximal $m$-step solvable Galois extension of $K$ and write $G_K^m$ for the maximal $m$-step solvable Galois group Gal$(K_m/K)$ of $K$. In this paper, we prove that the isomorphy type of $K$ is determined by the isomorphy type of $G_K^3$. Further, we prove that $K_m/K$ is determined functorially by $G_K^{m+3}$ (resp. $G_K^{m+4}$) for $m\geq 2$ (resp. $m \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 $G_K^m$, starting from $G_K^{m+2}$.
Let $X$ be a proper, smooth, and geometrically connected curve of genus $g(X)\ge 1$ over a $p$-adic local field. We prove that there exists an effectively computable open affine subscheme $U\subset X$ with the property that $period (X)=1$, and $index (X)$ equals $1$ or $2$ (resp. $period(X)=index (X)=1$, assuming $period (X)=index (X)$), if (resp. if and only if) the exact sequence of the geometrically abelian fundamental group of $U$ splits. We compute the torsor of splittings of the exact sequence of the geometrically abelian absolute Galois group associated to $X$, and give a new characterisation of sections of arithmetic fundamental groups of curves over $p$-adic local fields which are orthogonal to $Pic^0$ (resp. $Pic^{\wedge}$). As a consequence we observe that the non-geometric (geometrically pro-$p$) section constructed by Hoshi in [Hoshi] is orthogonal to $Pic^0$.
We prove a local-global principle for torsors under the prosolvable geometric fundamental group of a hyperbolic curve over a number field.
In this note we investigate the problem of existence of a torsor structure for Galois covers of (formal) schemes over a complete discrete valuation ring of residue characteristic $p>0$ in the case of abelian Galois groups of type (p,p,...,p).
We show the existence of group-theoretic sections of the "etale-by-geometrically abelian" quotient of the arithmetic fundamental group of hyperbolic curves over $p$-adic local fields relative to a proper and flat model which are non-geometric, i.e., which do not arise from rational points.
In this paper we prove that given a non-isotrivial family of hyperbolic curves in positive characteristic, the isomorphism type of the geometric fundamental group is not constant on the fibres of the family.
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.
This paper is around the topics I discussed in the lecture I gave at the Isaac Newton Institute in Cambridge, July 2009, in the Introductory Workshop. This paper can be read as a companion to my paper [Saï di], where detailed proofs can be found.
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.
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.