Showing 1–32 of 32 results for author: Saidi, M

My view on and experience with Grothendieck's anabelian geometry

Authors: Mohamed Saidi

Abstract: This paper is based on the author's talk at the Grothendieck conference at Chapman university on 26-05-2022. It is not a survey of anabelian geometry but rather exposes some of the personal views and experiences of the author with the topic. This paper is based on the author's talk at the Grothendieck conference at Chapman university on 26-05-2022. It is not a survey of anabelian geometry but rather exposes some of the personal views and experiences of the author with the topic. △ Less

Submitted 8 October, 2024; originally announced October 2024.

Comments: Chapter, to appear in the book : The Mathematical and Philosophical Legacy of Alexander Grothendieck

Local sections of arithmetic fundamental groups of p-adic curves

Authors: Mohamed Saidi

Abstract: We investigate sections of the arithmetic fundamental group pi_1(X) where X is either a smooth affinoid p-adic curve, or a formal germ of a p-adic curve, and prove that they can be lifted (unconditionally) to sections of cuspidally abelian Galois groups. As a consequence, if X admits a compactification Y, and the exact sequence of pi_1(X) splits, then index (Y)=1. We also exhibit a necessary and s… ▽ More We investigate sections of the arithmetic fundamental group pi_1(X) where X is either a smooth affinoid p-adic curve, or a formal germ of a p-adic curve, and prove that they can be lifted (unconditionally) to sections of cuspidally abelian Galois groups. As a consequence, if X admits a compactification Y, and the exact sequence of pi_1(X) splits, then index (Y)=1. We also exhibit a necessary and sufficient condition for a section of pi_1(X) to arise from a rational point of Y. One of the key ingredients in our investigation is the fact, we prove in this paper in case X is affinoid, that the Picard group of X is finite. △ Less

Submitted 30 October, 2023; originally announced October 2023.

Comments: To appear in Nagoya Mathematical Journal

The m-step Solvable Hom-Form of Birational Anabelian Geometry for Number Fields

Authors: Alberto Corato, Mohamed Saïdi

Abstract: In 1981, Uchida proved a conditional version of the Hom-form of the Grothendieck birational anabelian conjecture for number fields. In this paper we prove an m-step solvable conditional version of the Grothendieck birational anabelian conjecture for number fields whereby our conditions are slightly weaker than the ones in Uchida's theorem. Furthermore, as in Uchida's work, we show that our result… ▽ More In 1981, Uchida proved a conditional version of the Hom-form of the Grothendieck birational anabelian conjecture for number fields. In this paper we prove an m-step solvable conditional version of the Grothendieck birational anabelian conjecture for number fields whereby our conditions are slightly weaker than the ones in Uchida's theorem. Furthermore, as in Uchida's work, we show that our result is unconditional in the case where the number field relating to the domain of the given homomorphism is $\mathbb{Q}$ △ Less

Submitted 15 July, 2023; originally announced July 2023.

MSC Class: 11R32 (Primary); 12F10 (Secondary)

On sections of arithmetic fundamental groups of open p-adic annuli

Authors: Mohamed Saidi

Abstract: 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. 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. △ Less

Submitted 27 January, 2022; originally announced January 2022.

Comments: To appear in Comptes Rendues de l'Académie des Sciences Paris

A local-global principle for torsors under geometric prosolvable fundamental groups II

Authors: Mohamed Saidi

Abstract: We prove a local-global principle for torsors under the prosolvable geometric fundamental group of an affine curve over a number field. We prove a local-global principle for torsors under the prosolvable geometric fundamental group of an affine curve over a number field. △ Less

Submitted 30 September, 2021; originally announced September 2021.

Comments: Published in Journal of Number Theory

Further examples of non-geometric sections of arithmetic fundamental groups

Authors: Mohamed Saidi

Abstract: We show the existence of group-theoretic sections of certain geometrically pro-nilpotent by abelian arithmetic fundamental groups of hyperbolic curves over p-adic local fields which are non-geometric, i.e., which do not arise from rational points. Among these quotients is the geometrically metabelian arithmetic fundamental group. We show the existence of group-theoretic sections of certain geometrically pro-nilpotent by abelian arithmetic fundamental groups of hyperbolic curves over p-adic local fields which are non-geometric, i.e., which do not arise from rational points. Among these quotients is the geometrically metabelian arithmetic fundamental group. △ Less

Submitted 30 September, 2021; originally announced September 2021.

Comments: Accepted for publication in Publications of the Research Institute for Mathematical Sciences. arXiv admin note: text overlap with arXiv:1510.06864

Arithmetic of $p$-adic curves and sections of geometrically abelian fundamental groups

Authors: Mohamed Saidi

Abstract: 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 geometri… ▽ More 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$. △ Less

Submitted 11 May, 2020; originally announced May 2020.

Comments: To appear in Mathematische Zeitschrift

On the birational section conjecture over finitely generated fields

Authors: Mohamed Saïdi, Michael Tyler

Abstract: We investigate the birational section conjecture for curves over function fields of characteristic zero and prove that the conjecture holds over finitely generated fields over Q if it holds over number fields. We investigate the birational section conjecture for curves over function fields of characteristic zero and prove that the conjecture holds over finitely generated fields over Q if it holds over number fields. △ Less

Submitted 12 July, 2020; v1 submitted 26 September, 2019; originally announced September 2019.

Comments: Final version, to appear in the Algebra and Number Theory journal

Journal ref: Alg. Number Th. 15 (2021) 435-460

On étale fundamental groups of formal fibres of $p$-adic curves

Authors: Mohamed Saidi

Abstract: We investigate a certain class of (geometric) finite (Galois) coverings of formal fibres of $p$-adic curves and the corresponding quotient of the (geometric) étale fundamental group. A key result in our investigation is that these (Galois) coverings can be compactified to finite (Galois) coverings of proper $p$-adic curves. We also prove that the maximal prime-to-$p$ quotient of the geometric étal… ▽ More We investigate a certain class of (geometric) finite (Galois) coverings of formal fibres of $p$-adic curves and the corresponding quotient of the (geometric) étale fundamental group. A key result in our investigation is that these (Galois) coverings can be compactified to finite (Galois) coverings of proper $p$-adic curves. We also prove that the maximal prime-to-$p$ quotient of the geometric étale fundamental group of a (geometrically connected) formal fibre of a $p$-adic curve is (pro-)prime-to-$p$ free of finite computable rank. △ Less

Submitted 18 September, 2019; originally announced September 2019.

Comments: To apper in Tohoku Mathematical journal. arXiv admin note: substantial text overlap with arXiv:1605.03876

The $m$-step solvable anabelian geometry of number fields

Authors: Mohamed Saidi, Akio Tamagawa

Abstract: 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.… ▽ More 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}$. △ Less

Submitted 19 April, 2022; v1 submitted 19 September, 2019; originally announced September 2019.

Comments: Final version, to appear in Crelle journal

The cuspidalisation of sections of arithmetic fundamental groups II

Authors: Mohamed Saidi

Abstract: In this paper we investigate the theory of cuspidalisation of sections of arithmetic fundamental groups of hyperbolic curves to cuspidally i-th and 2/p-th step prosolvable arithmetic fundamental groups. As a consequence we exhibit two, necessary and sufficient, conditions for sections of arithmetic fundamental groups of hyperbolic curves over p-adic local fields to arise from rational points. We a… ▽ More In this paper we investigate the theory of cuspidalisation of sections of arithmetic fundamental groups of hyperbolic curves to cuspidally i-th and 2/p-th step prosolvable arithmetic fundamental groups. As a consequence we exhibit two, necessary and sufficient, conditions for sections of arithmetic fundamental groups of hyperbolic curves over p-adic local fields to arise from rational points. We also exhibit a class of sections of arithmetic fundamental groups of p-adic curves which are orthogonal to Pic, and which satisfy (unconditionally) one of the above conditions. △ Less

Submitted 18 September, 2019; originally announced September 2019.

Journal ref: Advances in Mathematics 2019 (October)

A refined version of Grothendieck's anabelian conjecture for hyperbolic curves over finite fields

Authors: Mohamed Saidi, Akio Tamagawa

Abstract: In this paper we prove a refined version of a theorem by Tamagawa and Mochizuki on isomorphisms between (tame) arithmetic fundamental groups of hyperbolic curves over finite fields, where one "ignores" the information provided by a "small" set of primes. In this paper we prove a refined version of a theorem by Tamagawa and Mochizuki on isomorphisms between (tame) arithmetic fundamental groups of hyperbolic curves over finite fields, where one "ignores" the information provided by a "small" set of primes. △ Less

Submitted 27 August, 2017; originally announced August 2017.

Comments: 55 pages, to appear in Journal of Algebraic Geometry. arXiv admin note: text overlap with arXiv:0801.1452

Galois covers of type (p,...,p), vanishing cycles formula, and the existence of torsor structures

Authors: Mohamed Saidi, Nicholas Williams

Abstract: In this article we prove a local Riemman-Hurwitz formula which compares the dimensions of the spaces of vanishing cycles in a finite Galois cover of type (p,p,...,p) between formal germs of p-adic curves and which generalises the formula proven by the first author in the case of Galois covers of degree p. We also investigate the problem of the existence of a torsor structure for a finite Galois co… ▽ More In this article we prove a local Riemman-Hurwitz formula which compares the dimensions of the spaces of vanishing cycles in a finite Galois cover of type (p,p,...,p) between formal germs of p-adic curves and which generalises the formula proven by the first author in the case of Galois covers of degree p. We also investigate the problem of the existence of a torsor structure for a finite Galois cover of type (p,p,...,p) between p-adic schemes. △ Less

Submitted 14 February, 2017; v1 submitted 23 June, 2016; originally announced June 2016.

Comments: Final version, to appear in Osaka Journal of Mathematics

Etale fundamental groups of affinoid $p$-adic curves

Authors: Mohamed Saidi

Abstract: We prove that the geometric etale fundamental group of a (geometrically connected) rigid smooth $p$-adic affinoid curve is a semi-direct factor of a certain profinite free group. We also prove that the maximal pro-$p$ (resp. maximal prime-to-$p$) quotient of this geometric étale fundamental group is pro-$p$ free of infinite rank (resp. (pro-)prime-to-$p$ free of finite computable rank). We prove that the geometric etale fundamental group of a (geometrically connected) rigid smooth $p$-adic affinoid curve is a semi-direct factor of a certain profinite free group. We also prove that the maximal pro-$p$ (resp. maximal prime-to-$p$) quotient of this geometric étale fundamental group is pro-$p$ free of infinite rank (resp. (pro-)prime-to-$p$ free of finite computable rank). △ Less

Submitted 26 August, 2017; v1 submitted 12 May, 2016; originally announced May 2016.

Comments: Final version, to appear in Journal of Algebraic Geometry

On the section conjecture over function fields and finitely generated fields

Authors: Mohamed Saidi

Abstract: We investigate sections of arithmetic fundamental groups of hyperbolic curves over function fields. As a consequence we prove that the anabelian section conjecture of Grothendieck holds over all finitely generated fields over $\Bbb Q$ if it holds over all number fields, under the condition of finiteness (of the $\ell$-primary parts) of certain Shafarevich-Tate groups. We also prove that if the sec… ▽ More We investigate sections of arithmetic fundamental groups of hyperbolic curves over function fields. As a consequence we prove that the anabelian section conjecture of Grothendieck holds over all finitely generated fields over $\Bbb Q$ if it holds over all number fields, under the condition of finiteness (of the $\ell$-primary parts) of certain Shafarevich-Tate groups. We also prove that if the section conjecture holds over all number fields then it holds over all finitely generated fields for curves which are defined over a number field. △ Less

Submitted 14 February, 2017; v1 submitted 3 December, 2015; originally announced December 2015.

Comments: Final version

Journal ref: Publ. RIMS Kyoto univ. (52) 2016, 335-357

A refined version of Grothendieck's birational anabelian conjecture for curves over finite fields

Authors: Mohamed Saidi, Akio Tamagawa

Abstract: In this paper we prove a refined version of Uchida's theorem on isomorphisms between absolute Galois groups of global fields in positive characteristics, where one "ignores" the information provided by a "small" set of primes. In this paper we prove a refined version of Uchida's theorem on isomorphisms between absolute Galois groups of global fields in positive characteristics, where one "ignores" the information provided by a "small" set of primes. △ Less

Submitted 14 February, 2017; v1 submitted 3 December, 2015; originally announced December 2015.

Comments: Final version, to appear in Advances in Mathematics (2017)

On the arithmetic of abelian varieties

Authors: Mohamed Saidi, Akio Tamagawa

Abstract: We prove some new results on the arithmetic of abelian varieties over function fields of one variable over finitely generated (infinite) fields. Among other things, we introduce certain new natural objects `discrete Selmer groups' and `discrete Shafarevich-Tate groups', and prove that they are finitely generated $\Bbb Z$-modules. Further, we prove that in the isotrivial case, the discrete Shafarev… ▽ More We prove some new results on the arithmetic of abelian varieties over function fields of one variable over finitely generated (infinite) fields. Among other things, we introduce certain new natural objects `discrete Selmer groups' and `discrete Shafarevich-Tate groups', and prove that they are finitely generated $\Bbb Z$-modules. Further, we prove that in the isotrivial case, the discrete Shafarevich-Tate group vanishes and the discrete Selmer group coincides with the Mordell-Weil group. One of the key ingredients to prove these results is a new specialisation theorem à la Néron for first Galois cohomology groups, of the ($l$-adic) Tate module of abelian varieties which generalises Néron's specialisation theorem for rational points of abelian varieties. △ Less

Submitted 13 August, 2018; v1 submitted 2 December, 2015; originally announced December 2015.

Comments: Final version, to appear in Crelle Journal

On the existence of a torsor structure for Galois covers over a complete discrete valuation ring

Authors: Mohamed Saidi, Nicholas Williams

Abstract: 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). 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). △ Less

Submitted 23 October, 2015; originally announced October 2015.

Variation of fundamental groups of curves in positive characteristics

Authors: Mohamed Saidi, Akio Tamagawa

Abstract: 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. 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. △ Less

Submitted 23 October, 2015; originally announced October 2015.

Comments: Accepted for publication in Journal of Algebraic Geometry

On the existence of non-geometric sections of arithmetic fundamental groups

Authors: Mohamed Saidi

Abstract: 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. 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. △ Less

Submitted 23 October, 2015; originally announced October 2015.

Journal ref: Mathematische Zeitschrift 277, no. 1-2 (2014), 361-372

A local-global principle for torsors under geometric prosolvable fundamental groups

Authors: Mohamed Saidi

Abstract: We prove a local-global principle for torsors under the prosolvable geometric fundamental group of a hyperbolic curve over a number field. We prove a local-global principle for torsors under the prosolvable geometric fundamental group of a hyperbolic curve over a number field. △ Less

Submitted 23 October, 2015; originally announced October 2015.

Journal ref: Manuscripta Mathematica 145, no. 1-2 (2014), 163-174

On the birational anabelian section conjecture

Authors: Mohamed Saidi

Abstract: 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 sequen… ▽ More 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. △ Less

Submitted 29 November, 2012; originally announced November 2012.

Comments: Manuscript available January 2012

Around the Grothendieck Anabelian Section Conjecture

Authors: Mohamed Saidi

Abstract: 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. 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. △ Less

Submitted 7 October, 2010; v1 submitted 6 October, 2010; originally announced October 2010.

Comments: 31 pages

Good Sections of Arithmetic Fundamental Groups

Authors: Mohamed Saidi

Abstract: 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 fundame… ▽ More 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. △ Less

Submitted 6 October, 2010; originally announced October 2010.

Comments: 53 pages

Fake Liftings of Galois Covers between Smooth Curves

Authors: Mohamed Saidi

Abstract: 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 b… ▽ More 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. △ Less

Submitted 6 October, 2010; originally announced October 2010.

Comments: 52 pages

On The Hom-Form of Grothendieck's Birational Anabelian Conjecture in Characteristic p>0

Authors: Mohamed Saidi, Akio Tamagawa

Abstract: We prove that a certain class of open homomorphisms between Galois groups of function fields of curves over finite fields arise from embeddings between the function fields. We prove that a certain class of open homomorphisms between Galois groups of function fields of curves over finite fields arise from embeddings between the function fields. △ Less

Submitted 10 December, 2009; originally announced December 2009.

A prime-to-p version of the Grothendieck anabelian conjecture for hyperbolic curves over finite fields of characteristic p>0

Authors: Mohamed Saidi, Akio Tamagawa

Abstract: In this paper, we prove a prime-to-p version of Grothendieck's anabelian conjecture for hyperbolic curves over finite fields of characteristic p>0, whose original (full profinite) version was proved by Tamagawa in the affine case and by Mochizuki in the proper case. In this paper, we prove a prime-to-p version of Grothendieck's anabelian conjecture for hyperbolic curves over finite fields of characteristic p>0, whose original (full profinite) version was proved by Tamagawa in the affine case and by Mochizuki in the proper case. △ Less

Submitted 14 January, 2008; v1 submitted 9 January, 2008; originally announced January 2008.

Cyclic p-groups and semi-stable reduction of curves in equal characteristic p>0

Authors: Mohamed Saidi

Abstract: In this paper we study the semi-stable reduction of $p$ and $p^2$-cyclic covers of curves in equal characteristic $p>0$. The main tool we use is the classical Artin-Schreier-Witt theory for $p^n$-cyclic covers in characteristic $p$. Although the results of this paper concern only the cases of degree $p$ and $p^2$-cyclic cover we develop the techniques and the framework in which the general cycli… ▽ More In this paper we study the semi-stable reduction of $p$ and $p^2$-cyclic covers of curves in equal characteristic $p>0$. The main tool we use is the classical Artin-Schreier-Witt theory for $p^n$-cyclic covers in characteristic $p$. Although the results of this paper concern only the cases of degree $p$ and $p^2$-cyclic cover we develop the techniques and the framework in which the general cyclic case can be studied. △ Less

Submitted 27 May, 2004; originally announced May 2004.

Comments: 54 pages

On complete families of curves with a given fundamental group in positive characteristic

Authors: Mohamed saidi

Abstract: In this paper we prove that complete families of smooth and projective curves, of genusg>2, in characteristic p>0, with a constant geometric fundamental group, are isotrivial. In this paper we prove that complete families of smooth and projective curves, of genusg>2, in characteristic p>0, with a constant geometric fundamental group, are isotrivial. △ Less

Submitted 8 May, 2003; originally announced May 2003.

Comments: 20 pages

Galois covers of degree p: semi-stable reduction and Galois action

Authors: Mohamed Saidi

Abstract: In this paper we study the semi-stable reduction of Galois covers of degree p above semi-stable curves over a complete discrete valuation ring of inequal characteristics (0,p). We are also able to describe the Galois action on these covers in terms of some geometric and combinatorial datas in characteristic p endowed with the action of the Galois group of the residue field. In this paper we study the semi-stable reduction of Galois covers of degree p above semi-stable curves over a complete discrete valuation ring of inequal characteristics (0,p). We are also able to describe the Galois action on these covers in terms of some geometric and combinatorial datas in characteristic p endowed with the action of the Galois group of the residue field. △ Less

Submitted 28 June, 2001; originally announced June 2001.

Comments: 25 pages amstex, 5 pictures

Wild ramification and a vanishing cycles formula

Authors: Mohamed Saidi

Abstract: In this paper we prove an explicit formula which compares the dimensions of the spaces of vanishing cycles in a Galois cover of degree p between formal germ of curves over a complete discrete valuation ring of inequal characteristics (0,p). This formula can be easily generalised to the case of a Galois cover with group which is nilpotent or which has a normal p-Sylow subgroup. The results of thi… ▽ More In this paper we prove an explicit formula which compares the dimensions of the spaces of vanishing cycles in a Galois cover of degree p between formal germ of curves over a complete discrete valuation ring of inequal characteristics (0,p). This formula can be easily generalised to the case of a Galois cover with group which is nilpotent or which has a normal p-Sylow subgroup. The results of this paper play a key role in [Sa-1] where is studied the semi-stable reduction of Galois covers of degree p above semi-stable curves over a complete discrete valuation ring of inequal characteristics (0,p), as well as the Galois action on these covers. △ Less

Submitted 28 June, 2001; originally announced June 2001.

Comments: 19 pages amstex, 9 pictures

Torsors under finite and flat group schemes of rank p with Galois action

Authors: Mohamed saidi

Abstract: In this note we study the geometry of torsors under flat and finite commutative group schemes of rank p above curves in characteristic p and above relative curves over a complete discrete valuation ring of inequal characteristics. In bothe cases we study the Galois action of the Galois group of the base field on these torsors. We also study degeneration of $μ_p$-torsors from characteristic 0 to… ▽ More In this note we study the geometry of torsors under flat and finite commutative group schemes of rank p above curves in characteristic p and above relative curves over a complete discrete valuation ring of inequal characteristics. In bothe cases we study the Galois action of the Galois group of the base field on these torsors. We also study degeneration of $μ_p$-torsors from characteristic 0 to characteristic p and show that this degeneration is compatible with the Galois action. We then discuss the lifting of torsors under flat and commutative group schemes of rank p from positive to 0 characteristics. finally, for a proper and smooth curve X over a complete discrete valuation field of inequal characteristics we show the existence of a canonical Galois equivariant filtration on the first etale cohomology group of the geometric fibre of X with values in $μ_p$. This apaper is the first of a series of papers [Sa] and [Sa-1] where we compute the vanishing cycles arising from degeneration of $μ_p$-torsors above curves as well as the semi-stable reduction of these torsors and the Galois action on them. △ Less

Submitted 3 July, 2001; v1 submitted 28 June, 2001; originally announced June 2001.

Comments: 17 pages amstex, weakend hypothesis in 2.4 the statement with the original hypothesis being wrong