1: \begin{abstract}

2: We define Hardy spaces $H^p(D'_\beta)$, $p\in(1,\infty)$, on the non-smooth worm domain $D'_\beta=\{(z_1,z_2)\in\dsC^2:|\im z_1-\log |z_2|^2|<\pih, |\log |z_2|^2|<\beta-\pih\}$ and we prove a series of related results such as the existence of boundary values on the distinguished boundary $\p D'_\beta$ of the domain and a Fatou-type theorem (i.e., pointwise convergence to the boundary values). Thus, we study the Szeg\H{o} projection operator $\widetilde{S}$ and the associated Szeg\H{o} kernel $K_{D'_\beta}$. More precisely, if $H^p(\partial D'_\beta)$ denotes the space of functions which are boundary values for functions in $H^p(D'_\beta)$,  we prove  that the operator $\widetilde{S}$ extends to a bounded linear operator 

3: $$

4: \widetilde{S}: L^p(\p D'_\beta)\to H^p(\p D'_\beta)

5: $$

6: for every $p\in(1,+\infty)$ and

7: $$

8: \widetilde{S}: W^{k,p}(\p D'_\beta)\to W^{k,p}(\p D'_\beta)

9: $$ 

10: for every $k>0$. Here $W^{k,p}$ denotes the Sobolev space of order $k$ and underlying $L^p$ norm, $p\in(1,\infty)$. As a consequence of the $L^p$ boundedness of $\widetilde{S}$, we prove that $H^p(D'_\beta)\cap\clC(\overline{D'_\beta})$ is a dense subspace of $H^p(D'_\beta)$.

11: 

12: \end{abstract}

13: