English

Mod 2 indecomposable orthogonal invariants

Rings and Algebras 2014-07-31 v2 Commutative Algebra Algebraic Geometry

Abstract

Over an algebraically closed base field kk of characteristic 2, the ring RGR^G of invariants is studied, GG being the orthogonal group O(n) or the special orthogonal group SO(n) and acting naturally on the coordinate ring RR of the mm-fold direct sum kn...knk^n \oplus...\oplus k^n of the standard vector representation. It is proved for O(n) (n2)(n\geq 2) and for SO(n) (n3)(n\geq 3) that there exist mm--linear invariants with mm arbitrarily large that are indecomposable (i. e., not expressible as polynomials in invariants of lower degree). In fact, they are explicitly constructed for all possible values of mm. Indecomposability of corresponding invariants over Z\mathbb Z immediately follows. The constructions rely on analysing the Pfaffian of the skew-symmetric matrix whose entries above the diagonal are the scalar products of the vector variables.

Keywords

Cite

@article{arxiv.math/0310029,
  title  = {Mod 2 indecomposable orthogonal invariants},
  author = {M. Domokos and P. E. Frenkel},
  journal= {arXiv preprint arXiv:math/0310029},
  year   = {2014}
}

Comments

9 pages. Theorem 6 stated and proved in strenghtened form. To appear in Advances in Mathematics