22
IC/72A9 INTERNATIONAL CENTRE FOR THEORETICAL PHYSICS CONJUGACY AHD STABILITY THEOREMS IN COHMECTIOB WITH CONTRACTION OF LIE ALGEBRAS K. Tahir Shah INTERNATIONAL ATOMIC ENERGY AGENCY UNITED NATIONS EDUCATIONAL, SCIENTIFIC AND CULTURAL ORGANIZATION 1972 M.IRAMARE-TR1ESTE

INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

  • Upload
    others

  • View
    2

  • Download
    0

Embed Size (px)

Citation preview

Page 1: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

IC/72A9

INTERNATIONAL CENTRE FORTHEORETICAL PHYSICS

CONJUGACY AHD STABILITY THEOREMS

IN COHMECTIOB WITH CONTRACTION OF LIE ALGEBRAS

K. Tahir Shah

INTERNATIONAL

ATOMIC ENERGYAGENCY

UNITED NATIONSEDUCATIONAL,

SCIENTIFICAND CULTURALORGANIZATION 1972 M.IRAMARE-TR1ESTE

Page 2: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew
Page 3: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

IC/T2A9

International Atomic Energy Agency

and

United Nations Educational Scientific and Cultural Organization

INTERNATIONAL CENTRE FOR THEORETICAL PHYSICS

CONJUGACY AND STABILITY THEOREMS

IN CONNECTION WITH CONTRACTION OF LIE ALGEBRAS *

K. Tahir Shah

International Centre for Theoretical Physics, Trieste, Italy,

ABSTRACT

Let a-gCfa). the n-dimensicnal Grassmannian variety, and g be a Lie-algebra

of the dimension m^-n. We study some properties of the set B<£.G(a)-G(a)

where U(a) is the Zariski closure of the orbit of G=GL(g) at the point a,

The group GL( ;) is the group of automcrphiams of ~£. The set B is shown to

be the set of Lie algebras which are contractions of "a. IT is a subalgebra

of f?. The main results are the theorems on the ccnjugacy of contracted

algebras and the stability of Lie -algebra, a . under contraction. The

conjugacy theorem relates the algebras in the set B.

MIRAMARE - TRIESTE

June 1912

* To "be submitted for publication.

Page 4: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

O-introduction.

The problem of limit and contraction of Lie -algebras and

their respective groups has been a point of interest to many mathematical

physicists in connection with various problems in physics, especially these

related to the symmetry and dynamical groups- of elementary particle1-1 theory.2)

The operation of contraction was first defined by Segal in the context of

operator algebras of quantum mechanics and later on.it was used by Incnu• 3 )

and Signer to shew the relationship between the relativistic and non-

relativistic theories. There were further studies of this by Saletan, .Levy-.5) l)

lianas and Doebner from the mathematical point of view but using mostly

basis-dependent calculations.

Some of the interesting properties of the contraction

of Lie groups and their representations can be used', to show the relation

among the harmonic functions. For example, one; can obtain the -relation

Limit P ^ (Cos t/i ")' - J (t)

where ?. and J are Legendre and Bessel functions respectiv&Ly,, by usin.g

contraction techniques. There are many more examples where it. j;s possible

to show that limiting techniques are really useful. Although • ;t^ere is a

large amount of work on special cases of Lie--groups and Lie- algebras, there

has been little progress in .obtaining general theorems on the -properties

of contraction, especially those related with the classification of contract-

ed ' algebras and also the stability of algebras under the operation of

contraction.

In this paper, we start from the definition given by1 6)- >

H.Hermann and,u^ing methods of algebraic geometry^prove general theorems

i:ig the existence, stability and classification of Lie-algebra ccn-

-2-

Page 5: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

fractions, thanks to the tiethods developed "by D.i mnford. in his book on the.

• geometric invariant theory, it is possible to obtain these results in a

simple Banner. The crucial point in this whole development is the general-

ization & fttHilbert-Muraford theorem to the case of Grassmannian variety.

Let ~Q he a Lie algebra of dimension m and P ( g~ ) "be a Grassmannian variety

where mj^n. Let J3: G—>GL{TI {W)) t>Q a rational representation of algebraic

G and a,eV (g) . If G(a) be the Zariski -closure and the set BCG(aJ-G(a)

is non-empty, then there exists a one-parameter subgroup X,: G —^G such that

as some parainoter t —>0 then ^tjta)-^!)^!;. This is a generalization of Hit

Eil"bert-i-Iumf ord theorem in which case G is (X. linearly reductive algebraic

group which has representations on it-space V and the set 3= {o\, We shall

show in the following that the non-empty set B is a set of all contracted

Lie algebras b of a given algebra *£".

Section 1 deals with some preliminaries and the. notation

to be used. Section 2 describes the connection ffflSe con tract ion problem with

the generalisation dfltle.iiilbert-Mumf ord theorem for Grassmannian variety. In

5ection 3 some theorems on the, existence of contraction are given when G

is reductive (or linearly reductive) and torus, dsfined over an algebraically

closed, field k. The main concern of Sections 4 and 5 is ^ae stability and

classification problems.

-3-

Page 6: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

1-J.re^irninaries and i'otatioii*

Definition .1.

A Lie algebra"g on a, field, k is a pair (u , V) fcrmed ~oj a

linear vector space V whose coefficients are in k and a "bilinear mappinfa

/A : YXJ-^V which satisfies

x,y,z £ V

where ?(x,y,z} are cyclic permutations cvsr x,y and z.The mappings

bilinear alternating mappings. Let the dimension of g= (yU_,V) "be ni

For each, positive integer n .m, the protective a.lge"bruic

variety of n-dimensional sub-spaces of Lie algebras "g corresponding to the

Lie /jroup G is a Grassmanniaa variety denoted "by P (g) and has a natural

structure of algebraic transformiition space for the algebraic group GL(g)

or GL(V).

Definition 3.

A rational representation of: an algebraic .group G; is a

morphism p: G —^GL V7here characters are defined by % : G—^GL-.» The

orbit of G at'x£V ia denoted as G(x) and is a set: G(x)= | g oc I g.z=

We write g.x for P(g).x where • (°i G -^GL(V) is a rational representation

of G.

Dexinition 4«

A one-parameter sub-group of an algebraic group G is a

morphism ^: G —> G of algebraic groups. .

Page 7: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

Let f; G —> X te a morphism of algebraic varieties, then one

Let a and 1> le/fcwo points of f (g), then b is a specialization of a,

Definition

may define f(t)= X i : ) . ^ Y x £K". If f extends to a morphism • /:. Gx/ .. t

then y= f(o) is called the specialization of f(t) as t specializes to aero.

This is written as f(t}—>y as t

Remark 1.

if a —^"b as t —^0 where a = \(t).a. Correspondingly a Lie- algebra b is 1

specialization of Lie- -algebra a if in the limit t —>0 it is approached by

V

Definition 6.

An algebraic group G defined over a field k,which has nc non-

trivial one-parameter subgroup defined over k, is said to be anisctropic

over k. This means G has no ncn-trivial k-split torus.

Definition 7.

An algebraic group G is reductive if its unipotent radical is

trivial and is linearly reductive if all its rational representations are

completely reducible.

Hemark 2.

Tfhon the characteristic of the field k is zero then terms reductive

and linearly reductive are equivalent.

definition 8.

An algebraic set can be defined as follows: let k be an algeb-

raically closed field and A be an affine space. Let k [x...... X J denote

the ring of polynomials in JL , X?,...,X with coefficients in k. Denote

this rin,j as k[ _An J . If B is a proper subset of _An, then the set P^kj^A. J

such that F(x)=oV;:6B is an ideal in k£_An] , denoted as _I (B) . A subset

H of _An is called an algebraic set in A_n if and only if H=V (_I (V)) where

,V(F) is the set of zeroes of F called the locus of F. This means that M'is

-5-

Page 8: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

an algebraic set in A? if and only if V is the locus of some ideal in k F A*1],

Also one can write

.. II (F)F

Remark 3.

The set 14 of all Lie--algebra multiplications,with the underlying

vector space V, forms an algebraic set in the space A (V,V) of all bilinear

alternate maps it.: VXV —^V. Let (e ,e , ...,e ) be a base for vector space

V. Then all bilinear mappings B: VxV —^V can be written as

n k •

^ ° k=l 1 0 K

ind B£ ft( V \V ->V ) ,which in the bas i s e. i s C. . <s kn , and

is Ck..£ kn ^n~1^/2 with the condition

ck1

k = ( kxky. .. ,xk } and k ^' = ( kxkjt,. . x)t) are affine spaces. Let2

A .(V,V) be the space of bilinear alternating maps. The Jacobi relation gives

m

whereAsui.i is over all cyclic permutations of i,j,and k. The above -equation

is a polynomial equation. This defines an algebraic variety in k which

is a cone. Denote this variety as M. The group G=GL(V) acts on thj.s variety

as fellows:

Let iffi GL(V) and jUfiii. Then ^,JJ,ell with (f.jut.) (x,y)= .U.( l( x,t y) where

x,y£ V. All JU =^.U-are the Lie algebra multiplications which, give Lie algebra,

( V,U.') isomorphic. to (V,yU.). Looking into this, one can say that the'diagram

VXV

, IfM .

V x V - > Vis commutative.

-6-

Page 9: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

Definition 9*

Throughout this paper we shall be using Zariski1 tcpolcgy for

algebraic groups. Cne can topologize by taking closed sets A together with

A_ , the affine 1-space and empty set. The topology is a coarse topology.

One can regard F& k[ A 1 as a map* of A_ into A . On £ , the coarsest . tcp-

Ifgy such that all these mappings are continuous,is caller tho Z^riski

topology. If the algebraic set MCA is a closed set in _A_ , then ta inherits

a topology from A1 . Therefore I-TCLM is closed if and only if there exist a

closed subset LCA, such that H = VLClL. This topology on M is also a

Zariski • topology.

-7-

Page 10: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

2- Contraction of Lie--algebras.

The operation of contraction of Lie 'algebras can be defined

in many ways wnen basis-dependent calculations are involved. However, there

is one thing common, which is the limiting operation after transforming either

the structure constants or1 the "basis of Lie algebras. In effect, the results

are the sane in all cases. Here we take the definition given by R.Hermann

which can be generalized to algebraic-geometric language easily. In the air • •• •'

cjebraic-geometric approach; the algebraic group G that we shall be using corresponds

.to the transformation of basis or structure constants in basis-dependent cal-

culations.

Definition 10.

Let G be the Lie- group and 'a and b be the Lie -subalgebras of

^corresponding to G. One says that b is a limit of 1~ within g* if there exists

a sequence g ,g ,... of elements of G such that whenever X_,X2,... is a sequence

of elements of "a* such that sequence Adg-fX.), Adg^fX,),.... converges, it

converges to an element of b, that- is

b = Limit AdgfTT) ,n->o©

This definition can be translated into algebraic-geometric language as follows.

Let (U.,V)="a be a subalgebra of g and V (g) be the n- -dim-

enGional Grassmannian variety. Let M be the set of all a defined on V which2

i s an a lgebra ic s e t , as shown in remark 3»in the space A (V,V) . T o dispuss

the act ion of G=GL(g) on P ("g) , we define on ^ ( g ) a s t r uc tu r e of a lgebra ic

transformation space by s e t t i n g

g.a = ( Ad—g).a for a€ P ( g ) and gfiG, where Ad— i s

the adjoint representation of g". Let A (g) be the closed subset of ^

consisting of all n-diraensional subalgebras of g. The closed subset An(#) is

stable under the action of G on P ( g ) . Two n-dimensional subalgebras "a and

"a? are conjugate or G-conjugate if they lie on the same orbit under the action

of G. If t-eT-(g) and V (h) be ,a sub-variety of ^n(g) corresponding to-

subalgebras h" of g* then G(a) C\ V (h) is the union-of H-conjugacy classesg \ n •(

vrhere II is a subgroup of G .

-8 -

Page 11: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

Thus the orbits of GL(V) on M are isomorphism classes of Lie -algebras with

tho underlying vector space V. Now we are in a position tc define contraction

Geometrically.

Definition 11.— • /

Let a-=(V,M-) and *b= (V, jtc) theivb is a contraction of a" in

"g, if ^L lies on the'Zariski closure of the orbit of'GL(V) at fL .

Remark 4» ,

SinctM factually a subset of T' {g*), one can also say that if a

and b are points of T1 (g) corresponding respectivly to algebras a and b

and G acts on Y^ (g) in the usual way thenb is a" contraction of a in g if

fc& ofa)' in V[ (g). Here G(a) denotes the closure of the orbit of G at a.

Essentially this is the definition given by Hermann that b is a contract-

ion of a in g" if b is a limit of subalgebras of "g which are G-conjugate

to a. If b is a contraction of "a in g then b is said to be contraction of "a.

More generally if a=(V, AA. ) and a.,=(V, M, ) such that V is isoraorphic to

, then a is a contraction of a if a is isomorphic to some bss. (V,M») which 15

a contraction of a*=(V,iU ),

In the following, we will be using this definition of

contraction and, with the help of . a generalizationotM Hilbert-Mumford

theorem, prove the existence of contraction for various cases 01 Hit algebraic

group G as well as theorems on the conjugacy of contracted algebras b and

stability of a* under the operation of contraction.

-9-

Page 12: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

3-Existenoe Theorems for Contraction.

The problem of contraction of Lie -algebras has a deep connection

with the theorem of Hilbert and Mumford in the geometric invariant theory.

Before going into this theorem and its generalization, we state two propositions

which will be proved later for variQus different cases of algebraic group G.

Let G be a linear algebraic group which acts on the Grassmannian variety

~p (g) in the way described before. Let ^ : G — ^ G L ^ ) be a rational rep-

resentation defined over the field k. Let a P (g) and G(a) be the Zariski

closure of G^a) and the set C=G(a) - G(a) which contains the set B.

Proposition I..- -

If B C~G(a)-G(a) is a non-empty G-stable set then there exists

a b6B and a one-parameter subgroup ^:G — ^ G defined over k, such that

b= Limit A(t)(a)

where t is some parameter. The Lie,-algebra b is a contraction of a.

The theorem of Hilbert and Mumford is now a special pase of

Proposition"I. It shows that for^linearly reductive algebraic group defined

over k and acting on k-space V, if the set B= Oj then a t= X(t)(a) specializes? •

to zero.

Theorem. [Hilbert-Mumfordj . .

Let /*: G-*GL(V) be a rational representation of a linearly

reductive algebraic group over* algebraically closed field k. If o(i) —G(x;p{bj

then there exists a one-parameter subgroup A : G -*• G such that A(t)(x)the m

specializes to zero. The point x belongs toAlinear vector space over k.

For the case of G=GL(n,C) where C is the complex field of

numbers, the proof was given by Hilbert and. the general case was proved by

D.Mumford. Modifying Mumford!*theorem,. we can say that the contraction of "a

is a null point ^ when G is linearly reductive and acts on T n(g). It i3

to be noted • that when IT is stable . this case differs from that .of , -

a null point contraction of a • In. the first case the orbit G(a) is

closed while in the- other case the set C contains a zero and therefore one

should &eal with them carefully.

-10-

Page 13: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

Proposition II.

If G = (g G Q \ ga= a eP(g) f ^ T. where T, is maximal

k-split torus of G, then B=^ and b and a are G-con jugate points. The algebra

~Z is sta"ble under contraction.

Theorem 1.

Let T "be an algebraic torus defined over an algebraically closed

field k, when G=T then proposition I is true.'

Proof.

For the case of G defined over k and acting on the space V such that

^: G —*r GL(V) is a rational representation, the proof is given "by Richardson

9)and Birkes . We use a similar proof for the case of G acting on Grassraannian

variety and then, applying it to the contraction problem^ prove the existence

of a contraction ..."b of a Lie-algebra "a when the algebraic group G is a torus.

Assume the set B to "be a unique closed orbit in the closure

of T(a) where T acts on T (g) in the same way as G, and ag.P (g*). One may

identify the elements of GL(V) as the elements of GL(n,k). Choose the "b sis

°f V (s) s o "that lP(T)OD where D is a subgroup of G and consists of non-

singular diagonal matrices. Now Lemma 3.4 of reference $ shows that when

G=T the orbit T(x) is open for x£V and that set B is a unique closed orbit.

Without loss of generalityf it can be extended to an affine protective or

a Grassmannian variety, if the action of algebraic group G is defined on them.

That is, the set B is a unique closed orbit of G(a) - G(a) and a^= \(i>){a)

specializes to elements of B. By the definition of contraction ( Def, ll) and

the remark following, we have elements of B as those points off7 ('g) • to which

corrssponds the contracted algebra b of "a". Hence whenever G=T, and

W a T - T(a)DB^fe^then we have Limit1 t —>0

-IX-

Page 14: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

However, one should note that the existence da contraction is bound to the

existence of a one-parameter subgroup X: G --VG. If there ts HO\Xof G then it is

not possible to obtain a contraction of Lie -algebra a.

Hemark.

When torus T of G is defined over an arbitrary field k, it seems that

contraction is possible.

Theorem 2.

When G is a linearly reductive algebraic group G over an algebraically

closed field k then Proposition I is true.

This' statement is rather a generalization/.Nit Hilbert-Mumford

theorem. The case we mentioned before for Ife. Hilbert-Muraford theorem was one

in which the set B=AOr,that is it contains only null element .- and rational

representation defined on space V". Moving from space Vto Grassmann* s variety V (g)

and to the case when B is larger than null set, we have the above theorem.

When the characteristic of the'field k is zero then we have the same case as

that of torus /P. However, if the characteristic ?of k is not zero, then we

9)follow Richardson-Birkes to prove the theorem.

Proof. *

Let T be a maximal torus of G such that if Bf\T{a)^= 6 then from

T.heorem 1 there is an element b<= Bf\T(a) and a one-parameter subgroup of T

such that for ±->0 we have \ ( t ) (a) -^-b.Suppose BfiT(a) = fy V" TCG. Choose

one T and for nny a '= g(a}£ G(a), we have B O ^ a " ) = Bf\T(g.a) which i s

equal to Bf\g( g~ T( g .a ) ) = g( Bf ls" T(g .a ) ) = <fi because g~ T g i s maximal

torua.Since B and T(a") are two disjoint T-stable closed subsets of [U

therefore there is a T-invariant regular function fnJ, such that f /(B)-0

and f ,( T(a*)) = 1 . Let 0 ,= i Y € ^ ( g ) • f -( T )f 0 1 be an open seta a i n • I ti »j

and l e t G=MTM where M i s a compact subgroup of G. Since M(a) i s compact,

one has K(a)<£ 0 , j j 0 , 1 1 . . . (J 0 , for some a* a* . . . a ' <£M(a). Definea 1 a 2 v an x ^ n

-12-

Page 15: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

n

f(Y) =

H t h e H a u s d o r f f - c o n t i n u o u s T - i n v a r i a n t f u n c t i o n f ( X ) w h e r e

. ( K )n

." Then f attains a positive mini-

mum value on the compact set M(a) and hence on TM(a) and TM(a) , where*

represents the Hauadorff-closure. But f(B)=O, so Bf\ TM(a) s= (j>. Since B is

G-stable therefore 3/1 TlUnT = ^ . Since we have G(a)= MTM(a)OM. TM(a)*

which contains in H.G(a) = b"fa!) and M.TM(a) = G(a) = G"fa")", which is a

contradiction because BCG(a). Now the set BOiT'a) and therefore BflG(a)

is not empty. Theitfore we have a set of contracted algebras B~ correspending

tc points b £ B C P (g).

-13-

Page 16: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

Stability Theorems for a under Contraction.

Under what conditicn does a Lie algebra survive contraction or is

it stable under contraction? This question is similar to the case of deformation

of Lie algebras where one has a condition which-says that whenever second

cohomology group of that algebra with coefficients in itself vanishes,that is

H ("a.,*a)=O, then the algebra a is "rigid" under deformation. Here we'consider

the case when "a is either stable,meaning that its isotropy group G.. for

a £ *\g). is equal to G, or all of its contracted Lie algebras b are iso-n

raorphic to "a. In both cases the result is the same. In terms of the properties

of set 33, the stability condition require that B = ^ which, in other words,

"roughly"means that the orbit G(a) is closed. Since we considered B C C = G(a)-G(a),

therefore, when B is contained in G(a) - G(a) we leave out some points.in the

boundary of the orbit. It follows that their algebras, which are also contracted

algebras of "a, are net included in the discussion of theorems on existence.

However,it makes little difference when orbits are closed. ^n he os.se when

G = G, it is trivial to notice that 'a is contraction-stable or C-stable.a '

The more complicated case is when G s=G and the proposition II is importanta

to show that B=fi . The proposition II is true for the following cases-

LGT'.m"-. 1.

Let G be the connected component of G, If "a is C-stable for G theno • o

it is also C-stable for G.

Proof.

From proposition 1.2 of reference 10, one can prove fjfc above lemma when

the group G acts on linear space V. Generalizing this to the case of P (g),

oi:e obtains G(a) = G(a) for a e P ( i ) . Hence G(a) is closed and there do not

c::ist any points which are limit points of algebras conjugate to "a. The Lie

•Q'-OCT-'.. a is C-stable.

-Ill-

Page 17: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

Lecma 2.

Let P be a parabolic subgroup of G. if "a is C-stable for P then it

is also C-stable for G.

Proof.

We assume as before that *f: G—»GL( .P(g)) is a rational representation

of algebraic group G, Let P act on p ("g) as (g.a*){p)=s: (gp,a*) where g<SG,

p £ P and a<5r*(e}. There exists a quotient variety G XP(g)/p = G/p *"P(g)

and let O< : G*P(g) ^-yG/pXp(g) be an open quotient morphism. Let the inverse

image of P(a) be mapping [p(a)]"1 » j(s,a')£ Gxrj(g) | a*€g?(a)j

sending (g,a') to g"1(a'). The set [ P ^ " 1 ~ fe^itl"1 since K"1( <* [

to [":'(a)] and it follows that c* [ P(a)] ~ is closed in

because oC is open. Since G/p is complete, the image G(a) of c< •.O*(a)l~-

under projection map G/p xP(g) — ^ P (g) is closed in P {g). Therefore, the

orbit G(a) « G(a) and "a is C-stable. "a is the .Lie algebra corresponding to

the point a. •

Lenrna 3.

Let G be a k-anisotropic algebraic group defined over k. If proposition I

is true the a is C-sta"ble.

Prcof.

For a k-anisotropic algebraic group,a one-parameter subgroup does not

exist. (See the definition , Bef. 10.) "Let .'G -*GL(TMg)) be a rational

representation. If B ffl then proposition I would imply the existence cf ,which

is a contradiction. Therefore B is empty.

Lemma 4.

Let U be a unipotent group. If G=U the a is C-stable.

Proof.•

Uefoe Ivostant-Rosenlicht theorem9^ which says that for U=G acting morph-

ically on

C-£3t:i'.le.

V(c) the crbit G(a) is closed. It follows that B= <j> and hence "a is

-15-

Page 18: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

Conjugacy Theorems for Contracted Lie algebras.

• The theorems on the conjugacy of Lie -algebras .relates the

algebras to equivalence classes. The problem of classification of. contraction

is related to the problem of finding equivalence relation among the contrac-

tions of a''given Lie-algebra a. Let b, and b~ be the contractions of a. If

there exists some element g£ G such that g~ big = b ? then "b. and b~ belong

to the same class. In other words, if the points b, and b ? of the set B belong

to the same orbit under some group then they are equivalent. In discussing

existence theorems, we assumed B to be a unique closed orbit because for G

reductive and torus such is the case. It is obvious then that all.b£B are

conjugate to each other and one gets an equivalence class of contracted algebras

of a' when the group G is reductive or torus. The group G is a transformation

group which acts on the basis of'Lie • algebra or on .the structure constant

space.

Definition 12.

Let G be a linearly reductive algebraic group and X be a one-

parameter subgroup, of G, then we define P{ X ) to be the set of all "K <£ G

such that X(t) Q X(t) has a specialization in G as t —^0. P{ X) is called

parabolic group.

In the set of one-parameter -rsub groups of G, we define an

equivalence relation denoted by ,AJ as follows:

A W a if there exist positive integers p and q and an element

Q£?( X) such that

Conjugacy Theorem.

Let \Q: G — > Gh{V (g)) be a rational representation and. G

be a linearly reductive algebraic group. Let a . H (g) and O.X^ e * w o one~.

-16-

Page 19: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

subgroups of G. Suppose that ^ A » I f X("t)(a)-^b as t-*0 then

<f (t)(a)->g(b) as t-»G for some g £ G.

Corollary,

If D=s(yU.,V) is a contraction of a=(M-,V) corresponding to points

b and a of T^g) respectrwly and there is an equivalence relation ^r^o then

there exists a contraction K of "a which corresponds to the point ,'g(b) for g£ G.

Remark 5.

It is to be noted that equivalence relation A r^o exists only if

there is parabolic subgroup .of G. This ueans tint whenever a para-

bolic subgroup of G exists, If is always possible to obtain an' equivalent

contraction to b. One nay classify all contractions of a given Lie -algebra

thein this way. In physics, for example, one contracts^DeSitter group and looks

for groups which are equivalent to (lie. Poincare''group. ' All one has to do

is to find some suitable transformations G which acton the Lie algebra struoture

constant space or "basis.

Proof. [ConjugECy Theorem]

From the definition of P(A) > there exists some /3€. G such that

A(t) tf M t " 1 ) - * ^ as t —»Q. Since p > 0 then also \ ( t P ) ^ >(t~P}-»/3as t -*0.

Since jTCt^Ca) = ( f W ) Y C») - <f( A(tP) $ >(t"P) > Ctp)<a)-^"-I

t —> 0. Let us put J A a g. Since q > 0 so we have

?T(t)(a)-» g(b) as t-VO.

Proof. [Corollary]By the definition of contraction b of a correspond to the

points of P (g). Since from the theorem of conjugacy there exists a g£G

such that b,=*=g(b) therefore we have correspondingly an algebra b_ which is

. equivalent to "b. Since all b. lie on the orbit of G at b, they art fee isomorphism

class of contracted Lie-algebras.

-17-

Page 20: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

Conclusion and. ou few more Remarks.

It is well known that there is a definite relationship "between

the problem of contraction and deformation of Lie -algebras and hence Lie

Croups.In the case of deformation theory , whether it is for Lie-algebras

or'Lie'-groups, there are some definite mathematical results with which one

can compare the results of the contraction theory because they seem to be,-

rather intuitively, inverse operations, Gerstenhaber ^ has shown that if

H ('a,'a)=O then/ a is rigid with respect to deformation. Also there is a

12)result of Richardson ; which, is more relevant in this connection,that if

the orbit of G at a is open in (1) then "a is a rigid subalgebra of *g"

with respect to deformation. As a consequence one has 1-cchomology space

H (H'jS/a) ™sO. However, when the orbit G(a). is closed, we have shown that "a"

is C-stable. One may say that in such a case H ("a, "g/a") sfc 0 which seems to

be consistent with the deformation theory. At present we have no proof of this

conjecture. Prom the properties of variety LldP (g) one can say that:

1) * The contraction of a solvable Lie,-algebra is a solvable

Lie algebra.

2) The contraction of a nilpotent Lie- algebra is a nilpotent Lie

algebra.

3) The contraction of a unimodular Lie • algebra is a uniwadular

Lie'algebra.

4) Let cb Ca) "be the 1-derivative algebra of a" then

dimension of D (b)

(Tb)

dimension of §J (a)

where £0 (Tb) i s the 1-der ivat ive algebra of b .

5) M.Levy-Hahas-5'' has shorn tha t i f Z (a) , Z (b) and B...(a)f

o ^ • ^ -

B (b) are the 2-cocycle •. and 2-coboundajry operators of algebras "a and b, then

one has

-18-

Page 21: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

(a) dim Z {tO > dim Z (i.)

(V dim £2fb) ^ dim B2(a"). •

Finally , we nay remark that there are many aspects ox'

contraction tbeory which, are not known and much has to lie done in this direction.

Por instance, stability theorem in terms of condition on cohomology groups,

generalization to Lie groups of this approach and G-conjugacy structure of

.of the set B for different clasaical groups are some unsolved problems.

ACKHOWLEDGMEHTS

The author vishes to thank Prof. H.D. Doebner for discussions and

for reading the manuscript. He also vishes to thank Prof. Afcdus Salam,

the International Atomic Energy Agency and UNESCO for hospitality at the

International Centre for Theoretical Physics, Trieste.

-19-

Page 22: INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/72/049.pdfoperator algebras of quantum mechanics and later on.it was used by Incnu • 3) and Signer to shew

REFERENCES

1) Doebner, H.D.. and Melsheimer, 0 7 Kuovo Cimento A^» 306 (1967);

J. Math. Phys. £, 1638 (1968) and 11., 1^36 (1970).

2) Segal, I.E., Duke Mat. J. l8_, 2\ (1951).

3) Wjgner, E.P. and Inonii, E., Proc. Natl. Acad. Sci. (USA) 39_, 510 (1953).

k) Saletan, E., J. Math. Phys. 2_, 1 (1961).

5) Levy-Nahas, M.; Thesis 1969, University of Paris.

6) Hermann, R -; Lie Groups for Physicists {Ben j amin, New York 1966).

7) Mumford, P., Geometric Invariant Theory (Springer-Verlag, Kev York I965);

Fogarty, J., Invariant Theory (Benjamin, New York 1969).

8) Richardson, R.,Ann. Math. 86_, 1 (1967).

9) Birkes, D.; Ann. Math. 9_3_, h59 (1971).

10) Borel, A., Linear Algebraic Groups (Benjamin, New York 1969);

Borel, A vAnn. Math. 6U, 20 (1956).

11) Gerstenhaber, U.t Ann. Math. 72., 59 (1961*).

12) Richardson, R.; J. Diff. Geom. 3., 289 (1969).

-20-