3
$\begingroup$

As part of the result of solving the problem I am working on, my advisor and I translated the task of finding a basis for $R(T_{sl_{\mathbb{C}}(n)})$ in terms of $R(sl_{\mathbb{C}}(n))$ into the following problem:

Finding a basis for $\mathbb{Z}[x_{1},x_{2},...x_{n+1}], \text{with condition} \prod x_{i}=1$ in terms of $$\mathbb{Z}[x_{1}+x_{2}..+x_{n+1}, \sum_{i\le j} x_{i}x_{j}, \sum_{i\le j\le k} x_{i}x_{j}x_{k},...]$$

The later ring is obviously a ring of elementary symmetric polynomials. We are wondering if anyone from ring theory has already worked out this earlier. My advisor suggest I should look up online resources before I ask in here, but I could not find anything particularly relevant (I do not know if I am being lazy). I already searched sciencedirect, arxiv, wolfram-mathworld, wikipedia, etc. It seems to me that people are working with the basis of the ring of symmetrical polynomials itself instead of this problem.

I am more willing to work out this myself instead of learning from reading others, but I think I should have an accurate bibilography to acknowledge other's work. The associated question is I do not know what is the usual practice in such situation, for every trivial question in a research project may be something already well-known to experts. For example I do not wish to ask similar questions for type B,C,D, etc's representation ring in here. I wish to apologize in advance if this turned out to be something well-known or mundane.

ADDED:

For example, the well-known $SU(2)$ case has a torus whose representation ring is isomorphic to Laurent series in one variable, and $R(SU(2))\cong \mathbb{Z}[w+w^{-1}]$, which is the above problem when $n=2$. I am not familiar with ring theory and module theory (I know Hungerford's section in rings and some Hilton&Stammach,etc, but these seem quite unrelated).

ADDED:

Now voting to close. I might have seen this in Fulton&Harris so it should be well-known.

ADDED:

I finished the proof that David Speyer's basis is correct. I extended the result by low-dimensional coincidences to a few $SO_{2n}$ cases.

$\endgroup$
9
  • 1
    $\begingroup$ Are you working in $\mathbb Z[x_1,x_2,...,x_{n+1}]/(\prod x_i-1)$? If so, Isn't the last polynomial listed equal to 1? If not, what does $\prod x_i=1$ signify? $\endgroup$
    – Will Sawin
    Feb 8, 2012 at 23:27
  • 1
    $\begingroup$ I'm not sure what is being asked here. Does $\mathbb{Z}[x_1,x_2,\dots,x_{n+1}], \prod x_i = 1$ refer to $\mathbb{Z}[x_1,x_2,\dots,x_{n+1}]/(x_1 x_2 \cdots x_{n+1} - 1)$, more commonly known as the ring of Laurent polynomials $\mathbb{Z}[x_1,x_1^{-1},\dots,x_n,x_n^{-1}]$? $\endgroup$ Feb 8, 2012 at 23:29
  • $\begingroup$ Yes. Both of the guesses are correct. $\endgroup$
    – Kerry
    Feb 9, 2012 at 0:07
  • $\begingroup$ I don't understand what you mean by "in terms of." $\endgroup$ Feb 9, 2012 at 0:34
  • 2
    $\begingroup$ I shouldn't need to click a link in order to understand your question. Questions should be self-contained whenever feasible. $\endgroup$ Feb 9, 2012 at 16:10

1 Answer 1

5
$\begingroup$

Let $A$ be the ring $\mathbb{Z}[x_1, \ldots, x_n]$ and let $\Lambda$ be the subring of symmetric polynomials. Then $A$ is free as a $\Lambda$ module, and there are two fairly standard sets of bases.

The first is the monomials $x_1^{a_1} x_2^{a_2} \cdots x_n^{a_n}$ with $0 \leq a_i \leq n-i$. (So $a_n$ is always $0$, and there is no $x_n$ term.)

The second is the Schubert polynomials.

Your question is about $A/(x_1 \cdots x_n-1)$ as a module over $\Lambda/(x_1 \cdots x_n-1)$. Taking a quotient won't change the properties of being free, or of having a particular basis.

$\endgroup$
1
  • $\begingroup$ @David Speyer: Thanks for this, though it does not answer my question. I need something for reference in the bibliography. $\endgroup$
    – Kerry
    Feb 12, 2012 at 5:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.