Vertical isomorphisms of Fedosov dg manifolds associated with a Lie pair (Q6493905)

Let us recall that Fedosov dg manifolds have been introduced to obtain a classical analog of Fedosov's quantization. Moreover, the construction of Fedosov dg manifolds has been extended to Lie pair (L,A) that is a pair of a Lie algebroid L and a Lie subalgebroid A of L and to dg manifolds. Let us also say that Fedosov resolutions which can be seen as functions on Fedosov dg manifolds play a central role in globalizing Kontsevich's formality to smooth manifolds. In this paper, the authors investigate vertical isomorphisms of Fedosov dg manifolds associated with a Lie pair. They prove that, given two choices of a splitting and a connection, there is a unique vertical isomorphism, defined by a iteration formula, between the two associated Fedosov dg manifolds. Applications of this result are also discussed.