A motivic local Cauchy-Crofton formula
arXiv:1711.03811
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.
7 pages