Given a compact oriented aspherical $3$--manifold $M$ with torus boundary $\partial M\simeq T^2$ (<i>e.g.</i> a knot complement), the condition that the images in $\pi_1 M$ of basis $x,y\in \pi_1 T^2$ under the inclusion generate the boundary of a compact oriented $3$-manifold with fundamental group $\pi_1 M$ (the $3$-manifold $M$ itself, to be precise) is algebraically encoded by the vanishing of their <a href="http://en.wikipedia.org/wiki/Pontryagin_product">Pontryagin product</a> $\langle x,y\rangle\in H_2 (\pi_1 M)$.

<blockquote>
<b>Question:</b> Given a compact oriented aspherical $3$--manifold $M$ with boundary a closed surface $\partial M \simeq \Sigma$ of genus $g\geq 2$, how can I express the statement that $\Sigma$ bounds a $3$--manifold (the $3$-manifold $M$) on the level of fundamental groups? What condition must images under the inclusion of a basis for $\pi_1 \Sigma$ satisfy?
</blockquote>

I'm trying to identify some homomorphs of the fundamental group of a knotted theta, with peripheral data, and the answer to this question would, I presume, be something all such homomorphs would have to satisfy.