17
$\begingroup$

EDIT: Now with a concrete request to CAS experts (see the end of the post).

Let $G$ be a finite group, and $V$ a finite-dimensional representation of $G$. The classical invariant theory of $G$ and $V$ is a study of the $G$-invariants in the $K$-algebra $K\left[V\right]=\mathrm{S}\left(V^{\ast}\right)$, where $\mathrm{S}$ means the symmetric algebra. One has results like the Noether theorem, which says that over a field of characteristic $0$, the $G$-invariants in this $K$-algebra $\mathrm{S}\left(V^{\ast}\right)$ are generated (as a $K$-algebra) by the $G$-invariants in its submodule $\mathrm{S}^1\left(V^{\ast}\right)\oplus \mathrm{S}^2\left(V^{\ast}\right)\oplus ...\oplus \mathrm{S}^{\left|G\right|}\left(V^{\ast}\right)$.

Is there a similar theory, with similar bounds, for the $K$-algebra $\wedge \left(V^{\ast}\right)$ ? Actually this looks a bit simpler, because $\wedge^k \left(V^{\ast}\right)$ is nonzero only for $k\leq\dim V$; but $\dim V$ might still be greater than $\left|G\right|$. If there is an analogue of Weyl's theorem (Theorem A in 8.3 of Kraft-Procesi - see the Example in §8.5 for how I want to apply it), then we could limit ourselves to the case of $V$ being the regular representation, and then Noether's bound would follow. But there is no direct analogue of Weyl's theorem (in the sense of replacing $K\left[V^p\right]$ by $\wedge \left(V^{\ast p}\right)$ and $K\left[V^n\right]$ by $\wedge \left(V^{\ast n}\right)$).

The only thing from classical invariant theory which I can extend to this "anticommutative" (because $\wedge^k \left(V^{\ast}\right)$ can be seen as "anticommutative" polynomials on $V$) invariant theory is the Molien series, which takes the form

$\sum\limits_{d=0}^{\infty} \dim \left( \left(\wedge^d V\right)^G\right) T^d = \frac{1}{\left|G\right|}\sum\limits_{g\in G} \det\left(1+Tg\right)$

in our anticommutative setting, again only in the characteristic $0$ case. (Note that I have switched from $V$ to $V^{\ast}$, but this should not matter in the end since the the dimension of the invariants in some given representation always equals the dimension of the invariants in its dual - when we are in the characteristic $0$ case at least.)

Concrete request to anyone who has some experience with computer algebra systems:

Consider the exterior algebra freely generated by the differential forms $dx_1$, $dx_2$, ..., $dx_n$, $dy_1$, $dy_2$, ..., $dy_n$, $dz_1$, $dz_2$, ..., $dz_n$ over $\mathbb Q$. (This is the exterior algebra of a $3n$-dimensional vector space.)

Let the symmetric group $S_3$ act on this algebra by permuting $x$, $y$, $z$ (leaving the numeric indices unchanged).

For every $k\in\left\lbrace 1,2,...,n\right\rbrace $, the sum $dx_1\wedge dx_2\wedge ...\wedge dx_k + dy_1\wedge dy_2\wedge ...\wedge dy_k + dz_1\wedge dz_2\wedge ...\wedge dz_k$ is an invariant under this action. Does it lie in the subalgebra generated by invariants of smaller degree? (Note that it is enough to consider homogeneous invariants, so that there cannot be degree-reducing cancellations. Also note that it is easy to find a generating set of all invariants of given degree just by writing out all the monomials and averaging them over the action of $S_3$.) A negative answer for $n=k=7$ (or higher) would destroy the Noether bound in the anticommutative case.

I played with the idea of coding the exterior algebra as an algebraic type in Haskell, but finding out whether an element is generated by elements of smaller degree means solving a system of linear equations, and I don't have enough experience to code Gaussian elimination in Haskell. Other than that, there must surely be a CAS that knows how to work with anticommuting variables?

$\endgroup$
7
  • $\begingroup$ This is more in the direction of you question title than your actual question (hint!), but have you looked at Roger Howe's paper "Remarks on classical invariant theory" and his Schur's lectures? Some of this theory is also in Goodman and Wallach, if I remember correctly. In particular, one of the techniques of generating invariants in the Grassman algebra is taking the top exterior power of a span of a $G$-orbit (which is a decomposable $k$-vector). By the way, what is Weyl's theorem that you referred to? $\endgroup$ Sep 13, 2010 at 17:21
  • $\begingroup$ Oh, thanks. Do you mean I should search for "super invariant theory"? I have already, to no avail. No, I could not locate the Schur notes (when I see them in a library, I will scan them), but I have his paper. I don't see where this is considered in Goodman-Wallach, but thanks for the reference (it's new to me). The Weyl theorem I referred to is Theorem A on page 73 of math.unibas.ch/~kraft/Papers/KP-Primer.pdf (there may be a minor typo here: instead of $K\left[V^p\right]^G=\left< K\left[V^n\right]^G \right>_{\mathrm{GL}_p}$, the proof only shows that $K\left[V^p\right]^G$ ... $\endgroup$ Sep 13, 2010 at 17:43
  • $\begingroup$ ... is generated as a $K$-algebra by $\left< K\left[V^n\right]^G \right>_{\mathrm{GL}_p}$, although this doesn't mean that $K\left[V^p\right]^G=\left< K\left[V^n\right]^G \right>_{\mathrm{GL}_p}$ must be wrong) and its generalizations in the subsequent chapters. $\endgroup$ Sep 13, 2010 at 17:44
  • $\begingroup$ Okay, there is no typo in Theorem A, it's just a slight mistake in the proof (Theorem A doesn't follow from Corollary 1 (a), but requires the whole power of the Proposition). $\endgroup$ Sep 13, 2010 at 20:19
  • 2
    $\begingroup$ There is a discussion of exterior invariant theory in Chapter 9 of L. Smith, Polynomial Invariants of Finite Groups, though he does not discuss an analogue of Noether's theorem. $\endgroup$ Sep 14, 2010 at 2:03

3 Answers 3

2
$\begingroup$

PARTIAL answer: By a theorem of Solomon (Louis Solomon, Invariants of Finite Reflection Groups, Nagoya Math. J. Volume 22 (1963), pp. 57-64, also Julia Hartmann and Anne V. Shepler, Reflection Groups and Differential Forms), the Noether bound holds when the action of $G$ on $V$ is a reflection group. (Moreover, in this case, even the tensor product $S\left(V\right)\otimes \wedge\left(V\right)$ is generated in degree $\leq \left| G\right|$. I am wondering what can be said about $S\left(V\right)\otimes \wedge\left(W\right)$ for two different reflection representations $V$ and $W$ of $G$.)

This doesn't say anything about the $S_3$-module I am considering to be a potential counterexample, though ($S_3$ doesn't act as a reflection group on it). I would still be very indebted for some Sage code to work out this case.

$\endgroup$
1
$\begingroup$

There is a recent work of Weiqiang Wang and his student Jinkui Wan on spin-invariant theory. It appears to be the first of its kind.

$\endgroup$
1
  • $\begingroup$ Aha, thanks - this seems to handle the case of the group $S_n$ with its standard representation. No hints on the general group case, however... $\endgroup$ Oct 25, 2010 at 23:59
0
$\begingroup$

The Maple CAS works with anticommuting variables - see its Physics package - and also with differential geometry in general - see its DifferentialGeometry package.

$\endgroup$

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.