Nonarchimedean integral geometry

MaRDI QIDQ6401430zbMATH OpenFDO

Authors Peter Bürgisser, Avinash Kulkarni, Antonio Lerario

Publication date 8 June 2022

Mathematics Subject Classification ID

Geometric probability and stochastic geometry (60D05) Local ground fields in algebraic geometry (14G20) Classical problems, Schubert calculus (14N15) Integral geometry (53C65) Polynomials (11S05) Non-Archimedean analysis (32P05)

Abstract: Let $K$ be a nonarchimedean local field of characteristic zero with valuation ring $R$, for instance, $K=mathbb{Q}_p$ and $R=mathbb{Z}_p$. We introduce the concept of an $R$-structure on a $K$-analytic manifold, which is akin to the notion of a Riemannian metric on a smooth manifold. An $R$-structure determines a norm and volume form on the tangent spaces of a $K$-analytic manifold, which allows one to integrate real valued functions on the manifold. We prove such integrals satisfy a nonarchimedean version of Sard's lemma and the coarea formula. We also consider $R$-structures on $K$-analytic groups and homogeneous $K$-analytic spaces that are compatible with the group operations. In this framework, we prove a general integral geometric formula analogous to the corresponding result over the reals. This generalizes the $p$-adic integral geometric formula for projective spaces recently discovered by Kulkarni and Lerario, e.g., to the setting of Grassmannians. As a first application, we compute the volume of special Schubert varieties and we outline the construction of a probabilistic nonarchimedean Schubert Calculus. As a second application we bound, and in some cases exactly determine, the expected number of zeros in $K$ of random fewnomial systems.

This page was built for publication: Nonarchimedean integral geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6401430)