Submission date: 10 November 2017

Abstract:

In this note, we establish a version of the local Cauchy-Crofton formula for definable sets in Henselian discretely valued fields of characteristic zero. It allows to compute the motivic local density of a set from the densities of its projections integrated over the Grassmannian.

Mathematics Subject Classification: 03C98, 12J10, 14B05, 32Sxx (Primary) 03C68, 11S80 (Secondary)

Keywords and phrases:

Full text arXiv 1711.03811: pdf, ps.