Singularity of harmonic measure for finitely supported random walks

In this paper we affirmatively resolve the singularity conjecture for finitely supported non-degenerate random walks on cocompact Fuchsian groups. The method we use is based on constructing a pair of geodesic currents, one for the Lebesgue measure and one for the random walk measure, and checking that they are different by using Fourier analysis on the boundary.