Non-Archimedean Whitney stratifications

DOI10.1112/PLMS/PDU006zbMATH Open1382.03061arXiv1109.5886OpenAlexW2150394096MaRDI QIDQ2934787FDOQ2934787

Authors: Immanuel Halupczok 

Publication date: 22 December 2014

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

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.

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

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

zbMATH Keywords

Whitney stratificationsHenselian-valued fieldst-stratifications

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

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

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)