arXiv++ Combinatorics

We prove Stanley's plethysm conjecture for the $2 \times n$ case, which composed with the work of Black and List provides another proof of Foulkes conjecture for the $2 \times n$ case. We also show that the way Stanley formulated his conjecture, it is false in general, and suggest an alternative formulation.

The wreath product W(r,n) of the cyclic group of order r and the symmetric group S_n acts on the corresponding projective hyperplane complement, and on its wonderful compactification as defined by De Concini and Procesi. We give a formula for the characters of the representations of W(r,n) on the cohomology groups of this compactification, extending the result of Ginzburg and Kapranov in the r=1 case. As a corollary, we get a formula for the Betti numbers which generalizes the result of Yuzvinsky in the r=2 case. Our method involves applying to the nested-set stratification a generalization of Joyal's theory of tensor species, which includes a link between polynomial functors and plethysm for general r. We also give a new proof of Lehrer's formula for the representations of W(r,n) on the cohomology groups of the hyperplane complement.

For a positive definite fundamental tensor all known examples of Osserman algebraic curvature tensors have a typical structure. They can be produced from a metric tensor and a finite set of skew-symmetric matrices which fulfil Clifford commutation relations. We show by means of Young symmetrizers and a theorem of S. A. Fulling, R. C. King, B. G. Wybourne and C. J. Cummins that every algebraic curvature tensor has a structure which is very similar to that of the above Osserman curvature tensors. We verify our results by means of the Littlewood-Richardson rule and plethysms. For certain symbolic calculations we used the Mathematica packages MathTensor, Ricci and PERMS.

Symmetry properties of r-times covariant tensors T can be described by certain linear subspaces W of the group ring K[S_r] of a symmetric group S_r. If for a class of tensors T such a W is known, the elements of the orthogonal subspace W^{\bot} of W within the dual space of K[S_r] yield linear identities needed for a treatment of the term combination problem for the coordinates of the T. We give the structure of these W for every situation which appears in symbolic tensor calculations by computer. Characterizing idempotents of such W can be determined by means of an ideal decomposition algorithm which works in every semisimple ring up to an isomorphism. Furthermore, we use tools such as the Littlewood-Richardson rule, plethysms and discrete Fourier transforms for S_r to increase the efficience of calculations. All described methods were implemented in a Mathematica package called PERMS.

An expression is given for the plethysm $p_{2}\circ S_{\square}$, where $p_{2}$ is the power sum of degree two and $S_{\square}$ is the Schur function indexed by a rectangular partition. The formula can be well understood from the viewpoint of the basic representation of the affine Lie algebra of type $A_{2}^{(2)}$.

For any complex classical group $G=O_N,Sp_N$ consider the ring $Z(g)$ of $G$-invariants in the corresponding enveloping algebra $U(g)$. Let $u$ be a complex parameter. For each $n=0,1,2,...$ and every partition $ν$ of $n$ into at most $N$ parts we define a certain rational function $Z_ν(u)$ which takes values in $Z(g)$. Our definition is motivated by the works of Cherednik and Sklyanin on the reflection equation, and also by the classical Capelli identity. The degrees in $U(g)$ of the values of $Z_ν(u)$ do not exceed $n$. We describe the images of these values in the $n$-th symmetric power of $g$. Our description involves the plethysm coefficients as studied by Littlewood, see Theorem 3.4 and Corollary 3.6.

An operation on species corresponding to the inner plethysm of their associated cycle index series is constructed. This operation, the inner plethysm of species, is generalized to n-sorted species. Polynomial maps on species are studied and used to extend inner plethysm and other operations to virtual species. Finally, inner plethysm and other operations on species are applied to various problems in graph theory. In particular, regular graphs, and digraphs in which every vertex has outdegree k, are enumerated.