نظرية أس عطية-سينجر

طُرِحت مشكلة الأس في المؤثرات التفاضلية الإهليجية من قبل العَالِم . فقد لاحظ ثباتًا شاذًا في الأس، وطالب بابتكار صيغة لها عن طريق الكمية الثابتة الطوبولوجية. ومن بين الأمثلة المُحفِّزة نظرية ريمان-روك وقانونه العام نظرية هيرزبروك-ريمان-روك، وأيضًا نظرية هيرتسبروخ (Hirzebruch signature theorem). نجح هيرتسبروخ وبوريل في إثبات صحة وتكامل عنصر Â في شعب دروري متعددة، واقترح عطية بأن هذا التكامل من الممكن تفسيره إذا كان أس مؤثر ديراك (الذي أُعيد اكتشافه من قبل عطية وسينجر عام 1961).

وتم الإعلان رسميًا عن نظرية عطية-سينجر من قِبَل عطية وسينجر عام 1963. وهما لم يقوما بنشر البراهين في إعلانهما، على الرغم من وجودها في كتاب بعنوان (Palais 1965). أول برهان نُشر (Atiyah & Singer 1968a) استبدَّل نظرية cobordism على أول برهان بنظرية K-theory، وقاموا باستخدامه لتقديم براهين على قوانين عامة مُتعدِّدة على المستندات.

• 1965: إس بي نوفيكوف (Novikov 1965) قام بنشر نتائجه عن الثوابت الطوبولوجية لفئات (Pontrjagin) الجذرية على تعدد الشعب المُستقرة.
• ونتائج كيربي وسيبينمان (Kirby & Siebenmann 1969)، مع حُجة العالِم رينيه ثوم (Thom 1956) (René Thom) تُثبِت وجود فئات (Pontryagin) الجذرية على تعدد الشعب الطوبولوجية. وتُعد فئات (Pontrjagin) الجذرية عناصر ضرورية لنظرية الأس على تعدد الشعب المُستقرة والطوبولوجية.
• 1969: عرَّف عطية (Atiyah 1970) المؤثرات الإهليليجية المُجردة على الفضاء المتري الكيفي. أصبحت المؤثرات الإهليليجية المُجردة العناصر الأساسية في نظرية كاسباروف(Kasparov) والهندسة التفاضلية اللاتبديليَّة التي وضعها العالِم كونيس(Connes).
• 1971: إي إم سينجر (Singer 1971) اقترح منهجًا شاملاً للتوسيعات المستقبلية لنظرية الأس.
• 1972: قام جي جي كاسباروف (Kasparov 1972) بنشر أعماله بخصوص تحقيق تناظُر K عن طريق المؤثرات الإهليليجية المُجردة.
• قدَّم برهانًا جديدًا لنظرية الأس باستخدام معادلة الحرارة، الذي ذُكِرت في (Melrose 1993).
• 1977: الدكتور سوليفان (Sullivan 1979) قام ببناء نظريته عن وجود وتفرُّد العالِم ليبشيتز(Lipschitz) والبِنيات التي تكاد تكون مطابقة على تعدُّد الشعب الطوبولوجية للبُعد المختلف عن البُعد الرابع.
• Getzler (1983) بعدما شجَّعته أفكار وألفاريز جوم، قدَّم برهانًا مختصرًا عن نظرية الأس الموضعية للمؤثرات التي تُعتبر داخليًا مؤثرات ديراك؛ وهذا يعالج الكثير من القضايا المُفيدة.
• 1983: إن تيليمان (Teleman 1983) أثبت أن الأسس التحليلية لمؤثرات التوقيع التي تحتوي على القِيم في الحزم الشعاعية هي الثوابت الطوبولوجية.
• 1984: قام إن تيليمان (Teleman 1984) بتكوين نظرية الأس مُستنِدًا على تعدد الشعب الطوبولوجية.
• 1986: إيه كونيس (Connes 1986) قام بنشر حُجَّته الجوهرية عن الهندسة اللاتبديلية.
• 1989: قام كلٌ من إس كي دونالدسن والدكتور سوليفان (Donaldson & Sullivan 1989) بدراسة نظرية يانغ ميلس عن تعدد الشعب الشبه مطابقة للبُعد الرابع. كما قدَّما مؤثر التوقيع S المُحدَّد على أساس الصِيغ التفاضلية من الدرجة الثانية.
• 1990: أثبت كلٌ من إيه كونيس وإتش موسكوفيتشي (Connes & Moscovici 1990) الأس الداخلي في سياق الهندسة اللاتبديلية.
• 1994: برهن إيه كونيس، الدكتور سوليفان وإن تيليمان (Connes, Sullivan & Teleman 1994) على نظرية الأس لمؤثرات التوقيع على تعدد الشعب الشبه مطابقة.

The papers by Atiyah are reprinted in volumes 3 and 4 of his collected works,

• Atiyah, M. F. (1970), "Global Theory of Elliptic Operators", Proc. Int. Conf. on Functional Analysis and Related Topics (Tokyo, 1969), University of Tokio, Zbl = complete&q = an:0193.43601 0193.43601 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Atiyah, M. F. (1976), "Elliptic operators, discrete groups and von Neumann algebras", Colloque "Analyse et Topologie" en l'Honneur de Henri Cartan (Orsay, 1974), 32–33, Soc. Math. France, Paris, صفحات 43–72, MR = 0420729 0420729 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Atiyah, M. F.; Segal, G. B. (1968), "The Index of Elliptic Operators: II", The Annals of Mathematics 2nd Ser., The Annals of Mathematics, Vol. 87, No. 3, 87 (3): 531–545, doi:10.2307/1970716, JSTOR 1970716 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link) This reformulates the result as a sort of Lefschetz fixed point theorem, using equivariant K theory.
• Atiyah, Michael F.; Singer, Isadore M. (1963), "The Index of Elliptic Operators on Compact Manifolds", Bull. Amer. Math. Soc., 69 (3): 322–433, doi:10.1090/S0002-9904-1963-10957-X الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link) An announcement of the index theorem.
• Atiyah, Michael F.; Singer, Isadore M. (1968a), "The Index of Elliptic Operators I", Ann. Math., The Annals of Mathematics, Vol. 87, No. 3, 87 (3): 484–530, doi:10.2307/1970715, JSTOR 1970715 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link) This gives a proof using K theory instead of cohomology.
• Atiyah, Michael F.; Singer, Isadore M. (1968b), "The Index of Elliptic Operators III", Annals of Mathematics. Second Series, 87 (3): 546–604, doi:10.2307/1970717, JSTOR 1970717 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link) This paper shows how to convert from the K-theory version to a version using cohomology.
• Atiyah, Michael F.; Singer, Isadore M. (1971), "The Index of Elliptic Operators IV", Annals of Mathematics. Second Series, The Annals of Mathematics, Vol. 93, No. 1, 93 (1): 119–138, doi:10.2307/1970756, JSTOR 1970756 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link) This paper studies families of elliptic operators, where the index is now an element of the K-theory of the space parametrizing the family.
• Atiyah, Michael F.; Singer, Isadore M. (1971), "The Index of Elliptic Operators V", Annals of Mathematics. Second Series, The Annals of Mathematics, Vol. 93, No. 1, 93 (1): 139–149, doi:10.2307/1970757, JSTOR 1970757 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link). This studies families of real (rather than complex) elliptic operators, when one can sometimes squeeze out a little extra information.
• Atiyah, M. F.; Bott, R. (1966), "A Lefschetz Fixed Point Formula for Elliptic Differential Operators", Bull. Am. Math. Soc., 72 (2): 245–50, doi:10.1090/S0002-9904-1966-11483-0 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link). This states a theorem calculating the Lefschetz number of an endomorphism of an elliptic complex.
• Atiyah, M. F.; Bott, R. (1967), "A Lefschetz Fixed Point Formula for Elliptic Complexes: I", The Annals of Mathematics 2nd Ser., The Annals of Mathematics, Vol. 86, No. 2, 86 (2): 374–407, doi:10.2307/1970694, JSTOR 1970694 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link) and Atiyah, M. F.; Bott, R. (1968), "A Lefschetz Fixed Point Formula for Elliptic Complexes: II. Applications", Annals of Mathematics. Second Series, The Annals of Mathematics, Vol. 88, No. 3, 88 (3): 451–491, doi:10.2307/1970721, JSTOR 1970721 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link) These give the proofs and some applications of the results announced in the previous paper.
• Atiyah, M.; Bott, R.; Patodi, V. K. (1973), "On the heat equation and the index theorem", Invent. Math., 19 (4): 279–330, Bibcode:1973InMat..19..279A, doi:10.1007/BF01425417, MR = 0650828 0650828 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link). "Errata", Invent. Math., 28 (3): 277–280, 1975, Bibcode:1975InMat..28..277A, doi:10.1007/BF01425562, MR = 0650829 0650829 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Atiyah, Michael; Schmid, Wilfried (1977), "A geometric construction of the discrete series for semisimple Lie groups", Invent. Math., 42: 1–62, Bibcode:1977InMat..42....1A, doi:10.1007/BF01389783, MR = 0463358 0463358 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link), Atiyah, Michael; Schmid, Wilfried (1979), "Erratum:", Invent. Math., 54 (2): 189–192, Bibcode:1979InMat..54..189A, doi:10.1007/BF01408936, MR = 0550183 0550183 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Atiyah, Michael (1988a), Collected works. Vol. 3. Index theory: 1, New York: The Clarendon Press, Oxford University Press, ISBN 0-19-853277-6, MR = 0951894 0951894 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Atiyah, Michael (1988b), Collected works. Vol. 4. Index theory: 2, New York: The Clarendon Press, Oxford University Press, ISBN 0-19-853278-4, MR = 0951895 0951895 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Baum, P.; Fulton, W.; Macpherson, R. (1979), "Riemann-Roch for singular varieties", Acta Mathematica, 143: 155–191, doi:10.1007/BF02684299, Zbl = complete&q = an:0332.14003 0332.14003 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Berline, Nicole; Getzler, Ezra; Vergne, Michèle (2004), Heat Kernels and Dirac Operators, Berlin: Springer, ISBN 3-540-20062-2 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link) This gives an elementary proof of the index theorem for the Dirac operator, using the heat equation and supersymmetry.
• Bismut, Jean-Michel (1984), "The Atiyah–Singer Theorems: A Probabilistic Approach. I. The index theorem" (PDF), J. Funct. Analysis, 57: 56–99, doi:10.1016/0022-1236(84)90101-0 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link) Bismut proves the theorem for elliptic complexes using probabilistic methods, rather than heat equation methods.
• Connes, A. (1986), "Non-commutative differential geometry", Publications Mathematiques, Paris, 62: 257–360, doi:10.1007/BF02698807, Zbl = complete&q = an:0592.46056 0592.46056 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Connes, A. (1994), Noncommutative Geometry, San Diego: Academic Press, ISBN 978-0-12-185860-5, Zbl = complete&q = an:0818.46076 0818.46076 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Connes, A.; Moscovici, H. (1990), "Cyclic cohomology, the Novikov conjecture and hyperbolic groups" (PDF), Topology, 29 (3): 345–388, doi:10.1016/0040-9383(90)90003-3, Zbl = complete&q = an:0759.58047 0759.58047 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Connes, A.; Sullivan, D.; Teleman, N. (1994), "Quasiconformal mappings, operators on Hilbert space and local formulae for characteristic classes", Topology, 33 (4): 663–681, doi:10.1016/0040-9383(94)90003-5, Zbl = complete&q = an:0840.57013 0840.57013 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Donaldson, S.K.; Sullivan, D. (1989), "Quasiconformal 4-manifolds", Acta Mathematica, 163: 181–252, doi:10.1007/BF02392736, Zbl = complete&q = an:0704.57008 0704.57008 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Gel'fand, I. M. (1960), "On elliptic equations", Russ. Math.Surv., 15 (3): 113–123, Bibcode:1960RuMaS..15..113G, doi:10.1070/rm1960v015n03ABEH004094 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link) reprinted in volume 1 of his collected works, p. 65–75, ISBN 0-387-13619-3. On page 120 Gel'fand suggests that the index of an elliptic operator should be expressible in terms of topological data.
• Getzler, E. (1983), "Pseudodifferential operators on supermanifolds and the Atiyah–Singer index theorem", Commun. Math. Phys., 92 (2): 163–178, Bibcode:1983CMaPh..92..163G, doi:10.1007/BF01210843 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Getzler, E. (1988), "A short proof of the local Atiyah–Singer index theorem", Topology, 25: 111–117, doi:10.1016/0040-9383(86)90008-X الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Gilkey, Peter B. (1994), Invariance Theory, the Heat Equation, and the Atiyah–Singer Theorem, ISBN 0-8493-7874-5 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link) Free online textbook that proves the Atiyah–Singer theorem with a heat equation approach
• Kasparov, G.G. (1972), "Topological invariance of elliptic operators, I: K-homology", Math. USSR Izvestija (Engl. Transl.), 9 (4): 751–792, Bibcode:1975IzMat...9..751K, doi:10.1070/IM1975v009n04ABEH001497 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Kirby, R.; Siebenmann, L.C. (1969), "On the triangulation of manifolds and the Hauptvermutung", Bull. Amer. Math. Soc., 75 (4): 742–749, doi:10.1090/S0002-9904-1969-12271-8 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Kirby, R.; Siebenmann, L.C. (1977), Foundational Essays on Topological Manifolds, Smoothings and Triangulations, 88, Princeton: Princeton University Press and Tokio University Press الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Melrose, Richard B. (1993), The Atiyah–Patodi–Singer Index Theorem, Wellesley, Mass.: Peters, ISBN 1-56881-002-4 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link) Free online textbook.
• Novikov, S.P. (1965), "Topological invariance of the rational Pontrjagin classes" (PDF), Doklady Akademii Nauk SSSR, 163: 298–300 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Palais, Richard S. (1965), Seminar on the Atiyah–Singer Index Theorem, 57, S.l.: Princeton Univ Press, ISBN 0-691-08031-3 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link) This describes the original proof of the theorem (Atiyah and Singer never published their original proof themselves, but only improved versions of it.)
• Shanahan, P. (1978), The Atiyah–Singer index theorem: an introduction, 638, Springer, doi:10.1007/BFb0068264, ISBN 0-387-08660-9 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Singer, I.M. (1971), "Future extensions of index theory and elliptic operators", Prospects in Mathematics, 70, صفحات 171–185 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Sullivan, D. (1979), "Hyperbolic geometry and homeomorphisms", J.C. Candrell, "Geometric Topology", Proc. Georgia Topology Conf. Athens, Georgia, 1977, New York: Academic Press, صفحات 543–595, ISBN 0-12-158860-2, Zbl = complete&q = an:0478.57007 0478.57007 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Sullivan, D.; Teleman, N. (1983), "An analytic proof of Novikov's theorem on rational Pontrjagin classes", Publications Mathematiques, Paris, 58: 291–293, Zbl = complete&q = an:0531.58045 0531.58045 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Teleman, N. (1980), "Combinatorial Hodge theory and signature operator", Inventiones Mathematicae, 61 (3): 227–249, Bibcode:1980InMat..61..227T, doi:10.1007/BF01390066 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Teleman, N. (1983), "The index of signature operators on Lipschitz manifolds", Publications Mathematiques, Paris, 58: 251–290, doi:10.1007/BF02953772, Zbl = complete&q = an:0531.58044 0531.58044 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Teleman, N. (1984), "The index theorem on topological manifolds", Acta Mathematica, 153: 117–152, doi:10.1007/BF02392376, Zbl = complete&q = an:0.547.58036 0.547.58036 تأكد من صحة قيمة |zbl= (مساعدة) الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Teleman, N. (1985), "Transversality and the index theorem", Integral Equations and Operator Theory, 8 (5): 693–719, doi:10.1007/BF01201710 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Thom, R. (1956), "Les classes caractéristiques de Pontrjagin de variétés triangulées", Symp. Int. Top. Alg. Mexico, صفحات 54–67 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
• Witten, Edward (1982), "Supersymmetry and Morse theory", J. Diff. Geom., 17, صفحات 661–692, MR = 0683171 0683171 الوسيط |CitationClass= تم تجاهله (مساعدة); الوسيط |separator= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)

• Rafe Mazzeo: The Atiyah–Singer Index Theorem: What it is and why you should care. Pdf presentation.
• Raussen, Skau, Interview with Atiyah, Singer, Notices AMS 2005.
• R. R. Seeley and other, Recollections from the early days of index theory and pseudo-differential operators
• A. J. Wassermann, Lecture notes on the Atiyah–Singer Index Theorem

• بوابة رياضيات