A generalization of an Ekeland-Lebourg theorem and the differentiability of distance functions
In this paper we aim for a generalization of the Steenrod Approximation Theorem from [16, Section 6.7], concerning a smoothing procedure for sections in smooth locally trivial bundles. The generalization is that we consider locally trivial smooth bundles with a possibly infinite-dimensional typical fibre. The main result states that a continuous section in a smooth locally trivial bundles can always be smoothed out in a very controlled way (in terms of the graph topology on spaces of continuous...
This article deals with vector valued differential forms on -manifolds. As a generalization of the exterior product, we introduce an operator that combines -valued forms with -valued forms. We discuss the main properties of this operator such as (multi)linearity, associativity and its behavior under pullbacks, push-outs, exterior differentiation of forms, etc. Finally we present applications for Lie groups and fiber bundles.
We prove a generalization of Thom’s transversality theorem. It gives conditions under which the jet map is generically (for ) transverse to a submanifold . We apply this to study transversality properties of a restriction of a fixed map to the preimage of a submanifold in terms of transversality properties of the original map . Our main result is that for a reasonable class of submanifolds and a generic map the restriction is also generic. We also present an example of where the...
Suppose that, for each point x in a given subset E ⊂ Rn, we are given an m-jet f(x) and a convex, symmetric set σ(x) of m-jets at x. We ask whether there exist a function F ∈ Cm,w(Rn) and a finite constant M, such that the m-jet of F at x belongs to f(x) + Mσ(x) for all x ∈ E. We give a necessary and sufficient condition for the existence of such F, M, provided each σ(x) satisfies a condition that we call "Whitnet w-convexity".
We prove that the expansion of the real field by a restricted C-function is generically o-minimal. Such a result was announced by A. Grigoriev, and proved in a different way. Here, we deduce quasi-analyticity from a transcendence condition on Taylor expansions. This then implies o-minimality. The transcendance condition is shown to be generic. As a corollary, we recover in a simple way that there exist o-minimal structures that doesn’t admit analytic cell decomposition, and that there exist incompatible...
We introduce a new method for obtaining heat kernel on-diagonal lower bounds on non- compact Lie groups and on infinite discrete groups. By using this method, we are able to recover the previously known results for unimodular amenable Lie groups as well as for certain classes of discrete groups including the polycyclic groups, and to give them a geometric interpretation. We also obtain new results for some discrete groups which admit the structure of a semi-direct product or of a wreath product....
We estimate from below by geometric data the eigenvalues of the periodic Sturm-Liouville operator with potential given by the curvature of a closed curve.