Instructions: The paper is written in AMSTEX 1.1. Due to know problems in the transmission of special characters you have to redo the following substitutions. The BACKSLASH is represented by the combination !BSL! The LEFT BRACE is represented by the combination !LBR! The RIGHT BRACE is represented by the combination !RBR! You have to resubstitute them again before you tex this file. For certain problematic characters the Tex-keywords have been used. Below you find some other special characters, which have not caused any problem up to now: THIS IS A RIGHT PARAN( THIS IS A LEFT PARAN) THIS IS A RIGHT QUOTE' THIS IS A AT@ THIS IS A DOLLAR$ THIS IS A AMPERCENT% THIS IS A COMM ADD& THIS IS A NUMBER SIGN# THIS IS A DOUBLE-QUOTE" % % % BODY %!BSL!documentstyle !LBR!amsppt!RBR! !BSL!TagsOnRight !BSL!parskip=4pt % % This are selfdefined blackboard bolds % !BSL!font !BSL!fivesans = cmss10 at 5pt !BSL!font !BSL!ninesans = cmss10 at 9pt !BSL!font !BSL!tensans = cmss10 !BSL!font !BSL!sixsans = cmss10 at 6pt !BSL!font !BSL!ninesans = cmss10 at 9pt !BSL!font !BSL!sevensans = cmss10 at 7pt !BSL!def!BSL!bbbr!LBR!!BSL!hbox!LBR!!BSL!sans I!BSL!!R!RBR!!RBR! %reelle Zahlen !BSL!def!BSL!bbbm!LBR!!BSL!hbox!LBR!!BSL!sans I!BSL!!M!RBR!!RBR! !BSL!def!BSL!bbbn!LBR!!BSL!hbox!LBR!!BSL!sans I!BSL!!N!RBR!!RBR! % !BSL!def!BSL!bbbh!LBR!!BSL!hbox!LBR!!BSL!sans I!BSL!!H!RBR!!RBR! !BSL!def!BSL!bbbk!LBR!!BSL!hbox!LBR!!BSL!sans I!BSL!!K!RBR!!RBR! !BSL!def!BSL!bbbp!LBR!!BSL!hbox!LBR!!BSL!sans I!BSL!!P!RBR!!RBR! !BSL!def!BSL!bbbone!LBR!!LBR!!BSL!mathchoice !LBR!!BSL!hbox!LBR!!BSL!rm 1 !RBR!!BSL!mskip-4mu !BSL!hbox!LBR!!BSL!sans l!RBR!!RBR! !LBR!!BSL!hbox!LBR!!BSL!rm 1!RBR!!BSL!mskip-4mu !BSL!hbox!LBR!!BSL!sans l !RBR!!RBR! !LBR!!BSL!hbox!LBR!!BSL!rm 1!RBR!!BSL!mskip-4.5mu !BSL!hbox!LBR!!BSL!sans l !RBR!!RBR! !LBR!!BSL!hbox!LBR!!BSL!rm 1!RBR!!BSL!mskip-5mu !BSL!hbox!LBR!!BSL!sans l!RBR!!RBR!!RBR!!RBR! !BSL!def!BSL!bbbc!LBR!!LBR!!BSL!mathchoice !LBR!!BSL!setbox0=!BSL!hbox!LBR! $!BSL!displaystyle!BSL!hbox!LBR!!BSL!sans C!RBR!$!RBR! !BSL!hbox!LBR!!BSL!hbox to0pt!LBR!!BSL!kern0.4!BSL!wd0!BSL!vrule height0.9!BSL!ht0!BSL!hss!RBR! !BSL!box0!RBR!!RBR! !LBR!!BSL!setbox0=!BSL!hbox!LBR!$!BSL!textstyle!BSL!hbox!LBR!!BSL!sans C!RBR! $!RBR!!BSL!hbox!LBR!!BSL!hbox to0pt!LBR!!BSL!kern0.4!BSL!wd0!BSL!vrule height0.9!BSL!ht0!BSL!hss!RBR! !BSL!box0!RBR!!RBR! !LBR!!BSL!setbox0=!BSL!hbox!LBR!$!BSL!scriptstyle!BSL!hbox!LBR!!BSL!sans C !RBR!$!RBR! !BSL!hbox!LBR!!BSL!hbox to0pt!LBR!!BSL!kern0.4!BSL!wd0!BSL!vrule height0.9!BSL!ht0!BSL!hss!RBR! !BSL!box0!RBR!!RBR! !LBR!!BSL!setbox0=!BSL!hbox!LBR!$!BSL!scriptscriptstyle!BSL!hbox!LBR! !BSL!sans C!RBR! $!RBR!!BSL!hbox!LBR!!BSL!hbox to0pt!LBR!!BSL!kern0.4!BSL!wd0!BSL!vrule height0.9!BSL!ht0!BSL!hss !RBR!!BSL!box0!RBR!!RBR!!RBR!!RBR! !BSL!def!BSL!bbbq!LBR!!LBR!!BSL!mathchoice !LBR!!BSL!setbox0=!BSL!hbox!LBR! $!BSL!displaystyle!BSL!hbox!LBR!!BSL!sans Q!RBR! $!RBR!!BSL!hbox!LBR!!BSL!raise 0.15!BSL!ht0!BSL!hbox to0pt!LBR!!BSL!kern0.4!BSL!wd0!BSL!vrule height0.8 !BSL!ht0!BSL!hss!RBR!!BSL!box0!RBR!!RBR! !LBR!!BSL!setbox0=!BSL!hbox!LBR!$!BSL!textstyle!BSL!hbox!LBR!!BSL!sans Q!RBR! $!RBR!!BSL!hbox!LBR!!BSL!raise 0.15!BSL!ht0!BSL!hbox to0pt!LBR!!BSL!kern0.4!BSL!wd0!BSL!vrule height0.8 !BSL!ht0!BSL!hss!RBR!!BSL!box0!RBR!!RBR! !LBR!!BSL!setbox0=!BSL!hbox!LBR!$!BSL!scriptstyle!BSL!hbox!LBR! !BSL!sans Q!RBR! $!RBR!!BSL!hbox!LBR!!BSL!raise 0.15!BSL!ht0!BSL!hbox to0pt!LBR!!BSL!kern0.4!BSL!wd0!BSL!vrule height0.7 !BSL!ht0!BSL!hss!RBR!!BSL!box0!RBR!!RBR! !LBR!!BSL!setbox0=!BSL!hbox!LBR!$!BSL!scriptscriptstyle!BSL!hbox!LBR! !BSL!sans Q!RBR!$!RBR!!BSL!hbox!LBR!!BSL!raise 0.15!BSL!ht0!BSL!hbox to0pt!LBR!!BSL!kern0.4!BSL!wd0!BSL!vrule height0.7 !BSL!ht0!BSL!hss!RBR!!BSL!box0!RBR!!RBR!!RBR!!RBR! !BSL!def!BSL!bbbt!LBR!!LBR!!BSL!mathchoice !LBR!!BSL!setbox0=!BSL!hbox!LBR! $!BSL!displaystyle!BSL!hbox!LBR!!BSL!sans T!RBR! $!RBR!!BSL!hbox!LBR!!BSL!hbox to0pt!LBR!!BSL!kern0.3!BSL!wd0 !BSL!vrule height0.9 !BSL!ht0!BSL!hss!RBR!!BSL!box0!RBR!!RBR! !LBR!!BSL!setbox0=!BSL!hbox!LBR!$!BSL!textstyle!BSL!hbox!LBR!!BSL!sans T!RBR! $!RBR!!BSL!hbox!LBR!!BSL!hbox to0pt!LBR!!BSL!kern0.3!BSL!wd0!BSL!vrule height0.9!BSL!ht0!BSL!hss !RBR!!BSL!box0!RBR!!RBR! !LBR!!BSL!setbox0=!BSL!hbox!LBR!$!BSL!scriptstyle!BSL!hbox!LBR! !BSL!sans T!RBR! $!RBR!!BSL!hbox!LBR!!BSL!hbox to0pt!LBR!!BSL!kern0.3!BSL!wd0!BSL!vrule height0.9!BSL!ht0!BSL!hss!RBR! !BSL!box0!RBR!!RBR! !LBR!!BSL!setbox0=!BSL!hbox!LBR!$!BSL!scriptscriptstyle!BSL!hbox!LBR! !BSL!sans T!RBR! $!RBR!!BSL!hbox!LBR!!BSL!hbox to0pt!LBR!!BSL!kern0.3!BSL!wd0!BSL!vrule height0.9!BSL!ht0!BSL!hss!RBR! !BSL!box0!RBR!!RBR!!RBR!!RBR! !BSL!def!BSL!bbbs!LBR!!LBR!!BSL!mathchoice !LBR!!BSL!setbox0=!BSL!hbox!LBR!$!BSL!displaystyle !BSL!hbox!LBR! !BSL!sans S!RBR!$!RBR!!BSL!hbox!LBR!!BSL!raise0.5!BSL!ht0!BSL!hbox to0pt!LBR!!BSL!kern0.35!BSL!wd0!BSL!vrule height0.45!BSL!ht0!BSL!hss !RBR!!BSL!hbox to0pt!LBR!!BSL!kern0.55!BSL!wd0!BSL!vrule height0.5!BSL!ht0!BSL!hss !RBR!!BSL!box0!RBR!!RBR! !LBR!!BSL!setbox0=!BSL!hbox!LBR!$!BSL!textstyle !BSL!hbox!LBR! !BSL!sans S!RBR! $!RBR!!BSL!hbox!LBR!!BSL!raise0.5!BSL!ht0!BSL!hbox to0pt!LBR!!BSL!kern0.35!BSL!wd0!BSL!vrule height0.45!BSL!ht0!BSL!hss !RBR!!BSL!hbox to0pt!LBR!!BSL!kern0.55!BSL!wd0!BSL!vrule height0.5!BSL!ht0!BSL!hss!RBR! !BSL!box0!RBR!!RBR! !LBR!!BSL!setbox0=!BSL!hbox!LBR!$!BSL!scriptstyle !BSL!hbox!LBR! !BSL!sans S!RBR! $!RBR!!BSL!hbox!LBR!!BSL!raise0.5!BSL!ht0!BSL!hbox to0pt!LBR!!BSL!kern0.35!BSL!wd0!BSL!vrule height0.45!BSL!ht0!BSL!hss!RBR! !BSL!raise0.05!BSL!ht0!BSL!hbox to0pt!LBR!!BSL!kern0.5!BSL!wd0!BSL!vrule height0.45!BSL!ht0!BSL!hss!RBR! !BSL!box0!RBR!!RBR! !LBR!!BSL!setbox0=!BSL!hbox!LBR!$!BSL!scriptscriptstyle!BSL!hbox!LBR! !BSL!sans S!RBR! $!RBR!!BSL!hbox!LBR!!BSL!raise0.5!BSL!ht0!BSL!hbox to0pt!LBR!!BSL!kern0.4!BSL!wd0!BSL!vrule height0.45!BSL!ht0!BSL!hss!RBR! !BSL!raise0.05!BSL!ht0!BSL!hbox to0pt!LBR!!BSL!kern0.55!BSL!wd0!BSL!vrule height0.45!BSL!ht0!BSL!hss!RBR! !BSL!box0!RBR!!RBR!!RBR!!RBR! !BSL!def!BSL!bbbz!LBR!!LBR!!BSL!mathchoice !LBR!!BSL!hbox!LBR!$!BSL!sans !BSL!textstyle Z!BSL!kern-0.4em Z$!RBR!!RBR! !LBR!!BSL!hbox!LBR!$!BSL!sans!BSL!textstyle Z!BSL!kern-0.4em Z$!RBR!!RBR! !LBR!!BSL!hbox!LBR!$!BSL!sans!BSL!scriptstyle Z!BSL!kern-0.3em Z$!RBR!!RBR! !LBR!!BSL!hbox!LBR!$!BSL!sans!BSL!scriptscriptstyle Z!BSL!kern-0.2em Z $!RBR!!RBR!!RBR!!RBR! !BSL!def!BSL!qed!LBR!!BSL!ifmmode!BSL!sq!BSL!else!LBR!!BSL!unskip !nobreak!BSL!hfil !BSL!penalty50!BSL!hskip1em!BSL!null!BSL!nobreak!BSL!hfil!BSL!sq !BSL!parfillskip=0pt!BSL!finalhyphendemerits=0!BSL!endgraf!RBR!!BSL!fi!RBR! %-------------------------------------------------------------------- %-------------------------------------------------------------------- !BSL!newfam!BSL!sansfam !BSL!textfont!BSL!sansfam=!BSL!tensans!BSL!scriptfont!BSL!sansfam= !BSL!sevensans !BSL!scriptscriptfont!BSL!sansfam=!BSL!fivesans !BSL!def!BSL!sans!LBR!!BSL!fam!BSL!sansfam!BSL!tensans!RBR! %-------------------------------------------------------------------- % % !BSL!def!BSL!R!LBR!!BSL!bbbr!RBR! !BSL!def!BSL!M!LBR!!BSL!bbbm!RBR! !BSL!def!BSL!N!LBR!!BSL!bbbn!RBR! !BSL!def!BSL!H!LBR!!BSL!bbbh!RBR! !BSL!def!BSL!K!LBR!!BSL!bbbk!RBR! !BSL!def!BSL!P!LBR!!BSL!bbbp!RBR! !BSL!def!BSL!C!LBR!!BSL!bbbc!RBR! !BSL!def!BSL!Q!LBR!!BSL!bbbq!RBR! !BSL!def!BSL!Z!LBR!!BSL!bbbz!RBR! !BSL!def!BSL!T!LBR!!BSL!bbbt!RBR! !BSL!def!BSL!S!LBR!!BSL!bbbs!RBR! % !BSL!relax % % !BSL!hoffset=0.7cm!BSL!voffset=1.2cm !BSL!hsize=13cm!BSL!vsize=19cm !BSL!baselineskip=13pt plus 0.2pt % !BSL!define!BSL!np!LBR!!BSL!vfil!BSL!eject!RBR! !BSL!define!BSL!nl!LBR!!BSL!hfil!BSL!newline!RBR! !BSL!define!BSL!ldot!LBR!!BSL!,.!BSL!,!RBR! !BSL!define!BSL!db!LBR!!BSL!overline!LBR!!BSL!partial !RBR!!RBR! !BSL!redefine!BSL!d #1#2!LBR!!BSL!delta!BSL!sb !LBR!#1,#2!RBR!!RBR! !BSL!redefine!BSL!dn #1#2!LBR!!BSL!delta!BSL!sb !LBR!#1,#2!BSL!bmod N !RBR!!RBR! !BSL!define!BSL!Yo!LBR!!LBR!!BSL!overset !BSL!circ!BSL!to Y!RBR!!RBR! !BSL!define!BSL!tr!LBR!!BSL!operatorname!LBR!Tr!RBR!!RBR! !BSL!define!BSL!starp!LBR!$!BSL! *!BSL!;$-!BSL!tie product !RBR! !BSL!define!BSL!starc!LBR!$!BSL! *!BSL!;$-!BSL!tie commutator !RBR! !BSL!define!BSL!ma!LBR!!BSL!overarrow!LBR!m!RBR!!RBR! !BSL!define!BSL!ba!LBR!!BSL!overarrow!LBR!b!RBR!!RBR! !BSL!define!BSL!ca!LBR!!BSL!overarrow!LBR!c!RBR!!RBR! !BSL!define!BSL!na!LBR!!BSL!overarrow!LBR!n!RBR!!RBR! !BSL!redefine!BSL!aa!LBR!!BSL!overarrow!LBR!a!RBR!!RBR! !BSL!define!BSL!pTm!LBR!!BSL!varphi!BSL!sb N(T!BSL!sb !LBR!!BSL!ma!RBR!)!RBR! !BSL!define!BSL!pTn!LBR!!BSL!varphi!BSL!sb N(T!BSL!sb !LBR!!BSL!na!RBR!)!RBR! !BSL!define!BSL!grad!LBR!!BSL!operatorname!LBR!grad!RBR!!RBR! !BSL!redefine!BSL!div!LBR!!BSL!operatorname!LBR!div!RBR!!RBR! !BSL!define!BSL!divgrad!LBR!!BSL!operatorname!LBR!div!BSL!,grad!RBR!!RBR! !BSL!define!BSL!w!LBR!!BSL!omega!RBR! !BSL!redefine!BSL!l!LBR!!BSL!lambda!RBR! !BSL!redefine!BSL!L!LBR!!BSL!Lambda!RBR! !BSL!define!BSL!ifft!LBR!!BSL!qquad!BSL!text!LBR!if and only if !RBR!!BSL!qquad!RBR! !BSL!define!BSL!a!LBR!!BSL!alpha!RBR! !BSL!redefine!BSL!b!LBR!!BSL!beta!RBR! !BSL!redefine!BSL!t!LBR!!BSL!tau!RBR! !BSL!redefine!BSL!i!LBR!!LBR!!BSL!,!BSL!bold i!BSL!,!RBR!!RBR! !BSL!define!BSL!x!LBR!!LBR!!BSL!bold x!RBR!!RBR! !BSL!define!BSL!y!LBR!!LBR!!BSL!bold y!RBR!!RBR! !BSL!define!BSL!z!LBR!!LBR!!BSL!bold z!RBR!!RBR! % !BSL!define!BSL!mh!LBR!!BSL!widehat!LBR!m!RBR!!RBR! !BSL!define!BSL!gtm!LBR!!BSL!Gamma!BSL!sb !LBR!hol!RBR!(T!BSL!sp !LBR!2n !RBR!, L!BSL!sp !LBR!(m)!RBR!)!RBR! !BSL!define!BSL!ghm!LBR!!BSL!Gamma!BSL!sb !LBR!hol!RBR! (M,L!BSL!sp !LBR!(m)!RBR!)!RBR! !BSL!define!BSL!gtt!LBR!!BSL!Gamma!BSL!sb !LBR!hol!RBR! (T!BSL!sp !LBR!2n!RBR!,L)!RBR! !BSL!define!BSL!gh!LBR!!BSL!Gamma!BSL!sb !LBR!hol!RBR!(M,L)!RBR! !BSL!define!BSL!PM!LBR!!BSL!Cal P(M)!RBR! % !BSL!define!BSL!PL!LBR!Phys!BSL!. Lett!BSL!. !RBR! !BSL!define!BSL!NP!LBR!Nucl!BSL!. Phys!BSL!. !RBR! !BSL!define!BSL!LMP!LBR!Lett!BSL!. Math!BSL!. Phys!BSL!. !RBR! !BSL!define!BSL!CMP!LBR!Comm!BSL!. Math!BSL!. Phys!BSL!. !RBR! !BSL!define!BSL!Izv!LBR!Math!BSL!. USSR Izv!BSL!. !RBR! % !BSL!define!BSL!mapleft#1!LBR!!BSL!smash!LBR!!BSL!mathop!LBR! !BSL!longleftarrow!RBR!!BSL!limits!BSL!sp !LBR!#1!RBR!!RBR!!RBR! !BSL!define!BSL!mapright#1!LBR!!BSL!smash!LBR!!BSL!mathop!LBR! !BSL!longrightarrow!RBR!!BSL!limits!BSL!sp !LBR!#1!RBR!!RBR!!RBR! !BSL!define!BSL!mapdown#1!LBR!!BSL!Big!BSL!downarrow!BSL!rlap!LBR! $!BSL!vcenter!LBR!!BSL!hbox!LBR!$!BSL!scriptstyle#1$!RBR!!RBR!$!RBR!!RBR! !BSL!define!BSL!mapup#1!LBR!!BSL!Big!BSL!uparrow!BSL!rlap!LBR! $!BSL!vcenter!LBR!!BSL!hbox!LBR!$!BSL!scriptstyle#1$!RBR!!RBR!$!RBR!!RBR! % % !BSL!font!BSL!ssf=cmss10 !BSL!define!BSL!pfz!LBR!!BSL!frac !LBR!!BSL!partial!RBR!!LBR! !BSL!partial z!RBR!!RBR! !BSL!define!BSL!ord!LBR!!BSL!text!LBR!ord!RBR!!BSL!,!RBR! !BSL!define!BSL!res!LBR!!BSL!text!LBR!res!RBR!!BSL!,!RBR! !BSL!define!BSL!id!LBR!!BSL!frac 1!LBR!2!BSL!pi !BSL!i!RBR! !BSL!oint!BSL!sb !LBR! !BSL!tsize C!BSL!sb !LBR!!BSL!tau!RBR!!RBR!!RBR! !BSL!redefine!BSL!d #1#2!LBR!!BSL!delta!BSL!sb !LBR!#1,#2!RBR!!RBR! !BSL!define!BSL!Funk!LBR!Funktsional!BSL!. Anal!BSL!. i Prilozhen !RBR! !BSL!define!BSL!gle!LBR!!BSL!widehat!LBR!gl!RBR!(!BSL!infty)!RBR! !BSL!define!BSL!glb!LBR!!BSL!overline!LBR!gl!RBR!(!BSL!infty)!RBR! !BSL!define!BSL!gl!LBR!gl(!BSL!infty)!RBR! !BSL!define!BSL!XA!LBR!X!BSL!setminus A!RBR! !BSL!define!BSL!KN!LBR!!LBR!!BSL!Cal KN!RBR!!RBR! !BSL!define!BSL!KE!LBR!!BSL!widehat!LBR!!LBR!!BSL!Cal KN!RBR!!RBR!!RBR! !BSL!define!BSL!KNA!LBR!!LBR!!BSL!Cal KN!RBR!(A)!RBR! !BSL!define!BSL!Hl!LBR!!LBR!!BSL!Cal H!RBR!!BSL!sp !BSL!lambda(A)!RBR! !BSL!define!BSL!Fn #1!LBR!!LBR!!BSL!Cal F!RBR!!BSL!sp !LBR!#1!RBR!!RBR! !BSL!define!BSL!Fl!LBR!!LBR!!BSL!Cal F!RBR!!BSL!sp !BSL!lambda(A)!RBR! !BSL!define!BSL!Flm!LBR!!LBR!!BSL!Cal F!RBR!!BSL!sp !LBR!1- !BSL!lambda!RBR!(A)!RBR! !BSL!define!BSL!HE!LBR!!BSL!Cal H!RBR! !BSL!define!BSL!fpz#1!LBR!!BSL!frac !LBR!!BSL!partial#1!RBR! !LBR!!BSL!partial z!RBR!!RBR! !BSL!define!BSL!re!LBR!!BSL!text!LBR!!LBR!!BSL!ssf Re!BSL!kern1.0pt !RBR!!RBR!!RBR! !BSL!define!BSL!im!LBR!!BSL!text!LBR!!LBR!!BSL!ssf Im!BSL!kern1.0pt !RBR!!RBR!!RBR! % % % Up to now this were only macro definitions (not all of them % are used in the paper) % % % % !BSL!topmatter !BSL!title $gl(!BSL!infty)$, $diff!BSL!sb A!BSL!; S!BSL!sp 2$, $diff!BSL!sb A!BSL!;T!BSL!sp 2$ and $su(N)$- Approximation !BSL!endtitle !BSL!vskip 1cm !BSL!author Martin Schlichenmaier !BSL!endauthor !BSL!affil University of Mannheim !BSL!endaffil !BSL!address !LBR! Fakult!BSL!"at f!BSL!"ur Mathematik, Universit!BSL!"at Mannheim, P.O. Box 103462, D-6800 Mannheim 1, Fed. Rep. of Germany!RBR! !BSL!date !LBR! August 91!RBR! !BSL!endtopmatter % % % % % % !BSL!document !BSL!vskip 1cm !BSL!centerline!LBR!!BSL!bf 1. Introduction.!RBR! !BSL!vskip 0.3cm In the following, I like to report on joint work with M. Bordemann, J. Hoppe, and P. Schaller !BSL!cite!LBR!1!RBR!. The starting point of our work was the observation that in the context of membrane theory the algebra $!BSL! diff!BSL!sb A!BSL!;S!BSL!sp 2!BSL! $ ( the algebra of infinitesimal area preserving diffeomorphisms, resp!BSL!. the algebra of divergence free vector fields of the sphere $S!BSL!sp 2$) and the algebra $!BSL! diff!BSL!sb A!BSL!;T!BSL!sp 2!BSL! $ (the analogous algebra for the torus) can be described as a $!BSL! su(N)!BSL! $-limit for $N!BSL!to!BSL!infty$, in the sense that in certain specific basis of $su(N)$ the structure constants of $su(N)$ converge to the structure constants of the above mentioned algebras. Let me just cite Hoppe !BSL!cite!LBR!2!RBR! for the sphere and Fairlie, Fletcher and Zachos !BSL!cite!LBR!3!RBR! for the torus. For more references, see our paper !BSL!cite!LBR!1!RBR!. !BSL!define!BSL!dS!LBR!diff!BSL!sb A!BSL!;S!BSL!sp 2!RBR! !BSL!define!BSL!dT!LBR!diff!BSL!sb A!BSL!;T!BSL!sp 2!RBR! Now the story got a little bit confusing, because it was tried to make a naive identification of $!BSL! diff!BSL!sb A!BSL!;S!BSL!sp 2!BSL! $ and $!BSL! !BSL!dT!BSL! $ with the algebra $su!BSL!sb +(!BSL!infty)$ (or $su(!BSL!infty)$). In our paper we showed that the algebras $!BSL!dS$, $!BSL!dT$ (or better certain dense subalgebras of them) and $gl(!BSL!infty)$ are pairwise non isomorphic. It was even proved by Hoppe and Schaller !BSL!cite!LBR!4!RBR! that there exits a infinite family of algebras, including $!BSL!dT$, each of them non isomorphic but nevertheless each of them can be approximated by $su(N),!BSL! N!BSL!to!BSL!infty$. Note, the relation between an infinite dimensional algebra and a series of finite dimensional algebras is also important in other contexts. For example, it appears also in quantization schemes, semiclassical limit and so on. Because the time is limited, I will not be able to cover every aspect in detail. Hence, I like to explain the main points in rough terms and concentrate on some special points later on. The term !BSL!lq !BSL!lq limit'' above was a rather flabby notion. We suggested a rigourous definition of limit and approximation. This we call an $L!BSL!sb !BSL!alpha-$approximation. We showed that the above limits can be covered by this concept. As already remarked, non isomorphic algebras can have the same sequence of approximating finite dimensional algebras. The situation is even more general. We start from a compact K!BSL!"ahler manifold. If we consider this K!BSL!"ahler manifold as a classical phase space we can apply a geometric quantization procedure to approximate the algebra of infinitesimal symplectic transformations by a sequence of antihermitean quantum operators. The rough idea is to realize the quantum operators as operators on the space of holomorphic sections of increasing tensor powers of the prequantum line bundle. The algebra of infinitesimal symplectic transformations is in relation to the algebra of infinitesimal area preserving diffeomorphism (with respect to the symplectic volume). In the case of dimension 2 they are the same. We expect this approximation to be a $su(N)-$ approximation in our sense. We showed this to be true for the real $2n-$dimensional torus. The K!BSL!"ahler form $!BSL!omega$ defines on the torus the structure of an $n-$dimensional complex manifold and by the prequantization condition it is automatically an abelian variety (i.e!BSL!. a complex tori which admits an embedding into projective space). In this case everything can be calculated in terms of theta functions. Let me remark, that A.S. Schwarz !BSL!cite!LBR!5!RBR! also mentions such connections and that there is an relation to Berezin's coherent states. % % % !BSL!bigbreak !BSL!bigbreak !BSL!centerline!LBR!!BSL!bf 2. $!BSL!dS$, $!BSL!dT$ and $gl(!BSL!infty)$!RBR! !BSL!vskip 0.5cm I believe one reason of the general confusion was that people were talking of different algebras and nevertheless were using the same name. To avoid this, let me introduce the following algebras $$gl(!BSL!infty),!BSL!quad gl!BSL!sb +(!BSL!infty),!BSL!quad L!BSL!sb !LBR! !BSL!Lambda!RBR!,!BSL!quad diff!BSL!sb !LBR!A!RBR!'T!BSL!sp 2,!BSL!quad diff!BSL!sb !LBR!A!RBR! ' S!BSL!sp 2$$ and certain related algebras. $gl(!BSL!infty)$ is the Lie algebra of complex $!BSL!infty-$dimensional matrices with finite support, i.e. $$gl(!BSL!infty):=!BSL!!LBR!!BSL!,(a!BSL!sb !LBR!ij!RBR!)!BSL!sb !LBR!i,j !BSL!in!BSL!Z!RBR!!BSL!mid a!BSL!sb !LBR!ij!RBR!!BSL!in !BSL!C , !BSL!text!LBR!all but a finite number of the !RBR! a!BSL!sb !LBR!ij!RBR!=0!BSL!,!BSL!!RBR!!BSL! .$$ The Lie bracket is the usual matrix commutator. A basis is given by the elementary matrices $E!BSL!sb !LBR!ij!RBR!$. The matrix $E!BSL!sb !LBR!ij !RBR!$ has $1$ as the $(i,j)$-th entry and $0$ as all other entries. Here $(i,j)$ ranges over $!BSL!Z!BSL!times!BSL!Z$. The commutator of the basis elements is $$!BSL!lbrack E!BSL!sb !LBR!ij!RBR!,E!BSL!sb !LBR!kl!RBR!!BSL!rbrack = !BSL!d jk E!BSL!sb !LBR!il!RBR!-!BSL!d il E!BSL!sb !LBR!kj!RBR!!BSL! .$$ If we replace $!BSL!Z$ by $!BSL!N$ we obtain the algebra $!BSL! gl!BSL!sb +(!BSL!infty)!BSL! $ by the analogous definitions. Any bijective map $!BSL!N!BSL!cong!BSL!Z$ induces an isomorphism of $gl!BSL!sb +(!BSL!infty)$ with $gl(!BSL!infty)$. (Nevertheless, we will distinguish them, because there exists no canonical isomorphism between them.) Due to the finite support of the matrices the trace is well-defined and the subalgebras $!BSL! sl(!BSL!infty)!BSL! $, resp!BSL!. $!BSL! sl!BSL!sb +(!BSL!infty)!BSL! $ can be obtained by restricting oneself to matrices with trace equal zero. Let $$V:=!BSL!left!BSL!sb !LBR!!BSL!C!RBR!$$ be the $!BSL!C$-vector space generated by the basis $T!BSL!sb !LBR! !BSL!ma!RBR!$. This vector space carries different Lie algebra structures, e!BSL!.g!BSL!. the family of sine-algebras !BSL!cite!LBR!3!RBR!. They are defined as follows: for $!BSL!Lambda!BSL!in!BSL!R$ with $!BSL!Lambda!BSL!ne 0$ we set $$!BSL!lbrack T!BSL!sb !LBR!!BSL!ma!RBR!,T!BSL!sb !LBR!!BSL!na !RBR!!BSL!rbrack !BSL!sp !LBR!!BSL!L!RBR!=!BSL!left(!BSL!frac 1!LBR!2 !BSL!pi!BSL!L!RBR!!BSL!sin2!BSL!pi!BSL!L(!BSL!ma!BSL!times!BSL!na)!BSL!right) !BSL!,T!BSL!sb !LBR!!BSL!ma+!BSL!na!RBR! !BSL! ,$$ for $!BSL!L=0$ we set $$!BSL!lbrack T!BSL!sb !LBR!!BSL!ma!RBR!,T!BSL!sb !LBR!!BSL!na!RBR! !BSL!rbrack := !BSL!lbrack T!BSL!sb !LBR!!BSL!ma!RBR!,T!BSL!sb !LBR!!BSL!na!RBR!!BSL!rbrack !BSL!sp 0:=(!BSL!ma!BSL!times!BSL!na)!BSL!, T!BSL!sb !LBR!!BSL!ma+ !BSL!na!RBR!!BSL! .$$ Here we use the notation $!BSL! !BSL!ma!BSL!times!BSL!na=!BSL!ma!BSL!wedge!BSL!na=m!BSL!sb 1n!BSL!sb 2 -m!BSL!sb 2n!BSL!sb 1!BSL! $, where $!BSL!ma=(m!BSL!sb 1,m!BSL!sb 2),!BSL! !BSL!na=(n!BSL!sb 1,n!BSL!sb 2) !BSL! $. We denote these Lie algebras by $!BSL! !BSL!widetilde!LBR!L!RBR! !BSL!sb !BSL!L =(V,!BSL!lbrack ..,..!BSL!rbrack !BSL!sp !BSL!L)!BSL! $. Obviously, the algebras $!BSL!widetilde!LBR!L!RBR!!BSL!sb !BSL!L$ are direct sums (of Lie algebras) $$!BSL!widetilde!LBR!L!RBR!!BSL!sb !BSL!L=!BSL!langle T!BSL!sb !LBR!(0,0) !RBR!!BSL!rangle!BSL!oplus !BSL!langle!BSL! T!BSL!sb !LBR!!BSL!ma!RBR!!BSL!mid!BSL!ma!BSL!in!BSL!Z !BSL!sp 2!BSL!setminus!BSL!!LBR!(0,0)!BSL!!RBR!!BSL! !BSL!rangle!BSL! .$$ The first summand consists of multiples of the central element $T!BSL!sb !LBR!(0,0)!RBR!$. The second summand we call $L!BSL!sb !BSL!L$. The Lie algebra $L!BSL!sb 0$ is (by some abuse of notation) also called $ !BSL! diff!BSL!sb !LBR!A!RBR!'T!BSL!sp 2!BSL! $, due to its relation with the complexified Lie algebra of the area preserving diffeomorphisms of $T!BSL!sp 2$. Of course, $diff!BSL!sb A'T!BSL!sp 2$ is only the subalgebra of nonconstant vector fields generated (as vector space) by finite linear combination of the generators $!BSL! T!BSL!sb !LBR!!BSL!ma!RBR!,!BSL! (!BSL!ma!BSL!ne 0)$. The element $T!BSL!sb !LBR!(0,0)!RBR!$ in $!BSL!widetilde!LBR!L!RBR! !BSL!sb 0$ does not correspond to a vector field. Our last infinite dimensional Lie algebra shall be the algebra generated by the elements $$Y!BSL!sb !LBR!lm!RBR!,!BSL!quad!BSL!text!LBR!with!RBR!!BSL!quad l!BSL!in !BSL!N,!BSL!quad m=-l,!BSL!ldots,0,!BSL!ldots,+l$$ with the Lie bracket (Here and in the following summation convention is assumed) $$!BSL!lbrack Y!BSL!sb !LBR!lm!RBR!,Y!BSL!sb !LBR!l'm'!RBR!!BSL!rbrack =g !BSL!sb !LBR!lm,l'm'!RBR!!BSL!sp !LBR!l''m''!RBR! Y!BSL!sb !LBR!l''m''!RBR!$$ where the structure constants are given by explicit formulas which I do not want to give here. The only thing which is of importance here, is that they will be nonvanishing only for $$m''=m+m'!BSL!quad!BSL!text!LBR!and!RBR!!BSL!quad !BSL!vert l-l'!BSL!vert !BSL!le l''!BSL!le l+l'-1!BSL! .$$ This Lie algebra we will call $!BSL! diff!BSL!sb A'S!BSL!sp 2!BSL! $. Again, $diff!BSL!sb A'S!BSL!sp 2$ is only the (complexified) subalgebra of $diff!BSL!sb AS!BSL!sp 2$ generated by finite linear combinations of the vector fields corresponding to $Y!BSL!sb !LBR!lm!RBR!$ (see !BSL!cite!LBR!2!RBR!). In the following, it will sometimes be convenient to consider also the trivial central extension $!BSL! diff!BSL!sb A'S!BSL!sp 2!BSL!oplus!BSL!C!BSL!cdot Y !BSL!sb !LBR!00!RBR!!BSL! $ by an additional element $Y!BSL!sb !LBR!00!RBR!$. Coming now to our problem of the limit. Let us start with $gl!BSL!sb +(!BSL!infty)$. Induced by a numbering of the basis of the vector space on which $gl!BSL!sb +(!BSL!infty)$ is operating we get an embedding of the algebra $gl(N)$ into $gl(!BSL!infty)$ by considering the operations involving only the first $N$ basis elements. This embedding we call the standard embedding. By increasing $N$ one obtains a chain of subalgebras $$!BSL! gl(N)!BSL! !BSL!subset!BSL! gl(N+1)!BSL! !BSL!subset!BSL! gl(N+2) !BSL! !BSL!subset!BSL! !BSL!ldots!BSL! .$$ As every element of $gl!BSL!sb +(!BSL!infty)$ lies in some $gl(N)$ we can call $gl!BSL!sb +(!BSL!infty)$ a !BSL!lq $gl(N),!BSL! N!BSL!to !BSL!infty$ limit'. In fact, $gl!BSL!sb +(!BSL!infty)$ is the !BSL!lq direct limit' of the standard embedding in the sense of the language of categories. If we choose for every $N$ another basis $!BSL!!LBR!T!BSL!sb a!BSL!sp N!BSL!mid a=1,!BSL!ldots,n!BSL!sp 2!BSL!!RBR!$ in $gl(N)$, then we can describe the Liealgebra $gl(N)$ by its structure constants $$f!BSL!sb !LBR!a,b!RBR!!BSL!sp !LBR!c,N!RBR!,!BSL!qquad !BSL!lbrack T!BSL!sb a!BSL!sp N,T!BSL!sb b!BSL!sp N!BSL!rbrack = f!BSL!sb !LBR!a,b!RBR!!BSL!sp !LBR!c,N!RBR!T!BSL!sb c!BSL!sp N!BSL! .$$ If we asume that $f!BSL!sb !LBR!ab!RBR!!BSL!sp !LBR!c,N!RBR!$ has a well defined limit $!BSL! f!BSL!sb !LBR!a,b!RBR!!BSL!sp c:=!BSL!lim!BSL!sb !LBR!N!BSL!to !BSL!infty!RBR! f!BSL!sb !LBR!a,b!RBR!!BSL!sp !LBR!c,N!RBR!!BSL! $ for all $a,b,c$ and that for fixed $a$ and $b$ the set $$!BSL!!LBR!!BSL!,c!BSL!in!BSL!N!BSL!mid !BSL!text!LBR!there exists a $N$ such that !RBR! f!BSL!sb !LBR!a,b!RBR!!BSL!sp !LBR!c,N!RBR!!BSL!ne 0 !BSL! !BSL!!RBR!$$ is finite then we can define a Lie algebra generated by elements $!BSL! !BSL!!LBR!!BSL!,T!BSL!sb a!BSL!mid a!BSL!in !BSL!N!BSL!, !BSL!!RBR!!BSL! $ with the bracket $!BSL! !BSL!lbrack T!BSL!sb a,T!BSL!sb b!BSL!rbrack =f!BSL!sb !LBR!a,b !RBR!!BSL!sp cT!BSL!sb c!BSL! $. Nevertheless the above condition does not imply that the family of base transformations $C!BSL!sp !LBR!(N)!RBR!$ has to define a base transformation $C$ also in the limit. For this we would have to additionally require that (for fixed $i,j$) the element $E!BSL!sb !LBR!ij!RBR!$ is only a finite(!) linear combination of the $T!BSL!sb a!BSL!sp N$ such that the number of elements is bounded independent of $N$, and vice versa! Of course, if this condition is fulfilled, the limit will be isomorphic to $gl!BSL!sb +(!BSL!infty)$. However, in most of the interesting examples this will not be the case. Hence, we take the convergence of the structure constants as the starting point. The resulting algebra will then in general not be isomorphic to $gl!BSL!sb +(!BSL!infty)$ as we will see. Let me introduce a specific example Let $N,M!BSL!in!BSL!N$, $N$ odd, $1!BSL!le M!BSL!sb !LBR!!BSL!C!RBR!$$ is an ideal in $L!BSL!sp N$. Hence we can define the factor algebra $!BSL! L!BSL!sp !LBR!(N)!RBR!:=L!BSL!sp N/J!BSL!sp N!BSL! $ with $!BSL!varphi!BSL!sb N:L!BSL!sp N!BSL!to L!BSL!sp !LBR!(N)!RBR!$ the canonical projection map. This Lie algebra has dimension $N!BSL!sp 2$. A basis is given by the $N!BSL!sp 2$ elements $$!BSL! !BSL!pTm, !BSL!qquad!BSL!ma=(p,q)!BSL!qquad 0!BSL!le p,q=!BSL!d !LBR!m!BSL!sb 1!RBR!!LBR!n !BSL!sb 1!RBR!!BSL!cdot!BSL!d !LBR!m!BSL!sb 2!RBR!!LBR!n!BSL!sb 2!RBR! !BSL! .!BSL!tag 3-6$$ By setting $!BSL! i!BSL!sb N(!BSL!pTn)):=T!BSL!sb !LBR!!BSL!na!BSL!bmod N !RBR!!BSL! $ we obain a linear map $L!BSL!sp !LBR!(N)!RBR!!BSL!to L$ which obeys $!BSL!varphi!BSL!sb N !BSL!circ i!BSL!sb N=id$. By direct calculation it can be seen that all the conditions are fulfilled. In a completely similar way we obtain that not only the algebra $!BSL! diff!BSL!sb A'!BSL!;T!BSL!sp 2!BSL!oplus !BSL!C T !BSL!sb !LBR!00!RBR!!BSL! $ but also the algebra $!BSL! diff!BSL!sb A'!BSL!;S!BSL!sp 2!BSL!oplus !BSL!C Y!BSL!sb !LBR!00 !RBR!!BSL! $ bis a $L!BSL!sb !BSL!alpha-$quasilimit having the same sequence of $gl(n)$ as approximating sequence. !BSL!vskip 1cm !BSL!centerline !LBR!!BSL!bf 4. The Non-Isomorphy!RBR! !BSL!vskip 0.4cm !BSL!proclaim!LBR!Theorem!RBR! $$gl!BSL!sb +(!BSL!infty),!BSL!quad diff!BSL!sb A'!BSL!;S!BSL!sp 2!BSL!quad!BSL!text!LBR!and!RBR!!BSL!quad diff!BSL!sb A'!BSL!;T!BSL!sp 2$$ are pairwise non-isomorphic. !BSL!endproclaim In the proof one can always replace $gl!BSL!sb +(!BSL!infty)$ by its subalgebra $sl!BSL!sb +(!BSL!infty)$. without changing the argument. The same is true if we replace $diff!BSL!sb A'T!BSL!sp 2$ (resp!BSL!. $diff!BSL!sb A'S!BSL!sp 2$ ) by its trivial central extensions. Let me also remind you that $gl!BSL!sb +(!BSL!infty)$ is isomorphic to $gl(!BSL!infty)$. Let me indicate just a few steps in the proof. Assume the existence of a Lie algebra isomorphism $$!BSL!Phi:!BSL!!LBR!Y!BSL!sb !LBR!lm!RBR!!BSL!!RBR!!BSL! !BSL!to !BSL! !BSL!!LBR!E!BSL!sb !LBR!ij!RBR!!BSL!!RBR!!BSL! .$$ Let $!BSL!Phi!BSL!sb !LBR!lm!RBR!$ denote $!BSL!Phi(Y!BSL!sb !LBR!lm!RBR!)$ then we obtain the relation $$!BSL!align !BSL!lbrack !BSL!Phi!BSL!sb !LBR!10!RBR!,!BSL!Phi!BSL!sb !LBR!lm!RBR! !BSL!rbrack &=m!BSL!sqrt!LBR!!BSL!frac 3!LBR!4!BSL!pi!RBR!!RBR!!BSL!, !BSL!Phi!BSL!sb !LBR!lm!RBR!,!BSL!!BSL! !BSL!lbrack !BSL!Phi!BSL!sb !LBR!11!RBR!,!BSL!Phi!BSL!sb !LBR!l,-1!RBR! !BSL!rbrack &=-!BSL!sqrt!LBR!!BSL!frac 3!LBR!8!BSL!pi!RBR!!RBR! !BSL!sqrt!LBR!l(l+1)!RBR!!BSL!,!BSL!Phi!BSL!sb !LBR!l0!RBR!!BSL! . !BSL!endalign$$ Because all $!BSL!Phi!BSL!sb !LBR!lm!RBR!$ are finite linear combinations of the $E!BSL!sb !LBR!ij!RBR!$ $!BSL!Phi!BSL!sb !LBR!10!RBR!$ and $!BSL!Phi!BSL!sb !LBR!11!RBR!$ will be zero outside some upper left block of size $J!BSL!times J$. Now $!BSL! (a!BSL!sb !LBR!ij!RBR!):=!BSL!lbrack !BSL!Phi!BSL!sb !LBR! 10!RBR!,E!BSL!sb !LBR!kl!RBR!!BSL!rbrack !BSL! $ will have vanishing entries for if both indices $i$ and $j$ are bigger than $J$. Hence, this will also be true for $!BSL!Phi!BSL!sb !LBR!lm!RBR!$ Hence $!BSL!Phi$ can not be surjective. This shows the non isomorphy for one pair. To compare $diff!BSL!sb A'!BSL!;S!BSL!sp 2$ and $diff!BSL!sb A'!BSL!;T!BSL!sp 2$ we showed that the adjoint action of $Y!BSL!sb !LBR!11!RBR!$ on $diff!BSL!sb A'!BSL!;S!BSL!sp 2$ is locally nilpotent. But $diff!BSL!sb A'!BSL!;T!BSL!sp 2$ does not allow locally nilpotent actions. Note however, we do not claim, that there is no embedding of $diff!BSL!sb A'!BSL!;T!BSL!sp 2$ or $diff!BSL!sb A'!BSL!;S!BSL!sp 2$ into one of the following algebra $$!BSL!align !BSL!overline!LBR!gl!RBR!(!BSL!infty)&=!BSL!!LBR!!BSL! (a !BSL!sb !LBR!ij!RBR!)!BSL!sb !LBR!i,j!BSL!in!BSL!Z!RBR!!BSL!mid !BSL!text!LBR! there is an $r$ such that !RBR!!BSL! a !BSL!sb !LBR!ij!RBR!=0!BSL! !BSL!text!LBR! if !RBR! !BSL!vert i-j!BSL!vert >r!BSL! !BSL!!RBR!!BSL!!BSL! !BSL!overline!LBR!gl!BSL!sb +!RBR!(!BSL!infty)&= !BSL!!LBR!!BSL! (a!BSL!sb !LBR!ij!RBR!)!BSL!sb !LBR!i,j !BSL!in!BSL!N!RBR!!BSL!mid !BSL!text!LBR! there is an $r$ such that !RBR!!BSL! a !BSL!sb !LBR!ij!RBR!=0!BSL! !BSL!text!LBR! if !RBR! !BSL!vert i-j!BSL!vert >r!BSL! !BSL!!RBR!!BSL! . !BSL!endalign$$ (This algebras are not isomorphic anymore) In this context it is interesting to note that Floratos !BSL!cite!LBR!24!RBR! was able to show that $L!BSL!sb !LBR!!BSL!L!RBR!$ for $!BSL!L!BSL!ne 0$ can be embedded into $!BSL!overline!LBR!gl!RBR!(!BSL!infty)$. The question whether this is true also for $L!BSL!sb 0=diff!BSL!sb A'T!BSL!sp 2$ remains still open. !BSL!bigskip !BSL!bigskip !BSL!vskip 1cm !BSL!noindent !LBR!!BSL!bf References!RBR! !BSL!vskip 0.3cm !BSL!parindent=0pt!BSL!parskip=4pt !BSL!ref!BSL!no 1 !BSL!by M.!BSL!tie Bordemann, J.!BSL!tie Hoppe, P.!BSL!tie Schaller, M.!BSL!tie Schlichenmaier !BSL!paper $gl(!BSL!infty)$ and Geometric Quantization !BSL!jour !BSL!CMP !BSL!vol 138!BSL!yr 1991,!BSL!pages 209--244 !BSL!endref !BSL!ref!BSL!no 2 !BSL!by J.!BSL!tie Hoppe!BSL!paper Quantum Theory of a Relativistic Surface ... !BSL!paperinfo MIT PhD Thesis 1982 !BSL!jour Elem!BSL!. Part!BSL!. Research Journal (Kyoto)!BSL!vol 80 !BSL!issue 3!BSL!yr 1889/90 !BSL!endref !BSL!ref!BSL!no 3 !BSL!by D.!BSL!tie Fairlie, P.!BSL!tie Fletcher, C.N.!BSL!tie Zachos !BSL!paper Trigonometric Structure Constants for new Infinite Algebras !BSL!jour !BSL!PL!BSL!vol B218,!BSL!pages 203!BSL!yr 1989 !BSL!endref !BSL!ref!BSL!no 4 !BSL!by J.!BSL!tie Hoppe, P.!BSL!tie Schaller!BSL!paper !BSL!paper Infinitely many Versions of $SU(!BSL!infty)$ !BSL!jour !BSL!PL B !BSL!vol 237!BSL!yr 1990!BSL!pages 407 !BSL!endref !BSL!ref!BSL!no 5 !BSL!by A.S.!BSL!tie Schwarz!BSL!paper Symplectic, Contact and Superconformal Geometry, Membranes and Strings !BSL!paperinfo preprint IASSNS-HEP 90/12 (Jan. 90) !BSL!endref !BSL!ref!BSL!no 6 !BSL!by E.G.!BSL!tie Floratos!BSL!paper Spin Wedge and Vertex Operator Representations of Trigonometric Algebras ... !BSL!jour!BSL!PL !BSL!vol B232 !BSL!yr 1989!BSL!pages 467--472 !BSL!endref % % !BSL!enddocument ENDBODY