In complex algebraic geometry, the decomposition theorem asserts that semisimple geometric objects remain semisimple after taking direct images under proper algebraic maps. This was conjectured by Kashiwara and is proved by Mochizuki and Sabbah in a series of very long papers via harmonic analysis and D-modules. In this talk, I would like to explain a simpler proof in the case of semisimple local systems using a more geometric approach. As a byproduct, we also recover a weak form of Saito's decomposition theorem for variation of Hodge structures. Joint work in progress with Chuanhao Wei. Speaker(s): Ruijie Yang (Stony Brook University)