Strictly convergent analytic structures

DOI10.4171/JEMS/662zbMATH Open1372.32031arXiv1312.5932OpenAlexW2963268515MaRDI QIDQ509104FDOQ509104

Authors: Raf Cluckers, Leonard Lipshitz 

Publication date: 8 February 2017

Published in: Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Abstract: We give conclusive answers to some questions about definability in analytic languages that arose shortly after the work by Denef and van den Dries, [DD], on $p$-adic subanalytic sets, and we continue the study of non-archimedean fields with analytic structure of [LR3], [CLR1] and [CL1]. We show that the language $L_K$ consisting of the language of valued fields together with all strictly convergent power series over a complete, rank one valued field $K$ can be expanded, in a definitial way, to a larger language corresponding to an analytic structure (with separated power series) from [CL1], hence inheriting all properties from loc. cit., including geometric properties for the definable sets like certain forms of quantifier elimination. Our expansion comes from adding specific, existentially definable functions, which are solutions of certain henselian systems of equations. Moreover, we show that, even when $K$ is algebraically closed, one does not have quantifier elimination in $L_K$ itself, and hence, passing to expansions is unavoidable in general. We pursue this study in the wider generality of extending non-separated power series rings to separated ones, and give new examples, in particular of the analytic structure over $mathbbZ[[t]]$ that can be interpreted and understood now in all complete valued fields. In a separate direction, we show in rather large generality that Weierstrass preparation implies Weierstrass division.

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

Recommendations

• Rigid Subanalytic Sets
• scientific article; zbMATH DE number 755463
• Fields with analytic structure
• On some definable sets over fields with analytic structure
• \(p\)-adically closed fields with nonstandard analytic structure

zbMATH Keywords

language \(\mathcal L_K\)non-Archimedean fields with analytic structuresWeierstrass preparation, Weierstrass division

Mathematics Subject Classification ID

Integration on analytic sets and spaces, currents (32C30) Non-Archimedean analysis (32P05) Real-analytic and semi-analytic sets (14P15) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Quantifier elimination, model completeness, and related topics (03C10) Analytic algebras and generalizations, preparation theorems (32B05) Applications of model theory (03C98)

Cites Work

• Algebraic approximation of structures over complete local rings
• Title not available (Why is that?)
• OVERCONVERGENT REAL CLOSED QUANTIFIER ELIMINATION
• Title not available (Why is that?)
• \(p\)-adic and real subanalytic sets
• Overconvergent subanalytic subsets in the framework of Berkovich spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rigid Subanalytic Sets
• Fields with analytic structure
• Model theory of the Frobenius on the Witt vectors
• Maps on ultrametric spaces, Hensel's lemma, and differential equations over valued fields
• Analytic cell decomposition and analytic motivic integration
• Closure of rigid semianalytic sets
• Real closed fields with non-standard and standard analytic structure
• Title not available (Why is that?)
• One-Dimensional p -Adic Subanalytic Sets
• Title not available (Why is that?)
• Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
• Parameterized stratification and piece number of D-semianalytic sets
• Uniform properties of rigid subanalytic sets
• Flattening and analytic continuation of affinoid morphisms: remarks on a paper of Gardener and Schoutens
• Dimension theory and parameterized normalization for D-semianalytic sets over non-Archimedean fields
• Some properties of analytic difference valued fields
• On some definable sets over fields with analytic structure
• Algebraic properties of separated power series

Cited In (21)

• Uniform Yomdin-Gromov parametrizations and points of bounded height in valued fields
• Title not available (Why is that?)
• Some properties of analytic difference valued fields
• Solutions of quasianalytic equations
• Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group
• A note on tropicalization in the context of Berkovich spaces
• Local zero estimates and effective division in rings of algebraic power series
• Real closed fields with non-standard and standard analytic structure
• Non-Archimedean resonances of Łojasiewicz inequalities
• A closedness theorem over Henselian fields with analytic structure and its applications
• \(p\)-adically closed fields with nonstandard analytic structure
• Strict convexity of sets in analytic terms
• Unscrew, cut, burst and flatten Berkovich spaces
• Hensel minimality I
• Uniform analysis on local fields and applications to orbital integrals
• Uniform rationality of the Poincaré series of definable, analytic equivalence relations on local fields
• Some results of algebraic geometry over Henselian rank one valued fields
• On some definable sets over fields with analytic structure
• A closedness theorem and applications in geometry of rational points over Henselian valued fields
• Distributions and wave front sets in the uniform non-archimedean setting
• Algebraic properties of separated power series

This page was built for publication: Strictly convergent analytic structures

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