text/deligne.tex
changeset 628 4cce595ae1d3
parent 576 7b4a57110e83
child 742 9971e04ac930
equal deleted inserted replaced
627:b0ed73b141d8 628:4cce595ae1d3
    10 
    10 
    11 %from http://www.ams.org/mathscinet-getitem?mr=1805894
    11 %from http://www.ams.org/mathscinet-getitem?mr=1805894
    12 %Different versions of the geometric counterpart of Deligne's conjecture have been proven by Tamarkin [``Formality of chain operad of small squares'', preprint, http://arXiv.org/abs/math.QA/9809164], the reviewer [in Confˇrence Moshˇ Flato 1999, Vol. II (Dijon), 307--331, Kluwer Acad. Publ., Dordrecht, 2000; MR1805923 (2002d:55009)], and J. E. McClure and J. H. Smith [``A solution of Deligne's conjecture'', preprint, http://arXiv.org/abs/math.QA/9910126] (see also a later simplified version [J. E. McClure and J. H. Smith, ``Multivariable cochain operations and little $n$-cubes'', preprint, http://arXiv.org/abs/math.QA/0106024]). The paper under review gives another proof of Deligne's conjecture, which, as the authors indicate, may be generalized to a proof of a higher-dimensional generalization of Deligne's conjecture, suggested in [M. Kontsevich, Lett. Math. Phys. 48 (1999), no. 1, 35--72; MR1718044 (2000j:53119)]. 
    12 %Different versions of the geometric counterpart of Deligne's conjecture have been proven by Tamarkin [``Formality of chain operad of small squares'', preprint, http://arXiv.org/abs/math.QA/9809164], the reviewer [in Confˇrence Moshˇ Flato 1999, Vol. II (Dijon), 307--331, Kluwer Acad. Publ., Dordrecht, 2000; MR1805923 (2002d:55009)], and J. E. McClure and J. H. Smith [``A solution of Deligne's conjecture'', preprint, http://arXiv.org/abs/math.QA/9910126] (see also a later simplified version [J. E. McClure and J. H. Smith, ``Multivariable cochain operations and little $n$-cubes'', preprint, http://arXiv.org/abs/math.QA/0106024]). The paper under review gives another proof of Deligne's conjecture, which, as the authors indicate, may be generalized to a proof of a higher-dimensional generalization of Deligne's conjecture, suggested in [M. Kontsevich, Lett. Math. Phys. 48 (1999), no. 1, 35--72; MR1718044 (2000j:53119)]. 
    13 
    13 
    14 
    14 
    15 The usual Deligne conjecture (proved variously in \cite{MR1805894, MR2064592, hep-th/9403055, MR1805923}) gives a map
    15 The usual Deligne conjecture (proved variously in \cite{MR1805894, MR1328534, MR2064592, hep-th/9403055, MR1805923}) gives a map
    16 \[
    16 \[
    17 	C_*(LD_k)\otimes \overbrace{Hoch^*(C, C)\otimes\cdots\otimes Hoch^*(C, C)}^{\text{$k$ copies}}
    17 	C_*(LD_k)\otimes \overbrace{Hoch^*(C, C)\otimes\cdots\otimes Hoch^*(C, C)}^{\text{$k$ copies}}
    18 			\to  Hoch^*(C, C) .
    18 			\to  Hoch^*(C, C) .
    19 \]
    19 \]
    20 Here $LD_k$ is the $k$-th space of the little disks operad and $Hoch^*(C, C)$ denotes Hochschild
    20 Here $LD_k$ is the $k$-th space of the little disks operad and $Hoch^*(C, C)$ denotes Hochschild