Let $S$ be a closed surface of genus $g > 0$ and $[S,S] = Hom(\pi\_{1}(S),\pi\_{1}(S))$ be the monoid of (homotopy classes of) continuous maps from $S$ to itself. Consider the semi-group $A$ of elements that induce the $0$ map on $H\_{2}(S,\mathbb{Z})$.


**Question.** Is there a "nice" set of generators for $A$? (Maybe we quotient by natural conjugacy action of the homeomorphisms of $S$.) 


The map on $\mathbb{S}^{1} \times \mathbb{S}^{1}$, $(x,y) \rightarrow (x,1)$ would be an example of such a map on the torus, I guess that this generates up to conjugacy?


EDIT


More generally, we can generate many classes in $A$ by picking any continuous mapping $f: S \rightarrow \mathbb{S}^1$ (of which there are many different classes; precisely $\mathrm{Hom}(\pi\_{1}(S),\mathbb{Z})$), and choosing some continuous mapping $\mathbb{S}^{1} \hookrightarrow S$. More specifically, do maps of the above form generate $A$?


(This seems quite unlikely at the algebraic level, but if there is a counterexample I would be interested to see a geometric realisation of the map as well)



Monoid of continuous self-maps of (real) surfaces
Here's some sort of geometric description of maps of degree 0. I don't know how realistically you can find a generators-and-relations description of the semigroup of such maps.


It is a theorem due to Kneser that I learned from [this answer](https://mathoverflow.net/a/20759/40804) that any map of degree 0 between closed oriented surfaces is homotopic to a non-surjective map. So $\Sigma\_g \to \Sigma\_h$ factors through the 1-skeleton up to homotopy. You're reduced to asking for a classification of maps $\Sigma\_g \to \vee\_1^{2h} S^1$ up to homotopy (which again is equivalent to the algebraic statement about maps on the fundamental group). The largest free group $\pi\_1(\Sigma\_g)$ surjects onto is $F\_g$. To see this, look at the induced map on cohomology of the corresponding Eilenberg MacLane spaces; the fact that the map is a surjection implies that $\Bbb Z^k \cong H^1(F\_k) \to H^1(\Sigma\_g)$ is injective. The cup product must be zero on the image; because it's a nondegenerate bilinear form on $H^1(\Sigma\_g)\cong \Bbb Z^{2g}$, the image can be at most $g$-dimensional. 


Dualizing, we see that when we have a surjection $\pi\_1(\Sigma\_g) \to F\_g$, the kernel of the map on $H\_1$ is $\Bbb Z^g$, which furthermore can be given a basis of pairwise disjoint simple closed curves with connected complement.


I'd like to be able to say that this is true further at the level of fundamental groups, so that (after precomposing with a diffeomorphism of the domain) every map $\Sigma\_g \to \Sigma\_g$ of degree 0 extends over the handlebody $H\_g$. (Note that algebraically this semigroup is not at all generated by the maps that factor through $S^1$ - the image of the fundamental group of $gf$, where $f$ is such a map, necessarily has image a quotient of $\Bbb Z$.) But I don't know how to get the statement at the level of fundamental groups, though I think it's true.


