Let $G$ and $H$ be two Hopf algebras, and $\pi: G \to H$ a Hopf algebra map. We will call an algebra of the form
$$
M:= \lbrace m \in G ~ | ~ m\_{(1)} \otimes \pi(m\_{(2)}) = m \otimes 1 \rbrace
$$
a *quantum homogeneous space*. 


There are many well known examples of quantum homogeneous spaces where $G$ is a [faithfully flat](http://en.wikipedia.org/wiki/Flat_module) module over $M$: the quantum spheres, the quantum projective spaces, or more generally the quantum flag manifolds. What I would like are examples of quantum homogeneous spaces for which $G$ is **not** a faithfully flat module over $M$? 


It is known that quantum-$SU(2)$ is not faithfully flat over some of the non-standard Podles spheres. However, these are not quantum homogenous spaces in the sense given above. 



Non-Faithfully Flat Quantum Homogeneous Spaces
Lets look at the commutative situation. So here is an example. I will change your notations -- otherwise I get too confused. Take $G=SL(N,\mathbb{C})$ and let $H$ be the subgroup of all those elements in $G$ for which the matrix entries strictly above the diagonal vanish and for which the diagonal entries are all $1$. The embedding $H\hookrightarrow G$ gives you a surjection $\pi:\mathbb{C}[G]\rightarrow \mathbb{C}[H]$ of Hopf algebras. The algebra $\mathbb{C}[G]$ has generators $a\_{ij}$ for $1\le i,j\le N$ which are the coordinate functions of the matrix entries. The map $\pi$ maps $a\_{ij}\mapsto 0$ if $i < j $ and $a\_{ii}\mapsto 1$ for all $i$. All other generators $a\_{ij}$ of $\mathbb{C}[G]$ are mapped to the corresponding generators of $\mathbb{C}[H]$. Your (quantum) homogeneous space is the subalgebra of $\mathbb{C}[G]$ generated by the last column, i.e. by the elements $a\_{iN}$ for $1\le i\le N$. Lets call this subalgebra $\mathbb{C}[X]$. Then $\mathbb{C}[G]$ is not faithfully flat over $\mathbb{C}[X]$. Indeed, $\mathbb{C}[X]$ is just a polynomial ring in $N$ variables. The variables $a\_{iN}$ generate a maximal ideal $\mathfrak{m}$ of $\mathbb{C}[X]$. Hence you have a proper inclusion $\mathfrak{m}\hookrightarrow \mathbb{C}[X]$. However, 
\begin{align}
\mathfrak{m}\otimes\_{\mathbb{C}[X]} \mathbb{C}[G] = \mathbb{C}[G]
\end{align}
because the tensor product on the left contains the determinant and hence the element $1$. This means that after tensoring over $\mathbb{C}[X]$ with $\mathbb{C}[G]$ your proper inclusion becomes an isomorphism. That contradicts faithfully flatness. 


This example actually tells us more. The inclusion $\mathbb{C}[X]\hookrightarrow \mathbb{C}[G]$ gives us a map of the (maximal) spectra $G \rightarrow X$. If this map is not surjective (as in our example) then there exists a maximal ideal in $\mathbb{C}[X]$ which cannot be lifted to a maximal ideal in $\mathbb{C}[G]$. It's not hard to see, that in this case $\mathbb{C}[G]$ cannot be faithfully flat as a module over $\mathbb{C}[X]$.


