Skip to main content
edited title
Link
RobPratt
  • 5.4k
  • 1
  • 15
  • 25

Linear reccurencerecurrence relation for symmetric powers in the Burnside ring

Became Hot Network Question
edited title
Link

Linear reccurence relation for symmetric powers in the BurnsidueBurnside ring

Source Link

Linear reccurence relation for symmetric powers in the Burnsidue ring

Let $G$ be a finite group and $B(G)$ be its Burnside ring, i.e. formal sums of isomorphism classes of finite $G$-sets with addition given by disjoint union and multiplication given by Cartesian product. I denote by $[X]$ the class of a $G$-set $X$ in $B(G)$.

Let $X$ be a $G$-set of the form $G/H$ for some subgroup $H \subset G$. $\textit{I'm trying to prove that}$ $$\sum\limits_{n=0}^\infty [Sym^n(X)]t^n$$ is a rational function. Here $Sym^n(X) = \{ f \colon X \to \mathbb{N}\cup\{0\} : \sum\limits_{x \in X} f(x) = n\}$ (multisubsets of $X$ of cardinality $n$).

In order to do this, I'm trying to prove that there is a linear recurrence relation for $[Sym^n(X)]$ in terms of $\{[Sym^k(X)]\}_{k < n}$, where $n \gg 0$. I'm able to prove this fact in the case of $|X|=2$, because then $$[Sym^{2k}(X)] = k[X]+pt\quad \text{and} \quad [Sym^{2k+1}(X)] = 2k[X],$$ and also in the case of $|X|=3$, because then, if I'm not mistaken, $$[Sym^n(X)] = 2[X]+[Sym^{n-2}(X)]+[Sym^{n-3}(X)]-[Sym^{n-5}(X)].$$

The problem is that I do not know how to generalize these results. In the general case, I understand that $Sym^n(X) \supset Sym^1(X)$ and $Sym^{n-k}(X)$, where $|X|=k$, because the subset of functions taking the only non-zero value (equal to $n$) is $G$-isomorphic to $Sym^1(X)$, while the subset of functions $f \in Sym^n(X)$ such that $f(x) \neq 0$ for all $x \in X$ is $G$-isomorphic to $Sym^{n-k}(X)$ (one can subtract $1$ from each value). I also understand that one can stratify $Sym^n(X)$ by partitions of $n$ with length less or equal to $k$, but this stratification is not in terms of previous symmetric powers, but in terms of some arbitrary $G$-sets, so it does not help.

Any help or advice would be appreciated. I'm really stuck with that.