VC density of definable families over valued fields (Q2039578)

This paper gives a tight bound on the number of realized \(0/1\) patterns (or equivalently on the Vapnik-Chervonekis codensity) of definable families of models of the theory of algebraically closed valued fields with a non-archimedean valuation. It improves the best known result in this direction given in [\textit{M. Aschenbrenner} et al., Trans. Amer. Math. Soc. 368, 5889--5949 (2016; Zbl 1423.03119)]. This bound given here is optimal and has no restriction on the characteristics. The authors evaluated the bound on the Betti numbers of semialgebraic subsets \(B_{\mathbf{F}}(X)\) associated to definable subsets \(X\) of the Berkovich analytic space associated to an affine variety, which are introduced in [\textit{E. Hrushovski} and \textit{F. Looser}, Ann. of Math. Stud. 192 (2016; Zbl 1365.14033)]. The previous bound on realized \(0/1\) pattern is obtained from this evaluation. The strategy employed in the proof is close to the topological method employed in Basu's work on the estimation of the Betti numbers in the o-minimal category [\textit{S. Basu}, Proc. London Math. Soc. 100, 405--428 (2010; Zbl 1186.52017)], but it is different in many important technical details. Results in the o-minimal category are used in Basu's work. In this paper, Hrushovski and Looser's results are used in the proof instead of the counterparts in the o-minimal category and the authors' modification is nontrivial.