On reductive subgroups of reductive groups having invariants in almost all representations

arXiv2110.11066MaRDI QIDQ6380931FDOQ6380931

Publication date: 21 October 2021

Abstract: Let

G

and

i l d e G

be connected complex reductive Lie groups,

G

semisimple. Let

L a m b d a^{+}

be the monoid of dominant weights for a positive root system

D e l t a^{+}

, and let

l (w)

be the length of a Weyl group element

w

. Let

V_{l} a m b d a

denote an irreducible

G

-module of highest weight

l a m b d a i n L a m b d a^{+}

. For any closed embedding

i o t a : i l d e G s u b s e t G

, we consider Property (A):

q u a d f o r a l l l a m b d a i n L a m b d a^{+}, e x i s t s q i n m a t h b b N

such that

V_{q l a m b d a}^{i l d e G} e 0

. A necessary condition for (A) is for

G

to have no simple factors to which

G

projects surjectively. We show that this condition is sufficient if

i l d e G

is of type

or

. We define and study an integral invariant of a root system,

e l l_{G} = m i n e l l^{l} a m b d a : l a m b d a i n L a m b d a^{+} s e t m i n u s 0

, where

e l l^{l} a m b d a = m i n l (w) : w l a m b d a o t i n m C o n e (D e l t a^{+})

. We derive the following sufficient condition for (A), independent of

i o t a

:

ell_G - # ildeDelta^+ > 0 ;Longrightarrow; (A).

We compute

e l l_{G}

and related data for all simple

G

, except

, where we obtain lower and upper bounds. We consider a stronger property (A-

k

) defined in terms of Geometric Invariant Theory, related to extreme values of codimensions of unstable loci, and derive a sufficient condition in the form

. The invariant

e l l_{G}

proves too week to handle

G = S L_{n}

and we employ a companion

e l l_{G}^{m s d}

to infer (A-

k

) for a larger class of subgroups. We derive corollaries on Mori-theoretic properties of GIT-quotients.

Has companion code repository: https://github.com/yanastaneva8/codimensions-unstable-loci

This page was built for publication: On reductive subgroups of reductive groups having invariants in almost all representations

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