Trees of definable sets over the p-adics

DOI10.1515/CRELLE.2010.040zbMATH Open1202.14023arXiv0806.4469OpenAlexW2139153169WikidataQ59903314 ScholiaQ59903314MaRDI QIDQ3577938FDOQ3577938

Authors: Immanuel Halupczok 

Publication date: 13 July 2010

Published in: Journal für die reine und angewandte Mathematik (Crelles Journal) (Search for Journal in Brave)

Abstract: To a definable subset of Z_p^n (or to a scheme of finite type over Z_p) one can associate a tree in a natural way. It is known that the corresponding Poincare series P(X) = sum_i N_i X^i is rational, where N_i is the number of nodes of the tree at depth i. This suggests that the trees themselves are far from arbitrary. We state a conjectural, purely combinatorial description of the class of possible trees and provide some evidence for it. We verify that any tree in our class indeed arises from a definable set, and we prove that the tree of a definable set (or of a scheme) lies in our class in three special cases: under weak smoothness assumptions, for definable subsets of Z_p^2, and for one-dimensional sets.

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

Recommendations

• scientific article; zbMATH DE number 6000848
• More on definable sets of p-adic numbers
• One-Dimensional p -Adic Subanalytic Sets
• Local metric properties and regular stratifications of \(p\)-adic definable sets
• scientific article; zbMATH DE number 4116665

zbMATH Keywords

treedefinable setPoincaré series

Mathematics Subject Classification ID

Trees (05C05) Local ground fields in algebraic geometry (14G20) Model theory (03C99)

Cites Work

• Arc structure of singularities
• Constructible motivic functions and motivic integration
• The rationality of the Poincaré series associated to the p-adic points on a variety
• On the structure of semialgebraic sets over p-adic fields
• Definable sets, motives and \(p\)-adic integrals
• Presburger sets and p-minimal fields

Cited In (4)

• Non-Archimedean Whitney stratifications
• A definable \(p\)-adic analogue of Kirszbraun's theorem on extensions of Lipschitz maps
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Trees of definable sets over the \(p\)-adics

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