1: \begin{abstract}

2: To date weak gravitational lensing surveys have typically been restricted to small fields of view, such

3: that the \textit{flat-sky approximation} has been sufficiently satisfied. However, with Stage \rom{4}

4: surveys (\textit{e.g. LSST} and \textit{Euclid}) imminent, extending mass-mapping

5: techniques to the sphere is a fundamental necessity. As such, we extend

6: the sparse hierarchical Bayesian mass-mapping formalism presented in previous work to the

7: spherical sky. For the first time, this allows us to construct \textit{maximum a posteriori} spherical

8: weak lensing dark-matter mass-maps, with principled Bayesian uncertainties, without imposing

9: or assuming Gaussianty. We solve the spherical mass-mapping inverse

10: problem in the analysis setting adopting a

11: sparsity promoting Laplace-type wavelet prior, though this theoretical framework supports

12: all log-concave posteriors.

13: Our spherical mass-mapping formalism facilitates principled statistical interpretation of

14: reconstructions. We apply our framework to convergence reconstruction on high resolution

15: N-body simulations with pseudo-Euclid masking, polluted with a variety of realistic noise levels,

16: and show a dramatic increase in reconstruction fidelity compared to standard approaches.

17: Furthermore we perform the largest joint reconstruction to date of all publically available shear

18: observational datasets (combining DESY1, KiDS450 and CFHTLens) and find that our formalism recovers

19: a convergence map with significantly enhanced small-scale detail. Within

20: our Bayesian framework we validate, in a statistically rigourous manner, the community's intuition

21: regarding the need to smooth spherical Kaiser-Squies estimates to provide physically meaningful convergence maps.

22: Such approaches cannot reveal the small-scale physical structures that we recover within our

23: framework.

24: \end{abstract}

25: