Non-Archimedean Whitney stratifications

DOI10.1112/PLMS/PDU006MaRDI QIDQ2934787zbMATH OpenOpenAlexFDO

Authors Immanuel Halupczok

Publication date 22 December 2014

Published in Proceedings of the London Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

Henselian-valued fieldst-stratificationsWhitney stratifications

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Applications of model theory (03C98) Non-Archimedean valued fields (12J25) Model theory of fields (12L12) Singularities in algebraic geometry (14B05) Formal neighborhoods in algebraic geometry (14B20) Local ground fields in algebraic geometry (14G20) Non-Archimedean analysis (32P05) Stratifications; constructible sheaves; intersection cohomology (complex-analytic aspects) (32S60)

Abstract: We define "t-stratifications", a strong notion of stratifications for Henselian valued fields $K$ of equi-characteristic 0, and prove that they exist. In contrast to classical stratifications in Archimedean fields, t-stratifications also contain non-local information about the stratified sets. For example, they do not only see the singularities in the valued field, but also those in the residue field. Like Whitney stratifications, t-stratifications exist for different classes of subsets of $K^n$, e.g. algebraic subvarieties or certain classes of analytic subsets. The general framework are definable sets (in the sense of model theory) in a language that satisfies certain hypotheses. We give two applications. First, we show that t-stratifications in suitable valued fields $K$ induce classical Whitney stratifications in $BbbR$ or $BbbC$; in particular, the existence of t-stratifications implies the existence of Whitney stratifications. This uses methods of non-standard analysis. Second, we show how, using t-stratifications, one can determine the ultra-metric isometry type of definable subsets of $Bbb{Z}_p^n$ for $p$ sufficiently big. For those $p$, this proves a conjecture stated in a previous article. In particular, this yields a new, geometric proof of the rationality of Poincar'e series.

Recommendations

• Stratifications in valued fields
• Non-Archimedean stratifications of tangent cones
• Definable functions and stratifications in power-bounded \(T\)-convex fields
• On some definable sets over fields with analytic structure
• scientific article; zbMATH DE number 4097780

Cites work

• b-MINIMALITY
• Constructible motivic functions and motivic integration
• Dimension of definable sets, algebraic boundedness and Henselian fields
• Fields with analytic structure
• scientific article; zbMATH DE number 3916706 (Why is no real title available?)
• Local metric properties and regular stratifications of \(p\)-adic definable sets
• On the angular component map modulo P
• Relative decidability and definability in Henselian valued fields
• Tangents to an analytic variety
• The rationality of the Poincaré series associated to the p-adic points on a variety
• Trees of definable sets over the \(p\)-adics

Cited in

(12)

• Stratifications, equisingularity and triangulation
• Motivic local density
• Definable functions and stratifications in power-bounded \(T\)-convex fields
• Non-Archimedean Yomdin-Gromov parametrizations and points of bounded height
• Stratifications in valued fields
• A closedness theorem over Henselian fields with analytic structure and its applications
• Non-Archimedean stratifications of tangent cones
• Hensel minimality I
• Whitney stratifications are conically smooth
• Motivic Vitushkin invariants
• Riso-stratifications and a tree invariant
• Arc-wise analytic t-stratifications

This page was built for publication: Non-Archimedean Whitney stratifications

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