Showing 1–50 of 53 results for author: Caruso, X

Selfdual skew cyclic codes

Authors: Xavier Caruso, Fabrice Drain

Abstract: Given a finite extension $K/F$ of degree $r$ of a finite field $F$, we enumerate all selfdual skew cyclic codes in the Ore quotient ring $K[X;\text{Frob}]/(X^{rk}-1)$ for any positive integer $k$ coprime to the characteristic $p$ (separable case). We also provide an enumeration algorithm when $k$ is a power of $p$ (purely inseparable case), at the cost of some redundancies. Our approach is based o… ▽ More Given a finite extension $K/F$ of degree $r$ of a finite field $F$, we enumerate all selfdual skew cyclic codes in the Ore quotient ring $K[X;\text{Frob}]/(X^{rk}-1)$ for any positive integer $k$ coprime to the characteristic $p$ (separable case). We also provide an enumeration algorithm when $k$ is a power of $p$ (purely inseparable case), at the cost of some redundancies. Our approach is based on an explicit bijection between skew cyclic codes, on the one hand, and certain families of $F$-linear subspaces of some extensions of $K$. Finally, we report on an implementation in SageMath. △ Less

Submitted 16 October, 2024; originally announced October 2024.

Reed-Muller codes in the sum-rank metric

Authors: Elena Berardini, Xavier Caruso

Abstract: We introduce the sum-rank metric analogue of Reed-Muller codes, which we called linearized Reed-Muller codes, using multivariate Ore polynomials. We study the parameters of these codes, compute their dimension and give a lower bound for their minimum distance. Our codes exhibit quite good parameters, respecting a similar bound to Reed-Muller codes in the Hamming metric. Finally, we also show that… ▽ More We introduce the sum-rank metric analogue of Reed-Muller codes, which we called linearized Reed-Muller codes, using multivariate Ore polynomials. We study the parameters of these codes, compute their dimension and give a lower bound for their minimum distance. Our codes exhibit quite good parameters, respecting a similar bound to Reed-Muller codes in the Hamming metric. Finally, we also show that many of the newly introduced linearized Reed--Muller codes can be embedded in some linearized Algebraic Geometry codes, a property which could turn out to be useful in light of decoding. △ Less

Submitted 16 May, 2024; originally announced May 2024.

Computation of classical and $v$-adic $L$-series of $t$-motives

Authors: Xavier Caruso, Quentin Gazda

Abstract: We design an algorithm for computing the $L$-series associated to an Anderson $t$-motives, exhibiting quasilinear complexity with respect to the target precision. Based on experiments, we conjecture that the order of vanishing at $T=1$ of the $v$-adic $L$-series of a given Anderson $t$-motive with good reduction does not depend on the finite place $v$. We design an algorithm for computing the $L$-series associated to an Anderson $t$-motives, exhibiting quasilinear complexity with respect to the target precision. Based on experiments, we conjecture that the order of vanishing at $T=1$ of the $v$-adic $L$-series of a given Anderson $t$-motive with good reduction does not depend on the finite place $v$. △ Less

Submitted 23 January, 2024; originally announced January 2024.

Algorithms for computing norms and characteristic polynomials on general Drinfeld modules

Authors: Xavier Caruso, Antoine Leudière

Abstract: We provide two families of algorithms to compute characteristic polynomials of endomorphisms and norms of isogenies of Drinfeld modules. Our algorithms work for Drinfeld modules of any rank, defined over any base curve. When the base curve is $\mathbb P^1_{\mathbb F_q}$, we do a thorough study of the complexity, demonstrating that our algorithms are, in many cases, the most asymptotically performa… ▽ More We provide two families of algorithms to compute characteristic polynomials of endomorphisms and norms of isogenies of Drinfeld modules. Our algorithms work for Drinfeld modules of any rank, defined over any base curve. When the base curve is $\mathbb P^1_{\mathbb F_q}$, we do a thorough study of the complexity, demonstrating that our algorithms are, in many cases, the most asymptotically performant. The first family of algorithms relies on the correspondence between Drinfeld modules and Anderson motives, reducing the computation to linear algebra over a polynomial ring. The second family, available only for the Frobenius endomorphism, is based on a formula expressing the characteristic polynomial of the Frobenius as a reduced norm in a central simple algebra. △ Less

Submitted 30 January, 2024; v1 submitted 6 July, 2023; originally announced July 2023.

A sharper multivariate Christol's theorem with applications to diagonals and Hadamard products

Authors: Boris Adamczewski, Alin Bostan, Xavier Caruso

Abstract: We provide a new proof of the multivariate version of Christol's theorem about algebraic power series with coefficients in finite fields, as well as of its extension to perfect ground fields of positive characteristic obtained independently by Denef and Lipshitz, Sharif and Woodcok, and Harase. Our proof is elementary, effective, and allows for much sharper estimates. We discuss various applicatio… ▽ More We provide a new proof of the multivariate version of Christol's theorem about algebraic power series with coefficients in finite fields, as well as of its extension to perfect ground fields of positive characteristic obtained independently by Denef and Lipshitz, Sharif and Woodcok, and Harase. Our proof is elementary, effective, and allows for much sharper estimates. We discuss various applications of such estimates, in particular to a problem raised by Deligne concerning the algebraicity degree of reductions modulo $p$ of diagonals of multivariate algebraic power series with integer coefficients. △ Less

Submitted 5 June, 2023; originally announced June 2023.

Comments: 32 pages

Drinfeld modules in SageMath

Authors: David Ayotte, Xavier Caruso, Antoine Leudière, Joseph Musleh

Abstract: We present the first implementation of Drinfeld modules fully integrated in the SageMath ecosystem. First features will be released with SageMath 10.0. We present the first implementation of Drinfeld modules fully integrated in the SageMath ecosystem. First features will be released with SageMath 10.0. △ Less

Submitted 30 April, 2023; originally announced May 2023.

Algebraic solutions of linear differential equations: an arithmetic approach

Authors: Alin Bostan, Xavier Caruso, Julien Roques

Abstract: Given a linear differential equation with coefficients in $\mathbb{Q}(x)$, an important question is to know whether its full space of solutions consists of algebraic functions, or at least if one of its specific solutions is algebraic. After presenting motivating examples coming from various branches of mathematics, we advertise in an elementary way a beautiful local-global arithmetic approach to… ▽ More Given a linear differential equation with coefficients in $\mathbb{Q}(x)$, an important question is to know whether its full space of solutions consists of algebraic functions, or at least if one of its specific solutions is algebraic. After presenting motivating examples coming from various branches of mathematics, we advertise in an elementary way a beautiful local-global arithmetic approach to these questions, initiated by Grothendieck in the late sixties. This approach has deep ramifications and leads to the still unsolved Grothendieck-Katz $p$-curvature conjecture. △ Less

Submitted 22 August, 2024; v1 submitted 11 April, 2023; originally announced April 2023.

Comments: 52 pages, 2 figures, to appear in the Bulletin of the AMS

MSC Class: Primary: 11-02; Secondary: 12H05; 33C20. 12H25; 34A20; 34A30; 34M15; 05A15; 68W30

Algebraic Geometry codes in the sum-rank metric

Authors: Elena Berardini, Xavier Caruso

Abstract: We introduce the first geometric construction of codes in the sum-rank metric, which we called linearized Algebraic Geometry codes, using quotients of the ring of Ore polynomials with coefficients in the function field of an algebraic curve. We study the parameters of these codes and give lower bounds for their dimension and minimum distance. Our codes exhibit quite good parameters, respecting a s… ▽ More We introduce the first geometric construction of codes in the sum-rank metric, which we called linearized Algebraic Geometry codes, using quotients of the ring of Ore polynomials with coefficients in the function field of an algebraic curve. We study the parameters of these codes and give lower bounds for their dimension and minimum distance. Our codes exhibit quite good parameters, respecting a similar bound to Goppa's bound for Algebraic Geometry codes in the Hamming metric. Furthermore, our construction yields codes asymptotically better than the sum-rank version of the Gilbert-Varshamov bound. △ Less

Submitted 29 May, 2024; v1 submitted 15 March, 2023; originally announced March 2023.

Journal ref: IEEE Transactions on Information Theory, vol. 70, no. 5, pp. 3345-3356, May 2024

Can we dream of a 1-adic Langlands correspondence?

Authors: Xavier Caruso, Agnès David, Ariane Mézard

Abstract: After observing that some constructions and results in the $p$-adic Langlands programme are somehow independent from $p$, we formulate the hypothesis that this astonishing uniformity could be explained by a 1-adic Langlands correspondence. After observing that some constructions and results in the $p$-adic Langlands programme are somehow independent from $p$, we formulate the hypothesis that this astonishing uniformity could be explained by a 1-adic Langlands correspondence. △ Less

Submitted 1 April, 2022; originally announced April 2022.

On Polynomial Ideals And Overconvergence In Tate Algebras

Authors: Xavier Caruso, Tristan Vaccon, Thibaut Verron

Abstract: In this paper, we study ideals spanned by polynomials or overconvergent series in a Tate algebra. With state-of-the-art algorithms for computing Tate Gr{ö}bner bases, even if the input is polynomials, the size of the output grows with the required precision, both in terms of the size of the coefficients and the size of the support of the series. We prove that ideals which are spanned by polynomial… ▽ More In this paper, we study ideals spanned by polynomials or overconvergent series in a Tate algebra. With state-of-the-art algorithms for computing Tate Gr{ö}bner bases, even if the input is polynomials, the size of the output grows with the required precision, both in terms of the size of the coefficients and the size of the support of the series. We prove that ideals which are spanned by polynomials admit a Tate Gr{ö}bner basis made of polynomials, and we propose an algorithm, leveraging Mora's weak normal form algorithm, for computing it. As a result, the size of the output of this algorithm grows linearly with the precision. Following the same ideas, we propose an algorithm which computes an overconvergent basis for an ideal spanned by overconvergent series. Finally, we prove the existence of a universal analytic Gr{ö}bner basis for polynomial ideals in Tate algebras, compatible with all convergence radii. △ Less

Submitted 15 February, 2022; originally announced February 2022.

Duals of linearized Reed-Solomon codes

Authors: Xavier Caruso, Amaury Durand

Abstract: We give a description of the duals of linearized Reed-Solomon codes in terms of codes obtained by taking residues of Ore rational functions. Our construction shows in particular that, under some assumptions on the base field, the class of linearized Reed-Solomon codes is stable under duality. As a byproduct of our work, we develop a theory of residues in the Ore setting. We give a description of the duals of linearized Reed-Solomon codes in terms of codes obtained by taking residues of Ore rational functions. Our construction shows in particular that, under some assumptions on the base field, the class of linearized Reed-Solomon codes is stable under duality. As a byproduct of our work, we develop a theory of residues in the Ore setting. △ Less

Submitted 25 October, 2021; originally announced October 2021.

Where are the zeroes of a random p-adic polynomial?

Authors: Xavier Caruso

Abstract: We study the repartition of the roots of a random p-adic polynomial in an algebraic closure of Qp.We prove that the mean number of roots generating a fixed finite extension K of Qp depends mostly on the discriminant of K, an extension containing less roots when it gets more ramified. We prove further that, for any positive integer r, a random p-adic polynomial of sufficiently large degree has abou… ▽ More We study the repartition of the roots of a random p-adic polynomial in an algebraic closure of Qp.We prove that the mean number of roots generating a fixed finite extension K of Qp depends mostly on the discriminant of K, an extension containing less roots when it gets more ramified. We prove further that, for any positive integer r, a random p-adic polynomial of sufficiently large degree has about r roots on average in extensions of degree at most r.Beyond the mean, we also study higher moments and correlations between the number of roots in two given subsets of Qp (or, more generally, of a finite extension of Qp). In this perspective, we notably establish results highlighting that the roots tend to repel each other and quantify this phenomenon. △ Less

Submitted 8 October, 2021; originally announced October 2021.

Fast evaluation of some p-adic transcendental functions

Authors: Xavier Caruso, Marc Mezzarobba, Nobuki Takayama, Tristan Vaccon

Abstract: We design algorithms for computing values of many p-adic elementary and special functions, including logarithms, exponentials, polylogarithms, and hypergeometric functions. All our algorithms feature a quasi-linear complexity with respect to the target precision and most of them are based on an adaptation to the-adic setting of the binary splitting and bit-burst strategies. We design algorithms for computing values of many p-adic elementary and special functions, including logarithms, exponentials, polylogarithms, and hypergeometric functions. All our algorithms feature a quasi-linear complexity with respect to the target precision and most of them are based on an adaptation to the-adic setting of the binary splitting and bit-burst strategies. △ Less

Submitted 17 June, 2021; originally announced June 2021.

Combinatorics of Serre weights in the potentially Barsotti-Tate setting

Authors: Xavier Caruso, Agnès David, Ariane Mézard

Abstract: Let $F$ be a finite unramified extension of $\mathbb Q\_p$ and $\barρ$ be an absolutely irreducible mod~$p$ $2$-dimensional representation of the absolute Galois group of $F$. Let $t$ be a tame inertial type of $F$. We conjecture that the deformation space parametrizing the potentially Barsotti--Tate liftings of $\barρ$ having type $t$ depends only on the Kisin variety attached to the situation, e… ▽ More Let $F$ be a finite unramified extension of $\mathbb Q\_p$ and $\barρ$ be an absolutely irreducible mod~$p$ $2$-dimensional representation of the absolute Galois group of $F$. Let $t$ be a tame inertial type of $F$. We conjecture that the deformation space parametrizing the potentially Barsotti--Tate liftings of $\barρ$ having type $t$ depends only on the Kisin variety attached to the situation, enriched with its canonical embedding into $(\mathbb P^1)^f$ and its shape stratification. We give evidences towards this conjecture by proving that the Kisin variety determines the cardinality of the set of common Serre weights $D(t,\barρ) = D(t) \cap D(\barρ)$. Besides, we prove that this dependance is nondecreasing (the smaller is the Kisin variety, the smaller is the number of common Serre weights) and compatible with products (if the Kisin variety splits as a product, so does the number of weights). △ Less

Submitted 8 November, 2021; v1 submitted 10 May, 2021; originally announced May 2021.

Journal ref: Moscow J. Comb. Number Th. 12 (2023) 1-56

On FGLM Algorithms with Tate Algebras

Authors: Xavier Caruso, Tristan Vaccon, Thibaut Verron

Abstract: Tate introduced in [Ta71] the notion of Tate algebras to serve, in the context of analytic geometry over the-adics, as a counterpart of polynomial algebras in classical algebraic geometry. In [CVV19, CVV20] the formalism of Gr{ö}bner bases over Tate algebras has been introduced and advanced signature-based algorithms have been proposed. In the present article, we extend the FGLM algorithm of [FGLM… ▽ More Tate introduced in [Ta71] the notion of Tate algebras to serve, in the context of analytic geometry over the-adics, as a counterpart of polynomial algebras in classical algebraic geometry. In [CVV19, CVV20] the formalism of Gr{ö}bner bases over Tate algebras has been introduced and advanced signature-based algorithms have been proposed. In the present article, we extend the FGLM algorithm of [FGLM93] to Tate algebras. Beyond allowing for fast change of ordering, this strategy has two other important benefits. First, it provides an efficient algorithm for changing the radii of convergence which, in particular, makes effective the bridge between the polynomial setting and the Tate setting and may help in speeding up the computation of Gr{ö}bner basis over Tate algebras. Second, it gives the foundations for designing a fast algorithm for interreduction, which could serve as basic primitive in our previous algorithms and accelerate them significantly. △ Less

Submitted 10 February, 2021; originally announced February 2021.

Fast computation of elliptic curve isogenies in characteristic two

Authors: Xavier Caruso, Elie Eid, Reynald Lercier

Abstract: We propose an algorithm that calculates isogenies between elliptic curves defined over an extension $K$ of $\mathbb{Q}_2$. It consists in efficiently solving with a logarithmic loss of $2$-adic precision the first order differential equation satisfied by the isogeny. We give some applications, especially computing over finite fields of characteristic 2 isogenies of elliptic curves and irreducibl… ▽ More We propose an algorithm that calculates isogenies between elliptic curves defined over an extension $K$ of $\mathbb{Q}_2$. It consists in efficiently solving with a logarithmic loss of $2$-adic precision the first order differential equation satisfied by the isogeny. We give some applications, especially computing over finite fields of characteristic 2 isogenies of elliptic curves and irreducible polynomials, both in quasi-linear time in the degree. △ Less

Submitted 17 May, 2021; v1 submitted 13 March, 2020; originally announced March 2020.

MSC Class: 11G20; 12H25; 14Q05

Signature-based algorithms for Gr{ö}bner bases over Tate algebras

Authors: Xavier Caruso, Tristan Vaccon, Thibaut Verron

Abstract: Introduced by Tate in [Ta71], Tate algebras play a major role in the context of analytic geometry over the-adics, where they act as a counterpart to the use of polynomial algebras in classical algebraic geometry. In [CVV19] the formalism of Gr{ö}bner bases over Tate algebras has been introduced and effectively implemented. One of the bottleneck in the algorithms was the time spent on reduction , w… ▽ More Introduced by Tate in [Ta71], Tate algebras play a major role in the context of analytic geometry over the-adics, where they act as a counterpart to the use of polynomial algebras in classical algebraic geometry. In [CVV19] the formalism of Gr{ö}bner bases over Tate algebras has been introduced and effectively implemented. One of the bottleneck in the algorithms was the time spent on reduction , which are significantly costlier than over polynomials. In the present article, we introduce two signature-based Gr{ö}bner bases algorithms for Tate algebras, in order to avoid many reductions. They have been implemented in SageMath. We discuss their superiority based on numerical evidences. △ Less

Submitted 10 May, 2021; v1 submitted 11 February, 2020; originally announced February 2020.

Comments: ISSAC 2021 - International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece

Residues of skew rational functions

Authors: Xavier Caruso

Abstract: This paper constitutes a first attempt to do analysis with skew polynomials. Precisely, our main objective is to develop a theory of residues for skew rational functions (which are, by definition, the quotients of two skew polynomials). We prove in particular a skew analogue of the residue formula and a skew analogue of the classical formula of change of variables for residues. This paper constitutes a first attempt to do analysis with skew polynomials. Precisely, our main objective is to develop a theory of residues for skew rational functions (which are, by definition, the quotients of two skew polynomials). We prove in particular a skew analogue of the residue formula and a skew analogue of the classical formula of change of variables for residues. △ Less

Submitted 17 June, 2021; v1 submitted 22 August, 2019; originally announced August 2019.

An introduction to p-adic period rings

Authors: Xavier Caruso

Abstract: This paper is the augmented notes of a course I gave jointly with Laurent Berger in Rennes in 2014. Its aim was to introduce the periods rings B crys and B dR and state several comparison theorems between{é}tale and crystalline or de Rham cohomologies for p-adic varieties. This paper is the augmented notes of a course I gave jointly with Laurent Berger in Rennes in 2014. Its aim was to introduce the periods rings B crys and B dR and state several comparison theorems between{é}tale and crystalline or de Rham cohomologies for p-adic varieties. △ Less

Submitted 22 August, 2019; originally announced August 2019.

Comments: An introduction to p-adic Hodge theory, In press

Gr{ö}bner bases over Tate algebras

Authors: Xavier Caruso, Tristan Vaccon, Thibaut Verron

Abstract: Tate algebras are fundamental objects in the context of analytic geometry over the p-adics. Roughly speaking, they play the same role as polynomial algebras play in classical algebraic geometry. In the present article, we develop the formalism of Gr{ö}bner bases for Tate algebras. We prove an analogue of the Buchberger criterion in our framework and design a Buchberger-like and a F4-like algorithm… ▽ More Tate algebras are fundamental objects in the context of analytic geometry over the p-adics. Roughly speaking, they play the same role as polynomial algebras play in classical algebraic geometry. In the present article, we develop the formalism of Gr{ö}bner bases for Tate algebras. We prove an analogue of the Buchberger criterion in our framework and design a Buchberger-like and a F4-like algorithm for computing Gr{ö}bner bases over Tate algebras. An implementation in SM is also discussed. △ Less

Submitted 28 January, 2019; originally announced January 2019.

Reed-Solomon-Gabidulin Codes

Authors: Xavier Caruso, Amaury Durand

Abstract: We introduce Reed-Solomon-Gabidulin codes which is, at the same time, an extension to Reed-Solomon codes on the one hand and Gabidulin codes on the other hand. We prove that our codes have good properties with respect to the minimal distance and design an efficient decoding algorithm. We introduce Reed-Solomon-Gabidulin codes which is, at the same time, an extension to Reed-Solomon codes on the one hand and Gabidulin codes on the other hand. We prove that our codes have good properties with respect to the minimal distance and design an efficient decoding algorithm. △ Less

Submitted 14 January, 2019; v1 submitted 21 December, 2018; originally announced December 2018.

Fast Coefficient Computation for Algebraic Power Series in Positive Characteristic

Authors: Alin Bostan, Xavier Caruso, Gilles Christol, Philippe Dumas

Abstract: We revisit Christol's theorem on algebraic power series in positive characteristic and propose yet another proof for it. This new proof combines several ingredients and advantages of existing proofs, which make it very well-suited for algorithmic purposes. We apply the construction used in the new proof to the design of a new efficient algorithm for computing the $N$th coefficient of a given algeb… ▽ More We revisit Christol's theorem on algebraic power series in positive characteristic and propose yet another proof for it. This new proof combines several ingredients and advantages of existing proofs, which make it very well-suited for algorithmic purposes. We apply the construction used in the new proof to the design of a new efficient algorithm for computing the $N$th coefficient of a given algebraic power series over a perfect field of characteristic~$p$. It has several nice features: it is more general, more natural and more efficient than previous algorithms. Not only the arithmetic complexity of the new algorithm is linear in $\log N$ and quasi-linear in~$p$, but its dependency with respect to the degree of the input is much smaller than in the previously best algorithm. {Moreover, when the ground field is finite, the new approach yields an even faster algorithm, whose bit complexity is linear in $\log N$ and quasi-linear in~$\sqrt{p}$}. △ Less

Submitted 18 June, 2018; originally announced June 2018.

Journal ref: Open Book Series 2 (2019) 119-135

ZpL: a p-adic precision package

Authors: Xavier Caruso, David Roe, Tristan Vaccon

Abstract: We present a new package ZpL for the mathematical software system SM. It implements a sharp tracking of precision on p-adic numbers, following the theory of ultrametric precision introduced in [4]. The underlying algorithms are mostly based on automatic dierentiation techniques. We introduce them, study their complexity and discuss our design choices. We illustrate the bene-ts of our package (in c… ▽ More We present a new package ZpL for the mathematical software system SM. It implements a sharp tracking of precision on p-adic numbers, following the theory of ultrametric precision introduced in [4]. The underlying algorithms are mostly based on automatic dierentiation techniques. We introduce them, study their complexity and discuss our design choices. We illustrate the bene-ts of our package (in comparison with previous implementations) with a large sample of examples coming from linear algebra, com-mutative algebra and dierential equations. △ Less

Submitted 23 February, 2018; originally announced February 2018.

Fast multiplication for skew polynomials

Authors: Xavier Caruso, Jérémy Le Borgne

Abstract: We describe an algorithm for fast multiplication of skew polynomials. It is based on fast modular multiplication of such skew polynomials, for which we give an algorithm relying on evaluation and interpolation on normal bases. Our algorithms improve the best known complexity for these problems, and reach the optimal asymptotic complexity bound for large degree. We also give an adaptation of our al… ▽ More We describe an algorithm for fast multiplication of skew polynomials. It is based on fast modular multiplication of such skew polynomials, for which we give an algorithm relying on evaluation and interpolation on normal bases. Our algorithms improve the best known complexity for these problems, and reach the optimal asymptotic complexity bound for large degree. We also give an adaptation of our algorithm for polynomials of small degree. Finally, we use our methods to improve on the best known complexities for various arithmetics problems. △ Less

Submitted 6 February, 2017; originally announced February 2017.

Characteristic polynomials of p-adic matrices

Authors: Xavier Caruso, David Roe, Tristan Vaccon

Abstract: We analyze the precision of the characteristic polynomial of an $n\times n$ p-adic matrix A using differential precision methods developed previously. When A is integral with precision O(p^N), we give a criterion (checkable in time O~(n^omega)) for $χ$(A) to have precision exactly O(p^N). We also give a O~(n^3) algorithm for determining the optimal precision when the criterion is not satisfied, an… ▽ More We analyze the precision of the characteristic polynomial of an $n\times n$ p-adic matrix A using differential precision methods developed previously. When A is integral with precision O(p^N), we give a criterion (checkable in time O~(n^omega)) for $χ$(A) to have precision exactly O(p^N). We also give a O~(n^3) algorithm for determining the optimal precision when the criterion is not satisfied, and give examples when the precision is larger than O(p^N). △ Less

Submitted 6 February, 2017; originally announced February 2017.

Computations with p-adic numbers

Authors: Xavier Caruso

Abstract: This document contains the notes of a lecture I gave at the "Journées Nationales du Calcul Formel" (JNCF) on January 2017. The aim of the lecture was to discuss low-level algorithmics for p-adic numbers. It is divided into two main parts: first, we present various implementations of p-adic numbers and compare them and second, we introduce a general framework for studying precision issues and apply… ▽ More This document contains the notes of a lecture I gave at the "Journées Nationales du Calcul Formel" (JNCF) on January 2017. The aim of the lecture was to discuss low-level algorithmics for p-adic numbers. It is divided into two main parts: first, we present various implementations of p-adic numbers and compare them and second, we introduce a general framework for studying precision issues and apply it in several concrete situations. △ Less

Submitted 24 January, 2017; originally announced January 2017.

Almost all non-archimedean Kakeya sets have measure zero

Authors: Xavier Caruso

Abstract: We study Kakeya sets over local non-archimedean fields with a probabilistic point of view: we define a probability measure on the set of Kakeya sets as above and prove that, according to this measure, almost all non-archimedean Kakeya sets are neglectable according to the Haar measure. We also discuss possible relations with the non-archimedean Kakeya conjecture. We study Kakeya sets over local non-archimedean fields with a probabilistic point of view: we define a probability measure on the set of Kakeya sets as above and prove that, according to this measure, almost all non-archimedean Kakeya sets are neglectable according to the Haar measure. We also discuss possible relations with the non-archimedean Kakeya conjecture. △ Less

Submitted 9 August, 2016; originally announced August 2016.

Computation of the Similarity Class of the p-Curvature

Authors: Alin Bostan, Xavier Caruso, Eric Schost

Abstract: The $p$-curvature of a system of linear differential equations in positive characteristic $p$ is a matrix that measures how far the system is from having a basis of polynomial solutions. We show that the similarity class of the $p$-curvature can be determined without computing the $p$-curvature itself. More precisely, we design an algorithm that computes the invariant factors of the $p$-curvature… ▽ More The $p$-curvature of a system of linear differential equations in positive characteristic $p$ is a matrix that measures how far the system is from having a basis of polynomial solutions. We show that the similarity class of the $p$-curvature can be determined without computing the $p$-curvature itself. More precisely, we design an algorithm that computes the invariant factors of the $p$-curvature in time quasi-linear in $\sqrt p$. This is much less than the size of the $p$-curvature, which is generally linear in $p$. The new algorithm allows to answer a question originating from the study of the Ising model in statistical physics. △ Less

Submitted 19 May, 2016; originally announced May 2016.

Comments: Proceedings of ISSAC 2016, to appear

MSC Class: 11Y16; 68W30; ACM Class: I.1.2

Division and Slope Factorization of p-Adic Polynomials

Authors: Xavier Caruso, David Roe, Tristan Vaccon

Abstract: We study two important operations on polynomials defined over complete discrete valuation fields: Euclidean division and factorization. In particular, we design a simple and efficient algorithm for computing slope factorizations, based on Newton iteration. One of its main features is that we avoid working with fractional exponents. We pay particular attention to stability, and analyze the behavior… ▽ More We study two important operations on polynomials defined over complete discrete valuation fields: Euclidean division and factorization. In particular, we design a simple and efficient algorithm for computing slope factorizations, based on Newton iteration. One of its main features is that we avoid working with fractional exponents. We pay particular attention to stability, and analyze the behavior of the algorithm using several precision models. △ Less

Submitted 3 February, 2016; originally announced February 2016.

Resultants and subresultants of p-adic polynomials

Authors: Xavier Caruso

Abstract: We address the problem of the stability of the computations of resultants and subresultants of polynomials defined over complete discrete valuation rings (e.g. Zp or k[[t]] where k is a field). We prove that Euclide-like algorithms are highly unstable on average and we explain, in many cases, how one can stabilize them without sacrifying the complexity. On the way, we completely determine the dist… ▽ More We address the problem of the stability of the computations of resultants and subresultants of polynomials defined over complete discrete valuation rings (e.g. Zp or k[[t]] where k is a field). We prove that Euclide-like algorithms are highly unstable on average and we explain, in many cases, how one can stabilize them without sacrifying the complexity. On the way, we completely determine the distribution of the valuation of the principal subresultants of two random monic p-adic polynomials having the same degree. △ Less

Submitted 23 July, 2015; originally announced July 2015.

Variétés de Kisin stratifiées et déformations potentiellement Barsotti-Tate

Authors: Xavier Caruso, Agnès David, Ariane Mézard

Abstract: Let F be a unramified finite extension of Qp and rhobar be an irreducible mod p two-dimensional representation of the absolute Galois group of F. The aim of this article is the explicit computation of the Kisin variety parameterizing the Breuil-Kisin modules associated to certain families of potentially Barsotti-Tate deformations of rhobar. We prove that this variety is a finite union of products… ▽ More Let F be a unramified finite extension of Qp and rhobar be an irreducible mod p two-dimensional representation of the absolute Galois group of F. The aim of this article is the explicit computation of the Kisin variety parameterizing the Breuil-Kisin modules associated to certain families of potentially Barsotti-Tate deformations of rhobar. We prove that this variety is a finite union of products of P^1. Moreover, it appears as an explicit closed subvariety of P^1^[F:\Qp]. We define a stratification of the Kisin variety by locally closed subschemes and explain how the Kisin variety equipped with its stratification may help in determining the ring of Barsotti-Tate deformations of rhobar. △ Less

Submitted 28 June, 2015; originally announced June 2015.

Comments: in French

MSC Class: 11F; 11S; 14G

Journal ref: J. Inst. Math. Jussieu 17 (2018) 1019-1064

A Fast Algorithm for Computing the p-Curvature

Authors: Alin Bostan, Xavier Caruso, Éric Schost

Abstract: We design an algorithm for computing the $p$-curvature of a differential system in positive characteristic $p$. For a system of dimension $r$ with coefficients of degree at most $d$, its complexity is $\softO (p d r^ω)$ operations in the ground field (where $ω$ denotes the exponent of matrix multiplication), whereas the size of the output is about $p d r^2$. Our algorithm is then quasi-optimal ass… ▽ More We design an algorithm for computing the $p$-curvature of a differential system in positive characteristic $p$. For a system of dimension $r$ with coefficients of degree at most $d$, its complexity is $\softO (p d r^ω)$ operations in the ground field (where $ω$ denotes the exponent of matrix multiplication), whereas the size of the output is about $p d r^2$. Our algorithm is then quasi-optimal assuming that matrix multiplication is (\emph{i.e.} $ω= 2$). The main theoretical input we are using is the existence of a well-suited ring of series with divided powers for which an analogue of the Cauchy--Lipschitz Theorem holds. △ Less

Submitted 18 June, 2015; originally announced June 2015.

Comments: ISSAC 2015, Jul 2015, Bath, United Kingdom

p-Adic Stability In Linear Algebra

Authors: Xavier Caruso, David Roe, Tristan Vaccon

Abstract: Using the differential precision methods developed previously by the same authors, we study the p-adic stability of standard operations on matrices and vector spaces. We demonstrate that lattice-based methods surpass naive methods in many applications, such as matrix multiplication and sums and intersections of subspaces. We also analyze determinants , characteristic polynomials and LU factorizati… ▽ More Using the differential precision methods developed previously by the same authors, we study the p-adic stability of standard operations on matrices and vector spaces. We demonstrate that lattice-based methods surpass naive methods in many applications, such as matrix multiplication and sums and intersections of subspaces. We also analyze determinants , characteristic polynomials and LU factorization using these differential methods. We supplement our observations with numerical experiments. △ Less

Submitted 18 June, 2015; originally announced June 2015.

Comments: ISSAC 2015, Jul 2015, Bath, United Kingdom. 2015

A fast algorithm for computing the characteristic polynomial of the p-curvature

Authors: Alin Bostan, Xavier Caruso, Éric Schost

Abstract: We discuss theoretical and algorithmic questions related to the $p$-curvature of differential operators in characteristic $p$. Given such an operator $L$, and denoting by $\Chi(L)$ the characteristic polynomial of its $p$-curvature, we first prove a new, alternative, description of $\Chi(L)$. This description turns out to be particularly well suited to the fast computation of $\Chi(L)$ when $p$ is… ▽ More We discuss theoretical and algorithmic questions related to the $p$-curvature of differential operators in characteristic $p$. Given such an operator $L$, and denoting by $\Chi(L)$ the characteristic polynomial of its $p$-curvature, we first prove a new, alternative, description of $\Chi(L)$. This description turns out to be particularly well suited to the fast computation of $\Chi(L)$ when $p$ is large: based on it, we design a new algorithm for computing $\Chi(L)$, whose cost with respect to $p$ is $\softO(p^{0.5})$ operations in the ground field. This is remarkable since, prior to this work, the fastest algorithms for this task, and even for the subtask of deciding nilpotency of the $p$-curvature, had merely slightly subquadratic complexity $\softO(p^{1.79})$. △ Less

Submitted 21 May, 2014; originally announced May 2014.

Comments: ISSAC - 39th International Symposium on Symbolic and Algebraic Computation (2014)

Tracking p-adic precision

Authors: Xavier Caruso, David Roe, Tristan Vaccon

Abstract: We present a new method to propagate $p$-adic precision in computations, which also applies to other ultrametric fields. We illustrate it with many examples and give a toy application to the stable computation of the SOMOS 4 sequence. We present a new method to propagate $p$-adic precision in computations, which also applies to other ultrametric fields. We illustrate it with many examples and give a toy application to the stable computation of the SOMOS 4 sequence. △ Less

Submitted 28 February, 2014; originally announced February 2014.

Un calcul d'anneaux de déformations potentiellement Barsotti--Tate

Authors: Xavier Caruso, Agnès David, Ariane Mézard

Abstract: Let F be an unramified extension of Qp. The first aim of this work is to develop a purely local method to compute the potentially Barsotti-Tate deformations rings with tame Galois type of irreducible two-dimensional representations of the absolute Galois group of F. We then apply our method in the particular case where F has degree 2 over Q_p and determine this way almost all these deformations ri… ▽ More Let F be an unramified extension of Qp. The first aim of this work is to develop a purely local method to compute the potentially Barsotti-Tate deformations rings with tame Galois type of irreducible two-dimensional representations of the absolute Galois group of F. We then apply our method in the particular case where F has degree 2 over Q_p and determine this way almost all these deformations rings. In this particular case, we observe a close relationship between the structure of these deformations rings and the geometry of the associated Kisin variety. As a corollary and still assuming that F has degree 2 over Q_p, we prove, except in two very particular cases, a conjecture of Kisin which predicts that intrinsic Galois multiplicities are all equal to 0 or 1. △ Less

Submitted 11 February, 2014; originally announced February 2014.

Comments: 57 pages, in French

Semi-simplified modulo $p$ of semi-stable representations: an algorithmic approach

Authors: Xavier Caruso, David Lubicz

Abstract: The aim of this paper is to present an algorithm the complexity of which is polynomial to compute the semi-simplified modulo $p$ of a semi-stable $\Q_p$-representation of the absolute Galois group of a $p$-adic field (\emph{i.e.} a finite extension of $\Q_p$). In order to do so, we use abundantly the $p$-adic Hodge theory and, in particular, the Breuil-Kisin modules theory. The aim of this paper is to present an algorithm the complexity of which is polynomial to compute the semi-simplified modulo $p$ of a semi-stable $\Q_p$-representation of the absolute Galois group of a $p$-adic field (\emph{i.e.} a finite extension of $\Q_p$). In order to do so, we use abundantly the $p$-adic Hodge theory and, in particular, the Breuil-Kisin modules theory. △ Less

Submitted 17 September, 2013; originally announced September 2013.

Comments: 35 pages, in French

Some algorithms for skew polynomials over finite fields

Authors: Xavier Caruso, Jérémy Le Borgne

Abstract: In this paper, we study the arithmetics of skew polynomial rings over finite fields, mostly from an algorithmic point of view. We give various algorithms for fast multiplication, division and extended Euclidean division. We give a precise description of quotients of skew polynomial rings by a left principal ideal, using results relating skew polynomial rings to Azumaya algebras. We use this descri… ▽ More In this paper, we study the arithmetics of skew polynomial rings over finite fields, mostly from an algorithmic point of view. We give various algorithms for fast multiplication, division and extended Euclidean division. We give a precise description of quotients of skew polynomial rings by a left principal ideal, using results relating skew polynomial rings to Azumaya algebras. We use this description to give a new factorization algorithm for skew polynomials, and to give other algorithms related to factorizations of skew polynomials, like counting the number of factorizations as a product of irreducibles. △ Less

Submitted 14 December, 2012; originally announced December 2012.

Comments: 32 pages

Linear Algebra over Z_p[[u]] and related rings

Authors: Xavier Caruso, David Lubicz

Abstract: Let R be a complete discrete valuation ring, S=R[[u]] and n a positive integer. The aim of this paper is to explain how to compute efficiently usual operations such as sum and intersection of sub-S-modules of S^d. As S is not principal, it is not possible to have a uniform bound on the number of generators of the modules resulting of these operations. We explain how to mitigate this problem, follo… ▽ More Let R be a complete discrete valuation ring, S=R[[u]] and n a positive integer. The aim of this paper is to explain how to compute efficiently usual operations such as sum and intersection of sub-S-modules of S^d. As S is not principal, it is not possible to have a uniform bound on the number of generators of the modules resulting of these operations. We explain how to mitigate this problem, following an idea of Iwasawa, by computing an approximation of the result of these operations up to a quasi-isomorphism. In the course of the analysis of the p-adic and u-adic precisions of the computations, we have to introduce more general coefficient rings that may be interesting for their own sake. Being able to perform linear algebra operations modulo quasi-isomorphism with S-modules has applications in Iwasawa theory and p-adic Hodge theory. △ Less

Submitted 3 December, 2012; originally announced December 2012.

Comments: 38 pages

Journal ref: LMS J. Comput. Math. 17 (2014) 302-344

Random matrix over a DVR and LU factorization

Authors: Xavier Caruso

Abstract: Let R be a discrete valuation ring (DVR) and K be its fraction field. If M is a matrix over R admitting a LU decomposition, it could happen that the entries of the factors L and U do not lie in R, but just in K. Having a good control on the valuations of these entries is very important for algorithmic applications. In the paper, we prove that in average these valuations are not too large and expla… ▽ More Let R be a discrete valuation ring (DVR) and K be its fraction field. If M is a matrix over R admitting a LU decomposition, it could happen that the entries of the factors L and U do not lie in R, but just in K. Having a good control on the valuations of these entries is very important for algorithmic applications. In the paper, we prove that in average these valuations are not too large and explain how one can apply this result to provide an efficient algorithm computing a basis of a coherent sheaf over A^1 from the knowledge of its stalks. △ Less

Submitted 3 December, 2012; originally announced December 2012.

Comments: 23 pages

Représentations galoisiennes p-adiques et (phi,tau)-modules

Authors: Xavier Caruso

Abstract: Let p be an odd prime number and K be a p-adic field. In this paper, we develop an analogue of Fontaine's theory of (phi,Gamma)-modules replacing the p-cyclotomic extension by the extension K_infty obtained by adding to K a compatible system of p^n-th roots of a fixed uniformizer pi of K. As a result, we obtain a new classification of p-adic representations of G_K = Gal(Kbar/K) by some (phi, τ)-mo… ▽ More Let p be an odd prime number and K be a p-adic field. In this paper, we develop an analogue of Fontaine's theory of (phi,Gamma)-modules replacing the p-cyclotomic extension by the extension K_infty obtained by adding to K a compatible system of p^n-th roots of a fixed uniformizer pi of K. As a result, we obtain a new classification of p-adic representations of G_K = Gal(Kbar/K) by some (phi, τ)-modules. We then make a link between the theory of (phi,tau)-modules discussed above and the so-called theory of (phi,N_nabla)$-modules developped by Kisin. As a corollary, we answer a question of Tong Liu: we prove that, if K is a finite extension of Q_p, every representation of G_K of E(u)-finite height is potentially semi-stable. △ Less

Submitted 1 October, 2012; v1 submitted 23 October, 2010; originally announced October 2010.

Comments: 51 pages serious problem in Section 3 fixed; 2010-65

Journal ref: Duke Math. J. 162, no. 13 (2013), 2525-2607

Estimation des dimensions de certaines variétés de Kisin

Authors: Xavier Caruso

Abstract: In this paper, we study dimensions of some varieties, that were introduced recently by Kisin in order to prove modularity of some Galois representations. In fact, we mainly consider a special case for which we obtain an estimation of the dimension we are interested in. Then, based on this result, we state a conjecture for the general case. In this paper, we study dimensions of some varieties, that were introduced recently by Kisin in order to prove modularity of some Galois representations. In fact, we mainly consider a special case for which we obtain an estimation of the dimension we are interested in. Then, based on this result, we state a conjecture for the general case. △ Less

Submitted 30 January, 2011; v1 submitted 13 May, 2010; originally announced May 2010.

Combinatoire du point de croix

Authors: Xavier Caruso, Sandrine Caruso

Abstract: This paper deals with a popular form of counted-thread embroidery: the cross-stitch. More precisely, we are interested in the minimal length of embroidery thread one need to fill a given picture. We give a complete answer to this problem for 4-connexe pictures (the notion is defined in the paper). In a last part, we study several other examples. This paper deals with a popular form of counted-thread embroidery: the cross-stitch. More precisely, we are interested in the minimal length of embroidery thread one need to fill a given picture. We give a complete answer to this problem for 4-connexe pictures (the notion is defined in the paper). In a last part, we study several other examples. △ Less

Submitted 24 January, 2010; originally announced January 2010.

Comments: 20 pages

MSC Class: 05B99 ; 05C99

Models of mu_{p^2,K} over a discrete valuation ring

Authors: Dajano Tossici, Xavier Caruso

Abstract: Let R be a discrete valuation ring with residue field of characteristic p>0. Let K be its fraction field. We prove that any finite and flat R-group scheme, isomorphic to μ_{p^2,K} on the generic fiber, is the kernel in a short exact sequence which generically coincides with the Kummer sequence. We will explicitly describe and classify such models. In the appendix X. Caruso shows how to classify… ▽ More Let R be a discrete valuation ring with residue field of characteristic p>0. Let K be its fraction field. We prove that any finite and flat R-group scheme, isomorphic to μ_{p^2,K} on the generic fiber, is the kernel in a short exact sequence which generically coincides with the Kummer sequence. We will explicitly describe and classify such models. In the appendix X. Caruso shows how to classify models of μ_{p^2,K}, in the case of unequal characteristic, using the Breuil-Kisin theory. △ Less

Submitted 9 January, 2010; originally announced January 2010.

Comments: 38 pages. This paper replaces the previous preprint "Models over a d.v.r. of unequal caracteristic" arXiv:0803.3702. To appear on Journal of Algebra

MSC Class: 14L15; 11F85

F_p-représentations semi-stables

Authors: Xavier Caruso

Abstract: Torsion semi-stable representations can be constructed and studied using Breuil modules. In this paper, we define the notion of pylonet and prove that some categories of Breuil modules naturally define pylonets. As a consequence, we are able to define full subcategories of Breuil's categories with very nice properties (in particular, they are abelian). In a second part of this work, we try to ma… ▽ More Torsion semi-stable representations can be constructed and studied using Breuil modules. In this paper, we define the notion of pylonet and prove that some categories of Breuil modules naturally define pylonets. As a consequence, we are able to define full subcategories of Breuil's categories with very nice properties (in particular, they are abelian). In a second part of this work, we try to make very explicit some abstract constructions coming from the general theory of pylonets (developped earlier in the paper). These explicitations should be very useful to make computations with torsion semi-stable Galois representations. △ Less

Submitted 14 November, 2008; originally announced November 2008.

Comments: 37 pages

MSC Class: 11F85 11S20 14F30

Sur la classification de quelques phi-modules simples

Authors: Xavier Caruso

Abstract: This note is an appendix to a preprint by E. Hellmann. We give a complete classification of simple objects of the category of vector spaces D over K = Fpbar((u)) equipped with an endomorphism phi whose image generates D and that are semi-linear with respect to the ring morphism sending u to u^b (b > 1 is an integer) and acting on elements of k through a fixed automorphism. Some of these phi-modu… ▽ More This note is an appendix to a preprint by E. Hellmann. We give a complete classification of simple objects of the category of vector spaces D over K = Fpbar((u)) equipped with an endomorphism phi whose image generates D and that are semi-linear with respect to the ring morphism sending u to u^b (b > 1 is an integer) and acting on elements of k through a fixed automorphism. Some of these phi-modules are involved in the classification of finite flat group schemes over ring of integers of p-adic fields. △ Less

Submitted 10 July, 2008; originally announced July 2008.

Comments: 5 pages

Report number: 2008-35 MSC Class: 13C05

Some Bounds for ramification of $p^n$-torsion semi-stable representations

Authors: Xavier Caruso, Tong Liu

Abstract: Let p be an odd prime, K a finite extension of Q_p, G=Gal(\bar K/K) the Galois group and e=e(K/Q_p) the ramification index. Suppose T is a p^n torsion representation such that T is isomorphic to a quotient of two G-stable Z_p-lattices in a semi-stable representation with Hodge-Tate weights in {0,...,r}. We prove that there exists a constant μexplicitly depending on n, e and r such that the upper… ▽ More Let p be an odd prime, K a finite extension of Q_p, G=Gal(\bar K/K) the Galois group and e=e(K/Q_p) the ramification index. Suppose T is a p^n torsion representation such that T is isomorphic to a quotient of two G-stable Z_p-lattices in a semi-stable representation with Hodge-Tate weights in {0,...,r}. We prove that there exists a constant μexplicitly depending on n, e and r such that the upper numbering ramification group G^{(μ)} acts on T trivially. △ Less

Submitted 9 July, 2008; v1 submitted 27 May, 2008; originally announced May 2008.

MSC Class: 14F30

Polygones de Hodge, de Newton et de l'inertie modérée des représentations semi-stables

Authors: Xavier Caruso, David Savitt

Abstract: Let k be a perfect field, and K be a totally ramified extension of K_0 = Frac W(k) of degree e. To a semi-stable p-adic representation of G_K (the absolute Galois group of K), one can classicaly associate two polygons : the Hodge polygon et the Newton polygon. It is well known that the former lies below the latter, and that they have same endpoints. In this note, we introduce a third polygon got… ▽ More Let k be a perfect field, and K be a totally ramified extension of K_0 = Frac W(k) of degree e. To a semi-stable p-adic representation of G_K (the absolute Galois group of K), one can classicaly associate two polygons : the Hodge polygon et the Newton polygon. It is well known that the former lies below the latter, and that they have same endpoints. In this note, we introduce a third polygon gotten from the semi-simplification of the representation mod p, and, under some conditions on Hodge-Tate weights, we prove that it lies above the Hodge polygon again with same endpoint. We finally examine one exemple associated to a crystalline representation. △ Less

Submitted 13 June, 2008; v1 submitted 21 January, 2008; originally announced January 2008.

Comments: 21 pages

MSC Class: 11S23

Quasi-semi-stable representations

Authors: Xavier Caruso, Tong Liu

Abstract: Fix K a p-adic field and denote by G_K its absolute Galois group. Let K_infty be the extension of K obtained by adding (p^n)-th roots of a fixed uniformizer, and G_\infty its absolute Galois group. In this article, we define a class of p-adic torsion representations of G_\infty, named quasi-semi-stable. We prove that these representations are "explicitly" described by a certain category of linea… ▽ More Fix K a p-adic field and denote by G_K its absolute Galois group. Let K_infty be the extension of K obtained by adding (p^n)-th roots of a fixed uniformizer, and G_\infty its absolute Galois group. In this article, we define a class of p-adic torsion representations of G_\infty, named quasi-semi-stable. We prove that these representations are "explicitly" described by a certain category of linear algebra objects. The results of this note should be consider as a first step in the understanding of the structure of quotients of two lattices in a crystalline (resp. semi-stable) Galois representation. △ Less

Submitted 13 September, 2007; originally announced September 2007.

Report number: (IRMAR) 2007-54 MSC Class: 11S23

Schémas en groupes et poids de Diamond-Serre

Authors: Xavier Caruso

Abstract: This note is a correction of (statement and proof of) proposition 3.3.1 of Toby Gee's preprint intitled *On the weights of mod p Hilbert modular forms*. The aim is to compare Galois representations arising from extensions of some group schemes (over the ring of integers of a p-adic field) endowed with a descent data, and extensions of some crystalline representations with given Hodge-Tate weight… ▽ More This note is a correction of (statement and proof of) proposition 3.3.1 of Toby Gee's preprint intitled *On the weights of mod p Hilbert modular forms*. The aim is to compare Galois representations arising from extensions of some group schemes (over the ring of integers of a p-adic field) endowed with a descent data, and extensions of some crystalline representations with given Hodge-Tate weights. The main tool of the proof is the theory of Breuil. △ Less

Submitted 9 May, 2007; originally announced May 2007.

Comments: 18 pages

MSC Class: 14L15 ; 11S23