MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

At one point my advisor, Mark Haiman, mentioned that it would be nice if there was a way to compute Groebner bases that takes into account a group action.

Does anyone know of any work done along these lines?

For example, suppose a general linear group $G$ acts on a polynomial ring $R$ and we have an ideal $I$ invariant under the group action. Suppose we have a Groebner basis $B$ of $I$. Then we can form the set $G(B) := \{ G(b) : b \in B \}$. Perhaps we also wish to form the set
$$IG(B) := \{ V : V \text{ is an irreducible summand of } W, \text{ for some }W \in G(B) \}$$ (note that $G(b)$ cyclic implies it has a multiplicity-free decomposition into irreducibles).

Can we find a condition on a set of $G$-modules (resp. $G$-irreducibles), analogous to Buchberger's S-pair criterion, that guarantees that this set is of the form $G(B)$ (resp. $IG(B)$) for some Groebner basis $B$?

Can the character of $R /I$ be determined from the set $IG(B)$ in a similar way to how the Hilbert series of $R /I$ can be determined from $B$?

share|cite|improve this question
Note that no change to the standard theory is necessary if $G$ is a torus -- now we're just talking multigraded Hilbert series, rather than usual. – Allen Knutson Jan 17 '10 at 13:15
You've probably already found this, but this paper sets up a theory of equivariant Gröbner bases, though I think not quite of the type you seek. – Clark Barwick Jan 18 '10 at 15:09
I didn't know about this, and it looks quite interesting even if it's not exactly what I'm asking for. Thank you! – Jonah Blasiak Jan 19 '10 at 0:22
Any luck? I'd also like to hear about this! – Clark Barwick Feb 4 '10 at 15:26
Two comments: (1) To get braces to appear, you have to use two backslashes: \\{, provided Markdown doesn't edit this comment. This is because Markdown converts backslash-brace to brace, so to get backslash-brace, you must use backslash-backslash-brace. (2) Clark, you should post your link as an answer, and if it's what Jonah was looking for, you should accept it, and otherwise maybe comment on it? – Theo Johnson-Freyd Feb 6 '10 at 3:39

You might want to look at the paper Groebner bases of ideals invariant under endomorphisms by Drensky and La Scala.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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