Regularized integrals and manifolds with log corners. arXiv:2312.17720
Preprint, arXiv:2312.17720 [math.DG] (2023).
Summary: We introduce a natural geometric framework for the study of logarithmically divergent integrals on manifolds with corners and algebraic varieties, using the techniques of logarithmic geometry. Key to the construction is a new notion of morphism in logarithmic geometry itself, introduced by Howell, which allows us to interpret the ubiquitous rule of thumb “\(\lim_{\epsilon\to 0} \log \epsilon := 0\)” as the restriction to a submanifold. Via a version of de Rham’s theorem with logarithmic divergences, we obtain a functorial characterization of the classical theory of “regularized integration”: it is the unique way to extend the ordinary integral to the logarithmically divergent context while respecting the basic laws of calculus (change of variables, Fubini’s theorem, and Stokes’ formula.)
MSC:
58C35 | Integration on manifolds; measures on manifolds |
40A10 | Convergence and divergence of integrals |
14A21 | Logarithmic algebraic geometry, log schemes |
14F40 | de Rham cohomology and algebraic geometry |
arXiv data are taken from the
arXiv OAI-PMH API.
If you found a mistake, please
report it directly to arXiv.