1: 

2: %&latex

3: \documentclass[12pt,a4paper]{article}

4: 

5: \def\marginpar#1{}

6: \def\resizebox#1#2#3{}

7: 

8: \usepackage{bbm}

9: \usepackage[dvips]{graphicx}

10: \newcommand{\One}{\mathbbmss{1}}

11: 

12: \usepackage{amsmath}

13: \usepackage{amsfonts}

14: \usepackage{amssymb}

15: \usepackage[mathcal]{euscript}

16: \usepackage{amsopn}

17: \usepackage{amsthm}

18: \usepackage{amstext}

19: 

20: \usepackage{graphics}

21: %\usepackage{pspicture}

22: 

23: 

24: \usepackage{smart}

25: 

26: \secunitshift2

27: \SectioningParameter{presecnum}{section}=\noexpand\S;

28: \RestoreLaTeXeqno

29: \link{equation}{section}%\toheight3

30: 

31: % =========================================================

32: %  File super-amsla.tex - Macro definitions for Super Book

33: % =========================================================

34: 

35: \hoffset=-2cm

36: \voffset=1cm

37: \topmargin=-0.5in

38: \textheight=24cm

39: \textwidth=16.5cm

40: 

41: 

42: % ===========================================

43: %

44: %                New Symbols

45: %

46: % ===========================================

47: \newcommand {\supplus}{\mathop{{\supset}\llap{\raise

48: 0.5pt\hbox{\normalfont\small+}\hskip 0.5pt}}}

49: %semidirect sum, the ideal on the left

50: 

51: \newcommand {\subplus}{\mathop{{\subset}\llap{\raise

52: 0.5pt\hbox{\normalfont\small+}\hskip 0.5pt}}}

53: %semidirect sum, the ideal on the right

54: 

55: %

56: % ===========================================

57: 

58: \newcommand {\Aee}    {{\mathbb  A}}

59: \newcommand {\Cee}    {{\mathbb  C}}

60: \newcommand {\Fee}    {{\mathbb  F}}

61: \newcommand {\Gee}    {{\mathbb  G}}

62: \newcommand {\Hee}    {{\mathbb  H}}

63: \newcommand {\Kee}    {{\mathbb  K}}

64: \newcommand {\Nee}    {{\mathbb  N}}

65: \newcommand {\Oee}    {{\mathbb  O}}

66: \newcommand {\Pee}    {{\mathbb  P}}

67: \newcommand {\Qee}    {{\mathbb  Q}}

68: \newcommand {\Ree}    {{\mathbb  R}}

69: \newcommand {\Uee}    {{\mathbb  U}}

70: \newcommand {\Zee}    {{\mathbb  Z}}

71: 

72: \newcommand {\fa}     {{\mathfrak{a}}}

73: \newcommand {\fA}     {{\mathfrak{A}}}

74: \newcommand {\fab}    {{\mathfrak{ab}}}

75: \newcommand {\fag}    {{\mathfrak{ag}}}

76: \newcommand {\fas}    {{\mathfrak{as}}}

77: \newcommand {\faut}   {{\mathfrak{aut}}}

78: \newcommand {\fb}     {{\mathfrak{b}}}

79: \newcommand {\fc}    {{\mathfrak{c}}}

80: \newcommand {\fcg}    {{\mathfrak{cg}}}

81: \newcommand {\fcsvect} {{\mathfrak{csvect}}}

82: \newcommand {\fcvect}   {{\mathfrak{cvect}}}

83: \newcommand {\fD}     {{\mathfrak{D}}}   %

84: \newcommand {\fder}   {{\mathfrak{der}}}   %

85: \newcommand {\fdiff}  {{\mathfrak{diff}}}

86: \newcommand {\fdg}    {{\mathfrak{dg}}}

87: \newcommand {\fd}     {{\mathfrak{d}}}

88: \newcommand {\fe}     {{\mathfrak{e}}}

89: \newcommand {\feg}    {{\mathfrak{eg}}}

90: \newcommand {\ff}     {{\mathfrak{f}}}

91: \newcommand {\fF}     {{\mathfrak{F}}}

92: \newcommand {\fg}     {{\mathfrak{g}}}    %

93: \newcommand {\fgl}    {{\mathfrak{gl}}}  %

94: \newcommand {\fGL}    {{\mathfrak{GL}}}  %

95: \newcommand {\fh}     {{\mathfrak{h}}}

96: \newcommand {\fhei}   {{\mathfrak{hei}}}

97: \newcommand {\fii}    {{\mathfrak{i}}}    %

98: \newcommand {\fI}    {{\mathfrak{I}}}    %

99: \newcommand {\fk}     {{\mathfrak{k}}}

100: \newcommand {\fl}     {{\mathfrak{l}}}

101: \newcommand {\fL}     {{\mathfrak{L}}}

102: \newcommand {\fle}    {{\mathfrak{le}}}

103: \newcommand {\fM}     {{\mathfrak{M}}}   %

104: \newcommand {\fm}     {{\mathfrak{m}}}

105: \newcommand {\fN}     {{\mathfrak{N}}}  %

106: \newcommand {\fn}     {{\mathfrak{n}}}

107: \newcommand {\fns}     {{\mathfrak{ns}}}

108: \newcommand {\fo}     {{\mathfrak{o}}}

109: \newcommand {\fosp}   {{\mathfrak{osp}}}

110: \newcommand {\fout}   {{\mathfrak{out}}}

111: \newcommand {\fp}    {{\mathfrak{p}}}   %

112: \newcommand {\fpe}    {{\mathfrak{pe}}}   %

113: \newcommand {\fpg}    {{\mathfrak{pg}}}

114: \newcommand {\fpm}    {{\mathfrak{pm}}}

115: \newcommand {\fpgl}   {{\mathfrak{pgl}}}

116: \newcommand {\fpo}    {{\mathfrak{po}}}

117: \newcommand {\fPo}    {{\mathfrak{Po}}}

118: \newcommand {\fpsl}   {{\mathfrak{psl}}}

119: \newcommand {\fpq}    {{\mathfrak{pq}}}

120: \newcommand {\fpsh}   {{\mathfrak{psh}}}

121: \newcommand {\fpsq}   {{\mathfrak{psq}}}

122: \newcommand {\fq}     {{\mathfrak{q}}}

123: \newcommand {\fr}     {{\mathfrak{r}}}

124: \newcommand {\fqdiff} {{\mathfrak{qdiff}}}

125: \newcommand {\fs}     {{\mathfrak{s}}}

126: \newcommand {\fsa}    {{\mathfrak{sa}}}

127: \newcommand {\fsb}    {{\mathfrak{sb}}}

128: \newcommand {\fsg}    {{\mathfrak{sg}}}

129: \newcommand {\fsh}    {{\mathfrak{sh}}}

130: \newcommand {\fsi}    {{\mathfrak{si}}}

131: \newcommand {\fsl}    {{\mathfrak{sl}}}

132: \newcommand {\fsle}   {{\mathfrak{sle}}}

133: \newcommand {\fsm}    {{\mathfrak{sm}}}

134: \newcommand {\fsp}    {{\mathfrak{sp}}}

135: \newcommand {\fspe}   {{\mathfrak{spe}}}

136: \newcommand {\fspo}   {{\mathfrak{spo}}}

137: \newcommand {\fsq}    {{\mathfrak{sq}}}

138: \newcommand {\fss}    {{\mathfrak{ss}}}

139: \newcommand {\fst}    {{\mathfrak{st}}}

140: \newcommand {\fsvect} {{\mathfrak{svect}}}

141: \newcommand {\fsu}    {{\mathfrak{su}}}

142: \newcommand {\ft}     {{\mathfrak{t}}}

143: \newcommand {\fu}     {{\mathfrak{u}}}

144: \newcommand {\fv}     {{\mathfrak{v}}}     %

145: \newcommand {\fvect}  {{\mathfrak{vect}}}   %

146: \newcommand {\fvir}   {{\mathfrak{vir}}}

147: \newcommand {\fw}     {{\mathfrak{w}}}

148: \newcommand {\fwitt}  {{\mathfrak{witt}}}

149: \newcommand {\fx}  {{\mathfrak{x}}}

150: \newcommand {\fz}     {{\mathfrak{z}}}

151: 

152: %\newcommand {\cal} {\mathcal}

153: 

154: \newcommand {\cA}     {{\cal A}}

155: \newcommand {\cB}     {{\cal B}}

156: \newcommand {\cC}     {{\cal C}}

157: \newcommand {\cD}     {{\cal D}}

158: \newcommand {\cE}     {{\cal E}}

159: \newcommand {\cF}     {{\cal F}}

160: \newcommand {\cG}     {{\cal G}}

161: \newcommand {\cH}     {{\cal H}}

162: \newcommand {\cI}     {{\cal I}}

163: \newcommand {\cJ}     {{\cal J}}

164: \newcommand {\cK}     {{\cal K}}

165: \newcommand {\cL}     {{\cal L}}

166: \newcommand {\cM}     {{\cal M}}

167: \newcommand {\cN}     {{\cal N}}

168: \newcommand {\cO}     {{\cal O}}

169: \newcommand {\cP}     {{\cal P}}

170: \newcommand {\cR}     {{\cal R}}

171: \newcommand {\cS}     {{\cal S}}

172: \newcommand {\cT}     {{\cal T}}

173: \newcommand {\cU}     {{\cal U}}

174: \newcommand {\cV}     {{\cal V}}

175: \newcommand {\cW}     {{\cal W}}

176: \newcommand {\cX}     {{\cal X}}

177: \newcommand {\cZ}     {{\cal Z}}

178: 

179: % ===========================================

180: %

181: %                Operators

182: %

183: % ===========================================

184: 

185: \def \opname#1#2%

186:   {\expandafter\newcommand \csname #1\endcsname {{\mathop{#2}\nolimits}}}

187: 

188: %\def\rmname#1%

189: %  {\expandafter\newcommand \csname #1\endcsname

190: %     {{\mathop{\text{\normalshape\rm #1}}\nolimits}}}

191: 

192: \newcommand{\rmname}[1]

193:   {\expandafter\newcommand \csname #1\endcsname {{\operatorname{#1}}}}

194: 

195: \newcommand{\rmnameii}[2]

196:   {\expandafter\newcommand \csname #1\endcsname {{\operatorname{#2}}}}

197: 

198: \newcommand{\bra}[1] {\langle #1 |}

199: \newcommand{\ket}[1] {| #1 \rangle}

200: 

201: \rmname{act}

202: \rmname{Ad}

203: \rmname{Add}

204: \rmname{ad}

205: \rmname{Alt}

206: \rmname{alt}

207: \rmname{Ann}

208: \rmname{antidiag}

209: \rmname{Ber}

210: \rmname{ber}

211: \rmname{Br}

212: \rmname{card}

213: \rmname{ch}

214: \rmname{Char}

215: \rmname{cem}

216: \rmname{cj}

217: \rmname{Cliff}

218: \rmname{cntr}

219: \rmname{codim}

220: \rmname{coind}

221: \rmname{const}

222: \rmname{col}

223: \rmname{cork}

224: \rmname{cpr}

225: \rmname{diag}

226: \rmnameii{Div}{div}

227: \rmname{Def}

228: \rmname{Der}

229: \rmname{Dim}

230: \rmname{End}

231: \rmname{Even}

232: \rmname{Ext}

233: \rmname{gr}

234: \rmname{Hom}

235: \rmname{HT}

236: \rmnameii{Ht}{ht}

237: \rmname{hwt}

238: \rmname{Id}

239: \rmname{id}

240: \rmname{ind}

241: \rmname{Ind}

242: \rmname{Coind}%VM

243: \rmname{Inf}

244: \rmname{irr}

245: \rmname{Le}

246: \rmname{Lie}

247: \rmname{lwt}

248: \rmname{mult}

249: \rmname{Mor}

250: \rmname{nm}

251: \rmname{Ob}

252: \rmname{Odd}

253: \rmname{Osc}

254: \rmname{per}

255: \rmname{Pic}

256: \rmname{pr}

257: \rmname{pro}

258: \rmname{Prime}

259: \rmname{Proj}

260: \rmname{prt}

261: \rmname{pt}

262: \rmname{Q}

263: \rmname{qet}

264: \rmname{qtr}

265: \rmname{rd}

266: \rmname{rk}

267: \rmname{row}

268: \rmname{Res}

269: \rmname{salt}

270: \rmname{Sch}

271: \rmname{SBr}

272: \rmname{scalar}

273: \rmname{Ser}

274: \rmname{sign}

275: \rmname{Smbl}

276: \rmname{spin}

277: \rmname{ssym}

278: \rmname{str}

279: \rmname{st}

280: \rmname{sgn}

281: \rmname{sq}

282: \rmname{symm}

283: \rmname{supp}

284: \rmname{Supp}

285: \rmname{St}

286: \rmname{Spec}

287: \rmname{Spm}

288: \rmname{tr}

289: \rmname{vpt}

290: \rmname{weyl}

291: \rmname{Weyl}

292: \rmname{Witt}

293: 

294: \opname{vvol}  {{v\hspace{-0.1ex}o\hspace{-0.02ex}l\/}}

295: 

296: \opname{pnt}  {\text{\normalfont pt}}

297: 

298: \opname{Span} {{Span}}

299: 

300: \opname{slim} {\overline{\lim}}

301: 

302: \opname{Vol}  {{V\hspace{-0.55ex}o\hspace{-0.02ex}l\/}}

303: 

304: \opname{QVol} {{Q\hspace{-0.3ex}V\hspace{-0.55ex}o\hspace{-0.02ex}l\/}}

305: 

306: \opname{PoVol}{{P\hspace{-0.35ex}o\hspace{-0.25ex}V\hspace{-0.55ex}o\hspace{-0.0

307: 2ex}l\/}

308: }

309: 

310: \opname{BVol} {{B\hspace{-0.2ex}V\hspace{-0.55ex}o\hspace{-0.02ex}l\/}}

311: 

312: \opname{Par}  {{P\hspace{-0.3ex}a\hspace{-0.05ex}r\/}}

313: 

314: % ===========================================

315: %

316: %                Spaces, Groups, etc.

317: %

318: % ===========================================

319: 

320: \rmname{Mat}

321: \rmname{Bil}

322: \rmname{Diff}

323: \rmname{Ker}

324: \rmname{Herm}

325: \rmname{Coker}

326: \rmname{Conn}

327: \rmname{Covect}

328: \rmname{Vect}

329: \rmname{Int}

330: \rmname{rank}

331: \rmname{Pty}

332: 

333: \rmnameii {IM} {Im}

334: \rmnameii {RE} {Re}

335: 

336: \opname{Aut} {{A\hspace{-0.2ex}u\hspace{-0.1ex}t\/}}

337: \opname{GL} {{G\hspace{-0.3ex}L}}

338: \opname{SL} {{S\hspace{-0.3ex}L}}

339: \opname{Exp} {{E\hspace{-0.2ex}x\hspace{-0.1ex}p\/}}

340: \opname{GQ} {{G\hspace{-0.2ex}Q}}

341: \opname{OSp} {{O\hspace{-0.25ex}S\hspace{-0.15ex}p\/}}

342: \opname{Out} {{O\hspace{-0.25ex}u\hspace{-0.15ex}t\/}}

343: \opname{Spp} {{S\hspace{-0.2ex}p\/}}

344: \opname{SpO} {{S\hspace{-0.2ex}p\hspace{-0.02ex}O\/}}

345: \opname{Pe} {{P\hspace{-0.25ex}e\/}}

346: \opname{SPe} {{S\hspace{-0.25ex}P\hspace{-0.25ex}e\/}}

347: \opname{Spin} {{S\hspace{-0.25ex}p\hspace{-0.05ex}i\hspace{-0.1ex}n\/}}

348: \opname{Iso} {{I\hspace{-0.25ex}s\hspace{-0.1ex}o\/}}

349: \opname{SSPe} {{S\hspace{-0.25ex}S\hspace{-0.15ex}P\hspace{-0.25ex}e\/}}

350: \opname{PeU} {{P\hspace{-0.25ex}e\hspace{-0.1ex}U\/}}

351: \opname{QU} {{Q\hspace{-0.15ex}U\/}}

352: \opname{U} {{U\/}}

353: 

354: \opname{cGQ} {{\cal G \hspace{-0.2em} Q \/}}

355: \opname{cSL} {{\cal S \hspace{-0.2em} L \/}}

356: \opname{cGL} {{\cal G \hspace{-0.2em} L \/}}\opname{cGr} {{\cal G

357: \hspace{-0.2em} r \/}}

358: \opname{cOSp} {{\cal O \hspace{-0.2em} S \hspace{-0.3em} \it p\/}}

359: \opname{cPe} {{\cal P \hspace{-1.5pt} \it e\/}}

360: \opname{cVect} {{\cal V \hspace{-1.5pt} \it

361: e\hspace{-0.1ex}c\hspace{-0.1ex}t\/}}

362: \opname{cVol} {{\cal V \hspace{-1.5pt} \it o\hspace{-0.1ex}l\/}}

363: \opname{cAut} {{\cal A \hspace{-0.2em} \it u\hspace{-0.1em}t\/}}

364: \opname{cCovect} {{\cal C \hspace{-1.5pt}

365:      \it o\hspace{-0.1ex}v\hspace{-0.1ex}e\hspace{-0.1ex}c\hspace{-0.1ex}t\/}}

366: \opname{CW} {{C\hspace{-0.15ex}W}}

367: 

368: \newcommand {\cMh} {{\widehat\cM}}

369: \newcommand {\Omeha} {{\widehat\Omega}}

370: 

371: \let\Subsp=\Sp

372: \let\Sp=\Spp

373: 

374: % ===========================================

375: %

376: %      Abbreviations

377: %

378: % ===========================================

379: 

380: \newcommand {\ev} {{\bar0}}

381: \newcommand {\od} {{\bar1}}

382: \newcommand {\eps} {\varepsilon}

383: \newcommand {\degree}  {{}'}

384: \newcommand {\tto} {\longrightarrow}

385: \newcommand {\pder}[1] {{\frac{\partial}{\partial {#1}}}}

386: \newcommand {\pderf}[2] {{\frac{\partial {#1}}{\partial {#2}}}}

387: \newcommand {\pders}[1] {{\partial/\partial {#1}}}

388: \newcommand {\pderfs}[2] {{\partial {#1}/\partial {#2}}}

389: 

390: 

391: % ===========================================

392: %

393: %     Bold dots

394: %

395: % ===========================================

396: 

397: \newcommand {\bdot} [1] {{\bf{\dot{\mit #1}}}}    % bold \dot

398: \newcommand {\bddot}[1] {{\bf{\ddot{\mit #1}}}}   % bold \ddot

399: \newcommand {\bcdot}   {\mathbin{\hbox{\raise.4ex\hbox{\bf.}}}} % bold \cdot

400: 

401: 

402: % ===========================================

403: %

404: %     Left superscript

405: %

406: % ===========================================

407: 

408: \newcommand {\<} [2] {{\left.\vphantom{#2}\right.^{#1\!}\!{#2}}}

409: 

410: 

411: % ========================================

412: %

413: %     Marked arrows (for diagrams)

414: %

415: % ========================================

416: 

417: \newcommand {\tright}[1] {{\buildrel {#1} \over \longrightarrow}}

418: \newcommand {\tleft}[1]  {{\buildrel {#1} \over \longleftarrow}}

419: \newcommand {\ldown}[1]  {{\llap{\scriptsize $#1$}\Big\downarrow}}

420: \newcommand {\rdown}[1]  {{\Big\downarrow\rlap{\scriptsize $#1$}}}

421: \newcommand {\lup}[1]    {{\llap{\scriptsize $#1$}\Big\uparrow}}

422: \newcommand {\rup}[1]    {{\Big\uparrow\rlap{\scriptsize $#1$}}}

423: 

424: 

425: 

426: % ------- This allows usage of \qed in displayed formula -------

427: % Put \noqed before \end{pf} if you don't need \qed

428: 

429: \newcommand {\noqed}

430:  {\renewcommand {\qed} {}}

431: 

432: \newcommand {\secno} {}

433: \newcommand {\ssecfont} {\normalfont\bf}

434: 

435: \newtheorem{Theorem}{Theorem}[section]\toheight2

436: \newtheorem{Proposition}[Theorem]{Proposition}

437: \newtheorem{Lemma}[Theorem]{Lemma}

438: \newtheorem{Statement}[Theorem]{Statement}

439: \newtheorem{Corollary}[Theorem]{Corollary}

440: \newtheorem{Question}[Theorem]{Question}

441: \newtheorem{Problem}[Theorem]{Problem}

442: \newtheorem{Conjecture}[Theorem]{Conjecture}

443: 

444: \theoremstyle{definition}

445: \newtheorem{Example}[Theorem]{Example}

446: \newtheorem{Examples}[Theorem]{Examples}

447: \newtheorem{Convention}[Theorem]{Convention}

448: \newtheorem{Comment}[Theorem]{Comment}

449: 

450: \theoremstyle{remark}

451: \newtheorem{Remark}[Theorem]{Remark}

452: \newtheorem{Remarks}[Theorem]{Remarks}

453: \newtheorem{Excercise}[Theorem]{Excercise}

454: \newtheorem{Solution}[Theorem]{Solution}

455: \newtheorem{Hint}[Theorem]{Hint}

456: 

457: \let\ssec\subsection

458: 

459: %\setcounter{tocdepth}{1}

460: 

461: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

462: \begin{document}

463: 

464: \title{Sylvester-'t Hooft generators of $\fsl(n)$ and $\fsl(n|n)$, and relations between them}

465: 

466: \author{Christoph Sachse

467: \thanks{I am thankful to the International Max Planck Research School for financial support and most

468: creative environment and to Dimitry Leites for raising the problem.}}

469: 

470: \address{MPIMiS, Inselstr. 22, Leipzig D-04013,

471: Germany; sachse@mis.mpg.de}

472: 

473: 

474: 

475: \subjclass{17A70 (Primary) 17B01, 17B70 (Secondary)}

476: 

477: \keywords{Defining relations, Lie algebras, Lie superalgebras.}

478: 

479: \maketitle

480: 

481: 

482: 

483: \begin{abstract} Among the simple finite dimensional Lie algebras, only $\fsl(n)$ possesses two

484: automorphisms of finite order which have no common nonzero

485: eigenvector with eigenvalue one. It turns out that these

486: automorphisms are inner and form a pair of generators that allow one

487: to generate all of $\fsl(n)$ under bracketing. It seems that

488: Sylvester was the first to mention these generators, but he used

489: them as generators of the associative algebra of all $n\times n$

490: matrices $Mat(n)$. These generators

491: appear in the description of elliptic solutions of the

492: classical Yang-Baxter equation, orthogonal decompositions of

493: Lie algebras, 't Hooft's work on confinement operators in QCD, and various other instances.

494: Here I give an algorithm which both

495: generates $\fsl(n)$ and explicitly describes a set of defining

496: relations. For simple (up to center) Lie superalgebras, analogs of

497: Sylvester generators exist only for $\fsl(n|n)$. The relations for

498: this case are also computed.

499: \end{abstract}

500: 

501: \section{Introduction}

502: 

503: Dealing with a given Lie algebra $\fg$ and modules over it,

504: especially when $q$-quantizing, we need a convenient {\it

505: presentation} of $\fg$, i.e., a description in terms of generators

506: and defining relations. Obviously, the basis elements qualify as

507: generators, but there are too many of them. It is well-known

508: \cite{GL2} that

509: \begin{equation}\label{max}

510: %\renewcommand{\arraystretch}{1.4}

511: \begin{array}{l}

512: \text{{\sl For any nilpotent Lie algebra $\fn$, the natural set

513: of relations is}}\\

514: \text{{\sl  a basis of $\fn/[\fn, \fn]=H_1(\fn)$; relations

515: between these generators}}\\

516: \text{{\sl can be described in terms of the basis of $H_2(\fn)$.

517: }}

518: \end{array}

519: \end{equation}

520: A simple Lie (super)algebra $\fg$ (finite dimensional, Kac-Moody

521: or of polynomial vector fields) is conventionally split into the sum

522: $\fg=\fn_-\oplus\fh\oplus\fn_+$ of two maximal

523: nilpotent subalgebras $\fn_{\pm}$ (positive and negative) and the

524: commutative Cartan subalgebra; the corresponding generators are

525: called {\it Chevalley generators}; the relations between them are

526: also known, cf. \cite{GL3}, \cite{GLP}. They are numerous ($3n$

527: generators for a $\rank \,\, n$ algebra and $\sim n^2$ relations), but

528: these relations are simple and therefore convenient.

529: 

530: For comparison: for the simplest case, $\fgl(n)$, the matrix units

531: are obvious generators, and the relations between them are simple,

532: but far too numerous ($n^2$ generators and $\sim n^4$

533: relations).

534: 

535: Jacobson was, perhaps, the first to observe that every

536: simple finite dimensional Lie algebra can be generated by just a {\it pair} of

537: generators, but he did not specify his pairs, so no discussion of relations  was made.

538: Grozman and Leites \cite{GL1} introduced a

539: pair of generators associated with the

540: principal embedding of $\fsl(2)$, and the relations between them

541: are rather simple (at least, for computers). There are more

542: generators similar to those Grozman and Leites had chosen, but

543: experiments performed so far show that the ones Grozman and Leites

544: considered are most convenient, and are related to various applications

545: \cite{GL2}, \cite{LS}.

546: 

547: There are, however, certain pairs of generators indigenous only to

548: the $\fsl$ series, and only over an algebraically closed field, e.g. $\Cee$.

549: Below, we describe such a pair of generators

550: for $\fsl(n)$ and their analogs for $\fsl(n|n)$ and give relations between them.

551: 

552: Let $a=\exp{\left(\frac{2i\pi}{n}\right)}$ and define \emph{Sylvester's generators}

553: (also called {\it clock-and-shift or 't Hooft matrices}) to be

554: \begin{equation}

555: D=\mathrm{diag}(1,a,a^2,\ldots,a^{n-1}),\qquad

556: S=\begin{pmatrix}

557: 0&1 &0&0&0\cr

558: 0&\ddots&\ddots&\ddots&0\cr

559: 0&\ddots&\ddots&\ddots&0\cr

560: 0&\ddots&\ddots&\ddots&1\cr

561: 1&0&0&0&0

562: \end{pmatrix}

563: \label{sylv}

564: \end{equation}

565: 

566: Zachos \cite{Z1} points out that \\[1em]

567: \lq\lq {\sl apparently, Sylvester \cite{S} was the first to study

568: these (\ref{sylv}) generators\footnote{More precisely, Sylvester

569: used them as generators of an associative algebra, where they

570: yield the algebra of $n\times n$ matrices $\Mat(n)$. Having

571: replaced the dot product by the bracket we endow the space of

572: $\Mat(n)$ with the structure of the Lie algebra $\fgl(n)$; having

573: introduced parity in $\Mat(n)$ by attributing parity to each basis

574: vector (and hence to each row and column) and replacing the dot

575: product by the superbracket we endow the superspace of $\Mat(n;

576: \Par)$, where $\Par$ is an ordered collection of parities, with

577: the structure of the Lie superalgebra $\fgl(\Par)$. As generators

578: of a Lie algebra or Lie superalgebra, Sylvester's generators can

579: only generate $\fsl(n)$ and $\fsl(n|n)$, not $\fgl(n)$.} of

580: $\fsl(n)$; he worked them out for $\fsl(3)$ first, and called them

581: \lq\lq nonions" (after quaternions), and then generalized to

582: $\fsl(n)$.

583: 

584: They became popular in the 30s in the context of QM-around-the circle,

585: i.e., on a discrete periodic lattice of $N$ points, see \cite{W}.

586: That effort has continued to date, with the work of Schwinger,

587: Santhanam, Tolar, Floratos, and others.

588: 

589: They also became popular among high-energy theorists, with the

590: work of 't~Hooft \cite{tH}, on order-disorder confinement

591: operators in QCD, so that many in my end of the woods intriguingly

592: call them \lq\lq 't Hooft matrices".

593: 

594: I have been using them every few years, starting from \cite{FFZ}

595: to identify cases of a Sine-algebra we found at that time

596: with $\fsl(N)$, and also with the Moyal Bracket algebra

597: \cite{Moy} on a toroidal phase space; and hence take the $N\tto \infty$

598: limit

599: to get Poisson Brackets more directly than in Hoppe's first derivation

600: \cite{Ho} on a spherical phase space.

601: 

602: Our latest use of them was in our recent diversion, \cite{FZ}, on

603: ring-indexed Lie algebras. They are apparently the most systematic

604: basis for dealing with all $\fsl(N)$s on an equal footing and taking

605: naive $N\tto \infty$ limits.}"\\[1em]

606: 

607: For the passage from the notation of Zachos et al.

608: to ours, observe that, e.g. in \cite{FFZ}, the authors generate $\fgl(n)$ from

609: Sylvester's generators $D,S$ (\ref{sylv}) in the form

610: \[

611: J_{(m_1,m_2)}=a^{m_1m_2/2}D^{m_1}S^{m_2}

612: \]

613: which are $n^2$ independent matrices labelled by two integers $0\leq m_1,m_2<n$. Under the

614: bracket, the identity matrix $J_{(0,0)}$ spans the center. So dividing it out leaves

615: $\fsl(n)$ with the bracket

616: \[

617: [J_{(m_1,m_2)},J_{(k_1,k_2)}]=-2i\sin\left( \frac{2\pi}{n}(m_1k_2-m_2k_1) \right) J_{(m_1+k_1,m_2+k_2)}

618: \]

619: 

620: Another important

621: application of Sylvester's generators is the classical Yang-Baxter equation for a function taking

622: values in a simple Lie algebra $\fg$. It turns out \cite{BD1, BD2} that for this equation to

623: have elliptic solutions, $\fg$ has to possess two automorphisms

624: of finite order which have no common nonzero eigenvector with

625: eigenvalue 1. Sylvester's generators are such automorphisms for $\fg=\fsl(n)$;

626: in fact, \cite{BD1, BD2} prove that any $\fg$ possessing such automorphisms must

627: be isomorphic to $\fsl(n)$, and the elliptic solutions can

628: be characterised by the images of Sylvester's generators (\ref{sylv}) under this isomorphism.

629: Also, they play a vital role in the study of orthogonal

630: decompositions of Lie algebras \cite{KKU, KT, FOS}.

631: 

632: Finally, a more applied subject on which these generators have been used is

633: hydrodynamics and the statistical theory of turbulent fluids and gases, in particular,

634: the study of lattice models of inviscid fluids (Euler fluids), see, e.g., \cite{MWC},\cite{MW},\cite{Ze}.

635: 

636: The aim of this paper is to give an algorithm that generates $\fsl(n)$ and $\fsl(n|n)$ from

637: Sylvester's generators and which also produces a presentation for them. This presentation contains

638: redundancies, but might be of interest for practical problems since it allows quick and easy

639: computations in the adjoint representation. The main statements are the following ones.

640: 

641: \begin{Theorem}

642: Fix an integer $n\geq 2$. Then the matrices (\ref{sylv}) are generators for $\fsl(n)$:

643: \begin{equation}

644: \mathfrak{sl}(n)=Span(D,S,T_m^k\mid 1\leq k,m \leq n, \,\,\mathrm{and}\,\,k\neq n\,\,%

645: \mathrm{for}\,\,m=1,n,\,\,\mathrm{and}\,\,k\neq 1\,\,\mathrm{for}\,\,m=n),

646: \label{spansl}

647: \end{equation}

648: where for $1\leq k,m\leq n$, we set

649: \begin{eqnarray*}

650: T_m^k &=& (\ad\,D)^{k-1}((\ad\,S)^{m-1}((\ad\,D(S))),\\

651: T_n^k &=& \ad\,S(T_{n-1}^k).

652: \end{eqnarray*}

653: A defining set of relations for generators (\ref{sylv}) can be

654: obtained in the following way. The relations

655: \begin{eqnarray}

656: \label{rel1}

657: (\ad D)^n(S) &=& (1-a)^n S,\\

658: \label{rel2}

659: (\ad D)^{n}((\ad S)^{m-1}(\ad D(S))) &=& (1-a)^m(1-a^m)^n(-1)^{m+1}(\ad S)^{m-1}(\ad D(S))\\

660: \label{rel3}

661: \ad S(T_{n-1}^1) &=& (1-a)^n(-1)^{n}D,\\

662: \label{rel4}

663: \ad S(T_{n-1}^n) &=& 0,\\

664: \label{rel5}

665: \ad S(T_n^k) &=& (-1)^n(1-a^k)^2(1-a^{n-1})^{k-1}(1-a)^{n-k}T_1^k,\\

666: \label{rel6}

667: \ad D(T_n^k) &=& 0

668: \end{eqnarray}

669: prohibit generation of elements of order higher than $n$ in both

670: $D$ and $S$. Besides them, for each $T_m^k$ with $2\leq m\leq

671: n-1$, except for $T_2^2$, $m-1$ relations have to hold, which can

672: be written as

673: \[

674: (\ad\,S)^{s_1}((\ad\,D)^{k-1}((\ad\,S)^{s_2}(T_1^1)))=\left(\frac{1-a^k}{1-a}\right)^{s_1}%

675: \left(\frac{1-a^{s_1}}{1-a^{m-1}}\right)^{k-1}T^k_m,

676: \]

677: where $s_1+s_2=m-1$ and $s_1=1,2, \ldots, m-1$. \label{main1}

678: \end{Theorem}

679: 

680: \begin{Theorem}

681: Considered as $2n\times 2n$ supermatrices on a superspace with an

682: alternating format (even, odd, even, odd, ...), (\ref{sylv}) are

683: generators for $\fsl(n|n)$:

684: \[

685: \mathfrak{sl}(n|n)=Span(D,S,T_m^k\mid 1\leq k,m \leq 2n, \,\,\mathrm{and}\,\,k\neq 2n\,\,%

686: \mathrm{for}\,\,m=1\,\,\mathrm{and}\,\,k\neq 1\,\,\mathrm{for}\,\,m=2n)

687: \]

688: with the same definition of $T_m^k$ as in Thm. (\ref{main1}).

689: A defining set of relations in this case are

690: (\ref{srel1})-(\ref{srel5}) and $m-1$ relations for each $T_m^k$ with $2\leq m\leq 2n-1$.

691: These can be written as

692: \[

693: (\ad\,S)^{s_1}(T^k_{s_2+1})=\begin{cases}

694: (-1)^{s_1}(a^{2k}-1)^{\frac{s_1-1}{2}}\frac{(a^k+1)}{1-a}\left(\frac{1-a^{s_1}}{1-a^{m-1}}\right)^{k-1}%

695: \left(-\frac{1-a}{1+a}\right)^{\frac{s_1-1}{2}}\tilde{T}_m^k & \text{for $s_1$ odd and}\\

696: & \text{$s_2$ even,}\\

697: (-1)^{s_1}(a^{2k}-1)^{\frac{s_1-1}{2}}\frac{(a^k-1)}{1-a}\left(\frac{1-a^{s_1}}{1-a^{m-1}}\right)^{k-1}%

698: \left(-\frac{1-a}{1+a}\right)^{\frac{s_1-1}{2}}\tilde{T}_m^k & \text{for $s_1,s_2$ odd, or}\\

699: (-1)^{s_1}\frac{(a^{2k}-1)^{s_1/2}}{1-a}\left(\frac{1-a^{s_1}}{1-a^{m-1}}\right)^{k-1}%

700: \left(-\frac{1-a}{1+a}\right)^{s_1/2}\tilde{T}_m^k & \text{for $s_1,s_2$ even,}\\

701: & \!\!\!\!\!\text{or $s_1$ even, $s_2$ odd,}

702: \end{cases}

703: \]

704: where again $s_1+s_2=m-1$ and $s_1=1,2,\ldots,m-1$.

705: \label{main2}

706: \end{Theorem}

707: 

708: In the following we show why the set of relations indicated in

709: Thms. (\ref{main1}), (\ref{main2}) is a defining set. This will

710: then automatically also deliver an upper bound on the number of

711: independent relations for Sylvesters's generators.

712: 

713: 

714: \section{Relations between Sylvester's generators for $\fsl(n)$}

715: 

716: Setting

717: \[

718: T_1^k:=(\ad D)^k(S)\qquad\mathrm{for}\quad k=1,\ldots,n-1

719: \]

720: we obtain the matrices

721: \[

722: T_1^k=(1-a)^{k}\left(\begin{array}{ccccc}

723: 0 & 1 & 0 & \ldots & 0\\

724: 0 & 0 & a^k & \ldots & 0\\

725: \vdots\\

726: 0 & 0 & \ldots & \ldots & a^{k(n-2)}\\

727: a^{k(n-1)} & 0 & \ldots & 0 & 0

728: \end{array}\right)

729: \]

730: which are, clearly, all linearly independent. For $k=n$, we get

731: the relation (\ref{rel1}). Proceeding likewise, we generate a

732: basis for $\mathfrak{sl}(n)$. We set

733: \[

734: T_m^k=(\ad D)^{k-1}((\ad S)^{m-1}(T_1^1))=(\ad D)^{k-1}((\ad\,S)^{m-1}((\ad\,D(S)))

735: \]

736: where $m=1,\ldots,n-1$ and $k=1,\ldots,n$. In matrix form,

737: \[

738: T_m^k=(1-a)^m(1-a^m)^{k-1}(-1)^{m+1}\left(\begin{array}{cccccccc}

739: 0 & \ldots & 0 & 1 & 0 & \ldots & \ldots & 0\\

740: 0 & \ldots & 0 & 0 & a^k & 0 & \ldots & 0\\

741: \vdots & \vdots &&&&&  & \vdots\\

742: 0 & \ldots &&&&&  & a^{k(n-m-1)}\\

743: a^{k(n-m)} & 0 & \ldots &&&& \ldots & 0\\

744: \vdots &&&&&&& \vdots\\

745: 0 & \ldots & a^{k(n-1)} & 0 & \ldots && \ldots & 0

746: \end{array}\right)

747: \]

748: These are all the non-diagonal matrices needed for a basis of

749: $\mathfrak{sl}(n)$. Their linear independence is easily checked.

750: We also immediately read off the relation (\ref{rel2}) for $k=n+1$.

751: 

752: It remains to generate $n-2$ diagonal matrices, which we do as

753: follows:

754: \[

755: T_n^k=\ad S(T_{n-1}^k)=\ad S((\ad D)^{k-1}((\ad S)^{n-2}(\ad

756: D(S)))),

757: \]

758: where $k=2,\ldots,n-1$, and we obtain the relations (\ref{rel3})-(\ref{rel6}).

759: 

760: Since we have obtained $n^2-1$ linearly independent matrices, we

761: have found a basis for $\mathfrak{sl}(n)$, see (\ref{spansl}). One

762: might, however, wish to describe $\mathfrak{sl}(n)$ as the

763: quotient of the free Lie algebra generated by the two Sylvester

764: generators modulo certain defining relations. Since we know that

765: the matrices $T_m^k$ span $\mathfrak{sl}(n)$, we know that any

766: commutator of them must yield a relation. The relations stated

767: above are merely those ones that are first encountered when we

768: proceed through our chosen algorithm for the generation of the

769: basis of $\mathfrak{sl}(n)$.  To find out the number and an

770: explicit realization of the minimal defining relations turns out

771: to be quite a tough job, despite the seeming simplicity of the

772: problem. P.~ Grozman was able to find those minimal relations for

773: $n=2,3,4$:

774: \begin{equation}\label{grrel}

775: \renewcommand{\arraystretch}{1.3}

776: \begin{array}{l}

777: \underline{n=2}: \;(\ad\,S)^2(D)=4D,\quad (\ad\,D)^2S=4S;\\

778: \underline{n=3}: \;(\ad\,S)^3(D)=-3(a-a^2)D,\quad (\ad\,D)^3(S)=3(a-a^2)S;\quad

779: [T^1_2, T^2_1]=0;\\

780: \underline{n=4}: \; (\ad\,S)^4(D)=-4D,\quad (\ad\,D)^4(S)=-4S,\quad [T_1^1, T^1_2]=[D,T^1_3],\\

781: \quad [T_1^1,[T^1_2, T^1_3]]=-4T^2_1,\quad [T_1^3, T_3^1]=0,\quad%

782: 2[T^1_2, T^3_1]=[T^2_1, [D,T^1_2]],\\

783: \quad 2[T^2_1, T^1_3]=[T^1_2, [S, T_1^2]], T^2_1]=[S,T^3_1]\quad

784: [T^2_1, T^3_1]=4T^1_2.

785: \end{array}

786: \end{equation}

787: with the help of {\it Mathematica} and his {\bf SuperLie} package \cite{Gr}, but did not succeed to

788: deduce from (\ref{grrel}) a

789: general formula. On the other hand, neither the number nor an

790: explicit form of the \emph{minimal} set of relations is of great practical

791: importance when working with these generators. Rather one would

792: like to have, e.g., formulae that describe the action of arbitrary

793: products of  the elements of $\mathfrak{sl}(n)$

794: in the adjoint representation. Such formulae will be given below and,

795: additionally, a set of relations offered which

796: contains redundancies, but which allows immediate reduction of an arbitrary expression of

797: the form (with the $X_i$ and $Y$ being arbitrary elements of $\fsl(n)$)

798: \[

799: \ad\,X_1(\ad\,X_2(\ldots(\ad\,X_q(Y))\ldots))

800: \]

801: to a linear combination of the basis elements produced by our algorithm.

802: 

803: By explicit calculation one first verifies that

804: \[

805: [T_m^k,T_{m'}^{k'}]=\frac{(1-a^m)^{k-1}(1-a^{m'})^{k'-1}}{(1-a^{m+m'})^{k+k'-1}}(a^{k'm'}-1)T^{k+k'}_{m+m'}

806: \]

807: for any of the $T_m^k,T_{m'}^{k'}$ defined above. Hereafter, $k+k'$ and $m+m'$

808: have to be understood $\mathrm{mod}\,\, n$. This directly shows the following statement.

809: 

810: \begin{Lemma} The result of the application of an arbitrary product of elements in the adjoint

811: representation to a $T_m^k$ depends \emph{up to a factor} only on the number of $S$'s and $D$'s

812: contained in these operators. That is,

813: \begin{equation}

814: \ad \,X_1(\ad\, X_2(\cdots\ad\, X_N (T_m^k))\cdots) = C(k,k',m,m',n)T_{m+m'}^{k+k'}

815: \label{lem1_stat}

816: \end{equation}

817: where $m_i$ and $k_i$ is the number of $S$'s and $D$'s, respectively, contained in $X_i$,

818: \[

819: m'=\sum_i m_i,\qquad k'=\sum_i k_i,

820: \]

821: and $C(k,k',m,m',n)$ is a constant depending on all the indices.

822: \label{lem1}

823: \end{Lemma}

824: 

825: Therefore we conclude that it suffices to check only relations between elements which are at most of

826: degree $n$ in both $S$'s and $D$'s. If we know all relations of this type, then any relation of a

827: higher degree will follow from these and (\ref{rel1})-(\ref{rel6}).

828: 

829: In order to find these relations, it is most convenient to visualise the generated basis as

830: a grid of points.

831: \begin{figure}

832: \begin{center}

833: \includegraphics{pathexample.eps}

834: \caption{The two paths that generate $T_2^2$ in $\mathfrak{sl}(3)$}

835: \label{fig2p}

836: \end{center}

837: \end{figure}

838: Fig. \ref{fig2p} shows the basis of $\mathfrak{sl}(3)$, starting from $D$ and $S$ in the upper

839: left corner. Below them is $T_1^1=[D,S]$. The other solid points are those that we generate with our algorithm by

840: going only horizontally on each level, and vertically only along the left edge. The white points

841: are those which are ruled out by the relations (\ref{rel1})-(\ref{rel6}), i.e., they do not represent

842: basis elements of $\mathfrak{sl}(3)$. Now, an arbitrary product of $r$-many $(\ad D)$'s and

843: $s$-many $(\ad S)$'s applied to

844: $T_1^1$ corresponds to a path on the grid starting at $T_1^1$ and reaching $T_{s+1}^{r+1}$,

845: but one which will in general

846: only produce a matrix proportional to $T_{s+1}^{r+1}$, with a factor $\neq 1$. A horizontal step of the

847: path

848: describes the action of $\ad\,D$, a vertical one the action of $\ad\,S$. In the picture, the

849: solid line shows the way our algorithm went to generate $T_2^2$, while the dotted lines show the

850: alternative path, i.e.,

851: \begin{eqnarray}

852: \textrm{solid line}\qquad & \Leftrightarrow & \quad\ad D(\ad S(\ad D(S))) \label{path1}\\

853: \textrm{dotted line}\qquad & \Leftrightarrow & \quad\ad S((\ad D)^2(S)) \label{path2}

854: \end{eqnarray}

855: It is clear that any expression we have to examine can be expressed as a path from $T_1^1$ to some

856: admissible $T_m^k$ which only moves right and downwards (compare to Fig. 1). In general, there are

857: \[

858: \left(\begin{array}{c}

859: m+k-2\\

860: k

861: \end{array}\right)\qquad\textrm{paths from}\,\, T_1^1\,\,\mathrm{to}\,\,T_m^k

862: \]

863: However, we can rule out some of these. The algorithm always uses paths which run through all

864: vertical steps first, then through all horizontal ones (called the algorithm path in what follows).

865: A relation is obtained by running through

866: any different path and comparing the result to what the algorithm path would have produced at this vertex.

867: \begin{Proposition} For a path ending at $T_s^r$ to yield an independent relation, it has to

868: \begin{itemize}

869: \item end with a vertical step if $s<n$,

870: \item end with a

871: horizontal step if $s=n$.

872: \end{itemize}

873: \label{prop1}

874: \end{Proposition}

875: \begin{proof}

876: Look at the $s<n$ case first.

877: We know that at the vertex where the last vertical step ends, we will have produced a matrix

878: proportional to the one that the algorithm path would have produced there (cf. Lemma \ref{lem1}).

879: Thus, at this vertex we obtain a relation.

880: But if it is followed by horizontal steps, these will then trivially also yield matrices proportional

881: to those that the algorithm would have produced. Thus, the relations we can read off at these vertices

882: are generated from the one obtained at the end of the last vertical step.

883: 

884: An analogous argument holds for $s=n$, except that at the last step of the algorithm there is a vertical

885: step, so a path producing an independent relation cannot have a vertical step at its end.

886: \end{proof}

887: 

888: \begin{Corollary}

889: Apart from those vertical steps which lie on the left edge of the grid,

890: a path that leads to $T_s^r$ and yields an independent relation for $s<n$ must contain all other

891: vertical steps at its end. For $s=n$, the only path yielding a nontrivial relation is the algorithm

892: path to $T_n^{r-1}$ followed by a horizontal step.

893: \label{cor1}

894: \end{Corollary}

895: \begin{proof}

896: As a counterexample for the $s<n$ case, consider Fig. \ref{dstep}.\\

897: \begin{figure}[!ht]

898: \begin{center}

899: \includegraphics{doublestep.eps}

900: \caption{Example of a path ruled out by Corollary \ref{cor1}}

901: \label{dstep}

902: \end{center}

903: \end{figure}

904: \newline

905: Up to vertex $a$, it follows the algorithm path, then going to $b$ will yield a relation. But

906: proceeding further horizontally after $b$ yields only dependent relations, as seen before.

907: 

908: In the $s=n$ case, we have seen in Lemma \ref{lem1} that the last step of a path yielding a relation

909: must be horizontal. Since going a horizontal step in the $n$-th row always gives zero

910: (cf. (\ref{rel6})), a

911: nontrivial path can only have exactly one horizontal piece at its end. So the second last step is

912: always the last step of the algorithm to $T_n^{r-1}$, and therefore any other path leading to

913: $T_n^{r-1}$ followed by a horizontal step would trivially yield a result proportional to what the

914: algorithm path followed by the horizontal step gives. The relations so obtained are precisely those of

915: (\ref{rel6})

916: \end{proof}

917: 

918: This reduces the number of possibly independent relations considerably: for any vertex $T_m^k$ with $m<n$,

919: there can now

920: be at most $m-1$ independent relations, which result from the paths leading there and having

921: between zero and $m-1$ vertical steps at their ends. For $T_n^k$, there can only be one

922: relation.  Among the relations thus obtained,

923: there will still be redundancies, which are not obvious at first glance. To reveal them, one has to

924: apply the Jacobi identity and other relations one has already obtained. As an example, look at

925: $T_2^2$ in $\mathfrak{sl}(n)$ for $n\geq 3$. Two paths lead there, described in (\ref{path1})

926: and (\ref{path2}). Since they are both admissible in the sense of Proposition \ref{prop1}, one might

927: think that we obtain a relation here between $T_2^2$ generated by the algorithm and

928: the result of another path. However,

929: \[

930: \ad D(\ad S(\ad D(S)))=\ad S((\ad D)^2(S))+\ad(\ad D\,(S))(\ad D(S))

931: \]

932: due to the Jacobi identity and the last term is of the form $\ad z(z)\equiv 0$.

933: Therefore, the two paths \emph{trivially} yield the same result, and we obtain no relation here.

934: We will show now that there are no other interdependencies of this sort

935: except the above one for $T_2^2$.\\

936: \begin{Lemma}

937: It is impossible to trivially identify the result of two paths to a given $T_s^r$

938: by rearranging them using the Jacobi identity, except for the case $r=s=2$, where we have

939: \[

940: \ad D(\ad S(\ad D(S)))=\ad S((\ad D)^2(S))

941: \]

942: \label{comml}

943: \end{Lemma}

944: \begin{proof}

945: Any admissible path in the sense of Lemma \ref{lem1} and its corollary is of the form

946: \begin{equation}

947: T_s^r=(\ad\,S)^{s_2}((\ad\,D)^{r-1}((\ad\,S)^{s_1}(T_1^1)))

948: \label{path}

949: \end{equation}

950: where $s_1+s_2=s-1$. For $s_2=0$, we obtain the algorithm path.

951: In order to show that two paths give the same result, we want to apply the Jacobi identity

952: \[

953: \ad(\ad\,x\,\,(y))z=\ad\,x\,(\ad\,y\,\,(z))-\ad\,y\,(\ad\,x\,\,(z))

954: \]

955: in such a way that the left hand side of it becomes zero, i.e. is of the form

956: $\ad\,z(z)$. This would rule out one of the relations these paths produce. We see

957: immediately that for this to happen for adjoint operators $x,y,z$, the element $z$

958: would have to contain as

959: many $D$'s and $S$'s as $x$ and $y$ together. Looking at (\ref{path}), which we would like to

960: identify with $\ad\,x\,(\ad\,y\,\,(z))$, this implies $r=s$. We have to split (\ref{path}) in two

961: equally long subpaths, the head (including $T_1^1$) being $z$ and the tail being $\ad\,x\,(\ad\,(y))$ and

962: each containing $\frac{s}{2}$-many $D$'s and $S$'s, implying $s$ must be even.

963: 

964: For the case $r=s=2$, we find that $z=T_1^1$, $x=\ad\,S$ and $y=\ad\,D$ meet these requirements.

965: 

966: Let now $r=s=2n$, $n>1$ and let $x,y,z$ satisfy the above conditions.

967: Then $z$ represents the path of the algorithm to

968: $T_{s/2}^{s/2}$ and $\ad\,x(\ad\,y)$ is of the form $(\ad\,S)^{s/2}((\ad\,D)^{s/2})$. But we

969: see that it is impossible then to find $x,y$ such that $\ad\,y((\ad\,x)(z))$ would again be an

970: admissible path.

971: \end{proof}

972: 

973: It is important to note that this still does not exclude all possible dependencies between the

974: relations that various admissible paths yield. By clever rearrangement, it might still be possible

975: to bring a bracket of two elements into a form which, when expanded into paths, yields only a few admissible

976: paths and several others which run over already excluded pieces. We could find no way to rule out

977: all such possibilities. This seems only possible with the help of computers.

978: But, as stated above, the minimal number might not be of practical interest. The preceding discussion

979: still gives us an upper bound on the number of relations.\\

980: \begin{Theorem}

981: The number $R(n)$ of independent relations between Sylvester's generators is

982: bounded from above by:

983: \[

984: R(n)\leq\begin{cases}

985: 2 & \mathrm{for}\,\,n=2,\\

986: n^2-3 & \mathrm{for}\,\,n\geq 3.

987: \end{cases}

988: \]

989: \end{Theorem}

990: \begin{proof}

991: \underline{$n=2$:}

992: See Fig. \ref{n2fig} for the diagram.

993: \begin{figure}[!ht]

994: \begin{center}

995: \includegraphics{n2grid.eps}

996: \caption{The grid of basis elements for $\mathfrak{sl}(2)$}

997: \label{n2fig}

998: \end{center}

999: \end{figure}

1000: \newline

1001: The white dots are ruled out by the relations stated in the beginning, however the dot in the

1002: lower right corner is not independent here. Thus, the only relations are

1003: $$

1004: (\ad D)^2(S)=4S,\qquad

1005: (\ad S)^2(D)=4D.

1006: $$

1007: which was also Grozman's result (\ref{grrel}).\\

1008: \underline{$n\geq 3$:}

1009: As an example for the generic case, look at the $n=5$ grid (Fig. \ref{n5fig}).

1010: \begin{figure}[!ht]

1011: \begin{center}

1012: \includegraphics{n5grid.eps}

1013: \caption{The grid of basis elements for $\mathfrak{sl}(5)$}

1014: \label{n5fig}

1015: \end{center}

1016: \end{figure}

1017: \newline

1018: We get here the following relations:

1019: \begin{itemize}

1020: \item 2 relations for the $n$-th powers of $\ad D$ and $\ad S$,

1021: \item $(n-2)$ relations that limit the application of $\ad\,D$ (the rightmost white dots),

1022: \item $(n-2)$ relations that limit the application of $\ad\,S$ (lowermost white dots),

1023: \item 1 relation corresponding to relation (\ref{rel4}) (white dot in the lower right corner),

1024: \item $(n-3)$ relations for the vertical paths from the first to the second row,

1025: \item $(n-3)(n-1)$ relations for the vertical paths between the second and third row, third and

1026: fourth row and so on down to the $(n-1)$st row,

1027: \item $(n-2)$ relations for the horizontal paths in the $n$-th row.

1028: \end{itemize}

1029: This makes a total of $n^2-3$ relations. Lemma \ref{lem1} and its corollary exclude the possibility

1030: that one of them is obtained by another by application of $\ad\,D$ or $\ad\,S$. Lemma \ref{comml}

1031: shows that none of them is a consequence of another via a rearrangement using the Jacobi identity.

1032: \end{proof}

1033: 

1034: We see that even for $n=3$, the bound overestimates the exact number of relations. However, the

1035: number of relations found in the above manner is only of order $\sim n^2$, which can be expected to lie

1036: pretty close to the true behaviour of $R(n)$ so that the relative error will decrease for

1037: growing $n$. But the main advantage of our method is that it

1038: explicitly produces a \emph{presentation} (albeit a redundant one): all relations can be directly read

1039: off from the grid representation of the basis of $\fsl(n)$.

1040: 

1041: \section{Relations between Sylvester's generators for $\fsl(n|n)$}

1042: 

1043: Sylvester's generators can as well be used to generate a basis of $\fsl(n|n)$, and only for this

1044: simple (up to a nontrivial center) finite dimensional Lie superalgebra, see \cite{LSe}. It is

1045: most convenient to choose an alternating format for the superspace in which we express

1046: the supermatrices, i.e., if $(e_1,e_2,\ldots,e_n)$ is a basis of this vector space, let the $e_{2k+1}$

1047: be

1048: odd vectors and the $e_{2k}$ be even ones for all $k$. This format has the advantage that we can use

1049: the same matrices $D,S$ as above as Sylvester's generators, where now $D$ is an even supermatrix and

1050: $S$ an odd one. The result obtained below remains valid in any format, but looks nicest in the chosen one.

1051: To be able to compare the matrices obtained for the $\fsl(n)$ and $\fsl(n|n)$ cases, we put a twiddle

1052: on the supermatrices: $\tilde{D},\tilde{S}$.

1053: 

1054: As above, set

1055: \[

1056: \tilde{T}_1^1=[\tilde{D},\tilde{S}]

1057: \]

1058: which is now an odd supermatrix, but with the same entries as in the $\fsl(n)$ case. Likewise,

1059: \[

1060: \tilde{T}_1^k=(\ad\,\tilde{D})^{k-1}(\tilde{T}_1^1)

1061: \]

1062: are all odd supermatrices, but look the same as in the $\fsl(n)$ case, and we find the analogue of relation

1063: (\ref{rel1}) to be

1064: \begin{equation}

1065: (\ad\, \tilde{D})^{2n}(\tilde{S})=(1-a)^{2n}\tilde{S}.

1066: \label{srel1}

1067: \end{equation}

1068: We follow the same algorithm as in the $\fsl(n)$ case, now using the superbracket: set

1069: \[

1070: \tilde{T}_2^1=[\tilde{S},[\tilde{D},\tilde{S}]]=[\tilde{S},\tilde{T}_1^1]

1071: \]

1072: which is the same matrix as in the $\fsl(n)$ case, except for the prefactor, which is now $(1-a^2)$

1073: instead of $-(1-a)^2$. In general, for $k=1,\ldots,2n;\,\,m=1,\ldots,2n-2$,  we have

1074: \begin{eqnarray*}

1075: (\ad\,\tilde{D})^{k-1}([\tilde{D},\tilde{S}]) &=& \tilde{T}^k_1 = T^k_1\qquad\mathrm{for}\quad %

1076: k=1,\ldots,2n-1\\

1077: (\ad\,\tilde{D})^{k-1}((\ad\,S)(\tilde{T}^1_m)) &=& \tilde{T}^k_{m+1} = %

1078: \left\{\begin{array}{ll}

1079: -\left(-\frac{1+a}{1-a}\right)^{\frac{m+1}{2}}T^k_{m+1} & \mathrm{for}\,\,m\,\,\mathrm{odd}\\

1080: -\left(-\frac{1+a}{1-a}\right)^{\frac{m}{2}}T^k_{m+1} & \mathrm{for}\,\,m\,\,\mathrm{even}

1081: \end{array}\right.\\

1082: \end{eqnarray*}

1083: so $\tilde{T}^k_m$ is proportional to $T^k_m$. The $(1+a)$-factors stem from the

1084: application of anticommutators. One obtains the analogue of the

1085: relations (\ref{rel2}) for $k=2n+1$ and $2\leq m \leq 2n-1$:

1086: \begin{equation}

1087: (\ad \tilde{D})^{2n}((\ad \tilde{S})^{m-1}((\ad \tilde{D})(\tilde{S})))=%

1088: \left(-\frac{1+a}{1-a}\right)^{\frac{m(+1)}{2}}(1-a^m)^{2n}(-1)^{m}%

1089: (\ad \tilde{S})^{m-1}(\ad\,\tilde{D}(\tilde{S})).

1090: \label{srel2}

1091: \end{equation}

1092: For the diagonal basis elements, we set

1093: \[

1094: \tilde{T}_n^{k}=\ad\,\tilde{S}(\tilde{T}_{n-1}^k)\qquad\mathrm{for}\quad 2\leq k\leq n

1095: \]

1096: and obtain the following relations:

1097: \begin{eqnarray}

1098: \label{srel3}

1099: \ad\, \tilde{S}(\tilde{T}_{n-1}^1) &=& \left(-\frac{1+a}{1-a}\right)^n(-1)^{n+1} \tilde{D},\\

1100: \label{srel4}

1101: \ad\,\tilde{S}(\tilde{T}_n^k) &=& %

1102: \left(-\frac{1+a}{1-a}\right)^{n-1}(1-a)(a^{2k}-1)(1-a^{2n-1})^{k-1}(-1)^{n}\tilde{T}_1^k.

1103: \end{eqnarray}

1104: Note that $\tilde{T}^{2n}_{2n}$ is not zero here, but is proportional to the identity matrix. On any

1105: $(n|n)$-dimensional superspace, the identity matrix is supertraceless, and therefore an element of $\fsl(n|n)$.

1106: Thus, no relation corresponds to (\ref{rel4}) in the super case.

1107: 

1108: We have to add one more relation, which did not exist in the non-super case: the supercommutator of

1109: $\tilde{S}$ with itself:

1110: \begin{equation}

1111: [\tilde{S},\tilde{S}]=\frac{1}{(1+a)(1-a)^{2n-1}}\tilde{T}^{2n}_2\qquad\text{for $n>1$.}

1112: \label{srel5}

1113: \end{equation}

1114: For $n=1$, this is not a relation, but really generates a new element, see Thm.

1115: (\ref{superthm}).

1116: 

1117: Thinking of the set of basis elements again as a grid of points, we see that we have found relations of the

1118: same sort as in the $\fsl(n)$ case, with one exception: there is one more element, the one proportional

1119: to the identity matrix, represented by the rightmost dot in the last row.

1120: 

1121: One can again verify by explicit calculation that $[\tilde{T}^k_m,\tilde{T}^{k'}_{m'}]$ is proportional

1122: to $\tilde{T}^{k+k'}_{m+m'}$. This extends the validity of Lemma \ref{lem1} to the super case.

1123: To find a bound for the number of relations again reduces to checking all paths from $\tilde{T}_1^1$

1124: to the other $\tilde{T}_m^k$'s. This is done in the same way as before, it is clear that our algorithm

1125: proceeds on the same paths as in the $\fsl(n)$ case and that Prop. \ref{prop1} and Cor. \ref{cor1} also

1126: apply in the super case.

1127: 

1128: Also Lemma \ref{comml} generalises to the super case, now using the super Jacobi identity. But here we have

1129: to be careful about a specialty of the super case: supercommutators of elements with themselves do not

1130: necessarily vanish. Consider, for example, $\tilde{T}_2^2$:

1131: \begin{equation}

1132: \ad\,\tilde{D}(\ad\,\tilde{S}(\ad\,\tilde{D}\,(\tilde{S})))=%

1133: -\ad(\ad\,\tilde{S}(\tilde{D}))(\ad\,\tilde{D}(\tilde{S}))-\ad\,\tilde{S}((\ad\,\tilde{D})^2(\tilde{S})).

1134: \end{equation}

1135: Here, the first term on the right hand side does not vanish. Therefore the relation between the two paths

1136: to $\tilde{T}_2^2$ that we ruled out as being trivial in the $\fsl(n)$ case is nontrivial in the super

1137: case. Except for this fact, Lemma \ref{comml} remains valid.

1138: 

1139: \begin{Theorem}

1140: For $\fsl(n|n)$, the number $R(n)$ of independent relations between Sylvester's generators is bounded by

1141: \begin{equation}

1142: R(n)\leq\begin{cases}

1143: 4 & \text{for $n=1$,}\\

1144: (2n)^2-1 & \text{for $n>1$.}

1145: \end{cases}

1146: \end{equation}

1147: \label{superthm}

1148: \end{Theorem}

1149: \begin{proof}

1150: The $n=1$ case differs from the $\fsl(2)$ case because of the relation

1151: \[

1152: [\tilde{S},\tilde{S}]=2\cdot\One,

1153: \]

1154: where $\One$ is the identity matrix.

1155: \begin{figure}[!ht]

1156: \begin{center}

1157: \includegraphics{n1_1grid.eps}

1158: \caption{The grid of basis elements of $\fsl(1|1)$}

1159: \label{fig11}

1160: \end{center}

1161: \end{figure}

1162: The basis elements of $\fsl(1|1)$ can be represented by the grid in

1163: Fig \ref{fig11}.

1164: There are four relations:

1165: \begin{eqnarray}

1166: [\tilde{D},[\tilde{D},\tilde{S}]] &=& 4\tilde{S}\\

1167: {}[\tilde{S},[\tilde{D},\tilde{S}]] &=& 0\\

1168: {}[\tilde{D},[\tilde{S},\tilde{S}]] &=& 0\\

1169: {}[\tilde{S},[\tilde{S},\tilde{S}]] &=& 0

1170: \end{eqnarray}

1171: 

1172: \begin{figure}[!ht]

1173: \begin{center}

1174: \includegraphics{n2_2grid.eps}

1175: \caption{The grid of basis elements of $\fsl(2|2)$}

1176: \label{fig22}

1177: \end{center}

1178: \end{figure}

1179: For $n>1$, the grid looks like in Fig. \ref{fig22}.

1180: Note that now there is one more black dot in the lower right corner which we generate from the dot above

1181: it. This provides one more relation. Another additional relation is obtained from the two paths to

1182: $\tilde{T}_2^2$, which are now independent. Apart from this, the situation is identical to the non-super

1183: case.

1184: \end{proof}

1185: 

1186: \vspace{2cm}

1187: 

1188: \begin{thebibliography}{9999}

1189: 

1190: \bibitem[BD1]{BD1}

1191: Belavin, A. A.; Drinfeld, V. G., \emph{Solutions of the classical

1192: Yang-Baxter equation for simple Lie algebras} (Russian),

1193: Funktsional. Anal. i Prilozhen. 16 (1982), no. 3, 1--29, 96.

1194: English translation: Functional Anal. Appl. 16 (1982), no. 3,

1195: 159--180 (1983)

1196: 

1197: \bibitem[BD2]{BD2}

1198: Belavin, A. A.; Drinfeld, V. G. {\em Triangle equations and simple

1199: Lie algebras}. Classic Reviews in Mathematics and Mathematical

1200: Physics, 1. Harwood Academic Publishers, Amsterdam, 1998. viii+91

1201: pp.

1202: 

1203: \bibitem[FFZ]{FFZ}

1204: D. Fairlie, P. Fletcher, C. Zachos, \emph{Trigonometric structure constants

1205: for new infinite algebras}, Phys. Lett. B 218 (1989) 203-207;

1206: D. Fairlie, C. Zachos, Phys. Lett. B 224 (1989) 101-111., \emph{Infinite

1207: dimensional algebras and a trigonometric basis for the Classical

1208: Lie Algebras}, J.Math.Phys.31:1088-1094,1990

1209: 

1210: \bibitem[FZ]{FZ}

1211: D. Fairlie, C.  Zachos, \emph{Vertex Ring-Indexed Lie Algebras},

1212: Phys. Lett. B 620 (2005) 195-199; hep-th/0505053

1213: 

1214: 

1215: \bibitem[FOS]{FOS}

1216: L.A. Ferreira, D.I. Olive, M.V. Saveliev, \emph{Orthogonal Decomposition

1217: of Some Affine Lie Algebras in Terms of their Heisenberg

1218: Subalgebras}, Theor.Math.Phys. 102 (1995) 10--22; Teor.Mat.Fiz.

1219: 102, no 1 (1995) 17--31; hep-th/9411036

1220: 

1221: \bibitem[Gr]{Gr}

1222: Grozman P., {\bf SuperLie},

1223: \texttt{http://www.equaonline.com/math/SuperLie}

1224: 

1225: 

1226: \bibitem[GL1]{GL1}

1227: Grozman P., Leites D., \emph{Defining relations associated with the

1228: principal $\mathfrak{sl}(2)$-subalgebras},  in: Dobrushin R.,

1229: Minlos R., Shubin M. and Vershik A. (eds.)  {\em Contemporary

1230: Mathematical Physics} (F.~A.~Berezin memorial volume), Amer. Math.

1231: Soc.  Transl.  Ser.  2, vol.  175, Amer. Math.  Soc., Providence,

1232: RI (1996), 57--67; math-ph/0510013

1233: 

1234: \bibitem[GL2]{GL2}

1235: Grozman P., Leites D., \emph{Lie superalgebras of supermatrices of

1236: complex size. Their generalizations and related integrable

1237: systems.}  In: E.~Ram\' irez de Arellano, M.~Shapiro, L.~Tovar and

1238: N.~ Vasilevski (eds.)  {\em Proc. Internatnl.  Symp.  Complex

1239: Analysis and related topics}, Mexico, 1996, Birkh\"auser Verlag,

1240: 1999, 73--105; math.RT/0202177

1241: 

1242: \bibitem[GL3]{GL3}

1243: Grozman P., Leites D., \emph{Defining relations for classical Lie

1244: superalgebras with Cartan matrix}, Czech.  J. Phys., Vol.  51,

1245: 2001, no.  1, 1--22; hep-th/9702073

1246: 

1247: \bibitem[GLP]{GLP}

1248: Leites D., E.~Poletaeva, \emph{Defining relations for classical Lie

1249: algebras of polynomial vector fields}, Math. Scand., 81 (1997), no.

1250: 1, 5--19; math.RT/0510019;

1251: 

1252: Grozman P., Leites D., E.~Poletaeva, \emph{Defining relations for

1253: classical Lie superalgebras without Cartan matrices}, Homology,

1254: Homotopy and Applications, vol 4 (2), 2002, 259--275;

1255: math.RT/0202152

1256: 

1257: \bibitem[tH]{tH}

1258: G. 't~Hooft, \emph{On the phase transition towards permanent quark confinement},

1259: Nucl. Phys. B 138 (1978), 1-25

1260: 

1261: \bibitem[Ho]{Ho}

1262: J.~Hoppe, \emph{Diff(A)T**2 And The Curvature Of Some Infinite Dimensional Manifolds},

1263: Phys.\ Lett.\ B 215 (1988) 706-710

1264: 

1265: \bibitem[KKU]{KKU} Kostrikin, A. I.;

1266: Kostrikin, I. A.; Ufnarovskii, V. A. \emph{Orthogonal decompositions of

1267: simple Lie algebras (type $A\sb{n}$)}. (Russian) Analytic number

1268: theory, mathematical analysis and their applications. Trudy Mat.

1269: Inst. Steklov. 158 (1981), 105--120, 229

1270: 

1271: \bibitem[KT]{KT}

1272: Kostrikin, A. I.; Tiep, Pham Huu, {\em Orthogonal decompositions

1273: and integral lattices}. de Gruyter Expositions in Mathematics, 15.

1274: Walter de Gruyter \& Co., Berlin, 1994. x+535 pp

1275: 

1276: 

1277: \bibitem[LSe]{LSe} Leites D., Serganova V. V., \emph{Solutions of the classical Yang-Baxter equation

1278: for simple superalgebras} (Russian) Teoret. Mat. Fiz. 58 (1984),

1279: no. 1, 26--37 English translation: Theoret. and Math. Phys. 58

1280: (1984), no. 1, 16--24.

1281: 

1282: 

1283: 

1284: 

1285: \bibitem[LS]{LS} Leites D., Sergeev A.,

1286: \emph{Orthogonal polynomials of discrete variable and Lie algebras

1287: of complex size matrices}, in: Procedings of M.~Saveliev memorial

1288: conference, MPIM, Bonn, February, 1999, MPIM-1999-36

1289: (www.mpim-bonn.mpg.de), 49--70; Theor.  and Math. Physics, v.

1290: 123, 2000, no.  2, 205--236 (Russian), 582--609; math.RT/0509528

1291: 

1292: \bibitem[Moy]{Moy}

1293: Moyal J., \emph{Quantum Mechanics as a Statistical Theory},  Proc. Camb. Phil. Soc. 45

1294: (1949) 99--124

1295: 

1296: \bibitem[MW]{MW} Mou C.-Y., Weichman P.B., \emph{Multicomponent turbulence,

1297: the spherical limit, and non-Kolmogorov spectra}, Phys. Rev. E 52 (1995), 3738-3796

1298: 

1299: \bibitem[MWC]{MWC}

1300: Miller J., Weichman P.B., Cross M.C., \emph{Statistical Mechanics, Euler's equation, and

1301: Jupiter's Red Spot}, Phys. Rev. A 45 (1992), 2328-2359

1302: 

1303: \bibitem[S]{S} Sylvester J., Johns Hopkins

1304: University Circulars I (1882) 241;

1305: Johns Hopkins University Circulars II (1883) 46;

1306: Johns Hopkins University Circulars III (1884) 7;

1307: Summarized in: {\em The Collected Mathematics Papers of James

1308: Joseph Sylvester}, Cambridge Univ. Press, Cambridge, 1909.

1309: 

1310: \bibitem[W]{W}

1311: H.~Weyl, \emph{Quantenmechanik und Gruppentheorie}, Z. Phys. 46 (1927) 1-46;

1312: H.~Weyl, {\em

1313: The Theory of Groups and Quantum Mechanics}, Dover, New York, 1931

1314: 

1315: \bibitem[Z1]{Z} Zachos C., Letters to D.~Leites, Oct. 9, 2005

1316: 

1317: \bibitem[Z2]{Z1} Zachos C., Hamiltonian Flows, SU($\infty$), SO($\infty$), USp($\infty$), and Strings:

1318: in: L.-L. Chau and W. Nahm (eds.): \emph{Differential Geometric Methods in Theoretical Physics:

1319: Physics and Geometry}, NATO ASI Series, Plenum (1990), 423-430

1320: 

1321: \bibitem[Ze]{Ze} Zeitlin V., \emph{Finite-mode analogs of 2D ideal hydrodynamics: coadjoint orbits and

1322: local canonical structure}, Physica D49 (1991) 353-362

1323: 

1324: \end{thebibliography}

1325: \end{document}

1326: