  We make a comprehensive and self-contained study of compact bicrossed
products arising from matched pairs of discrete groups and compact groups. We
exhibit an automatic regularity property of such a matched pair and and produce
an easy construction of the associated bicrossed product $\mathbb{G}$. We
investigate the relative co-property $(T)$ and the relative co-Haagerup
property of the pair comprising of the compact group and the bicrossed product,
discuss property $(T)$ and Haagerup property of the discrete dual
$\widehat{\mathbb{G}}$, and review co-amenability of $\mathbb{G}$ as well. We
distinguish two such non-trivial compact bicrossed products with relative
co-property $(T)$ and also provide an infinite family of pairwise non
isomorphic non-trivial discrete quantum groups with property $(T)$, the
existence of even one of the latter was unknown. Finally, we examine all the
properties mentioned above for the crossed product quantum group given by an
action by quantum automorphisms of a discrete group on a compact quantum group,
and also establish the permanence of rapid decay and weak amenability and
provide several explicit examples.
