Existence of $B^k_{α,β}$-Structures on $C^k$-Manifolds

Abstract

In this paper we introduce $B_{α,β}^{k}$-manifolds as generalizations of the notion of smooth manifolds with $G$-structure or with $k$-bounded geometry. These are $C^{k}$-manifolds whose transition functions $φ_{ji}=φ_{j}\circφ_{i}^{-1}$ are such that $\partial^μφ_{ji}\in B_{α(r)}\cap C^{k-β(r)}$ for every $\vertμ\vert=r$, where $B=(B_{r})_{r\inΓ}$ is some sequence of presheaves of Fréchet spaces endowed with further structures, $Γ\subset\mathbb{Z}_{\geq0}$ is some parameter set and $α,β$ are functions. We present embedding theorems for the presheaf category of those structural presheaves $B$. The existence problem of $B_{α,β}^{k}$-structures on $C^{k}$-manifolds is studied and it is proved that under certain conditions on $B$, $α$ and $β$, the forgetful functor from $C^{k}$-manifolds to $B_{α,β}^{k}$-manifolds has adjoints.