The conjugacy classes of the permutation group $S\_n$ are indexed by partitions like $[6]$ and $[2,2,2] = [2^3]$ describing the cycle type. What happens when you take products of two whole conjugacy classes? I saw in a paper,
$$[6][2^3] = 6[3,1^3] + 8[2^2,1^2]+5[5,1]+4[4,2]+3[3^2]$$
Which I take to mean if you multiply a 6-cycle (**abcdef**) and a product of disjoint 3-cycles (**pq**)(**rs**)(**tv**), you can get 


* a three-cycle (**abc**),
* two two-cycles (**ab**)(**cd**),
* a five-cycles (**abcde**),
* a four-cycles and a two-cycle (**abcd**)(**ef**),
* two three cycles (**abc**)(**def**)


With certain multiplicities. Is it predictable what kinds of conjugacy classes you get? Is there an interpretation of this as the intersection cohomology of some moduli space?



Products of Conjugacy Classes in S_n
Short answer: Yes, on Hurwitz spaces.


Let's set these numbers up as the structure constants of $Z\_d=Z(\mathbb{C}[S\_d])$, the center of the group ring of the symmetric group $S\_d$. The ring $Z\_d$ has basis $K\_{\mu}$, where $\mu$ is a partition of $d$, and $K\_\mu$ represents the sum of all permutations of cycle type $\mu$. Then multiplication gives 


$$K\_\mu K\_\nu=\sum\_{\lambda} C^\lambda\_{\mu,\nu} K\_\lambda$$
for some numbers $ C^\lambda\_{\mu,\nu}$, which are what you're interested in. I've seen these called *connection coefficients*, in work of Goulden and Jackson, for instance, their paper [Transitive Factorisations into Transpositions and Holomorphic Mappings on the Sphere](http://www.jstor.org/stable/2161793?seq=1) , which starts to get you a simple connection to geometry: by looking at ramified covers of the sphere. I'll talk about this a bit first, giving a rough sketch and some pointers, and then I'll address some of Mariano's comments.


This easiest connection to geometry is what you asked about in your [previous question](https://mathoverflow.net/questions/9415/hurwitz-encoding) as "Hurwitz encoding", and David's answer there was good so I'll take that as background. You can start turning this into a problem about intersection theory by looking at Hurwitz Spaces. 


You can make various flavours of these, but lets call the most basic one $H\_{g,d}$, the moduli space of all holomorphic maps $\pi:\Sigma\to \mathbb{P}^1$ of degree $d$ from a smooth genis $g$ Riemann surface $\Sigma$ to the Riemann sphere $\mathbb{P}^1$. Generically, such maps will all have simple ramification, and by the Riemann-Hurwitz formula there will be $r=2g-2+2d$ such points of ramification, and so we see that $H\_{g,d}$ will have complex dimension $r$. We will be able to view your numbers as suitable intersections on the Hurwitz space $H\_{g,d}$. 


There is a map from $H\_{g,d}$ to $\mathbb{P}^r=(\mathbb{P}^1)^r/S\_r$ that forgets $\Sigma$ and just remembers the $r$ branch points, (the critical values of $\pi$), counted with multiplicity. This is sometimes called the branch map, and I believe it is essentially what is known as the Lyashko-Looijenga map, and so I'll call this map LL. 


The degree of the map LL is what is known as a Hurwitz number, and translating everything into monodromy we see that it counts the number of tuples of $r$ transpositions $t\_i$ in $S\_d$ with the product of the $t\_i$ being the identity, divided by $d!$ coming from automorphisms of the cover, or choosing a labeling of the $d$ sheets of the cover, depending on your viewpoint. 


To understand your connection coefficients geometrically, for a partition $\mu$ and a point $p\in \mathbb{P}^1$ we could define a cohomology class $\alpha(\mu, p)$ to consist of those maps in $H\_{g,d}$ where $\pi$ has ramification profile $\mu$ over $p$. Then, if we've set up $g$ correctly with respect to $\mu, \nu$ and $\lambda$, the numbers $C^{\lambda}\_{\mu,\nu}$ should be, again, up to some factor of automorphisms, the number of points in the triple intersection $\alpha(\mu,p\_1)\cap \alpha(\nu,p\_2)\cap \alpha(\lambda, p\_3)$. 


I'm not addressing some stuff (for isntance, connected versus discnonected covers) or necessarily giving you the most useful view in practice, but this is the simplest way to something like what you want, I think -- the Hurwitz space $H\_{g,d}$ is not compact, and we'd want to compactify it (admissible covers is the first way, but this winds up not being normal, and you can use some orbifold Gromov-Witten theory and compactify with see [twisted stable maps](http://arxiv.org/abs/math/0106211) to get the normalization). But hopefully that's some idea of how this would go. To see this viewpoint used in practice, there are for instance, papers for instance of Lando and Zvonkine on the Arxiv -- I'm not sure where exactly you'd want to start. Through something known as the ELSV formula this story gets connected to intersection numbers on the moduli space of curves, which might be what you had in mind...


To connect into what Mariano was saying in comments, you'd want to get into the of a permutation $\sigma$ -- the minimal number of transpositions $\sigma$ factors into. Let's call this the weight of sigma -- for a permutation of cycle type $\mu$, it is equal to $|\mu|-\ell(\mu)$, where $\ell(\mu)$ is the number of parts of $\mu$. The center of the group ring $Z\_d$ is filtered by the weight, and the "top" coefficients are ones where the weight adds -- where $d-\ell(\lambda)=d-\ell(\mu)+d-\ell(\nu)$. 


In our geometric viewpoint, the weight is the amount of ramification above a certain point, and the top coefficients correspond to covers where all components are genus zero, the coefficients where the weight is off by two means we have a genus one cover, and similarly -- this filtration is geometrically filtering by the genus of our cover. The "top" coefficients are particularly nice in that they are independent of $d$ and so when you take the associated graded for each $s\_d$ this plays well with the natural inclusions between the $S\_d$ and you get some universal ring out of all the $S\_d$ the Farahat-Higman ring.


Mariano's mention of the hilbert scheme of points in the plane is a bit of a different longer story here -- the brief outline as I like to think about it is that we can view $Z\_d$ as the Chen=-Ruan orbifold cohomology of the $\mathcal{B}S\_d=point/S\_d$. The stack $\mathbb{C}^{d}/S\_d$ will have the same vector space of cohomology, but the grading will be different -- this is what algebraic geometers call "age" that Mariano referred to. This age induces exactly the filtration above. The filtration is just doubled for $\mathbb{C}^{2d}$, and the Hilbert Scheme of points is a crepant resolution of this space, and so you get the relation on homology above. This is a long story, and seems slightly off from what you want.


