²é¿´: 499  |  »Ø¸´: 0
µ±Ç°Ö÷ÌâÒѾ­´æµµ¡£

zhq025

½ð³æ (СÓÐÃûÆø)


[×ÊÔ´] Algebraic quantum field theory 2006

Hans Halvorson†
with an appendix by Michael M¡§uger
February 14, 2006

Contents
1   Algebraic Prolegomena 4
1.1   von Neumann algebras .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .       4
1.2   C∗-algebras and their representations .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .       6
1.3   Type classification of von Neumann algebras   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .       8
1.4   Modular theory .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     10
2   Structure of the Net of Observable Algebras 13
2.1   Nets of algebras, basic properties  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     13
2.2   Existence/uniqueness of vacuum states/representations .  .  .  .  .  .  .  .  .  .  .  .     14
2.3   The Reeh-Schlieder Theorem   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     17
2.4   The funnel property   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     18
2.5   Type of local algebras   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     20
3   Nonlocality and Open Systems in AQFT 25
3.1   Independence of C∗  and von Neumann algebras .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     26
3.2   Independence of local algebras   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     28
3.3   Bell correlation between von Neumann algebras .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     29
3.4   Intrinsically entangled states   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     31
4   Prospects for Particles 32
4.1   Particles from Fock space   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     32
4.2   Fock space from the algebra of observables .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     33
4.3   Nonuniqueness of particle interpretations   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     35
4.4   Problems for localized particles  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     35
4.5   Particle interpretations generalized: Scattering theory and beyond   .  .  .  .  .     36
5   The Problem of Value-Definiteness in AQFT 37
5.1   Clifton-Kitajima classification of modal algebras   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     38
5.2   What is a symmetry in AQFT?  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     40
6   Quantum Fields and Spacetime Points 42
6.1   No Go theorems   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     43
6.2   Go theorems   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     48
6.3   Field interpretations of QFT   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     52
6.4   Points of time?  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     53
7   The Problem of Inequivalent Representations 54
7.1   Superselection rules   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     55
7.2   Minimal assumptions about the algebra of observables  .  .  .  .  .  .  .  .  .  .  .  .     57
8   The Category ¦¤ of Localized Transportable Endomorphisms 59
8.1   ¦¤ is a braided tensor ∗-category   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     68
8.2   Relation between localized endomorphisms and representations  .  .  .  .  .  .  .     74
8.3   Dimension theory in tensor ∗-categories   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     77
8.4   Covariant representations   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     79
8.5   Statistics in braided tensor ∗-categories   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     81
9   From Fields to Representations 82
10 From Representations to Fields 90
10.1  Supermathematics and the embedding theorem  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     92
10.2  Construction of the field net, algebraic  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .     94
10.3  Completion of the field net   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   104
10.4  Poincar´e covariance of the field net  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   107
10.5  Uniqueness of the field net .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   109
10.6  Further relations between A and F, and a Galois interpretation  .  .  .  .  .  .  .   114
10.7  Spontaneous symmetry breaking   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   116
11 Foundational Implications of the Reconstruction Theorem 117
11.1  Algebraic Imperialism and Hilbert Space Conservatism .  .  .  .  .  .  .  .  .  .  .  .   118
11.2  Explanatory relations between representations .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   120
11.3  Fields as theoretical entities, as surplus structure  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   122
11.4  Statistics, permutation symmetry, and identical particles .  .  .  .  .  .  .  .  .  .  .   125
Bibliography 133
Appendix (by Michael M¡§uger) 144
A  Categorical Preliminaries 144
A.1   Basics  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   144
A.2   Tensor categories and braidings  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   145
A.3   Graphical notation for tensor categories   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   149
A.4   Additive, C-linear and ∗-categories  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   149
A.5   Abelian categories   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   155
A.6   Commutative algebra in abelian symmetric tensor categories   .  .  .  .  .  .  .  .   157
A.7   Inductive limits and the Ind-category .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   161
B  Abstract Duality Theory for Symmetric Tensor ∗-Categories 162
B.1   Fiber functors and the concrete Tannaka theorem. Part I   .  .  .  .  .  .  .  .  .  .   163
B.2   Compact supergroups and the abstract Tannaka theorem   .  .  .  .  .  .  .  .  .  .   165
B.3   Certain algebras arising from fiber functors   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   168
B.4   Uniqueness of fiber functors  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   172
B.5   The concrete Tannaka theorem. Part II   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   175
B.6   Making a symmetric fiber functor ∗-preserving   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   177
B.7   Reduction to finitely generated categories   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   181
B.8   Fiber functors from monoids   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   183
B.9   Symmetric group action, determinants and integrality of dimensions   .  .  .  .   186
B.10 The symmetric algebra .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   191
B.11 Construction of an absorbing commutative monoid  .  .  .  .  .  .  .  .  .  .  .  .  .  .   194
B.12 Addendum   .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .   200

Download link£ºhttp://www.isload.com.cn/store/gdwk3s3hbgho2

[ Last edited by zhq025 on 2008-1-16 at 10:43 ]
»Ø¸´´ËÂ¥
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû
Ïà¹Ø°æ¿éÌø×ª ÎÒÒª¶©ÔÄÂ¥Ö÷ zhq025 µÄÖ÷Ìâ¸üÐÂ
¡î ÎÞÐǼ¶ ¡ï Ò»ÐǼ¶ ¡ï¡ï¡ï ÈýÐǼ¶ ¡ï¡ï¡ï¡ï¡ï ÎåÐǼ¶
×î¾ßÈËÆøÈÈÌûÍÆ¼ö [²é¿´È«²¿] ×÷Õß »Ø/¿´ ×îºó·¢±í
[½Ìʦ֮¼Ò] ÊÛSCI-T0PÎÄÕ£¬ÎÒ:8O.5.5.1.O.54,¿ÆÄ¿ÆëÈ«,¿É+¼± +3 ASdOkHsho7FD 2026-08-28 4/200 2026-08-29 04:06 by gy1nBQXYQJqL
[»ù½ðÉêÇë] ¹ú×ÔÈ»ÆÀÉóÒâ¼û +11 wangmingqi 2026-08-28 15/750 2026-08-29 00:17 by fangyl2005
[»ù½ðÉêÇë] ¹ú×ÔÈ»ÃæÉϸ´ÅÌ~»¶Ó­ÌÖÂÛ (½ð±Ò+15) +13 ÇçÌì¼ÓÓÍ 2026-08-26 14/700 2026-08-28 18:36 by huagongfeihu
[»ù½ðÉêÇë] ϵͳ²é²»µ½ +11 ¶­°Ëǧ 2026-08-26 11/550 2026-08-28 18:06 by Leogzhya
[½Ìʦ֮¼Ò] µ¼Ê¦Í²ۣºÎÒÔõô̯ÉÏÁËÕâô¸ö¼«Æ·Ñо¿Éú£¡ +8 ËÕ¶«ÆÂ¶þÊÀ 2026-08-23 8/400 2026-08-28 14:41 by lkforward
[»ù½ðÉêÇë] 2026ÄêÒ¶ÆóËï»ù½ð +3 bud_bud 2026-08-27 6/300 2026-08-28 11:53 by bud_bud
[»ù½ðÉêÇë] ÉêÇëɾ³ý±¾Ìû +6 lyz123lyz 2026-08-27 7/350 2026-08-27 17:31 by Äþ¾²ÖÂÔ¶sy
[»ù½ðÉêÇë] »ù½ðδÖУ¬ÕâÖÖ´ð¸´ÊÇÄ£°åÂ𣿠+5 zhaosm1982 2026-08-27 6/300 2026-08-27 16:00 by lfy8008
[ÎÄѧ·¼²ÝÔ°] ÃÎÏë +3 myrtle 2026-08-26 3/150 2026-08-27 10:01 by angelyueyi
[»ù½ðÉêÇë] Ϊʲô ¹ú¼Ê(µØÇø)ºÏ×÷Óë½»Á÷ÏîÄ¿ ûÓзŰñ£¿ 10+3 majunge000 2026-08-26 11/550 2026-08-27 08:42 by ±±¾©À³Òð±à¼­
[»ù½ðÉêÇë] 2026ÄêµÄ¹ú¼ÒÉç¿Æ»ù½ðÏîĿͨѶÆÀÉóµÄйæÔòÓëж¯Ïò¡¢ÐÂÌôÕ½ +7 process2012 2026-08-23 10/500 2026-08-26 19:23 by hmhminy
[»ù½ðÉêÇë] 2026Äê8ÔÂ25ÈÕ¹ú×ÔÈ»·Å°ñǰͻȻÊÕµ½ÁÐÈëÆÀÉóר¼ÒÓʼþ£¬ÓйØÏµÂ𣿠+25 ľˮ˼¶¹ 2026-08-25 28/1400 2026-08-26 14:53 by draco1987
[»ù½ðÉêÇë] ÄÜ·ñÍ˳ö²ÎÓëµÄÃæÉÏÏîÄ¿½â³ýÏÞÏî +23 koalala 2026-08-24 26/1300 2026-08-26 14:29 by ±¦±´³æ×Ó
[»ù½ðÉêÇë] ϵͳ½ø²»È¥ +4 yanglien 2026-08-26 5/250 2026-08-26 11:10 by wenfengw83
[»ù½ðÉêÇë] ½ñÌìÎñί»á¿ªÍêÁË£¬Ã÷Ìì³ö½á¹ûÂð +19 angus9576 2026-08-25 23/1150 2026-08-26 10:03 by zp519
[Ö°³¡ÈËÉú] ѧÉúײ¼û¸¨µ¼Ô±ËÍÍâÂô£¬µÚ¶þÌìÈ«°à¶¼³ÁĬÁË +3 ¾¨ÓãÈÚ½ð_Õã½­_É 2026-08-22 3/150 2026-08-26 09:01 by zzuzxg
[»ù½ðÉêÇë] ÔÚ¼á±ù»¹¸Ç×ű±º£µÄʱºò£¬ÎÒ¿´µ½ÁËÅ­·ÅµÄ÷»¨¡£ (½ð±Ò+10) +6 ziyangfang 2026-08-25 9/450 2026-08-25 20:26 by huagongfeihu
[»ù½ðÉêÇë] ijЩ»ú¹¹£¬ÒÔЧÂʵÍΪÈÙ£¬ÒÔЧÂʵÍ×÷Ϊ´æÔڸР+9 yuleib84 2026-08-25 10/500 2026-08-25 17:14 by alexon
[»ù½ðÉêÇë] ûÓÐÈκÎÏûÏ¢-ÊDz»ÊǾÍÁ¹ÁË +9 ͼÀ²Í¼À² 2026-08-24 10/500 2026-08-25 11:59 by ÄϺ£Ð¡¸ç
[½Ìʦ֮¼Ò] Ìø²ÛºóÔÚÑÐÏîÄ¿Ôõô°ì£¿ +5 ¼òµ¥»¯xn 2026-08-22 10/500 2026-08-23 12:38 by ¼òµ¥»¯xn
ÐÅÏ¢Ìáʾ
ÇëÌî´¦ÀíÒâ¼û