arXiv 0806.44692008-06-27math.AGmath.LO

Trees of definable sets over the p-adics

Immanuel Halupczok

备注：: 33 pages, 1 figure
发表信息：: J. Reine Angew. Math. 642 (2010), 157-196
DOI：: 10.1515/CRELLE.2010.040

英文摘要：

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.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

A definable, p-adic analogue of Kirszbraun's Theorem on extensions of Lipschitz maps

A direct application of Zorn's Lemma gives that every Lipschitz map $f:X\subset \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$ has an extension to a Lipschitz map $\widetilde f: \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$. This is analogous, but more easy, to Kirszbraun's Theorem about the existence of Lipschitz extensions of Lipschitz maps $S\subset \mathbb{R}^n\to \mathbb{R}^\ell$. Recently, Fischer and Aschenbrenner obtained a definable version of Kirszbraun's Theorem. In the present paper, we prove in the $p$-adic context that $\widetilde f$ can be taken definable when $f$ is definable, where definable mea…

2015-02-10math.AGmath.LO

Local metric properties and regular stratifications of p-adic definable sets

We study the geometry of germs of definable (semialgebraic or subanalytic) sets over a $p$-adic field from the metric, differential and measure geometric point of view. We prove that the local density of such sets at each of their points does exist. We then introduce the notion of distinguished tangent cone with respect to some open subgroup with finite index in the multiplicative group of our field and show, as it is the case in the real setting, that, up to some multiplicities, the local density may be computed on this distinguished tangent cone.We also prove that these distinguished tangent…

2009-10-05math.AGmath.LO

Definable sets, motives and p-adic integrals

We associate canonical virtual motives to definable sets over a field of characteristic zero. We use this construction to show that very general p-adic integrals are canonically interpolated by motivic ones.

1999-10-22math.AG

Éz fields

Let $K$ be a field. The étale open topology on the $K$-points $V(K)$ of a $K$-variety $V$ was introduced in our previous work. The étale open topology is non-discrete if and only if $K$ is large. If $K$ is separably, real, $p$-adically closed then the étale open topology agrees with the Zariski, order, valuation topology, respectively. We show that existentially definable sets in perfect large fields behave well with respect to this topology: such sets are finite unions of étale open subsets of Zariski closed sets. This implies that existentially definable sets in arbitrary perfect large field…

2022-10-14math.AGmath.LO

Non-archimedean Yomdin-Gromov parametrizations and points of bounded height

We prove an analogue of the Yomdin-Gromov Lemma for $p$-adic definable sets and more broadly in a non-archimedean, definable context. This analogue keeps track of piecewise approximation by Taylor polynomials, a nontrivial aspect in the totally disconnected case. We apply this result to bound the number of rational points of bounded height on the transcendental part of $p$-adic subanalytic sets, and to bound the dimension of the set of complex polynomials of bounded degree lying on an algebraic variety defined over $\mathbb{C} ((t))$, in analogy to results by Pila and Wilkie, resp. by Bombieri…

2015-03-12math.AGmath.LOmath.NT

Motivic wave front sets

The concept of wave front set was introduced in 1969-1970 by M. Sato in the hyperfunctions context and by L. Hörmander in the $\mathcal C^{\infty}$ context. Howe used the theory of wave front sets in the study of Lie groups representations. Heifetz defined a notion of wave front set for distributions in the $p$-adic setting and used it to study some representations of $p$-adic Lie groups. In this article, we work in the $k((t))$-setting with $k$ a characteristic zero field. In that setting, balls are no longer compact but working in a definable context provides good substitutes for finiteness …

2018-11-19math.AGmath.LOmath.RT

更多相关论文收起更多论文

On $p$-adic colligations and 'rational maps' of Bruhat-Tits trees

Consider matrices of order $k+N$ over $p$-adic field determined up to conjugations by elements of $GL$ over $p$-adic integers. We define a product of such conjugacy classes and construct the analog of characteristic functions (transfer functions), they are maps from Bruhat-Tits trees to Bruhat-Tits buildings. We also examine categorical quotient for usual operator colligations.

2013-01-23math.AGmath.GRmath.NT

Some results of algebraic geometry over Henselian rank one valued fields

We develop geometry of affine algebraic varieties in $K^{n}$ over Henselian rank one valued fields $K$ of equicharacteristic zero. Several results are provided including: the projection $K^{n} \times \mathbb{P}^{m}(K) \to K^{n}$ and blow-ups of the $K$-rational points of smooth $K$-varieties are definably closed maps, a descent property for blow-ups, curve selection for definable sets, a general version of the Łojasiewicz inequality for continuous definable functions on subsets locally closed in the $K$-topology and extending continuous hereditarily rational functions, established for the real…

2016-06-04math.AG