Top Banner
24

Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

Jun 25, 2020

Download

Documents

dariahiddleston
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32
Page 2: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

America n Mathematica l Societ y

Colloquiu m Publication s Volum e 51

Chira l Algebra s

Alexande r Beilinso n Vladimi r Drinfel d

America n Mathematica l Societ y Providence , Rhod e Islan d

http://dx.doi.org/10.1090/coll/051

Page 3: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

Editorial B o a r d

Susan J . Friedlander , Chai r Yuri Mani n

Peter Sarna k

2000 Mathematics Subject Classification. Primar y 17Bxx ; Secondar y 14Fxx .

For additiona l informatio n an d update s o n thi s book , visi t www.ams.org/bookpages/col l -51

Library o f Congres s Cataloging-in-Publicatio n D a t a

Beilinson, Alexander , 1957 -Chiral algebra s / Alexande r Beilinson , Vladimi r Drinfeld .

p. cm . — (Colloquiu m publications , ISS N 0065-925 8 ; v. 51 ) Includes bibliographica l reference s an d index . ISBN 0-8218-3528- 9 (alk . paper ) 1. Geometry , Algebraic . 2 . Conformal geometry . 3 . Field theor y (Physics ) 4 . Mathematica l

physics. I . Drinfeld , V . G . II . Title . III . Colloquiu m publication s (America n Mathematica l Society) ; v. 51 .

QC20.7.A37B45 200 4 530.15'635—dc22 2003063872

Copying an d reprinting . Individua l reader s o f thi s publication , an d nonprofi t librarie s acting fo r them , ar e permitte d t o mak e fai r us e o f th e material , suc h a s t o cop y a chapte r fo r us e in teachin g o r research . Permissio n i s grante d t o quot e brie f passage s fro m thi s publicatio n i n reviews, provide d th e customar y acknowledgmen t o f th e sourc e i s given .

Republication, systemati c copying , o r multipl e reproductio n o f any materia l i n this publicatio n is permitte d onl y unde r licens e fro m th e America n Mathematica l Society . Request s fo r suc h permission shoul d b e addresse d t o th e Acquisition s Department , America n Mathematica l Society , 201 Charle s Street , Providence , Rhod e Islan d 02904-2294 , USA . Request s ca n als o b e mad e b y e-mail t o [email protected] .

© 200 4 b y th e America n Mathematica l Society . Al l right s reserved . The America n Mathematica l Societ y retain s al l right s

except thos e grante d t o th e Unite d State s Government . Printed i n th e Unite d State s o f America .

® Th e pape r use d i n thi s boo k i s acid-fre e an d fall s withi n th e guideline s established t o ensur e permanenc e an d durability .

Visit th e AM S hom e pag e a t ht tp : //www. ams. org/

10 9 8 7 6 5 4 3 2 1 0 9 0 8 0 7 0 6 0 5 0 4

Page 4: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

To our parents

Page 5: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

This page intentionally left blank

Page 6: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

Contents

Introduction 1

Chapter 1 . Axiomati c Pattern s 1 1

1.1. Pseudo-tenso r categorie s 1 1

1.2. Complement s 1 8

1.3. Compoun d tenso r categorie s 2 4

1.4. Rudiment s o f compound geometr y 3 2

Chapter 2 . Geometr y o f D-scheme s 5 3

2.1. D-modules : Recollection s an d notatio n 5 3

2.2. Th e compoun d tenso r structur e 6 7

2.3. Dx-scheme s 7 9

2.4. Th e space s o f horizonta l section s 8 9

2.5. Lie * algebras an d algebroid s 9 5

2.6. Coisso n algebra s 11 3

2.7. Th e Tat e extensio n 11 7

2.8. Tat e structure s an d characteristi c classe s 12 9

2.9. Th e Harish-Chandr a settin g an d th e settin g o f c-stacks 14 3

Chapter 3 . Loca l Theory : Chira l Basic s 15 7

3.1. Chira l operation s 15 7

3.2. Relatio n t o "classical " operation s 16 3

3.3. Chira l algebra s an d module s 16 4

3.4. Factorizatio n 17 2

3.5. Operato r produc t expansion s 19 4

3.6. Fro m chira l algebra s t o associativ e algebra s 20 0

3.7. Fro m Lie * algebra s t o chira l algebra s 21 2

3.8. BRST , alia s semi-infinite , homolog y 22 7

3.9. Chira l differentia l operator s 23 8

3.10. Lattic e chira l algebra s an d chira l monoid s 25 7

Page 7: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

CONTENTS

Chapter 4 . Globa l Theory : Chira l Homolog y 27 5

4.1. Th e cookwar e 27 5

4.2. Th e constructio n an d first propertie s 29 6

4.3. Th e B V structur e an d product s 31 3

4.4. Correlator s an d coinvariant s 32 3

4.5. Rigidit y an d flat projectiv e connection s 33 0

4.6. Th e cas e o f commutative Dxalgebra s 34 1

4.7. Chira l homolog y o f the d e Rham-Ch e valley algebra s 34 8

4.8. Chira l homolog y o f chira l envelope s 35 3

4.9. Chira l homolog y o f lattic e chira l algebra s 35 7

Bibliography 36 3

Index an d Notatio n

Page 8: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

Bibliography

[A] F . Akman , A characterization of the differential in semi-infinite cohomology, J . Alge -bra 16 2 (1993) , no . 1 , 194-209 .

[Ar] S . Arkhipov , Semiinfinite cohomology of quantum groups, Comm . Math . Phys . 18 8 (1997), no . 2 , 379-405 .

[AG] S . Arkhipo v an d D . Gaitsgory , Differential operators on the loop group via chiral algebras, Int . Math . Res . Note s (2002) , no . 4 , 165-210 .

[BAK] B . Bakalov , A . d'Andrea , an d V . Kac , Theory of finite pseudoalgebras, Adv . Math . 162 (2001) , 1-140 .

[BaK] B . Bakalov and V.Kac , Twisted modules over lattice vertex algebras, math.QA/0402315 . [BKV] B . Bakalov, V . Kac , and A . Voronov, Cohomology of conformal algebras, Comm . Math .

Phys. 20 0 (1999) , no . 3 , 561-598 . [BGK] V . Baranovsky , V Ginzburg , an d A . Kuznetsov , Wilson's Grassmannian and a non-

commutative quadric, Int . Math . Res . Note s (2003) , no . 21 , 1155-1197 . [BB] A . Beilinso n an d J . Bernstein , A proof of Jantzen conjectures, I . M . Gelfan d Seminar ,

Advances i n Sovie t Mathematics , vol . 16 , par t 1 , Amer . Math . Soc , Providence , RI , 1993, pp . 1-50 .

[BBE] A . Beilinson , S . Bloch , an d H . Esnault , fi-factors for Gaufi-Manin determinants, Moscow Math . Journa l 2 (2002) , 477-532 .

[BD] A . Beilinso n an d V . Drinfeld , Quantization of Hitchin's hamiltonians and Hecke eigen-sheaves, http://www.math.uchicago.edu/~arinkin/langlands / (1999) .

[BS] A . Beilinso n an d V . Schechtman , Determinant bundles and Virasoro algebras, Com -mun. Math . Phys . 11 8 (1988) , 651-701 .

[BPZ] A . Belavin , A . Polyakov , an d A . Zamolodchikov , Infinite conformal symmetries in two-dimensional quantum field theory, Nucl . Phys . B24 1 (1984) , 333-380 .

[Ber] J . Bernstein , Lectures on D-modules, http://www.math.uchicago.edu/~arinkin / lang -lands/ (1984) .

[BFS] R . Bezrukavnikov , M . Finkelberg , an d V . Schechtman , Factorizable sheaves and quan-tum groups, Lectur e Note s i n Math. , vol . 1691 , Springer-Verlag , Berlin—Heidelberg -New York , 1998 .

[BoKa] A . Bonda l an d M . Kapranov , Enhanced triangulated categories, Math . USS R Sb . 7 0 (1991), no . 1 , 93-107 .

[Bl] R . Borcherds , Vertex algebras, Kac-Moody algebras and the Monster, Proc . Natl . Acad . Sci. US A 8 3 (1986) , 3068-3071 .

[B2] , Vertex algebras, Topologica l fiel d theory , primitiv e form s an d relate d topic s (M. Kashiwara , A . Matsuo , K . Saito , an d I . Satake , eds.) , Birkhauser , Boston , 1998 , pp. 35-77 .

[Ba] A . Bore l e t al. , Aglebraic D-modules, Academi c Press , Ne w York , 1987 . [BU] K . Borsu k an d S . Ulam , On symmetric products of topological spaces, Bull . Amer .

Math. Soc . 3 7 (1931) , 875-882 . [Bo] R . Bott , On the third symmetric potency of S 1, Fund . Math . 3 9 (1952) , 264-268 . [BK] A . K . Bousfiel d an d D . Kan , Homotopy limits, completions and localizations, Lectur e

Notes i n Math. , vol . 304 , Springer-Verlag , Berlin-Heidelberg-Ne w York , 1987 . [Brel] P . Bressler , Vertex algebroids. I , math . AG/0202185 . [Bre2] , Vertex algebroids. II , math . AG/0304115 . [CH] R . C . Canning s an d M . P . Holland , Right ideals of rings of differential operators,

J. Algebr a 16 7 (1994) , no . 1 , 116-141 .

363

Page 9: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

364 BIBLIOGRAPHY

[CFK] I . Ciocan-Fontanin e an d M . Kapranov , Derived Quot schemes, Ann . Sci . ENS, 4e serie , 34 (2001) , 403-440 .

[CC] C . E . Contou-Carrere , Jacobienne locale, groupe debivecteurs de Witt universel et sym-bole localmodere, C . R . Acad . Sci . Pari s 318 , Seri e I (1994) , 743-746 .

[C] F . R . Cohen , The homology of C n+i-spaces, n > 0 , Lectur e Note s i n Math. , vol . 533 , Springer-Verlag, Berlin-Heidelberg-Ne w York , 1976 , pp . 207-351 .

[CN] D . W . Curti s an d N . T . Nhu , Hyperspaces of finite subsets which are homeomorphic to Ho-dimensional linear metric spaces, Topolog y an d Appl . 1 9 (1985) , 251-260 .

[DK] A . D'Andre a an d V . Kac , Structure theory of finite conformal algebras, Select a Math . 4 (1998) , 377-418 .

[DJKM] E . Date , M . Jimbo , M . Kashiwara , an d T . Miwa , Transformation groups for soliton equations, Nonlinea r integrabl e system s - classica l theor y an d quantu m theor y (Kyoto , 1981) (M . Jimb o an d T . Miwa , eds.) , Worl d Scientific , Singapore , 1983 , pp. 39-120 .

[DJM] E . Date , M . Jimbo , an d T . Miwa , Solitons, differential equations, symmetries, and infinite-dimensional algebras, Cambridg e Tract s Math. , vol . 135 , Cambridg e Univ . Press, 2000 .

[Dl] P . Deligne , Categories Tanakiennes, Th e Grothendiec k Festschrift , vol . 2 , Progres s i n Math., vol . 87 , Birkhauser , Boston , 1990 , pp . 111-195 .

[D2] , Le symbole modere, Publ . Math . IHE S 7 3 (1991) , 147-181 . [DF] P . Delign e an d D . Freed , Classical field theory, Quantu m fields an d Strings : a cours e

for mathematicians , vol . 1 , Amer . Math . Soc , Providence , RI , 1999 , pp . 137-225 . [DM] P . Delign e an d J . Morgan , Notes on Supersymmetry (following Joseph Bernstein),

Quantum fields an d Strings : a cours e fo r mathematicians , vol . 1 , Amer . Math . Soc , Providence, RI , 1999 , pp . 41-97 .

[Dem] M . Demazure , Lectures onp-divisible groups, Lectur e Note s in Math., vol . 302, Springe r -Verlag, Berlin-Heidelberg-Ne w York , 1972 .

[Di] L . Dickey, Soliton equations and Hamiltonian systems, second edition, Advance d Serie s in Mathematica l Physics , vol . 26 , World Scientific , Rive r Edge , NJ , 2003 .

[Don] C . Dong , Vertex algebras associated with even lattices, J . Algebr a 16 1 (1993) , 245-265 . [DL] C . Don g an d J . Lepowski , Generalized vertex algebras and relative vertex operators,

Progress i n Math. , vol . 112 , Birkhauser , Boston , 1993 . [DLM] C . Dong , H . Li , an d G . Mason , Vertex Lie algebras, vertex Poisson algebras and ver-

tex algebras, Recen t development s i n infinite-dimensiona l Li e algebra s an d conforma l field theor y (Charlottesville , VA , 2000) , Contemp . Math. , vol . 297 , Amer . Math . Soc , Providence, RI , 2002 , pp . 69-96 .

[DG1] I . Dorfma n an d I . Gelfand , Hamiltonian operators and related algebraic structures, Funct. Anal . Appl . 1 3 (1979) , no . 4 , 248-262 .

[DG2] , Hamiltonian operators and infinite-dimensional Lie aglebras, Funct . Anal . Appl. 1 5 (1981) , no . 3 , 173-187 .

[DoF] V . Dotsenk o an d V . Fateev , Conformal algebra and multipoint correlator functions in 2D statistical models, Nucl . Phys . B24 0 (1984) , 312-348 .

[Drl] V . Drinfeld , DG quotients of DG categories, Jour , o f Algebr a 27 2 (2004) , 643-691 . [Dr2] , Infinite-dimensional vector bundles in algebraic geometry, math . AG/0309155 ;

to appea r i n Proceeding s o f th e Internationa l "Unit y o f Mathematics"conferenc e i n honor o f I . M . Gelfand , Birkhauser , Boston , MA .

[DS] V . Drinfel d an d V . Sokolov , Lie algebras and KdV type equations, J . Sovie t Math . 3 0 (1985), 1975-2036 .

[EGA IV ] A . Grothendiec k an d J . Dieudonne , Elements de geometrie algebrique IV. Etude locale des schemas et des morphismes de schemas (seconde partie), Publ . Math . IHE S 2 4 (1965).

[EFK] P . Etingof , I . Frenkel , an d A . Kirillov , Jr. , Lectures on representation theory and Knizhnik-Zamolodchikov equations, Mathematica l Survey s an d Monographs , vol . 58 , Amer. Math . Soc , Providence , RI , 1998 .

[F] B . Feigin , The semi-infinite cohomology of Kac-Moody and Virasoro algebras, Russia n Math. Survey s 3 9 (1984) , no . 2 , 155-156 .

[FF1] B . Feigi n an d E . Frenkel , A family of representations of affine Lie algebras, Rus -sian Math . Survey s 4 3 (1988) , no . 5 , 221-222 .

Page 10: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

BIBLIOGRAPHY 365

[FF2] , Affine Kac-Moody algebras and semi-infinite flag manifolds, Commun . Math . Phys. 12 8 (1990) , 161-189 .

[FS] B . Feifin an d A . Stoyanovsky , Realization of a modular functor in the space of differen-tials and geometric approximation of the manifold of moduli of G-bundles, Funct . Anal . Appl. 2 8 (1995) , no . 4 , 257-275 .

[FT] E . Frenkel , Lectures on Wakimoto modules, opers and the center at the critical level, math. QA/0210029 .

[FBZ] E . Frenkel an d D . Ben-Zvi, Vertex algebras and algebraic curves, Mathematica l Survey s and Monographs , vol . 88 , Amer . Math . Soc , Providence , RI , 2001 .

[FrG] E . Frenke l an d D . Gaitsgory , D-modules on the affine Grassmannian and representa-tions of affine Kac-Moody algebras, math . AG/0303173 ; t o appea r i n Duk e Math . J .

[FKRW] E . Frenkel , V . Kac , A . Radul , an d W . Wang , Wi+o o and W^/jy ) with central charge N, Commun . Math . Phys . 17 0 (1995) , 337-357 .

[FGZ] I . Frenkel , H . Garland , an d G . Zuckerman , Semi-infinite cohomology and string theory, Proc. Nat . Acad . Sci . US A 8 3 (1986) , no . 22 , 8442-8446 .

[FLM] I . Frenkel , J . Lepowski , an d A . Meurman , Vertex operator algebras and the monster, Academic Press , Boston , 1988 .

[FHL] I . Frenkel , Y . Huang , an d J . Lepowski , On Axiomatic Approaches to Vertex Operator Algebras and Modules, Mem . Amer . Math . Soc , 494 , vol . 104 , 1993 .

[FK] I . Frenke l an d V . Kac , Basic representations of affine Lie algebras and dual resonance models, Invent . Math . 6 2 (1980) , 23-66 .

[Ga] D . Gaitsgory , Notes on 2d conformal field theory and string theory, Quantu m fields and Strings : a cours e fo r mathematicians , vol . 2 , Amer . Math . Soc , Providence , RI , 1999, pp . 1017-1090 .

[GeK] I . Gelfand an d D . Kazhdan , Some problems of differential geometry and the calculation of cohomologies of Lie algebras of vector fields, Sovie t Math . Dokl . 1 2 (1971) , no . 5 , 1367-1370.

[Ge] E . Getzler , Batalin- Vilkovisky algebras and two-dimensional topological field theories, Commun. Math . Phys . 15 9 (1994) , 265-285 .

[GK] V . Ginzbur g an d M . Kapranov , Koszul duality for operads, Duk e Math . J . 7 6 (1994) , 203-272.

[GMSl] V . Gorbounov , F . Malikov , an d V . Schechtman , Gerbes of chiral differential operators I, Math . Res . Lett . 7 no . 1 (2000) , 55-66 .

[GMS2] , Gerbes of chiral differential operators II . Verte x algebroids , Inventione s Math . 155 (2004) , no . 3 , 605-680 ; math . AG/0003170 .

[GMS3] , On chiral differential operators over homogeneous spaces., Int . J . Math . Sci . 26 (2001) , no . 1 , 83-106 .

[G] M . Gromov , Partial differential relations, Springer-Verlag , Berlin-Ne w York-Heidel -berg, 1986 .

[Grl] A . Grothendieck , Categories cofibrees additives et complexe cotangent relatif, Lectur e Notes i n Math. , vol . 79 , Springer-Verlag , Berlin-Heidelberg-Ne w York , 1968 .

[Gr2] , Crystals and the de Rham cohomology of schemes, Di x expose s su r l a coho -mologie de s schemas , North-Holland , Amsterdam , 1968 , pp . 306-358 .

[Ha] R . Hartshorne , Residues and duality, Lectur e Note s i n Math. , vol . 20 , Springer-Verlag , Berlin-Heidelberg-New York , 1966 .

[H] V . Hinich , Homological algebra of homotopy algebras, Commun . i n Algebr a 25(10 ) (1997), 3291-3323 .

[HS] V . Hinich an d V . Schechtman , Homotopy limits of homotopy algebras, K-theory , Arith -metic and Geometry , Yu . Manin ed. , Lectur e Notes in Math., vol . 1289 , Springer-Verlag , Berlin-Heidelberg-New York , 1987 , pp . 240-264 .

[Hu] Y.-Z . Huang, Two-dimensional conformal geometry and vertex operator algebras,Progr. Math., vol . 148 , Birkhauser , Boston , MA , 1997 .

[HL1] Y.-Z . Huan g an d J . Lepowsky , Tensor products of modules for a vertex operator al-gebra and vertex tensor categories, Li e theor y an d geometry , Progr . Math. , vol . 123 , Birkhauser, Boston , MA , 1994 , pp . 349-383 .

[HL2] Y.-Z . Huan g an d J . Lepowsky , On the V-module and formal variable approaches to vertex algebras, Topic s i n Geometry , Progr . Nonlinea r Differentia l Equation s Appl. , vol. 20 , Birkhauser , Boston , MA , 1996 , pp . 175-202 .

Page 11: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

366 BIBLIOGRAPH Y

[Hue] J . Huebschmann , Lie-Rinehart algebras, Gerstenhaber algebras and Batalin-Vilkovisky algebras, Ann . Inst . Fourie r (Grenoble ) 4 8 (1998) , no . 2 , 425-440 .

[II] L . Illusie , Complexe cotangent et deformations. I , Lectur e Note s i n Math. , vol . 239 , Springer-Verlag, Berlin-Heidelberg-Ne w York , 1971 .

[J] J . D . S . Jones , Lectures on operads, Quantization , Poisso n bracket s an d beyond , Th. Vorono v ed. , Contemp . Math. , vol . 315 , Amer . Math . Soc , Providence , RI , 2002 , pp. 89-130 .

[K] V . Kac , Vertex algebras for beginners, second edition, Univ . Lectur e Series , vol . 10 , Amer. Math . Soc , Providence , RI , 1998 .

[KP] V . Ka c an d D . Peterson , Spin and wedge representations of infinite-dimensional Lie algebras and groups, Proc . Nat . Acad . Sci . US A 7 8 (1981) , 3308-3312 .

[KR] V . Ka c an d A . Radul , Representation theory of the vertex algebra VKi+oo , Trans -form. Group s 1 (1996) , 41-70 .

[Ka] I . Kaplansky , Projective modules, Ann . Math . 6 8 (1958) , 372-377 ; Selected Papers by I. Kaplansky, Springer-Verlag , Berlin-Heidelberg-Ne w York , 1995 .

[Kapl] M . Kapranov , Operads and algebraic geometry, Document a Math. , IC M 1998 , vo l II , 277-286.

[Kap2] , Semiinfinite symmetric powers, math . QA/0107089 . [KV] M . Kaprano v an d E . Vasserot , Vertex algebras and the formal loop space, math . AG/0 1

07143. [Kasl] M . Kashiwara, Representation theory and D-modules on flag varieties, Asterisqu e 173—

174 (1989) , 55-109 . [Kas2] , D-modules and microlocal calculus, Amer . Math . Soc , Providence , RI , 2003 . [KM] N . Kat z an d B . Mazur , Arithmetic moduli of elliptic curves, Princeto n Univ . Press ,

Princeton, NJ , 1985 . [KL] D . Kazhda n an d G . Lusztig , Tensor structures arising from affine Lie algebras. I, II,

J. Amer . Math . Soc . 6 (1993) , no . 4 , 905-947 , 949-1011 . [KZ] V . Knizhni k an d A . Zamolodchikov , Current algebra and Wess-Zumino model in two

dimensions, Nucl . Phys . B24 7 (1984) , 83-103 . [KS] B . Kostan t an d S . Sternberg , Symplectic reduction, BRS cohomology, and infinite-

dimensional Clifford algebras, Ann . Phys . 17 6 (1987) , no . 1 , 49-113 . [Kos] J-L . Koszul , Crochet de Schouten-Nijenhuis et cohomologie, Asterisque , vo l Hors-Serie :

Elie Carta n e t le s Mathematiques d'Aujourd'hui , So c Math . France , 1985 , pp. 257-271 . [KrM] I . Kri z an d J . P . May , Operads, algebras, modules and motives, Asterisqu e 23 3 (1995) . [Ku] B . Kupershmidt , Geometry of jet bundles and the structure of Lagrangian and Hamil-

tonian formalisms, Lectur e Note s i n Math. , vol . 775 , Springer-Verlag , Berlin-Ne w York-Heidelberg, 1980 , pp . 162-218 .

[KuM] B . Kupershmidt an d Yu . Manin , Equations of long waves with a free surface I. Conser-vation laws and solutions, Funkcional . Anal . I Prilozh. 1 1 (1977) , no . 3 , 31-42; Englis h transl. Fun c Anal . Appl . 1 1 (1977) .

[La] J . Lambek , Deductive systems and categories, Lectur e Note s in Math. , vol . 86, Springer -Verlag, Berlin-Ne w York-Heidelberg , 1969 , pp . 76-122 .

[LMB] G . Laumo n an d L . Moret-Bailly , Champs algebriques, Ergebniss e de r Mathemati k un d ihrer Grenzgebiete , 3 Folge , vol . 39 , Springer-Verlag , Berlin , 2000 .

[Lei] S . Lefschetz , Algebraic topology, Colloq . Publ. , vol . 27 , Amer . Math . Soc , Providence , RI, 1942 .

[Li] F . E . J . Linton , The multilinear Yoneda lemmas: Toccata, fugue, and fantasia on themes by Eilenberg-Kelly and Yoneda, Lectur e Note s i n Math. , vol . 195 , Springer -Verlag, Berlin-Ne w York-Heidelberg , 1971 , pp. 209-229 .

[Lj J.-L . Loday , La renaissance des operades, Sem . Bourbak i 1994/95 , exp. 792 , Asterisque , vol. 237 , 1996 , pp . 47-74 .

[M] K . Mackenzie , Lie groupoids and Lie algebroids in differential geometry, Londo n Math . Soc. Lectur e Notes , vol . 124 , Cambridg e Univ . Press , Cambridge , 1987 .

[MSV] F . Malikov , V . Schechtman , an d A . Vaintrob , Chiral de Rham complex, Commun . Math. Phys . 20 4 (1999) , 439-473 .

[Ma] Yu . Manin , Algebraic aspects of non-linear differential equations, Itog i Nauki , Sovre -mennye Problem y Matematiki , vol . 11 , 1978 , pp . 5-152 ; Englis h transl. , J . Sov . Math . 11 (1979) , 1-122 .

Page 12: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

BIBLIOGRAPHY 367

[MSS] M . Markl , S . Shnider , an d J . Stasheff , Operads in algebra, topology and physics, Math -ematical Survey s an d Monographs , vol . 96 , Amer . Math . Soc , Providence , RI , 2002 .

[May] P . May , Geometry of iterated loop spaces, Lectur e Note s i n Math. , vol . 271 , Springer -Verlag, Berlin-Heidelberg-Ne w York , 1972 .

[OS] P . Orli k an d L . Solomon , Combinatorics and topology of complements of hyperplanes, Inv. Math . 5 6 (1980) , 167-189 .

[Po] A . Polishchuk, Abelian varieties, theta functions and the Fourier transform, Cambridg e Tracts i n Mathematics , vol . 153 , Cambridg e Universit y Press , Cambridge , 2003 .

[PS] A . Pressle y an d G . Segal , Loop groups, Clarendo n Press , Oxford , 1986 . [P] M . Prime , Vertex algebras generated by Lie algebras, J . Pur e Appl . Algebra 13 5 (1999) ,

no. 3 , 253-293 . [Ql] D . Quillen , Rational homotopy theory, Ann . Math . 9 0 (1968) , no . 2 , 205-295 . [Q2] , On the (co-)homology of commutative rings, Proc . Symp . Pur e Math. , vol . 17 ,

Amer. Math . Soc , Providence , RI , 1970 , pp . 65-87 . [Q3] , Higher algebraic K-theory. I 34 1 (1973) , Springer-Verlag , Berlin-Ne w York -

Heidelberg, 85-147 . [RI] Z . Ran , Derivatives of moduli, Intern . Math . Res . Notice s (1993) , no . 4 , 93-106 . [R2] , Canonical infinitesimal deformations, J . Alg . Geometr y 9 (2000) , no . 1 , 43-69 . [RG] M . Raynau d an d L . Gruson , Criteres de platitude et de projectivite, Invent . Math . 1 3

(1971), 1-89 . [Re] A . Retakh , Associative conformal algebras of linear growth, J . Algebr a 23 7 (2001) ,

no. 2 , 769-788 . [Rin] G . S . Rinehart , Differential forms on general Lie algebras, Trans . Amer . Math . Soc .

108 (1963) , 195-222 . [Ro] M . Roitman , Combinatorics of free vertex algebras, J . o f Algebr a 25 5 (2002) , no . 2 ,

297-323. [Si] M . Saito , Induced D-modules and differential complexes, Bull . Soc . Math . Franc e 11 7

(1989), 361-387 . [S2] , D-modules on analytic spaces, Publ . Res . Inst . Math . Studie s 2 7 (1991) , no . 2 ,

291-332. [Sa] M . Sato, The KP hierarchy and infinite-dimensional Grassmann manifolds, Proc . Sym .

Pure Math. , vol . 49 , par t 1 , 1989 , pp . 51-66 . [Schl] V . Schechtman , Sur les algebres vertex attachees aux varietes algebriques, Proc . IC M

2002, Beijing , vol . 2 , Highe r Educatio n Press , pp . 525-532 . [Sch2] , Definitio nova algebroidis verticiani, Prepublicationno . 271 , Laboratoir e d e

Mathematiques Emil e Picard , Toulous e (2003) , http://picard.ups-tlse.fr . [Schw] A . Schwarz, Topological quantum field theories, XHIt h Internationa l Congres s on Math -

ematical Physic s (London , 2000) , Int . Press , Boston , 2001 , pp. 123-142 . [Se] G . Segal , Classifying spaces and spectral sequences, Publ . Math . IHE S 3 4 (1968) , 105 -

112. [SW] G . Sega l an d G . Wilson , Loop groups and equations of KdV type, Publ . Math . IHE S

61 (1985) , 5-65 . [SGA 4 ] Theorie des topos et cohomologie etale des schemas, Seminair e de Geometrie Algebriqu e

du Bois-Mari e 1963-1964 . Dirig e pa r M . Artin , A . Grothendiec k e t J.-L . Verdier , Lec -ture Note s i n Math. , vol . 269 , 270 , 305 , Springer-Verlag , Berlin-Heidelberg-Ne w York , 1972-1973.

[Sp] N . Spaltenstein , Resolutions of unbounded complexes, Compositi o Math . 6 5 (1988) , 121-154.

[Taml] D . Tamarkin , Deformations of chiral algebras, Proc . IC M 2002 , Beijing , vol . 2 , Highe r Education Press , pp . 105-118 .

[Tam2] , A formalism for the renormalization procedure, math . QA/0312219 . [T] J . Tate , Residues of differentials on curves, Ann . Sci . ENS 4 ser. , t . 1 (1968) , 149-159 . [V] A . Vinogradov , Cohomological analysis of partial differential equations and secondary

calculus, Transl . Math . Monographs , vol . 204 , Amer . Math . Soc , Providence , RI , 2001. [Vo] A . Voronov , Semi-infinite homological algebra, Inventione s Math . 11 3 (1993) , no . 1 ,

103-146. [W] J . Wiennfield , Formal geometry, preprin t (1999) .

Page 13: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

368 BIBLIOGRAPH Y

[X] P . Xu , Gerstenhaber algebras and BV algebras in Poisson geometry, Comm . Math . Phys. 20 0 (1999) , no . 3 , 545-560 .

[Z] G . Zuckerman , Action principles and global geometry, Mathematica l Aspect s o f Strin g Theory (S . T . Yau , ed.) , Worl d Scientific , 1987 , pp . 259-284 .

Page 14: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

Index an d Notatio n

action o f a Lie * algebr a o n a commutative * algebr a 1.4. 9 action o f a Lie * algebr a o n a chira l algebr a 3.3. 3 action o f a Li e algebroid o n a chira l algebr a 4.5.4 , twiste d 4.5. 6 action o f a pseudo-tenso r categor y o n a categor y 1.2.1 1 action o f a tenso r categor y o n a pseudo-tensor categor y 1.1.6(v ) admissible comple x o f sheaves o n X s 4.2. 1 admissible D-comple x o n X s 4.2. 6 algebraic 1)x -space 2.3. 1 annihilator 3.3. 7 augmentation functor , non-degenerat e 1.2.5 , reliable 1.4. 7 augmentation functo r i n compoun d settin g 1.3.10 , in I>-modul e settin g 2.2. 7 augmented compoun d tenso r category , functo r 1.3.1 6 augmented opera d 1.2. 4 augmented pseudo-tenso r categor y 1.2. 4 augmented pseudo-tenso r functor , uni t 1.2. 8

Batalin-Vilkovisky (BV ) algebra s 4.1. 6 BV extensio n o f a Li e algebroi d 4.1. 9 BV quantizatio n o f a n od d Poisso n algebr a 4.1. 6 BV structur e o n th e chira l chai n comple x 4.3. 1 BRST reduction , charge , differential : classica l 1.4.23 , quantu m 3.8.9 , 3.8.2 0 BRST propert y 1.4.24 , 3.8.10 , 3.8.2 1

calculus o f variations 2.3.2 0 cdo 3.9. 5 centralizer 3.3. 7 center o f a chira l algebr a 3.3. 7 central chira l module s 3.3. 7 Chern classe s ch^ 2.8.1 0 Che valley-Cousin comple x o f a chira l algebr a 3.4.11 , relativ e versio n 4.4. 9 Chevalley comple x o f a Lie * algebra , inne r 1.4.5 , 1.4.1 0 chiral actio n o f a Lie * algebr a 3.7.16 , o f a chira l Li e algebroi d 3.9.2 4 chiral actio n o f a chira l monoi d 3.10.1 7 chiral algebra s 3.3.3 , commutative 3.3.3 , non-unital 3.3.2 , universa l 3.3.1 4 chiral algebr a freel y generate d b y (N,P) 3.4.14 , chiral i?£^/-algebra s 3.9. 4 chiral enveloping algebr a o f a Lie* algebra 3.7.1 , o f a chiral Li e algebroid 3.9.1 1 chiral extensio n o f a Lie * algebroid 3.9.6 , rigidifie d 3.9. 8 chiral homolog y 4.2.1 1 chiral lattic e algebra s 3.10. 1

369

Page 15: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

370 INDEX AN D NOTATIO N

chiral Li e algebroid s 3.9. 6 chiral module s 3.3. 4 chiral L-module s 3.7.1 6 chiral i?£^/-module s 3.9. 1 chiral monoi d 3.10.1 7 chiral operation s 3.1.1 , fo r (g , K)-modules 3.1.1 6 chiral ^-operation s 3.3. 4 chiral L c/l-operations 3.7.1 6 chiral produc t 3.3. 2 chiral pseudo-tenso r structur e 3.1. 2 Clifford algebra , coisso n 1.4.21 , chira l 3.8.6 , linea r algebr a versio n 3.8.1 7 coisson algebra s 1.4.18 , modules 1.4.20 , D-module settin g 2.6.1 , ellipti c 2.6. 6 commutative" algebras , module s 1.4. 6 commutative D^-algebra s 2.3. 1 complementary quotient s 1.3. 1 compound opera d 1.3.1 8 compound pseudo-tenso r categor y 1.3.7 , augmented 1.3.1 0 compound pseudo-tenso r functo r 1.3. 9 compound tenso r category , functo r 1.3.1 4 compound tenso r produc t map s 1.3.12 , binary 1.3.1 3 connections fo r Lie * algebroids 1.4.1 7 connections o n chira l homolog y 4. 5 Contou-Carrere symbo l 3.10.1 3 convenient Dj-algebr a 4.6. 1 convenient ^-module s 4.6. 3 coordinate syste m o n a T>x -scheme 2.3.1 7 c operation s 1.4.27 , i n D-modul e settin g 3.2. 5 correlators 4.4. 1 cotangent comple x 2.3.15 , 4.1.5 , 4.6. 6 cotorsor 3.4.16 , 3.10.1 2 Cousin D-comple x 4.2. 9 Cousin filtratio n 4.2.1 , 4.2.1 9 Cousin spectra l sequenc e 4.2.3 , 4.2.11 , 4.2.1 9 c-stack, c-ran k 2.9.1 0

X>x-algebras 2.3. 1 D-algebra poin t 2.3. 1 £)-modules: lef t an d righ t 2.1.1 , functorialit y 2.1.2 , induce d 2.1. 8 D-modules: quasi-induce d 2.1.11 , maxima l constan t quotien t 2.1.1 2 D-modules: topolog y a t a poin t x 2.1.13 , universal 2.9. 9 D-modules o n #(X) , lef t 3.4. 2 D-modules o n X s , righ t 3.4.1 0 de Rham-Chevalle y comple x o f a Lie * algebroid , inne r 1.4.1 4 de Rha m comple x o f a D-modul e 2.1. 7 de Rha m homolog y 2.1.12 , cohomolog y 2.1. 7 Dx-scheme 2.3.1 , formall y smooth , smooth , ver y smoot h 2.3.1 5 Dx-scheme: th e globa l spac e o f horizonta l section s 2.4. 1 Dx-scheme: th e loca l spac e o f horizonta l section s 2.4. 8 Dolbeault algebra s 4.1. 3

Page 16: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

INDEX AN D NOTATIO N 371

Dolbeault £>#(x)-algebr a 4.2. 7 Dolbeault resolution s 4.1. 4 Dolbeault-style algebr a 4.1. 4 Dolbeault-style D#(x)-algebr a 4.2.1 6 duality 1.3.11 , 2.2.1 6 duality fo r d e Rha m cohomology , globa l 2.2.17 , loca l 2.7.1 0

elliptic morphism , Lie * algebroi d 2.5.22 , coisson algebr a 2.6. 6 enveloping algebr a o f a n operadi c algebr a 1.2.16 , of a Li e algebroi d 2.9. 2 enveloping B V algebr a o f a B V algebroi d 4.1.8 . 4.1. 9 enveloping chira l algebr a o f a chira l Lie * algebroid 3.9.1 1 Euler-Lagrange equation s 2.3.2 0

factorization algebra s 3.4.1 , D-modul e settin g 3.4.4 , truncate d 3.4.1 3 factorization algebras : canonica l D-modul e structure 3.4.7 , commutative 3.4.2 0 factorization algebr a freel y generate d b y (iV , P) 3.4.1 4 factorization ^-module s 3.4.1 8 factorization structur e 3.4. 4 filtration o n a chira l algebra , commutative , unita l 3.3.1 2 flabby comple x o f sheaves 4.2. 2 formal groupoi d 1.4.1 5 formally smooth/etal e morphis m o f Dx-scheme s 2.3.1 6 Fourier-Mukai trnasfor m 4.9. 9

(g, i^)-modules 2.9.7 , chira l structur e 3.1.1 6 (g,K)-structure 2.9. 8 Gelfand-Dikii coisso n algebr a 2.6. 8 Gelfand-Kazhdan structur e 2.9. 9 group actio n o n a chira l algebr a 3.4.1 7

hamiltonian reductio n 1.4.1 9 handsome complexe s o f !-sheave s o n X s 4.2. 2 Harish-Chandra pair , modul e 2.9. 7 Heisenberg Lie * algebra 2.5. 9 Heisenberg grou p 3.10.1 3 homotopically Ox - an d Dx-fla t complexe s 2.1. 1 homotopy uni t commutativ e algebr a 4.1.1 4 homotopy unita l commutativ e algebr a 4.1.14 , B V algebr a 4.1.1 5 Hopf chira l algebra s 3.4.1 6

ind-scheme 2.4. 1 induced module s 3.7.15 , 3.9.2 4 inner Horn , inne r P object s 1.2.1 , i n augmente d sens e 1.2. 7

jet schem e 2.3.2-2.3. 3

Kac-Moody extensio n 2.5. 9 Kashiwara's lemm a 2.1. 3 Knizhnik-Zamolodchikov (KZ ) equation s 4.4. 6

lattices, c - an d d - 2.7. 7 Lie* algebra s an d module s 1.4.4 , D-module settin g 2.5.3-2.5. 4 Lie algebroi d 2.9. 1

Page 17: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

372 INDEX AN D NOTATIO N

Lie* algebroi d 1.4.11 , D-modul e settin g 2.5.16 , ellipti c 2.6. 6 Lie coalgebroid 1.4.1 4

matrix * algebra 1.4. 2 middle d e Rha m cohomolog y shea f h 2.1. 6 Miura torso r 2.8.1 7 module operad s 1.2.1 1 modules ove r operadi c algebra s 1.2.1 3 morphisms o f DG Dx-algebras : semi-free , elementar y 4.3. 7 multijet schem e 3.4.2 1 mutually commutin g morphism s o f chira l algebra s 3.4.1 5

n-coisson algebr a 1.4.1 8 n-Poisson algebr a 1.4.1 8 nice complexe s o f !-sheave s o n X s 4.2. 1 non-degenerate pair s (# , Vh) 2.5.2 3 normally ordere d tenso r produc t 3.6. 1

O-modules o n Jl(X) 3.4. 2 odd coisso n algebr a 1.4.1 8 odd Poisso n algebr a 1.4.1 8 ope algebra , associative , commutativ e 3.5. 9 oper 2.6. 8 operad 1.1.4 , of Jacob i typ e 3.7. 1 operadic algebr a 1.1.6(iii) , augmented 1.2. 8 operator produc t expansio n 3.5. 8

perfect B V algebr a 4.1.1 8 perfect commutativ e D G algebr a 4.1.1 7 perfect complexe s 4.1.1 6 Poincare-Birkhoff-Witt theore m fo r Lie * algebra s 3.7.14 , twiste d cas e 3.7.2 0 PBW theore m fo r usua l Li e algebroid s 2.9.2 , 3.9.1 2 PBW theore m fo r chira l Li e algebroid s 3.9.1 1 polydifferential * operations 1.4.8 , D-modul e settin g 2.3.1 2 pre-factorization algebr a 3.4.1 4 projective connection s 2.5.1 0 pseudo-tensor categor y 1.1. 1 pseudo-tensor category : A- , £;- , additive , abelia n 1.1. 7 pseudo-tensor functors , adjointnes s 1.1. 5 pseudo-tensor /c-categor y 1.1. 7 pseudo-tensor produc t 1.1. 3 pseudo-tensor structur e 1.1. 2 pseudo-tensor subcategory , ful l 1.1.6(i )

quantization o f a coisso n algebr a 3.3.11 , mo d t 2 3.9.1 0 quasi-factorization algebr a 3.4.1 4

Ran's spac e 3.4. 1 reasonable topologica l algebr a 2.4. 8 represent able pseudo-tenso r structur e 1.1. 3 resolutions o f commutative D^-algebra s 4.3. 7 rigidification o f a Lie * algebroid 1.4.13 , o f a Lie algebroi d 2.9. 1

Page 18: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

INDEX AN D NOTATIO N 373

rigidified 5-extensio n 3.9. 8

yi-structure 1.2.1 1 * algebra s 1.4.1 , D-modul e settin g 2.5. 1 * pairing , non-degenerat e 1.4. 2 * operations fo r D-module s 2.2.3 , induce d cas e 2.2.4(i ) Schouten-Nijenhuis bracke t 1.4.1 8 semi-free Dx-algebra s 4.3.7 , 4.6. 1 semi-free module s 4.1.5 , 4.6. 3 smooth I)x-algebra s 2.3.1 5 special V xi-module 3.1. 6 stress-energy tenso r 3.7.2 5 Sugawara's constructio n 3.7.2 5 super comple x 1.1.1 6 super convention s 1.1.1 6

/-topology 2.1.1 7 El-topologies: E x- 2.1.13 , E% ie 2.5.12 , E* L 2.5.18 , E 8/ 2.7.1 1 --topologies: E c

xois 2.6.3 , E% s 3.6.4

tangent Lie * algebroid 1.4.16 , for a D-scheme : Remar k (ii ) i n 2.3.12 , 2.3.1 5 Tate extension : D-modul e settin g 2.7.2 , 2.7.3 , o n a D^-schem e 2.7. 6 Tate extension : linea r algebr a settin g 2.7.8 , chiral approac h 3.8. 5 Tate extensio n o f a Lie * algebra 2.8.15 , 3.8. 7 Tate structur e o n a vecto r D-bundl e 2.8. 1 Tate vecto r space , compact , discret e 2.7. 7 tensor produc t o f chira l algebra s 3.4.1 5 tensor produc t o f pseudo-tensor categorie s 1.1. 9 topological associativ e algebr a 3.6. 1 topological commutativ e algebr a 2.4. 1 topological Li e algebroid 2.5.1 8 transversal quotient s 1.3. 1 twists o f chira l algebra s 3.4.1 7

unit objec t i n a compound tenso r categor y 1.3.16 , strong 1.3.1 7

vector D-bundle s 2.1.5 , on a Dx-schem e 2.3.1 0 vector D^-schem e 2.3.1 9 vertex operato r 3.5.1 4 very smoot h T>x -algebras 2.3.1 5 Virasoro extensio n 2.5.1 0 Virasoro vecto r 3.7.2 5

W-algebras 3.8.1 6 Weyl algebra , chira l an d coisso n 3.8.1 , linea r algebr a versio n 3.8.1 7 Wick algebr a 3.6.11 , globa l 3.6.2 0

0-datum 3.10. 3

Nota t ion

{A) 2.4.1 , 4.2.1 6 Aa

xs 2.4.8 , 3.6.2 , 3.6.4 , 3.6.1 3

Page 19: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

374 INDEX AND NOTATIO N

Aas 3.6.1 4 ALie 3.3. 3 A(P) 3.4.1 7 A™ 3.6.11 AW(X) 3.6.2 0 B(M) 3.4.1 8 SV, £V U, £ V 4.1. 6 C(A) 3.4.1 1 C(B,i4) 4.4. 9 C^pC, 4 ) 4.2.1 1 C'cfc(X,i4)a, C ch(X,A)VQ 4.2.1 2 Ccf t(X,A,{M5}), C ch(X,A{Ms})g>Q, e c h ( X , A , { M j ) y Q 4.2.1 9 Gch(X,A,M)TQ, e d ( X , i , M , ) M 4.2.1 9 Cch(X,B,yl)3-Q 4.4. 9 SA{X) 3.3. 3 GApO* 3.4.1 6 e ^ O M , e r

fi(,c,-), e R (£ ) 2.9. 1 e^"( i? ) 2.9. 1 CM(Ji(X)) 4.2. 6 e^'Ci?) 1.4.1 8 Corny 1.4.6 , 4.1. 6 Gomuv{X) 2.3. 1 AlS) 3.4.1 0 "DDR 3.9.1 8 £>M(ft(.X)) 4.2. 6 £,nd*(V) 2.2.15 , 2.5.6(a ) £zp(.X) 3.4. 1 gl(V) 2.5.6(a ) 0/(F)b 2.7.4 , 2.7. 8 Hch(X, A) 4.2.11 HDR(X,M) 2.1. 7 HDR(X,M) 2.1.1 2 WoC 4.1.7 3Z 2.3. 2 L t 1.1.1 6 L* 1.4.16 , 2.9. 1 Ml, N r 2.1. 1 M c o n s t 2.1.1 2 Mx 2.8.1 7 M r (X) , M'(X) , M(X ) 2.1. 1 M(X)*' 2.2. 6 M(X)0 '1 3.1.2 , M(X)cl 3.2. 5 M(X,i?*) 2.3. 5 M(X,^) ,M(X,A) c f t 3.3. 4 M(X 8 ) 3.4.1 0 M^ttpQ ) 3.4.2 O/ 3.5. 8 7>ch(A,L) 3.9. 6

Page 20: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

INDEX AND NOTATIO N 37 5

7ch(L) 3.9. 6 3>d(£) 2.8. 2 7(F) 3.4.1 6 Q(I) 1.3. 1 Q{I,m) 1.4.2 7 #(X) 3.4. 1 S 1.1. 1 § 1.2. 4 $chv(X) 2.3. 1 Spec(i?,£} 2.5.1 8 Spf Q 2.4. 1 Taie(V), Tate(y ) 2.8. 1 UW 3.1. 1 t/[J/7l 3.4. 4 f/(L) 3.7. 1 V(a) 3.6.1 4 Z(A) 3.3. 7 A, 2.2.2 , 3.1. 4 (8)*, ®c/l 3.4.1 0 ® 3.6. 1 »£s 2.4.8 , 3.6. 4 Ex 2.1.1 3 ~£ i e 2.5.1 2 Z* 2.4.1 1 3 ^ 2.5.1 9 ]_ch = X ch 4 2.16 .

Page 21: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

This page intentionally left blank

Page 22: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

Titles i n Thi s Serie s

51 Alexande r Beil inso n an d Vladimi r Drinfeld , Chira l algebras , 200 4

50 E . B . Dynkin , Diffusions , superdiffusion s an d partia l differentia l equations , 200 2

49 Vladimi r V . Chepyzho v an d Mar k I . Vishik , Attractor s fo r equation s o f mathematical physics , 200 2

48 Yoa v Benyamin i an d Jora m Lindenstrauss , Geometri c nonlinea r functiona l analysis ,

Volume 1 , 200 0

47 Yur i I . Manin , Probeniu s manifolds , quantu m cohomology , an d modul i spaces , 199 9

46 J . Bourgain , Globa l solution s o f nonlinea r Schrodinge r equations , 199 9

45 Nichola s M . Kat z an d Pete r Sarnak , Rando m matrices , Frobeniu s eigenvalues , an d monodromy, 199 9

44 Max-Alber t Knus , Alexande r Merkurjev , an d Marku s Rost , Th e boo k o f

involutions, 199 8

43 Lui s A . Caffarell i an d Xavie r Cabre , Full y nonlinea r ellipti c equations , 199 5

42 Victo r Guil lemi n an d Shlom o Sternberg , Variation s o n a them e b y Kepler , 199 0

41 Alfre d Tarsk i an d Steve n Givant , A formalizatio n o f se t theor y withou t variables , 198 7

40 R . H . Bing , Th e geometri c topolog y o f 3-manifolds , 198 3

39 N . Jacobson , Structur e an d representation s o f Jorda n algebras , 196 8

38 O . Ore , Theor y o f graphs , 196 2

37 N . Jacobson , Structur e o f rings , 195 6

36 W . H . Gottschal k an d G . A . Hedlund , Topologica l dynamics , 195 5

35 A . C . Schaeffe r an d D . C . Spencer , Coefficien t region s fo r Schlich t functions , 195 0

34 J . L . Walsh , Th e locatio n o f critica l point s o f analyti c an d harmoni c functions , 195 0

33 J . F . Rit t , Differentia l algebra , 195 0

32 R . L . Wilder , Topolog y o f manifolds , 194 9

31 E . Hill e an d R . S . Phil l ips , Functiona l analysi s an d semigroups , 195 7

30 T . Rado , Lengt h an d area , 194 8

29 A . Weil , Foundation s o f algebrai c geometry , 194 6

28 G . T . Whyburn , Analyti c topology , 194 2

27 S . Lefschetz , Algebrai c topology , 194 2

26 N . Levinson , Ga p an d densit y theorems , 194 0

25 Garret t Birkhoff , Lattic e theory , 194 0

24 A . A . Albert , Structur e o f algebras , 193 9

23 G . Szego , Orthogona l polynomials , 193 9

22 C . N . Moore , Summabl e serie s an d convergenc e factors , 193 8

21 J . M . Thomas , Differentia l systems , 193 7

20 J . L . Walsh , Interpolatio n an d approximatio n b y rationa l function s i n th e comple x

domain, 193 5

19 R . E . A . C . Pale y an d N . Wiener , Fourie r transform s i n th e comple x domain , 193 4

18 M . Morse , Th e calculu s o f variation s i n th e large , 193 4

17 J . M . Wedderburn , Lecture s o n matrices , 193 4

16 G . A . Bliss , Algebrai c functions , 193 3

15 M . H . Stone , Linea r transformation s i n Hilber t spac e an d thei r application s t o analysis ,

1932

14 J . F . Ri t t , Differentia l equation s fro m th e algebrai c standpoint , 193 2

13 R . L . Moore , Foundation s o f poin t se t theory , 193 2

12 S . Lefschetz , Topology , 193 0

11 D . Jackson , Th e theor y o f approximation , 193 0

Page 23: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32

TITLES I N THI S SERIE S

10 A . B . Coble , Algebrai c geometr y an d thet a functions , 192 9

9 G . D . Birkhoff , Dynamica l systems , 192 7

8 L . P . Eisenhart , Non-Riemannia n geometry , 192 7

7 E . T . Bell , Algebrai c arithmetic , 192 7

6 G . C . Evans , Th e logarithmi c potential , discontinuou s Dirichle t an d Neuman n problems , 1927

5.1 G . C . Evans , Functional s an d thei r applications ; selecte d topics , includin g integra l equations, 191 8

5.2 O . Veblen , Analysi s situs , 192 2

4 L . E . Dickson , O n invariant s an d th e theor y o f number s

W . F . Osgood , Topic s i n th e theor y o f function s o f severa l comple x variables , 191 4

3.1 G . A . Bliss , Fundamenta l existenc e theorems , 191 3

3.2 E . Kasner , Differential-geometri c aspect s o f dynamics , 191 3

2 E . H . Moore , Introductio n t o a for m o f genera l analysi s

M. Mason , Selecte d topic s i n th e theor y o f boundar y valu e problem s o f differentia l equations

E. J . Wilczynski , Projectiv e differentia l geometry , 191 0

1 H . S . W h i t e , Linea r system s o f curve s o n algebrai c surface s

F. S . Woods , Form s o n noneuclidea n spac e

E. B . Va n Vleck , Selecte d topic s i n th e theor y o f divergen t serie s an d o f continue d fractions, 190 5

Page 24: Chira l Algebra s - American Mathematical Society · 1.1. Pseudo-tensor categories 11 1.2. Complements 18 1.3. Compound tensor categories 24 1.4. Rudiments of compound geometry 32