A connection-like objects, termed {\em hom-connections} are defined in the realm of non-commutative geometry. The definition is based on the use of homomorphisms rather than tensor products. It is shown that hom-connections arise naturally from (strong) connections in non-commutative principal bundles. The induction procedure of hom-connections via a map of differential graded algebras or a differentiable bimodule is described. The curvature for a hom-connection is defined, and it is shown that flat hom-connections give rise to a chain complex.
Principal comodule algebras can be thought of as objects representing principal bundles in non-commutative geometry. A crucial component of a principal comodule algebra is a strong connection map. For some applications it suffices to prove that such a map exists, but for others, such as computing the associated bundle projectors or Chern-Galois characters, an explicit formula for a strong connection is necessary. It has been known for some time how to construct a strong connection map on a multi-pullback comodule algebra from strong connections on multi-pullback components, but the known expli…
We introduce a formalism for derived moduli functors on differential graded associative algebras, which leads to non-commutative enhancements of derived moduli stacks and naturally gives rise to structures such as Hall algebras. Descent arguments are not available in the non-commutative context, so we establish new methods for constructing various kinds of atlases. The formalism permits the development of the theory of shifted bi-symplectic and shifted double Poisson structures in the companion paper.
