{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q788973","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q788973","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q788973","kernelVersion":"v1","immutable":true,"modified":"2026-01-05T14:15:33Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q788973","name":"Automorphisms of the infinite dimensional Clifford algebra and the Atiyah-Singer mod 2 index","headline":"Automorphisms of the infinite dimensional Clifford algebra and the Atiyah-Singer mod 2 index","description":"scientific article; zbMATH DE number 3844430","url":"https://portal.mardi4nfdi.de/entity/Q788973","datePublished":"1983-00-00","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q759977"},{"@id":"https://portal.mardi4nfdi.de/entity/Q294055"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q172615"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/0040-9383(83)90036-8","url":"https://doi.org/10.1016/0040-9383(83)90036-8"},"sameAs":["https://doi.org/10.1016/0040-9383(83)90036-8"],"comment":"Some generalizations of the two groups of implimentable automorphisms of (1) the canonical anti-commutation relations and (2) the Clifford algebra, are given, and an index map for each is constructed. The paper consists of five sections. In {\\S}1, the motivation and most definitions needed are exposed. {\\S}2, 3 and 4 are devoted in turn to the proof of three main results:    Theorem 1.4. Put \\({\\mathcal O}=\\{O\\); O orthogonal on E with \\(O+JOJ\\in {\\mathfrak S}\\}\\), where E is a real, separable Hilbert space equipped with a complex structure J (i.e. \\(J^ 2=-1\\), \\(J^*=-J)\\), and \\({\\mathcal S}\\) is a separable symmetrical ideal of real linear operators on E. \\({\\mathcal O}(\\infty)\\) and \\({\\mathcal U}(\\infty)\\) denote the stable orthogonal and unitary groups respectively. Then \\({\\mathcal O}\\) has the homotopy type of the homogeneous space \\({\\mathcal O}(\\infty)/{\\mathcal U}(\\infty)\\). In particular, the first homotopy group \\(\\pi_ 0({\\mathcal O})\\cong {\\mathbb{Z}}_ 2.\\)    Theorem 1.5. Let H be a complex Hilbert space E with J. Then \\({\\mathcal O}\\) is a complete metric group and \\(i_{{\\mathcal O}}:{\\mathcal O}\\to {\\mathbb{Z}}_ 2:\\quad O\\to \\dim_ H \\ker(O-JOJ)\\) is an index map for \\({\\mathcal O}.\\)    Theorem 1.7. \\(i_{{\\mathcal G}}:{\\mathcal G}\\to {\\mathbb{Z}}:\\quad G\\to \\quad Fredholm\\quad index\\quad of\\quad P_+GP_+,\\) is an index map for \\({\\mathcal G}\\), where \\({\\mathcal G}\\) is defined by \\(\\{\\) G; G and \\(G^{-1}\\) are bounded on H, \\(P_{\\pm}GP_{\\mp}\\in {\\mathcal S}\\}\\) corresponding to a pair of infinite-rank, complementary (i.e. \\(P_++P_-=1)\\) and self-adjoint projections \\(P_+\\) and \\(P_-\\) on H.    Incidentally, in {\\S}5 the authors deduce the index theorem for real, skew-adjoint Fredholm operators, obtained by \\textit{M. F. Atiyah} and \\textit{I. M. Singer} [Inst. Haut. Etud. Sci., Publ. Math. 37(1969), 5-26 (1970; Zbl 0194.555)] from Theorem 1.5."},"provenance":{"prov:generatedAtTime":"2026-01-05T14:15:33Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}