There are some classical results stating sufficient conditions on a manifold $\Sigma$ such that every homotopy equivalence $\Pi(\Sigma) \stackrel{\simeq}{\longrightarrow} \Pi(\Sigma)$ is homotopic to a diffeomorphism $\Pi(\Sigma \stackrel{\simeq}{\longrightarrow} \Sigma)$ (here "$\Pi$" denotes the functor from (simplicial) smooth manifolds to homotopy types, i.e. to infinity-groupoids).

What is known about this when the homotopy equivalences are required to respect the tangent bundle structure, up to homotopy?

More specifically, I am wondering about the following:

Since $\Sigma$ is a manifold (of dimension $n$, say), so $\Pi(\Sigma)$ is canonically equipped with a map $\Pi(\tau_\Sigma) : \Pi(\Sigma) \to B GL(n) \simeq B O(n)$. One may hence consider the automorphism group $\mathrm{Aut}_{/B O(n)}(\Pi(\Sigma))$ whose elements are homotopy auto-equivalences of $\Pi(\Sigma)$ that are required to fit into a diagram

$$ \array{ \Pi(\Sigma) && \stackrel{\simeq}{\longrightarrow} && \Pi(\Sigma) \\ & \searrow &\Leftarrow_{\simeq}& \swarrow \\ && B O(n) } \,. $$

This is naturally a topological group, whose homotopy type reflects homotopies between such maps over $B O(n)$.

How close is this to the homotopy type of the diffeomorphism group? I.e. how close is

$$ B \mathrm{Diff}(\Sigma) $$

to

$$ B \mathrm{Aut}_{/B O(n)}(\Pi(\Sigma)) $$

?

That's what I am wondering. For readers tolerant of more stacky language I would like to add the following thought, which may or may not have some bearing on this:

Write $\mathbf{B}GL(n)$ for the smooth stack which is the homotopy quotient of the point by the action of the smooth group $GL(n)$. Then the smooth tangent bundle of $\Sigma$ is equivalently encoded in a morphism of smooth stacks

$$ \tau_\Sigma : \Sigma \longrightarrow \mathbf{B}GL(n) \,. $$

Since $\Pi(\mathbf{B}GL(n)) \simeq B GL(n) \simeq B O(n)$ this is such that $\Pi(\tau_\Sigma)$ is the map on bare homotopy types considered above.

Now stack homomorphisms in the higher slice topos over $\mathbf{B}GL(n)$ are equivalently local diffeomorphisms

$$ \mathrm{LocalDiffeos}(\Sigma) \simeq \mathrm{SmoothStacks}_{/\mathbf{B}GL(n)}(\Sigma, \Sigma) \,. $$

Hence when considering the diffeomorphism group of $\Sigma$ we may equivalently think of the slice automorphism group of $\tau_\Sigma$ over $\mathbf{B}GL(n)$.

From this perspective the question is to which extent one may "take $\Pi$ into the internalized slice automorphism group" to pass from

$$ \Pi(\mathbf{Aut}_{/\mathbf{B}GL(n)}(\Sigma)) = \Pi (\mathrm{Diff}(\Sigma)) $$

to

$$ \mathrm{Aut}_{/\Pi(\mathbf{B}GL(n))}(\Pi(\Sigma)) = \mathrm{Aut}_{/B O(n)}(\Pi(\Sigma)) \,. $$