Nonarchimedean integral geometry

arXiv2206.03708MaRDI QIDQ6401430FDOQ6401430

Peter Bürgisser, Avinash Kulkarni, Antonio Lerario

Publication date: 8 June 2022

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.

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)

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)