A Decomposition Theorem for Topological Branched Coverings

In the context of complex algebraic varieties, the decomposition theorem for semi-small maps provides a decomposition of the direct image of the constant sheaf. In this work, we develop a decomposition theorem for branched coverings of topological spaces. To achieve this, we start by constructing a decomposition theorem for unramified covering maps via an explicit gluing construction using transition functions. For a given branched covering of closed topological manifolds, we use the previous result to establish a decomposition of the direct image of the constant sheaf on the covering space. In the next step, we generalize our discussion to the case where the target space is not necessarily a topological manifold.