Source author record

P. E. Frenkel

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
4topics
1close collaborators

Published work

3 publications

preprint2004arXiv

Mod 2 indecomposable orthogonal invariants

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) (n≥2)(n\geq 2) and for SO(n) (n≥3)(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.

preprint2003arXiv

On orthogonal invariants in characteristic 2

Working over an algebraically closed base field kk of characteristic 2, the ring of invariants RGR^G is studied, where GG is the orthogonal group O(n) or the special orthogonal group SO(n), 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(2), O(3)=SO(3)O(3)=SO(3), SO(4), and O(4), that there exists an mm-linear invariant with mm arbitrarily large, which is not expressible as a polynomial of invariants of lower degree. This is in sharp contrast with the uniform description of the ring of invariants valid in all other characteristics, and supports the conjecture that the same phenomena occur for all nn. For general even nn, new O(n)-invariants are constructed, which are not expressible as polynomials of the quadratic invariants. In contrast with these results, it is shown that rational invariants have a uniform description valid in all characteristics. Similarly, if m≤nm \leq n, then RO(n)R^O(n) is generated by the obvious invariants. For all nn, the algebra RGR^G is a finitely generated module over the subalgebra generated by the quadratic invariants, and for odd nn, the square of any SO(n)-invariant is a polynomial of the quadratic invariants. Finally we mention that for even nn, an nn-linear SO(n)-invariant is given, which distinguishes between SO(n) and O(n) (just like the determinant in all characteristics different from 2).

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.