Lipschitz continuity properties for p-adic semi-algebraic and subanalytic functions

DOI10.1007/S00039-010-0060-0MaRDI QIDQ987369zbMATH OpenOpenAlexFDO

Authors Raf Cluckers, Georges Comte, François Loeser

Publication date 13 August 2010

Published in Geometric and Functional Analysis. GAFA (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0904.3853

zbMATH Keywords

\(p\)-adic semi-algebraic functions\(p\)-adic subanalytic functions, Lipschitz continuous functionscell decomposition

Mathematics Subject Classification ID

Applications of model theory (03C98) Other analytic theory (analogues of beta and gamma functions, (p)-adic integration, etc.) (11S80) Valued fields (12J10)

Abstract: We prove that a (globally) subanalytic p-adic function 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 subanalytic. We also prove the analogous result for a subanalytic family of functions depending on p-adic parameters. The statements also hold in a semi-algebraic set-up and also in finite extensions of the field of p-adic numbers. 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.

Review text

\textit{K. Kurdyka} [Lect. Notes Math. 1524, 316--322 (1992; Zbl 0779.32006)] obtained the following result in the real subanalytic setting: Let \(f: X\subset\mathbb{R}^n\to\mathbb{R}\) be a globally subanalytic function that is locally Lipschitz continuous for some fixed constant, then it is piecewise (globally on the globally subanalytic piece) Lipschitz continuous. The result relies on the stratification of subanalytic sets in so called \(L\)-regular cells. The authors of the paper under review show this theorem for \(p\)-adic subanalytic functions. The statement also holds in the \(p\)-adic semi-algebraic setting. For the proof they introduce a cell decomposition adapted to the tame \(p\)-adic situation.

Recommendations

• Approximations and Lipschitz continuity in \(p\)-adic semi-algebraic and subanalytic geometry
• Smooth points of \(p\)-adic subanalytic sets
• Lipschitz extensions of definable \(p\)-adic functions
• A new class of \(p\)-adic Lipschitz functions and multidimensional Hensel's lemma
• One-Dimensional p -Adic Subanalytic Sets

Cites work

• p-adic and real subanalytic sets
• Algebraic theories with definable Skolem functions
• Analytic $p$-adic cell decomposition and integrals
• Decision procedures for real and p‐adic fields
• Densité des ensembles sous-analytiques. (On the density of subanalytic sets)
• Dimension of definable sets, algebraic boundedness and Henselian fields
• Fields with analytic structure
• Formule de Cauchy-Crofton pour la densité des ensembles sous-analytiques
• scientific article; zbMATH DE number 177491 (Why is no real title available?)
• Lipschitz cell decomposition in o-minimal structures. I.
• Lipschitz properties of semi-analytic sets
• Local metric properties and regular stratifications of \(p\)-adic definable sets
• On definable subsets of p-adic fields
• On the structure of semialgebraic sets over p-adic fields
• One-Dimensional p -Adic Subanalytic Sets
• p-adic semi-algebraic sets and cell decomposition.
• Presburger sets and p-minimal fields
• Real equisingularity: Lelong numbers and polar projections
• The Lelong number of a point of a complex analytic set
• The rationality of the Poincaré series associated to the p-adic points on a variety
• Équisingularité réelle II : invariants locaux et conditions de régularité

Cited in

(12)

• Lipschitz properties of semi-analytic sets
• Approximations and Lipschitz continuity in \(p\)-adic semi-algebraic and subanalytic geometry
• Integrability of oscillatory functions on local fields: transfer principles
• Uniform Yomdin-Gromov parametrizations and points of bounded height in valued fields
• A p-adic variant of Kontsevich-Zagier integral operation rules and of Hrushovski-Kazhdan style motivic integration
• Non-Archimedean Yomdin-Gromov parametrizations and points of bounded height
• A definable p-adic analogue of Kirszbraun's theorem on extensions of Lipschitz maps
• On p-adic semi-algebraic continuous selections
• DIFFERENTIATION IN P-MINIMAL STRUCTURES AND A p-ADIC LOCAL MONOTONICITY THEOREM
• Lipschitz extensions of definable \(p\)-adic functions
• Hensel minimality I
• On definable groups and D-groups in certain fields with a generic derivation

This page was built for publication: Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q987369)