Equidimensional toric extensions of symplectic groups

DOI10.3792/PJAA.70.74MaRDI QIDQ1330248zbMATH OpenOpenAlexFDO

Authors Haruhisa Nakajima

Publication date 24 August 1995

Published in Proceedings of the Japan Academy. Series A (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3792/pjaa.70.74

zbMATH Keywords

affine varietyalgebraic actionsalgebraic toruscofree representationsconnected reductive complex algebraic groupsequidimensional representationsfinite dimensional representationsrelative equidimensional representationsrelatively stable representations

Mathematics Subject Classification ID

Group actions on varieties or schemes (quotients) (14L30) Vector and tensor algebra, theory of invariants (15A72) Representation theory for linear algebraic groups (20G05) Linear algebraic groups over the reals, the complexes, the quaternions (20G20)

Review text

Let \(\rho : G \to\text{GL}(V)\) be a finite dimensional representation over \(\mathbb{C}\) of a connected reductive complex algebraic group \(G\). \textit{V. L. Popov} [Funkts. Anal. Prilozh. 10, 91-92 (1976; Zbl 0365.20053)] conjectured that equidimensional representations of semisimple \(G\) are cofree. The present paper is concerned with Popov's conjecture for certain non-semisimple \(G\). Recall that an algebraic action of \(G\) on an affine variety \(X\) (abbr. \((X,G)\)) is said to be cofree (resp. equidimensional), if \(\mathbb{C}[X]\) is \(\mathbb{C}[X]^ G\)-free (resp. if \(X \to X/G\) is equidimensional), where \(X/G\) denotes the algebraic quotient of \(X\). Moreover, \((X,G)\) is said to be stable, if \(X\) contains a non-empty open subset consisting of closed \(G\)-orbits. We denote by \(G'\) the commutator subgroup of \(G\) and say that \(\rho\) is relatively equidimensional (resp. relatively stable), if \((V/G',G/G')\) is equidimensional (resp. stable). Now, suppose that \(G'\) is symplectic and non-orthogonal (i.e., \(\text{rk }G' > 2\)). In the present paper, we determine relatively equidimensional and relatively stable representations of \(G\). As a byproduct, we obtain: Theorem. Suppose that the natural action of \(Z(G)^ 0\) on \(V/V^{G'}\) is nontrivial. If \(\rho\) is relatively stable and relatively equidimensional, then the restriction of \(\rho\) to \(G'\) is cofree. Our method is based on the paper [Ann. Inst. Fourier 45, No. 3, 681-705 (1995)] of the author and can be applied to other simple \(G'\)'s. Further classification and related results were announced at the 1994 meetings of the Mathematical Society of Japan by the author.

Recommendations

• scientific article; zbMATH DE number 15137
• Equidimensional relatively stable reductive algebraic groups with simple commutator subgroups
• Equidimensional varieties and associated cones
• A Proof of the Popov Conjecture for Tori
• Equidimensional representations of \(2\)-simple groups

Cites work

• Equidimensional actions of algebraic tori
• Equidimensional representations of simple algebraic groups
• scientific article; zbMATH DE number 3844037 (Why is no real title available?)
• scientific article; zbMATH DE number 3281784 (Why is no real title available?)
• Representations of simple Lie groups with a free module of covariants
• Representations of simple Lie groups with regular rings of invariants

Cited in

(9)

• Equivariant Reidemeister torsion on symmetric spaces
• Equidimensional relatively stable reductive algebraic groups with simple commutator subgroups
• Equidimensional actions of algebraic tori
• Invariant functions on symplectic representations
• Cofree embeddings of algebraic tori preserving canonical sheaves.
• Universal equivalence of symplectic groups
• scientific article; zbMATH DE number 4161010 (Why is no real title available?)
• scientific article; zbMATH DE number 15137 (Why is no real title available?)
• A Proof of the Popov Conjecture for Tori

This page was built for publication: Equidimensional toric extensions of symplectic groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1330248)