1: \begin{abstract}

2: We study the cohomological equation for discrete horocycle maps on $\SL(2,\RR)$ and $\SL(2,\RR)\times \SL(2,\RR)$ via representation theory.

3: Specifically, we prove Hilbert Sobolev non-tame estimates for solutions of the cohomological equation of horocycle maps in representations of $\SL(2,\RR)$.  Our estimates improve on previous results and are sharp up to a fixed, finite loss of regularity.  

4: Moreover, they are tame on a co-dimension one subspace of $\sl(2, \R)$, and we prove tame cocycle rigidity for some two-parameter discrete actions, improving on a previous result.  

5: Our estimates on the cohomological equation of horocycle maps overcome difficulties in previous papers by working in a more suitable model for $\SL(2, \R)$ in which all cases of irreducible, unitary representations of $\SL(2, \R)$ can be studied simultaneously.

6: 

7: Finally, our results combine with those of a very recent paper by the authors to give cohomology results for discrete parabolic actions in regular representations of some general classes of simple Lie groups, providing a fundamental step toward proving differential local rigidity of parabolic actions in this general setting.

8: \end{abstract}

9: