Automorphisms of the infinite dimensional Clifford algebra and the Atiyah-Singer mod 2 index (Q788973): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Set OpenAlex properties.
 
(One intermediate revision by one other user not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0040-9383(83)90036-8 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2013917670 / rank
 
Normal rank

Latest revision as of 00:24, 20 March 2024

scientific article
Language Label Description Also known as
English
Automorphisms of the infinite dimensional Clifford algebra and the Atiyah-Singer mod 2 index
scientific article

    Statements

    Automorphisms of the infinite dimensional Clifford algebra and the Atiyah-Singer mod 2 index (English)
    0 references
    0 references
    0 references
    0 references
    1983
    0 references
    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.
    0 references
    Hilbert space with complex structure
    0 references
    index theorem for real skew-adjoint Fredholm operators
    0 references
    canonical anti-commutation relations
    0 references
    Clifford algebra
    0 references
    homotopy type
    0 references
    homogeneous space
    0 references
    complete metric group
    0 references
    Fredholm index
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references