No Arabic abstract
Recently an algebra of smooth valuations was attached to any smooth manifold. Roughly put, a smooth valuation is finitely additive measure on compact submanifolds with corners which satisfies some extra properties. In this note we initiate a study of modules over smooth valuations. More specifically we study finitely generated projective modules in analogy to the study of vector bundles on a manifold. In particular it is shown that on a compact manifold there exists a canonical isomorphism between the $K$-ring constructed out of finitely generated projective modules over valuations and the classical topological $K^0$-ring constructed out of vector bundles.
In this note, we provide an axiomatic framework that characterizes the stable $infty$-categories that are module categories over a motivic spectrum. This is done by invoking Luries $infty$-categorical version of the Barr--Beck theorem. As an application, this gives an alternative approach to Rondigs and O stvae rs theorem relating Voevodskys motives with modules over motivic cohomology, and to Garkushas extension of Rondigs and O stvae rs result to general correspondence categories, including the category of Milnor-Witt correspondences in the sense of Calm`es and Fasel. We also extend these comparison results to regular Noetherian schemes over a field (after inverting the residue characteristic), following the methods of Cisinski and Deglise.
There is a well known construction of weakly continuous valuations on convex compact polytopes in R^n. In this paper we investigate when a special case of this construction gives a valuation which extends by continuity in the Hausdorff metric to all convex compact subsets of R^n. It is shown that there is a necessary condition on the initial data for such an extension. In the case of R^3 more explicit results are obtained.
The existence of a homogeneous decomposition for continuous and epi-translation invariant valuations on super-coercive functions is established. Continuous and epi-translation invariant valuations that are epi-homogeneous of degree $n$ are classified. By duality, corresponding results are obtained for valuations on finite-valued convex functions.
The space of constructible functions form a dense subspace of the space of generalized valuations. In this note we prove a somewhat stronger property that the sequential closure, taken sufficiently many (in fact, infinitely many) times, of the former space is equal to the latter one. This stronger property is necessary for some applications in the theory of valuations on manifolds.
Very recently J. Kotrbaty has proven general inequalities for translation invariant smooth valuations formally analogous to the Hodge- Riemann bilinear relations in the Kahler geometry. The goal of this note is to apply Kotrbatys theorem to obtain a few apparently new inequalities for mixed volumes of convex bodies.