Let me assume that M is at least 5-dimensional.

Sullivan's proof only uses surgery theory and properties of O(n) that also hold for Top(n), so the answer to your first question is yes.

Regarding your other questions: the homotopy fiber Homeo(M)/Diff(M) of the map BDiff(M) -> BTop(M) is subject of smoothing theory. There is a map from Homeo(M)/Diff(M) to the space of sections of the bundle over the d-manifold M with fiber Top(d)/O(d) which is associated to the frame bundle of M using the action of O(d) on Top(d)/O(d). This map is injective on path components and an isomorphism on all homotopy groups. This can be found for instance in the book of Kirby and Siebenmann.

Up to a question about components, this reduces the study of the homotopy fiber you asked about to understanding the homotopy type of Top(d)/O(d) (and the twist of the bundle), which is hard. The homotopy groups of Top(d)/O(d) are object of study in geometric topology for a long time and can be divided into three ranges:

- For $i\lesssim d$, we have $\pi_i(Top(d)/O(d))\cong \Theta_i$, where $\Theta_i$ is the group of homotopy spheres which is understood in terms of the stable homotopy groups of spheres by Kervaire--Milnor.
- For $d \lesssim i\lesssim \frac{4}{3}d$, the groups $\pi_i(Top(d)/O(d))$ can in principle be understood in terms of Waldhausen's algebraic $K$-theory of spaces. Rationally, this can be used to compute that in this range $\pi_*(Top(d)/O(d))\otimes \mathbb{Q}$ vanishes for $d$ even and is isomorphism to $K_{*-d+1}(\mathbb{Z})\otimes \mathbb{Q}$ if $d$ is odd (that's a calculation of Farrell--Hsiang). The rational $K$-groups of the integers were computed by Borel: $$ K_{*}(\mathbb{Z})\otimes \mathbb{Q}\cong \begin{cases}\mathbb{Q}&\text{if }*\equiv 1 (4)\\0&\text{else }\end{cases}$$ in positive degrees.
- In the range $i \gtrsim \frac{4}{3}d$ very little is known, but some progress has been made in recent years. For instance, work of Watanabe (building on ideas of Kontsevich) and Weiss shows that there are plenty of nontrivial rational classes.

Later edit: The identification of $\pi_i(Top(d)/O(d))\otimes\mathbb{Q}$ in the range $i\lesssim \frac{4}{3}d$ mentioned above holds in fact for $i\lesssim 2d$ by Corollary 4.2 of Randal-Williams and Corollary C of Krannich. Beyond this range, progress in even dimensions has been made by Kupers--Randal-Williams and in odd dimensions by Krannich--Randal-Williams.

isimportant for arithmetic groups, since Deligne's examples are both residually finite and not "good in the sense of Serre". $\endgroup$5more comments