1: % LaTeX2e <2003/12/01> file, uses jhrs.cls, 36 pages.
2: % Processed by pdfeTeXk, Version 3.141592-1.21a-2.2
3: \documentclass{jhrs}
4: \newtheorem{theorem}{Theorem}
5: \newtheorem{definition}[theorem]{Definition}
6: \newtheorem{corollary}[theorem]{Corollary}
7: \newtheorem{observation}[theorem]{Observation}
8: \newtheorem{odstavec}{}[section]
9: \newtheorem{example}[theorem]{Example}
10: \newtheorem{lemma}[theorem]{Lemma}
11: \newtheorem{sublemma}[theorem]{Sublemma}
12: \newtheorem{proposition}[theorem]{Proposition}
13: \newtheorem{fact}[theorem]{Fact}
14: \overfullrule3pt
15: \vbadness=100000
16:
17:
18: \def\cases#1#2#3#4{
19: \left\{
20: \begin{array}{ll}
21: #1,\ &\mbox{#2}
22: \\
23: #3,\ &\mbox{#4}
24: \end{array}
25: \right.
26: }
27:
28:
29: \def\hnida#1{
30: {% Picture saved by xtexcad 2.4
31: \unitlength=.5pt
32: \begin{picture}(40.00,40.00)(0.00,0.00)
33: \put(38,20){\makebox(0.00,0.00)[l]{$#1$}}
34: \put(24.00,2.00){\makebox(0.00,0.00){$...$}}
35: \put(24.00,38.00){\makebox(0.00,0.00){$...$}}
36: \put(20.00,20.00){\makebox(0.00,0.00){$\bullet$}}
37: \put(40.00,0.00){\line(-1,1){20.00}}
38: \put(10.00,0.00){\line(1,2){10.00}}
39: \put(0.00,0.00){\line(1,1){20.00}}
40: \put(20.00,20.00){\line(1,1){20.00}}
41: \put(20.00,20.00){\line(-1,2){10.00}}
42: \put(20.00,20.00){\line(-1,1){20.00}}
43: \end{picture}}
44: }
45:
46: %definitions
47: \def\cal{\mathcal} \def\dd{{\mathbf s}} \def\gr{{\rm gr}}
48: \def\zn#1{{|\theta|(|\phi_1| + \cdots + |\phi_{#1}|)}}
49: \def\ai{$A_\infty$}\def\sfDB{{\sf DB}} \def\sfGS{{\sf GS}}
50: \def\calC{{\cal C}}\def\calO{{\cal O}}\def\calS{{\cal S}}
51: \def\ggg#1#2{{\it Dgr\/}(#1,#2)}\def\edge{{\it edge}} \def\vert{{\it Vert}}
52: \def\sigmaspan{{\it Span}_{\mbox{\scriptsize $\Sigma$-$\Sigma$}}}
53: \def\Span{{\it Span\/}} \def\psfb{{\partial_{\sf B}}}
54: \def\whb{\widehat \beta} \def\Alg#1#2{{#1 \hskip -.1em {\it Alg}(#2)}}
55: \def\lv{{\left(\rule{0em}{1em}\right. \hskip -.1em}}
56: \def\rv{{\hskip -.1em \left.\rule{0em}{1em}\right)}}
57: \def\ACA{{\it ACA}} \def\CA{{\it CA}}\def\AC{{\it AC}}
58: \def\CAC{{\it CAC}} \def\calF{{\cal F}}
59: \def\sqldots{{\mbox{$. \hskip -.3pt . \hskip -.3pt .$}}}
60: \def\modU{{\rm U}} \def\copr{{\hskip 0.05em * \hskip .1em}}
61: \def\E{{\it Ex\/}} \def\w{\widetilde} \def\DER{\Der(\sfM,\sfM \copr \calE)}
62: \def\A{i_{{\calE_\beta}_*}} \def\B{{i_\sfM}_*} \def\C{\whb_*}
63: \def\sigmabimodmaps{\Lin_{\mbox{\scriptsize$\Sigma$-$\Sigma$}}}
64: \def\desusp{\downarrow\!} \def\In{{\it in\/}} \def\CB{C_\sfB}
65: \def\CBB{\it CB}\def\CcP{C_{\cal P}} \def\bpd{{\overline{\partial}_D}}
66: \def\bof{{\overline{\omega}_f}}
67: \def\susp{\uparrow\!} \def\CP{C_\sfP} \def\Out{{\it out\/}}
68: \def\squeezedldots{{\mbox{$. \hskip -1pt . \hskip -1pt .$}}}
69: \def\angles#1{{\langle #1 \rangle}} \def\sb#1{\langle #1 \rangle}
70: \def\Vert{{\it Vert\/}} \def\calP{{\cal P}} \def\biar{{\it biar\/}}
71: \def\GS{{\it GS}} \def\ot{\otimes} \def\otexp#1#2{#1^{\ot #2}}
72: \def\PROP{{\sc prop}} \def\calE{{\cal E}} \def\bfk{{\bf k}}
73: \def\Der{\mbox{\it Der\/}} \def\Ass{\mbox{${\cal A}${\it ss\/}}}
74: \def\ssAss{\mbox{\scriptsize${\cal A}${\it ss\/}}}
75: \def\oDer{{\mbox{\it D\hskip .05em$\overline{\rule{0em}{.5em}er}$\/}}}
76: \def\Lin{{\mbox {\it Lin\/}}} \def\di{\diamond}
77: \def\id{{1 \!\! 1}} \def\Im{{\mbox {\it Im\/}}}
78: \def\iden{{\it id}}\def\li{$L_\infty$}
79: \def\deesusp#1#2{\mbox{$\downarrow^{#1} \hskip -.2em #2$}}
80: \def\rada#1#2{#1,\dots,#2}
81: \def\Rada#1#2#3{#1_{#2},\ldots,#1_{#3}}
82: \def\sqRada#1#2#3{#1_{#2},\mbox{$. \hskip -.2pt . \hskip -.2pt .$},#1_{#3}}
83: \def\pa{\partial}
84: \def\otRada#1#2#3{#1_{#2}\otimes \cdots \otimes #1_{#3}}
85: \def\End{\hbox{${\sf End}$}} \def\freePROP{{\sf F}}
86: \def\Krtecek#1{\Upsilon_{s,{\bf v},{\bf t},#1}}
87: \def\Kr{\Krtecek}\def\brd{{\overline{\rho}_D}}
88: \def\colim#1{\mathop{{\rm colim}}%
89: \limits_{\rule{0em}{.8em}\mbox{\scriptsize $#1$}}}
90: \def\UGR{\tt UGr}\def\Gr#1#2{{\GR}(#1,#2)}\def\UGr#1#2{{\UGR}(#1,#2)}
91: \def\sfB{{\sf B}}\def\sfM{{\sf M}} \def\sfP{{\sf P}} \def\sfQ{{\sf Q}}
92: \def\CGSbi#1#2{{C^{#1,#2}_{GS}(B;B)}} \def\hPROP{$\frac12${\sc prop}}
93: \def\qbezier{\bezier{100}} \def\papert{\partial_{\it pert\/}}
94: \def\SFM{\sfM}\def\sfDM{{\sf DM}}
95:
96: \def\dvajednadec#1{{% Picture saved by xtexcad 2.4
97: \unitlength=.07em
98: \begin{picture}(24.00,20.00)(-2.00,0.00)
99: \put(10.00,10.00){\line(0,-1){10.00}}
100: \put(10.00,17.00){\makebox(0,0)[b]{\scriptsize $#1$}}
101: \put(10.00,10.00){\makebox(0,0){$\bullet$}}
102: \bezier{50}(10.00,10.00)(15.00,15.00)(20.00,20.00)
103: \bezier{50}(0.00,20.00)(5.00,15.00)(10.00,10.00)
104: \end{picture}}
105: }
106:
107:
108: \def\jednadvadec#1{{% Picture saved by xtexcad 2.4
109: \unitlength=.07em
110: \begin{picture}(24.00,20.00)(-2.00,0.00)
111: \bezier{50}(10.00,10.00)(15.00,5.00)(20.00,0.00)
112: \bezier{50}(10.00,10.00)(5.00,5.00)(0.00,0.00)
113: \put(12.00,15.00){\makebox(0,0)[lb]{\scriptsize $#1$}}
114: \put(10.00,5.00){\makebox(0,0)[b]{$\bullet$}}
115: \put(10.00,20.00){\line(0,-1){10.00}}
116: \end{picture}}
117: }
118:
119:
120: \def\trijednadec#1{{% Picture saved by xtexcad 2.4
121: \unitlength=.07em
122: \begin{picture}(24.00,20.00)(-2.00,-20.00)
123: \bezier{50}(10.00,-10.00)(15.00,-5.00)(20.00,0.00)
124: \bezier{50}(10.00,-10.00)(5.00,-5.00)(0.00,0.00)
125: \put(10.00,-20.00){\line(0,1){20.00}}
126: \put(12.00,-11.00){\makebox(0,0)[lt]{\scriptsize $#1$}}
127: \put(10.00,-10.00){\makebox(0,0){$\bullet$}}
128: \end{picture}}
129: }
130:
131:
132: \def\bZbbZdec #1#2{
133: {% Picture saved by xtexcad 2.4
134: \unitlength=.05em
135: \begin{picture}(48.00,30.00)(-4,0.00)
136: \put(20.00,20.00){\line(1,-1){20}}
137: \put(20.00,20.00){\line(-1,-1){20}}
138: \bezier{50}(30.00,10.00)(25.00,5.00)(20.00,0.00)
139: \put(20.00,30.00){\line(0,-1){10.00}}
140: \put(23.00,26.00){\makebox(0,0)[lb]{\scriptsize $#1$}}
141: \put(31.00,18.00){\makebox(0,0)[lb]{\scriptsize $#2$}}
142: \put(20.00,20.00){\makebox(0,0){$\bullet$}}
143: \put(30.00,10.00){\makebox(0,0){$\bullet$}}
144: \end{picture}}
145: }
146:
147: \def\bZbbZdeca #1#2{
148: {% Picture saved by xtexcad 2.4
149: \unitlength=.05em
150: \begin{picture}(48.00,30.00)(-4,0.00)
151: \put(20.00,20.00){\line(1,-1){20}}
152: \put(20.00,20.00){\line(-1,-1){20}}
153: \bezier{50}(30.00,10.00)(25.00,5.00)(20.00,0.00)
154: \put(20.00,30.00){\line(0,-1){10.00}}
155: \put(23.00,26.00){\makebox(0,0)[lb]{\scriptsize $#1$}}
156: \put(31.00,16.00){\makebox(0,0)[lb]{\scriptsize $#2$}}
157: \put(20.00,20.00){\makebox(0,0){$\bullet$}}
158: \put(30.00,10.00){\makebox(0,0){$\bullet$}}
159: \end{picture}}
160: }
161:
162:
163:
164: \def\ZbbZbdec#1#2{{%Picture saved by xtexcad 2.4
165: \unitlength=.05em
166: \begin{picture}(48.00,30.00)(-4,0.00)
167: \put(20.00,20.00){\line(1,-1){20}}
168: \put(20.00,20.00){\line(-1,-1){20}}
169: \bezier{50}(10.00,10.00)(15.00,5.00)(20.00,0.00)
170: \put(20.00,30.00){\line(0,-1){10.00}}
171: \put(23.00,26.00){\makebox(0,0)[lb]{\scriptsize $#1$}}
172: \put(10.00,18.00){\makebox(0,0)[rb]{\scriptsize $#2$}}
173: \put(20.00,20.00){\makebox(0,0){$\bullet$}}
174: \put(10.00,10.00){\makebox(0,0){$\bullet$}}
175: \end{picture}}}
176:
177:
178: \def\bVbbVdec #1#2{
179: {% Picture saved by xtexcad 2.4
180: \unitlength=.05em
181: \begin{picture}(48.00,30.00)(-4,-28.00)
182: \put(20.00,-20.00){\line(1,1){20}}
183: \put(20.00,-20.00){\line(-1,1){20}}
184: \bezier{50}(30.00,-10.00)(25.00,-5.00)(20.00,0.00)
185: \put(20.00,-30.00){\line(0,1){10.00}}
186: \put(23.00,-26.00){\makebox(0,0)[lt]{\scriptsize $#1$}}
187: \put(31.00,-18.00){\makebox(0,0)[lt]{\scriptsize $#2$}}
188: \put(20.00,-20.00){\makebox(0,0){$\bullet$}}
189: \put(30.00,-10.00){\makebox(0,0){$\bullet$}}
190: \end{picture}}
191: }
192:
193:
194: \def\bVbbVdeca #1#2{
195: {% Picture saved by xtexcad 2.4
196: \unitlength=.05em
197: \begin{picture}(48.00,30.00)(-4,-28.00)
198: \put(20.00,-20.00){\line(1,1){20}}
199: \put(20.00,-20.00){\line(-1,1){20}}
200: \bezier{50}(30.00,-10.00)(25.00,-5.00)(20.00,0.00)
201: \put(20.00,-30.00){\line(0,1){10.00}}
202: \put(23.00,-26.00){\makebox(0,0)[lt]{\scriptsize $#1$}}
203: \put(31.00,-16.00){\makebox(0,0)[lt]{\scriptsize $#2$}}
204: \put(20.00,-20.00){\makebox(0,0){$\bullet$}}
205: \put(30.00,-10.00){\makebox(0,0){$\bullet$}}
206: \end{picture}}
207: }
208:
209:
210: \def\VbbVbdec#1#2{{%Picture saved by xtexcad 2.4
211: \unitlength=.05em
212: \begin{picture}(48.00,30.00)(-4,-28.00)
213: \put(20.00,-20.00){\line(1,1){20}}
214: \put(20.00,-20.00){\line(-1,1){20}}
215: \bezier{50}(10.00,-10.00)(15.00,-5.00)(20.00,0.00)
216: \put(20.00,-30.00){\line(0,1){10.00}}
217: \put(23.00,-26.00){\makebox(0,0)[lt]{\scriptsize $#1$}}
218: \put(10.00,-18.00){\makebox(0,0)[rt]{\scriptsize $#2$}}
219: \put(20.00,-20.00){\makebox(0,0){$\bullet$}}
220: \put(10.00,-10.00){\makebox(0,0){$\bullet$}}
221: \end{picture}}}
222:
223:
224: \def\jednatridec#1{{% Picture saved by xtexcad 2.4
225: \unitlength=.07em
226: \begin{picture}(24.00,20.00)(-2.00,0.00)
227: \bezier{100}(10.00,10.00)(15.00,5.00)(20.00,0.00)
228: \bezier{100}(10.00,10.00)(5.00,5.00)(0.00,0.00)
229: \put(10.00,20.00){\line(0,-1){20.00}}
230: \put(13.00,15.00){\makebox(0,0)[lb]{\scriptsize $#1$}}
231: \put(10.00,10.00){\makebox(0,0){$\bullet$}}
232: \end{picture}}
233: }
234:
235:
236: \def\dvojiteypsilondec#1#2{{% Picture saved by xtexcad 2.4
237: \unitlength=.07em
238: \begin{picture}(24.00,30.00)(0.00,3.00)
239: \put(10.00,20.00){\line(0,-1){10.00}}
240: \bezier{70}(10.00,10.00)(15,5)(20.00,0.00)
241: \bezier{70}(10.00,10.00)(5,5)(0.00,0.00)
242: \bezier{70}(10.00,20.00)(15,25)(20.00,30.00)
243: \bezier{70}(0.00,30.00)(5,25)(10.00,20.00)
244: \put(10.00,20.00){\makebox(0,0){$\bullet$}}
245: \put(10.00,10.00){\makebox(0,0){$\bullet$}}
246: \put(10.00,26.00){\makebox(0,0)[b]{\scriptsize $#1$}}
247: \put(10.00,4.00){\makebox(0,0)[t]{\scriptsize $#2$}}
248: \end{picture}}}
249:
250:
251: \def\dvojiteypsilondeca#1#2{{% Picture saved by xtexcad 2.4
252: \unitlength=.07em
253: \begin{picture}(24.00,30.00)(0.00,3.00)
254: \put(10.00,20.00){\line(0,-1){10.00}}
255: \bezier{70}(10.00,10.00)(15,5)(20.00,0.00)
256: \bezier{70}(10.00,10.00)(5,5)(0.00,0.00)
257: \bezier{70}(10.00,20.00)(15,25)(20.00,30.00)
258: \bezier{70}(0.00,30.00)(5,25)(10.00,20.00)
259: \put(10.00,20.00){\makebox(0,0){$\bullet$}}
260: \put(10.00,10.00){\makebox(0,0){$\bullet$}}
261: \put(10.00,26.00){\makebox(0,0)[b]{\scriptsize $#1$}}
262: \put(10.00,2.00){\makebox(0,0)[t]{\scriptsize $#2$}}
263: \end{picture}}}
264:
265:
266: \def\dvojiteypsilon{{% Picture saved by xtexcad 2.4
267: \unitlength=.3pt
268: \begin{picture}(24.00,30.00)(0.00,3.00)
269: \put(10.00,20.00){\line(0,-1){10.00}}
270: \bezier{20}(10.00,10.00)(15,5)(20.00,0.00)
271: \bezier{20}(10.00,10.00)(5,5)(0.00,0.00)
272: \bezier{20}(10.00,20.00)(15,25)(20.00,30.00)
273: \bezier{20}(0.00,30.00)(5,25)(10.00,20.00)
274: \end{picture}}}
275:
276:
277: \def\motylek{{% Picture saved by xtexcad 2.4
278: \unitlength=.3pt
279: \begin{picture}(66.00,60.00)(-3.00,20.00)
280: \put(10.00,50.00){\line(0,1){0.00}}
281: \put(50.00,10.00){\line(0,-1){10.00}}
282: \put(10.00,10.00){\line(0,-1){10.00}}
283: \put(50.00,60.00){\line(0,-1){10.00}}
284: \put(10.00,60.00){\line(0,-1){10.00}}
285: \put(60.00,40.00){\line(0,-1){20.00}}
286: \put(0.00,40.00){\line(0,-1){20.00}}
287: \bezier{20}(50.00,10.00)(55.00,15.00)(60.00,20.00)
288: \bezier{20}(0.00,20.00)(5.00,15.00)(10.00,10.00)
289: \bezier{20}(50.00,50.00)(55.00,45.00)(60.00,40.00)
290: \bezier{20}(10.00,10.00)(15,15)(22,22)
291: \put(28,28){\bezier{20}(10.00,10.00)(15,15)(22,22)}
292: \put(10.00,50.00){\line(1,-1){40.00}}
293: \bezier{20}(10.00,50.00)(5.00,45.00)(0.00,40.00)
294: \end{picture}}}
295:
296:
297: \def\motylekmeziradky{{% Picture saved by xtexcad 2.4
298: \unitlength=.3pt
299: \begin{picture}(66.00,30.00)(-3.00,20.00)
300: \put(10.00,50.00){\line(0,1){0.00}}
301: \put(50.00,10.00){\line(0,-1){10.00}}
302: \put(10.00,10.00){\line(0,-1){10.00}}
303: \put(50.00,60.00){\line(0,-1){10.00}}
304: \put(10.00,60.00){\line(0,-1){10.00}}
305: \put(60.00,40.00){\line(0,-1){20.00}}
306: \put(0.00,40.00){\line(0,-1){20.00}}
307: \bezier{20}(50.00,10.00)(55.00,15.00)(60.00,20.00)
308: \bezier{20}(0.00,20.00)(5.00,15.00)(10.00,10.00)
309: \bezier{20}(50.00,50.00)(55.00,45.00)(60.00,40.00)
310: \bezier{20}(10.00,10.00)(15,15)(22,22)
311: \put(28,28){\bezier{20}(10.00,10.00)(15,15)(22,22)}
312: \put(10.00,50.00){\line(1,-1){40.00}}
313: \bezier{20}(10.00,50.00)(5.00,45.00)(0.00,40.00)
314: \end{picture}}}
315:
316:
317: \def\motylekmensi{{% Picture saved by xtexcad 2.4
318: \unitlength=.19pt
319: \begin{picture}(66.00,60.00)(-3.00,9.00)
320: \put(10.00,50.00){\line(0,1){0.00}}
321: \put(50.00,10.00){\line(0,-1){10.00}}
322: \put(10.00,10.00){\line(0,-1){10.00}}
323: \put(50.00,60.00){\line(0,-1){10.00}}
324: \put(10.00,60.00){\line(0,-1){10.00}}
325: \put(60.00,40.00){\line(0,-1){20.00}}
326: \put(0.00,40.00){\line(0,-1){20.00}}
327: \bezier{20}(50.00,10.00)(55.00,15.00)(60.00,20.00)
328: \bezier{20}(0.00,20.00)(5.00,15.00)(10.00,10.00)
329: \bezier{20}(50.00,50.00)(55.00,45.00)(60.00,40.00)
330: \bezier{20}(10.00,10.00)(15,15)(22,22)
331: \put(28,28){\bezier{20}(10.00,10.00)(15,15)(22,22)}
332: \bezier{40}(10.00,50.00)(30,30)(50,10)
333: \bezier{20}(10.00,50.00)(5.00,45.00)(0.00,40.00)
334: \end{picture}}}
335:
336: \def\zeroatwo#1{%
337: {% Picture saved by xtexcad 2.4
338: \unitlength=.5pt
339: \begin{picture}(36.00,30.00)(-3.00,10.00)
340: \put(10.00,20.00){\makebox(0.00,0.00)[l]{$#1$}}
341: \put(20.00,10.00){\line(0,-1){5.00}}
342: \put(10.00,10.00){\line(0,-1){5.00}}
343: \put(30.00,30.00){\line(-1,0){30.00}}
344: \put(30.00,10.00){\line(0,1){20.00}}
345: \put(0.00,10.00){\line(1,0){30.00}}
346: \put(0.00,30.00){\line(0,-1){20.00}}
347: \end{picture}}
348: }
349:
350: \def\twoazero#1{%
351: {% Picture saved by xtexcad 2.4
352: \unitlength=.5pt
353: \begin{picture}(36.00,30.00)(-3.00,0.00)
354: \put(20.00,25.00){\line(0,-1){5.00}}
355: \put(10.00,25.00){\line(0,-1){5.00}}
356: \put(10.00,10.00){\makebox(0.00,0.00)[l]{$#1$}}
357: \put(30.00,20.00){\line(-1,0){30.00}}
358: \put(30.00,0.00){\line(0,1){20.00}}
359: \put(0.00,0.00){\line(1,0){30.00}}
360: \put(0.00,20.00){\line(0,-1){20.00}}
361: \end{picture}}
362: }
363:
364: \def\levaplastev{
365: \unitlength=.35pt
366: \begin{picture}(38,30)(-34,4)
367: \put(0.00,0.00){\line(0,1){10}}
368: \put(-20.00,0.00){\line(0,1){10}}
369: \put(-10.00,20.00){\line(0,1){10}}
370: \put(-30.00,20.00){\line(0,1){10}}
371: \put(0,10){\bezier{20}(0.00,0.00)(-5.00,5.00)(-10.00,10.00)}
372: \put(-20,10){\bezier{20}(0.00,0.00)(-5.00,5.00)(-10.00,10.00)}
373: \put(-20,10){\bezier{20}(0.00,0.00)(5.00,5.00)(10.00,10.00)}
374: \end{picture}
375: }
376:
377: \def\twoaone#1{%
378: {% Picture saved by xtexcad 2.4
379: \unitlength=.5pt
380: \begin{picture}(36.00,30.00)(-3.00,-10.00)
381: \put(20.00,25.00){\line(0,-1){5.00}}
382: \put(15.00,0.00){\line(0,-1){5.00}}
383: \put(10.00,25.00){\line(0,-1){5.00}}
384: \put(10.00,10.00){\makebox(0.00,0.00)[l]{$#1$}}
385: \put(30.00,20.00){\line(-1,0){30.00}}
386: \put(30.00,0.00){\line(0,1){20.00}}
387: \put(0.00,0.00){\line(1,0){30.00}}
388: \put(0.00,20.00){\line(0,-1){20.00}}
389: \end{picture}}
390: }
391: \def\zeroathree#1{
392: {% Picture saved by xtexcad 2.4
393: \unitlength=.5pt
394: \begin{picture}(48.00,30.00)(-4.00,10.00)
395: \put(20.00,20.00){\makebox(0.00,0.00){$#1$}}
396: \put(0.00,30.00){\line(0,-1){20.00}}
397: \put(40.00,30.00){\line(-1,0){40.00}}
398: \put(40.00,10.00){\line(0,1){20.00}}
399: \put(0.00,10.00){\line(1,0){40.00}}
400: \put(30.00,10.00){\line(0,-1){5.00}}
401: \put(20.00,10.00){\line(0,-1){5.00}}
402: \put(10.00,10.00){\line(0,-1){5.00}}
403: \end{picture}}
404: }
405:
406: \def\twoatwo#1{
407: {% Picture saved by xtexcad 2.4
408: \unitlength=.5pt
409: \begin{picture}(30.00,40.00)(0.00,0.00)
410: \put(10.00,20.00){\makebox(0.00,0.00)[l]{$#1$}}
411: \put(20.00,10.00){\line(0,-1){5.00}}
412: \put(10.00,10.00){\line(0,-1){5.00}}
413: \put(20.00,35.00){\line(0,-1){5.00}}
414: \put(10.00,35.00){\line(0,-1){5.00}}
415: \put(0.00,10.00){\line(0,1){20.00}}
416: \put(30.00,10.00){\line(-1,0){30.00}}
417: \put(30.00,30.00){\line(0,-1){20.00}}
418: \put(0.00,30.00){\line(1,0){30.00}}
419: \end{picture}}
420: }
421:
422: \def\jednadva{{% Picture saved by xtexcad 2.4
423: \unitlength=.4pt
424: \begin{picture}(24.00,20.00)(-2.00,0.00)
425: \bezier{20}(10.00,10.00)(15.00,5.00)(20.00,0.00)
426: \bezier{20}(10.00,10.00)(5.00,5.00)(0.00,0.00)
427: \put(10.00,20.00){\line(0,-1){10.00}}
428: \end{picture}}
429: }
430:
431: \def\jednactyri{{% Picture saved by xtexcad 2.4
432: \unitlength=.05pt
433: \begin{picture}(176.00,160.00)(-8.00,0.00)
434: \put(80.00,100.00){\line(0,1){60.00}}
435: \bezier{20}(80.00,80.00)(100.00,30.00)(110.00,0.00)
436: \bezier{20}(80.00,80.00)(60.00,30.00)(50.00,0.00)
437: \bezier{20}(80.00,80.00)(120.00,40.00)(160.00,0.00)
438: \bezier{20}(80.00,80.00)(40.00,40.00)(0.00,0.00)
439: \put(80.00,100.00){\line(0,-1){20.00}}
440: \end{picture}}
441: }
442:
443: \def\ctyrijedna{{% Picture saved by xtexcad 2.4
444: \unitlength=.05pt
445: \begin{picture}(176.00,160.00)(-8.00,-160.00)
446: \put(80.00,-100.00){\line(0,-1){60.00}}
447: \bezier{20}(80.00,-80.00)(100.00,-30.00)(110.00,0.00)
448: \bezier{20}(80.00,-80.00)(60.00,-30.00)(50.00,0.00)
449: \bezier{20}(80.00,-80.00)(120.00,-40.00)(160.00,0.00)
450: \bezier{20}(80.00,-80.00)(40.00,-40.00)(0.00,0.00)
451: \put(80.00,-80.00){\line(0,-1){40.00}}
452: \end{picture}}
453: }
454:
455: \def\dvajedna{{% Picture saved by xtexcad 2.4
456: \unitlength=.4pt
457: \begin{picture}(24.00,20.00)(-2.00,0.00)
458: \put(10.00,10.00){\line(0,-1){10.00}}
459: \bezier{20}(10.00,10.00)(15.00,15.00)(20.00,20.00)
460: \bezier{20}(0.00,20.00)(5.00,15.00)(10.00,10.00)
461: \end{picture}}
462: }
463:
464: \def\dvadva{{% Picture saved by xtexcad 2.4
465: \unitlength=.8pt
466: \begin{picture}(12.00,10.00)(-1.00,0.00)
467: \bezier{30}(0.00,0.00)(5.00,5.00)(10.00,10.00)
468: \bezier{30}(0.00,10.00)(5.00,5.00)(10.00,0.00)
469: \end{picture}}
470: }
471:
472: \def\jednatri{{% Picture saved by xtexcad 2.4
473: \unitlength=.4pt
474: \begin{picture}(24.00,20.00)(-2.00,0.00)
475: \bezier{20}(10.00,10.00)(15.00,5.00)(20.00,0.00)
476: \bezier{20}(10.00,10.00)(5.00,5.00)(0.00,0.00)
477: \put(10.00,20.00){\line(0,-1){20.00}}
478: \end{picture}}
479: }
480:
481: \def\trijedna{{% Picture saved by xtexcad 2.4
482: \unitlength=.4pt
483: \begin{picture}(24.00,20.00)(-2.00,-20.00)
484: \bezier{20}(10.00,-10.00)(15.00,-5.00)(20.00,0.00)
485: \bezier{20}(10.00,-10.00)(5.00,-5.00)(0.00,0.00)
486: \put(10.00,-20.00){\line(0,1){20.00}}
487: \end{picture}}
488: }
489:
490: \def\dvatri{{% Picture saved by xtexcad 2.4
491: \unitlength=0.4pt
492: \begin{picture}(24.00,20.00)(-2.00,0.00)
493: \put(10.00,10.00){\line(0,-1){10.00}}
494: \bezier{30}(0.00,0.00)(10.00,10.00)(20.00,20.00)
495: \bezier{30}(0.00,20.00)(10.00,10.00)(20.00,0.00)
496: \end{picture}}
497: }
498:
499: \def\tridva{{% Picture saved by xtexcad 2.4
500: \unitlength=.4pt
501: \begin{picture}(24.00,20.00)(-2.00,-20.00)
502: \put(10.00,-10.00){\line(0,1){10.00}}
503: \bezier{30}(0.00,0.00)(10.00,-10.00)(20.00,-20.00)
504: \bezier{30}(0.00,-20.00)(10.00,-10.00)(20.00,0.00)
505: \end{picture}}
506: }
507:
508:
509: \def\tritri{{% Picture saved by xtexcad 2.4
510: \unitlength=.4pt
511: \begin{picture}(24.00,20.00)(-2.00,0.00)
512: \bezier{30}(0.00,0.00)(10.00,10.00)(20.00,20.00)
513: \bezier{30}(0.00,20.00)(10.00,10.00)(20.00,0.00)
514: \put(10.00,20.00){\line(0,-1){20.00}}
515: \end{picture}}
516: }
517:
518:
519: \def\dvactyri{{% Picture saved by xtexcad 2.4
520: \unitlength=.1pt
521: \begin{picture}(96.00,80.00)(-8.00,0.00)
522: \bezier{30}(0.00,0.00)(40.00,40.00)(80.00,80.00)
523: \bezier{30}(0.00,80.00)(40.00,40.00)(80.00,0.00)
524: \bezier{20}(40.00,40.00)(48.50,14.00)(53.50,0.00)
525: \bezier{20}(40.00,40.00)(32.50,16.00)(26.00,0.00)
526: \end{picture}}
527: }
528:
529: \def\dvaZbbbZb{{% Picture saved by xtexcad 2.4
530: \unitlength=0.1pt
531: \begin{picture}(96.00,80.00)(-8.00,0.00)
532: \bezier{10}(20.00,20.00)(30.00,10.00)(40.00,0.00)
533: \put(20.00,20.00){\line(0,-1){20.00}}
534: \bezier{30}(0.00,0.00)(40.00,40.00)(80.00,80.00)
535: \bezier{30}(0.00,80.00)(40.00,40.00)(80.00,0.00)
536: \end{picture}}
537: }
538:
539: \def\dvabZbbbZ{{% Picture saved by xtexcad 2.4
540: \unitlength= 0.1pt
541: \begin{picture}(96.00,80.00)(-8.00,0.00)
542: \bezier{10}(60.00,20.00)(50.00,10.00)(40.00,0.00)
543: \put(60.00,20.00){\line(0,-1){20.00}}
544: \bezier{30}(0.00,0.00)(40.00,40.00)(80.00,80.00)
545: \bezier{30}(0.00,80.00)(40.00,40.00)(80.00,0.00)
546: \end{picture}}
547: }
548:
549: \def\dvaZbbZbb{{% Picture saved by xtexcad 2.4
550: \unitlength=0.1pt
551: \begin{picture}(96.00,80.00)(-8.00,0.00)
552: \bezier{8}(11.00,9.00)(15.50,4.00)(21.00,0.00)
553: \put(40.00,40.00){\line(0,-1){40.00}}
554: \bezier{30}(0.00,0.00)(40.00,40.00)(80.00,80.00)
555: \bezier{30}(0.00,80.00)(40.00,40.00)(80.00,0.00)
556: \end{picture}}
557: }
558:
559: \def\dvabbZbbZ{{% Picture saved by xtexcad 2.4
560: \unitlength=0.1pt
561: \begin{picture}(96.00,80.00)(-8.00,0.00)
562: \bezier{5}(70.00,10.00)(65.00,5.50)(60.00,0.00)
563: \put(40.00,40.00){\line(0,-1){40.00}}
564: \bezier{30}(0.00,0.00)(40.00,40.00)(80.00,80.00)
565: \bezier{30}(0.00,80.00)(40.00,40.00)(80.00,0.00)
566: \end{picture}}
567: }
568:
569: \def\dvabZbbZb{{% Picture saved by xtexcad 2.4
570: \unitlength=0.1pt
571: \begin{picture}(96.00,80.00)(-8.00,0.00)
572: \bezier{10}(40.00,20.00)(50.00,10.00)(60.00,0.00)
573: \bezier{10}(40.00,20.00)(30.00,10.00)(20.00,0.00)
574: \put(40.00,40.00){\line(0,-1){20.00}}
575: \bezier{30}(0.00,0.00)(40.00,40.00)(80.00,80.00)
576: \bezier{30}(0.00,80.00)(40.00,40.00)(80.00,0.00)
577: \end{picture}}
578: }
579:
580:
581: \def\ZbbZbZb{{% Picture saved by xtexcad 2.4
582: \unitlength=.05pt
583: \begin{picture}(192.00,120.00)(-16.00,0.00)
584: \bezier{10}(30.00,30.00)(50.00,10.00)(60.00,0.00)
585: \bezier{20}(50.00,50.00)(70.00,30.00)(100.00,0.00)
586: \bezier{30}(80.00,80.00)(120.00,40.00)(160.00,0.00)
587: \bezier{30}(80.00,80.00)(40.00,40.00)(0.00,0.00)
588: \put(80.00,160.00){\line(0,-1){80.00}}
589: \end{picture}}
590: }
591:
592:
593: \def\dvacarkatri{{% Picture saved by xtexcad 2.4
594: \unitlength=.2pt
595: \begin{picture}(40.00,50.00)(0.00,0.00)
596: \put(20.00,30.00){\line(0,-1){10.00}}
597: \put(20.00,0.00){\line(0,1){20}}
598: \bezier{20}(20.00,20.00)(30.00,10.00)(40.00,0.00)
599: \bezier{20}(20.00,20.00)(10.00,10.00)(0.00,0.00)
600: \bezier{20}(20.00,30.00)(30.00,40.00)(40.00,50.00)
601: \bezier{20}(0.00,50.00)(10.00,40.00)(20.00,30.00)
602: \end{picture}}
603: }
604:
605: \def\dvacarkaZbbZb{{% Picture saved by xtexcad 2.4
606: \unitlength=.2pt
607: \begin{picture}(40.00,50.00)(0.00,0.00)
608: \put(20.00,30.00){\line(0,-1){10.00}}
609: \bezier{10}(20.00,0.00)(15.00,5.00)(10.00,10.00)
610: \bezier{20}(20.00,20.00)(30.00,10.00)(40.00,0.00)
611: \bezier{20}(20.00,20.00)(10.00,10.00)(0.00,0.00)
612: \bezier{20}(20.00,30.00)(30.00,40.00)(40.00,50.00)
613: \bezier{20}(0.00,50.00)(10.00,40.00)(20.00,30.00)
614: \end{picture}}
615: }
616:
617: \def\dvacarkabZbbZ{{% Picture saved by xtexcad 2.4
618: \unitlength=.2pt
619: \begin{picture}(40.00,50.00)(0.00,0.00)
620: \put(20.00,30.00){\line(0,-1){10.00}}
621: \bezier{10}(20.00,0.00)(25.00,5.00)(30.00,10.00)
622: \bezier{20}(20.00,20.00)(30.00,10.00)(40.00,0.00)
623: \bezier{20}(20.00,20.00)(10.00,10.00)(0.00,0.00)
624: \bezier{20}(20.00,30.00)(30.00,40.00)(40.00,50.00)
625: \bezier{20}(0.00,50.00)(10.00,40.00)(20.00,30.00)
626: \end{picture}}
627: }
628:
629:
630: \def\bZbZbbZ{{% Picture saved by xtexcad 2.4
631: \unitlength=0.05pt
632: \begin{picture}(192.00,160.00)(-16.00,0.00)
633: \bezier{10}(100.00,0.00)(120.00,20.00)(130.00,30.00)
634: \bezier{20}(110.00,50.00)(90.00,30.00)(60.00,0.00)
635: \put(80.00,120.00){\line(0,1){40.00}}
636: \bezier{30}(80.00,80.00)(120.00,40.00)(160.00,0.00)
637: \bezier{30}(80.00,80.00)(40.00,40.00)(0.00,0.00)
638: \put(80.00,120.00){\line(0,-1){40.00}}
639: \end{picture}}
640: }
641:
642: \def\gen#1#2{
643: \if #11
644: \if #22 \jednadva \else \fi
645: \else
646: \fi
647: \if #12
648: \if #22 \dvadva \else \fi
649: \else
650: \fi
651: \if #12
652: \if #21 \dvajedna \else \fi
653: \else
654: \fi
655: \if #13
656: \if #22 \tridva \else \fi
657: \else
658: \fi
659: \if #13
660: \if #21 \trijedna \else \fi
661: \else
662: \fi
663: \if #12
664: \if #23 \dvatri \else \fi
665: \else
666: \fi
667: \if #11
668: \if #23 \jednatri \else \fi
669: \else
670: \fi
671: \if #11
672: \if #24 \jednactyri \else \fi
673: \fi
674: \if #14
675: \if #21 \ctyrijedna \else \fi
676: \fi
677: }
678:
679:
680: \def\onethree{{% Picture saved by xtexcad 2.4
681: \unitlength=0.3pt
682: \begin{picture}(44.00,40.00)(-2.00,0.00)
683: \put(30.00,10.00){\line(0,-1){10.00}}
684: \put(20.00,10.00){\line(0,-1){10.00}}
685: \put(10.00,10.00){\line(0,-1){10.00}}
686: \put(20.00,40.00){\line(0,-1){10.00}}
687: \put(0.00,10.00){\line(0,1){20.00}}
688: \put(40.00,10.00){\line(-1,0){40.00}}
689: \put(40.00,30.00){\line(0,-1){20.00}}
690: \put(0.00,30.00){\line(1,0){40.00}}
691: \end{picture}}
692: }
693:
694: \def\twotwo{{% Picture saved by xtexcad 2.4
695: \unitlength=.18pt
696: \begin{picture}(44.00,50.00)(-2.00,0.00)
697: \put(0.00,10.00){\line(0,1){30.00}}
698: \put(40.00,10.00){\line(-1,0){40.00}}
699: \put(40.00,40.00){\line(0,-1){30.00}}
700: \put(0.00,40.00){\line(1,0){40.00}}
701: \put(30.00,10.00){\line(0,-1){10.00}}
702: \put(10.00,10.00){\line(0,-1){10.00}}
703: \put(30.00,50.00){\line(0,-1){10.00}}
704: \put(10.00,50.00){\line(0,-1){10.00}}
705: \end{picture}}
706: }
707:
708: \def\bZbbZ{
709: {% Picture saved by xtexcad 2.4
710: \unitlength=.27pt
711: \begin{picture}(48.00,30.00)(-4,0.00)
712: \bezier{34}(20.00,20.00)(30.00,10.00)(40.00,0.00)
713: \bezier{34}(20.00,20.00)(10.00,10.00)(0.00,0.00)
714: \bezier{20}(30.00,10.00)(25.00,5.00)(20.00,0.00)
715: \put(20.00,30.00){\line(0,-1){10.00}}
716: \end{picture}}
717: }
718:
719: \def\ZbbZb{{%Picture saved by xtexcad 2.4
720: \unitlength=.27pt
721: \begin{picture}(48.00,30.00)(-4,0.00)
722: \bezier{34}(20.00,20.00)(30.00,10.00)(40.00,0.00)
723: \bezier{34}(20.00,20.00)(10.00,10.00)(0.00,0.00)
724: \bezier{20}(10.00,10.00)(15.00,5.00)(20.00,0.00)
725: \put(20.00,30.00){\line(0,-1){10.00}}
726: \end{picture}}}
727:
728:
729: \def\ZbbZbb{{% Picture saved by xtexcad 2.4
730: \unitlength=.07pt
731: \begin{picture}(192.00,120.00)(-16.00,0.00)
732: \bezier{20}(20.00,20.00)(30.00,10.00)(40.00,0.00)
733: \bezier{30}(80.00,80.00)(120.00,40.00)(160.00,0.00)
734: \bezier{30}(80.00,80.00)(40.00,40.00)(0.00,0.00)
735: \put(80.00,120.00){\line(0,-1){120.00}}
736: \end{picture}}
737: }
738:
739: \def\bbZbbZ{{% Picture saved by xtexcad 2.4
740: \unitlength=0.07pt
741: \begin{picture}(192.00,120.00)(-16.00,0.00)
742: \bezier{20}(140.00,20.00)(130.00,10.00)(120.00,0.00)
743: \bezier{30}(80.00,80.00)(120.00,40.00)(160.00,0.00)
744: \bezier{30}(80.00,80.00)(40.00,40.00)(0.00,0.00)
745: \put(80.00,120.00){\line(0,-1){120.00}}
746: \end{picture}}
747: }
748:
749: \def\bZbbZb{{% Picture saved by xtexcad 2.4
750: \unitlength=.07pt
751: \begin{picture}(192.00,120.00)(-16.00,0.00)
752: \bezier{20}(80.00,20.00)(90.00,10.00)(100.00,0.00)
753: \bezier{20}(80.00,20.00)(70.00,10.00)(60.00,0.00)
754: \put(80.00,40.00){\line(0,-1){20.00}}
755: \put(80.00,40.00){\line(0,1){0.00}}
756: \put(80.00,80.00){\line(0,-1){40.00}}
757: \put(80.00,120.00){\line(0,-1){40.00}}
758: \bezier{30}(80.00,80.00)(120.00,40.00)(160.00,0.00)
759: \bezier{30}(80.00,80.00)(40.00,40.00)(0.00,0.00)
760: \end{picture}}
761: }
762:
763:
764: \def\ZbbbZb{{% Picture saved by xtexcad 2.4
765: \unitlength=.07pt
766: \begin{picture}(192.00,120.00)(-16.00,0.00)
767: \put(40.00,0.00){\line(0,1){20.00}}
768: \put(40.00,40.00){\line(0,-1){40.00}}
769: \bezier{20}(40.00,40.00)(60.00,20.00)(80.00,0.00)
770: \put(80.00,40.00){\line(0,1){0.00}}
771: \put(80.00,120.00){\line(0,-1){40.00}}
772: \bezier{30}(80.00,80.00)(120.00,40.00)(160.00,0.00)
773: \bezier{30}(80.00,80.00)(40.00,40.00)(0.00,0.00)
774: \end{picture}}
775: }
776:
777: \def\bZbbbZ{{% Picture saved by xtexcad 2.4
778: \unitlength=0.07pt
779: \begin{picture}(192.00,120.00)(-16.00,0.00)
780: \put(120.00,40.00){\line(0,-1){40.00}}
781: \bezier{20}(120.00,40.00)(100.00,20.00)(80.00,0.00)
782: \put(80.00,40.00){\line(0,1){0.00}}
783: \put(80.00,120.00){\line(0,-1){40.00}}
784: \bezier{30}(80.00,80.00)(120.00,40.00)(160.00,0.00)
785: \bezier{30}(80.00,80.00)(40.00,40.00)(0.00,0.00)
786: \end{picture}}
787: }
788:
789: \def\ZvvZv{{% Picture saved by xtexcad 2.4
790: \unitlength=.27pt
791: \begin{picture}(48.00,30.00)(-4,-30.00)
792: \bezier{30}(20.00,-20.00)(30.00,-10.00)(40.00,0.00)
793: \bezier{30}(20.00,-20.00)(10.00,-10.00)(0.00,0.00)
794: \bezier{20}(10.00,-10.00)(15.00,-5.00)(20.00,0.00)
795: \put(20.00,-30.00){\line(0,1){10.00}}
796: \end{picture}}}
797:
798:
799: \def\vZvvZ{{% Picture saved by xtexcad 2.4
800: \unitlength=.27pt
801: \begin{picture}(48.00,30.00)(-4,-30.00)
802: \bezier{34}(20.00,-20.00)(30.00,-10.00)(40.00,0.00)
803: \bezier{34}(20.00,-20.00)(10.00,-10.00)(0.00,0.00)
804: \bezier{20}(30.00,-10.00)(25.00,-5.00)(20.00,0.00)
805: \put(20.00,-30.00){\line(0,1){10.00}}
806: \end{picture}}
807: }
808:
809: \def\vZvvZdva{{% Picture saved by xtexcad 2.4
810: \unitlength=.2pt
811: \begin{picture}(48.00,40.00)(-4.00,0.00)
812: \bezier{10}(30.00,30.00)(25.00,35.00)(20.00,40.00)
813: \bezier{34}(0.00,0.00)(20.00,20.00)(40.00,40.00)
814: \bezier{34}(0.00,40.00)(20.00,20.00)(40.00,0.00)
815: \end{picture}}}
816:
817: \def\dvabZbbZ{{% Picture saved by xtexcad 2.4
818: \unitlength=.2pt
819: \begin{picture}(48.00,40.00)(-4.00,-40.00)
820: \bezier{10}(30.00,-30.00)(25.00,-35.00)(20.00,-40.00)
821: \bezier{34}(0.00,0.00)(20.00,-20.00)(40.00,-40.00)
822: \bezier{34}(0.00,-40.00)(20.00,-20.00)(40.00,0.00)
823: \end{picture}}}
824:
825:
826: \def\triZbbZb{{% Picture saved by xtexcad 2.4
827: \unitlength=.2pt
828: \begin{picture}(48.00,40.00)(-4.00,0.00)
829: \put(20.00,40.00){\line(0,-1){20.00}}
830: \bezier{10}(10.00,10.00)(15.00,5.00)(20.00,0.00)
831: \bezier{34}(0.00,0.00)(20.00,20.00)(40.00,40.00)
832: \bezier{34}(0.00,40.00)(20.00,20.00)(40.00,0.00)
833: \end{picture}}}
834:
835:
836: \def\ZvvZvdva{{% Picture saved by xtexcad 2.4
837: \unitlength=.2pt
838: \begin{picture}(48.00,40.00)(-4.00,0.00)
839: \bezier{10}(10.00,30.00)(15.00,35.00)(20.00,40.00)
840: \bezier{34}(0.00,0.00)(20.00,20.00)(40.00,40.00)
841: \bezier{34}(0.00,40.00)(20.00,20.00)(40.00,0.00)
842: \end{picture}}}
843:
844: \def\tribZbbZ{{% Picture saved by xtexcad 2.4
845: \unitlength=.2pt
846: \begin{picture}(48.00,40.00)(-4.00,0.00)
847: \put(20.00,40.00){\line(0,-1){20.00}}
848: \bezier{10}(30.00,10.00)(25.00,5.00)(20.00,0.00)
849: \bezier{34}(0.00,0.00)(20.00,20.00)(40.00,40.00)
850: \bezier{34}(0.00,40.00)(20.00,20.00)(40.00,0.00)
851: \end{picture}}
852: }
853:
854: \def\ZvvZvtri{{% Picture saved by xtexcad 2.4
855: \unitlength=.2pt
856: \begin{picture}(48.00,40.00)(-4.00,0.00)
857: \put(20.00,0.00){\line(0,1){20.00}}
858: \bezier{10}(10.00,30.00)(15.00,35.00)(20.00,40.00)
859: \bezier{34}(0.00,0.00)(20.00,20.00)(40.00,40.00)
860: \bezier{34}(0.00,40.00)(20.00,20.00)(40.00,0.00)
861: \end{picture}}
862: }
863:
864: \def\vZvvZtri{{% Picture saved by xtexcad 2.4
865: \unitlength=.2pt
866: \begin{picture}(48.00,40.00)(-4.00,0.00)
867: \put(20.00,0.00){\line(0,1){20.00}}
868: \bezier{10}(30.00,30.00)(25.00,35.00)(20.00,40.00)
869: \bezier{34}(0.00,0.00)(20.00,20.00)(40.00,40.00)
870: \bezier{34}(0.00,40.00)(20.00,20.00)(40.00,0.00)
871: \end{picture}}
872: }
873:
874: \def\dvaZbbZb{{% Picture saved by xtexcad 2.4
875: \unitlength=.2pt
876: \begin{picture}(48.00,40.00)(-4.00,-40.00)
877: \bezier{10}(10.00,-30.00)(15.00,-35.00)(20.00,-40.00)
878: \bezier{34}(0.00,0.00)(20.00,-20.00)(40.00,-40.00)
879: \bezier{34}(0.00,-40.00)(20.00,-20.00)(40.00,0.00)
880: \end{picture}}}
881:
882:
883:
884: \def\dvojicezob#1#2#3#4{{
885: {% Picture saved by xtexcad 2.4
886: \unitlength=.58pt
887: \thinlines
888: \begin{picture}(110.00,20.0)(0.00,14.00)
889: \put(49.50,0.00){\makebox(0.00,0.00)[t]{\scriptsize $#4$}}
890: \put(49.50,41.50){\makebox(0.00,0.00)[b]{\scriptsize $#3$}}
891: \put(97.00,20.00){\makebox(0.00,0.00)[lc]{$#2$}}
892: \put(5.00,20.00){\makebox(0.00,0.00)[rc]{$#1$}}
893: \put(23.00,7.5){\vector(-2,1){10.00}}
894: \put(79.00,31.00){\vector(2,-1){10.00}}
895: \bezier{100}(16.0,10.50)(49.50,0.50)(83.50,12.50)
896: \bezier{100}(16.0,30.50)(49.50,40.50)(83.50,28.50)
897: \end{picture}}
898: }}
899:
900:
901:
902: \begin{document}
903: \title{Intrinsic brackets and the $L_\infty$-deformation theory of bialgebras}
904: \author{Martin Markl}
905:
906: \email{markl@math.cas.cz}
907:
908: \address{Math. Inst. of the Academy, {\v Z}itn{\'a} 25,
909: 115 67 Prague 1, The Czech Republic}
910:
911: \thanks{The author was supported by the grant GA \v CR 201/02/1390 and by
912: the Academy of Sciences of the Czech Republic,
913: Institutional Research Plan No.~AV0Z10190503.}
914:
915: \classification{16W30, 57T05, 18C10, 18G99}
916: \keywords{Cohomology, bialgebra, $L_\infty$-algebra, Maurer-Cartan equation}
917:
918: \bibliographystyle{plain}
919: \hyphenation{coho-mo-logy}
920:
921: \begin{abstract}
922: We show that there exists a Lie bracket on the cohomology of any
923: type of (bi)algebras over an operad or a \PROP, induced by an
924: $L_\infty$-structure on the defining cochain complex, such that the
925: associated $L_\infty$-master equation captures deformations.
926:
927: This in particular implies the existence of
928: a Lie bracket on the Gerstenhaber-Schack
929: cohomology~\cite{gerstenhaber-schack:Proc.Nat.Acad.Sci.USA90} of a
930: bialgebra that
931: extends the classical intrinsic bracket~\cite{gerstenhaber:AM63} on
932: the Hochschild cohomology, giving an affirmative answer to an old
933: question about the existence of such a~bracket. We also explain how
934: the results of~\cite{umble-saneblidze:KK} provide explicit formulas
935: for this bracket.
936: \end{abstract}
937:
938: \maketitle
939:
940:
941:
942: \subsection*{Conventions}
943: We assume a certain familiarity with operads and \PROP{s},
944: see~\cite{markl:ba,markl:handbook,markl-shnider-stasheff:book,mv,vallette:thesis}.
945: The reader who wishes only to know how the intrinsic bracket on the
946: Gerstenhaber-Schack cohomology looks might proceed directly to
947: Section~\ref{GS} which is almost independent on the rest of the paper
948: and contains explicit calculations. We also assume some
949: knowledge of the concept of strongly homotopy Lie algebras (also
950: called $L_\infty$-algebras),
951: see~\cite{lada-markl:CommAlg95,lada-stasheff:IJTP93}.
952:
953: We will make no distinction between an
954: operad $\calP$ and the
955: \PROP\ $\sfP$ generated by this operad. This means that
956: for us operads are particular cases of \PROP{s}.
957: As usual, bialgebra will mean a Hopf algebra without
958: (co)unit and antipode. To distinguish these bialgebras from other
959: types of ``bialgebras'' we will sometimes call them also
960: $\Ass$-bialgebras.
961:
962: All algebraic objects will be defined over a fixed field $\bfk$ of
963: characteristic zero although, surprisingly, our constructions related
964: to $\Ass$-bialgebras make sense over the integers.
965:
966: %\baselineskip18pt plus 1pt minus 1pt
967: %\parskip3pt plus 1pt minus .5pt
968:
969:
970: \section{Introduction and main results}
971: \label{intro}
972:
973:
974:
975: We show that the cohomology of (bi)algebras always carries a Lie
976: bracket (which we call the {\em intrinsic bracket\/}), induced by an
977: $L_\infty$-structure on the corresponding cochain complex. We also
978: discuss the master equation related to this $L_\infty$-structure.
979:
980:
981: By a {\em (bi)algebra\/} we mean an algebra over a certain $\bfk$-linear
982: \PROP\ $\sfP$.
983: Therefore a (bi)algebra is given by a
984: homomorphism of \PROP{s} $\alpha : \sfP \to \End_V$, where $\End_V$
985: denotes the endomorphism \PROP\ of a $\bfk$-vector space $V$. Observe that
986: this notion encompasses not only ``classical'' algebras (associative,
987: commutative associative, Lie, \&c.) but also various types of bialgebras
988: ($\Ass$-bialgebras, Lie bialgebras, infinitesimal bialgebras, \&c.).
989:
990: Let us recall that a {\em minimal model\/} of a $\bfk$-linear \PROP\
991: $\sfP$ is a differential (non-negatively) graded {\bfk}-linear
992: {\sc prop} $({\sf M},\pa)$ together with a homology isomorphism
993: \[
994: (\sfP,0) \stackrel{\rho}{\longleftarrow} ({\sf M},\pa)
995: \]
996: such that (i) the \PROP\ ${\sf M}$ is free and
997: (ii) the image of the degree $-1$ differential
998: $\pa$ consists of decomposable elements of ${\sf M}$ (the
999: minimality condition), see~\cite{markl:ba} for details. It is not our
1000: aim to discuss in this paper the existence and uniqueness of minimal
1001: models, nor the methods how to construct such models
1002: explicitly. Let us say only that for a large class of operads and
1003: \PROP{s} these minimal models can be constructed using the
1004: Koszul duality~\cite{gan,ginzburg-kapranov:DMJ94,vallette:thesis}.
1005:
1006: Let us emphasize that instead of a minimal model of $\sfP$ we may use
1007: in the following constructions any cofibrant (in a suitable sense)
1008: resolution of $\sfP$. But since explicit minimal models of $\sfP$
1009: exist in all cases of interest we will stick to minimal models in this
1010: note. This will simplify some technicalities.
1011:
1012: Assume we are given a homomorphism $\alpha : \sfP \to \End_V$
1013: describing a $\sfP$-algebra $B$. To define its cohomology, we need to
1014: choose first a minimal model $\rho : (\sfM,\pa) \to (\sfP,0)$ of
1015: $\sfP$. The composition $\beta:= \alpha \circ \rho : \sfM \to \End_V$
1016: makes $\End_V$ an $\sfM$-module (in the sense
1017: of~\cite[page~203]{markl:JPAA96}), one may therefore consider the
1018: graded vector space of derivations $\Der(\sfM,\End_V)$. For $\theta
1019: \in \Der(\sfM,\End_V)$ define $\delta \theta : = \theta \circ \pa$. It
1020: follows from the obvious fact that $\beta \circ \pa = 0$, implied by
1021: the triviality of the differential in $\sfP$, that $\delta \theta$ is
1022: again a derivation, so $\delta$ is a well-defined endomorphism of
1023: $\Der(\sfM,\End_V)$ which clearly satisfies $\delta^2=0$. We conclude
1024: that $\Der(\sfM,\End_V)$ is a non-positively graded vector space
1025: equipped with a differential of degree~$-1$. Finally, let
1026: \begin{equation}
1027: \label{Joshua_v_Praze}
1028: \CP^*(V;V) := \susp \Der(\sfM,\End_V)^{-*}
1029: \end{equation}
1030: be the suspension of the graded vector space $\Der(\sfM,\End_V)$ with
1031: reversed degrees. The differential $\delta$ induces on $\CP^*(V;V)$ a
1032: degree $+1$ differential denoted by $\delta_\sfP$. The {\em cohomology
1033: of $B$ with coefficients in itself\/} is then defined by
1034: \begin{equation}
1035: \label{Tel-Aviv}
1036: H^*_{\sfP}(B;B) := H(\CP^*(V;V),\delta_\sfP),
1037: \end{equation}
1038: see~\cite{markl:JPAA96,markl:ba}.
1039:
1040: For ``classical'' algebras, the cochain complex $(\CP^*(V;V),\delta_\sfP)$
1041: agrees with the ``standard'' constructions. Thus, for associative
1042: algebras,~(\ref{Tel-Aviv}) gives the Hochschild cohomology, for
1043: associative commutative algebras the Harrison cohomology, for Lie
1044: algebras the Chevalley-Eilenberg cohomology,~\&c. More generally, for
1045: algebras over a quadratic Koszul operad the above cohomology coincides
1046: with the triple cohomology. Therefore nothing dramatically new happens
1047: here.
1048:
1049: This situation changes if we consider (bi)algebras over a general
1050: \PROP\ $\sfP$. To our best knowledge, (\ref{Tel-Aviv}) is the only
1051: definition of a cohomology of (bi)algebras over \PROP{s}. As we
1052: argued in~\cite{markl:JPAA96}, it governs deformations of these
1053: (bi)algebras.
1054:
1055: Let $(\sfB,0) \leftarrow (\sfM_\sfB,\pa)$ be the minimal model of the
1056: \PROP\ $\sfB$ for $\Ass$-bialgebras constructed
1057: in~\cite{markl:ba,umble-saneblidze:KK} and $B$ a bialgebra
1058: given by a homomorphism $\alpha : \sfB \to \End_V$. Then
1059: $(\CB^*(V;V),\delta_\sfB)$ is isomorphic to the Gerstenhaber-Schack
1060: cochain complex $(C^*_\GS(B;B),d_\GS)$ and~(\ref{Tel-Aviv}) coincides
1061: with the Gerstenhaber-Schack
1062: cohomology~\cite{gerstenhaber-schack:Proc.Nat.Acad.Sci.USA90},
1063: \[
1064: H^*_\GS(B;B) \cong H^*(\CB^*(V;V),\delta_\sfB),
1065: \]
1066: see Section~\ref{GS} for details.
1067: The result announced in the Abstract follows from the following:
1068:
1069: \begin{theorem}
1070: \label{main}
1071: Let $B$ be a (bi)algebra over a \PROP\ $\sfP$. Then there exist a
1072: graded Lie algebra bracket on the cohomology $H^*_\sfP(B;B)$ induced
1073: by a natural $L_\infty$-structure $(\delta_\sfP, l_2,l_3,\ldots)$ on
1074: the defining complex $(\CP^*(V;V),\delta_\sfP)$.
1075: \end{theorem}
1076:
1077: We will see in Section~\ref{1bis} and also in Section~\ref{3} that the
1078: $L_\infty$-structure of Theorem~\ref{main} can be given by explicit
1079: formulas that involve the differential $\pa$ of the minimal model
1080: $\sfM$. It will also be clear that this $L_\infty$-structure uses
1081: all the information about the minimal model $\sfM$ of $\sfP$ and that,
1082: vice versa, the minimal model $\sfM$ can be reconstructed from the
1083: knowledge of this $L_\infty$-structure. Therefore the brackets
1084: $l_2,l_3,\ldots$ can be understood as Massey products that detect the
1085: homotopy type of the \PROP~$\sfP$.
1086:
1087:
1088: Since the minimal model $\sfM$ is, by definition, free on a
1089: $\Sigma$-bimodule $E$, $\sfM = \freePROP(E)$, it is graded by the number
1090: of generators. This means that $\freePROP(E) = \bigoplus_{k \geq 0}
1091: \freePROP^k(E)$, where $\freePROP^k(E)$ is spanned by ``monomials'' composed of
1092: exactly $k$ elements of $E$. The minimality of $\pa$ is equivalent to
1093: $\pa(E) \subset \freePROP^{\geq 2}(E)$. The differential $\pa$ is called
1094: {\em quadratic\/} if $\pa(E) \subset \freePROP^2(E)$.
1095:
1096: \begin{proposition}
1097: \label{main1}
1098: If the differential of the minimal model $\sfM$ of $\sfP$ used in the
1099: definition of the cohomology~(\ref{Tel-Aviv}) is quadratic, then the
1100: higher brackets $l_3,l_4,\ldots$ of the $L_\infty$-structure vanish,
1101: therefore $(\CP^*(V;V),\delta_\sfP)$ forms an ordinary dg Lie algebra with
1102: the bracket $[-,-]:= l_2(-,-)$.
1103: \end{proposition}
1104:
1105: The minimal model of a quadratic Koszul operad $\calP$ is given by the
1106: cobar construction on its quadratic dual $\calP^!$ and is therefore
1107: quadratic. Thus, for algebras over such an operad, the complex
1108: $(C_\calP^*(V;V),\delta_\calP)$ is a Lie algebra whose bracket
1109: coincides with the classical intrinsic bracket given by identifying
1110: this complex with the space of coderivations of a certain cofree
1111: nilpotent $\calP^!$-coalgebra,
1112: see~\cite[Section~II.3.8]{markl-shnider-stasheff:book}. The similar
1113: observation is true also for various types of ``bialgebras'' defined
1114: over quadratic (in a suitable sense) \PROP{s}, such as Lie
1115: bialgebras~\cite{gan}, infinitesimal bialgebras~\cite{aguiar:04} and
1116: $\frac12$bialgebras~\cite{markl:ba}. In contrast, as we will see in
1117: Section~\ref{GS}, the Gerstenhaber-Schack complex of an
1118: $\Ass$-bialgebra carries a fully fledged $L_\infty$-algebra structure.
1119:
1120: \vskip .3em
1121: \noindent
1122: {\bf Relation to previous results.} As indicated in the above
1123: paragraph, it is well-known that, for an algebra $B$ over a quadratic
1124: Koszul operad $\calP$, the cochain complex
1125: $(C_\calP^*(V;V),\delta_\calP)$ is a dg-Lie algebra with the structure
1126: given by a generalization of Schlessinger-Stasheff's intrinsic
1127: bracket~\cite{schlessinger-stasheff:JPAA85}. For algebras over a
1128: general operad, an $L_\infty$-generalization of this structure was
1129: obtained by van~der~Laan~\cite{laan-defo} as follows.
1130:
1131: Van~der~Laan noticed that, for each homotopy cooperad (in an
1132: appropriate sense) $E$ and for each operad $\calS$, the
1133: $\Sigma$-module $\calS^E = \{\calS^E(n)\}_{n \geq 1}$, where
1134: $\calS^E(n) := \Lin(E(n),\calS(n))$, is a homotopy operad (again in an
1135: appropriate sense), which generalizes the convolution operad
1136: of~\cite{berger-moerdijk:02}. He also proved that, for each homotopy
1137: operad $\calO = \{\calO(n)\}_{n \geq 1}$, the ``total
1138: space'' $\calO^* := \bigoplus_{* \geq 1}\calO(*+1)$ has an induced
1139: $L_\infty$-structure which descents to an $L_\infty$-structure on the
1140: symmetrization $\calO^*_\Sigma := \bigoplus_{* \geq
1141: 1}\calO(*+1)_{\Sigma_{*+1}}$. Therefore, for $\calS$ and $E$ as above, the
1142: graded vector space ${\calS^E}^*_\Sigma$ is a natural $L_\infty$-algebra.
1143:
1144: On the other hand, let $(\freePROP(E),\pa) \to (\calP,0)$ be a minimal
1145: model of $\calP$. Van~der~Laan observed that the differential $\pa$
1146: makes the $\Sigma$-module of generators $E$ a homotopy cooperad and that,
1147: for $\calS = \End_V$,
1148: \begin{equation}
1149: \label{zavody_ve_Dvore_zacaly_a_porad_prsi}
1150: {\calS^E}^*_\Sigma \cong C_\calP^*(V;V).
1151: \end{equation}
1152: Combining the above facts,
1153: he concluded that $\CP^*(V;V)$ is a natural $L_\infty$-algebra
1154: and proved that the map $\alpha : \calP \to \End_V$ defining the
1155: $\calP$-algebra $B$ determines a Maurer-Cartan element $\kappa \in
1156: C_\calP^1(V;V)$. He then constructed the $L_\infty$-structure on
1157: $(C_\calP^*(V;V),\delta_\calP)$ as the $\kappa$-twisting, in the sense
1158: recalled in Section~\ref{sh}, of the $L_\infty$-algebra given
1159: by the identification~(\ref{zavody_ve_Dvore_zacaly_a_porad_prsi}).
1160:
1161: We were recently informed about an on-going
1162: work~\cite{merkulov-vallette} whose central statement
1163: proves the existence of an $L_\infty$-structure on
1164: the space of $\mathbb Z$-graded extended morphisms from a free dg \PROP\ to an
1165: arbitrary \PROP\ from which Laan's arguments and their generalization
1166: to \PROP{s} follow.
1167:
1168:
1169: The methods of this article are independent of the above mentioned
1170: papers. While our approach is not very conceptual, it is
1171: straightforward and immediately produces, from a given differential
1172: in the minimal model, explicit formulas for the induced
1173: $L_\infty$-structure.
1174:
1175:
1176: \vskip .3em
1177: \noindent
1178: {\bf Relation to derived spaces of algebra structures.}
1179: As argued in~\cite[page~797]{fontanine-kapranov:JAMS}, for an operad
1180: $\calP$ and a {\em finite-dimensional\/} vector space $W$, there
1181: exists a scheme $\Alg {\calP}W$ parameterizing $\calP$-algebra
1182: structures on $W$. It is characterized by the property that for each
1183: commutative dg-algebra $A$, morphisms ${\it Spec\/}(A) \to \Alg
1184: {\calP}W$ are in bijection with $(A \ot_\bfk \calP)$-algebra
1185: structures on the dg-$A$-module $A \ot_\bfk W$. Let $\calF \to \calP$
1186: be a free resolution of the operad $\calP$. Then $\Alg {\calF}W$ was
1187: interpreted, in~\cite[Section~3.2]{fontanine-kapranov:JAMS}, as a
1188: smooth dg-scheme in the sense of~\cite{fontanine-kapranov},
1189: representing a right-derived space $R\hskip .1em \Alg {\calP}W$ of
1190: $\calP$-actions on $W$ in a suitable derived category of dg-schemes.
1191:
1192: It can be easily seen, using methods
1193: of~\cite[Section~3.5]{fontanine-kapranov:JAMS}, that if $\rho: \calF
1194: \to \calP$ is the minimal model of the operad $\calP$ and $\alpha :
1195: \calP \to \End_W$ describes a $\calP$-algebra $B$ with the underlying
1196: vector space $W$, then the components of the dg-tangent space at
1197: $[\beta] \in \Alg {\calF}W$, $\beta := \rho \circ \alpha$, can be
1198: described as
1199: \[
1200: T^n_{[\beta]} \Alg {\calF}W \cong \CcP^{n+1}(V;V),\ \mbox {for } n \geq 0
1201: \]
1202: (we used a different degree convention than~\cite{fontanine-kapranov:JAMS}).
1203: The existence of an $L_\infty$-structure on $\CcP^{*}(V;V)$ would then
1204: follow from general properties of dg-schemes and is in fact
1205: equivalent to specifying a local coordinate system at the smooth point
1206: $[\beta]$ of $\Alg {\calF}W$~\cite[Proposition~2.5.8]{fontanine-kapranov}.
1207:
1208:
1209: On the other hand, let $\sfM$ be a free dg-\PROP\
1210: and $\beta : \sfM \to \calE$ a
1211: \PROP\ homomorphism. Denote by $\calE_\beta$ the \PROP\ $\calE$
1212: considered as an $\sfM$-module with the action induced by the
1213: homomorphism~$\beta$. We will prove in Theorem~\ref{E} of
1214: Section~\ref{2bis} that the desuspended space $\desusp
1215: \Der(\SFM,\calE_\beta)$ of derivations has a natural
1216: $L_\infty$-structure. By the definition~(\ref{Joshua_v_Praze}) of
1217: $\CP^*(V,V)$, Theorem~\ref{main} follows from Theorem~\ref{E}
1218: by taking $\sfM$ a minimal model of the
1219: $\sfP$, $\calE: = \End_V$ and $\beta: \sfM \to \calE$
1220: the composition $\alpha \circ
1221: \rho$, where $\alpha : \sfP \to \End_V$ describes the algebra $B$ and
1222: $\rho : \sfM \to \sfP$ is the map of the minimal~model.
1223:
1224:
1225: In the light of~\cite[Proposition~2.5.8]{fontanine-kapranov},
1226: Theorem~\ref{E} translates to the statement that for each free
1227: dg-\PROP\ $\sfM$ and each homomorphism $\beta : \sfM \to \calE$, the space
1228: $\desusp \Der(\sfM,\calE_\beta)$ forms a smooth dg-scheme. The
1229: derived scheme $R\hskip .1em \Alg {\calP}W$
1230: of~\cite[page~797]{fontanine-kapranov:JAMS} is then, for $\sfP$ the
1231: operad $\calP$ and $W$ a finite-dimensional vector space, the
1232: specialization of this construction at the point represented by $\calE
1233: = \End_W$ and $\beta = \alpha \circ \rho$. It this sense, the results
1234: of the present paper are meta-versions of constructions
1235: in~\cite[Section~3.2]{fontanine-kapranov:JAMS} that completely avoid
1236: all assumptions required by the
1237: `classical' geometry, namely the fact
1238: that the target of the map $\beta$ is the endomorphism \PROP\ of a
1239: finite-dimensional vector space. The present paper thus
1240: finishes the program to find a ``universal variety of
1241: structure constants'' formulated in~\cite[page~197]{markl:JPAA96}.
1242:
1243: \vskip .3em
1244:
1245: \noindent
1246: {\bf The master equation.} Let $A$ be a ``classical'' algebra over a
1247: quadratic Koszul operad $\calP$ (associative, commutative associative, Lie,
1248: \&c.), so that the cochain complex $(C_\calP^*(A;A),\delta_\calP)$ is a
1249: graded dg-Lie algebra (Proposition~\ref{main1}). One usually shows that an
1250: element $\kappa \in C_\calP^1(A,A)$, represented by a bilinear map (or
1251: by a collection of bilinear maps), is a deformation of the
1252: $\calP$-algebra structure $A$
1253: if and only if it solves the ``classical'' master equation $0 =
1254: \delta_\calP(\kappa) +
1255: \textstyle\frac 12 [\kappa,\kappa]$.
1256:
1257:
1258: {}For a (bi)algebra $B$ over a general \PROP\ $\sfP$, the
1259: cochain complex $(C^*_\sfP(B,B),d_\sfP)$ forms only an $L_\infty$-algebra,
1260: but we will prove, in Section~\ref{sh},
1261: that solutions $\kappa \in C_\sfP^1(B,B)$ of the
1262: ``quantum'' master equation
1263: \begin{equation}
1264: \label{master1}
1265: 0 = \delta_\sfP(\kappa) + \frac 1{2!} l_2(\kappa,\kappa)
1266: - \frac 1{3!} l_3(\kappa,\kappa,\kappa) -
1267: \frac 1{4!} l_4(\kappa,\kappa,\kappa,\kappa) + \cdots
1268: \end{equation}
1269: are deformations of $B$. This means that the $L_\infty$-structure
1270: of Theorem~\ref{main} represents an $L_\infty$-version of the Deligne
1271: groupoid for deformations of $B$, see~\cite{hinich:IMRN97} for
1272: the terminology.
1273: We will see in Section~\ref{3} how this observation applies to
1274: $\Ass$-bialgebras. Although the sum~(\ref{master1}) is infinite, we
1275: will see that, in situations considered in this paper, it converges.
1276:
1277: \vskip .3em
1278:
1279: \noindent
1280: {\bf Acknowledgment:} The author would like to express his thanks to
1281: the Mathematics Department of Bar Ilan University for a very
1282: stimulating and pleasant atmosphere. It was during his visit of this
1283: department, sponsored by the Israel Academy of Sciences, that the
1284: present work started. Also the suggestions and comments of Ezra
1285: Getzler, Jim Stasheff, Bruno Vallette and Sasha Voronov regarding the
1286: first draft of this paper were extremely
1287: helpful. Proposition~\ref{podzim} and most of Section~\ref{sh} is
1288: basically only a \PROP{ic} generalization of the material on
1289: pages~21-23 of~\cite{laan-defo}. My thanks are also due to
1290: S.~Merkulov and B.~Vallette for sharing their on-going
1291: work~\cite{merkulov-vallette} with me.
1292: \vskip .3em
1293:
1294: \noindent
1295: {\bf Outline of the paper.}
1296: In the following section we indicate the idea behind the
1297: $L_\infty$-structure of Theorem~\ref{main}. A rigorous proof of this
1298: theorem is then contained in Sections~\ref{2} and~\ref{2bis}. In short
1299: Section~\ref{sh} we discuss master equations in $L_\infty$-algebras.
1300: In the last section we show how constructions of this paper together with the
1301: description~\cite[Eqn.~3.1]{umble-saneblidze:KK} of the minimal model of the
1302: bialgebra \PROP\ give an explicit $L_\infty$-structure on the
1303: Gerstenhaber-Schack complex $(C^*_\GS(B;B),d_\GS)$.
1304:
1305:
1306: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1307:
1308: \section{The idea of the construction}
1309: \label{1bis}
1310:
1311:
1312: In this section we explain the idea behind the $L_\infty$-structure of
1313: Theorem~\ref{main} and indicate why the $L_\infty$-axioms are
1314: satisfied. We believe that this section will help to
1315: understand the concepts, but we do not aim to be rigorous here, see
1316: also the remark at the end of this section. Formal constructions and
1317: proofs based on the equivalence between symmetric brace algebras and
1318: pre-Lie algebras~\cite{guin-oudom,lm:sb} are then given in
1319: Sections~\ref{2} and~\ref{2bis}.
1320:
1321: We need to review first some definitions and facts concerning \PROP{s} and
1322: their derivations. Given a \PROP\ $\sfP$ and a $\sfP$-module
1323: $\modU$~\cite[p.~203]{markl:JPAA96}, then a {\em degree $d$ derivation\/}
1324: $\theta : \sfP \to \modU$ is a map of $\Sigma$-bimodules $\theta
1325: : \sfP \to \modU$ which is a degree $d$ derivation (in the
1326: evident sense) with respect to both the horizontal and vertical
1327: compositions in the \PROP\ $\sfP$ and the $\sfP$-module~$\modU$.
1328:
1329: An equivalent definition is the following. For each $d$, the
1330: $\sfP$-module structure on $\modU$ induces the obvious \PROP\
1331: structure on the direct sum $\sfP \oplus \deesusp d{\modU}$ of
1332: the $\Sigma$-bimodule $\sfP$ and the $d$-fold desuspension of the
1333: $\Sigma$-bimodule $\modU$. A degree $d$ map $\theta : \sfP \to
1334: \modU$ of $\Sigma$-bimodules is then a degree $d$ derivation if
1335: and only if
1336: \begin{equation}
1337: \label{jitka3}
1338: {\it id}_\sfP \oplus \deesusp d\theta :
1339: \sfP \to \sfP \oplus \deesusp d{\modU}
1340: \end{equation}
1341: is a \PROP\ homomorphism. The equivalence of the above two
1342: definitions of derivations can be easily verified directly.
1343: We denote
1344: by $\Der(\sfP,\modU)$ the graded vector space of derivations $\theta :
1345: \sfP \to \modU$.
1346: If $\modU = \sfP$, we write simply $\Der(\sfP)$ instead of
1347: $\Der(\sfP,\sfP)$.
1348:
1349:
1350: \begin{proposition}
1351: \label{JITa}
1352: Let $\sfM = \freePROP(E)$ be the free \PROP\ generated by a
1353: $\Sigma$-bimodule $E$ and $\modU$ an $\sfM$-module. Then there is
1354: a canonical isomorphism
1355: \begin{equation}
1356: \label{jitka2}
1357: \Der(\sfM,\modU) \cong \sigmabimodmaps(E,\modU),
1358: \end{equation}
1359: given by restricting a derivation $\theta \in \Der(\sfM,\modU)$ onto
1360: the space $E \subset \sfM$ of generators. In~(\ref{jitka2}),
1361: $\sigmabimodmaps(-,-)$ denotes the space of linear
1362: bi-equivariant maps of $\Sigma$-bimodules.
1363: \end{proposition}
1364:
1365: \noindent
1366: The {\it proof\/} follows from the
1367: interpretation~(\ref{jitka3}) of derivations as homomorphisms and
1368: the standard universal property of free \PROP{s}.%
1369: \qed
1370:
1371: Let us look more closely at the structure of the free \PROP\
1372: $\freePROP(E)$ generated by a
1373: $\Sigma$-bimodule~$E$. As~explained in~\cite{markl:handbook}, the
1374: components of this \PROP\ are the colimit
1375: \begin{equation}
1376: \label{jsem_zvedav_jestli_se_ta_druha_Jitka_ozve}
1377: \freePROP(E)(m,n) := \colim{{G \in \UGr mn}}{{E}}(G),\
1378: m,n \geq 0,
1379: \end{equation}
1380: taken over the category $\UGr mn$ of directed $(m,n)$-graphs without
1381: directed cycles and their
1382: isomorphisms. In~(\ref{jsem_zvedav_jestli_se_ta_druha_Jitka_ozve}),
1383: $E(G)$ denotes the vector space of all decorations of vertices of $G$
1384: by elements of $E$, see~\cite[Section~8]{markl:handbook} for precise
1385: definitions. Therefore elements of the free \PROP\ $\freePROP(E)$ can
1386: be represented by sums of $E$-decorated directed~graphs.
1387:
1388: To simplify the exposition, we accept the convention that $\Gamma$
1389: (with or without a subscript) will denote an $E$-decorated graph, and
1390: $G$ (with or without a subscript) the underlying un-decorated graph.
1391: If $\Gamma$ is such an $E$-decorated graph, we denote by
1392: $e_v \in E$ the corresponding decoration of a vertex $v \in \Vert(G)$
1393: of the underlying un-decorated graph.
1394:
1395: For bi-equivariant linear maps $\Rada F1k \in \sigmabimodmaps(E,\End_V)$,
1396: homomorphism $\beta : \freePROP(E) \to \End_V$ and {\em
1397: distinct\/} vertices $\Rada v1k \in \Vert(G)$, we denote by
1398: \begin{equation}
1399: \label{stanu_se_UL_instruktorem?}
1400: \Gamma_{\{\beta\}}^{\{\Rada v1k\}}[\Rada F1k] \in \End_V(G)
1401: \end{equation}
1402: the $\End_V$-decorated graph whose vertices $v_i$, $1 \leq i \leq k$,
1403: are decorated by $F_i(e_{v_i})$ and the remaining vertices $v \not\in
1404: \{\Rada v1k\}$ by $\beta(v_e)$. See Figure~\ref{figu1}.
1405: \begin{figure}[t]
1406: \begin{center}
1407: {% Picture saved by xtexcad 2.4
1408: \unitlength=1pt
1409: \begin{picture}(170.00,170.00)(0.00,0.00)
1410: \thicklines
1411: \put(90.00,10.00){\makebox(0.00,0.00){$\cdots$}}
1412: \put(90.00,160.00){\makebox(0.00,0.00){$\cdots$}}
1413: \put(130.00,80.00){\makebox(0.00,0.00){$\hnida {\beta}$}}
1414: \put(70.00,40.00){\makebox(0.00,0.00){$\hnida {\beta}$}}
1415: \put(50.00,70.00){\makebox(0.00,0.00){$\hnida {\beta}$}}
1416: \put(130.00,130.00){\makebox(0.00,0.00){$\hnida {F_k}$}}
1417: \put(100.00,60.00){\makebox(0.00,0.00){$\hnida {F_2}$}}
1418: \put(73.00,100.00){\makebox(0.00,0.00){$\hnida {F_3}$}}
1419: \put(50.00,120.00){\makebox(0.00,0.00){$\hnida {F_1}$}}
1420: \put(140.00,150.00){\vector(0,1){20.00}}
1421: \put(60.00,150.00){\vector(0,1){20.00}}
1422: \put(50.00,150.00){\vector(0,1){20.00}}
1423: \put(140.00,0.00){\vector(0,1){20.00}}
1424: \put(60.00,0.00){\vector(0,1){20.00}}
1425: \put(50.00,0.00){\vector(0,1){20.00}}
1426: \put(95.00,85.00){\oval(130.00,130.00)}
1427: \end{picture}}
1428: \end{center}
1429: \caption{\label{figu1}
1430: The $\End_V$-decorated graph $\Gamma_{\{\beta\}}^{\{\Rada
1431: v1k\}}[\Rada F1k]$. Vertices labelled $F_i$ are decorated by
1432: $F_i(e_{v_i})$, $1 \leq i \leq k$, the remaining vertices are decorated
1433: by $\beta(e_v)$.}
1434: \end{figure}
1435: The \PROP\ structure of $\End_V$
1436: determines the contraction $\alpha :
1437: \End_V(G) \to \End_V(m,n)$ along $G$~\cite[Section~8]{markl:handbook}. Applying
1438: this contraction to~(\ref{stanu_se_UL_instruktorem?}),
1439: we obtain a linear map
1440: \[
1441: \alpha(\Gamma_{\{\beta\}}^{\{\Rada v1k\}}[\Rada F1k]) \in \End_V(m,n) =
1442: \Lin(\otexp Vn,\otexp Vm).
1443: \]
1444:
1445:
1446: Let us show, after these preliminaries, how the $L_\infty$-braces of
1447: Theorem~\ref{main} can be constructed.
1448: Assume that, as in the introduction, $\alpha : \sfP \to \End_V$ is a
1449: $\sfP$-algebra and $\rho : (\sfM,\pa) \to (\sfP,0)$ a minimal model of
1450: $\sfP$. Recall that $\beta$ denotes the composition $\alpha \circ \rho : \sfM
1451: \to \End_V$. Assume that $\sfM = \freePROP(E)$ for some $\Sigma$-bimodule
1452: $E$. It follows from definition~(\ref{Joshua_v_Praze}) and
1453: isomorphism~(\ref{jitka2}) that
1454: \begin{equation}
1455: \label{piji_kavu}
1456: \CP^*(V;V) \cong \susp \sigmabimodmaps^{-*}(E,\End_V).
1457: \end{equation}
1458:
1459: For $\xi \in E(m,n)$, represent the value
1460: $\pa(\xi) \in \freePROP(E)(m,n)$ of the differential as a sum of
1461: $E$-decorated $(m,n)$-graphs,
1462: \begin{equation}
1463: \label{porad_odkladam_ty_testy}
1464: \pa(\xi) = \sum_{s\in S_\xi} \Gamma_s,
1465: \end{equation}
1466: with a finite set of summation indices $S_\xi$.
1467: Let $F_i \in \sigmabimodmaps(E,\End_V)$ correspond, under
1468: isomorphism~(\ref{piji_kavu}), to a cochain $f_i \in
1469: \CP^*(V;V)$, $1 \leq i \leq k$, and define $l_k (\Rada f1k)(\xi) \in
1470: \End_V(m,n)$ by
1471: \begin{equation}
1472: \label{nabla}
1473: l_k (\Rada f1k)(\xi) := (-1)^{\nu(\Rada f1k)}
1474: \sum_{s \in S_\xi}\
1475: \sum_{\Rada v1k} \alpha(\Gamma_{s,{\{\beta\}}}^{\{\Rada v1k\}}[\Rada F1k]),
1476: \end{equation}
1477: where $\Rada v1k$ runs over all $k$-tuples of distinct vertices of the
1478: underlying graph $G_s$ of the $E$-decorated graph
1479: $\Gamma_s$. The overall sign in the right
1480: hand side, defined later
1481: in~(\ref{dnes_jsem_byl_na_sipcich}), plays no role in this section.
1482: The linear map $\xi \mapsto l_k (\Rada f1k)(\xi)$ determines,
1483: by~(\ref{piji_kavu}), an element $l_k (\Rada f1k) \in \CP^*(V;V)$,
1484: which is precisely the $k$-th $L_\infty$-bracket of Theorem~\ref{main}.
1485: Observe that~(\ref{nabla}) makes sense also for $k=0$ when it reduces to
1486: \[
1487: l_0 (\xi) :=
1488: \sum_{s \in S_\xi}\ \alpha(\Gamma_{s,{\{\beta\}}})
1489: \]
1490: where $\Gamma_{s,{\{\beta\}}}$ is the $E$-decorated graph whose
1491: underlying graph is $G_s$ and all vertices $v$ are
1492: decorated by $\beta(e_v)$. This clearly means that $\Gamma_{s,{\{\beta\}}} =
1493: \beta(\Gamma_s)$, therefore $l_0 (\xi) = (\beta \circ
1494: \pa)(\xi)$. Since $\beta \circ \pa = 0$, this implies that $l_0 = 0$.
1495: It is equally simple to verify that $l_1$ coincides with the differential
1496: $\delta_\calP$ in $\CP^*(V;V)$.
1497:
1498: Let us explain why formula~(\ref{nabla}) indeed defines an
1499: $L_\infty$-structure. It is not difficult to see that $l_k (\Rada
1500: f1k)$, $k \geq 1$, have the appropriate symmetry. To understand why the
1501: $L_\infty$-axiom recalled
1502: in~(\ref{jestli_jsem_se_nezblaznil}) below is satisfied,
1503: expand the equation
1504: \hbox{$(\pa \circ \pa)(\xi) = 0$~into}
1505: \begin{equation}
1506: \label{21}
1507: 0 =
1508: (\pa \circ \pa)(\xi) = \sum_{s \in S_\xi} \pa(\Gamma_s) =
1509: \sum_{s \in S_\xi}
1510: \sum_{v \in \Vert(\Gamma_s)}
1511: \sum_{t \in T_{s,v}} \Gamma_{s,v,t}
1512: \end{equation}
1513: where $\Gamma_{s,v,t}$ is the $E$-decorated graph obtained as
1514: follows. For $v \in \Vert(G_s)$, let
1515: \begin{equation}
1516: \label{23}
1517: \pa(e_v) = \sum_{t \in T_{s,v}}
1518: \Gamma_{v,t},
1519: \end{equation}
1520: where $\Gamma_{v,t}$ are $E$-decorated graphs indexed by a finite
1521: set~$T_{s,v}$.
1522: The graph $\Gamma_{s,v,t}$ is then given
1523: by replacing the $E$-decorated vertex $v$ of $\Gamma_s$ by the
1524: $E$-decorated graph $\Gamma_{s,v}$. By~(\ref{21}),
1525: \[
1526: 0 =
1527: \sum_{s \in S_\xi}
1528: \sum_{v \in \Vert(\Gamma_s)}
1529: \sum_{t \in T_{s,v}}
1530: \sum_{\Rada v1k} \alpha(\Gamma_{s,v,t,{\{\beta\}}}^{\{\Rada v1k\}}[\Rada F1k])
1531: \]
1532: for arbitrary $\Rada F1k \in \sigmabimodmaps(E,\End_V)$ and $k \geq 1$.
1533: This summation can be further refined as
1534: \begin{equation}
1535: \label{uz_mne_z_ty_Kvety_hrabe}
1536: 0 =
1537: \sum_{s \in S_\xi}
1538: \sum_{v \in \Vert(\Gamma_s)}
1539: \sum_{t \in T_{s,v}} \sum_\sigma
1540: \sum_{\Rada v1k}\hskip -.7em {}^{\raisebox{.5em}{\scriptsize $\sigma$}}
1541: \alpha(\Gamma_{s,v,t,{\{\beta\}}}^{\{\Rada v1k\}}[\Rada F1k]),
1542: \end{equation}
1543: where $\sigma$ runs over all $(i,k-i)$-unshuffles with $i \geq 1$
1544: and the rightmost summation is restricted to $k$-tuples of
1545: distinct vertices $\Rada v1k \in \Vert(G_{s,v,t})$ such that $\rada
1546: {v_{\sigma(1)}}{v_{\sigma(i)}}$ are vertices of the subgraph
1547: $G_{s,v} \subset G_{s,v,t}$ and $\rada {v_{\sigma(i+1)}}{v_{\sigma(k)}}$ are
1548: vertices of the complement of $G_{s,v}$ in~$G_{s,v,t}$.
1549:
1550: It is obvious that for such $\sigma$ and $\Rada v1k$, the graph
1551: $\Gamma_{s,v,t,{\{\beta\}}}^{\{\Rada v1k\}}$ is obtained from the
1552: $\End_V$-decorated graph $\Gamma_s^{\{\rada
1553: {v_{\sigma(i+1)}}{v_{\sigma(k)}}\}}$ by replacing the vertex $v$ by the
1554: $\End_V$-decorated graph $\Gamma_{v,t}^{\{\rada
1555: {v_{\sigma(1)}}{v_{\sigma(i)}}\}}$, see
1556: Figure~\ref{zatim_pocitac_drandi}.
1557: \begin{figure}[t]
1558: \begin{center}
1559: {% Picture saved by xtexcad 2.4
1560: \unitlength=1.000000pt
1561: \begin{picture}(210.00,290.00)(-10,0)
1562: \thicklines
1563: \put(-20,150){\makebox(0.00,0.00)[r]{$\Gamma_{s,v,t,{\{\beta\}}}^{\{\Rada
1564: v1k\}} =$}}
1565: \put(107,124){\makebox(0.00,0.00){$\hnida{\beta}$}}
1566: \put(60.00,140.00){\makebox(0.00,0.00){$\hnida{F_{\sigma(i)}}$}}
1567: \put(195.00,260.00){%
1568: \makebox(0.00,0.00)[lb]%
1569: {$\Gamma_s^{\{\rada {v_{\sigma(i+1)}}{v_{\sigma(k)}}\}}$}}
1570: \put(90.00,100.00){\makebox(0.00,0.00){$\cdots$}}
1571: \put(120.00,90.00){\vector(0,1){20.00}}
1572: \put(70.00,90.00){\vector(0,1){20.00}}
1573: \put(60.00,90.00){\vector(0,1){20.00}}
1574: \put(120.00,210.00){\vector(0,1){20.00}}
1575: \put(90.00,160.00){\oval(100.00,100.00)}
1576: \put(108,182){\makebox(0.00,0.00){$\hnida{\beta}$}}
1577: \put(20.00,230.00){\makebox(0.00,0.00){$\hnida{\beta}$}}
1578: \put(80.00,70.00){\makebox(0.00,0.00){$\hnida{\beta}$}}
1579: \put(170.00,110.00){\makebox(0.00,0.00){$\hnida{\beta}$}}
1580: \put(30.00,80.00){\makebox(0.00,0.00){$\hnida{F_{\sigma(n)}}$}}
1581: \put(160.00,70.00){\makebox(0.00,0.00){$\hnida{F_{\sigma(i+2)}}$}}
1582: \put(142,204){\makebox(0.00,0.00)[lb]{$\Gamma_{v,t}^{\{\rada
1583: {v_{\sigma(1)}}{v_{\sigma(i)}}\}}$}}
1584: \put(160.00,170.00){\makebox(0.00,0.00){$\hnida{F_{\sigma(i+1)}}$}}
1585: \put(104,150.00){\makebox(0.00,0.00){$\hnida{F_{\sigma(2)}}$}}
1586: \put(60.00,190.00){\makebox(0.00,0.00){$\hnida{F_{\sigma(1)}}$}}
1587: \put(80.00,220.00){\makebox(0.00,0.00){$\cdots$}}
1588: \put(90.00,20.00){\makebox(0.00,0.00){$\cdots$}}
1589: \put(90.00,270.00){\makebox(0.00,0.00){$\cdots$}}
1590: \put(70.00,210.00){\vector(0,1){20.00}}
1591: \put(60.00,210.00){\vector(0,1){20.00}}
1592: \put(180.00,0.00){\vector(0,1){40.00}}
1593: \put(50.00,0.00){\vector(0,1){40.00}}
1594: \put(30.00,0.00){\vector(0,1){40.00}}
1595: \put(180.00,250.00){\vector(0,1){40.00}}
1596: \put(50.00,250.00){\vector(0,1){40.00}}
1597: \put(30.00,250.00){\vector(0,1){40.00}}
1598: \put(105.00,145.00){\oval(210.00,210.00)}
1599: \end{picture}}
1600: \end{center}
1601: \caption{\label{zatim_pocitac_drandi}%
1602: The graph $\Gamma_{s,v,t,{\{\beta\}}}^{\{\Rada v1k\}}$ obtained by
1603: replacing the vertex $v$ of $\Gamma_s^{\{\rada
1604: {v_{\sigma(i+1)}}{v_{\sigma(k)}}\}}$ by $\Gamma_{v,t}^{\{\rada
1605: {v_{\sigma(1)}}{v_{\sigma(i)}}\}}$.
1606: }
1607: \end{figure}
1608: Therefore one can reinterpret the right hand side
1609: of~(\ref{uz_mne_z_ty_Kvety_hrabe}) as
1610: \begin{equation}
1611: \label{jestli_jsem_se_nezblaznil}
1612: 0 = \sum_{i+j = k+1} \sum_\sigma \eta(\sigma) (-1)^{i(j-1)} \cdot
1613: l_j(l_i(\Rada f{\sigma(1)}{\sigma(i)}),\Rada f{\sigma(i+1)}{\sigma(k)})
1614: \end{equation}
1615: with $\eta(\sigma) := {\it sgn\/} (\sigma) \cdot \epsilon(\sigma)$,
1616: which is the axiom of $L_\infty$-algebras.
1617:
1618: We are sure that the reader has already realized at which points we
1619: were not precise. First, we did not say what is a decoration
1620: of a graph. Second, our formulas~(\ref{porad_odkladam_ty_testy})
1621: and~(\ref{23}) for the differential assumed choices of representatives
1622: of decorated graphs, and a rigorous proof
1623: of~(\ref{jestli_jsem_se_nezblaznil}) would require
1624: assumptions about the compatibility of these choices. We also
1625: ignored signs. Namely the compatibility assumption would
1626: make a rigorous version of the above arguments very complicated.
1627:
1628:
1629: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1630:
1631: \section{Pre-Lie structures on spaces of derivations}
1632: \label{2}
1633:
1634: In Theorem~\ref{Ji} of this section we prove that, for a free \PROP\
1635: $\sfM = \freePROP(E)$ and for an arbitrary \PROP\ $\calE$, the space $\DER$
1636: of derivations of $\sfM$ with values in the coproduct $\sfM \copr
1637: \calE$ admits a natural pre-Lie algebra structure. Observe that if
1638: $\calE$ is the trivial \PROP, then $\DER = \Der(\sfM)$ and
1639: Theorem~\ref{Ji} is an analog of the classical theorem about the
1640: existence of a pre-Lie structure on the space of (co)derivations of a (co)free
1641: algebra~\cite[Section~II.3.9]{markl-shnider-stasheff:book}.
1642: We will also study how this pre-Lie structure behaves with respect to
1643: some natural maps induced by a \PROP\ homomorphism $\beta :\sfM \to \calE$
1644: (Lemma~\ref{nahravam_Bacha}).
1645:
1646: Recall that if \PROP{s} $\sfP_1$ and $\sfP_2$ are represented
1647: as quotients of free \PROP{s}, $\sfP_s = \freePROP(X_s)/(R_s)$,
1648: $s=1,2$, their coproduct $\sfP_1 \copr \sfP_2$ is the quotient
1649: $\freePROP(X_1,X_2)/(R_1,R_2)$, where $(R_1,R_2)$ denotes the
1650: \PROP{ic} ideal generated by $R_1 \cup R_2$. The following technical
1651: proposition will be useful in the sequel.
1652:
1653: \begin{proposition}
1654: \label{JITb}
1655: Given \PROP{s} $\sfP_1$, $\sfP_2$ and a $\sfP_1 * \sfP_2$-module $\modU$,
1656: there is a canonical isomorphism
1657: \begin{equation}
1658: \label{jitka1}
1659: \Der(\sfP_1 \copr \sfP_2,\modU) \cong \Der(\sfP_1,\modU)
1660: \oplus \Der(\sfP_2,\modU)
1661: \end{equation}
1662: which sends $\theta \in \Der(\sfP_1 \copr \sfP_2,\modU)$ into the
1663: direct sum $\theta|_{\sfP_1} \oplus \theta|_{\sfP_2}$ of
1664: restrictions. In the right hand side of~(\ref{jitka1}), the
1665: $\sfP_i$-module structure on $\modU$ is induced from the
1666: $\sfP_1 \copr \sfP_2$-structure by
1667: the inclusion $\sfP_i \hookrightarrow \sfP_1 \copr \sfP_2$,
1668: $i=1,2$.
1669: \end{proposition}
1670:
1671: \noindent
1672: The {\it proof\/} follows from the
1673: representation~(\ref{jitka3}) of derivations as homomorphisms and the
1674: universal property of coproducts.%
1675: \qed
1676:
1677:
1678: The last thing we need to observe before coming to the main point of
1679: this section is that, given a homomorphism $\omega : \modU' \to
1680: \modU''$ of $\sfP$-modules and a derivation $\theta \in
1681: \Der(\sfP,\modU')$, the composition $\omega \circ \theta$ of
1682: $\Sigma$-bimodule maps is a derivation in
1683: $\Der(\sfP,\modU'')$. The correspondence $\theta \mapsto
1684: \omega \circ \theta$ therefore induces the `standard' map
1685: \begin{equation}
1686: \label{to_jsem_zvedav_na_Jitku} \omega_* :\Der(\sfP,\modU') \to
1687: \Der(\sfP,\modU'').
1688: \end{equation}
1689:
1690:
1691: Suppose that $\sfM$ and $\calE$ are \PROP{s}. The central object
1692: of this section will be the graded vector space
1693: $\Der(\sfM,\sfM \copr \calE)$, where the coproduct $\sfM \copr \calE$ is
1694: considered as an $\sfM$-module with the structure induced by
1695: the canonical inclusion
1696: $i_\sfM : \sfM \hookrightarrow \sfM \copr \calE$. We need to introduce,
1697: for the purposes of the next section, three maps $A$, $B$ and $C$ that
1698: relate $\Der(\sfM,\sfM \copr \calE)$ with other spaces of derivations.
1699:
1700: Suppose that $\calE$ is equipped with a \PROP\ homomorphism $\beta :
1701: \sfM \to \calE$. It then makes sense to consider
1702: $\Der(\sfM,\calE_\beta)$, where $\calE_\beta$ denotes $\calE$ with the
1703: $\sfM$-module structure given by the homomorphism $\beta$. The map
1704: $\beta$ also induces a \PROP\ homomorphism $\whb : \sfM \copr \calE \to
1705: \calE$ by $\whb |_\sfM := \beta$ and $\whb |_\calE := \iden_\calE$. By
1706: the definition of $\calE_\beta$, $\whb$ can be considered as
1707: a map of $\sfM$-modules which
1708: in turn induces the standard map~(\ref{to_jsem_zvedav_na_Jitku})
1709: \begin{equation}
1710: \label{A}
1711: C:= \C : \Der(\sfM,\sfM \copr \calE) \to \Der(\sfM,\calE_\beta).
1712: \end{equation}
1713: Similarly, the canonical inclusion $i_\sfM : \sfM \hookrightarrow
1714: \sfM \copr \calE$ induces an inclusion of vector spaces
1715: \begin{equation}
1716: \label{B}
1717: B := \B : \Der(\sfM) \hookrightarrow
1718: \Der(\sfM,\sfM \copr \calE).
1719: \end{equation}
1720: From this moment on,
1721: we suppose that $\sfM$ is the {\em free \PROP\ $\sfM = \freePROP(E)$
1722: generated by a $\Sigma$-bimodule $E$\/}.
1723: Let $i_\calE : \calE \hookrightarrow \sfM \copr \calE$ be the
1724: canonical inclusion and denote by $A$ the composition
1725: \begin{equation}
1726: \label{C}
1727: A :
1728: \Der(\sfM,\calE_\beta) \cong \sigmabimodmaps(E,\calE)
1729: \stackrel{{i_\calE}_*}{\longrightarrow}
1730: \sigmabimodmaps(E,\sfM \copr \calE)
1731: \cong \Der(\sfM,\sfM \copr \calE),
1732: \end{equation}
1733: with the isomorphisms given by Proposition~\ref{JITa}.
1734: The three maps introduced above can be organized into the diagram
1735: \begin{equation}
1736: \label{leze_na_mne_neco}
1737: \Der(\sfM) \stackrel{B}{\hookrightarrow} \hskip 6em
1738: \dvojicezob{\Der(\sfM,\sfM \copr \calE)}{\Der(\sfM,\calE_\beta)}
1739: {C}{A} \hskip 4.3em. \hskip 1em \rule{0pt}{1.8em}
1740: \end{equation}
1741: \rule{0pt}{1.8em}We will use the inclusion $B$ to identify
1742: $\Der(\sfM)$ with a subspace of $\Der(\sfM,\sfM \copr \calE)$.
1743: The following simple lemma will be useful.
1744:
1745: \begin{lemma}
1746: \label{pred_odjezdem_do_Srni}
1747: The linear maps defined in~(\ref{A})--(\ref{C}) above satisfy
1748: \begin{eqnarray}
1749: \label{jedna}
1750: \CA &=& \iden : \Der(\sfM,\calE_\beta)
1751: \to\Der(\sfM,\calE_\beta)\ \mbox { and }
1752: \\
1753: \label{dve}
1754: \CBB &=& \beta_*: \Der(\sfM) \to \Der(\sfM,\calE_\beta).
1755: \end{eqnarray}
1756: \end{lemma}
1757:
1758: \begin{proof}
1759: By definition, for $F \in \Der(\sfM,\calE_\beta)$,
1760: $\CA(F)|_E = \whb \circ i_\calE \circ F|_E = F|_E$, because $\whb
1761: \circ i_\calE = \iden_{\calE}$ by the definition of $\whb$. Since
1762: each derivation in $\Der(\sfM,\calE_\beta)$ is, by
1763: Proposition~\ref{JITa}, determined by its restriction to the space
1764: of generators, this proves~(\ref{jedna}). Similarly, for $\Phi \in
1765: \Der(\sfM)$, $\CBB(\Phi)|_E = \whb \circ i_\sfM \circ \Phi|_E = \beta \circ
1766: \Phi|_E$, again by the definition of $\whb$, which
1767: proves~(\ref{dve}).
1768: \end{proof}
1769:
1770:
1771: Before we formulate the next statement, we observe that
1772: Proposition~\ref{JITb} implies
1773: \begin{equation}
1774: \label{Jitk}
1775: \Der(\sfM,\sfM \copr \calE) \cong \{\widetilde \theta \in \Der(\sfM \copr
1776: \calE);\ \w\theta(\calE) = 0\}.
1777: \end{equation}
1778: In words, each derivation $\theta \in \Der(\sfM,\sfM \copr \calE)$
1779: can be uniquely extended into a derivation
1780: $\widetilde \theta \in \Der(\sfM \copr
1781: \calE)$ characterized by $\widetilde\theta|_\calE = 0$.
1782:
1783: \begin{lemma}
1784: Let $\phi, \psi \in \Der(\sfM,\sfM \copr \calE)$ be two derivations.
1785: Then the commutator of the
1786: composition
1787: \begin{equation}
1788: \label{Jitka_zvala}
1789: [\phi,\psi] := \w \phi \circ \psi -
1790: (-1)^{|\phi||\psi|} \cdot \w \psi \circ\phi
1791: \end{equation}
1792: is again a derivation, and the assignment $\phi,\psi \mapsto
1793: [\phi,\psi]$ makes $\Der(\sfM,\sfM \copr \calE)$ a graded Lie algebra.
1794: \end{lemma}
1795:
1796: \begin{proof}
1797: It is straightforward to check that $[\phi,\psi]$ defined
1798: in~(\ref{Jitka_zvala}) has the derivation property with respect to
1799: both the vertical and horizontal compositions. The rest of the lemma
1800: is obvious.
1801: \end{proof}
1802:
1803:
1804: Let us look more closely at the isomorphism
1805: \begin{equation}
1806: \label{zitra_prohlidka} \Der(\sfM,\sfM \copr \calE) \cong
1807: \sigmabimodmaps(E,\sfM \copr \calE)
1808: \end{equation}
1809: that follows from Proposition~\ref{JITa}.
1810: It sends $\theta \in \Der(\sfM,\sfM \copr \calE)$ into the
1811: restriction $\theta|_E \in
1812: \sigmabimodmaps(E,\sfM \copr \calE)$. In the opposite
1813: direction, to each $u \in \sigmabimodmaps(E,\sfM \copr
1814: \calE)$ there exists a unique extension $\E(u) \in
1815: \Der(\sfM,\sfM \copr \calE)$ characterized by
1816: \hbox{$\E(u)|_E = u$}.
1817:
1818: \begin{theorem}
1819: \label{Ji}
1820: The graded vector space $\Der(\sfM,\sfM \copr
1821: \calE)$ is a natural graded pre-Lie algebra, with the structure
1822: operation $\diamond : \Der(\sfM,\sfM \copr \calE)\ot \Der(\sfM,\sfM \copr \calE)
1823: \to \Der(\sfM,\sfM \copr \calE)$ given by
1824: \begin{equation}
1825: \label{Jitka!}
1826: \theta \di \phi := (-1)^{|\theta| |\phi|}\cdot \E(\w\phi \circ
1827: \theta|_E),
1828: \end{equation}
1829: where $\E(\w\phi \circ \theta|_E) \in \Der(\sfM,\sfM \copr \calE)$
1830: is the extension of the composition
1831: \[
1832: \w\phi \circ \theta|_E: E
1833: \stackrel{\theta|_E}{\longrightarrow} \sfM \copr \calE
1834: \stackrel{\w\phi}{\longrightarrow} \sfM \copr \calE \in
1835: \sigmabimodmaps(E,\sfM \copr \calE).
1836: \]
1837: \end{theorem}
1838:
1839:
1840: \noindent
1841: {\it Proof\/}
1842: of Theorem~\ref{Ji} is straightforward, but since this theorem is
1843: a central technical tool of this section,
1844: we give it here. For the ease of reading, we omit in this proof
1845: the $\w{\hskip .8em}$
1846: denoting the extension of derivations of $\Der(\sfM,\sfM \copr \calE)$ into
1847: derivations of $\Der(\sfM \copr \calE)$. By
1848: definition~\cite[Section~2]{gerstenhaber:AM63}, $\di$~is a
1849: pre-Lie product if the associator
1850: \[
1851: A(\theta, \phi , \psi) :=
1852: (\theta \di \phi) \di \psi - \theta \di (\phi \di \psi)
1853: \]
1854: is (graded) symmetric in $\phi$ and $\psi$. By~(\ref{Jitka!}),
1855: this associator can be written as
1856: \begin{eqnarray}
1857: \label{Jit}
1858: A(\theta, \phi , \psi) &=& (-1)^{\epsilon}
1859: \left\{
1860: \E(\psi \circ \E(\phi \circ \theta|_E)|_E) -
1861: \E(\E (\psi \circ \phi|_E) \circ \theta|_E)
1862: \right\}
1863: \\
1864: &=& (-1)^{\epsilon} \nonumber
1865: \left\{
1866: \E(\psi \circ \phi \circ \theta|_E) -
1867: \E(\E (\psi \circ \phi|_E) \circ \theta|_E)
1868: \right\},
1869: \end{eqnarray}
1870: where $\epsilon := |\phi||\psi| +|\phi||\theta| +|\psi||\theta|.$
1871: Since $A(\theta,\phi,\psi)$ is a derivation belonging to
1872: $\Der(\sfM,\sfM \copr \calE)$, it is determined by is restriction to $E$. By~(\ref{Jit}),
1873: clearly
1874: \begin{equation}
1875: \label{Jitula}
1876: A(\theta,\phi,\psi)|_E = (-1)^{\epsilon}
1877: \left\{
1878: \psi \circ \phi \circ \theta|_E - \E(\psi \circ \phi|_E) \circ \theta|_E
1879: \right\}.
1880: \end{equation}
1881: The antisymmetry of $A(\theta,\phi,\psi)$ in $\phi$ and $\psi$ is then
1882: equivalent to the antisymmetry of the restrictions to $E$,
1883: \[
1884: A(\theta,\phi,\psi)|_E = (-1)^{|\phi||\psi|}
1885: A(\theta,\psi,\phi)|_E
1886: \]
1887: which is, by~(\ref{Jitula}), the same as
1888: \[
1889: \psi \circ \phi \circ \theta|_E - \E(\psi \circ \phi|_E) \circ
1890: \theta|_E -
1891: (-1)^{|\phi||\psi|} \left\{
1892: \phi \circ \psi \circ \theta|_E - \E(\phi \circ
1893: \psi|_E) \circ \theta|_E
1894: \right\} = 0,
1895: \]
1896: where we, of course, omitted the overall factor $(-1)^\epsilon$.
1897: Using the bracket~(\ref{Jitka_zvala}) and moving $\theta|_E$ to the right,
1898: the above display can be rewritten as
1899: \[
1900: \left\{ [\psi,\phi] - \E(\psi \circ \phi|_E) + (-1)^{|\phi||\psi|}\E(\phi \circ
1901: \psi|_E) \right\} \circ\theta|_E = 0
1902: \]
1903: so it is enough to prove that
1904: \[
1905: [\psi,\phi] - \E(\psi \circ \phi|_E)+
1906: (-1)^{|\phi||\psi|}\E(\phi \circ \psi|_E)
1907: = 0.
1908: \]
1909: Since the left hand side is an element of $\Der(\sfM,\sfM \copr \calE)$,
1910: it suffices to prove that it vanishes when restricted to
1911: generators, that is
1912: \[
1913: [\psi,\phi]|_E - \psi \circ \phi|_E + (-1)^{|\phi||\psi|} \phi \circ
1914: \psi|_E = 0,
1915: \]
1916: which immediately follows from the definition~(\ref{Jitka_zvala}) of the
1917: bracket.%
1918: \qed
1919:
1920:
1921:
1922: The last statement in this section relates the $\di$-product of
1923: Theorem~\ref{Ji} with the
1924: maps $A$ and $B$.
1925:
1926: \begin{lemma}
1927: \label{nahravam_Bacha}
1928: Let $A$ and $C$ be the maps defined in~(\ref{A}) and~(\ref{C}). Then
1929: for each $\theta, \phi \in \DER$,
1930: \begin{equation}
1931: \label{pisu_v_Ratajich}
1932: AC (\theta) \di \phi = 0\ \mbox{ and }\ C( \theta \di AC(\phi)) =
1933: C( \theta \di \phi).
1934: \end{equation}
1935: \end{lemma}
1936:
1937: \begin{proof}
1938: By Proposition~\ref{JITa}, it suffices to
1939: prove the restrictions of the above equalities onto the space $E$ of
1940: generators of $\sfM = \freePROP(E)$. By definition,
1941: \[
1942: (AC(\theta) \di \phi)|_E
1943: = (-1)^{|\phi||\theta|} \cdot \w \phi \circ AC(\theta)|_E
1944: = (-1)^{|\phi||\theta|}\cdot\w \phi \circ i_\calE \circ \whb
1945: \circ \theta|_E = 0,
1946: \]
1947: because $\w \phi \circ i_\calE = \w \phi|_\calE = 0$. This proves the
1948: left equation of~(\ref{pisu_v_Ratajich}).
1949: Similarly, by definition
1950: \[
1951: C(\theta \di AC(\phi))|_E
1952: = (-1)^{|\phi||\theta|} \cdot
1953: \whb \circ \widetilde{AC(\phi)} \circ \theta|_E.
1954: \]
1955: Let us prove that $\whb \circ \w{AC(\phi)} =
1956: \whb \circ \w \phi$ in $\Der(\sfM
1957: \copr \calE)$. By Proposition~\ref{JITb} this means to verify that
1958: \[
1959: \whb \circ \w{AC(\phi)}|_\calE = \whb \circ \w \phi|_\calE\
1960: \mbox { and }\ \whb \circ \w{AC(\phi)}|_\sfM =
1961: \whb \circ \w \phi|_\sfM.
1962: \]
1963: The first equation is obvious because $\w{ \AC(\phi)}|_\calE = 0 =
1964: \w {\phi}|_\calE$ by the definition of the tilde-extension. The second
1965: equality is established by
1966: \[
1967: \whb \circ \w{\AC(\phi)}|_\sfM =
1968: \whb \circ \AC(\phi) = \CAC(\phi) = C(\phi) = \whb \circ \w \phi|_\sfM,
1969: \]
1970: where we used the definition~(\ref{A}) of the map $C$ and the equality
1971: $\CA= \iden$ proved in Lemma~\ref{pred_odjezdem_do_Srni}. This
1972: finishes the proof of the right equation of~(\ref{pisu_v_Ratajich}).
1973: \end{proof}
1974:
1975:
1976: \section{Braces}
1977: \label{2bis}
1978:
1979: In this section we prove Theorem~\ref{main} and
1980: Proposition~\ref{main1} of the introduction and formulate
1981: some technical statements which will guarantee the convergence of the
1982: master equation.
1983:
1984: According to~\cite{guin-oudom,lm:sb}, the pre-Lie algebra product
1985: $\di$ on $\DER$ whose existence we proved in
1986: Theorem~\ref{Ji}
1987: generates unique {\em symmetric braces\/}. This means
1988: that for each $\theta,\phi_1,\ldots, \phi_n \in \Der(\sfM,\SFM \copr
1989: \calE)$, $n \geq 1$, there exists a `brace'
1990: $\theta\langle\phi_1,\ldots, \phi_n\rangle \in \Der(\sfM,\SFM \copr
1991: \calE)$ such that
1992: \begin{equation}
1993: \label{dnes_to_zkusim_nainstalovat}
1994: \theta \langle \phi_1 \rangle = \theta \di \phi_1.
1995: \end{equation}
1996: These braces satisfy the axioms recalled in the
1997: Appendix~A on page~\pageref{apA},
1998: where we also indicate how these braces are generated by
1999: $\di$. The following statement generalizes Lemma~\ref{nahravam_Bacha}.
2000:
2001: \begin{lemma}
2002: \label{opravu_se_na_nem_neda_pracovat}
2003: Let $A$ and $C$ be the maps defined in~(\ref{A}) and~(\ref{C}). Then
2004: for each $\theta,\Rada \phi 1n \in Der(\sfM,\SFM \copr \calE)$, $n
2005: \geq 1$,
2006: \begin{equation}
2007: \label{Monteverdi}
2008: AC\theta \langle \Rada \phi1n \rangle = 0
2009: \end{equation}
2010: and
2011: \begin{equation}
2012: \label{Claudio}
2013: C\lv \theta \langle \Rada \phi1n \rangle\rv =
2014: C\lv\theta \langle \Rada {AC\phi}1n \rangle\rv.
2015: \end{equation}
2016: \end{lemma}
2017:
2018: Before we prove the lemma we notice
2019: that~(\ref{Monteverdi}) for $n=1$ (with $\phi = \phi_1$) says that
2020: \begin{equation}
2021: \label{Jitulka}
2022: AC\theta \langle \phi \rangle = 0
2023: \end{equation}
2024: which is, by~(\ref{dnes_to_zkusim_nainstalovat}), the same as
2025: $AC (\theta) \di \phi = 0$, which we recognize as the first
2026: equality in~(\ref{pisu_v_Ratajich}).
2027: Similarly,~(\ref{Claudio}) for $n=1$ means that
2028: \begin{equation}
2029: \label{Pincakova}
2030: C\lv \theta \langle \phi \rangle \rv = C\lv \theta \langle AC \phi \rangle\rv
2031: \end{equation}
2032: which is, again by~(\ref{dnes_to_zkusim_nainstalovat}), the same as
2033: $C( \theta \di AC(\phi)) =
2034: C( \theta \di \phi)$, the second equality in~(\ref{pisu_v_Ratajich}).
2035: Therefore Lemma~\ref{opravu_se_na_nem_neda_pracovat}
2036: indeed generalizes Lemma~\ref{nahravam_Bacha}.
2037:
2038: \begin{proof}[Proof of Lemma~\ref{opravu_se_na_nem_neda_pracovat}]
2039: We prove~(\ref{Monteverdi}) by induction. For $n=1$ it
2040: is~(\ref{Jitulka}). Assume we have already
2041: proved~(\ref{Monteverdi}) for all $1\leq n < N$ and prove it for $n=N$.
2042: By axiom~(\ref{axiom}) of symmetric braces,
2043: \[
2044: AC\theta \langle \sqRada \phi1N \rangle \hskip - 0.5pt =\hskip - 0.5pt
2045: AC\theta \langle \phi_1 \rangle\langle \sqRada \phi 2N \rangle
2046: -
2047: \sum \epsilon \cdot
2048: AC\theta \langle \phi_1 \langle
2049: \sqRada \phi {i_1}{i_a} \rangle, \sqRada \phi {j_1}{j_b} \rangle,
2050: \]
2051: where the sum in the right hand side runs over all unshuffles
2052: \begin{equation}
2053: \label{Jarka_pred_chvili_volala.}
2054: i_1 < \cdots < i_a, \ j_1 < \cdots < j_b,\ a \geq 1,\ a+b = N-1,
2055: \end{equation}
2056: of the set $\{\rada 2N\}$. The sign $\epsilon$ is not important for
2057: the purposes of this proof, because all terms in the right hand side
2058: are zero, by induction. This establishes~(\ref{Monteverdi}) for $n=N$.
2059:
2060: Equation~(\ref{Claudio}) will also be be proved by induction. For $n=1$ it
2061: is~(\ref{Pincakova}).
2062: Suppose we have already established~(\ref{Claudio})
2063: for all $1\leq n < N$ and prove it for $n=N$.
2064: By~(\ref{axiom}),
2065: \begin{eqnarray}
2066: \label{Hribecek} \nonumber
2067: \lefteqn{C\lv \theta \langle \Rada {AC\phi}1N \rangle \rv = \hskip 2em}
2068: \\
2069: &&\hskip 2em - \sum \epsilon \cdot C\lv
2070: \theta \langle AC\phi_1 \langle \Rada {AC\phi}{i_1}{i_a} \rangle,
2071: \Rada {AC\phi}{j_1}{j_b} \rangle
2072: \rv
2073: \\ \nonumber
2074: &&\hskip 2em
2075: +\
2076: C\lv
2077: \theta \langle AC\phi_1 \rangle
2078: \langle \Rada {AC\phi}2N \rangle\rv,
2079: \end{eqnarray}
2080: with the sum in the right hand side taken over the
2081: set~(\ref{Jarka_pred_chvili_volala.}) and $\epsilon$ an appropriate sign.
2082: The sum is zero by~(\ref{Monteverdi})
2083: while second term equals
2084: \[
2085: C\lv \theta \langle AC\phi_1 \rangle
2086: \langle \Rada {\phi}2N \rangle\rv
2087: \]
2088: by induction. Using~(\ref{axiom}), we can write
2089: \begin{eqnarray*}
2090: \lefteqn{
2091: C\lv \theta \langle AC\phi_1 \rangle
2092: \langle \Rada {\phi}2N \rangle\rv = \hskip 2em}
2093: \\
2094: &&\hskip 2em \sum \epsilon \cdot C\lv
2095: \theta \langle AC\phi_1 \langle \Rada {\phi}{i_1}{i_a} \rangle,
2096: \Rada {\phi}{j_1}{j_b} \rangle
2097: \rv
2098: %\\
2099: %&&\hskip 2em
2100: +\ C\lv \theta \langle AC\phi_1, \Rada {\phi}2N \rangle\rv,
2101: \end{eqnarray*}
2102: where the summation range and $\epsilon$ are the same as
2103: in~(\ref{Hribecek}). The sum in the right hand side is zero
2104: by~(\ref{Monteverdi}), while the second term equals, by~(\ref{axiom}),
2105: \begin{equation}
2106: \label{mam_hlad}
2107: \epsilon_N \cdot
2108: C\lv \theta\langle \sqRada {\phi}2N \rangle \langle AC \phi_1 \rangle\rv
2109: -
2110: \sum_{2 \leq i \leq N} \epsilon_i \cdot C\lv \theta
2111: \langle \phi_2,\sqldots,\phi_i \langle AC\phi_1 \rangle,
2112: \sqldots,\phi_N \rangle\rv,
2113: \end{equation}
2114: where
2115: \[
2116: \epsilon_i := (-1)^{|\phi_1|(|\phi_2| + \cdots + |\phi_i|)},\
2117: 2 \leq i \leq N.
2118: \]
2119: The first term in~(\ref{mam_hlad}) equals
2120: $\epsilon_N \cdot C \lv \theta\langle \Rada {\phi}2N \rangle
2121: \langle \phi_1 \rangle \rv$ by~(\ref{Pincakova}),
2122: while the second term equals, by induction,
2123: \begin{equation}
2124: \label{xx}
2125: - \sum_{2 \leq i \leq N} \epsilon_i \cdot
2126: C \lv \theta \langle AC\phi_2,\ldots,AC(\phi_i \langle AC\phi_1
2127: \rangle ),
2128: \cdots,AC\phi_n \rangle \rv.
2129: \end{equation}
2130: Since, by~(\ref{Pincakova}), $C \lv \phi_i \langle AC\phi_1 \rangle \rv =
2131: C \lv \phi_i \langle \phi_1 \rangle \rv$ for $2 \leq i \leq N$,~(\ref{xx})
2132: equals
2133: \[
2134: -\sum_{2 \leq i \leq N}
2135: \epsilon_i \cdot
2136: C\lv \theta \langle AC\phi_2,\ldots,AC(\phi_i \langle \phi_1
2137: \rangle\rv ,
2138: \cdots,AC\phi_n \rangle)
2139: \]
2140: which is
2141: \[
2142: - \sum_{2 \leq i \leq N} \epsilon_i \cdot
2143: C \lv \theta \langle \phi_1,\ldots,\phi_i \langle \phi_1 \rangle,
2144: \cdots,\phi_N \rangle\rv
2145: \]
2146: by induction. We therefore established that
2147: \begin{eqnarray*}
2148: \lefteqn{
2149: C\lv \theta \langle \Rada {AC\phi}1N \rangle\rv = \hskip 2em}
2150: \\
2151: && \hskip 2em
2152: \epsilon_N \cdot C\lv \theta\langle \Rada {\phi}2N \rangle
2153: \langle \phi_1 \rangle\rv
2154: - \sum_{2 \leq i \leq N} \epsilon_i \cdot
2155: C \lv \theta \langle \phi_1,\ldots,\phi_i \langle \phi_1 \rangle,
2156: \ldots,\phi_N \rangle\rv .
2157: \end{eqnarray*}
2158:
2159: By~(\ref{axiom}), the right hand side of the above display equals
2160: $C\lv \theta \langle \Rada {\phi}1N \rangle\rv$, which
2161: establishes~(\ref{Claudio}) for $n=N$.
2162: \end{proof}
2163:
2164:
2165: In the following important definition, $C$ is the map introduced
2166: in~(\ref{A}). Recall also that we use the inclusion $B$ defined
2167: in~(\ref{B}) to identify $\Der(\sfM)$ with a subspace of $\DER$.
2168:
2169: \begin{definition}
2170: \label{zase_mne_jakobi_boli_hlava}
2171: \hskip .8em For $\Phi \in \Der(\SFM)$ and $F_1,\ldots,F_n \in
2172: \Der(\SFM,\calE_\beta)$, define the derivation
2173: $\Phi [ F_1,\ldots,F_n ] \in
2174: \Der(\sfM,\calE_\beta)$ by
2175: \begin{equation}
2176: \label{brace}
2177: \Phi [ F_1,\ldots,F_n ] :=
2178: C\left(\Phi \langle AF_1,\ldots,AF_n \rangle\right),
2179: \end{equation}
2180: where $\Phi \langle AF_1,\ldots,AF_n \rangle$ in the r.h.s.\
2181: is the symmetric brace in $\Der(\sfM,\SFM \copr \calE)$.
2182: \end{definition}
2183:
2184:
2185:
2186:
2187: The following proposition shows that $\Der(\SFM,\calE_\beta)$
2188: behaves as a left
2189: module over the symmetric brace algebra $\Der(\SFM)$.
2190:
2191: \begin{proposition}
2192: \label{E_napsala}
2193: The brace $\Phi[\Rada F1n]$ is graded symmetric in $F_1,\ldots,F_n \in
2194: \Der(\SFM,\calE)$. Moreover, for each $\Phi_1,\ldots,\Phi_m \in \Der(\SFM)$
2195: with $\beta \circ \Phi_1 = \cdots =\beta \circ \Phi_m = 0$,
2196: \begin{eqnarray}
2197: \label{7}
2198: \lefteqn{
2199: \Phi\langle \Rada \Phi 1m \rangle [\Rada F1n]
2200: = \hskip 2em}
2201: \\
2202: &&\hskip 2em
2203: \nonumber
2204: \sum \epsilon \cdot
2205: \Phi [\Phi_1 [F_{i_1^1},\ldots,F_{i_{t_1}^1}],\ldots,
2206: \Phi_n [F_{i_1^m},\ldots,F_{i_{t_m}^m}],
2207: F_{i_1^{m+1}},\ldots,F_{i_{t_{m+1}}^{m+1}}],
2208: \end{eqnarray}
2209: where the sum is taken over all unshuffle decompositions
2210: \[
2211: i_1^1<\cdots<i_{t_1}^1,\ldots,i_1^{m+1}<\cdots<i_{t_{m+1}}^{m+1},
2212: \ \Rada t1{m} \geq 1,\ t_{m+1} \geq 0,
2213: \]
2214: of $\{1,\ldots,n\}$ and where $\epsilon$ is the Koszul sign of the
2215: corresponding permutation of $\Rada F1n$.
2216: \end{proposition}
2217:
2218:
2219: \begin{proof}
2220: The graded symmetry of the brace~(\ref{brace})
2221: immediately follows from the definition. Let us prove~(\ref{7}).
2222: We have
2223: \[
2224: \Phi\langle \Rada \Phi 1m \rangle [\Rada F1n]
2225: =
2226: C\left(
2227: \Phi\langle \Rada \Phi 1m \rangle \langle\rada {AF_1}{AF_n}\rangle
2228: \right)
2229: \]
2230: which can be, using~(\ref{axiom}), expanded into
2231: \[
2232: \sum \epsilon \cdot C\left(
2233: \Phi \langle \Phi_1 \langle AF_{i_1^1},
2234: \sqldots,AF_{i_{t_1}^1} \rangle,\sqldots,
2235: \Phi_n \langle AF_{i_1^m},\sqldots,AF_{i_{t_m}^m}\rangle,
2236: AF_{i_1^{m+1}},\sqldots,AF_{i_{t_{m+1}}^{m+1}}\rangle
2237: \right),
2238: \]
2239: where $\epsilon$ and the sum is the same as
2240: in~(\ref{axiom}).
2241: By~(\ref{Claudio}), this equals
2242: \begin{eqnarray*}
2243: \sum \epsilon \cdot C\left(
2244: \Phi \langle AC\Phi_1 \langle AF_{i_1^1},
2245: \ldots,AF_{i_{t_1}^1} \rangle,\ldots,
2246: AC\Phi_n \langle AF_{i_1^m},\ldots,AF_{i_{t_m}^m}\rangle,\right.
2247: \hskip -10em&&
2248: \\
2249: &&\left.
2250: \ACA F_{i_1^{m+1}},\ldots,\ACA F_{i_{t_{m+1}}^{m+1}}\rangle
2251: \right)
2252: \end{eqnarray*}
2253: which, by definition~(\ref{brace}) of the braces, can be rewritten as
2254: \begin{eqnarray}
2255: \label{prohlidkou_jsem_prosel!}
2256: \sum \epsilon \cdot
2257: \Phi [ C\Phi_1 \langle AF_{i_1^1},\ldots,AF_{i_{t_1}^1} \rangle,\ldots,
2258: C\Phi_n \langle AF_{i_1^m},\ldots,AF_{i_{t_m}^m}\rangle,
2259: \hskip -8em&&
2260: \\
2261: && \nonumber
2262: \CA F_{i_1^{m+1}},\ldots,\CA F_{i_{t_{m+1}}^{m+1}}].
2263: \end{eqnarray}
2264:
2265: At this point we need to
2266: observe that, by~(\ref{dve}), $\beta \circ \Phi_j = C \Phi_j$ (recall
2267: that we identified $\Phi_j$ with its image $B\Phi_j$). Therefore
2268: the assumption $\beta \circ \Phi_j = 0$
2269: for $1 \leq j \leq m$ implies that we may assume, in the
2270: sum~(\ref{prohlidkou_jsem_prosel!}), that all $t_j \geq 1$, because,
2271: if $t_j=0$,
2272: \[
2273: C\Phi_j \langle AF_{i_1^j},\ldots,AF_{i_{t_j}^j} \rangle =
2274: C \Phi_j \langle \hskip .5em \rangle =
2275: C\Phi_j = \beta \circ \Phi_j = 0.
2276: \]
2277: Since $\CA = \iden$ by~(\ref{jedna}), the term
2278: in~(\ref{prohlidkou_jsem_prosel!}) equals
2279: \[
2280: \sum \epsilon \cdot
2281: \Phi [ C\Phi_1 \langle AF_{i_1^1},\ldots,AF_{i_{t_1}^1} \rangle,\ldots,
2282: C\Phi_n \langle AF_{i_1^m},\ldots,AF_{i_{t_m}^m}\rangle,
2283: F_{i_1^{m+1}},\ldots,F_{i_{t_{m+1}}^{m+1}}],
2284: \]
2285: with the same summation as in~(\ref{7}).
2286: By the definition~(\ref{brace}) of the braces, this is precisely
2287: the right hand side of~(\ref{7}).
2288: \end{proof}
2289:
2290:
2291:
2292: As usual, $\susp W$ (resp.~$\desusp
2293: W$) denotes the suspension (resp.~desuspension) of a graded vector
2294: space $W$. We use the same symbols to denote also the corresponding
2295: maps $\uparrow : \hskip .2em \desusp W \to W$ and $\downarrow : W \to
2296: \hskip .2em \desusp W$. In the following theorem,
2297: $\Rada f1n$ will be elements of $\susp \Der(\SFM,\calE_\beta)$
2298: and
2299: \begin{equation}
2300: \label{dnes_jsem_byl_na_sipcich}
2301: \nu(\Rada f1n) := (n-1)|f_1| + (n-2)|f_2| + \cdots + |f_{n-1}|.
2302: \end{equation}
2303:
2304: \begin{theorem}
2305: \label{E}
2306: Let $\pa \in \Der(\SFM)$ be a degree $-1$ derivation such that $\pa^2=0$
2307: and $\beta \circ\pa = 0$. Then the formula
2308: \begin{equation}
2309: \label{zpatky_v_Praze}
2310: l_n (\Rada f1n) := (-1)^{\nu(\Rada f1n)}
2311: \cdot \susp \pa [ \Rada {\desusp f}1n ]
2312: \end{equation}
2313: defines on the suspension $\susp \Der(\SFM,\calE_\beta)^{-*}$ a structure of an
2314: $L_\infty$-algebra{\rm~\cite{lada-markl:CommAlg95}}.
2315: \end{theorem}
2316:
2317: \begin{proof}
2318: Observe first that $\pa^2=0$ is,
2319: by~(\ref{dnes_to_zkusim_nainstalovat}), equivalent to $\pa\langle \pa
2320: \rangle = 0$. Expanding
2321: \[
2322: 0 = (-1)^{\nu(\Rada f1n)} \cdot
2323: \pa \langle \pa \rangle [ \Rada {\desusp f}1n ]
2324: \]
2325: using~(\ref{7}) we obtain
2326: \[
2327: 0= \sum_{i+j = n+1} \sum_\sigma \epsilon(\sigma)
2328: (-1)^{\nu(\Rada f1n)} \cdot
2329: \pa[\pa[\Rada {\desusp \hskip -.2em f}{\sigma(1)}{\sigma(i)}],\Rada
2330: {\desusp \hskip -.2em f}{\sigma(i+1)}{\sigma(n)}]
2331: \]
2332: with $\sigma$ running over all $(i,n-i)$-unshuffles with $i
2333: \geq 1$ and $\epsilon(\sigma)$ the Koszul sign of the permutation
2334: \[
2335: \Rada f1n \mapsto \Rada f{\sigma(1)}{\sigma(n)}.
2336: \]
2337: Substituting for $l_i$ and $l_j$ from~(\ref{zpatky_v_Praze}) gives
2338: \begin{equation}
2339: \label{dnes_mne_strasne_bolela_zada}
2340: 0 = \sum_{i+j = n+1} \sum_\sigma \eta(\sigma) (-1)^{i(j-1)} \cdot
2341: l_j(l_i(\Rada f{\sigma(1)}{\sigma(i)}),\Rada f{\sigma(i+1)}{\sigma(n)}),
2342: \end{equation}
2343: where
2344: $\eta(\sigma)$ is as~(\ref{jestli_jsem_se_nezblaznil}).
2345: We recognize~(\ref{dnes_mne_strasne_bolela_zada}) as the defining
2346: equation for
2347: $L_\infty$-algebras, see~\cite[Definition~2.1]{lada-markl:CommAlg95}.
2348: \end{proof}
2349:
2350:
2351: \noindent
2352: {\it Proof of Theorem~\ref{main}\/} easily follows from Theorem~\ref{E}
2353: applied to the situation when $\SFM$ is a minimal model $(\sfM,\pa)$
2354: of the \PROP\ $\sfP$, $\calE = \End_V$ and $\beta = \alpha \circ \rho$
2355: as in Section~\ref{intro}. The condition $\pa \circ \beta =0$ is
2356: implied by the minimality of the differential~$\pa$.%
2357: \qed
2358:
2359: The following proposition compares the braces defined above with the
2360: constructions of Section~\ref{1bis}.
2361:
2362: \begin{proposition}
2363: \label{maminka_si_zlomila_nohu}
2364: The $L_\infty$-structure of
2365: Theorem~\ref{main} has the form~(\ref{nabla}) of
2366: Section~\ref{1bis}.
2367: \end{proposition}
2368:
2369:
2370: \begin{proof}
2371: Let, in this proof, an $(E,\calE)$-decorated graph means a graph
2372: with vertices decorated either by $E$ or by $\calE$.
2373: We use the convention that $\Upsilon$
2374: with a subscript will denote an $(E,\calE)$-decorated graph, and
2375: $Y$ with the same subscript the underlying un-decorated graph. For
2376: such $\Upsilon$, let $\vert_E(\Upsilon)$ be the set of
2377: $E$-decorated vertices of~$\Upsilon$.
2378:
2379: We start the proof by giving an explicit formula for the operation $\di$
2380: introduced in Theorem~\ref{Ji}. Let $\theta, \psi \in \Der(\sfM,\sfM
2381: \copr \calE)$ as in~(\ref{Jitka!}).
2382: It follows
2383: from~(\ref{jsem_zvedav_jestli_se_ta_druha_Jitka_ozve}) and the
2384: definition of the free product that,
2385: for $\xi \in E(m,n)$, $\theta(\xi) \in \sfM \copr \calE$ is the summation
2386: \[
2387: \theta(\xi) = \sum_{s \in R_\xi} \Upsilon_s
2388: \]
2389: of $(E,\calE)$-decorated $(m,n)$-graphs over a finite indexing set $R_\xi$.
2390: The derivation property of $\phi$ implies that
2391: \begin{equation}
2392: \label{Kdy_se_nit_zivota_pretrhne?}
2393: (\theta \di \phi)(\xi) = \sum_{s \in R_\xi} \sum_{v}
2394: (-1)^{|\theta||\phi|} \cdot
2395: \Upsilon_s^{\{v\}}[\phi],
2396: \end{equation}
2397: where the second summation runs over $\Vert_E(\Upsilon_s)$
2398: and $\Upsilon_s^{\{v\}}[\phi]$ denotes $ \Upsilon_s$ with the
2399: decoration $e_v \in E$ of $v \in \Vert_E(\Upsilon_s)$
2400: changed to $\phi(e)$.
2401: Let us prove inductively that the symmetric
2402: brace induced by $\di$ satisfies
2403: \begin{equation}
2404: \label{zatim_nevim}
2405: \theta \langle \rada {\phi_1}{\phi_n}\rangle =
2406: \sum_{s \in R_\xi} \sum_{v_1,\ldots,v_n} (-1)^{\epsilon_n} \cdot
2407: \Upsilon_s^{\{{v_1,\ldots,v_n\}}}[\rada{\phi_1}{\phi_n}],
2408: \end{equation}
2409: where $\Rada v1n$ runs over distinct elements of
2410: $\vert_E(\Upsilon_s)$,
2411: $\Upsilon_s^{\{{v_1,\ldots,v_n\}}}[\rada{\phi_1}{\phi_n}]$ denotes
2412: $\Upsilon_s$ with the decoration $e_{v_i}$ of $v_i$ changed to
2413: $\phi(v_i)$, and
2414: \[
2415: \epsilon_i := \zn i,
2416: \]
2417: for $1 \leq i \leq n$. Since,
2418: by~(\ref{dnes_to_zkusim_nainstalovat}),
2419: $\theta \langle \phi_1 \rangle = \theta \di \phi_1$,
2420: (\ref{zatim_nevim}) holds for $n = 1$
2421: by~(\ref{Kdy_se_nit_zivota_pretrhne?}).
2422:
2423: Before continuing, we rewrite the right hand side
2424: of~(\ref{zatim_nevim}) into a sum of $(E,\calE)$-decorated graphs. To
2425: this end, we introduce a notation which will be useful also later in
2426: the proof.
2427: Let, for $1 \leq i \leq n$,
2428: \[
2429: \phi_i(e_{v_i}) = \sum_{t_i \in U_{s,v_i}} \Upsilon_{t_i,v_i},
2430: \]
2431: where $\Upsilon_{t_i,v_i}$ are $(E,\calE)$-decorated graphs and
2432: $U_{s,v_i}$ a finite set. For a subset $B \subset
2433: \{0,\ldots,n\}$, let $\Kr B$ denote the $(E,\calE)$-decorated graph
2434: obtained from
2435: $\Upsilon_s$ by replacing, for each $i \in B$, the
2436: $e_{v_i}$-decorated vertex $v_i$ by the decorated graph
2437: $\Upsilon_{t_i,v_i}$. With this notation,
2438: \[
2439: \Upsilon_s^{\{{v_1,\ldots,v_n\}}}[\rada{\phi_1}{\phi_n}]
2440: =
2441: \sum_{\Rada t1n} \Kr {\{\rada 1n\}},
2442: \]
2443: where $t_i$ runs over $u_{t_i,v_i}$, $1 \leq i \leq n$,
2444: so we may rewrite the right hand side of~(\ref{zatim_nevim})~as
2445: \begin{eqnarray}
2446: \lefteqn{
2447: \label{psano_v_Bonnu}
2448: \sum_{s \in R_\xi} \sum_{v_1,\ldots,v_n} (-1)^{\epsilon_n} \cdot
2449: \Upsilon_s^{\{{v_1,\ldots,v_n\}}}[\phi_1,\ldots,\phi_n]
2450: = \hskip 10em}
2451: \\
2452: && \nonumber
2453: \hskip 10em
2454: \sum_{s \in R_\xi} \sum_{v_1,\ldots,v_n}
2455: \sum_{t_1,\ldots,t_n}
2456: (-1)^{\epsilon_n} \cdot \Kr{\{\rada 1n\}}.
2457: \end{eqnarray}
2458:
2459:
2460: Suppose we have proved~(\ref{zatim_nevim}) for
2461: all $k$, $1 \leq k < n$.
2462: Consider the equation
2463: \begin{eqnarray}
2464: \lefteqn{
2465: \label{zase_jsem_nachlazeny-je_to_mozne?}
2466: \theta \langle \rada{\phi_1}{\phi_n}\rangle
2467: = \hskip 3em}
2468: \\
2469: && \nonumber
2470: \hskip 3em
2471: \theta \langle \rada{\phi_1}{\phi_{n-1}}\rangle \langle \phi_n
2472: \rangle
2473: -\sum_{1 \leq i \leq n-1}
2474: (-1)^{\omega}\cdot
2475: \theta \langle \phi_1,\ldots,\phi_i \langle \phi_n \rangle, \ldots,
2476: \phi_{n-1} \rangle,
2477: \end{eqnarray}
2478: which follows from axiom~(\ref{axiom}) of symmetric braces;
2479: in the last term
2480: \[
2481: \omega := |\phi_n|(|\phi_{i+1}| + \cdots + |\phi_{n-1}|).
2482: \]
2483: Let us analyze the first term in the right hand side
2484: of~(\ref{zase_jsem_nachlazeny-je_to_mozne?}).
2485: By the induction assumption,
2486: \[
2487: \theta \langle \rada{\phi_1}{\phi_{n-1}}\rangle (\xi) =
2488: \sum_{s \in R_\xi} \sum_{v_1,\ldots,v_{n-1}}
2489: (-1)^{\epsilon_{n-1}} \cdot
2490: \Upsilon_s^{\{{v_1,\ldots,v_{n-1}\}}}[\rada{\phi_1}{\phi_{n-1}}].
2491: \]
2492: With the notation above,
2493: \[
2494: \Upsilon_s^{\{{v_1,\ldots,v_{n-1}\}}}[\rada{\phi_1}{\phi_{n-1}}]
2495: =
2496: \sum_{\Rada t1{n-1}} \Kr {\{1,\ldots,n-1\}},
2497: \]
2498: where $t_i$ runs over $U_{s,v_i}$, $1 \leq i \leq n-1$, therefore
2499: \begin{eqnarray}
2500: \label{dnes_je_mne_zase_trochu_lip}
2501: \lefteqn{
2502: \theta \langle \rada{\phi_1}{\phi_{n-1}}\rangle \langle \phi_n
2503: \rangle (\xi) = \hskip 5em}
2504: \\
2505: && \nonumber \hskip 5em
2506: \sum_{s \in R_\xi} \sum_{v_1,\ldots,v_{n-1}}
2507: \sum_{t_1,\ldots,t_{n-1}} \sum_{v_n} (-1)^{\epsilon_n} \cdot
2508: \Kr {\{1,\ldots,n-1\}}^{\{v_n\}}[\phi_n],
2509: \end{eqnarray}
2510: where $v_n$ runs over $E$-decorated vertices of $\Kr
2511: {\{1,\ldots,n-1\}}$. Since clearly
2512: \begin{equation}
2513: \label{co_doma}
2514: \vert_E(\Kr {\{1,\ldots,n-1\}}) =
2515: \left(
2516: \Vert_E(\Upsilon_s)
2517: \setminus \{{v_1,\sqldots,v_{n-1}\}}
2518: \right)
2519: \cup \hskip -.8em
2520: \bigcup_{1 \leq i \leq n-1}\hskip -1em \Vert_E(\Upsilon_{t_i,v_i}),
2521: \end{equation}
2522: the right hand side
2523: of~(\ref{dnes_je_mne_zase_trochu_lip}) breaks into
2524: $n$ components,
2525: \[
2526: \theta \langle \rada{\phi_1}{\phi_{n-1}}\rangle \langle \phi_n
2527: \rangle (\xi) = A_0 + A_1 + \cdots + A_{n-1},
2528: \]
2529: where
2530: \[
2531: A_0: =
2532: \sum_{s \in R_\xi} \sum_{v_1,\ldots,v_{n-1}}
2533: \sum_{t_1,\ldots,t_{n-1}} {\sum_{v_n}}^{(0)}(-1)^{\epsilon_n} \cdot
2534: \Kr {\{1,\ldots,n-1\}}^{\{v_n\}}[\phi_n]
2535: \]
2536: with the superscript $(0)$ meaning that $v_n$ runs over
2537: $\Vert_E(\Upsilon_s)
2538: \setminus \{{v_1,\ldots,v_{n-1}\}}$, and
2539: \[
2540: A_i: =
2541: \sum_{s \in R_\xi} \sum_{v_1,\ldots,v_{n-1}}
2542: \sum_{t_1,\ldots,t_{n-1}} {\sum_{v_n}}^{(i)}(-1)^{\epsilon_n} \cdot
2543: \Kr {\{1,\ldots,n-1\}}^{\{v_n\}}[\phi_n],\ 1 \leq i \leq n-1,
2544: \]
2545: where $(i)$ means that $v_n$ runs over $\Vert_E(\Upsilon_{t_i,v_i})$.
2546:
2547: It is immediately clear that, for $v_n \in
2548: \Vert_E(\Upsilon_s)
2549: \setminus \{{v_1,\ldots,v_{n-1}\}}$,
2550: \[
2551: \Kr{\{\rada 1{n-1}\}}^{\{v_n\}} = \sum_{t_n} \Kr{\{\rada 1n\}},
2552: \]
2553: so
2554: \[
2555: A_0 =\sum_{s \in R_\xi} \sum_{v_1,\ldots,v_n}
2556: \sum_{\Rada t1n}
2557: (-1)^{\epsilon_n} \cdot
2558: \Kr{\{\rada 1n\}},
2559: \]
2560: which is, by~(\ref{psano_v_Bonnu}),
2561: the right hand side of~(\ref{zatim_nevim}). It is equally clear that,
2562: for $v_n \in \vert_E(\Upsilon_{t_i,v_i})$,
2563: \[
2564: \sum_{t_i} \sum_{v_n}
2565: \Kr{\{\rada 1{n-1}\}}^{\{v_n\}}
2566: [\phi_n] = (-1)^{\omega} \cdot
2567: \Kr {\{1,\ldots,i-1,i+1,\ldots,n-1\}}^{\{v_i\}}[\phi_i\langle \phi_n \rangle],
2568: \]
2569: therefore
2570: \begin{eqnarray*}
2571: A_i \hskip -.2em &=& \hskip -.2em
2572: \sum_{s \in R_\xi} \sum_{v_1,\squeezedldots,v_{n-1}}
2573: \sum_{t_1,\squeezedldots,t_{i-1}}\sum_{t_{i+1},\squeezedldots,t_{n-1}}
2574: \hskip -.1em
2575: {\sum_{v_n}}^{(i)} \hskip -.2em
2576: (-1)^{\epsilon_n \hskip -.1em +\hskip -.1em\omega}
2577: \hskip -.2em \cdot \hskip -.2em
2578: \Kr {\{1,\squeezedldots,i-1,i+1,
2579: \squeezedldots,n-1\}}^{\{v_i\}}[\phi_i\langle \phi_n
2580: \rangle]
2581: \\
2582: &=& \hskip -.2em
2583: \sum_{s \in R_\xi} \sum_{v_1,\ldots,v_{n-1}}
2584: {\sum_{v_n}}^{(i)} (-1)^{\epsilon_n +\omega}
2585: \Upsilon_s^{\{\Rada v1{n-1}\}}[\phi_1,\ldots,\phi_i
2586: \langle \phi_n \rangle,\ldots,\phi_{n-1}],
2587: \end{eqnarray*}
2588: which equals
2589: $(-1)^{\omega}
2590: \theta \langle \phi_1,\ldots,\phi_i \langle \phi_n \rangle, \ldots,
2591: \phi_{n-1} \rangle$, by induction. We recognize this expression as one
2592: of the remaining terms in the right hand side
2593: of~(\ref{zase_jsem_nachlazeny-je_to_mozne?}), taken with the minus
2594: sign. Assembling the above results, we obtain~(\ref{zatim_nevim}).
2595:
2596: Let $\pa(\xi) = \sum_{s\in S_\xi} \Gamma_s$ be as
2597: in~(\ref{porad_odkladam_ty_testy}) and $F_i \in
2598: \sigmabimodmaps(E,\End_V) \cong
2599: \Der(M,\End_V)$, for $1 \leq i \leq n$. By~(\ref{zatim_nevim}),
2600: \[
2601: \pa \langle AF_1,\ldots,AF_n \rangle (\xi) =
2602: \sum_{s \in S_\xi} \sum_{\Rada v1n} \Gamma_s^{\{\Rada v1n\}}[\Rada F1n](\xi).
2603: \]
2604: Applying, as in Definition~\ref{zase_mne_jakobi_boli_hlava}, the map
2605: $C$ on this identity, we get a formula for $\pa[\Rada F1n]$ which
2606: agrees, modulo signs, to the right hand side~(\ref{nabla}). The sign
2607: factor is induced by (de)suspensions.
2608: \end{proof}
2609:
2610:
2611: Proposition~\ref{maminka_si_zlomila_nohu} has several
2612: important implications. Let us formulate first a corollary that
2613: implies Proposition~\ref{main1}; the notation is the same as the one
2614: introduced in the paragraph preceding this proposition.
2615:
2616: \begin{corollary}
2617: \label{r}
2618: Let $\xi \in \freePROP(E)$ be such that $\pa(\xi) \in \freePROP^{\leq
2619: k}(E)$. Then
2620: \[
2621: l_n(\Rada f1n)(\xi) = 0 \mbox { for each } n > k.
2622: \]
2623: In particular, if $\pa(E) \subset \freePROP^{\leq k}(E)$, then $l_n =
2624: 0$ for $n > k$.
2625: \end{corollary}
2626:
2627: \begin{proof}
2628: If $\pa(\xi) \in \freePROP^{\leq
2629: k}(E)$, then all graphs in~(\ref{porad_odkladam_ty_testy}) have $\leq k$
2630: vertices, so the summation in~(\ref{nabla})
2631: is empty for $k > 2$.%
2632: \end{proof}
2633:
2634: In this paper we write several formulas containing
2635: infinite sums. Their convergence will be guaranteed by the following property
2636: of an \li-algebra $L = (W,l_1,l_2,\ldots)$:
2637: \begin{equation}
2638: \label{V}
2639: \begin{minipage}{32em}
2640: %\baselineskip17pt plus 1pt minus 1pt The graded space $W$
2641: is a direct product $W = \prod_{s \geq 1}W_s$ such that $l_k(\Rada
2642: w1k)_s = 0$ for all $k > s$ and $\Rada w1k \in W$.
2643: \end{minipage}
2644: \end{equation}
2645:
2646: In~(\ref{V}), $l_k(\Rada w1k)_s$ denotes the component of
2647: $l_k(\Rada w1k)$ in $W_s$. There are other
2648: conditions that can guarantee the convergence of our formulas, as the
2649: nilpotency~\cite[Definition~4.2]{getzler:AM:09}, but \li-algebras
2650: considered in this paper may not be nilpotent.
2651:
2652: \begin{proposition}
2653: \label{conv}
2654: The \li-structure of Proposition~\ref{main1} satisfies~(\ref{V}).
2655: \end{proposition}
2656:
2657: \begin{proof}
2658: In this case
2659: \[
2660: W = \susp \Der(\sfM,\End_V)^{-*} \cong \prod_{m,n} \susp
2661: \Lin_{\mbox
2662: {\scriptsize$\Sigma_m$-$\Sigma_n$}}(E(m,n),\End_V(m,n))^{-*}.
2663: \]
2664: For each $t \geq 1$ define a
2665: $\Sigma_m$-$\Sigma_n$-invariant subspace $U_t(m,n) \subset E(m,n)$ as
2666: \[
2667: U_t(m,n) := \{\xi \in E(m,n);\ \pa(\xi) \in \freePROP^{\leq t}(E)\}.
2668: \]
2669: Since $\Sigma_m \times\Sigma_n$
2670: is finite, there are $\Sigma_m$-$\Sigma_n$-invariant subspaces
2671: $V_s(m,n)$, $s \geq 1$, such that
2672: \[
2673: U_t(m,n) = \bigoplus_{s\leq t} V_s(m,n),\ \mbox {for each $t \geq 1$}.
2674: \]
2675: The same reasoning as in the proof of Corollary~\ref{r} shows that the
2676: subspaces
2677: \[
2678: W_s := \prod_{m,n} \susp
2679: \Lin_{\mbox {\scriptsize $\Sigma_m$-$\Sigma_n$}}(V_s(m,n),\End_V(m,n))^{-*}
2680: \subset W
2681: \]
2682: satisfy~(\ref{V}).%
2683: \end{proof}
2684:
2685:
2686: Let $\kappa \in C^*_\sfP(V;V) = \susp \Der(\sfM,\End_V)^{-*}$ and denote by
2687: $u \in \Lin_{\Sigma-\Sigma}(E,\End_V)$ the restriction of $\desusp
2688: \kappa$ to the space of
2689: generators of $\sfM = \freePROP(E)$, $u:= \desusp \kappa |_E$. Let $U :
2690: \sfM \to \End_V$ be the extension of $u$ into a \PROP{} homomorphism.
2691:
2692:
2693:
2694:
2695: \begin{proposition}
2696: \label{podzim}
2697: Let $L_{\mbox{\o}} = (C^*_\sfP(V;V),h_2,h_3,\ldots)$ be the \li-structure
2698: corresponding to the trivial $\sfP$-algebra. Under the above
2699: notation,
2700: one has the following equality of elements of
2701: $\Lin_{\mbox {\scriptsize $\Sigma$-$\Sigma$}}(E,\End_V)$:
2702: \begin{equation}
2703: \label{je_to_trochu_lepsi}
2704: U \circ \pa|_E =
2705: \raisebox{1.2em}{
2706: \setlength{\unitlength}{1.8em}
2707: \vector(0,-1){1}
2708: }
2709: \left.\left(
2710: -\frac 1{2!} h_2(\kappa,\kappa) + \frac 1{3!}
2711: h_3(\kappa,\kappa,\kappa) + \frac 1{4!}
2712: h_4(\kappa,\kappa,\kappa,\kappa) - \cdots\right)\right|_E
2713: \end{equation}
2714: \end{proposition}
2715:
2716:
2717: \begin{proof}
2718: Since $L_{\mbox{\o}}$ corresponds to the trivial $\sfP$-structure, the map
2719: $\beta$ in~(\ref{stanu_se_UL_instruktorem?}) is zero and the decorated
2720: graph $\Gamma_{\{\beta\}}^{\{\Rada v1k\}}[u,\ldots,u]$ may be nontrivial
2721: only if $\Gamma$ has precisely $k$ vertices, all decorated by $u$.
2722: Therefore~(\ref{nabla}), with $f_1 = \cdots = f_k = \kappa$, describes
2723: the $k$-th homogeneous component of the extension of $u$ into a
2724: homomorphism $U : \sfM \to \End_V$ composed with $\partial$.
2725: The signs in~(\ref{je_to_trochu_lepsi}) are induced by
2726: (de)suspensions.%
2727: \end{proof}
2728:
2729:
2730: \section{Strongly homotopy algebras}
2731: \label{sh}
2732:
2733: In this short section we indicate how the methods of this
2734: paper generalize to cohomology of strongly homotopy algebras and how
2735: ``curved'' $L_\infty$-algebras naturally arise in this context.
2736:
2737:
2738: We will consider $L_\infty$-algebras $L=(W,l_0,l_1,l_2,\ldots)$ with
2739: possibly nontrivial $l_0 \in W^1$. These generalized
2740: $L_\infty$-algebras can be defined by allowing $l_k$ for $k=0$
2741: in~\cite[Definition~2.1]{lada-markl:CommAlg95}; we leave the
2742: details for the reader. Axiom~(2) of~\cite{lada-markl:CommAlg95} for
2743: $n=0$ gives $l_1 \circ l_0 = 0$ and for $n=1$
2744: \begin{equation}
2745: \label{pisu_ve_Dvore_Kralove}
2746: 0 = l_1(l_1 (w)) + l_2(l_0,w),\ w \in W.
2747: \end{equation}
2748: Therefore $l_1$ need not be a differential if $l_0 \not= 0$. We will
2749: call such an \li-algebra {\em curved\/} and $l_0$ its {\em
2750: curvature\/}. If $l_0 = 0$ we say that $L$ is {\em flat\/}. Flat
2751: \li-algebras are thus ordinary \li-algebras without the $l_0$
2752: term. \li-algebras with $l_0 = l_1 =0$ are sometimes called {\em
2753: minimal\/}. The following statement is~\cite[Theorem~2.6.1]{merkulov},
2754: slightly generalized by allowing curved $L_\infty$-algebras.
2755:
2756:
2757:
2758: \begin{proposition}
2759: \label{zavody}
2760: Let $L= (W,l_0,l_1,l_2,\ldots)$ be an \li-algebra satisfying~(\ref{V})
2761: and $\kappa \in W^1$ an \underline{arbitrar}y element. Then $L_\kappa
2762: :=(W,l^\kappa_0,l^\kappa_1,l^\kappa_2,\ldots)$ with
2763: \begin{eqnarray*}
2764: l^\kappa_n(\Rada w1n) &:=& \sum_{s \geq 0} (-1)^{{sn} + {s+1\choose2}}
2765: \frac 1{s!}
2766: l_{n+s}(\underbrace {\kappa,\ldots,\kappa}_{\mbox{\scriptsize
2767: $s$\ times}},\Rada w1n)
2768: \\
2769: && \hskip -6em =
2770: l_n(\Rada w1n) -(-1)^{n}
2771: l_{n+1}(\kappa,\Rada w1n) -\frac 12 l_{n+2}(\kappa,\kappa,\Rada w1n)
2772: + \cdots
2773: \end{eqnarray*}
2774: is an \li-algebra satisfying~(\ref{V}) whose curvature $l^\kappa_0$ equals
2775: \[
2776: l_0^\kappa = \sum_{s\geq 0} (-1)^{s+1 \choose 2} l_s(\rada \kappa\kappa) =
2777: l_0 - l_1(\kappa) -\frac 1{2!} l_2(\kappa,\kappa)
2778: + \frac 1{3!} l_3(\kappa,\kappa,\kappa) +
2779: \cdots.
2780: \]
2781: \end{proposition}
2782:
2783: The proof is a direct verification, see~\cite{merkulov}.
2784: Let us remark that there is another sign convention for \li-algebras
2785: used for example in~\cite{getzler:AM:09} related to the one introduced
2786: in~\cite{lada-markl:CommAlg95} and used in this paper by $l_n
2787: \leftrightarrow (-1)^{n+1\choose2}l_n$, $n \geq 0$. In this
2788: convention, all terms in the above sums have the $+$ sign.
2789:
2790:
2791: We will call $L_\kappa$ the {\em $\kappa$-twisting\/} of $L$. Observe
2792: that, if $L$ is flat and $\kappa$ satisfies the master
2793: equation~(\ref{master1}) in $L$, then $L_\kappa$ is an ordinary flat
2794: $L_\infty$-algebra. Proposition~\ref{zavody} then defines the
2795: classical twisting of an $L_\infty$-algebra by a Maurer-Cartan
2796: element, see for example~\cite[Lemma~4.4]{laan-defo}
2797: or~\cite[Proposition~4.4]{getzler:AM:09}. We will also need the
2798: following elementary lemma whose proof is straightforward.
2799:
2800: \begin{lemma}
2801: \label{kousek_od_Zirce}
2802: Suppose that, under assumptions of Proposition~\ref{zavody}, $W$ is
2803: equipped with a degree $+1$ differential $d$ such that all operations
2804: $l_n: \otexp Wn \to W$
2805: of the algebra $L$ are chain maps (this, in particular, means
2806: that $d l_0 = 0$). Suppose moreover that $\kappa \in W^1$ satisfies
2807: \[
2808: d(\kappa) = l_0 - l_1(\kappa) -\frac 1{2!} l_2(\kappa,\kappa)
2809: + \frac 1{3!} l_3(\kappa,\kappa,\kappa) +
2810: \frac 1{4!} k_4(\kappa,\kappa,\kappa,\kappa) - \cdots.
2811: \]
2812: Then $\overline{L}_\kappa:=(W,0,l^\kappa_1+d,l^\kappa_2,l^\kappa_3,\ldots)$,
2813: where $l^\kappa_n$ are as in
2814: Proposition~\ref{zavody}, is a flat \li-algebra.
2815: \end{lemma}
2816:
2817: Let $\sfP$ be a $\bfk$-linear \PROP.
2818: Strongly homotopy $\sfP$-(bi)algebras are,
2819: by definition, algebras
2820: over the minimal model $(\sfM,\pa)$ of $\sfP$.
2821: Let $V_{\mbox{\o}}$ be the \sfP-(bi)algebra
2822: whose all structure operations are trivial and
2823: $L_{\mbox{\o}} = (\CP^*(V,V),h_0=0,h_1 = 0,h_2,h_3,\ldots)$ the flat
2824: \li-algebra constructed in Theorem~\ref{main} corresponding to
2825: $V_{\mbox{\o}}$. The minimality $h_1 =0$
2826: of $L_{\mbox{\o}}$ follows from the minimality of $(\sfM,\pa)$.
2827: Assume that $V$ is graded, with a degree $+1$ differential
2828: $d$. Slightly abusing the notation, we will denote by $d$ also the
2829: induced differential on $\End_V$. It is immediately clear that all
2830: operations $l_n$ are chain maps. The following proposition is a
2831: version of Lemma~5.11 of~\cite{laan-defo}.
2832:
2833: \begin{proposition}
2834: \label{pisu_v_aute_ve_Dvore}
2835: There is a one-to-one correspondence between elements $\kappa \in
2836: \CP^1(V,V)$ satisfying
2837: \begin{equation}
2838: \label{44}
2839: d \kappa = -\frac 1{2!} h_2(\kappa,\kappa) + \frac 1{3!}
2840: h_3(\kappa,\kappa,\kappa) + \frac 1{4!}
2841: h_4(\kappa,\kappa,\kappa,\kappa) - \cdots
2842: \end{equation}
2843: in $L_{\mbox{\o}}$ and strongly homotopy \sfP-(bi)algebra structures on $V$.
2844: \end{proposition}
2845:
2846: \begin{proof}
2847: Let $U : \sfM \to \End_V$ be, as in
2848: Proposition~\ref{podzim}, the (unique) homomorphism extending $\desusp
2849: \kappa |_E$. Using~(\ref{je_to_trochu_lepsi}), one easily
2850: sees that~(\ref{44}) is equivalent to $dU = U \partial$ which means
2851: that $U$ is a homomorphism of dg-\PROP{s} defining a strongly homotopy
2852: $\sfP$-algebra.%
2853: \end{proof}
2854:
2855:
2856: The interpretation of homotopy structures in terms of solutions of
2857: the (generalized) Maurer-Cartan equation was found by van~der~Laan for
2858: homotopy $\calP$-algebras~\cite{laan-defo}. The generalization to homotopy
2859: (bi)algebras over a \PROP\ given here was independently found by
2860: Merkulov-Vallette~\cite{merkulov-vallette}.
2861:
2862: We are finally ready to analyze the structure of the deformation
2863: complex of a strongly homotopy (bi)algebra.
2864: Let $\kappa \in \CP^1(V,V)$ be as in
2865: Proposition~\ref{pisu_v_aute_ve_Dvore}. The curvature of the
2866: $\kappa$-twisting
2867: \[
2868: L_\kappa =
2869: (\CP^*(V,V),h^\kappa_0,\delta_\kappa,h^\kappa_2,h^\kappa_3,\ldots)
2870: \]
2871: of $L_{\mbox{\o}}$ equals $d\kappa$. Assumptions of
2872: Lemma~\ref{kousek_od_Zirce} are satisfied, therefore
2873: \[
2874: \overline{L}_\kappa =(\CP^*(V,V),l_0 =0,d+
2875: \delta_\kappa,h^\kappa_2,h^\kappa_3,\ldots)
2876: \]
2877: is a flat \li-structure
2878: which induces a Lie bracket on the
2879: cohomology
2880: \[
2881: H_\sfP^*(B,B) := H^*(\CP^*(V,V), d+ \delta_\kappa)
2882: \]
2883: of the
2884: strongly homotopy (bi)algebra $B$ corresponding to $\kappa$.
2885:
2886: \begin{example}
2887: {\rm
2888: Let us illustrate the above analysis on \ai- (strongly homotopy
2889: associative) algebras~\cite{stasheff:TAMS63}. They are algebras over
2890: the minimal model $\Ass_\infty$ of the operad $\Ass$ for associative
2891: algebras. It immediately follows from the description of $\Ass_\infty$
2892: given for instance in~\cite[Example~4.8]{markl:zebrulka} that
2893: \[
2894: C^*_{\ssAss}(V,V) = \prod_{n \geq 2}\Lin^{n-*-1}(\otexp Vn,V).
2895: \]
2896: The only nontrivial operation of the flat algebra $L_{\mbox{\o}}$ is the bilinear
2897: bracket $h_2$ given by
2898: \begin{equation}
2899: \label{znechuceni}
2900: h_2\left((\phi_2,\phi_3,\ldots),(\psi_2,\psi_3,\ldots)\right)_n
2901: := \sum_{i+j = n+1} [\phi_i,\psi_j],
2902: \end{equation}
2903: where $\phi_s,\psi_s \in \Lin(\otexp Vs,V)$, $s \geq 2$,
2904: the subscript $n$ denotes the component in $\Lin(\otexp Vn,V)$
2905: and $[-,-]$ is the Gerstenhaber bracket of Hochschild
2906: cochains~\cite{gerstenhaber:AM63}.
2907:
2908: Equation~(\ref{44}) for $\kappa = (\mu_2,\mu_3,\ldots) \in
2909: C^1_{\ssAss}(V,V) = \prod_{n \geq 2}\Lin^{n-2}(\otexp Vn,V)$,
2910: expanded into homogeneous components,
2911: reads
2912: \[
2913: 0 = d \mu_n + \frac 12 \sum_{i+j = n+1} [\mu_i,\mu_j],\ n \geq 2,
2914: \]
2915: which we easily recognize as the axiom for \ai-algebras in the
2916: form~\cite[Section~1.4]{markl:JPAA92}.
2917:
2918: The $\kappa$-twisting $L_\kappa$ of $L_{\mbox{\o}}$ equals $L_\kappa =
2919: (C^*_{\ssAss}(V,V),l_0,\delta_\kappa,l_2,0,0,\ldots)$, with the curvature
2920: \[
2921: l_0 = (d\mu_2,d\mu_3,d\mu_4,\ldots),
2922: \]
2923: $\delta_\kappa$ given by
2924: \[
2925: \delta(f_2,f_3,\ldots)_n := \sum_{i+j = n+1} [\mu_i,f_j]
2926: \]
2927: and $l_2 = h_2$ as in~(\ref{znechuceni}). In the ``flattened'' algebra
2928: \[
2929: \overline{L}_\kappa = (C^*_{\ssAss}(V,V),l_0 = 0, d+
2930: \delta_\kappa,l_2,0,0,\ldots),
2931: \]
2932: $d + \delta_\kappa$ is the
2933: differential on the cochain complex defining the cohomology of the
2934: \ai-algebra determined by $\kappa$ with coefficients in
2935: itself~\cite[Section~2.2]{markl:JPAA92}.
2936: }\end{example}
2937:
2938:
2939: \section{The Gerstenhaber-Schack cohomology of bialgebras}
2940: \label{GS}\label{3}
2941:
2942:
2943: In this section we show how to construct, by applying methods of
2944: Section~\ref{1bis} to the differential of the minimal model
2945: $(\sfM_\sfB,\psfb)$ for the bialgebra \PROP\ $\sfB$, an explicit Lie
2946: bracket on the Gerstenhaber-Schack cohomology of a bialgebra.
2947: Formulas for the differential $\psfb$ of $\sfM_\sfB$ are given
2948: in~\cite[Eqn.~3.1]{umble-saneblidze:KK}.
2949:
2950: Recall that a ($\Ass$-)bialgebra $B$ is a vector space $V$ with
2951: a {\em multiplication\/} $\mu : V \ot V \to V$ and a {\em
2952: comultiplication\/} (also called a {\em diagonal\/}) $\Delta : V \to
2953: V\ot V$. The multiplication is associative:
2954: \[
2955: \mu(\mu \ot \iden_V) = \mu(\iden_V \ot \mu),
2956: \]
2957: the comultiplication is coassociative:
2958: \[
2959: (\iden_V \ot \Delta)\Delta = (\Delta \ot \iden_V)\Delta
2960: \]
2961: and the usual compatibility relation between $\mu$ and $\Delta$ is
2962: assumed:
2963: \begin{equation}
2964: \label{compatibility}
2965: \Delta \circ \mu = (\mu \ot \mu) T_{\sigma(2,2)} (\Delta \ot \Delta),
2966: \end{equation}
2967: where $T_{\sigma(2,2)}: V^{\ot 4} \to V^{\ot 4}$ is defined by
2968: \[
2969: T_{\sigma(2,2)}(v_1 \ot v_2 \ot v_3 \ot v_4) := v_1 \ot v_3 \ot v_2
2970: \ot v_4,
2971: \]
2972: for $v_1,v_2,v_3,v_4 \in V$. Compatibility~(\ref{compatibility})
2973: of course expresses
2974: the fact that
2975: \[
2976: \Delta(u \cdot v) = \Delta(u) \cdot \Delta(v),\ u,v \in V,
2977: \]
2978: where $u \cdot v :=\mu(u,v)$ and the dot $\ \cdot\ $ in the right hand
2979: side denotes the multiplication induced on $V \ot V$ by $\mu$.
2980:
2981: Let us recall that in the definition of the Gerstenhaber-Schack
2982: cohomology~\cite{gerstenhaber-schack:Proc.Nat.Acad.Sci.USA90} one
2983: considers the bigraded vector space
2984: \[
2985: C^{*,*}_\GS (B;B) := \bigoplus_{p,q \geq 1} C^{p,q}_\GS (B;B),
2986: \]
2987: where
2988: \[
2989: C^{p,q}_\GS (B;B) := \Lin(\otexp Vp,\otexp Vq).
2990: \]
2991: It will be useful to introduce the {\em biarity\/} of a function $f
2992: \in C^{p,q}_\GS (B;B)$ as the couple $\biar(f) := (q,p)$. For each $q
2993: \geq 2$, the iterated diagonal
2994: \[
2995: \Delta^{[q]}:= (\Delta \ot
2996: {\iden}^{\ot (q-2)})\circ(\Delta \ot
2997: {\iden}^{\ot (q-1)}) \circ \cdots \circ \Delta : V \to \otexp Vq
2998: \]
2999: induces on $\otexp Vq$ the structure of a $(V,\mu)$-bimodule, by
3000: \begin{eqnarray*}
3001: u(\otRada v1q)&: = &\Delta^{[q]}(u) \cdot (\otRada v1q),\ \mbox { and }
3002: \\
3003: (\otRada v1q)u &: = & (\otRada v1q) \cdot \Delta^{[q]}(u),
3004: \end{eqnarray*}
3005: where $\ \cdot\ $ denotes the multiplication induced on $\otexp Vq$ by
3006: $\mu$. Therefore it makes sense to define
3007: \[
3008: d_1 : C^{p,q}_\GS (B;B) \to C^{p+1,q}_\GS (B;B)
3009: \]
3010: to be the Hochschild differential of the algebra $(V,\mu)$ with
3011: coefficients in the $(V,\mu)$-bimodule $\otexp Vq$. The ``coHochschild''
3012: differential
3013: \[
3014: d_2 : C^{p,q}_\GS (B;B) \to C^{p,q+1}_\GS (B;B)
3015: \]
3016: is defined in dual manner. It turns out that
3017: $(C^{*,*}_\GS (B;B), d_1 + d_2)$
3018: forms a bicomplex shown in Figure~\ref{fig1}.
3019: %
3020: \begin{figure}[t]
3021: \setlength{\unitlength}{.8em}
3022: \begin{picture}(20,15)(-3,0)
3023: \put(0,1){
3024: %PRVNI RADA
3025: \put(2.5,0){
3026: \put(0,0){\makebox(0,0){$\CGSbi 11$}}
3027: \put(10,0){\makebox(0,0){$\CGSbi 21$}}
3028: \put(20,0){\makebox(0,0){$\CGSbi 31$}}
3029: \put(30,0){\makebox(0,0){$\CGSbi 41$}}
3030: }
3031: %DRUHA RADA
3032: \put(2.5,5){
3033: \put(0,0){\makebox(0,0){$\CGSbi 12$}}
3034: \put(10,0){\makebox(0,0){$\CGSbi 22$}}
3035: \put(20,0){\makebox(0,0){$\CGSbi 32$}}
3036: \put(30,0){\makebox(0,0){$\CGSbi 42$}}
3037: }
3038: %TRETI RADA
3039: \put(2.5,10){
3040: \put(0,0){\makebox(0,0){$\CGSbi 13$}}
3041: \put(10,0){\makebox(0,0){$\CGSbi 23$}}
3042: \put(20,0){\makebox(0,0){$\CGSbi 33$}}
3043: \put(30,0){\makebox(0,0){$\CGSbi 43$}}
3044: }
3045: %VODOROVNE SIPKY
3046: \put(5.5,0){\multiput(0,0)(10,0){4}{
3047: \vector(1,0){3}\put(-1.2,1){\makebox(0,0){$d_1$}}}}
3048: \put(5.5,5){\multiput(0,0)(10,0){4}{
3049: \vector(1,0){3}\put(-1.2,1){\makebox(0,0){$d_1$}}}}
3050: \put(5.5,10){\multiput(0,0)(10,0){4}{
3051: \vector(1,0){3}\put(-1.2,1){\makebox(0,0){$d_1$}}}}
3052: %SVISLE SIPKY
3053: \put(2.5,1){\multiput(0,0)(0,5){3}{
3054: \vector(0,1){3}\put(-1,1.2){\makebox(0,0){$d_2$}}}}
3055: \put(12.5,1){\multiput(0,0)(0,5){3}{
3056: \vector(0,1){3}\put(-1,1.2){\makebox(0,0){$d_2$}}}}
3057: \put(22.5,1){\multiput(0,0)(0,5){3}{
3058: \vector(0,1){3}\put(-1,1.2){\makebox(0,0){$d_2$}}}}
3059: \put(32.5,1){\multiput(0,0)(0,5){3}{
3060: \vector(0,1){3}\put(-1,1.2){\makebox(0,0){$d_2$}}}}
3061: }
3062: \end{picture}
3063: \caption{\label{fig1}The Gerstenhaber-Schack bicomplex.}
3064: \end{figure}
3065: %
3066: The {\em Gerstenhaber-Schack\/} cohomology of $B$ with coefficients in
3067: $B$ is the cohomology of its (regraded) total complex
3068: \[
3069: H^*_\GS(B;B) := H^*(C^*_\GS(B;B),d_\GS),
3070: \]
3071: where
3072: \[
3073: C^*_\GS(B;B) := \bigoplus_{* = p+q-2} C^{p,q}_\GS (B;B)\
3074: \mbox { and }\
3075: d_\GS := d_1 + d_2.
3076: \]
3077:
3078: Let us compare now the Gerstenhaber-Schack cohomology with the cohomology
3079: $H^*_\sfB(B;B)$ recalled in~(\ref{Tel-Aviv}),
3080: where $\sfB$ is the \PROP\ for bialgebras. To this
3081: end, we need to review some facts about the minimal model of $\sfB$.
3082: For a generator $\xi^m_n$ of biarity $(m,n)$ ($n$ `inputs' and $m$
3083: `outputs,' $m,n \geq 0$), let $\sigmaspan(\xi) : = \bfk[\Sigma_m]
3084: \otimes \bfk \cdot \xi \otimes \bfk[\Sigma_n]$, with the obvious
3085: mutually compatible left $\Sigma_m$- right $\Sigma_n$-actions.
3086: The minimal model $\sfM_\sfB = \sfM$ of
3087: $\sfB$ is of the form $\sfM = (\freePROP(\Xi),\psfb)$, where $\Xi :=
3088: \sigmaspan(\{\xi^m_n\}_{m,n \in I})$ with
3089: \begin{equation}
3090: \label{SM_je_hovado}
3091: I := \{ m,n \geq 1,\ (m,n) \not= (1,1)\},
3092: \end{equation}
3093: see~\cite[Theorem~16]{markl:ba}. The differential $\psfb$ of
3094: $\sfM_\sfB$ is explicitly determined by~\cite[Eqn.~3.1]{umble-saneblidze:KK}.
3095:
3096:
3097: While general free \PROP{s} are complicated objects, the fact that
3098: the $\Sigma$-bimodule $\Xi$ is a~direct sum of regular
3099: representations implies the following relatively simple description of
3100: $\freePROP(\Xi)$.
3101: Let us agree that, in this section,
3102: by directed a graph we mean a finite, not necessary
3103: connected, graph $G$ such that
3104: \begin{itemize}
3105: \item[(i)]
3106: each edge $e \in \edge(G)$
3107: is equipped with a direction and there are no directed cycles (wheels)
3108: in $G$.
3109: \end{itemize}
3110: The direction of edges determines at
3111: each vertex $v \in \vert(G)$ of a directed graph $G$ a disjoint decomposition
3112: \[
3113: \edge(v) = \In(v) \sqcup \Out(v)
3114: \]
3115: of the set of edges adjacent to $v$ into the set $\In(v)$ of incoming
3116: edges and the set $\Out(v)$ of outgoing edges.
3117: We will also assume that
3118: \begin{itemize}
3119: \item[(ii)]
3120: for each vertex $v \in \vert(G)$, the sets $\In(v)$ and $\Out(v)$ are
3121: linearly ordered.
3122: \end{itemize}
3123:
3124: The pair $\biar(v):= (\#(\Out(v)),\#(\In(v)))$ is called the {\em
3125: biarity\/} of $v$. A vertex $v \in \Vert(G)$ is {\em
3126: binary\/} if $\biar(v) = (1,2) \mbox { or } (2,1)$.
3127: Next assumption we impose on the graphs in this section is that
3128: \begin{itemize}
3129: \item[(iii)]
3130: $G$ has no vertices of biarity $(0,0)$ or $(1,1)$.
3131: \end{itemize}
3132: Vertices of biarity $(1,0)$ are called the {\em input vertices\/} and
3133: vertices of biarity $(0,1)$ the {\em output vertices\/} of $G$.
3134: We finally denote by $\ggg mn$ the set of isomorphism classes of
3135: directed graphs $G$ satisfying (i)--(iii) above such that
3136: \begin{itemize}
3137: \item[(iv)]
3138: the input vertices of $G$ are labeled by
3139: $\{1, \dots, n\}$ and the output vertices by $\{1, \dots, m\}$.
3140: \end{itemize}
3141: With this notation,
3142: \[
3143: \freePROP(\Xi)(m,n) \cong \Span(\{G\}_{G \in \ggg mn}),\ m,n \geq 0.
3144: \]
3145:
3146: The degree $-1$ differential $\psfb$ on $\freePROP(\Xi)$ is of course
3147: uniquely determined by its values $\psfb (\xi^m_n) \in \freePROP(\Xi)(m,n)$,
3148: $(m,n) \in I$, on the generators of $\Xi$. We will see more explicitly
3149: below how these values look, now just write
3150: \begin{equation}
3151: \label{je_to_takova_glegla}
3152: \psfb(\xi^m_n) = \sum_{s \in S^m_n} \epsilon^s \cdot G_s,
3153: \end{equation}
3154: where $G_s \in \ggg mn$, $S^m_n$ is a finite indexing set depending
3155: on $(m,n) \in I$, and $\epsilon \in \bfk$.
3156:
3157: It follows from the results of~\cite[Section~4]{umble-saneblidze:KK}
3158: that the minimal model of $\sfB$ is the cellular chain complex of a
3159: sequence of finite polytopes whose faces are indexed
3160: by directed graphs that we may
3161: in~(\ref{je_to_takova_glegla}) assume $\epsilon^s \in
3162: \{-1,1\}$. In particular, the minimal model of $\sfB$ is defined over
3163: the integers! This has to be compared to a similar argument proving
3164: the integrality of the minimal model of the operad for associative
3165: algebras based on the existence of the
3166: associahedra~\cite[Example~4.8]{markl:zebrulka}.
3167:
3168: In the same manner, any derivation $F \in
3169: \Der(\sfM,\End_V)$ is uniquely determined by specifying, for each $(m,n)
3170: \in I$, multilinear maps
3171: \[
3172: F(\xi^m_n) \in \End_V(m,n) = \Lin(\otexp
3173: Vn,\otexp Vm) = \CGSbi nm .
3174: \]
3175: This defines an isomorphism
3176: \[
3177: C_\sfB^*(V;V) = \hskip .3 em\susp \Der(\sfM,\End_V)^{-*} \cong C^*_\GS(B;B)
3178: \]
3179: which we use to identify $C_\sfB^*(V;V)$ with $ C^*_\GS(B;B)$. Let us
3180: inspect how the differential $\delta_\sfB$ of the cochain complex
3181: $C_\sfB^*(V;V)$ acts on some $f \in \CGSbi pq$. If we denote by
3182: $(\delta_\sfB f)^m_n$ the component of $\delta_\sfB f$ in $\CGSbi nm$, then
3183: \begin{equation}
3184: \label{psano_v_Koline}
3185: (\delta_\sfB f)^m_n = \sum_{s \in S^m_n}
3186: \sum_{v \in \Vert(G_s)} \epsilon^s \cdot G^v_s[f],
3187: \end{equation}
3188: where $G^v_s[f]$ is an element of $\Lin(\otexp
3189: Vn,\otexp Vm)$ which is nontrivial only if the vertex $v \in
3190: \Vert(G_s)$ has biarity $(q,p)$ and if all remaining vertices of
3191: $G_s$ are binary. In this case $G^v_s[f]$ is obtained by
3192: decorating the vertex $v$ with $f$, vertices of biarity $(1,2)$
3193: with the multiplication $\mu$, vertices of biarity $(2,1)$ with
3194: the comultiplication $\Delta$, and then performing the
3195: compositions indicated by the graph $G_s$. We leave as an
3196: exercise to show that formula~(\ref{psano_v_Koline}) indeed
3197: follows from the definition of $\delta_\sfP$ with $\sfP = \sfB$
3198: recalled in Section~\ref{intro}.
3199:
3200: It turns out (see Appendix~B on page~\pageref{apB})
3201: that $(\delta_\sfB f)^m_n \not= 0$ only if $(m,n) = (q,p+1)$
3202: or $(m,n) = (q+1,p)$ and that
3203: \begin{equation}
3204: \label{Merkulov_je_rusky_hovado}
3205: (\delta_\sfB f)^q_{p+1} = d_1 f\ \mbox { and }\
3206: (\delta_\sfB f)^{q+1}_p = d_2 f.
3207: \end{equation}
3208: This shows that the cochain complexes $(C^*_\GS(B;B),d_\GS)$ and
3209: $(C^*_\sfB(B;B),\delta_\sfB)$ are isomorphic and that our cohomology
3210: $H^*_\sfB(B;B)$ coincides with the Gerstenhaber-Schack
3211: cohomology of $B$.
3212:
3213: The $L_\infty$-structure on $C^*_\GS(B;B)$ announced in the Abstract
3214: is determined by an obvious generalization
3215: of~(\ref{psano_v_Koline}). The components $l_k(\Rada f1k)^m_n \in
3216: \CGSbi mn$ of the bracket $l_k(\Rada f1k)$ can be computed as
3217: \begin{eqnarray}
3218: \label{dnes_prijede_ten_American}
3219: \lefteqn{
3220: l_k(\Rada f1k)^m_n = \hskip 5em}
3221: \\
3222: && \hskip 5em \nonumber
3223: (-1)^{\nu(\Rada f1n)} \cdot
3224: \sum_{s \in S^m_n}\sum_{\Rada v1k \in \Vert(G_s)}
3225: \epsilon^s G_s^{\{\Rada v1k\}}[\Rada f1k],
3226: \end{eqnarray}
3227: where $\nu(\Rada f1n)$ is as in~(\ref{dnes_jsem_byl_na_sipcich})
3228: and in the second summation we assume that all vertices $\Rada
3229: v1k$ are mutually different. The multilinear map $G_s^{\{\Rada
3230: v1k\}}[\Rada f1k] \in \Lin(\otexp Vn,\otexp Vm)$
3231: is nonzero only if $\biar(f_i) = \biar(v_i)$ for $1 \leq i \leq
3232: k$ and if all other remaining vertices of $G_s$ are binary. When
3233: it is so, then $G_s^{\{\Rada v1k\}}[\Rada f1k]$ is defined by
3234: decorating the vertices $v_i$ with $f_i$, $1 \leq i \leq k$,
3235: vertices of biarity $(1,2)$ with $\mu$, vertices of biarity
3236: $(2,1)$ with $\Delta$, and then performing the compositions
3237: indicated by the graph $G_s$.
3238:
3239: Before we give examples of these $L_\infty$-brackets, we
3240: need to recall the calculus of fractions introduced
3241: in~\cite{markl:ba}. A fraction is a special type of a composition of
3242: elements of a \PROP\ defined using a restricted class of permutations
3243: which we we need to recall first.
3244:
3245: For $k ,l \geq 1$ and $1 \leq i \leq kl$, let $\sigma(k,l) \in
3246: \Sigma_{kl}$ be the permutation given~by
3247: \[
3248: \sigma(i) := k(i-1 - (s-1)l) + s,
3249: \]
3250: where $s$ is such that $(s-1)l < i \leq sl$. Permutations of
3251: this form are called {\em special permutations\/}.
3252: An example is the permutation $\sigma(2,2)$
3253: in~(\ref{compatibility}). Another example is
3254: \[
3255: \sigma(3,2) :=
3256: \left(
3257: \begin{array}{cccccc}
3258: 1 & 2 & 3 & 4 & 5 & 6
3259: \\
3260: 1 & 4& 2 & 5 & 3 & 6
3261: \end{array}
3262: \right)
3263: = \hskip 3mm
3264: {% Picture saved by xtexcad 2.4
3265: \unitlength=1.000000pt
3266: \begin{picture}(50.00,25.00)(0.00,12.00)
3267: \put(50.00,0.00){\makebox(0.00,0.00){\scriptsize$\bullet$}}
3268: \put(50.00,30.00){\makebox(0.00,0.00){\scriptsize$\bullet$}}
3269: \put(40.00,0.00){\makebox(0.00,0.00){\scriptsize$\bullet$}}
3270: \put(40.00,30.00){\makebox(0.00,0.00){\scriptsize$\bullet$}}
3271: \put(30.00,0.00){\makebox(0.00,0.00){\scriptsize$\bullet$}}
3272: \put(30.00,30.00){\makebox(0.00,0.00){\scriptsize$\bullet$}}
3273: \put(20.00,0.00){\makebox(0.00,0.00){\scriptsize$\bullet$}}
3274: \put(20.00,30.00){\makebox(0.00,0.00){\scriptsize$\bullet$}}
3275: \put(10.00,0.00){\makebox(0.00,0.00){\scriptsize$\bullet$}}
3276: \put(10.00,30.00){\makebox(0.00,0.00){\scriptsize$\bullet$}}
3277: \put(0.00,0.00){\makebox(0.00,0.00){\scriptsize$\bullet$}}
3278: \put(0.00,30.00){\makebox(0.00,0.00){\scriptsize$\bullet$}}
3279: \put(0.00,30.00){\line(0,1){0.00}}
3280: \put(50.00,20.00){\line(0,-1){10.00}}
3281: \put(40.00,20.00){\line(-1,-1){10.00}}
3282: \put(30.00,20.00){\line(-2,-1){20.00}}
3283: \put(20.00,20.00){\line(2,-1){20.00}}
3284: \put(10.00,20.00){\line(1,-1){10.00}}
3285: \put(0.00,20.00){\line(0,-1){10.00}}
3286: \end{picture}} \hskip 2mm
3287: \]
3288:
3289: \noindent
3290: with the convention that the `flow diagrams'
3291: should be read from the bottom to the top.
3292:
3293: Let $\sfP$ be a \PROP.
3294: Let $k,l \geq 1$, $\Rada a1l \geq 1$, $\Rada b1k \geq 1$,
3295: $\Rada A1l \in \sfP(a_i,k)$ and $\Rada B1k \in \sfP(l,b_j)$.
3296: Then the {\em $(k,l)$-fraction\/} is defined as
3297: \[
3298: \frac{A_1 \cdots A_l}{B_1 \cdots B_k} :=
3299: (A_1 \otimes \cdots \otimes A_l)
3300: \circ \sigma(k,l) \circ
3301: (B_1 \otimes \cdots \otimes B_k)
3302: \in \sfP(a_1+\cdots + a_l,b_1+\cdots + b_k).
3303: \]
3304:
3305: If $k=1$ or $l=1$, the $(k,l)$-fractions are just the `operadic'
3306: compositions:
3307: \[
3308: \frac{A_1 \ot \cdots \ot A_l}{B_1} = (A_1 \ot \cdots \ot A_l) \circ B_1
3309: \ \mbox { and }\
3310: \frac{A_1}{B_1 \ot \cdots \ot B_k} = A_1 \circ (B_1 \ot \cdots \ot B_k).
3311: \]
3312: As a more complicated example,
3313: consider $\zeroatwo a, \zeroatwo b \in \sfP(*,2)$ and $\twoazero c,
3314: \twoazero d \in \sfP(2,*)$. Then
3315:
3316: \vglue -1.3em
3317: \[
3318: \frac{\zeroatwo a \hskip .2em \zeroatwo b}%
3319: {\twoazero c \hskip .2em \twoazero d}
3320: =
3321: (\raisebox{-2pt}{\zeroatwo a} \hskip -.3em
3322: \ot \raisebox{-2pt}{\zeroatwo b}
3323: \hskip -4pt)
3324: \circ \sigma(2,2) \circ
3325: (\raisebox{-2pt}{\twoazero c}
3326: \hskip -.3em\ot \raisebox{-2pt}{\twoazero d} \hskip -4pt)
3327: =
3328: {% Picture saved by xtexcad 2.4
3329: \unitlength=.5pt
3330: \begin{picture}(70.00,70.00)(0.00,30.00)
3331: \put(50.00,10.00){\makebox(0.00,0.00)[l]{$d$}}
3332: \put(10.00,10.00){\makebox(0.00,0.00)[l]{$c$}}
3333: \put(50.00,60.00){\makebox(0.00,0.00)[l]{$b$}}
3334: \put(10.00,60.00){\makebox(0.00,0.00)[l]{$a$}}
3335: \put(60.00,50.00){\line(0,-1){30.00}}
3336: \put(40.00,0.00){\line(0,1){20.00}}
3337: \put(70.00,0.00){\line(-1,0){30.00}}
3338: \put(70.00,20.00){\line(0,-1){20.00}}
3339: \put(40.00,20.00){\line(1,0){30.00}}
3340: \put(40.00,70.00){\line(0,-1){20.00}}
3341: \put(70.00,70.00){\line(-1,0){30.00}}
3342: \put(70.00,50.00){\line(0,1){20.00}}
3343: \put(40.00,50.00){\line(1,0){30.00}}
3344: \put(50.00,50.00){\line(-1,-1){30.00}}
3345: \put(20.00,50.00){\line(1,-1){30.00}}
3346: \put(0.00,0.00){\line(0,1){20.00}}
3347: \put(30.00,0.00){\line(-1,0){30.00}}
3348: \put(30.00,20.00){\line(0,-1){20.00}}
3349: \put(0.00,20.00){\line(1,0){30.00}}
3350: \put(10.00,40.00){\line(0,-1){20.00}}
3351: \put(10.00,50.00){\line(0,-1){10.00}}
3352: \put(30.00,70.00){\line(-1,0){30.00}}
3353: \put(30.00,50.00){\line(0,1){20.00}}
3354: \put(0.00,50.00){\line(1,0){30.00}}
3355: \put(0.00,70.00){\line(0,-1){20.00}}
3356: \end{picture}}\hskip 2mm.
3357: \]
3358: Similarly, for $\zeroathree x, \zeroathree y \in \sfP(*,3)$ and
3359: $\twoazero z, \twoazero u, \twoazero v \in \sfP(2,*)$,
3360:
3361: \vglue -1.3em
3362: \[
3363: \frac{\zeroathree x \hskip 4mm \zeroathree y}%
3364: {\twoazero z \hskip 1mm \twoazero u \hskip 1mm \twoazero v}
3365: =
3366: (\hskip -2pt \raisebox{-2pt}{\zeroathree x}\hskip -.2em \ot\hskip -.2em
3367: \raisebox{-2pt}{\zeroathree y}\hskip -2pt)
3368: \circ \sigma(3,2) \circ
3369: (\raisebox{-2pt}{\twoazero z}\hskip -.2em
3370: \ot \raisebox{-2pt}{\twoazero u} \hskip -.2em
3371: \ot \raisebox{-2pt}{\twoazero v}\hskip -2pt)
3372: =
3373: {% Picture saved by xtexcad 2.4
3374: \unitlength=.5pt
3375: \begin{picture}(110.00,70.00)(0.00,30.00)
3376: \put(90.00,10.00){\makebox(0.00,0.00)[l]{$v$}}
3377: \put(50.00,10.00){\makebox(0.00,0.00)[l]{$u$}}
3378: \put(10.00,10.00){\makebox(0.00,0.00)[l]{$z$}}
3379: \put(90.00,60.00){\makebox(0.00,0.00){$y$}}
3380: \put(20.00,60.00){\makebox(0.00,0.00){$x$}}
3381: \put(110.00,20.00){\line(-1,0){30.00}}
3382: \put(110.00,0.00){\line(0,1){20.00}}
3383: \put(80.00,0.00){\line(1,0){30.00}}
3384: \put(80.00,20.00){\line(0,-1){20.00}}
3385: \put(40.00,0.00){\line(0,1){20.00}}
3386: \put(70.00,0.00){\line(-1,0){30.00}}
3387: \put(70.00,20.00){\line(0,-1){20.00}}
3388: \put(40.00,20.00){\line(1,0){30.00}}
3389: \put(0.00,0.00){\line(0,1){20.00}}
3390: \put(30.00,0.00){\line(-1,0){30.00}}
3391: \put(30.00,20.00){\line(0,-1){20.00}}
3392: \put(0.00,20.00){\line(1,0){30.00}}
3393: \put(60.00,20.00){\line(1,1){30.00}}
3394: \put(20.00,20.00){\line(2,1){60.00}}
3395: \put(30.00,50.00){\line(2,-1){60.00}}
3396: \put(20.00,50.00){\line(1,-1){30.00}}
3397: \put(100.00,50.00){\line(0,-1){30.00}}
3398: \put(70.00,70.00){\line(0,-1){20.00}}
3399: \put(110.00,70.00){\line(-1,0){40.00}}
3400: \put(110.00,50.00){\line(0,1){20.00}}
3401: \put(70.00,50.00){\line(1,0){40.00}}
3402: \put(0.00,70.00){\line(0,-1){20.00}}
3403: \put(40.00,70.00){\line(-1,0){40.00}}
3404: \put(40.00,50.00){\line(0,1){20.00}}
3405: \put(0.00,50.00){\line(1,0){40.00}}
3406: \put(10.00,50.00){\line(0,-1){30.00}}
3407: \end{picture}}\hskip 2pt.
3408: \]
3409:
3410: To use formula~(\ref{dnes_prijede_ten_American}), we need of course to know the
3411: differential $\psfb$ in the minimal model $\sfM =
3412: (\freePROP(\Xi),\psfb)$ which determines the graphs $G_s$.
3413: In~\cite{markl:ba}, $\psfb$ was described as a perturbation, $\psfb = \pa_0
3414: + \papert$, of its \hPROP{}-part $\pa_0$. Let us therefore give some
3415: formulas for the unperturbed part $\pa_0$ first.
3416:
3417: If we denote $\xi^1_2 = \jednadva$ and $\xi^2_1 = \dvajedna$, then
3418: $\pa_0(\jednadva) = \pa_0(\dvajedna) =0$. If $\xi^2_2 = \dvadva$,
3419: then $ \pa_0(\dvadva) = \dvojiteypsilon$. With the obvious, similar
3420: notation,
3421: \begin{eqnarray*}
3422: \pa_0(\jednatri) &=& \ZbbZb - \bZbbZ,
3423: \\
3424: \label{jedna-ctyri}
3425: \pa_0(\jednactyri) &=& \ZbbZbb - \bZbbZb + \bbZbbZ - \ZbbbZb - \bZbbbZ,
3426: \\
3427: \nonumber
3428: \pa_0(\trijedna) &=& \ZvvZv - \vZvvZ,
3429: \\
3430: \nonumber
3431: \pa_0(\dvatri) &=&
3432: \dvacarkatri - \dvaZbbZb + \dvabZbbZ,
3433: \\
3434: \nonumber
3435: \pa_0(\tridva) &=& -
3436: {% Picture saved by xtexcad 2.4
3437: \unitlength=.2pt
3438: \begin{picture}(40.00,50.00)(0.00,-50.00)
3439: \put(20.00,-30.00){\line(0,1){10.00}}
3440: \put(20.00,0.00){\line(0,-1){20}}
3441: \bezier{20}(20.00,-20.00)(30.00,-10.00)(40.00,0.00)
3442: \bezier{20}(20.00,-20.00)(10.00,-10.00)(0.00,0.00)
3443: \bezier{20}(20.00,-30.00)(30.00,-40.00)(40.00,-50.00)
3444: \bezier{20}(0.00,-50.00)(10.00,-40.00)(20.00,-30.00)
3445: \end{picture}}
3446: + \ZvvZvdva - \vZvvZdva,\ \mbox { \&c.}
3447: \end{eqnarray*}
3448:
3449: And here is the differential $\psfb$ in its full beauty: $\psfb(\jednadva) =
3450: 0$, $\psfb(\dvajedna) = 0$, $\psfb(\jednatri) = \pa_0(\jednatri)$,
3451: $\psfb(\trijedna) = \pa_0(\trijedna)$,
3452: \def\mfrac#1#2{\frac{\raisebox{-.2em}{\hskip .2em#1}}%
3453: {\raisebox{-.1em}{\hskip .2em#2}}}
3454: \begin{eqnarray*}
3455: \psfb(\dvadva) &=& \pa_0(\dvadva)
3456: -
3457: \mfrac{\jednadva \jednadva}{\dvajedna \dvajedna},
3458: \\
3459: \psfb(\dvatri) &=& \pa_0(\dvatri)
3460: +
3461: \mfrac{\jednadva \jednadva}{\dvajedna \dvadva}
3462: -
3463: \mfrac{\jednadva \jednadva}{\dvadva \dvajedna}
3464: -
3465: \mfrac{\bZbbZ \hskip 1em \jednatri}%
3466: {\dvajedna \dvajedna \dvajedna}
3467: -
3468: \mfrac{\hskip -.2em\jednatri \hskip 1em \ZbbZb}{\dvajedna \dvajedna \dvajedna},
3469: \\
3470: \psfb(\gen 32) &=& \pa_0(\tridva)
3471: -
3472: \mfrac{\jednadva \dvadva}{\dvajedna \dvajedna}
3473: +
3474: \mfrac{\dvadva \jednadva}{\dvajedna \dvajedna}
3475: +
3476: \mfrac{\jednadva \jednadva \jednadva}
3477: {\vZvvZ \hskip 1em \trijedna}
3478: +
3479: \mfrac{\jednadva \jednadva \jednadva}
3480: {\hskip -.2em\trijedna \hskip 1em \ZvvZv},\ \mbox { \&c.}
3481: \end{eqnarray*}
3482:
3483:
3484: Let us finally see what formula~(\ref{dnes_prijede_ten_American}) tells us in
3485: some concrete situations. For $f,g \in \CGSbi 21$, the component
3486: $l_2(f,g)^1_3$ is calculated as
3487: \[
3488: l_2(f,g)^1_3 =
3489: (-1)^{|f|} \sum_{u,v} \psfb(\jednatri)^{\{u,v\}} [f,g]
3490: =
3491: (-1)^{|f|} \sum_{u,v}
3492: \left(\ZbbZb - \bZbbZ\right)^{\{u,v\}} [f,g],
3493: \]
3494: where $|f| = 1$. Expanding the right-hand side, we obtain
3495: \[
3496: l_2(f,g)^1_3 = \raisebox{-.4em}{\bZbbZdec fg} +
3497: \raisebox{-.4em}{\bZbbZdec gf} -
3498: \raisebox{-.4em}{\ZbbZbdec fg} -
3499: \raisebox{-.4em}{\ZbbZbdec gf},
3500: \]
3501: which we easily recognize as the ``classical'' Gerstenhaber bracket
3502: $[f,g]$ of bilinear cochains. The component $l_2(f,g)^2_2$ is given
3503: by
3504: \begin{eqnarray*}
3505: l_2(f,g)^2_2 &=&
3506: (-1)^{|f|} \sum_{u,v} \psfb(\dvadva)^{\{u,v\}} [f,g]
3507: =
3508: (-1)^{|f|} \sum_{u,v}
3509: \left(\dvojiteypsilon - \mfrac{\jednadva \hskip .2em
3510: \jednadva}{\dvajedna \hskip .2em \dvajedna} \right)^{\{u,v\}} [f,g]
3511: \\
3512: &=&
3513: -\sum_{u,v}
3514: \dvojiteypsilon^{\{u,v\}} [f,g] +
3515: \sum_{u,v}
3516: \mfrac{\jednadva \hskip .2em
3517: \jednadva}{\dvajedna \hskip .2em \dvajedna}^{\{u,v\}} [f,g].
3518: \end{eqnarray*}
3519: The first term of the last line is zero, while the second one expands to
3520: \[
3521: l_2\left(\raisebox{-.4em}{$\jednadvadec f$},
3522: \raisebox{-.4em}{\jednadvadec g} \right)^2_2 =
3523: \frac{\jednadvadec f \jednadvadec g}
3524: {\rule{0em}{1.8em}\dvajednadec \Delta \dvajednadec \Delta}
3525: +
3526: \frac{\jednadvadec g \jednadvadec f}
3527: {\rule{0em}{1.8em}\dvajednadec \Delta \dvajednadec \Delta} \hskip
3528: .2em.
3529: \]
3530: This provides the first example of a ``non-classical''
3531: bracket. In terms of elements,
3532: \[
3533: l_2(f,g)^2_2 (u,v) = f(u_{(1)} \ot v_{(1)}) \otimes g(u_{(2)} \ot v_{(2)}) +
3534: g(u_{(1)} \ot v_{(1)})\otimes f(u_{(2)} \ot v_{(2)})
3535: \]
3536: for $\ u\otimes v \in \otexp V2$, where the standard Sweedler
3537: notation for the coproduct is used. An example of a triple bracket is
3538: given by
3539: \[
3540: l_3\left(\raisebox{-.4em}{$\jednadvadec f$},
3541: \raisebox{-.4em}{$\jednadvadec g$}, \raisebox{-.4em}{$\dvajednadec
3542: h$}\right)^2_2 = \hskip .2em
3543: \frac{\jednadvadec f \jednadvadec g}
3544: {\rule{0em}{1.8em}\dvajednadec h \dvajednadec \Delta}
3545: + \frac{\jednadvadec g \jednadvadec f}
3546: {\rule{0em}{1.8em}\dvajednadec h \dvajednadec \Delta}
3547: +\frac{\jednadvadec f \jednadvadec g}
3548: {\rule{0em}{1.8em}\dvajednadec \Delta \dvajednadec h}
3549: +\frac{\jednadvadec g \jednadvadec f}
3550: {\rule{0em}{1.8em}\dvajednadec \Delta \dvajednadec h} \hskip .2em.
3551: \]
3552: Slightly more complicated is:
3553: \[
3554: l_3\left(\raisebox{-.4em}{\jednadvadec f},
3555: \raisebox{-.4em}{\jednadvadec g},
3556: \raisebox{-.4em}{\jednatridec h}\right)^2_3 =
3557: \hskip .3em \frac{\bZbbZdec fg \hskip 1em \jednatridec h}
3558: {\rule{0em}{1.8em}\dvajednadec \Delta \dvajednadec \Delta \dvajednadec
3559: \Delta}
3560: +\frac{\bZbbZdec gf \hskip 1em \jednatridec h}
3561: {\rule{0em}{1.8em}\dvajednadec \Delta \dvajednadec \Delta \dvajednadec
3562: \Delta}
3563: +\frac{\jednatridec h \hskip 1em \ZbbZbdec fg}
3564: {\rule{0em}{1.8em}\dvajednadec \Delta \dvajednadec \Delta \dvajednadec
3565: \Delta}
3566: +\frac{\jednatridec h \hskip 1em \ZbbZbdec gf}
3567: {\rule{0em}{1.8em}\dvajednadec \Delta \dvajednadec \Delta \dvajednadec
3568: \Delta}
3569: \hskip .5em .
3570: \]
3571:
3572: We believe that the reader already understands the ideas behind our
3573: definitions and that he or she can easily construct other
3574: examples of brackets using explicit formulas for the differential
3575: $\psfb$~\cite[Eqn.~3.1]{umble-saneblidze:KK}.
3576:
3577: Notice that the bottom row $(C^{*,1}_\GS(B,B),d_1)$ of the bicomplex
3578: in Figure~\ref{fig1} is the Hochschild complex of the algebra $B =
3579: (V,\mu)$ with coefficients in itself. For arbitrary $f_1,f_2 \in
3580: C^{*,1}_\GS(B,B)$, the component $l_2(f_1,f_2)^1_*$ of $l_2(f_1,f_2)$
3581: coincides with the classical Gerstenhaber bracket of the Hochschild
3582: cochains~\cite{gerstenhaber:AM63} while the components $l_n(\Rada
3583: f1n)^1_*$, $n \geq 3$, of the higher brackets are trivial. In this sense
3584: our construction extends the classical Gerstenhaber bracket of
3585: Hochschild cochains.
3586:
3587:
3588:
3589:
3590: \begin{example}
3591: {\rm
3592: Let $V_{\mbox{\o}} := (V,\mu =0,\Delta = 0)$ be a
3593: vector space $V$ considered as
3594: a bialgebra with trivial product and coproduct. Let $m \in
3595: C^{2,1}_\GS(V_{\mbox{\o}},V_{\mbox{\o}}) = \Lin(\otexp V2,V)$, $c \in
3596: C^{1,2}_\GS(V_{\mbox{\o}},V_{\mbox{\o}}) = \Lin(V,\otexp V2)$ and $\kappa := m+c$. Finally,
3597: let $(h_1,h_2,h_3,\ldots)$ be the $L_\infty$-structure on the
3598: Gerstenhaber-Schack complex $C^*_\GS(V_{\mbox{\o}},V_{\mbox{\o}})$ constructed
3599: above. Clearly $k_1=0$. Let us verify directly that, as predicted
3600: by Proposition~\ref{pisu_v_aute_ve_Dvore},
3601: the element $\kappa = m + c \in \Lin(\otexp V2,V) \oplus \Lin(V,\otexp
3602: V2)$ satisfies the master equation~(\ref{44}) if and only if
3603: $(V,m,c)$ forms a bialgebra.
3604:
3605: From degree reasons, the only possibly nontrivial
3606: components of $h_n(\kappa,\ldots,\kappa)$ are
3607: \[
3608: h_n(\kappa,\ldots,\kappa)^1_3,
3609: h_n(\kappa,\ldots,\kappa)^2_2\ \mbox { and }\
3610: h_n(\kappa,\ldots,\kappa)^3_1.
3611: \]
3612: These values are determined by $\psfb(\jednatri)$, $\psfb(\dvadva)$ and
3613: $\psfb(\trijedna)$. Looking at these values we see that
3614: $h_n(\kappa,\ldots,\kappa) \not= 0$ only for $n=2$ or $n=4$.
3615: The components of $h_2(\kappa,\kappa)$ are
3616: \[
3617: h_2(\kappa,\kappa)^1_3 = 2 \left(\hskip -.3em
3618: \raisebox{-.4em}{\bZbbZdec mm} -
3619: \raisebox{-.4em}{\ZbbZbdec mm} \hskip .2em
3620: \right)\hskip -.2em ,\
3621: h_2(\kappa,\kappa)^1_3 = 2 \left(\hskip -.3em
3622: \raisebox{-.4em}{\bVbbVdec mm} -
3623: \raisebox{-.4em}{\VbbVbdec mm} \hskip .2em
3624: \right)\hskip -.2em ,\
3625: h_2(\kappa,\kappa)^2_2 = 2 \raisebox{-.4em}{\dvojiteypsilondec cm}
3626: \hskip -.2em .
3627: \]
3628: The components of $h_4(\kappa,\kappa,\kappa,\kappa)$ are
3629: \[
3630: h_4(\kappa,\kappa,\kappa,\kappa)^1_3 =
3631: h_4(\kappa,\kappa,\kappa,\kappa)^3_1 = 0\
3632: \mbox { and }\
3633: h_4(\kappa,\kappa,\kappa,\kappa)^2_2 = 24 \hskip .3em
3634: \frac{\jednadvadec m \jednadvadec m}
3635: {\rule{0em}{1.8em}\dvajednadec c \dvajednadec c} \hskip .2em.
3636: \]
3637: The above calculations make the claim obvious.
3638: }
3639: \end{example}
3640:
3641:
3642:
3643: \section*{Appendix~A: Symmetric brace algebras}
3644: \label{apA}
3645:
3646: The material of this appendix is taken almost word-by-word
3647: from~\cite{lm:sb}.
3648:
3649: \begin{definition}
3650: A symmetric brace algebra is a graded vector space $W$ together with a
3651: collection of degree $0$ multilinear braces $x\langle
3652: x_1,\ldots,x_n\rangle$ that are graded symmetric in $x_1,\ldots,x_n$
3653: and satisfy the identities $ x\langle \hskip .5em \rangle=x$ and
3654: \begin{eqnarray}
3655: \label{axiom}
3656: \lefteqn{\hskip -1em
3657: x\langle x_1,\ldots,x_m\rangle\langle y_1,\ldots,y_n\rangle=}
3658: \\
3659: \nonumber
3660: &&
3661: \sum
3662: \epsilon \cdot x\langle x_1\langle y_{i_1^1},\sqldots,
3663: y_{i_{t_1}^1}\rangle,
3664: x_2\langle y_{i_1^2},\sqldots,y_{i_{t_2}^2}\rangle,\sqldots,
3665: x_m\langle y_{i_1^m},\sqldots,y_{i_{t_m}^m}\rangle,y_{i_1^{m+1}},\sqldots,
3666: y_{i_{t_{m+1}}^{m+1}}\rangle
3667: \end{eqnarray}
3668: where the sum is taken over all unshuffle decompositions
3669: $$
3670: i_1^1<\cdots<i_{t_1}^1,\ldots,i_1^{m+1}<\cdots<i_{t_{m+1}}^{m+1}
3671: $$
3672: of $\{1,\ldots,n\}$ and where $\epsilon$ is the Koszul sign of the
3673: permutation
3674: \begin{eqnarray*}
3675: \lefteqn{
3676: (x_1,\ldots,x_m, y_1,\ldots,y_n) \longmapsto \hskip 3em}
3677: \\
3678: && \hskip 3em
3679: (x_1, y_{i_1^1},\ldots, y_{i_{t_1}^1},
3680: x_2,y_{i_1^2},\ldots,y_{i_{t_2}^2},\ldots,
3681: x_m,
3682: y_{i_1^m},\ldots,y_{i_{t_m}^m},y_{i_1^{m+1}},\ldots,
3683: y_{i_{t_{m+1}}^{m+1}})
3684: \end{eqnarray*}
3685: of elements of $W$.
3686: \end{definition}
3687:
3688: For elements $x,y$ of an arbitrary symmetric brace algebra $W$, put $x
3689: \di y := x \angles y$. One easily proves that then $(W,\di)$ is a
3690: graded pre-Lie algebra in the sense
3691: of~\cite[Section~2]{gerstenhaber:AM63}.
3692:
3693: Vice versa, higher brackets $x\langle \Rada x1n
3694: \rangle$ of an arbitrary symmetric brace algebra are,
3695: for $n \geq 2$, determined by their `pre-Lie part' $x \di y = x\langle
3696: y \rangle$. For
3697: instance, axiom~(\ref{axiom})
3698: implies that $x \langle x_1,x_2 \rangle$ can be expressed as
3699: \[
3700: x \langle x_1,x_2 \rangle = x \sb {x_1} \sb {x_2} -
3701: x\sb {x_1 \sb {x_2}} = (x \di x_1) \di x_2 - x \di (x_1
3702: \di x_2).
3703: \]
3704: The same axiom applied on $x\sb{\Rada x1{n-1}}\sb{x_n}$ can then be
3705: clearly
3706: interpreted as an inductive rule defining $x\sb{ \Rada x1n}$
3707: in terms of $x\langle \Rada x1k \rangle$, with $k < n$.
3708:
3709: As proved in~\cite{guin-oudom}, {\em an arbitrary\/} pre-Lie algebra
3710: determines in this way a {\em unique\/}
3711: symmetric brace algebra. Let us emphasize that
3712: this statement is not obvious. First,
3713: axiom~(\ref{axiom}) interpreted as an
3714: inductive rule is `overdetermined.' For example, $x\sb {x_1,x_2,x_3}$
3715: can be expressed both from~(\ref{axiom})
3716: applied to $x \sb {x_1,x_2}\sb {x_3}$ and also
3717: from~(\ref{axiom}) applied to $x \sb {x_1}
3718: \sb {x_2,x_3}$, and it is not obvious whether the results would be the
3719: same. Second, even if the braces are well-defined, it is not clear
3720: whether they satisfy the axioms of brace algebras, including the
3721: graded symmetry.
3722:
3723: \section*{Appendix B:
3724: Proof of formula~(\protect\ref{Merkulov_je_rusky_hovado})}
3725: \label{apB}
3726:
3727: In this appendix we indicate how to prove that the Gerstenhaber-Schack
3728: differential is the same as the differential given by
3729: formula~(\ref{je_to_takova_glegla}) that involves the minimal model
3730: $\sfM$ of the bialgebra \PROP\ $\sfB$. This can in principle also be
3731: achieved by
3732: analyzing the explicit minimal model described
3733: in~\cite{umble-saneblidze:KK}, but we sketch out a procedure that
3734: requires much less information. We will
3735: explain it for the case of bialgebras, but it will be clear how to
3736: generalize it to algebras over an arbitrary \PROP.
3737:
3738: Let us start by rewriting~(\ref{je_to_takova_glegla}) in a way that
3739: will make it clear which part of the minimal model it really needs.
3740: As we already remarked, we know that the minimal model of the
3741: bialgebra \PROP\ $\sfM$ is of the form
3742: $(\freePROP(\{\xi^m_n\}),\psfb)$,
3743: where $\xi^m_n$ are, for $(m,n) \in I$ defined in~(\ref{SM_je_hovado}),
3744: generators of biarity $(m,n)$ and degree $m+n -3$.
3745:
3746: Consider the free \PROP\
3747: \[
3748: \sfDM :=
3749: \freePROP(\{\xi^m_n\},\{\eta^m_n\},\varphi),\ (m,n) \in I,
3750: \]
3751: where $\xi^m_n$ are the generators of the \PROP\ $\sfM$, $\varphi$ is
3752: a generator of biarity $(1,1)$ placed in degree~$0$, and $\eta^m_n :=
3753: \ \susp \xi^m_n$ are, for $(m,n) \in I$, the `suspended' generators of $\sfM$,
3754: i.e.~$\eta^m_n$ is of biarity $(m,n)$ and of degree $m+n -2$.
3755: Introduce finally the degree $+1$ derivation $\dd : \sfDM \to \sfDM$ by
3756: \[
3757: \dd (\xi^m_n) := \eta^m_n,\ \dd (\eta^m_n):= 0,\ \mbox { for }
3758: (m,n) \in I,\ \mbox { and } \dd(\varphi) := 0.
3759: \]
3760: We use $\dd$ to equip $\sfDM$ with the differential $\pa_D$
3761: given by
3762: \begin{eqnarray}
3763: \nonumber
3764: \pa_D(\xi^m_n) & := & \psfb(\xi^m_n),\ \mbox { for $(m,n) \in I$, ($\psfb$
3765: is the differential in $\sfM$)}
3766: \\
3767: \nonumber
3768: \pa_D(\varphi) &:=& 0, \mbox { and}
3769: \\
3770: \label{hajzl_ruskej}
3771: \pa_D(\eta^m_n)& :=& \varphi^{[m]} \circ \xi^m_n - \xi^m_n \circ \varphi^{[n]}
3772: - \dd(\psfb(\xi^m_n)),\ \mbox { for $(m,n) \in I$.}
3773: \end{eqnarray}
3774: where
3775: \begin{equation}
3776: \label{svine_ruska}
3777: \varphi^{[k]} := \sum_{0 \leq j \leq k-1} (\id^{\ot j} \ot \varphi \ot
3778: \id^{\ot (k-j-1)}),\ k \geq 1,
3779: \end{equation}
3780: with $\id \in \sfDM(1,1)$ the unit and $\circ$ denoting the horizontal
3781: composition.
3782: To prove that $\pa_D^2 = 0$, one needs to observe that
3783: \begin{equation}
3784: \label{hovado_rusky}
3785: \pa_D(\dd (x)) := \varphi^{[m]} \circ x - x \circ \varphi^{[n]}
3786: - \dd(\psfb(x))
3787: \end{equation}
3788: for each $x \in \sfM \subset \sfDM$; notice
3789: that~(\ref{hajzl_ruskej}) is~(\ref{hovado_rusky}) with $x = \xi^m_n$. Then
3790: \begin{eqnarray*}
3791: \pa_D^2(\eta^m_n)& =&
3792: \pa_D\left(\varphi^{[m]} \circ \xi^m_n - \xi^m_n \circ \varphi^{[n]}
3793: - \dd(\psfb(\xi^m_n))\right)
3794: \\
3795: &=&\varphi^{[m]} \circ \psfb(\xi^m_n) - \psfb(\xi^m_n) \circ \varphi^{[n]}
3796: - \psfb(\dd(\psfb(\xi^m_n))) = 0,
3797: \end{eqnarray*}
3798: where the vanishing in the second line follows
3799: from~(\ref{hovado_rusky}) applied to $x = \psfb(\xi^m_n)$. The vanishing
3800: $\pa_D^2(\xi^m_n) =\pa_D^2(\varphi) = 0$ is obvious.
3801:
3802: Representing $\psfb(\xi^m_n)$ as in~(\ref{je_to_takova_glegla}),
3803: the rightmost term $\dd(\psfb(\xi^m_n))$ in~(\ref{hajzl_ruskej}) can be
3804: written as
3805: \begin{equation}
3806: \label{hajzl}
3807: \dd(\psfb(\xi^m_n)) :=
3808: \sum_{s \in S^m_n} \sum_{v \in \Vert(G_s)} \epsilon^s \cdot \dd{G^v_s},
3809: \end{equation}
3810: with $\dd{G^v_s}$ the decorated graph obtained from $G_s$ by
3811: replacing the vertex $v$ of biarity, say, $(p,q)$ (which is by definition
3812: decorated by $\xi^{p}_{q}$) by the vertex of the same biarity decorated
3813: by~$\eta^{p}_{q}$. Loosely speaking, $\dd{G^v_s}$ is obtained by
3814: raising the degree of $v$ by one.
3815:
3816: Let $\rho : \sfM \to \sfB$ be the minimal model map and
3817: $\hat\rho_D$ the composition
3818: \[
3819: \hat\rho_D : \sfDM \cong \freePROP(\{\xi^m_n\})
3820: \copr \freePROP(\{\eta^m_n\},\varphi) \stackrel{\rho \copr
3821: \iden}{\longrightarrow}
3822: \sfB \copr \freePROP(\{\eta^m_n\},\varphi).
3823: \]
3824: We equip $\sfB \copr \freePROP(\{\eta^m_n\},\varphi)$
3825: with the differential $\bpd$ given by the formulas
3826: \[
3827: \bpd|_\sfB = 0,\ \bpd(\varphi) := 0 \mbox { and }
3828: \bpd(\eta^m_n) := \hat\rho (\pa_D(\eta^m_n)),\ \mbox{ for } (m,n) \in I.
3829: \]
3830:
3831:
3832: Consider the
3833: $\sfB$-submodule $\sfB\langle \{\eta^m_n\},\varphi \rangle$ of the
3834: coproduct
3835: $\sfB \copr \freePROP(\{\eta^m_n\},\varphi)$ generated by
3836: $\{\eta^m_n\}_{(m,n) \in I}$ and
3837: $\varphi$. It is spanned by monomials in $\sfB \copr
3838: \freePROP(\{\eta^m_n\},\varphi)$ containing precisely one $\eta^m_n$
3839: or $\varphi$. It is clear that $\sfB\langle
3840: \{\eta^m_n\},\varphi \rangle$ is $\bpd$-stable and that it in fact represents
3841: the free $\sfB$-module generated by $\{\eta^m_n\}_{(m,n) \in I}$ and
3842: $\varphi$.
3843:
3844: On the other hand, for arbitrary $(p,q)$, the \PROP{ic} structure of
3845: $\End_V$ determines an $\End_V$-module action on the suspension
3846: $\uparrow^{p+q-1} \End_V$. Given a bialgebra $B =
3847: (V,\mu,\Delta)$, the corresponding map $\alpha : \sfB \to \End_V$
3848: composed with this action determines
3849: a $\sfB$-module structure on $\uparrow^{p+q-1} \End_V$.
3850:
3851: By the freeness of $\sfB\langle \{\eta^m_n\},\varphi \rangle$,
3852: each $f \in \CGSbi pq = \Lin(\otexp Vp,\otexp Vp)$ specifies the
3853: $\sfB$-module map
3854: \[
3855: \omega_f :
3856: \sfB\langle \{\eta^m_n\},\varphi \rangle \to\ \uparrow^{p+q-1} \hskip
3857: -.3em\End_V
3858: \]
3859: that satisfies
3860: \[
3861: \omega_f(\phi) := 0,\
3862: \omega_f(\eta^p_q) := f\ \mbox { and }
3863: \omega_f(\eta^m_n)\ :=\ 0\ \mbox{ for } (m,n)
3864: \not= (p,q).
3865: \]
3866: Using~(\ref{hajzl}), one can rewrite~(\ref{psano_v_Koline}) as
3867: \begin{equation}
3868: \label{67}
3869: (\delta_\sfB f)^m_n = \omega_f(\bpd(\eta^m_n)),\ (m,n) \in I.
3870: \end{equation}
3871: This equality has an important consequence which we formulate as
3872:
3873: \begin{proposition}
3874: The Gerstenhaber-Schack differential is
3875: determined by the dg-\PROP\
3876: \[
3877: \overline{\sfDM} := (\sfB \copr \freePROP(\{\eta^m_n\},\varphi), \bpd).
3878: \]
3879: \end{proposition}
3880:
3881: In the rest of this appendix we show that the dg-\PROP\
3882: $\overline{\sfDM}$ can be
3883: described without the knowledge of the minimal model $\sfM$ of the
3884: bialgebra \PROP\ $\sfB$.
3885: We say that a degree~$0$ map
3886: $\vartheta : V \to V$ is a {\em derivation\/} of a bialgebra
3887: $B = (V,\mu,\Delta)$ if
3888: \[
3889: \vartheta \circ \mu =
3890: \mu (\vartheta \ot \iden_V + \iden_V \ot \vartheta)\ \mbox { and }\
3891: \Delta \circ \vartheta = (\vartheta \ot \iden_V + \iden_V \ot \vartheta).
3892: \]
3893: Let $\sfDB$ be the \PROP\ describing structures consisting of a
3894: bialgebra $B$ and a derivation $\vartheta$ of~$B$. Consider
3895: the homomorphism
3896: \[
3897: \brd : (\sfB \copr \freePROP(\{\eta^m_n\},\varphi),\bpd) \to (\sfDB,0)
3898: \]
3899: such that $\brd|_\sfB$ coincides with the canonical
3900: inclusion $\sfB \hookrightarrow \sfDB$, $\brd(\eta^m_n) = 0$ for
3901: $(m,n) \in I$ and $\brd(\phi) \in \sfDB(1,1)$ is the generator for the
3902: derivation. Let us check that $\brd$ defined in this way is a dg-map.
3903:
3904: The equation $\brd(\bpd (\varphi))= 0$ is clear.
3905: The vanishing of \hbox{$\brd(\bpd (\eta^m_n))$} for $m+n > 3$ follows from
3906: degree reasons. It remains to show that \hbox{$\brd(\bpd (\eta^1_2))=
3907: \brd(\bpd (\eta^2_1)) = 0$}.
3908: By~(\ref{hajzl_ruskej}),
3909: \[
3910: \brd(\bpd (\eta^1_2)) = \brd(\hat \rho_D (\pa_D(\eta^1_2))) =
3911: \brd(\hat \rho_D (\phi \circ \xi^1_2 - \xi^1_2 \circ \phi^{[2]}))=
3912: \vartheta \circ \mu - \mu \circ (\vartheta \ot \id + \id \ot \vartheta),
3913: \]
3914: where we denoted by the same symbols operations on $V$ and
3915: the corresponding generators in~$\sfDB$; we are sure this will not
3916: lead to a confusion here.
3917: We conclude that $\brd(\bpd (\eta^1_2))$ vanishes because $\vartheta$ is a
3918: $\mu$-derivation. The vanishing of $\brd(\bpd (\eta^2_1))$
3919: can be proved in the same manner. The central
3920: statement of this section is:
3921:
3922:
3923: \begin{proposition}
3924: \label{zitra_na_ZS_a_neni_snih}
3925: The map $\brd : (\overline{\sfDM},\bpd) \to (\sfDB,0)$ is a homology
3926: isomorphism.
3927: \end{proposition}
3928:
3929:
3930: The above proposition says that $(\overline{\sfDM},\bpd)$ is
3931: {\em a $\sfB$-free minimal model\/} of the \PROP\
3932: $\sfDB$. By the $\sfB$-freeness we mean that $\overline{\sfDM}$ is
3933: obtained by adding free generators to $\sfB$. Minimality means that
3934: the image of the differential $\bpd$ consists of decomposable elements
3935: of the augmented \PROP\ $\overline{\sfDM}$ --
3936: see~\cite[page~344]{markl:ba} for a definition of indecomposables in
3937: augmented \PROP{s}.
3938:
3939: Assuming uniqueness of minimal models, {\em any\/}
3940: $\sfB$-free minimal model of $\sfDB$ will
3941: be isomorphic to $\overline{\sfDM}$.
3942: One candidate for such a model can be constructed by expanding formulas for
3943: the Gerstenhaber-Schack differential into diagrams; denote the
3944: \sfB-free
3945: dg-\PROP\ obtained in this way
3946: by $(\overline{\sfGS},\pa_{{\sf GS}})$.
3947: Methods developed in~\cite{mv} then can be used
3948: to prove that the canonical map $(\overline{\sfGS},\pa_{{\sf GS}})
3949: \to (\sfDB,0)$ is a
3950: homology isomorphism. An analog of~(\ref{67}) for
3951: $(\overline{\sfGS},\pa_{{\sf GS}})$
3952: then identifies $\delta_\sfB$ with the Gerstenhaber-Schack differential.
3953:
3954:
3955: \begin{proof}[Proof of Proposition~\ref{zitra_na_ZS_a_neni_snih}]
3956: Let $\rho_D : \sfDM \to \sfDB$ be the composition $\overline{\rho}_D
3957: \circ \hat{\rho}_D$. The proposition is a combination of the
3958: following two statements:
3959:
3960: (i) The map $\rho_D : \sfDM \to \sfDB$ is a homology isomorphism,
3961: i.e.~$\sfDM$ is a minimal model of~$\sfDB$.
3962:
3963: (ii) The map $\hat \rho_D : \sfDM \to \overline{\sfDM}$
3964: is a homology isomorphism, too.
3965:
3966: Let us prove~(i) first. Consider the grading $\gr$ of $\sfDM$ defined by
3967: \[
3968: \gr(\phi) := 1\ \mbox { and }\ \gr(\xi^m_n) = \gr(\eta^m_n) :=
3969: 0\ \mbox { for }\ (m,n) \in I,
3970: \]
3971: and decompose $\pa_D$ as $\pa_D = \pa_1 + \pa_2$, where $\pa_1$ raises
3972: the grading by one and $\pa_2$ preserves it. One can easily check that
3973: $\pa_1^2 = \pa_2^2 = 0$ and that $\pa_1\pa_2 + \pa_2\pa_1 = 0$,
3974: therefore $(\sfDM,\pa_1+\pa_2)$ is a bicomplex. It is not difficult to
3975: prove that
3976: \begin{equation}
3977: \label{45}
3978: H_*(\sfDM,\pa_1) \cong \freePROP(\{\xi^m_n\},\varphi)/{\sf I},
3979: \end{equation}
3980: with the \PROP{ic} ideal ${\sf I}$ generated by the relations
3981: \[
3982: \varphi^{[m]}\circ \xi^m_n \circ \varphi^{[n]} = 0,\ (m,n) \in I,
3983: \]
3984: which say that $\varphi$ is a derivation with respect to all $\xi^m_n$,
3985: see~(\ref{svine_ruska}) for the notation. It follows from~(\ref{45})
3986: that the $E^1$-term of the spectral sequence associated to this
3987: bicomplex equals
3988: \[
3989: (E^1,d^1) \cong (\freePROP(\{\xi^m_n\},\varphi)/{\sf I},\pa),
3990: \]
3991: where $\pa$ coincides with the minimal model differential $\pa_\sfB$ on the
3992: $\xi$-generators and $\pa(\varphi) = 0$. We conclude that
3993: $H_*(E^1,d^1) \cong \sfDB$, so the associated spectral sequence
3994: degenerates at the $E^2$-level from degree reasons and
3995: $H_*(\sfDM,\pa_D) \cong \sfDB$. One can easily see that the latter
3996: isomorphism is induced by $\rho_D$. This proves~(i).
3997:
3998:
3999: To prove~(ii), one introduces the grading $\gr'$ of $\sfDM$ by formulas
4000: \[
4001: \gr'(\xi^m_n) := 0,\ \gr'(\phi) := 2\ \mbox { and }\ \gr'(\eta^m_n) :=
4002: m+n\ \mbox { for }\ (m,n) \in I.
4003: \]
4004: and a similar grading $\gr''$ of $\overline{\sfDM}$ by
4005: \[
4006: \gr''(b) := 0\ \mbox { for }\ b \in \sfB,\
4007: \gr''(\phi) := 2\ \mbox { and }\ \gr''(\eta^m_n) :=
4008: m+n\ \mbox { for }\ (m,n) \in I.
4009: \]
4010: Since $\hat \rho_D$ preserves these gradings, it
4011: preserves also the filtrations
4012: \[
4013: F'_p := \{x \in \sfDM;\ \gr'(x) \leq p\}\ \mbox { and }\
4014: F''_p := \{x \in \overline{\sfDM};\ \gr''(x) \leq p\}
4015: \]
4016: and induces the map $\{E_p(\hat \rho_D) : (E'_p,d'_p) \to (E''_p,d''_p)\}$
4017: of the induced spectral sequences. Clearly
4018: \[
4019: (E'_0,d'_0) \cong (\freePROP(\{\xi^m_n\},\{\eta^m_n\},\varphi),\pa),
4020: \]
4021: where $\pa$ coincides with the differential $\pa_\sfB$ of the minimal model
4022: $\sfM$ of $\sfB$
4023: on the $\xi$-generators and is trivial on the remaining ones,
4024: so $H_*(E'_0,d'_0) \cong \sfB \copr
4025: \freePROP(\{\eta^m_n\},\varphi)$. On the other hand, clearly $d''_0
4026: = 0$, therefore $H_*(E''_0,d''_0) \cong \sfB \copr
4027: \freePROP(\{\eta^m_n\},\varphi)$, too. In fact, it is not hard to
4028: see that
4029: \[
4030: E_1(\hat \rho_D) : (E'_1,d'_1) \to (E''_1,d''_1)
4031: \]
4032: is an isomorphism of complexes. A
4033: standard spectral sequence argument then finishes our proof of~(ii).
4034: \end{proof}
4035:
4036:
4037:
4038: %\bibliography{br}
4039:
4040:
4041: \begin{thebibliography}{10}
4042:
4043: \bibitem{aguiar:04}
4044: M.~Aguiar.
4045: \newblock Infinitesimal bialgebras, pre-{Lie} and dendriform algebras.
4046: \newblock In J.~Bergen, editor, {\em Hopf algebras, Proceedings from the
4047: international conference, DePaul University, Chicago, IL, USA}, volume 237 of
4048: {\em Lect. Notes Pure Appl. Math.}, pages 1--33. Marcel Dekker, 2004.
4049:
4050: \bibitem{berger-moerdijk:02}
4051: C.~Berger and I.~Moerdijk.
4052: \newblock Axiomatic homotopy theory for operads.
4053: \newblock {\em Comment. Math. Helv.}, 78(4):805--831, 2003.
4054:
4055: \bibitem{fontanine-kapranov}
4056: I.~{Ciocan}-{Fontanine} and M.M. Kapranov.
4057: \newblock Derived {Quot} schemes.
4058: \newblock {\em Ann. Sci. Ecole Norm. Sup.}, 34(3):403--440, May-June 2001.
4059:
4060: \bibitem{fontanine-kapranov:JAMS}
4061: I.~{Ciocan}-{Fontanine} and M.M. Kapranov.
4062: \newblock Derived {Hilbert} schemes.
4063: \newblock {\em J. Amer. Math. Soc.}, 15(4):787--815, June 2002.
4064:
4065: \bibitem{gan}
4066: W.L. Gan.
4067: \newblock Koszul duality for dioperads.
4068: \newblock {\em Math. Res. Lett.}, 10(1):109--124, 2003.
4069:
4070: \bibitem{gerstenhaber:AM63}
4071: M.~Gerstenhaber.
4072: \newblock The cohomology structure of an associative ring.
4073: \newblock {\em Ann. of Math.}, 78(2):267--288, 1963.
4074:
4075: \bibitem{gerstenhaber-schack:Proc.Nat.Acad.Sci.USA90}
4076: M.~Gerstenhaber and S.D. Schack.
4077: \newblock Bialgebra cohomology, deformations, and quantum groups.
4078: \newblock {\em Proc. Nat. Acad. Sci. USA}, 87:478--481, 1990.
4079:
4080: \bibitem{getzler:AM:09}
4081: E.~Getzler.
4082: \newblock Lie theory for nilpotent {$L_\infty$} algebras.
4083: \newblock {\em Ann. of Math.}, 170(1):271--301, 2009.
4084:
4085: \bibitem{ginzburg-kapranov:DMJ94}
4086: V.~Ginzburg and M.M. Kapranov.
4087: \newblock Koszul duality for operads.
4088: \newblock {\em Duke Math. J.}, 76(1):203--272, 1994.
4089:
4090: \bibitem{guin-oudom}
4091: D.~Guin and J.-M. Oudom.
4092: \newblock Sur l'alg\'ebre enveloppante d'une alg\'ebre pr\'e-{Lie}.
4093: \newblock {\em C. R. Acad. Sci. Paris S{\'e}r. I Math.}, 340(5):331--336, 2005.
4094:
4095: \bibitem{hinich:IMRN97}
4096: V.~Hinich.
4097: \newblock Descent of {Deligne} groupoids.
4098: \newblock {\em Internat. Math. Res. Notices}, 5:225--239, 1997.
4099:
4100: \bibitem{lada-markl:CommAlg95}
4101: T.~Lada and M.~Markl.
4102: \newblock Strongly homotopy {Lie} algebras.
4103: \newblock {\em Comm. Algebra}, 23(6):2147--2161, 1995.
4104:
4105: \bibitem{lm:sb}
4106: T.~Lada and M.~Markl.
4107: \newblock Symmetric brace algebras.
4108: \newblock {\em Applied Categorical Structures}, 13(4):351--370, 2005.
4109:
4110: \bibitem{lada-stasheff:IJTP93}
4111: T.~Lada and J.D. Stasheff.
4112: \newblock Introduction to sh {L}ie algebras for physicists.
4113: \newblock {\em Internat. J. Theoret. Phys.}, 32(7):1087--1103, 1993.
4114:
4115: \bibitem{markl:JPAA92}
4116: M.~Markl.
4117: \newblock A cohomology theory for {$A(m)$-algebras} and applications.
4118: \newblock {\em J. Pure Appl. Algebra}, 83:141--175, 1992.
4119:
4120: \bibitem{markl:JPAA96}
4121: M.~Markl.
4122: \newblock Cotangent cohomology of a category and deformations.
4123: \newblock {\em J. Pure Appl. Algebra}, 113(2):195--218, 1996.
4124:
4125: \bibitem{markl:zebrulka}
4126: M.~Markl.
4127: \newblock Models for operads.
4128: \newblock {\em Comm. Algebra}, 24(4):1471--1500, 1996.
4129:
4130: \bibitem{markl:ba}
4131: M.~Markl.
4132: \newblock A resolution (minimal model) of the {PROP} for bialgebras.
4133: \newblock {\em J. Pure Appl. Algebra}, 205(2):341--374, 2006.
4134:
4135: \bibitem{markl:handbook}
4136: M.~Markl.
4137: \newblock {\em Handbook of Algebra}, volume~5, chapter Operads and {PROP}s,
4138: pages 87--140.
4139: \newblock Elsevier, 2008.
4140:
4141: \bibitem{markl-shnider-stasheff:book}
4142: M.~Markl, S.~Shnider, and J.~D. Stasheff.
4143: \newblock {\em Operads in Algebra, Topology and Physics}, volume~96 of {\em
4144: Mathematical Surveys and Monographs}.
4145: \newblock American Mathematical Society, Providence, Rhode Island, 2002.
4146:
4147: \bibitem{mv}
4148: M.~Markl and A.A. Voronov.
4149: \newblock {PROPped} up graph cohomology.
4150: \newblock Preprint {\tt math.QA/0307081}, July 2003.
4151:
4152: \bibitem{merkulov-vallette}
4153: S.~Merkulov and B.~Vallette.
4154: \newblock Deformation theory of representations of prop(erad)s.
4155: \newblock Preprint {\tt arXiv:0707.0889}, July 2007.
4156:
4157: \bibitem{merkulov}
4158: S.~A. Merkulov.
4159: \newblock An {$L\sb \infty$}-algebra of an unobstructed deformation functor.
4160: \newblock {\em Internat. Math. Res. Notices}, 3:147--164, 2000.
4161:
4162: \bibitem{umble-saneblidze:KK}
4163: S.~Saneblidze and R.~Umble.
4164: \newblock Matrons, {$A_\infty$}-bialgebras and the polytopes {\it kk}.
4165: \newblock Version~4 of preprint {\tt math.AT/0508017}, August 2005.
4166:
4167: \bibitem{schlessinger-stasheff:JPAA85}
4168: M.~Schlessinger and J.D. Stasheff.
4169: \newblock The {Lie} algebra structure of tangent cohomology and deformation
4170: theory.
4171: \newblock {\em J. Pure Appl. Algebra}, 38:313--322, 1985.
4172:
4173: \bibitem{stasheff:TAMS63}
4174: J.D. Stasheff.
4175: \newblock Homotopy associativity of {H-spaces} {I,II}.
4176: \newblock {\em Trans. Amer. Math. Soc.}, 108:275--312, 1963.
4177:
4178: \bibitem{vallette:thesis}
4179: B.~Vallette.
4180: \newblock {\em Dualit{\' e} de {Koszul} des {PROP}s}.
4181: \newblock PhD thesis, Universit{\'e} Louis Pasteur, 2003.
4182:
4183: \bibitem{laan-defo}
4184: P.~van~der Laan.
4185: \newblock Operads up to homotopy and deformations of operad maps.
4186: \newblock Preprint {\tt math.QA/0208041}, August 2002.
4187:
4188: \end{thebibliography}
4189:
4190:
4191:
4192: \end{document}
4193:
4194: %%% Local Variables:
4195: %%% TeX-master: "~/tex/latex/br.tex"
4196: %%% End:
4197: