Abstract
We prove that a (globally) subanalytic function \({f : X \subset {\bf Q}^{n}_{p} \rightarrow {\bf Q}_{p}}\) which is locally Lipschitz continuous with some constant C is piecewise (globally on each piece) Lipschitz continuous with possibly some other constant, where the pieces can be taken to be subanalytic. We also prove the analogous result for a subanalytic family of functions \({f_{y} : X_{y} \subset {\bf Q}^{n}_{p} \rightarrow {\bf Q}_{p}}\) depending on p−adic parameters. The statements also hold in a semi-algebraic set-up and also in a finite field extension of Q p . These results are p−adic analogues of results of K. Kurdyka over the real numbers. To encompass the total disconnectedness of p−adic fields, we need to introduce new methods adapted to the p−adic situation.
Similar content being viewed by others
References
Cluckers R.: Presburger sets and p−minimal fields. J. Symbolic Logic 68, 153–162 (2003)
Cluckers R.: Analytic p−adic cell decomposition and integrals. Trans. Amer. Math. Soc. 356, 1489–1499 (2004)
R. Cluckers, G. Comte, F. Loeser, Local metric properties and regular stratifications of p−adic definable sets, arXiv:0910.0799
R. Cluckers, L. Lipshitz, Fields with analytic structure, Journal of the European Mathematical Society (JEMS), to appear; arXiv:0908.2376
Cohen P.J.: Decision procedures for real and p−adic fields. Comm. Pure Appl. Math. 22, 131–151 (1969)
Comte G.: Formule de Cauchy–Crofton pour la densité des ensembles sousanalytiques. C. R. Acad. Sci. Paris, Série I 328, 505–508 (1999)
Comte G.: Équisingularité réelle : nombres de Lelong et images polaires. Ann. Sci. École Norm. Sup. 33, 757–788 (2000)
Comte G., Merle M.: É quisingularité réelle II : invariants locaux et conditions de régularité. Ann. Sci. École Norm. Sup. 41, 221–269 (2008)
Denef J.: The rationality of the Poincaré series associated to the p−adic points on a variety. Invent. Math. 77, 1–23 (1984)
Denef J.: p−adic semi-algebraic sets and cell decomposition. J. Reine Angew. Math. 369, 154–166 (1986)
Denef J., van den Dries L.: p−adic and real subanalytic sets. Ann. of Math. 128, 79–138 (1988)
van den Dries L.: Algebraic theories with definable Skolem functions. The Journal of Symbolic Logic 49(2), 625–629 (1984)
van den Dries L.: Dimension of definable sets, algebraic boundedness and Henselian fields. Ann. Pure Appl. Logic 45, 189–209 (1989)
van den Dries L., Haskell D., Macpherson D.: One-dimensional p−adic subanalytic sets. J. London Math. Soc (2) 59, 1–20 (1999)
van den Dries L., Scowcroft P.: On the structure of semialgebraic sets over p−adic fields. J. Symbolic Logic 53, 1138–1164 (1988)
Kurdyka K.: On a subanalytic stratification satisfying a Whitney property with exponent 1, in “ Real Algebraic Geometry (Rennes, 1991)”. Springer Lecture Notes in Math. 1524, 316–322 (1992)
Kurdyka K., Raby G.: Densité des ensembles sous-analytiques. Ann. Inst. Fourier 39, 753–771 (1989)
Macintyre A.: On definable subsets of p−adic fields. J. Symbolic Logic 41(3), 605–610 (1976)
Parusiński A.: Lipschitz properties of semi-analytic sets. Ann. Inst. Fourier 38, 189–213 (1988)
W. Pawłucki, Lipschitz cell decomposition in o-minimal structures. I, Illinois Journal of Mathematics, to appear.
Thie P.: The Lelong number of a point of a complex analytic set. Math. Ann. 172, 269–312 (1967)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cluckers, R., Comte, G. & Loeser, F. Lipschitz Continuity Properties for p−Adic Semi-Algebraic and Subanalytic Functions. Geom. Funct. Anal. 20, 68–87 (2010). https://doi.org/10.1007/s00039-010-0060-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00039-010-0060-0
Keywords and phrases
- p−adic semi-algebraic functionss
- p−adic subanalytic functions
- Lipschitz continuous functions
- cell decomposition