1: %% Version of August 31, 1999, -- Preliminary version
2:
3: \documentclass[12pt,twoside]{article}
4:
5: %\usepackage{amsgen,amsmath,amstext,amsbsy,amsopn,amsfonts,amssymb}
6:
7: \usepackage{jltmac2e}
8:
9:
10:
11: \renewcommand{\version}{{\rm Version of~}\date}
12: %IN ORDER TO ELIMINATE THE
13: %THE VERSION DATE FROM THE FINALE PRINTOUT TYPE INTO THE FINAL
14: % DOCUMENT THE LINE
15: \renewcommand{\version}{July 14, 2006}
16: \renewcommand{\vol}{??} %<===================
17: \renewcommand{\annum}{??} %<===================
18: \renewcommand{\title}{\centerline{Lie elements in pre-Lie algebras,
19: trees and cohomology operations}} %<-------------------
20: \renewcommand{\author}{M.~Markl\thanks{The author was supported by the grant GA \v CR 201/05/2117 and by
21: the Academy of Sciences of the Czech Republic,
22: Institutional Research Plan No.~AV0Z10190503.}} %<-------------------
23: \renewcommand{\lastname}{Markl} %<-------------------
24:
25:
26:
27:
28:
29: %----- ENTRIES SHOULD BE SEPERATED BY AN EMPTY LINE AND LOOK AS FOLLOWS:
30: %
31: %\[1 Guts, A. and A. Levichev, {\it On the foundations
32: %of relativity theory}, Soviet Dokl. {\bf 30}(1984), 253--257
33: %
34: %\[2 Knuth, Donald, E., ``The \TeX{book},'' Addison-Wesley,
35: %Reading, Mass., 1984
36: %
37: %---------- But DO NOT START "\entries" WITH AN EMPTY LINE !!!!!!!!
38: %
39: % ALTERNATIVELY, THE COMMAND \nextref ALLOWS THE USAGE OF AUTOMATIC
40: % NUMBERING AND AUTOMATIC REFERENCES IN THE TEXT, KEEPING THE ABOVE
41: % FORMAT. IT ALSO FACILITATES THE USE OF UNDERLINING IN THE CASE OF
42: % REPETITION OF AUTHORS IN REFERENCE ENTRIES: WHEN THIS HAPPENS, JUST
43: % USE \sameauthor IN PLACE OF AUTHORS' NAME.
44: % THE COMMAND \nextref IS TO BE USED AS FOLLWOS:
45: % \nextref{code}{author}{title}{where published}
46: % WHERE code STANDS FOR THE CODE NAME FOR AUTOMATIC REFERENCE IN THE
47: % TEXT. REMEMBER THE EDITORS' INSTRUCTIONS TYPING ARTICLES, RESP.,
48: % BOOKS IN title. (ARTICLES IN ITALICS, BOOKS ROMAN BETWEEN QUOTATION
49: % MARKS.)
50:
51: %\countdef\revised=100
52: \revised=1
53:
54: \def\rec{}
55: \def\fin{}
56:
57: \renewcommand{\address}{Author: M.~Markl
58:
59: Mathematical Institute
60:
61: Czech Academy of Sciences
62:
63: \v Zitn\'a 25, 115 67 Praha 1
64:
65: The Czech Republic
66:
67: \catcode`\@=11
68: markl@math.cas.cz
69: \catcode`\@=13
70: } %<------
71:
72: % ATTENTION: IN TYPING THE ADDRESS LEAVE AN EMPTY LINE BETWEEN ONE LINE
73: % AND THE NEXT-------BUT DO NOT START WITH AN EMPTY LINE!
74: % INSERT AN EMPTY LINE AT THE END
75: % Please repeat the author's name in the address statement.
76:
77:
78: \overfullrule3pt
79:
80:
81: \begin{document}
82: \firstpage
83: %\bibliographystyle{plain}
84:
85: %\bibliography{b}
86:
87:
88: \newtheorem{odstavec}[Theorem]{\hskip -2mm}
89:
90: \def\calP{{\cal P}}\def\calB{{\cal B}}\def\calS{{\cal S}}
91: \def\Aalg{\mbox {${\cal A}$-{\tt alg}}}
92: \def\Palg{\mbox {${\cal P}$-{\tt alg}}}
93: \def\pLie{p{\cal L{\it ie\/}}}\def\Brace{{\cal B{\it race\/}}}
94: \def\Prim{{\it Prim\/}}\def\calH{{\cal H}}
95: \def\Ass{{\cal A{\it ss\/}}} \def\Com{{\cal C{\it om\/}}}
96: \def\Lie{{\cal L{\it ie\/}}}\def\calC{{\cal C}}\def\calA{{\cal A}}
97: \def\qbezier{\bezier{100}}
98: \def\spin{
99: {% Picture saved by xtexcad 2.4
100: \unitlength=.017em
101: \begin{picture}(30.00,40.00)(0.00,0.00)
102: \qbezier(0.00,0.00)(20.00,0.00)(20.00,20.00)
103: \qbezier(0.00,40.00)(20.00,40.00)(20.00,20.00)
104: \qbezier(10.00,20.00)(10.00,0.00)(30.00,0.00)
105: \qbezier(30.00,40.00)(10.00,40.00)(10.00,20.00)
106: \end{picture}}\,
107: }
108: \def\ext{\mbox{\large$\land$}}
109: \def\Blie{{\cal B}_{\it Lie}}\def\Bshl{{\cal B}_{L_\infty}}
110: \def\Coder{{\it Coder\/}}\def\desusp{{\downarrow \hskip .1em}}
111: \def\CE#1{C_{\it CE}^{#1}(L;L)}\def\dce{{d_{\it CE}}}
112: \def\Rada#1#2#3{#1_{#2},\dots,#1_{#3}}
113: \def\Bl{{\it bl\/}}\def\Span{{\it Span\/}}
114: \def\brpL{{\overline {\rpL}}}
115: \def\Tr{{\rm Tr}}\def\otexp#1#2{#1^{\otimes #2}}
116: \def\oh{{\circ}}\def\td{{\tilde d}}\def\epi{\to \hskip -.6em \to}
117: \def\ccdot{\hskip .2em{\mbox {\small $\bullet$}}\hskip .2em}
118: \def\ot{\otimes}\def\Sh{{\it Sh}}\def\pl{\pL}
119: \def\T{{\sf T}}\def\fLie{{\sf L}}\def\fpLie{p{\sf L}}\def\bfk{{\bf k}}
120: \def\fL{\fLie}\def\fA{\T}\def\bDelta{{\overline{\Delta}}}
121: \def\bfA{{\overline{\T}}}\def\Ker{{\it Ker}}\def\Im{{\it Im}}
122: \def\bar{{\hskip .2em\raisebox{-.2em}{\rule{.1em}{1em}}\hskip .2em}}
123: \def\L{\fLie}\def\bT{\bfA}\def\pL{{\sf pL}} \def\rpL{{\rm r\pL}}
124: \def\root{\rule{.4em}{.4em}}
125: \def\cases#1#2#3#4{
126: \left\{
127: \begin{array}{ll}
128: #1,\ &\mbox{#2}
129: \\
130: #3,\ &\mbox{#4}
131: \end{array}
132: \right.
133: }
134:
135:
136: %Stromy
137: \def\stromI#1#2{
138: %TeXCAD Picture [pl1.pic]. Options:
139: \unitlength .5em
140: \thicklines
141: \ifx\plotpoint\undefined\newsavebox{\plotpoint}\fi % GNUPLOT compatibility
142: \begin{picture}(7.03,5)(0,9)
143: \put(6.,13){\line(0,-1){3.97}}
144: \put(6.,13){\makebox(0,0)[cc]{$\root$}}
145: \put(6.,9){\makebox(0,0)[cc]{$\bullet$}}
146: \put(7.,13){\makebox(0,0)[lc]{$#1$}}
147: \put(7.,9){\makebox(0,0)[lc]{$#2$}}
148: \end{picture}
149: }
150:
151: \def\stromII#1#2#3{
152: {% Picture saved by xtexcad 2.4
153: \thicklines
154: \unitlength=.95pt
155: \begin{picture}(10.00,40.00)(0.00,0.00)
156: \put(10.00,0.00){\makebox(0.00,0.00)[l]{$#3$}}
157: \put(10.00,20.00){\makebox(0.00,0.00)[l]{$#2$}}
158: \put(10.00,40.00){\makebox(0.00,0.00)[l]{$#1$}}
159: \put(0.00,0.00){\makebox(0.00,0.00){$\bullet$}}
160: \put(0.00,20.00){\makebox(0.00,0.00){$\bullet$}}
161: \put(0.00,40.00){\makebox(0.00,0.00){$\root$}}
162: \put(0.00,40.00){\line(0,-1){40.00}}
163: \end{picture}}
164: }
165:
166: \def\stromIII#1#2#3{
167: {% Picture saved by xtexcad 2.4
168: \unitlength=1.000000pt
169: \thicklines
170: \begin{picture}(40.00,40.00)(0.00,0.00)
171: \put(40.00,10.00){\makebox(0.00,0.00){$\bullet$}}
172: \put(0.00,10.00){\makebox(0.00,0.00){$\bullet$}}
173: \put(20.00,30.00){\makebox(0.00,0.00){$\root$}}
174: \put(20.00,40.00){\makebox(0.00,0.00){$#1$}}
175: \put(40.00,0.00){\makebox(0.00,0.00){$#3$}}
176: \put(0.00,0.00){\makebox(0.00,0.00){$#2$}}
177: \put(20.00,30.00){\line(1,-1){20.00}}
178: \put(0.00,10.00){\line(1,1){20.00}}
179: \end{picture}}
180: }
181:
182: \def\stromIV#1#2#3#4{
183: {% Picture saved by xtexcad 2.4
184: \unitlength=1.000000pt
185: \thicklines
186: \begin{picture}(20.00,30.00)(0.00,30.00)
187: \put(10.00,0.00){\makebox(0.00,0.00)[l]{$#4$}}
188: \put(10.00,20.00){\makebox(0.00,0.00)[l]{$#3$}}
189: \put(10.00,40.00){\makebox(0.00,0.00)[l]{$#2$}}
190: \put(10.00,60.00){\makebox(0.00,0.00)[l]{$#1$}}
191: \put(0.00,60.00){\makebox(0.00,0.00){$\root$}}
192: \put(0.00,40.00){\makebox(0.00,0.00){$\bullet$}}
193: \put(0.00,20.00){\makebox(0.00,0.00){$\bullet$}}
194: \put(0.00,0.00){\makebox(0.00,0.00){$\bullet$}}
195: \put(0.00,60.00){\line(0,-1){60.00}}
196: \end{picture}}
197: }
198:
199:
200: \def\stromV#1#2#3#4{
201: {% Picture saved by xtexcad 2.4
202: \unitlength=1.000000pt
203: \thicklines
204: \begin{picture}(50.00,30.00)(0.00,30.00)
205: \put(20.00,50.00){\makebox(0.00,0.00){$\root$}}
206: \put(40.00,10.00){\makebox(0.00,0.00){$\bullet$}}
207: \put(40.00,30.00){\makebox(0.00,0.00){$\bullet$}}
208: \put(0.00,30.00){\makebox(0.00,0.00){$\bullet$}}
209: \put(40.00,0.00){\makebox(0.00,0.00){$#4$}}
210: \put(50.00,30.00){\makebox(0.00,0.00)[l]{$#3$}}
211: \put(0.00,20.00){\makebox(0.00,0.00)[c]{$#2$}}
212: \put(20.00,60.00){\makebox(0.00,0.00)[c]{$#1$}}
213: \put(40.00,30.00){\line(0,-1){20.00}}
214: \put(20.00,50.00){\line(1,-1){20.00}}
215: \put(0.00,30.00){\line(1,1){20.00}}
216: \end{picture}}
217: }
218:
219: \def\stromVI#1#2#3#4{
220: {% Picture saved by xtexcad 2.4
221: \unitlength=1.000000pt
222: \thicklines
223: \begin{picture}(40.00,30.00)(0.00,30.00)
224: \put(40.00,0.00){\makebox(0.00,0.00){$#4$}}
225: \put(0.00,0.00){\makebox(0.00,0.00){$#3$}}
226: \put(30.00,30.00){\makebox(0.00,0.00)[l]{$#2$}}
227: \put(20.00,60.00){\makebox(0.00,0.00){$#1$}}
228: \put(40.00,10.00){\makebox(0.00,0.00){$\bullet$}}
229: \put(0.00,10.00){\makebox(0.00,0.00){$\bullet$}}
230: \put(20.00,30.00){\makebox(0.00,0.00){$\bullet$}}
231: \put(20.00,50.00){\makebox(0.00,0.00){$\root$}}
232: \put(20.00,30.00){\line(1,-1){20.00}}
233: \put(20.00,30.00){\line(-1,-1){20.00}}
234: \put(20.00,50.00){\line(0,-1){20.00}}
235: \end{picture}}
236: }
237:
238: \def\stromVII#1#2#3#4{
239: {% Picture saved by xtexcad 2.4
240: \unitlength=1.000000pt
241: \thicklines
242: \begin{picture}(40.00,20.00)(0.00,10.00)
243: \put(40.00,10.00){\makebox(0.00,0.00){$\bullet$}}
244: \put(20.00,10.00){\makebox(0.00,0.00){$\bullet$}}
245: \put(0.00,10.00){\makebox(0.00,0.00){$\bullet$}}
246: \put(20.00,30.00){\makebox(0.00,0.00){$\root$}}
247: \put(20.00,40.00){\makebox(0.00,0.00){$#1$}}
248: \put(0.00,0.00){\makebox(0.00,0.00){$#2$}}
249: \put(20.00,0.00){\makebox(0.00,0.00){$#3$}}
250: \put(40.00,0.00){\makebox(0.00,0.00){$#4$}}
251: \put(20.00,30.00){\line(0,-1){20.00}}
252: \put(20.00,30.00){\line(1,-1){20.00}}
253: \put(0.00,10.00){\line(1,1){20.00}}
254: \end{picture}}
255: }
256:
257: \def\stromVIII#1#2#3#4{
258: {% Picture saved by xtexcad 2.4
259: \unitlength=1.000000pt
260: \begin{picture}(10.00,20.00)(0.00,0.00)
261: \thicklines
262: \put(10.00,0.00){\makebox(0.00,0.00)[l]{$#4$}}
263: \put(10.00,20.00){\makebox(0.00,0.00)[l]{$#3$}}
264: \put(0.00,0.00){\makebox(0.00,0.00){$#2$}}
265: \put(0.00,20.00){\makebox(0.00,0.00){$#1$}}
266: \put(0.00,18.10){\line(0,-1){16.10}}
267: \end{picture}}
268: }
269:
270: \def\stromIX#1#2#3#4#5#6{
271: {% Picture saved by xtexcad 2.4
272: \unitlength=.95pt
273: \begin{picture}(10.00,44.00)(0.00,0.00)
274: \thicklines
275: \put(10.00,0.00){\makebox(0.00,0.00)[l]{$#6$}}
276: \put(10.00,20.00){\makebox(0.00,0.00)[l]{$#5$}}
277: \put(10.00,40.00){\makebox(0.00,0.00)[l]{$#4$}}
278: \put(0.00,0.00){\makebox(0.00,0.00){$#3$}}
279: \put(0.00,20.00){\makebox(0.00,0.00){$#2$}}
280: \put(0.00,40.00){\makebox(0.00,0.00){$#1$}}
281: \put(0.00,18.00){\line(0,-1){16.00}}
282: \put(0.00,38.00){\line(0,-1){16.00}}
283: \end{picture}}
284: }
285:
286: \def\stromX#1#2#3#4#5#6{
287: {% Picture saved by xtexcad 2.4
288: \unitlength=1.000000pt
289: \begin{picture}(40.00,40.00)(0.00,0.00)
290: \thicklines
291: \put(40.00,0.00){\makebox(0.00,0.00){$#6$}}
292: \put(20.00,40.00){\makebox(0.00,0.00){$#5$}}
293: \put(0.00,0.00){\makebox(0.00,0.00){$#4$}}
294: \put(40.00,10.00){\makebox(0.00,0.00){$#3$}}
295: \put(20.00,30.00){\makebox(0.00,0.00){$#2$}}
296: \put(0.00,10.00){\makebox(0.00,0.00){$#1$}}
297: \put(38.50,11.50){\line(-1,1){17.00}}
298: \put(1.50,11.50){\line(1,1){17.00}}
299: \end{picture}}
300: }
301:
302: \def\stromXI#1#2#3#4#5#6{
303: {% Picture saved by xtexcad 2.4
304: \unitlength=1.000000pt
305: \begin{picture}(50.00,20.00)(-5.00,20.00)
306: \thicklines
307: \put(40.00,0.00){\makebox(0.00,0.00){$#6$}}
308: \put(20.00,40.00){\makebox(0.00,0.00){$#5$}}
309: \put(0.00,0.00){\makebox(0.00,0.00){$#4$}}
310: \put(40.00,10.00){\makebox(0.00,0.00){$#3$}}
311: \put(20.00,30.00){\makebox(0.00,0.00){$#2$}}
312: \put(0.00,10.00){\makebox(0.00,0.00){$#1$}}
313: \put(38.50,11.50){\line(-1,1){17}}
314: \put(0,11.50){\line(1,1){18.1}}
315: \put(1.5,10){\line(1,1){18.1}}
316: \end{picture}}
317: }
318:
319: \def\stromXII
320: {
321: \unitlength 3mm
322: \begin{picture}(6.5,2.5)(9.8,13.5)
323: \thicklines
324: \put(15,12){\line(0,1){2}}
325: \put(11.2,14){\line(1,1){1.8}}
326: \put(10.8,14){\line(1,1){1.95}}
327: \put(15,14){\line(-1,1){1.85}}
328: \put(13,16){\makebox(0,0)[cc]{$\oh$}}
329: \put(11,14){\makebox(0,0)[cc]{$\bullet$}}
330: \put(15,14){\makebox(0,0)[cc]{$\bullet$}}
331: \put(15,12){\makebox(0,0)[cc]{$\bullet$}}
332: \put(10,14){\makebox(0,0)[cc]{$u$}}
333: \put(16,14){\makebox(0,0)[cc]{$v$}}
334: \put(16,12){\makebox(0,0)[cc]{$w$}}
335: \end{picture}
336: }
337:
338:
339: \def\stromXii#1#2#3
340: {
341: \unitlength 3mm
342: \begin{picture}(6.5,2.5)(9.8,13.5)
343: \thicklines
344: \put(15,12){\line(0,1){2}}
345: \put(11,14){\line(1,1){1.85}}
346: \put(15,14){\line(-1,1){1.85}}
347: \put(13,16){\makebox(0,0)[cc]{$\oh$}}
348: \put(11,14){\makebox(0,0)[cc]{$\bullet$}}
349: \put(15,14){\makebox(0,0)[cc]{$\bullet$}}
350: \put(15,12){\makebox(0,0)[cc]{$\bullet$}}
351: \put(10,14){\makebox(0,0)[cc]{$#1$}}
352: \put(16,14){\makebox(0,0)[cc]{$#2$}}
353: \put(16,12){\makebox(0,0)[cc]{$#3$}}
354: \end{picture}
355: }
356:
357: \def\stromXIII
358: {
359: \unitlength 3mm
360: \begin{picture}(5.5,2.5)(-3,0)
361: \thicklines
362: \put(0,2){\line(0,-1){1.7}}
363: \put(-1.8,-2){\line(1,1){1.8}}
364: \put(-2.2,-2){\line(1,1){1.95}}
365: \put(2,-2){\line(-1,1){1.85}}
366: \put(0,2){\makebox(0,0)[cc]{$\bullet$}}
367: \put(-2,-2){\makebox(0,0)[cc]{$\bullet$}}
368: \put(2,-2){\makebox(0,0)[cc]{$\bullet$}}
369: \put(0,0){\makebox(0,0)[cc]{$\oh$}}
370: \put(0,3){\makebox(0,0)[cc]{$u$}}
371: \put(-2,-3){\makebox(0,0)[cc]{$v$}}
372: \put(2,-3){\makebox(0,0)[cc]{$w$}}
373: \end{picture}
374: }
375:
376:
377: \def\stromXIV
378: {
379: \unitlength 3mm
380: \begin{picture}(6.5,2.5)(9.8,13.5)
381: \thicklines
382: \put(15,12){\line(0,1){2}}
383: \put(11,14){\line(1,1){1.85}}
384: \put(14.8,14){\line(-1,1){1.8}}
385: \put(15.2,14){\line(-1,1){1.95}}
386: \put(13,16){\makebox(0,0)[cc]{$\oh$}}
387: \put(11,14){\makebox(0,0)[cc]{$\bullet$}}
388: \put(15,14){\makebox(0,0)[cc]{$\bullet$}}
389: \put(15,12){\makebox(0,0)[cc]{$\bullet$}}
390: \put(10,14){\makebox(0,0)[cc]{$v$}}
391: \put(16,14){\makebox(0,0)[cc]{$u$}}
392: \put(16,12){\makebox(0,0)[cc]{$w$}}
393: \end{picture}
394: }
395:
396: \def\stromXIVe
397: {
398: \unitlength 3mm
399: \begin{picture}(6.5,2.5)(9.8,13.5)
400: \thicklines
401: \put(15,12){\line(0,1){2}}
402: \put(11,14){\line(1,1){1.85}}
403: \put(14.8,14){\line(-1,1){1.8}}
404: \put(15.2,14){\line(-1,1){1.95}}
405: \put(13,16){\makebox(0,0)[cc]{$\oh$}}
406: \put(11,14){\makebox(0,0)[cc]{$\bullet$}}
407: \put(15,14){\makebox(0,0)[cc]{$\bullet$}}
408: \put(15,12){\makebox(0,0)[cc]{$\bullet$}}
409: \put(10,14){\makebox(0,0)[cc]{$u$}}
410: \put(16,14){\makebox(0,0)[cc]{$v$}}
411: \put(16,12){\makebox(0,0)[cc]{$w$}}
412: \put(14.5,15.5){\makebox(0,0)[lb]{$e$}}
413: \end{picture}
414: }
415:
416: \def\stromXV
417: {
418: \unitlength 3mm
419: \begin{picture}(6.5,2.5)(9.8,13.5)
420: \thicklines
421: \put(15,12){\line(0,1){2}}
422: \put(11,14){\line(1,1){1.85}}
423: \put(14.8,14){\line(-1,1){1.8}}
424: \put(15.2,14){\line(-1,1){1.95}}
425: \put(13,16){\makebox(0,0)[cc]{$\oh$}}
426: \put(11,14){\makebox(0,0)[cc]{$\bullet$}}
427: \put(15,14){\makebox(0,0)[cc]{$\bullet$}}
428: \put(15,12){\makebox(0,0)[cc]{$\bullet$}}
429: \put(10,14){\makebox(0,0)[cc]{$w$}}
430: \put(16,14){\makebox(0,0)[cc]{$u$}}
431: \put(16,12){\makebox(0,0)[cc]{$v$}}
432: \end{picture}
433: }
434:
435:
436: \def\stromXVI
437: {
438: \unitlength 3mm
439: \begin{picture}(5.5,2.5)(-3,0)
440: \thicklines
441: \put(0.15,2){\line(0,-1){1.8}}
442: \put(-.15,2){\line(0,-1){1.8}}
443: \put(-2,-2){\line(1,1){1.85}}
444: \put(2,-2){\line(-1,1){1.85}}
445: \put(0,2){\makebox(0,0)[cc]{$\bullet$}}
446: \put(-2,-2){\makebox(0,0)[cc]{$\bullet$}}
447: \put(2,-2){\makebox(0,0)[cc]{$\bullet$}}
448: \put(0,0){\makebox(0,0)[cc]{$\oh$}}
449: \put(0,3){\makebox(0,0)[cc]{$u$}}
450: \put(-2,-3){\makebox(0,0)[cc]{$v$}}
451: \put(2,-3){\makebox(0,0)[cc]{$w$}}
452: \end{picture}
453: }
454:
455: \def\stromeXtra
456: {
457: \unitlength 3mm
458: \begin{picture}(5.5,2.5)(-3,-2)
459: \thicklines
460: \put(0.15,-2){\line(0,1){1.8}}
461: \put(-.15,-2){\line(0,1){1.8}}
462: \put(-2,-2){\line(1,1){1.85}}
463: \put(2,-2){\line(-1,1){1.85}}
464: \put(0,-2){\makebox(0,0)[cc]{$\bullet$}}
465: \put(-2,-2){\makebox(0,0)[cc]{$\bullet$}}
466: \put(2,-2){\makebox(0,0)[cc]{$\bullet$}}
467: \put(0,0){\makebox(0,0)[cc]{$\oh$}}
468: \put(0,-3){\makebox(0,0)[cc]{$u$}}
469: \put(-2,-3){\makebox(0,0)[cc]{$v$}}
470: \put(2,-3){\makebox(0,0)[cc]{$w$}}
471: \end{picture}
472: }
473:
474: \def\stromExtra
475: {
476: \unitlength 3mm
477: \begin{picture}(5.5,2.5)(-3,-1)
478: \thicklines
479: \put(0,-2){\line(0,1){1.8}}
480: \put(0,2){\makebox(0,0)[cc]{$\bullet$}}
481: \put(0,2.6){\makebox(0,0)[bc]{$t$}}
482: \put(0,0.3){\line(0,1){1.8}}
483: \put(-2,-2){\line(1,1){1.85}}
484: \put(2,-2){\line(-1,1){1.85}}
485: \put(0,-2){\makebox(0,0)[cc]{$\bullet$}}
486: \put(-2,-2){\makebox(0,0)[cc]{$\bullet$}}
487: \put(2,-2){\makebox(0,0)[cc]{$\bullet$}}
488: \put(0,0){\makebox(0,0)[cc]{$\oh$}}
489: \put(0,-3){\makebox(0,0)[cc]{$u$}}
490: \put(-2,-3){\makebox(0,0)[cc]{$v$}}
491: \put(2,-3){\makebox(0,0)[cc]{$w$}}
492: \end{picture}
493: }
494:
495: \def\stromXvi#1#2#3
496: {
497: \unitlength 3mm
498: \begin{picture}(5.5,2.5)(-3,0)
499: \thicklines
500: \put(0,2){\line(0,-1){1.8}}
501: \put(-2,-2){\line(1,1){1.85}}
502: \put(2,-2){\line(-1,1){1.85}}
503: \put(0,2){\makebox(0,0)[cc]{$\bullet$}}
504: \put(-2,-2){\makebox(0,0)[cc]{$\bullet$}}
505: \put(2,-2){\makebox(0,0)[cc]{$\bullet$}}
506: \put(0,0){\makebox(0,0)[cc]{$\oh$}}
507: \put(0,3){\makebox(0,0)[cc]{$#1$}}
508: \put(-2,-3){\makebox(0,0)[cc]{$#2$}}
509: \put(2,-3){\makebox(0,0)[cc]{$#3$}}
510: \end{picture}
511: }
512:
513: \def\stromXX
514: {
515: \unitlength 5mm
516: \begin{picture}(4,3)(-1,1)
517: \thicklines
518: %\put(-0.1,1){\line(1,1){.95}}
519: %\put(0.1,1){\line(1,1){.87}}
520: \put(0,1){\line(1,1){.89}}
521: \put(2,1){\line(-1,1){.9}}
522: \put(2,0){\line(0,1){1}}
523: \put(1,2.15){\line(0,1){.9}}
524: \put(2,1){\makebox(0,0)[cc]{$\bullet$}}
525: \put(2,0){\makebox(0,0)[cc]{$\bullet$}}
526: \put(1,3){\makebox(0,0)[cc]{$\bullet$}}
527: \put(1.5,3){\makebox(0,0)[cc]{$t$}}
528: \put(0,1){\makebox(0,0)[cc]{$\bullet$}}
529: \put(-.5,1){\makebox(0,0)[cc]{$u$}}
530: \put(2.5,1){\makebox(0,0)[cc]{$v$}}
531: \put(2.5,0){\makebox(0,0)[cc]{$w$}}
532: \put(1,2){\makebox(0,0)[cc]{$\oh$}}
533: \end{picture}
534: }
535:
536:
537: \def\stromXXI
538: {
539: \unitlength 5mm
540: \begin{picture}(4,3)(-1,1)
541: \thicklines
542: \put(0,-1)
543: {
544: %\put(-0.1,1){\line(1,1){.95}}
545: %\put(0.1,1){\line(1,1){.87}}
546: \put(0,1){\line(1,1){.88}}
547: \put(2,1){\line(-1,1){.9}}
548: \put(1,3){\line(0,1){1}}
549: \put(1,2.15){\line(0,1){.9}}
550: \put(2,1){\makebox(0,0)[cc]{$\bullet$}}
551: \put(1,3){\makebox(0,0)[cc]{$\bullet$}}
552: \put(1,4){\makebox(0,0)[cc]{$\bullet$}}
553: \put(1.5,3){\makebox(0,0)[cc]{$u$}}
554: \put(1.5,4){\makebox(0,0)[cc]{$t$}}
555: \put(0,1){\makebox(0,0)[cc]{$\bullet$}}
556: \put(-.5,1){\makebox(0,0)[cc]{$v$}}
557: \put(2.5,1){\makebox(0,0)[cc]{$w$}}
558: \put(1,2){\makebox(0,0)[cc]{$\oh$}}
559: }
560: \end{picture}
561: }
562:
563: \def\stromXXII
564: {
565: \unitlength 5mm
566: \thicklines
567: \begin{picture}(4,3)(-1,1)
568: \put(0,1){
569: %\put(-0.1,1){\line(1,1){.95}}
570: %\put(0.1,1){\line(1,1){.87}}
571: \put(0,1){\line(1,1){.88}}
572: \put(2,1){\line(-1,1){.9}}
573: \put(2,0){\line(0,1){1}}
574: \put(2,0){\line(0,-1){1}}
575: \put(2,1){\makebox(0,0)[cc]{$\bullet$}}
576: \put(2,0){\makebox(0,0)[cc]{$\bullet$}}
577: \put(2,-1){\makebox(0,0)[cc]{$\bullet$}}
578: \put(0,1){\makebox(0,0)[cc]{$\bullet$}}
579: \put(-.5,1){\makebox(0,0)[cc]{$t$}}
580: \put(2.5,1){\makebox(0,0)[cc]{$u$}}
581: \put(2.5,0){\makebox(0,0)[cc]{$v$}}
582: \put(2.5,-1){\makebox(0,0)[cc]{$w$}}
583: \put(1,2){\makebox(0,0)[cc]{$\oh$}}
584: }
585: \end{picture}
586: }
587:
588: \def\stromXXIII
589: {
590: \unitlength 5mm
591: \begin{picture}(4,3)(-1,1)
592: \thicklines
593: \put(0,1){
594: %\put(2.1,1){\line(-1,1){.95}}
595: %\put(1.9,1){\line(-1,1){.87}}
596: \put(2,1){\line(-1,1){.88}}
597: \put(0,1){\line(1,1){.9}}
598: \put(2,0){\line(0,1){1}}
599: \put(2,0){\line(0,-1){1}}
600: \put(2,1){\makebox(0,0)[cc]{$\bullet$}}
601: \put(2,0){\makebox(0,0)[cc]{$\bullet$}}
602: \put(2,-1){\makebox(0,0)[cc]{$\bullet$}}
603: \put(0,1){\makebox(0,0)[cc]{$\bullet$}}
604: \put(-.5,1){\makebox(0,0)[cc]{$u$}}
605: \put(2.5,1){\makebox(0,0)[cc]{$t$}}
606: \put(2.5,0){\makebox(0,0)[cc]{$v$}}
607: \put(2.5,-1){\makebox(0,0)[cc]{$w$}}
608: \put(1,2){\makebox(0,0)[cc]{$\oh$}}
609: }
610: \end{picture}
611: }
612:
613: \def\stromXXIV
614: {
615: \unitlength 5mm
616: \begin{picture}(4,3)(-1,1.5)
617: \thicklines
618: \put(0,-.5){
619: %\put(-0.1,1){\line(1,1){.95}}
620: %\put(0.1,1){\line(1,1){.87}}
621: \put(0,1){\line(1,1){.88}}
622: \put(0,3){\line(1,1){1}}
623: \put(2,1){\line(-1,1){.9}}
624: \put(1,2.15){\line(0,1){1.9}}
625: \put(2,1){\makebox(0,0)[cc]{$\bullet$}}
626: \put(1,4){\makebox(0,0)[cc]{$\bullet$}}
627: \put(1.5,4){\makebox(0,0)[cc]{$t$}}
628: \put(0,1){\makebox(0,0)[cc]{$\bullet$}}
629: \put(0,3){\makebox(0,0)[cc]{$\bullet$}}
630: \put(-.5,1){\makebox(0,0)[cc]{$v$}}
631: \put(-.5,3){\makebox(0,0)[cc]{$u$}}
632: \put(2.5,1){\makebox(0,0)[cc]{$w$}}
633: \put(1,2){\makebox(0,0)[cc]{$\oh$}}
634: }
635: \end{picture}
636: }
637:
638: \def\stromXXV
639: {
640: \unitlength 5mm
641: \begin{picture}(4,3)(-1,.5)
642: \thicklines
643: \put(0,.5){
644: %\put(-0.1,1){\line(1,1){.95}}
645: %\put(0.1,1){\line(1,1){.87}}
646: \put(0,1){\line(1,1){.88}}
647: \put(2,1){\line(-1,1){.9}}
648: \put(2,-1){\line(0,1){2}}
649: \put(0,-1){\line(0,1){2}}
650: \put(2,1){\makebox(0,0)[cc]{$\bullet$}}
651: \put(0,-1){\makebox(0,0)[cc]{$\bullet$}}
652: \put(2,-1){\makebox(0,0)[cc]{$\bullet$}}
653: \put(0,1){\makebox(0,0)[cc]{$\bullet$}}
654: \put(-.5,1){\makebox(0,0)[cc]{$t$}}
655: \put(2.5,1){\makebox(0,0)[cc]{$v$}}
656: \put(2.5,-1){\makebox(0,0)[cc]{$w$}}
657: \put(-.5,-1){\makebox(0,0)[cc]{$u$}}
658: \put(1,2){\makebox(0,0)[cc]{$\oh$}}
659: }
660: \end{picture}
661: }
662:
663: \def\stromXXVI
664: {
665: \unitlength 5mm
666: \begin{picture}(4,3)(-1,1)
667: \thicklines
668: \put(0,1){\line(1,1){.9}}
669: \put(2,1){\line(-1,1){.9}}
670: \put(2,0){\line(0,1){1}}
671: %\put(1.1,2.1){\line(0,1){.9}}
672: %\put(.9,2.1){\line(0,1){.9}}
673: \put(1,2.13){\line(0,1){.9}}
674: \put(2,1){\makebox(0,0)[cc]{$\bullet$}}
675: \put(2,0){\makebox(0,0)[cc]{$\bullet$}}
676: \put(1,3){\makebox(0,0)[cc]{$\bullet$}}
677: \put(1.5,3){\makebox(0,0)[cc]{$t$}}
678: \put(0,1){\makebox(0,0)[cc]{$\bullet$}}
679: \put(-.5,1){\makebox(0,0)[cc]{$u$}}
680: \put(2.5,1){\makebox(0,0)[cc]{$v$}}
681: \put(2.5,0){\makebox(0,0)[cc]{$w$}}
682: \put(1,2){\makebox(0,0)[cc]{$\oh$}}
683: \end{picture}
684: }
685:
686: \def\stromXXVIextra
687: {
688: \unitlength 5mm
689: \begin{picture}(4,3)(-1,.5)
690: \thicklines
691: \put(0,1){\line(1,1){.9}}
692: \put(2,1){\line(-1,1){.9}}
693: \put(2,0){\line(0,1){1}}
694: \put(1,1.9){\line(0,-1){.9}}
695: \put(2,1){\makebox(0,0)[cc]{$\bullet$}}
696: \put(2,0){\makebox(0,0)[cc]{$\bullet$}}
697: \put(1,1){\makebox(0,0)[cc]{$\bullet$}}
698: \put(1,.7){\makebox(0,0)[tc]{$t$}}
699: \put(0,1){\makebox(0,0)[cc]{$\bullet$}}
700: \put(-.5,1){\makebox(0,0)[cc]{$u$}}
701: \put(2.5,1){\makebox(0,0)[cc]{$v$}}
702: \put(2.5,0){\makebox(0,0)[cc]{$w$}}
703: \put(1,2){\makebox(0,0)[cc]{$\oh$}}
704: \end{picture}
705: }
706:
707: \def\stromXXVII
708: {
709: \unitlength 5mm
710: \begin{picture}(4,3)(-1,1)
711: \thicklines
712: \put(0,1){\line(1,1){.9}}
713: %\put(2.1,1){\line(-1,1){.95}}
714: %\put(1.9,1){\line(-1,1){.87}}
715: \put(2,1){\line(-1,1){.9}}
716: \put(2,0){\line(0,1){1}}
717: \put(1,2.15){\line(0,1){.9}}
718: \put(2,1){\makebox(0,0)[cc]{$\bullet$}}
719: \put(2,0){\makebox(0,0)[cc]{$\bullet$}}
720: \put(1,3){\makebox(0,0)[cc]{$\bullet$}}
721: \put(1.5,3){\makebox(0,0)[cc]{$t$}}
722: \put(0,1){\makebox(0,0)[cc]{$\bullet$}}
723: \put(-.5,1){\makebox(0,0)[cc]{$v$}}
724: \put(2.5,1){\makebox(0,0)[cc]{$u$}}
725: \put(2.5,0){\makebox(0,0)[cc]{$w$}}
726: \put(1,2){\makebox(0,0)[cc]{$\oh$}}
727: \end{picture}
728: }
729:
730: \def\stromXXVIII
731: {
732: \unitlength 5mm
733: \begin{picture}(4,3)(-1,1)
734: \thicklines
735: \put(0,1){\line(1,1){.9}}
736: %\put(2.1,1){\line(-1,1){.95}}
737: %\put(1.9,1){\line(-1,1){.87}}
738: \put(2,1){\line(-1,1){.87}}
739: \put(2,0){\line(0,1){1}}
740: \put(1,2.15){\line(0,1){.9}}
741: \put(2,1){\makebox(0,0)[cc]{$\bullet$}}
742: \put(2,0){\makebox(0,0)[cc]{$\bullet$}}
743: \put(1,3){\makebox(0,0)[cc]{$\bullet$}}
744: \put(1.5,3){\makebox(0,0)[cc]{$t$}}
745: \put(0,1){\makebox(0,0)[cc]{$\bullet$}}
746: \put(-.6,1){\makebox(0,0)[cc]{$w$}}
747: \put(2.5,1){\makebox(0,0)[cc]{$u$}}
748: \put(2.5,0){\makebox(0,0)[cc]{$v$}}
749: \put(1,2){\makebox(0,0)[cc]{$\oh$}}
750: \end{picture}
751: }
752:
753: \def\stromXXIX
754: {
755: \unitlength 5mm
756: \begin{picture}(4,3)(-1,1)
757: \thicklines
758: \put(0,-1)
759: {
760: \put(0,1){\line(1,1){.9}}
761: \put(2,1){\line(-1,1){.9}}
762: \put(1,3){\line(0,1){1}}
763: %\put(1.1,2.1){\line(0,1){.9}}
764: %\put(.9,2.1){\line(0,1){.9}}
765: \put(1,2.14){\line(0,1){.9}}
766: \put(2,1){\makebox(0,0)[cc]{$\bullet$}}
767: \put(1,3){\makebox(0,0)[cc]{$\bullet$}}
768: \put(1,4){\makebox(0,0)[cc]{$\bullet$}}
769: \put(1.5,3){\makebox(0,0)[cc]{$u$}}
770: \put(1.5,4){\makebox(0,0)[cc]{$t$}}
771: \put(0,1){\makebox(0,0)[cc]{$\bullet$}}
772: \put(-.5,1){\makebox(0,0)[cc]{$v$}}
773: \put(2.5,1){\makebox(0,0)[cc]{$w$}}
774: \put(1,2){\makebox(0,0)[cc]{$\oh$}}
775: }
776: \end{picture}
777: }
778:
779: \def\stromXXX
780: {
781: \unitlength 5mm
782: \begin{picture}(4,3)(-1,1.5)
783: \thicklines
784: \put(0,-.5){
785: %\put(-0.1,3){\line(1,1){.95}}
786: %\put(0.1,3){\line(1,1){.87}}
787: \put(0,3){\line(1,1){.87}}
788: \put(0,1){\line(1,1){1}}
789: \put(2,1){\line(-1,1){.9}}
790: \put(1,2){\line(0,1){1.85}}
791: \put(2,1){\makebox(0,0)[cc]{$\bullet$}}
792: \put(1,4){\makebox(0,0)[cc]{$\oh$}}
793: \put(0,1){\makebox(0,0)[cc]{$\bullet$}}
794: \put(0,3){\makebox(0,0)[cc]{$\bullet$}}
795: \put(-.5,1){\makebox(0,0)[cc]{$v$}}
796: \put(1.5,2){\makebox(0,0)[cc]{$u$}}
797: \put(-.5,3){\makebox(0,0)[cc]{$t$}}
798: \put(2.5,1){\makebox(0,0)[cc]{$w$}}
799: \put(1,2){\makebox(0,0)[cc]{$\bullet$}}
800: }
801: \end{picture}
802: }
803:
804: \begin{abstract}
805: We give a simple characterization of Lie elements in free pre-Lie
806: algebras as elements of the kernel of a map between spaces of trees.
807: We explain how this result is related to natural operations on the
808: Chevalley-Eilenberg complex of a Lie algebra.
809: We also indicate a possible relation to Loday's theory of
810: triplettes.
811: \end{abstract}
812:
813: \vbadness=100000
814: \section{Main results, motivations and generalizations}
815: \label{sec0}
816:
817: All algebraic objects in this note will be defined over a field $\bfk$
818: of characteristic zero and $V$ will always denote a
819: $\bfk$-vector space. We will sometimes use the formalism of operads
820: explained, for example,
821: in~\cite{markl-shnider-stasheff:book}.
822: Sections~2,~3
823: and~4 containing the
824: main results, however, do not rely on this language.
825:
826: Let $\pL(V)$ denote the free pre-Lie algebra generated by $V$ and
827: $\pL(V)_L$ the associated Lie algebra. We will focus on the Lie
828: algebra $\L(V) \subset \pL(V)$ generated in $\pL(V)_L$ by $V$, called
829: the {\em subalgebra of Lie elements\/} in $\pl(V)$. It is
830: known~\cite{dzhu-lof:HHA02} that $\L(V)$ is (isomorphic to) the free
831: Lie algebra generated by $V$; we will give a new short proof of this
832: statement in Section~3. Our main result, Theorem~\ref{.},
833: describes $\L(V)$ as the kernel of a map
834: \begin{equation}
835: \label{psano_v_Srni}
836: d : \pL(V) \to \pL^1(V),
837: \end{equation}
838: where $\pL^1(V)$ is the subspace of degree $+1$ elements in the free
839: graded pre-Lie algebra $\pL^*(V,\oh)$ generated by $V$ and a degree
840: $+1$ `dummy' variable $\oh$.
841: The map~(\ref{psano_v_Srni}) is later in the paper identified
842: with a very simple map between
843: spaces of trees, see Proposition~\ref{abych_neonemocnel} and
844: Corollary~\ref{,}.
845:
846: Theorem~\ref{.} and Corollary~\ref{,} have
847: immediate applications to the analysis of natural operations on the
848: Chevalley-Eilenberg complex of a Lie algebra. In a future work we also
849: plan to prove that Theorem~\ref{.} implies that the only natural
850: multilinear operations on vector fields on smooth manifolds are, in stable
851: dimensions, iterations of the standard Jacobi bracket. There is
852: also a possible relation of the results of this paper with Loday's
853: theory of triplettes. In the rest of this introductory
854: section, we discuss some of these applications and
855: motivations in more detail.
856:
857:
858: \begin{odstavec}
859: \label{mot}
860: {\rm
861: {\it Motivations.\/}
862: In~\cite{markl:de} we studied, among other things, the
863: differential graded (dg-) operad $\Blie^*$ of natural operations on
864: the Chevalley-Eilenberg complex of a Lie algebra with coefficients in
865: itself, along with its homotopy version
866: $\Bshl^*$, the operad of natural operations on the
867: Chevalley-Eilenberg complex of an $L_\infty$-algebra (=~strongly
868: homotopy Lie algebra, see~\cite{lada-markl:CommAlg95}).
869: We proposed:
870:
871: \begin{problem}
872: \label{-/}
873: Describe the homotopy types, in the non-abelian derived category,
874: of the dg-operads $\Blie^*$ and $\Bshl^*$ of natural operations on the
875: Chevalley-Eilenberg complex.
876: \end{problem}
877:
878: The following conjecture was proposed by D.~Tamarkin.
879:
880: \begin{conjecture}
881: \label{Tamarkin}
882: The operad $\Blie^*$ has the homotopy type of the operad
883: $\Lie$ for Lie algebras.
884: \end{conjecture}
885:
886:
887: It turns out that $\Bshl^*$, which is tied to
888: $\Blie^*$ by the `forgetful' map $c : \Bshl^* \to \Blie^*$, contains a
889: dg-sub-operad $\rpL^* = (\rpL^*,d)$ generated by symmetric
890: braces~\cite{lm:sb} such that $\rpL^0$ (the sub-operad of degree $0$
891: elements) is the operad $\pLie$ governing pre-Lie algebras. Moreover,
892: both $\rpL^0$, $\rpL^1$ and the differential $d : \rpL^0 \to \rpL^1$
893: have very explicit descriptions in terms of planar trees.
894: Our conviction in Conjecture~\ref{Tamarkin} made us believe that the sub-operad
895: $$
896: H^0(\rpL^*) = \Ker \left(\rule{0em}{1em}
897: d : \rpL^0 \to \rpL^1\right)
898: $$
899: of $\rpL^0 \cong \pLie$ equals the operad $\Lie$,
900: \begin{equation}
901: \label{.,}
902: H^0(\rpL^*) \cong \Lie.
903: \end{equation}
904: The main result of this paper, equivalent to isomorphism~(\ref{.,}), is
905: therefore a step towards a solution of Problem~\ref{-/}.
906: }
907: \end{odstavec}
908:
909:
910: \begin{odstavec}
911: \label{gen}
912: {\rm
913: {\it Generalizations.\/}
914: Let us slightly reformulate the above reflections and indicate
915: possible generalizations. Let $\calP$ be a quadratic
916: Koszul operad~\cite[Section~II.3.3]{markl-shnider-stasheff:book} and
917: $\calB_{\calP_\infty} = (\calB_{\calP_\infty},d)$ the dg-operad of
918: natural operations on the complex defining the operadic cohomology of
919: $\calP_\infty$ (= strongly homotopy
920: $\calP$-algebras~\cite[Definition~II.3.128]{markl-shnider-stasheff:book})
921: with coefficients in itself. In~\cite{markl:de} we conjectured that
922: \begin{equation}
923: \label{oooo}
924: H^0(\calB^*_{\calP_\infty})
925: \cong \Lie
926: \end{equation}
927: for each quadratic Koszul operad $\calP$.
928:
929: The operad $\calB^*_{\calP_\infty}$ has a suboperad
930: $\calS^*_{\calP_\infty}$ generated by a restricted class of operations
931: which generalize the braces on the Hochschild cohomology complex of an
932: associative algebra~\cite{gerstenhaber-voronov:FAP95}. The operad
933: $\calS^0_{\calP_\infty}$ of degree~$0$ elements in
934: $\calS^*_{\calP_\infty}$ always contains the operad $\Lie$ for Lie
935: algebras that represents the intrinsic brackets.
936: The conjectural isomorphism~(\ref{oooo}) would therefore imply:
937:
938: \begin{conjecture}
939: \label{jak_to_dopadne}
940: For each quadratic Koszul operad $\calP$,
941: $$
942: \Lie \cong \Ker\left(d : \calS^0_{\calP_\infty} \to \calS^1_{\calP_\infty}
943: \right) .
944: $$
945: \end{conjecture}
946:
947: Moving from operads to free
948: algebras~\cite[Section~II.1.4]{markl-shnider-stasheff:book}, an
949: affirmative solution of this conjecture for a particular operad $\calP$
950: would immediately give a characterization of Lie elements in free
951: $\calS^0_{\calP_\infty}$-algebras.
952:
953: {}From this point of view, the main result of this paper
954: (Theorem~\ref{.}) is a combination of a solution of
955: Conjecture~\ref{jak_to_dopadne} for $\calP=\Lie$ with the
956: identification of $\calS^0_{\Lie_\infty} \cong \pLie$ which expresses
957: the equivalence between symmetric brace algebras and pre-Lie
958: algebras~\cite{guin-oudom,lm:sb}. Conjecture~\ref{jak_to_dopadne}
959: holds also for $\calP = \Ass$, the operad for associative algebras, as
960: we know from the Deligne conjecture in the form proved
961: in~\cite{kontsevich-soibelman}. Since $\calS^0_{\Ass_\infty}$ is the
962: operad for (ordinary, non-symmetric)
963: braces~\cite{gerstenhaber-voronov:FAP95}, one can obtain a description of
964: {\em Lie elements\/} in {\em free brace algebras\/}. }
965: \end{odstavec}
966:
967: \begin{odstavec}
968: {\rm
969: {\em Loday's triplettes.\/}
970: Theorem~\ref{.} can also be viewed as an analog of the characterization of Lie
971: elements in the tensor algebra $T(V)$ as primitives of the
972: bialgebra $\calH = (T(V),\otimes,\Delta)$ with $\Delta$ the shuffle
973: diagonal; we recall this classical result as Theorem~\ref{psano_v_aute} of
974: Section~2. The bialgebra $\calH$ is associative,
975: coassociative cocommutative and its primitives $\Prim(\calH)$ form a
976: Lie algebra. To formalize such situations, J.-L.~Loday introduced
977: in~\cite{loday:slides} the notion of a {\em triplette\/}
978: $(\calC,\spin,\Aalg \stackrel{F}\to \Palg)$,
979: abbreviated $(\calC, \calA,\calP)$,
980: consisting of operads $\calC$ and $\calA$, `spin' relations $\spin$
981: between $\calC$-coalgebras and $\calA$-algebras defining
982: $(\calC,\spin,\calA)$-bialgebras, an operad $\calP$ describing the
983: algebraic structure of the primitives, and a forgetful functor $F : \Aalg
984: \to \Palg$, see
985: Definition~\ref{jeste_ji_musim_napsat_SMS} in Subsection~\ref{trip}.
986:
987:
988: The nature of associative, cocommutative coassociative bialgebras and
989: their primitives is captured by the triplette $(\Com,\Ass,\Lie)$. The
990: classical Theorem~\ref{psano_v_aute} then follows from the fact that
991: the triplette $(\Com,\Ass,\Lie)$ is {\em good\/}, in the sense which
992: we also recall in Subsection~\ref{trip}. An interesting question is
993: whether the case of Lie elements in pre-Lie algebras considered in
994: this paper is governed by a good triplette in which $\calA = \pLie$
995: and $\calP = \Lie$. See Subsection~\ref{trip} for more detail.
996: }
997: \end{odstavec}
998:
999:
1000:
1001: \vskip .3em
1002: \noindent
1003: {\bf Acknowledgments.} I would like to express my thanks to
1004: F.~Chapoton, M.~Livernet, \hbox{J.-L.~Loday}, C.~L\"ofwall,
1005: J.~Stasheff and D.~Tamarkin for many useful comments and
1006: suggestions. I am also indebted to M.~Goze and E.~Remm for their
1007: hospitality during my visit of the University of Mulhouse in the Fall
1008: of 2004 when this work was initiated.
1009:
1010:
1011:
1012: \section{Classical results revisited}
1013: \label{sec1}
1014:
1015: In this section we recall some classical results about Lie elements in
1016: free associative algebras in a language suitable for the purposes of
1017: this paper. Let $\T(V)$ be the tensor algebra generated by a vector
1018: space $V$,
1019: $$
1020: \T(V) = \bfk \oplus \bigoplus_{n=1}^\infty \T^n(V),
1021: $$
1022: where $\T^n(V)$ is the $n$-th tensor power $\bigotimes^n (V)$ of the
1023: space $V$. Let $\T(V)_{L}$ denote the space $\T(V)$ considered as a Lie
1024: algebra with the commutator bracket
1025: $$
1026: [x,y] := x\ot y - y\ot x,\hskip 1em x,y \in \T(V),
1027: $$
1028: and let $\fL(V) \subset \T(V)$ be the Lie sub-algebra of
1029: $\T(V)_{L}$ generated by $V$. It is well-known that $\fL(V)$ is
1030: (isomorphic to) the
1031: free Lie algebra generated by $V$~\cite[\S4, Theorem~2]{serre:65}.
1032:
1033: There are several characterizations of the subspace $\fL(V)
1034: \subset \T(V)$~\cite{ree:AnM69,serre:65}.
1035: Let us recall the one which uses the {\em
1036: shuffle diagonal\/} $\Delta : \T(V) \to \T(V) \ot \T(V)$ given, for
1037: $v_1 \ot \cdots \ot v_n \in \T^n(V)$,~by
1038: \begin{equation}
1039: \label{jake_bude_pocasi}
1040: \Delta(v_1 \ot \cdots \ot v_n) :=
1041: \sum_{i=0}^n\sum_{\sigma \in\Sh(i,n-i)}
1042: [v_{\sigma(1)} \ot \cdots \ot v_{\sigma(i)} ]
1043: \ot [v_{\sigma(i+1)} \ot \cdots \ot v_{\sigma(n)}],
1044: \end{equation}
1045: where $\Sh(i,n-i)$ denotes the set of all $(i,n-i)$-shuffles,
1046: i.e.~permutations $\sigma \in \Sigma_n$ such that
1047: $$
1048: \sigma(1) < \cdots < \sigma(i)\ \mbox { and }
1049: \sigma(i+1) < \cdots < \sigma(n).
1050: $$
1051:
1052: Notice that, in the right hand side of~(\ref{jake_bude_pocasi}), the
1053: symbol $\ot$ has two different meanings, the one inside the brackets
1054: denotes the tensor product in $\T(V)$, the middle one the tensor
1055: product of two copies of $\T(V)$. To avoid this ambiguity, we denote
1056: the product in $\T(V)$ by the dot~$\ccdot$,~(\ref{jake_bude_pocasi})
1057: will then read as
1058: $$
1059: \Delta(v_1 \ccdot \cdots \ccdot v_n) :=
1060: \sum_{i=0}^n\sum_{\sigma \in \Sh(i,n-i)}
1061: [v_{\sigma(1)} \ccdot \cdots \ccdot v_{\sigma(i)}]
1062: \ot [v_{\sigma(i+1)} \ccdot\cdots \ccdot v_{\sigma(n)}].
1063: $$
1064:
1065: The triple $(\T(V),\ccdot,\Delta)$ is a standard example of a unital counital
1066: associative coassociative cocommutative Hopf algebra.
1067: We will need also the {\em augmentation ideal\/}
1068: $\bfA(V) \subset \fA(V)$ which equals $\fA(V)$ minus the ground field,
1069: $$
1070: \bfA(V) = \bigoplus_{n=1}^\infty \T^n(V),
1071: $$
1072: and the {\em reduced\/} diagonal $\bDelta : \bfA(V) \to \bfA(V) \ot
1073: \bfA(V)$ defined as
1074: $$
1075: \bDelta(x) := \Delta(x) - 1 \ot x - x \ot 1,\ \mbox { for $x \in \bfA(V)$,}
1076: $$
1077: or, more explicitly,
1078: $$
1079: \bDelta(v_1 \ccdot \cdots \ccdot v_n) :=
1080: \sum_{i=1}^{n-1}\sum_{\sigma \in \Sh(i,n-i)}
1081: [v_{\sigma(1)} \ccdot \cdots \ccdot v_{\sigma(i)}]
1082: \ot [v_{\sigma(i+1)} \ccdot\cdots \ccdot v_{\sigma(n)}],
1083: $$
1084: for $v_1,\ldots,v_n \in V$ and $n \geq 1$. Clearly $\L(V) \subset
1085: \bT(V)$. The following theorem is classical~\cite{serre:65}.
1086:
1087: \begin{theorem}
1088: \label{psano_v_aute}
1089: The subspace $\fL(V) \subset \bT(V)$ equals the subspace of
1090: primitive elements,
1091: $$
1092: \fL(V) = \Ker\left(\bDelta : \bfA(V) \to \bfA(V)\ot \bfA(V)\right).
1093: $$
1094: \end{theorem}
1095:
1096: The diagonal $\Delta : \T(V) \to \T(V) \ot \T(V)$ is a homomorphism of
1097: associative algebras, that~is
1098: \begin{equation}
1099: \label{to_jsem_zvedav_jesli_budou_pastviny_fungovat}
1100: \Delta (x \ccdot y) = \Delta(x) \ccdot \Delta(y),\ \mbox { for $x \in \T(V)$,}
1101: \end{equation}
1102: where the same $\ccdot$ denotes both the multiplication in $\T(V)$ in
1103: the left hand side and the induced multiplication of $\T(V) \ot \T(V)$
1104: in the right hand side. The reduced diagonal $\bDelta : \bfA(V) \to
1105: \bfA(V) \ot \bfA(V)$ is, however, of a different nature:
1106:
1107: \begin{proposition}
1108: For each $x,y \in \bfA(V)$,
1109: \begin{equation}
1110: \label{1}
1111: \bDelta(x\ccdot y) = \Delta(x)\ccdot\bDelta(y) + \bDelta(x)\ccdot(y \ot 1 +
1112: 1 \ot y) + (x \ot y + y \ot x).
1113: \end{equation}
1114: \end{proposition}
1115:
1116: The proof is a direct verification which we leave for the reader. We
1117: are going to reformulate~(\ref{1}) using an action of $\bT(V)$ on
1118: $\bT(V) \ot \bT(V)$ defined as follows. For $\xi \in \bfA(V) \ot
1119: \bfA(V)$ and $x \in \bfA(V)$, let
1120: \begin{equation}
1121: \label{2}
1122: \begin{array}{rcl}
1123: x* \xi &:=& \Delta(x)\ccdot \xi \in \bfA(V) \ot \bT(V),\ \mbox { and}
1124: \\
1125: \xi* x &:=& \xi \ccdot (1 \ot x + x \ot 1) \in \bfA(V) \ot \bT(V),
1126: \rule{0em}{1.2em}
1127: \end{array}
1128: \end{equation}
1129: where $\ccdot$ denotes, as before, the tensor multiplication in
1130: $\bT(V) \ot \bT(V)$. Observe that, while
1131: \begin{equation}
1132: \label{3}
1133: (x\ccdot y)* \xi = x *(y* \xi)\ \mbox { and }\ (x*\xi)*y = x*(\xi* y),
1134: \end{equation}
1135: $(\xi* x)* y \not=\xi* (x\ccdot y)$, therefore the action~(\ref{2})
1136: {\em does not\/} make $\bT(V) \ot \bT(V)$ a bimodule over the associative
1137: algebra $(\bfA(V),\ccdot)$. To understand the algebraic properties of
1138: the above action better, we need to recall the following important
1139:
1140: \begin{Definition}{\rm (\cite{gerstenhaber:AM63})}
1141: A {\em pre-Lie\/} algebra is a vector space $X$ with a bilinear
1142: product $\star : X \ot X \to X$ such that the associator $\Phi :
1143: X^{\ot 3} \to X$ defined by
1144: \begin{equation}
1145: \label{dnes_jsem_objel_Polednik}
1146: \Phi(x,y,z):=(x \star y) \star z-x\star (y\star z),\ \mbox { for
1147: $x,y,z \in X$},
1148: \end{equation}
1149: is symmetric in the last two variables,
1150: $\Phi(x,y,z) = \Phi(x,z,y)$. Explicitly,
1151: \begin{equation}
1152: \label{aby_to_nezkoncilo_prusvihem}
1153: (x\star y) \star z-x\star (y\star z) =
1154: (x\star z) \star y-x\star (z\star y)\ \mbox { for each $x,y,z \in X$}.
1155: \end{equation}
1156: \end{Definition}
1157:
1158: There is an obvious graded version of this definition. Pre-Lie
1159: algebras are known also under different names, such as right-symmetric
1160: algebras, Vinberg algebras, \&c. Pre-Lie algebras are particular
1161: examples of {\em Lie-admissible\/} algebras~\cite{markl-remm}, which means
1162: that the object $X_L := (X,[-,-])$ with $[-,-]$ the commutator of
1163: $\star$, is a Lie algebra. Each associative algebra is clearly
1164: pre-Lie. In the following proposition, $\bfA(V)_{pL}$ denotes the
1165: augmentation ideal $\bT(V)$ of the associative algebra $\T(V)$
1166: considered as a pre-Lie algebra.
1167:
1168: \begin{proposition}
1169: Formulas~(\ref{2}) define on $\bfA(V) \ot \bfA(V)$ a structure of a
1170: bimodule over the pre-Lie algebra $\bfA(V)_{pL}$. This means that
1171: $$
1172: (\xi* x)*y - \xi * (x \ccdot y) = (\xi * y) * x - \xi* (y \ccdot x)
1173: $$
1174: and
1175: $$
1176: (x \ccdot y) * \xi - x * (y* \xi) = (x * \xi) *y - x*(\xi* y),
1177: $$
1178: for each $x,y \in \bT(V)$ and $\xi \in \bT(V) \ot \bT(V)$. In
1179: particular, $\bfA(V) \ot \bfA(V)$ is a module over the Lie algebra
1180: $\bfA(V)_L$.
1181: \end{proposition}
1182:
1183: \begin{Proof}
1184: To prove the first equality, notice that
1185: $$
1186: (\xi * x) *y - \xi *(x \ccdot y)
1187: = \xi\ccdot(x \ot y + y \ot x) = (\xi* y)*x - \xi*(y \ccdot x).
1188: $$
1189: The second one immediately follows from~(\ref{3}).
1190: \end{Proof}
1191:
1192:
1193: Using action~(\ref{2}), rule~(\ref{1}) can be rewritten as
1194: \begin{equation}
1195: \label{4}
1196: \bDelta(x \ccdot y) = \bDelta(x)*y + x*\bDelta(y) + R(x,y),\
1197: x,y \in \bT(V),
1198: \end{equation}
1199: where the symmetric bilinear form $R(x,y) := x \ot y + y \ot x$
1200: measures the deviation of $\bDelta$ from being a pre-Lie algebra
1201: derivation in
1202: $$
1203: {\it Der}_{\it pre-Lie}\left(\bfA(V)_{pL},\bfA(V) \ot
1204: \bfA(V)\right).
1205: $$
1206:
1207: On the other hand, since $R: \bT(V) \to \bT(V) \ot \bT(V)$ is
1208: symmetric, $\bDelta$ is a derivation of the associated Lie algebra
1209: $\bfA(V)_L$,
1210: $$
1211: \bDelta \in {\it Der}_{\it Lie}\left(\bfA(V)_{L},\bfA(V) \ot \bfA(V)\right),
1212: $$
1213: which implies that $\L(V) \subset \Ker(\bDelta)$. The following
1214: statement is completely obvious and we formulate it only to motivate
1215: Proposition~\ref{a} of Section~3.
1216:
1217: \begin{proposition}
1218: \label{strasne_pocasi_trva}
1219: The map $\bDelta : \bT(V) \to \bT(V) \ot \bT(V)$ is uniquely
1220: determined by the rule~(\ref{4}) together with the requirement that
1221: $\bDelta(v) = 0$ for $v \in V$.
1222: \end{proposition}
1223:
1224: Observe that the reduced diagonal $\bDelta : \bfA(V) \to \bfA(V) \ot
1225: \bfA(V)$ is the initial differential of the cobar construction
1226: \begin{equation}
1227: \label{1a}
1228: {\it Cob}(\bT(V),\bDelta): \hskip 1em
1229: \bfA(V) \stackrel{d}{\longrightarrow}
1230: \bfA(V) \ot \bfA(V) \stackrel{d}{\longrightarrow}
1231: \bfA(V)\ot \bfA(V)\ot \bfA(V) \stackrel{d}{\longrightarrow}\cdots
1232: \end{equation}
1233: of the coassociative coalgebra $(\bfA(V),\bDelta)$.
1234: Complex~(\ref{1a}) calculates the cohomology
1235: \begin{equation}
1236: \label{ooOoo}
1237: H^*\left(\T(V),\Delta\right) =
1238: {\it Cotor}^{*+1}_{(\T(V),\Delta)}(\bfk,\bfk)
1239: \end{equation}
1240: of the shuffle coalgebra.
1241:
1242: On the other hand,
1243: by the Poincar\'e-Birkhoff-Witt theorem,
1244: there is an isomorphism of coalgebras
1245: $$
1246: (\T(V),\Delta) \cong (\bfk[\L(V)],\nabla),
1247: $$
1248: where the polynomial ring $\bfk[\L(V)]$ in the right hand side is equipped
1249: with the standard cocommutative comultiplication $\nabla$.
1250: Dualizing the proof of the
1251: classical~\cite[Theorem~VII.2.2]{maclane:homology},
1252: one obtains the isomorphism
1253: $$
1254: {\it Cotor}^{*}_{(\bfk[\L(V)],\nabla)}(\bfk,\bfk) \cong \ext^*(\L(V))
1255: $$
1256: where $\ext^*(-)$
1257: denotes the exterior algebra functor.
1258: We conclude that
1259: $$
1260: H^*\left(\T(V),\Delta\right) \cong \ext^{*+1}(\L(V)).
1261: $$
1262:
1263: \section{Lie elements in the free pre-Lie algebra}
1264: \label{sec2}
1265:
1266: In this section we show that the results reviewed in
1267: Section~2 translate to pre-Lie algebras.
1268: Let $\pL(V) = (\pL(V),\star)$ denote the free pre-Lie algebra
1269: generated by a vector space $V$ and let $\pL(V)_L$ be the associated
1270: Lie algebra. The following proposition is proved
1271: in~\cite{dzhu-lof:HHA02}, but we will give a shorter and more
1272: direct proof, which was kindly suggested to us by M.~Livernet.
1273:
1274: \begin{proposition}
1275: The subspace $\L(V) \subset \pL(V)_L$ generated by $V$ is isomorphic
1276: to the free Lie algebra on $V$.
1277: \end{proposition}
1278:
1279:
1280: \noindent
1281: {\bf Proof}
1282: (due to M.~Livernet).\hglue 1.8em
1283: Let us denote in
1284: this proof by $\L'(V)$ the Lie subalgebra of $\pL(V)_L$ generated by $V
1285: \subset \pL(V)$ and by $\L''(V)$ the Lie subalgebra of $\T(V)_L$ generated by
1286: $V \subset \T(V)$. The canonical map $\pL(V) \to \T(V)_{pL}$ clearly
1287: induces a map $\pL(V)_L \to \T(V)_L$ which restricts to a Lie algebra
1288: homomorphism $\alpha: \L'(V) \to \L''(V)$.
1289:
1290: Let $\L(V)$ be, as before, the free Lie algebra generated by
1291: $V$. Since $\L'(V)$ is also generated by $V$, the canonical map $\beta
1292: : \L(V) \to \L'(V)$ is an epimorphism. To prove that it is a
1293: monomorphism, observe that the composition $\alpha \beta : \L(V) \to
1294: \L''(V)$ coincides with the canonical map induced by the inclusion $V
1295: \hookrightarrow \L''(V)$. Since $\L''(V)$ is isomorphic to the free
1296: Lie algebra generated by $V$~\cite[\S4, Theorem~2]{serre:65}, the
1297: composition $\alpha \beta : \L(V) \to \L''(V)$ is an isomorphism,
1298: therefore $\beta$ must be monic. We conclude that the canonical map
1299: $\beta : \L(V) \to \L'(V)$ is an isomorphism, which finishes the
1300: proof.\qed
1301:
1302: Consider the free graded pre-Lie algebra $\pL(V,\oh)$ generated by $V$
1303: and one `dummy' variable $\oh$ placed in degree $+1$. Observe that
1304: \begin{equation}
1305: \label{5}
1306: \pL^*(V,\oh) = \pL(V) \oplus \bigoplus_{n \geq 1} \pL^n(V),
1307: \end{equation}
1308: where $\pL^n(V)$ is the subset of $\pL(V)$ spanned by
1309: monomials with exactly $n$ occurrences of the dummy variable $\oh$.
1310:
1311: We need to consider also the graded pre-Lie algebra $\rpL(V)$ (``r''
1312: for ``reduced'') defined as the quotient
1313: $$
1314: \rpL(V) := \pL(V,\oh)/(\oh \star \oh)
1315: $$
1316: of the free pre-Lie algebra $\pL(V,\oh)$ by the ideal $(\oh \star \oh)$
1317: generated by $\oh \star \oh$. The grading~(\ref{5}) clearly induces a
1318: grading of $\rpL(V)$ such that $\rpL^0(V) = \pL(V)$ and $\rpL^1(V) =
1319: \pL^1(V)$,
1320: \begin{equation}
1321: \label{koupali-jsme-se-na-Hradistku}
1322: \rpL^*(V) = \pL(V) \oplus \pL^1(V) \oplus \bigoplus_{n \geq 2}
1323: \rpL^n(V).
1324: \end{equation}
1325: The following statement, in which $\Phi$ is the
1326: associator~(\ref{dnes_jsem_objel_Polednik}), is an analog of
1327: Proposition~\ref{strasne_pocasi_trva}.
1328:
1329: \begin{proposition}
1330: \label{a}
1331: There exists precisely one degree $+1$ map $d : \rpL^*(V) \to
1332: \rpL^{*+1}(V)$ such that $d(v) = 0$ for $v \in V$, $d(\oh) = 0$ and
1333: \begin{equation}
1334: \label{0}
1335: d(a \star b) = d(a) \star b + (-1)^{|a|} a \star d(b) + Q(a,b),
1336: \end{equation}
1337: where
1338: \begin{equation}
1339: \label{6}
1340: Q(a,b) : = (\oh \star a ) \star b - \oh \star (a \star b) = \Phi(\oh,a,b),
1341: \end{equation}
1342: for $a,b \in \rpL^*(V)$. Moreover, $d^2 = 0$.
1343: \end{proposition}
1344:
1345: \begin{Proof}
1346: The uniqueness of the map $d$ with the properties stated
1347: in the proposition is clear. To prove that such a map exists, we show
1348: first that there exists a degree one map $\td : \pL(V,\oh) \to
1349: \pL(V,\oh)$ of graded free pre-Lie algebras such that $\td(v) = 0$ for $v
1350: \in V$, $\td(\oh) = 0$ and
1351: \begin{equation}
1352: \label{0'}
1353: \td(x \star y) = \td(x) \star y + (-1)^{|x|} x \star \td(y) + Q(x,y),
1354: \end{equation}
1355: where $Q(x,y) : = \Phi(\oh,x,y)$ for $x,y \in \pL(V,\oh)$. Let us
1356: verify that the above rule is compatible with the axiom $\Phi(x,y,z) =
1357: (-1)^{|z||y|}\Phi(x,z,y)$ of graded pre-Lie
1358: algebras. Applying~(\ref{0'}) twice, we obtain
1359: \begin{eqnarray}
1360: \label{16a}
1361: \td\Phi(x,y,z) \!\! &=&\!\!
1362: \Phi(\td x,y,z) + (-1)^{|x|} \Phi(x,\td y,z) + (-1)^{|x| +
1363: |y|}\Phi(x,y,\td z)
1364: \\ \nonumber
1365: &&
1366: - (-1)^{|x|} x \star Q(y,z) + Q(x \star y,z) +Q(x,y) \star z -
1367: Q(x,y \star z),
1368: \end{eqnarray}
1369: for arbitrary $x,y,z \in \pL(V,\oh)$.
1370:
1371: Let us make a small digression and observe that the associator $\Phi$
1372: behaves as a Hochschild cochain, that is
1373: $$
1374: \oh \star\Phi (x,y,z) - \Phi(\oh \star x,y,z) + \Phi(\oh, x \star y,z)
1375: - \Phi(\oh,x,y\star z) + \Phi(\oh,x,y) \star z = 0.
1376: $$
1377: It follows from the definition of the form $Q$ and the above equation
1378: that the last three terms of~(\ref{16a}) equal $\Phi(\oh \star x,y,z)
1379: - \oh \star\Phi (x,y,z)$, therefore~(\ref{16a}) can be rewritten as
1380: \begin{eqnarray*}
1381: \td\Phi(x,y,z) &=&
1382: \Phi(\td x,y,z) + (-1)^{|x|} \Phi(x,\td y,z) + (-1)^{|x| +
1383: |y|}\Phi(x,y,\td z)
1384: \\ \nonumber
1385: &&
1386: - (-1)^{|x|} x \star Q(y,z) + \Phi(\oh \star x,y,z)
1387: - \oh \star\Phi (x,y,z).
1388: \end{eqnarray*}
1389: Since the right hand side of the
1390: above equality is graded symmetric in $y$ and $z$, we conclude that
1391: $$
1392: \td \left(\Phi(x,y,z) - (-1)^{|z||y|}\Phi(x,z,y)\right) =0,
1393: $$
1394: which implies the existence of $\td : \pL(V,\oh) \to \pL(V,\oh)$ with
1395: the properties stated above. It is easy to verify, using~(\ref{0'})
1396: and the assumption $\td(\oh) = 0$, that
1397: \begin{equation}
1398: \label{k}
1399: \td(\oh \star \oh) = \Phi(\oh,\oh,\oh)
1400: \end{equation}
1401: and that
1402: \begin{equation}
1403: \label{l}
1404: \td^2(x \star y) = \td^2(x) \star y + x \star \td^2(y) + Q(\td x,y) +
1405: (-1)^{|x|} Q(x,\td y) + \Phi(\oh \star \oh,x,y)
1406: \end{equation}
1407: for arbitrary $x,y \in \pL(V,\oh)$.
1408:
1409: A simple induction on the number of generators based on~(\ref{k})
1410: together with the rule~(\ref{0'}) shows that $\td$ preserves the ideal
1411: generated by $\oh \star \oh$. An equally simple induction based
1412: on~(\ref{l}) and~(\ref{0'}) shows that $\Im(\td^2)$ is a subspace of
1413: the same ideal. We easily conclude from the above facts that $\td$
1414: induces a map $d : \rpL^*(V) \to \rpL^{*+1}(V)$ required by the
1415: proposition.
1416: \end{Proof}
1417:
1418:
1419: Let us remark that each pre-Lie algebra
1420: $(X,\star)$ determines a unique {\em symmetric brace algebra\/}
1421: $(X,-\langle -,\ldots,-\rangle)$ with $x \langle y \rangle = x\star y$
1422: for $x,y \in X$~\cite{lm:sb,guin-oudom}.
1423: The bilinear form $Q$ in~(\ref{0}) then can be
1424: written as
1425: $$
1426: Q(a,b) = \oh \langle a,b \rangle,\ \mbox { for } a,b \in \rpL(V).
1427: $$
1428: The complex
1429: \begin{equation}
1430: \label{za_chvili_tam_musim_volat_a_hrozne_se_mi_nechce!}
1431: \pL(V) \stackrel{d}{\longrightarrow} \pL^1(V)
1432: \stackrel{d}{\longrightarrow} \rpL^2(V) \stackrel{d}{\longrightarrow} \cdots
1433: \end{equation}
1434: should be viewed as an analog of the cobar construction~(\ref{1a}).
1435: We will see in Section~5 that it describes natural
1436: operations on the Chevalley-Eilenberg cohomology of a Lie algebra.
1437: The main result of this paper reads:
1438:
1439:
1440: \begin{theorem}
1441: \label{.}
1442: The subspace $\fL(V) \subset \pL(V)$ equals the kernel of the map $d :
1443: \pL(V) \to \pL^1(V)$,
1444: $$
1445: \fL(V) = \Ker \left(\rule{0em}{1em} d : \pL(V) \to \pL^1(V) \right).
1446: $$
1447: \end{theorem}
1448:
1449: In Section~4 we
1450: describe the spaces $\pL(V)$, $\pL^1(V)$ and the map $d : \pL(V) \to
1451: \pL^1(V)$ in terms of trees. Theorem~\ref{.} will be proved in
1452: Section~6.
1453:
1454: \section{Trees}
1455: \label{v_podstate_cela_napsana_v_Moravske_Trebove}
1456:
1457: We begin by recalling a tree description of free pre-Lie algebras due
1458: to F.~Chapoton and M.~Livernet~\cite{chapoton-livernet:pre-lie}. By a
1459: {\em tree\/} we understand a finite connected simply connected graph
1460: without loops and multiple edges. We will always assume that our trees
1461: are {\em rooted\/} which, by definition, means that one of the
1462: vertices, called the {\em root\/}, is marked and all edges are
1463: oriented, pointing to the root.
1464:
1465: Let us denote by $\Tr_n$ the set of all trees with $n$ vertices
1466: numbered $1,\ldots,n$. The symmetric group $\Sigma_n$ act on
1467: $\Tr_n$ by relabeling the vertices. We define
1468: $$
1469: \Tr_n(V) := {\rm Span}_{\bfk}{(\Tr_n)} \ot_{\Sigma_n} \otexp Vn,\
1470: n \geq 1,
1471: $$
1472: where ${\rm Span}_{\bfk}{(\Tr_n)}$ denotes the $\bfk$-vector space
1473: spanned by $\Tr_n$ with the induced $\Sigma_n$-action and where
1474: $\Sigma_n$ acts on $\otexp Vn$ by permuting the
1475: factors. Therefore $\Tr_n(V)$ is the set of trees with $n$
1476: vertices decorated by elements of $V$.
1477:
1478:
1479: \begin{example}
1480: %{\rm
1481: The set $\Tr_1$ consists of a single tree
1482: \hskip .3em $\bullet$ \hskip .3em with one vertex (which is also the
1483: root) and no edges, thus $\Tr_1(V) \cong V$. The set $\Tr_2$
1484: consists of labelled trees
1485: $$
1486: \stromI{\sigma_1}{\sigma_2}
1487: $$
1488: where $\hskip .1em \root \hskip .1em $
1489: denotes the root and $\sigma \in \Sigma_2$. This means
1490: that $V$-decorated trees from $\Tr_2(V)$ look~as
1491: $$
1492: \stromI uv
1493: $$
1494: where $u,v \in V$, therefore $\Tr_2(V) \cong \otexp V2$. Similarly,
1495: $\Tr_3(V) \cong \otexp V3 \oplus (V \ot S^2(V))$, where $S^2(V)$
1496: denotes the second symmetric power of $V$. The corresponding decorated
1497: trees are
1498: $$
1499: \rule{0em}{4em}
1500: \mbox{\stromII uvw \hskip 3em \raisebox{1.5em}{ and }\hskip 3em \stromIII uvw}
1501: $$
1502: for $u,v,w \in V$. Finally,
1503: $$
1504: \Tr_4(V) \cong \otexp V4 \oplus \otexp V4 \oplus (\otexp V2 \ot S^2(V))
1505: \oplus (V \ot S^3(V)),
1506: $$
1507: with the summands corresponding to the decorated trees
1508: \begin{equation}
1509: \label{snad_nenachladnu}
1510: \raisebox{-2.7em}{\rule{0em}{5em}}
1511: \stromIV tuvw \hskip 3em \stromV tuvw \hskip 3em \stromVI tuvw
1512: \hskip 3em \stromVII tuvw
1513: \end{equation}
1514: with $t,u,v,w \in V$.
1515: %}
1516: \end{example}
1517:
1518: \begin{theorem}
1519: {\rm (Chapoton-Livernet~\protect\cite{chapoton-livernet:pre-lie})}
1520: \label{jsem_zvedav_jak_povezu_tu_VOSu_v_desti}
1521: Let $\Tr(V) := \bigoplus_{n \geq 1}\Tr_n(V).$ Then there is a natural
1522: isomorphism
1523: \begin{equation}
1524: \label{zitra_odjizdim_na_zavody}
1525: \pL(V) \cong \Tr(V).
1526: \end{equation}
1527: \end{theorem}
1528:
1529: The pre-Lie multiplication in the left hand side
1530: of~(\ref{zitra_odjizdim_na_zavody}) translates to the vertex
1531: insertion of decorated trees in the right hand side,
1532: see~\cite{chapoton-livernet:pre-lie} for details.
1533:
1534:
1535: \begin{example}
1536: %{\rm
1537: The most efficient way to identify decorated trees with elements
1538: of free pre-Lie algebras is to use the formalism of symmetric brace
1539: algebras~\cite{lm:sb}. The trees in~(\ref{snad_nenachladnu})
1540: then represent the following elements of $\pL(V)$:
1541: $$
1542: t \langle u \langle v \langle w \rangle \rangle \rangle,\
1543: t \langle u,v \langle w \rangle \rangle, \
1544: t \langle u \langle v,w \rangle \rangle\
1545: \mbox { and } \ t \langle u,v,w \rangle.
1546: $$
1547: %}
1548: \end{example}
1549:
1550: Using the same tree description~\cite{chapoton-livernet:pre-lie} of the
1551: free graded pre-Lie algebra $\pL(V,\oh)$, one can easily get
1552: a natural isomorphism
1553: \begin{equation}
1554: \label{zitra_odjizdim_na_zavody-uz_tam_sem}
1555: \pL^1(V) \cong \Tr^1(V) := \bigoplus_{n \geq 0} \Tr_n^1(V),
1556: \end{equation}
1557: where $\Tr_n^1(V)$ is the set of all trees with $n$ vertices decorated
1558: by elements of $V$ and one vertex decorated by the dummy variable
1559: $\oh$. We call the vertex decorated by $\oh$ the {\em special
1560: vertex\/}.
1561:
1562:
1563: \begin{example}
1564: %{\rm
1565: Clearly $\Tr_0^1(V) \cong \bfk$ while $\Tr_1^1(V) \cong V \oplus V$ with
1566: the corresponding decorated trees
1567: $$
1568: \stromVIII \oh\bullet {}u
1569: \hskip 3em \raisebox{.8em}{ and }\hskip 3em
1570: \stromVIII \bullet\oh u{}
1571: $$
1572: where $u \in V$. Similarly,
1573: $$
1574: \Tr_2^1(V) \cong \otexp V2 \oplus \otexp V2 \oplus \otexp V2 \oplus
1575: \otexp V2 \oplus S^2(V)
1576: $$
1577: with the corresponding trees
1578: $$
1579: \stromIX \oh\bullet\bullet{}uv
1580: \hskip 3em
1581: \stromIX \bullet\oh\bullet u{}v
1582: \hskip 3em
1583: \stromIX \bullet\bullet\oh uv{}
1584: \hskip 3em
1585: \stromX \bullet\bullet\oh uv{}
1586: \hskip 3em
1587: \stromX \bullet\oh\bullet u{}v
1588: $$
1589: for $u,v \in V$.
1590: In the above pictures we always placed the root
1591: on the top. Some examples of decorated trees from
1592: $\Tr_n^1(V)$, $n\geq 3$, can also be found in
1593: Examples~\ref{abych_jeste_neonemocnel},
1594: \ref{uz_ctvrty_neletovy_den_v_rade}, \ref{mmm} and~\ref{yyy}.
1595: %}
1596: \end{example}
1597:
1598:
1599: Let us describe the map $d : \pL(V) \to \pL^1(V)$ of Theorem~\ref{.}
1600: in terms of decorated trees. We say that an edge $e$ of a decorated
1601: tree $S\in \Tr_n^1(V)$ is {\em special\/} if it is adjacent to the
1602: special vertex of $S$. Given such an edge $e$, we define
1603: the quotient $S/e \in \Tr_n(V)$ by contracting the special edge of $S$
1604: into a vertex and decorating this vertex by the label of the (unique)
1605: endpoint of $e$ different from the special vertex. In the following
1606: examples, the special edge will be marked by the double line.
1607:
1608: \begin{example}
1609: \label{abych_jeste_neonemocnel}
1610: %{\rm
1611: If $S \in \Tr^1_3(V)$ is the tree
1612: $$
1613: \raisebox{.5em}{S \hskip .3em = \hskip .3em \stromXIVe \hskip .3em ,}
1614: $$
1615: $u,v,w \in V$, then
1616: \vskip .3em
1617: $$
1618: S/e \hskip .3em = \hskip .6em \raisebox{-1em}{\stromIII vuw}\hskip .3em .
1619: $$
1620: %}
1621: \end{example}
1622:
1623: Let $T \in \Tr_n(V)$. We call a couple $(S,e)$, where $S \in
1624: \Tr_n^1(V)$ and $e$ a special edge of $S$, a {\em blow-up\/} of\/
1625: $T$ if $S/e \cong T$ and if the arity (= the number of incoming
1626: edges) of the special vertex of $S$ is $\geq 2$.
1627: We denote by $\Bl(T)$ the set of all blow-ups of $T$.
1628:
1629: \begin{example}
1630: \label{uz_ctvrty_neletovy_den_v_rade}
1631: %{\rm
1632: The set $\Bl(\hskip .1em \raisebox{.1em}{\root}\hskip .1em)$ is
1633: empty. The simplest nontrivial example of a blow-up is
1634: \begin{eqnarray*}
1635: \Bl \left(\hskip -2.5em
1636: \raisebox {-.8em}{\stromI uv} \hskip .3em\right) &=&
1637: \left\{
1638: \stromXI \bullet\oh\bullet u{}v
1639: \right\},
1640: \end{eqnarray*}
1641: \vskip .2em
1642: \noindent
1643: where the double line denotes, as in
1644: Example~\ref{abych_jeste_neonemocnel}, the special edge. Let us give
1645: two more examples where $u$, $v$ and $w$ are elements of $V$:
1646: \begin{eqnarray*}
1647: \Bl \left(\rule{0pt}{2.7em}\hskip 1em \raisebox {-1.3em}{\stromII uvw} \hskip
1648: .6em\right) &=&
1649: \left\{ \rule{0em}{3em} \hskip .4em
1650: \stromXII \hskip .4em , \stromXIII\hskip .4em
1651: \right\} \hskip .4em \mbox { and }
1652: \\
1653: \Bl \left(\hskip .4em \raisebox {-1.3em}{\stromIII uvw} \hskip
1654: .4em\right) &=&
1655: \left\{ \rule{0em}{3em} \hskip .4em
1656: \stromXIV \hskip .4em , \hskip .4em
1657: \stromXV \hskip .4em , \stromXVI\hskip .4em, \stromeXtra\hskip .4em
1658: \right\}.
1659: \end{eqnarray*}
1660: %}
1661: \end{example}
1662:
1663: The last thing we need is to introduce, for $(S,e) \in \Bl(T)$, the
1664: sign $\epsilon_{(S,e)} \in \{-1,+1\}$ as
1665: $$
1666: \epsilon_{(S,e)} := \cases {+1}{if $e$ is an
1667: incoming edge of the special vertex, and}
1668: {-1}{if $e$ is the
1669: outgoing edge of the special vertex.}
1670: $$
1671: Finally, define the map
1672: \begin{equation}
1673: \label{Nunyk}
1674: \delta : \Tr(V) \to \Tr^1(V)
1675: \end{equation}
1676: by
1677: $$
1678: \delta(T) : = \sum_{(S,e) \in \Bl(T)} \epsilon_{(S,e)} S.
1679: $$
1680:
1681: \begin{example}
1682: \label{mmm}
1683: %{\rm
1684: In this example, $t,u,v$ and $w$ are arbitrary elements of $V$. We
1685: stick to our convention that the root is placed on the top.
1686: Let us give first some examples of the map $\delta : \Tr(V) \to
1687: \Tr^1(V)$ that follow immediately from the calculations in
1688: Example~\ref{uz_ctvrty_neletovy_den_v_rade}. We keep the
1689: double lines indicating
1690: which edges has been blown-up:
1691: \begin{eqnarray*}
1692: \delta(\hskip .1em \raisebox{.1em}{\root}\hskip .1em ) &=& 0,
1693: \\
1694: \delta\left(\hskip -2.5em
1695: \raisebox {-.8em}{\stromI uv} \hskip .4em
1696: \right)
1697: &=& \stromXI \bullet\oh\bullet u{}v, \rule{0em}{2.5em}
1698: \\
1699: \rule{0em}{3.3em}\delta\left( \hskip -.4em \rule{0em}{2.3em} \hskip 1em
1700: \raisebox{-1.3em}{\stromII uvw}\hskip .8em \right) &=&
1701: \stromXII \hskip .4em + \stromXIII,
1702: \\
1703: \rule{0em}{3.3em}\delta \left(\hskip .4em
1704: \raisebox {-1.3em}{\stromIII uvw} \hskip .4em\right)
1705: &=&
1706: \stromXV \hskip .4em + \hskip .4em \stromXIV \hskip .4em
1707: + \hskip .4em \stromeXtra \hskip .4em -
1708: \stromXVI.
1709: \end{eqnarray*}
1710:
1711: \vskip .5em
1712: \noindent
1713: Let us give some more formulas, this time without indicating the
1714: blown-up edges:
1715: \begin{eqnarray*}
1716: \rule{0em}{3.7em}\delta
1717: \left(\hskip 1.3em\raisebox{.4em}{\stromIV tuvw} \right) &=&
1718: \stromXX + \stromXXI + \stromXXII,
1719: \\
1720: \rule{0em}{3.7em}\delta
1721: \left(\hskip .3em\raisebox{.4em}{\stromV tuvw} \hskip .1em \right) &=&
1722: \stromXXIII + \stromXXIV + \stromXXV
1723: \\
1724: && \hskip 2em \raisebox{1.5em}{ + \stromXXVIextra - \stromXXVI,}
1725: \\
1726: \rule{0em}{3.3em}\delta \left(\hskip .4em
1727: \raisebox {.3em}{\stromVI tuvw} \hskip .4em\right) &=&
1728: \stromXXVII + \stromXXVIII - \stromXXIX
1729: \\
1730: && \hskip 2em \raisebox{1.5em}{+ \stromXXX +\stromExtra.}
1731: \end{eqnarray*}
1732: %}
1733: \end{example}
1734:
1735:
1736: The proof of the following proposition is a direct verification based
1737: on the induction on the number of vertices and formula~(\ref{0}).
1738:
1739:
1740: \begin{proposition}
1741: \label{abych_neonemocnel}
1742: The diagram
1743: $$
1744: \unitlength 1em
1745: \thicklines
1746: \begin{picture}(10,7)(7,10)
1747: \put(6,16){\makebox(0,0)[cc]{$\pL(V)$}}
1748: \put(16,16){\makebox(0,0)[cc]{$\pL^1(V)$}}
1749: \put(6,10){\makebox(0,0)[cc]{$\Tr(V)$}}
1750: \put(16,10){\makebox(0,0)[cc]{$\Tr^1(V)$}}
1751: \put(8,16){\vector(1,0){6}}
1752: \put(8,10){\vector(1,0){6}}
1753: \put(6,15){\vector(0,-1){4}}
1754: \put(16,15){\vector(0,-1){4}}
1755: \put(11,17){\makebox(0,0)[cc]{$d$}}
1756: \put(11,11){\makebox(0,0)[cc]{$\delta$}}
1757: \put(7,13){\makebox(0,0)[cc]{$\cong$}}
1758: \put(17,13){\makebox(0,0)[cc]{$\cong$}}
1759: \end{picture}
1760: $$
1761: in which the vertical maps are
1762: isomorphism~(\ref{zitra_odjizdim_na_zavody})
1763: and~(\ref{zitra_odjizdim_na_zavody-uz_tam_sem}), is commutative.
1764: \end{proposition}
1765:
1766:
1767: \begin{corollary}
1768: \label{,}
1769: There is a natural isomorphism
1770: $$
1771: \L(V) \cong \Ker ( \delta : \Tr(V) \to \Tr^1(V)).
1772: $$
1773: \end{corollary}
1774:
1775:
1776: \begin{example}
1777: \label{yyy}
1778: %{\rm
1779: It follows from the formulas given in Example~\ref{mmm} that, for each
1780: $u,v,w \in V$,
1781: \def\po#1{{\hskip 1em \raisebox{1.5em}{#1} \hskip .7em }}
1782: \def\poo#1{{\hskip .7em \raisebox{1.5em}{#1} \hskip .5em }}
1783: \begin{eqnarray*}
1784: \lefteqn{
1785: \rule{0em}{3.3em}\delta\left( \hskip -.4em \rule{0em}{2.3em} \hskip 1em
1786: \raisebox{-1.3em}{
1787: \stromII uvw \po- \stromII uwv \po- \stromII vwu \po+ \stromII wvu
1788: }\hskip .8em \right) =}
1789: \\
1790: &=& \rule{0em}{2.5em} \hskip .5em
1791: \stromXii uvw \hskip .5em-\hskip .5em \stromXii uwv\hskip .5em
1792: -\hskip .5em
1793: \stromXii vwu \hskip .5em+ \hskip .5em\stromXii wvu
1794: \\\rule{0em}{4em}
1795: &&+ \stromXvi uvw - \stromXvi uwv - \stromXvi vwu + \stromXvi wvu
1796: \\
1797: &=&
1798: \rule{0em}{5em}\delta \left(\hskip .4em
1799: \raisebox {-1.3em}{\stromIII vuw\poo- \stromIII wuv} \hskip .4em\right),
1800: \end{eqnarray*}
1801: therefore the combination
1802: $$
1803: \xi_{u,v,w} :=
1804: \raisebox{-1.3em}{
1805: \stromII uvw \po- \stromII uwv \po- \stromII vwu \po+ \stromII wvu
1806: \po- \stromIII vuw \poo+ \stromIII wuv}
1807: $$
1808: belongs to the kernel of $\delta : \Tr_3(V) \to \Tr_3^1(V)$. It is
1809: easy to see that elements of this form in fact span this kernel and
1810: that the correspondence $\xi_{u,v,w} \mapsto [u,[v,w]]$ defines an
1811: isomorphism
1812: $$
1813: \Ker \left(\Tr_3(V) \to \Tr_3^1(V)\right) \cong \L_3(V),
1814: $$
1815: where $\L_3(V) \subset \L(V)$ denotes the subspace of
1816: elements of monomial length~$3$.
1817: %}
1818: \end{example}
1819:
1820:
1821: \section{Cohomology operations}
1822: \label{tt}
1823:
1824:
1825: In this section we show how an object closely related to the cochain
1826: complex $\rpL^*(V) = (\rpL^*(V),d)$
1827: of~(\ref{koupali-jsme-se-na-Hradistku}), considered in
1828: Proposition~\ref{a}, naturally acts on the Chevalley-Eilenberg complex
1829: of a Lie algebra with coefficients in itself. For $n \geq 1$, let
1830: $\bfk^n := \Span_{\bfk}(\Rada e1n)$ and let $\rpL^*(n)$ denote the subspace
1831: of the graded vector space $\rpL^*(\bfk^n)$ spanned by monomials which
1832: contain each basic element $\Rada e1n$ exactly once.
1833:
1834: More formally, given an $n$-tuple $\Rada t1n \in \bfk$,
1835: consider the map $\varphi_{\Rada t1n} : \bfk^n \to \bfk^n$ defined~by
1836: $$
1837: \varphi_{\Rada t1n}(e_i) := t_i e_i,\ 1 \leq i \leq n.
1838: $$
1839: Let us denote by the same symbol also the induced map $\varphi_{\Rada
1840: t1n} : \rpL^*(\bfk^n) \to \rpL^*(\bfk^n)$. Then
1841: $$
1842: \rpL^*(n) := \left\{\rule{0pt}{.9em} x \in \rpL^*(\bfk^n);\
1843: \varphi_{\Rada t1n}(x) = t_1\cdots t_n x \ \mbox { for each $\Rada t1n
1844: \in \bfk$}\right\}.
1845: $$
1846: The above description immediately implies that $\rpL^*(n)$ is a $d$-stable
1847: subspace of $\rpL^*(\bfk^n)$, therefore $\rpL^*(n) = (\rpL^*(n),d)$ is
1848: a chain complex for each $n\geq 1$. Clearly $\pL(n) \cong
1849: \Span_{\bfk}(\Tr_n)$ and $\pL^1(n) \cong \Span_{\bfk}(\Tr_n^1)$.
1850: Observe that the above reduction does not erase any information,
1851: because $\rpL^*(V)$ can be reconstructed as
1852: $$
1853: \rpL^*(V) \cong \bigoplus_{n \geq 1}\rpL^*(n) \ot_{\Sigma_n} \otexp Vn.
1854: $$
1855:
1856: Let us explain how each $U \in \rpL^d(n)$ determines an
1857: $n$-multilinear degree $d$ operation on the Chevalley-Eilenberg
1858: complex $\CE*$ of a Lie algebra $L$ with coefficients in
1859: itself~\cite{chevalley-eilenberg}.
1860: We will use the standard
1861: identification~\cite[Definition~II.3.99]{markl-shnider-stasheff:book}
1862: \begin{equation}
1863: \label{potim_se}
1864: \CE * \cong \Coder^*(\L^c(\desusp L))
1865: \end{equation}
1866: where $\L^c(\desusp L)$ denotes the cofree conilpotent Lie
1867: coalgebra~\cite{markl-shnider-stasheff:book}
1868: cogenerated by the desuspension $\desusp L$ of
1869: the vector space $L$. Let $\lambda \in \Coder^1(\L^c(\desusp L))$
1870: be the co-extension of the desuspended Lie algebra bracket
1871: $$
1872: \desusp \circ [-,-]\circ (\uparrow \land \uparrow) : \desusp L \land \desusp
1873: L \to \desusp L
1874: $$
1875: into a coderivation. Then $\lambda^2=0$ and~(\ref{potim_se})
1876: translates the Chevalley-Eilenberg differential $\dce$ into the
1877: commutator with $\lambda$.
1878:
1879: The above construction can be easily generalized to the case when $L$
1880: is an $L_\infty$-algebra, $L = (L,l_1,l_2,l_3,\ldots)$~\cite{lada-markl:CommAlg95}. The
1881: structure operations $(l_1,l_2,l_3,\ldots)$ assemble again into a
1882: coderivation $\lambda \in \Coder^1(\L^c(\desusp L))$ with
1883: $\lambda^2=0$~\cite[Theorem~2.3]{lada-markl:CommAlg95}, and~(\ref{potim_se}) can be taken for a
1884: definition of the (Chevalley-Eilenberg) cohomology of
1885: $L_\infty$-algebras with coefficients in itself.
1886:
1887:
1888: The last fact we need to recall here is
1889: that $\Coder^*(\L^c(\desusp L))$ is a natural pre-Lie algebra, with
1890: the product $\star$ defined as
1891: follows~\cite[Section~II.3.9]{markl-shnider-stasheff:book}. Let
1892: $\Theta,\Omega \in \Coder^*(\L^c(\desusp L))$ and denote by
1893: $\overline{\Omega} : \L^c(\desusp L) \to \desusp L$ the corestriction
1894: of $\Omega$. The pre-Lie product $\Theta \star \Omega$ is then defined
1895: as the coextension of the composition
1896: $$
1897: (-1)^{|\Theta||\Omega|}\cdot
1898: \overline{\Omega}\circ \Theta : \L^c(\desusp L) \to \desusp L,
1899: $$
1900: see~\cite[Section~II.3.9]{markl-shnider-stasheff:book} for details.
1901:
1902: By the freeness of the pre-Lie algebra $\pL^*(\bfk^n,\oh)$,
1903: each choice $\Rada f1n \in \Coder(\L^c(\desusp L))$ determines a
1904: unique pre-Lie algebra homomorphism
1905: $$
1906: \Psi_{\Rada f1n} : \pL^*(\bfk^n,\oh) \to \Coder^*(\L^c(\desusp L))
1907: $$
1908: such that $\Psi_{\Rada f1n}(e_i) := f_i$ for each $1 \leq i \leq n$,
1909: and $\Psi_{\Rada f1n}(\oh) := \lambda$. Because $\Psi_{\Rada f1n}(\oh
1910: \star \oh)= \lambda^2 = 0$, the map $\Psi_{\Rada f1n}$ induces a map
1911: of the quotient $\rpL^*(\bfk^n) =\pL^*(\bfk^n,\oh)/(\oh \star \oh)$
1912: $$
1913: {\rm r}\Psi_{\Rada f1n} : \rpL^*(\bfk^n) \to \Coder^*(\L^c(\desusp L))
1914: $$
1915: Define finally $U(\Rada f1n) \in \CE {d + |f_1| + \cdots +|f_n|}$ by
1916: \begin{equation}
1917: \label{20}
1918: U(\Rada f1n) := {\rm r}\Psi_{\Rada f1n}(U).
1919: \end{equation}
1920: One can easily verify the following formula that relates the
1921: Chevalley-Eilenberg differential $\dce$ with the differential $d$ in
1922: $\rpL^*(n)$:
1923: \begin{eqnarray*}
1924: \lefteqn{
1925: d(U)(f_1,\ldots,f_n) = \dce( U(f_1,\ldots,f_n))} \rule{1em}{0em}
1926: \\
1927: && \rule{1em}{0em} -
1928: (-1)^{|U|} \sum_{1 \leq i \leq n}
1929: (-1)^{|f_1| + \cdots + |f_{i-1}|}\cdot
1930: U(f_1,\ldots,\dce( f_i),\ldots, f_n),
1931: \end{eqnarray*}
1932: for each $U \in \rpL^*(n)$ and $\Rada f1n \in \CE*$.
1933:
1934: \begin{proposition}
1935: \label{to_jsem_zvedav_jestli_za_Jitkou_pojedu}
1936: The collection
1937: $\rpL^* := \{\rpL^*(n)\}_{n \geq 1}$ forms an operad in the category of
1938: dg-vector spaces. Formula~(\ref{20}) determines
1939: an action that makes $\CE *$ a differential graded
1940: $\rpL^*$-algebra. Consequently, the
1941: cohomology operad $H^*(\rpL)$ naturally acts on the Chevalley-Eilenberg
1942: cohomology $H^*_{CE}(L;L)$ of an arbitrary Lie or $L_\infty$ algebra.
1943: \end{proposition}
1944:
1945: \begin{Proof}
1946: The symmetric group $\Sigma_n$ acts on $\rpL^*(n)$ by
1947: permuting the basis $\Rada e1n$ of $\bfk^n$. The operadic
1948: composition, induced by the vertex
1949: insertion of decorated trees representing elements of $\pL^*(\bfk^n)$, is
1950: constructed by exactly the same method as the one used in the proof
1951: of~\cite[Proposition~II.1.27]{markl-shnider-stasheff:book}.
1952: The verification that $U$ defines an operadic action is easy.
1953: \end{Proof}
1954:
1955:
1956: Let $\Blie^*$ denote, as in Section~1, the dg-operad of
1957: natural operations on the Chevalley-Eilenberg complex of a Lie algebra
1958: with coefficients in itself and $\Bshl^*$ an analog of this operad for
1959: $L_\infty$-algebras. Because each Lie algebra is also an
1960: $L_\infty$-algebra, there exists an obvious
1961: `forgetful' homomorphism $c: \Bshl^* \to \Blie^*$. By
1962: Proposition~\ref{to_jsem_zvedav_jestli_za_Jitkou_pojedu},
1963: formula~(\ref{20}) defines maps $t : \rpL^* \to \Blie^*$ and
1964: $\widetilde t : \rpL^* \to \Bshl^*$. The diagram
1965: $$
1966: {% Picture saved by xtexcad 2.4
1967: \unitlength=.07em
1968: \begin{picture}(130.00,78.00)(0.00,0.00)
1969: \put(70.00,0.00){\makebox(0.00,0.00){$t$}}
1970: \put(58.00,52.00){\makebox(0.00,0.00){$\widetilde t$}}
1971: \put(130.00,40.00){\makebox(0.00,0.00)[l]{$c$}}
1972: \put(0.00,10.00){\makebox(0.00,0.00){$\rpL^*$}}
1973: \put(120.00,10.00){\makebox(0.00,0.00){$\Blie^*$}}
1974: \put(120.00,70.00){\makebox(0.00,0.00){$\Bshl^*$}}
1975: \put(20.00,10.00){\vector(1,0){80.00}}
1976: \put(120.00,60.00){\vector(0,-1){40.00}}
1977: \put(20.00,20.00){\vector(2,1){80.00}}
1978: \end{picture}}
1979: $$
1980: is clearly commutative and $\widetilde t : \rpL^*
1981: \to \Bshl^*$ is in fact an {\em inclusion\/} of dg-operads, compare the
1982: remarks in Subsection~\ref{mot}.
1983:
1984:
1985: \section{Proof of Theorem~\protect\ref{.}}
1986: \label{zitra_se_mozna_poleti}
1987:
1988: For the purposes of the proof of Theorem~\ref{.}, it will be
1989: convenient to reduce the complex $\rpL^*(V) = (\rpL^*(V),d)$
1990: constructed in Proposition~\ref{a} as follows. Since the construction
1991: of $\rpL^*(V)$
1992: is functorial in $V$, one may consider the map $\rpL^*(V) \to
1993: \rpL^*(0)$ induced by the map $V \to 0$ from $V$ to the trivial vector
1994: space $0$. The kernel $\overline{\rpL}^*(V) := \Ker(\rpL^*(V) \to
1995: \rpL^*(0))$ is clearly a subcomplex of $\rpL^*(V)$. Since
1996: $$
1997: \rpL^n(0) = \cases {\Span_\bfk(\oh)}{for $n = 1$ and}0{otherwise,}
1998: $$
1999: the complexes $\overline{\rpL}^*(V)$ and $\rpL^*(V)$ differ only at
2000: the second term, and, under the
2001: isomorphism~(\ref{zitra_odjizdim_na_zavody-uz_tam_sem}),
2002: $$
2003: \overline{\rpL}^1(V) \cong \bigoplus_{n \geq 1} \Tr_n^1(V).
2004: $$
2005: It is also obvious that
2006: $$
2007: \Ker \left(\rule{0em}{1em} d : \pL(V) \to \pL^1(V) \right)
2008: = \Ker \left(\rule{0em}{1em} d : \pL(V) \to \overline{\rpL}^1(V) \right).
2009: $$
2010:
2011: The central object of this section is the commutative
2012: diagram:
2013: \begin{equation}
2014: \label{d}
2015: \unitlength .8em
2016: \thicklines
2017: \begin{picture}(21,7)(4,17)
2018: \put(8,17){\makebox(0,0)[cc]{$\pL(V)$}}
2019: \put(8,11){\makebox(0,0)[cc]{$\bT(V)$}}
2020: \put(20,17){\makebox(0,0)[cc]{$\overline{\rpL}^1(V)$}}
2021: \put(20,11){\makebox(0,0)[cc]{$\bT(V) \otimes \bT(V)$}}
2022: \put(8,23){\makebox(0,0)[cc]{$\L(V)$}}
2023: %svisle vektory
2024: \put(8,16){\vector(0,-1){4}}
2025: \put(20,16){\vector(0,-1){4}}
2026: \put(0,-1){
2027: \put(1,0){
2028: \put(-.5,0){\bezier{50}(8,22)(8,22.25)(7.75,22.25)}
2029: \bezier{50}(7.25,22.25)(7,22.25)(7,22)
2030: }
2031: \put(8,22){\vector(0,-1){3}}
2032: }
2033: %vodorovne vektory
2034: \put(9.8,11){\vector(1,0){6.1}}
2035: \put(10,17){\vector(1,0){7.5}}
2036: \put(7,20){\makebox(0,0)[cc]{$i$}}
2037: \put(7,14){\makebox(0,0)[cr]{$p$}}
2038: \put(14,18){\makebox(0,0)[cc]{$d$}}
2039: \put(14,12){\makebox(0,0)[cc]{$\bDelta$}}
2040: \put(21,14){\makebox(0,0)[lc]{$p^1$}}
2041: \end{picture}
2042: \end{equation}
2043: \vskip 5em
2044: \noindent
2045: in which $i :\L(V) \hookrightarrow \pL(V)$ is the inclusion and $p :
2046: \pL(V) \to \bT(V)_{\it pL} = \bT(V)$ the canonical map of pre-Lie
2047: algebras induced by the inclusion $V \hookrightarrow \bT(V)$. The
2048: definition of $p^1 : \overline{\rpL}^1(V) \to \bT(V) \ot
2049: \bT(V)$ will use the following simple facts.
2050:
2051: \vskip .5em
2052: {\em Fact~1\/}. The graded pre-Lie algebra structure of $\rpL^*(V)$
2053: induces on $\rpL^1(V)= \pL^1(V)$ a~structure of
2054: a $\pL(V)$-bimodule.
2055:
2056: {\em Fact~2\/}. With the structure above, $\rpL^1(V)$ is the free
2057: $\pL(V)$-bimodule generated by the dummy~$\oh$.
2058:
2059: {\em Fact~3\/}. The $*$-action~(\ref{2}) makes $\T(V) \ot \T(V)$ a
2060: bimodule over the pre-Lie algebra $\T(V)_{pL}$. Therefore $\T(V) \ot
2061: \T(V)$ is a $\pL(V)$-bimodule, via the canonical map $p : \pL(V) \to
2062: \T(V)_{pL}$.
2063:
2064: \vskip .5em
2065: The above facts imply that one can define a map $\widehat p^1 : \rpL(V)^1
2066: \to \T(V) \ot \T(V)$ by requiring that it is a $\pL(V)$-bimodule
2067: homomorphism satisfying
2068: $$
2069: \widehat p^1(\oh) := 1 \ot 1 \in \T(V) \ot \T(V).
2070: $$
2071: It is clear that this $\widehat p^1$ restricts to the requisite map
2072: $p^1 : \brpL^1(V) \to \bT(V) \ot \bT(V)$.
2073:
2074: To prove that the bottom square of~(\ref{d}) commutes, we notice that
2075: both compositions $\bDelta p$ and $p^1 d$ behave in the
2076: same way with respect to the pre-Lie multiplication $\star$ on
2077: $\pL(V)$.
2078: Indeed, for $a,b \in \pL(V))$, by~(\ref{4})
2079: $$
2080: \bDelta p(a \star b) = \bDelta(p(a) \ccdot p(b)) = \bDelta p(a) * p(b)
2081: + p(a)* \bDelta p(b) + R(p(a),p(b)).
2082: $$
2083: Similarly, by~(\ref{0}) and the definition of $p^1$,
2084: \begin{eqnarray*}
2085: p^1 d(a \star b) &=& p^1(d(a) \star b) + p^1(a \star d(b)) +
2086: p^1(Q(a,b))
2087: \\
2088: &=& p^1 d(a)* p(b) + p(a) * p^1 d(b) + p^1(Q(a,b)).
2089: \end{eqnarray*}
2090: It remains to verify that $p^1(Q(a,b)) = R(p(a),p(b))$. By the definitions
2091: of $p^1$, $Q$, $R$ and the $*$-action~(\ref{2}),
2092: \begin{eqnarray*}
2093: p^1(Q(a,b)) &=& p^1((\oh \star a) \star b) - p^1(\oh \star (a \star
2094: b)) = p^1(\oh \star a) * p(b) - p^1(\oh) * p(a \star b)
2095: \\
2096: &=&
2097: (p^1(\oh) * p(a)) * p(b) - p^1(\oh) * (p(a) \ccdot p(b))
2098: \\
2099: &=&
2100: ((1 \ot 1) * p(a)) * p(b) - (1\ot 1) * (p(a) \ccdot p(b))
2101: \\
2102: &=&
2103: p(a) \ot p(b) + p(b) \ot p(a) = R(p(a),p(b)).
2104: \end{eqnarray*}
2105: Observe finally that $\bDelta p(v) = p^1 dv = 0$ for $v \in V$. The
2106: commutativity $\bDelta p = p^1 d$ of the bottom square
2107: of~(\ref{d}) then follows from the following lemma.
2108:
2109: \begin{lemma}
2110: Let $S : \pL(V) \ot \pL(V) \to \bT(V) \ot \bT(V)$ be a symmetric
2111: linear map such that the expression
2112: \begin{equation}
2113: \label{jsem_zvedav_jestli_budou_Pastviny_fungovat}
2114: S(a,b) * p(c) + S(a \star b,c) - S(a,b\star c),\ a,b,c \in \pL(V),
2115: \end{equation}
2116: is symmetric in $b$ and $c$. Then there exists precisely one linear
2117: map $F : \pL(V) \to \bT(V) \ot \bT(V)$ such that
2118: \begin{itemize}
2119: \item[(i)]
2120: $F(a \star b) = F(a)* p(b) + p(a) * F(b) + S(a,b)$ for each $a,b \in
2121: \pL(V)$, and
2122: \item[(ii)]
2123: $F(v) = 0$ for each $v \in V$.
2124: \end{itemize}
2125: \end{lemma}
2126:
2127: \begin{Proof}
2128: The map $F$ is constructed by the induction on the
2129: monomial length of elements of $\pL(V)$, its uniqueness is
2130: obvious. The symmetry of the form
2131: in~(\ref{jsem_zvedav_jestli_budou_Pastviny_fungovat}) in $b$ and $c$
2132: is necessary for the compatibility of the rule~(i) with the
2133: axiom~(\ref{aby_to_nezkoncilo_prusvihem}).
2134: \end{Proof}
2135:
2136:
2137: We claim that Proposition~\ref{.} follows from the following
2138:
2139: \begin{lemma}
2140: \label{aby_mne_nerozbolel_zub}
2141: In diagram~(\ref{d}),
2142: \begin{itemize}
2143: \item[(i)]
2144: $di = 0$,
2145: \item[(ii)]
2146: $\Ker(d) \cap \Ker(p) = 0$ and
2147: \item[(iii)]
2148: $p(\Ker(d)) \subset \L(V)$.
2149: \end{itemize}
2150: \end{lemma}
2151:
2152:
2153: Indeed, (i)~implies that $\L(V) \subset \Ker(d)$ while (ii) and (iii)
2154: together imply that $p$ maps $\Ker(d)$ monomorphically to
2155: $\L(V)$. Since all these spaces are graded of finite type and
2156: their maps preserve the gradings, one concludes that $\L(V)
2157: = \Ker(d)$.
2158:
2159: \noindent
2160: {\bf Proof of Lemma~\ref{aby_mne_nerozbolel_zub}.} \hglue 1.8em
2161: The symmetry of $Q$ in~(\ref{0}) implies that $d$ is a derivation of
2162: the Lie algebra $\pL(V)_L$ associated to $\pL(V)$. This fact, together
2163: with $d(V) = 0$, readily implies that $d$ annihilates Lie elements in
2164: $\pL(V)$, which is~(i).
2165:
2166: Our proof of~(ii) relies on the tree language introduced in
2167: Section~4. We will use
2168: the following terminology.
2169: A decorated tree $T \in \Tr(V)$ is {\em linear\/} if all its vertices are of
2170: arity $\leq 1$. Such a tree $T$ is of the form
2171: \begin{equation}
2172: \label{18}
2173: {% Picture saved by xtexcad 2.4
2174: \unitlength=1.5pt
2175: \begin{picture}(0.00,27.00)(0.00,30.00)
2176: \thicklines
2177: \put(5.00,0.00){\makebox(0.00,0.00)[l]{$v_{i}$}}
2178: \put(5.00,10.00){\makebox(0.00,0.00)[l]{$v_{i-1}$}}
2179: \put(5.00,30.00){\makebox(0.00,0.00)[l]{$v_3$}}
2180: \put(5.00,40.00){\makebox(0.00,0.00)[l]{$v_2$}}
2181: \put(5.00,50.00){\makebox(0.00,0.00)[l]{$v_1$}}
2182: \put(0.00,20.00){\makebox(0.00,0.00){$\vdots$}}
2183: \put(0.00,0.00){\makebox(0.00,0.00){$\bullet$}}
2184: \put(0.00,10.00){\makebox(0.00,0.00){$\bullet$}}
2185: \put(0.00,30.00){\makebox(0.00,0.00){$\bullet$}}
2186: \put(0.00,40.00){\makebox(0.00,0.00){$\bullet$}}
2187: \put(0.00,50.00){\makebox(0.00,0.00){$\root$}}
2188: \put(0.00,10.00){\line(0,-1){10.00}}
2189: \put(0.00,50.00){\line(0,-1){20.00}}
2190: \end{picture}}
2191: \end{equation}
2192: \vskip 40pt
2193: \noindent
2194: with some $\Rada v1i \in V$, $i \geq 1$. Each non-linear tree $T \in \Tr(V)$
2195: necessarily looks as
2196: \begin{equation}
2197: \label{19}
2198: {% Picture saved by xtexcad 2.4
2199: \unitlength=1.5pt
2200: \begin{picture}(40.00,40.00)(0.00,0.00)
2201: \thicklines
2202: \put(0,-30){
2203: \thicklines
2204: \put(25.00,20.00){\makebox(0.00,0.00)[l]{$v_{i}$}}
2205: \put(25.00,30.00){\makebox(0.00,0.00)[l]{$v_{i-1}$}}
2206: \put(25.00,50.00){\makebox(0.00,0.00)[l]{$v_3$}}
2207: \put(25.00,60.00){\makebox(0.00,0.00)[l]{$v_2$}}
2208: \put(25.00,70.00){\makebox(0.00,0.00)[l]{$v_1$}}
2209: \put(20.00,10.00){\makebox(0.00,0.00){$S$}}
2210: \put(20.00,40.00){\makebox(0.00,0.00){$\vdots$}}
2211: \put(20.00,20.00){\makebox(0.00,0.00){$\bullet$}}
2212: \put(20.00,30.00){\makebox(0.00,0.00){$\bullet$}}
2213: \put(20.00,50.00){\makebox(0.00,0.00){$\bullet$}}
2214: \put(20.00,60.00){\makebox(0.00,0.00){$\bullet$}}
2215: \put(20.00,70.00){\makebox(0.00,0.00){$\bullet$}}
2216: \put(40.00,0.00){\line(-1,1){20.00}}
2217: \put(0.00,0.00){\line(1,0){40.00}}
2218: \put(20.00,20.00){\line(-1,-1){20.00}}
2219: \put(20.00,30.00){\line(0,-1){10.00}}
2220: \put(20.00,70.00){\line(0,-1){20.00}}
2221: }
2222: \end{picture}}
2223: \end{equation}
2224: \vskip 40pt
2225: \noindent
2226: where $S$ is a tree whose root vertex $v_i$ has arity $\geq 2$. We say
2227: that such a decorated tree has {\em tail of length $i$\/}. These
2228: notions translate to decorated trees from $\Tr^1(V)$ in the obvious
2229: manner.
2230:
2231: We leave to the reader to verify that, under
2232: identification~(\ref{zitra_odjizdim_na_zavody}), the map $p : \pL(V)
2233: \to \bT(V)$ is described as
2234: $$
2235: p(T) =
2236: \cases{v_1 \ot v_2 \ot \cdots \ot v_{i-1} \ot v_i}
2237: {if $T$ is linear as in~(\ref{18}), and}0
2238: {if $T$ is non-linear.}
2239: $$
2240: Therefore $\Ker(p)$ consists of linear combinations of non-linear
2241: trees. Before going further, we need to inspect how the map $\delta :
2242: \Tr(V) \to \Tr^1(V)$ of~(\ref{Nunyk}), which is the differential $d:
2243: \pL(V) \to \pL^1(V)$ written in terms of trees, acts on non-linear
2244: trees. If $T$ is the decorated tree~(\ref{19}), then it immediately
2245: follows from the definition~(\ref{Nunyk}) of $\delta$ that
2246: \begin{equation}
2247: \label{snad-to-konecne-dopisu}
2248: \delta (T) = -T' + \mbox {trees with tails of length $\leq i$},
2249: \end{equation}
2250: where $T'$ is the following decorated tree with tail of length $i+1$
2251: $$
2252: {% Picture saved by xtexcad 2.4
2253: \unitlength=1.5pt
2254: \begin{picture}(40.00,75.00)(0.00,0.00)
2255: \thicklines
2256: \put(25.00,30.00){\makebox(0.00,0.00)[l]{$v_i$}}
2257: \put(25.00,50.00){\makebox(0.00,0.00)[l]{$v_3$}}
2258: \put(25.00,60.00){\makebox(0.00,0.00)[l]{$v_2$}}
2259: \put(25.00,70.00){\makebox(0.00,0.00)[l]{$v_1$}}
2260: \put(20.00,10.00){\makebox(0.00,0.00){$S'$}}
2261: \put(20.00,40.00){\makebox(0.00,0.00){$\vdots$}}
2262: \put(20.00,20.00){\makebox(0.00,0.00){$\oh$}}
2263: \put(20.00,30.00){\makebox(0.00,0.00){$\bullet$}}
2264: \put(20.00,50.00){\makebox(0.00,0.00){$\bullet$}}
2265: \put(20.00,60.00){\makebox(0.00,0.00){$\bullet$}}
2266: \put(20.00,70.00){\makebox(0.00,0.00){$\bullet$}}
2267: \put(40.00,0.00){\line(-1,1){19.00}}
2268: \put(0.00,0.00){\line(1,0){40.00}}
2269: \put(19.00,19.00){\line(-1,-1){19.00}}
2270: \put(20.00,30.80){\line(0,-1){9.00}}
2271: \put(20.00,70.00){\line(0,-1){20.00}}
2272: \end{picture}}
2273: $$
2274: in which $S'$ is the tree obtained from $S$ by replacing the root
2275: vertex decorated by $v_i$ by the special one.
2276: The map $\delta' : \Tr(V) \to \Tr^1(V)$ given by $\delta'(T) :=
2277: -T'$ is a {\em monomorphism\/}.
2278:
2279:
2280: Let $x$ be a linear combination of non-linear trees and assume $\delta
2281: (x) =0$. We must prove that then $x=0$. Assume $x \not= 0$ and
2282: decompose $x = x_s + x_{s-1} + \cdots + x_1$, where $x_i$ is, for $1
2283: \leq i \leq s$, a linear combination of decorated trees with tails of
2284: length $i$, and $x_s \not= 0$. By~(\ref{snad-to-konecne-dopisu}), the
2285: only trees with tails of length $s+1$ in $\delta(x)$ are those spanning
2286: $\delta'(x_s)$, therefore $\delta(x) = 0$ implies $\delta'(x_s)=0$ which
2287: in turn implies that $x_s = 0$, because $\delta'$ is monic. This is a
2288: contradiction, therefore $x=0$ which proves~(ii).
2289:
2290: To verify~(iii), notice that, by the commutativity of the bottom
2291: square of~(\ref{19}), $p (\Ker(\delta)) \subset \Ker(\bDelta))$ while
2292: $\Ker(\bDelta) = \L(V)$ by Theorem~\ref{psano_v_aute}. This finishes
2293: the proof of the lemma.
2294: \qed
2295:
2296:
2297: \section{Some open questions and ramifications}
2298:
2299: \begin{odstavec}
2300: \label{trip}
2301: {\rm
2302: {\it Triplettes of operads (after J.-L.~Loday)\/}.
2303: The following notion was introduced in~\cite{loday:slides}.
2304:
2305: \begin{Definition}
2306: \label{jeste_ji_musim_napsat_SMS}
2307: The data $(\calC,\spin,\Aalg \stackrel{F}\to \Palg)$, where
2308: \begin{itemize}
2309: \item[(i)]
2310: $\calC$ and $\calA$ are operads,
2311: \item[(ii)]
2312: $\spin$ are `spin' relations intertwining $\calC$-co-operations and
2313: $\calA$-operations, so that $(\calC,\spin,\calA)$ determines a class of
2314: bialgebras,
2315: \item[(iii)]
2316: the operad $\calP$ governs the algebra structure of the primitive
2317: part $\Prim(\calH)$ of $(\calC,\spin,\calA)$-bialgebras, and
2318: \item[(iv)]
2319: $F$ is a forgetful functor functor from the category of
2320: $\calA$-algebras to the category of $\calP$-algebras such that the
2321: inclusion $\Prim(\calH) \subset F(\calH)$ is a morphism of $\calP$-algebras,
2322: \end{itemize}
2323: is called a {\em triplette\/} of operads.
2324: \end{Definition}
2325:
2326:
2327: An example is $(\Com,\spin, \Ass,\Lie)$, with $\spin$
2328: the usual bialgebra relation recalled
2329: in~(\ref{to_jsem_zvedav_jesli_budou_pastviny_fungovat}).
2330: Let $U$ be a left adjoint to $F$.
2331: A triplette in Definition~\ref{jeste_ji_musim_napsat_SMS} is
2332: {\em good\/}~\cite{loday:slides},
2333: if the following three conditions are equivalent:
2334:
2335: \begin{itemize}
2336: \item[(i)]
2337: a $(\calC,\spin,\calA)$-bialgebra $\calH$ is connected,
2338: \item[(ii)]
2339: $\calH \cong U(\Prim(\calH))$, and
2340: \item[(iii)]
2341: $\calH$ is cofree among connected
2342: $\calC$-coalgebras.
2343: \end{itemize}
2344: Let $\calA(V)$ (resp.~$\calP(V)$) denote the free $\calA$-
2345: (resp.~$\calP$-)algebra on $V$.
2346: As observed in~\cite{loday:slides}, for good triplettes
2347: \begin{equation}
2348: \label{`}
2349: \Prim (\calA (V)) \cong \calP(V).
2350: \end{equation}
2351:
2352: The classical Theorem~\ref{psano_v_aute} in Section~2 is a
2353: consequence of the goodness of the triplette $(\Com,\spin, \Ass,\Lie)$
2354: mentioned above, because~(\ref{`}) in this case says that $\Prim(T(V))
2355: \cong \L(V)$. Other, in some cases very surprising, good triplettes
2356: can be found in~\cite{loday:slides}. The following problem was
2357: suggested by J.-L.~Loday:
2358:
2359: \begin{problem}
2360: \label{kk}
2361: Are there an
2362: operad $\calC$ and spin relations $\spin$ with the property that
2363: $(\calC,\spin,\pLie,\Lie)$ is a good triplette?
2364: \end{problem}
2365:
2366: As we remarked in Subsection~\ref{gen}, the affirmative answer to the
2367: Deligne conjecture given in~\cite{kontsevich-soibelman} implies that
2368: there exist a characterization of Lie elements in brace
2369: algebras~\cite{gerstenhaber-voronov:FAP95} similar to our
2370: Theorem~\ref{.}. This suggests formulating the following version of
2371: Problem~\ref{kk} in which $\Brace$ is the operad for brace
2372: algebras.
2373:
2374: \begin{problem}
2375: Are there an
2376: operad $\calC$ and spin relations $\spin$ with the property that
2377: $(\calC,\spin,\Brace,\Lie)$ is a~good triplette?
2378: \end{problem}
2379:
2380: }\end{odstavec}
2381:
2382:
2383: \begin{odstavec}
2384: {\rm
2385: {\it Lie elements and cobar constructions.\/}
2386: In Section~2 we calculated the cohomology
2387: of the cobar construction~(\ref{1a}) of the
2388: shuffle coalgebra and observed that $H^0(\T(V),\Delta)$ is
2389: isomorphic to the free Lie algebra $\L(V)$. In our characterization of
2390: Lie elements in pre-Lie algebras, the role of~(\ref{1a}) is played by
2391: complex~(\ref{za_chvili_tam_musim_volat_a_hrozne_se_mi_nechce!}).
2392: This leads to the following problem, which may or may not be related
2393: to Problem~\ref{kk},
2394:
2395:
2396: \begin{problem}
2397: Calculate the cohomology
2398: of~(\ref{za_chvili_tam_musim_volat_a_hrozne_se_mi_nechce!}). Is
2399: this complex the cobar construction of some coalgebra?
2400: \end{problem}
2401:
2402:
2403: As D.~Tamarkin recently informed us, methods proposed in an enlarged
2404: unfinished,
2405: unpublished version of~\cite{tamarkin:def_of_chiral_algebras} may
2406: imply that the
2407: complex~(\ref{za_chvili_tam_musim_volat_a_hrozne_se_mi_nechce!}) is
2408: acyclic in positive dimensions, as envisaged also by some
2409: conjectures formulated in~\cite{markl:de}. }\end{odstavec}
2410:
2411:
2412: \references
2413:
2414:
2415: \nextref{chapoton-livernet:pre-lie}
2416: {Chapoton, F. and Livernet, M.}
2417: {\em Pre-{Lie} algebras and the rooted trees operad}
2418: {Internat. Math. Res. Notices {\bf 8}(2001), 395--408}
2419:
2420: \nextref{chevalley-eilenberg}
2421: {Chevalley, C. and Eilenberg, S.}
2422: {\em Cohomology theory of {Lie} groups and {Lie} algebras}
2423: {Trans. Amer. Math. Soc., {\bf 63}(1948), 85--124}
2424:
2425: \nextref{dzhu-lof:HHA02}
2426: {Dzhumadil'daev, A. and L\"ofwall, C.}
2427: {\em Trees, free right-symmetric algebras, free {Novikov} algebras and
2428: identities}
2429: {Homotopy, Homology and Applications, {\bf 4(2)}(2002),
2430: 165--190}
2431:
2432: \nextref{gerstenhaber:AM63}
2433: {Gerstenhaber, M.}
2434: {\em The cohomology structure of an associative ring}
2435: {Ann. of Math. {\bf 78(2)}(1963), 267--288}
2436:
2437: \nextref{gerstenhaber-voronov:FAP95}
2438: {Gerstenhaber, M. and Voronov, A.A.}
2439: {\em Higher operations on the {Hochschild} complex}
2440: {Functional Anal. Appl. {\bf 29(1)}(1995), 1--6 (in Russian)}
2441:
2442: \nextref{guin-oudom}
2443: {Guin, D. and Oudom, J.-M.}
2444: {\em Sur l'alg\'ebre enveloppante d'une alg\'ebre pr\'e-{Lie}}
2445: {C. R. Acad. Sci. Paris S{\'e}r. I Math., {\bf 340(5)}{2005}, 331--336}
2446:
2447: \nextref{kontsevich-soibelman}
2448: {Kontsevich, M. and Soibelman, Y.}
2449: {\em Deformations of algebras over operads the {Deligne} conjecture}
2450: {In {Dito, G. et al.}, editor, {Conf\'erence {Mosh\'e Flato} 1999:
2451: Quantization, deformation, and symmetries}, number~21 in
2452: Math. Phys. Stud.,
2453: pages 255--307. Kluwer Academic Publishers, 2000}
2454:
2455: \nextref{lada-markl:CommAlg95}
2456: {Lada, T. and Markl, M.}
2457: {\em Strongly homotopy {Lie} algebras}
2458: {Comm. Algebra {\bf 23(6)}(1995), 2147--2161}
2459:
2460: \nextref{lm:sb}
2461: {Lada, T. and Markl, M.}
2462: {\em Symmetric brace algebras}
2463: {Applied Categorical Structures {\bf 13(4)}, 351--370}
2464:
2465: \nextref{loday:slides}
2466: {Loday, J.-L.}
2467: {\em Generalized bialgebras and triples of operads}
2468: {A slide show. Available from the {\tt www} home page of
2469: J.-L.~Loday}
2470:
2471: \nextref{maclane:homology}
2472: {Mac~Lane, S.}
2473: {\em Homology}
2474: {Springer-Verlag, 1963}
2475:
2476: \nextref{markl:de}
2477: {Markl, M.}
2478: {\em Cohomology operations and the {Deligne} conjecture}
2479: {preprint {\tt math.AT/0506170}, June 2005}
2480:
2481:
2482: \nextref{markl-remm}
2483: {Markl, M. and Remm, E.}
2484: {Algebras with one operation including {Poisson} and other
2485: {Lie}-admissible algebras}
2486: {J. Algebra, {\bf 299}(2006), 171--189}
2487:
2488: \nextref{markl-shnider-stasheff:book}
2489: {Markl, M., Shnider, S. and Stasheff, J.D.}
2490: {\em Operads in Algebra, Topology and Physics}
2491: {volume~96 of Mathematical Surveys and Monographs,
2492: American Mathematical Society, Providence, Rhode Island,
2493: 2002}
2494:
2495: \nextref{ree:AnM69}
2496: {Ree, R.}
2497: {\em Lie elements and an algebra associated with shuffles}
2498: {Ann. of Math. {\bf 68}, 210--220}
2499:
2500: \nextref{serre:65}
2501: {Serre, J.-P.}
2502: {\em Lie Algebras and {Lie} Groups}
2503: {Benjamin, 1965}
2504:
2505: \nextref{tamarkin:def_of_chiral_algebras}
2506: {Tamarkin, D.}
2507: {\em Deformations of chiral algebras}
2508: {In {Ta Tsien et al.}, editor, {Proceedings of ICM 2002, Beijing,
2509: China, August 20-28},
2510: vol. II: Invited lectures, pages 105--116.
2511: Beijing: Higher Education Press;
2512: Singapore: World Scientific/distributor, 2002}
2513:
2514:
2515: \lastpage
2516: \end{document}
2517:
2518:
2519: