Atiyah-Bott-Fixpunktsatz

Der Atiyah-Bott-Fixpunktsatz ist ein Resultat aus dem mathematischen Teilgebiet der Globalen Analysis. Er wurde 1966 von Michael Atiyah und Raoul Bott bewiesen und verallgemeinert den Fixpunktsatz von Lefschetz für glatte Mannigfaltigkeiten.

Vorbemerkungen

Sei <math>M</math> eine glatte, geschlossene Mannigfaltigkeit, dann ist die Lefschetz-Zahl

<math>L(f) := \sum_{i\geq 0}(-1)^i\mathrm{Tr}(f_i|H_i(M,\mathbb{Q}))</math>

einer stetigen Selbstabbildung <math>f \colon M \to M</math> definiert. Mit <math>f_i</math> wird die durch <math>f</math> induzierte Abbildung <math>f_i \colon H_i(M,\mathbb{Q}) \to H_i(M,\mathbb{Q})</math> bezeichnet. Die Lefschetz-Zahl ist wohldefiniert, denn die singulären Homologien <math>H_i(M,\mathbb{Q})</math> einer glatten, kompakten Mannigfaltigkeit sind als Vektorräume endlichdimensional. Der Atiyah-Bott-Fixpunktsatz verallgemeinert diese Aussage nun auf eine Klasse von Kohomologien und gibt eine Formel zur Berechnung der Lefschetz-Zahl.

Sei <math>(E,\mathrm{d})</math> ein elliptischer Komplex. Das heißt, <math>E = (\pi_i \colon E_i \to M)_{i \in \Z}</math> ist eine Folge glatter Vektorbündel und <math>\mathrm{d} = (\mathrm{d}_i \colon \Gamma(E_i) \to \Gamma(E_{i+1}))_{i \in \Z}</math> eine Folge (geometrischer) Differentialoperatoren, so dass

<math> \mathrm{d}_{i+1} \circ \mathrm{d}_i = 0</math> gilt und
die Sequenz <math>\ldots \to \pi^*(E_i) \stackrel{\sigma(\mathrm{d}_i)}{\longrightarrow} \pi^*(E_{i+1}) \to \ldots </math> exakt ist. Dabei bezeichnet <math>\pi^* (E_i)</math> das Vektorbündel über dem Kotangentialbündel <math>T^*M,</math> das durch <math>\pi \colon T^*M \to M</math> induziert wird, und <math>\sigma(\mathrm{d}_i)</math> das Hauptsymbol von <math>\mathrm{d}_i.</math>

Aufgrund der ersten Eigenschaft kann man aus jedem elliptischen Komplex eine Kohomologie <math>K</math> gewinnen und aufgrund der zweiten Eigenschaft sind die Kohomologien endlichdimensional. Sei <math>T = (T_i)_{i \in \Z} \colon (E,\mathrm{d}) \to (E,\mathrm{d})</math> ein Kettenendomorphismus. Dieser induziert einen Endomorphismus von Kohomologien <math>K(T)\colon K(\Gamma(E)) \to K(\Gamma(E)).</math> In Analogie zur Lefschetz-Zahl definiert man

<math>L(T) \colon{=} \sum_{i\geq 0}(-1)^i\mathrm{Tr}(K^i(T)).</math>

Sei <math>f \colon M \rightarrow M</math> eine differenzierbare Funktion, deren Graph zur Diagonalen in <math>M \times M</math> transversal ist. Die Fixpunkte von <math>f</math> sind gerade die Schnittpunkte des Graphen mit der Diagonalen. Aus der Transversalität folgt für alle Fixpunkte <math>x,</math> dass <math>\det(I-Df_x) \neq 0</math> gilt, wobei <math>Df_x</math> die Ableitung von <math>f</math> am Punkt <math>x</math> ist. Ein Lift <math>\phi = (\phi_i)_i</math> von <math>f</math> über einem elliptischen Komplex ist eine Folge <math>(\phi_i \colon f^* E_i \to E_i)_i</math> von Bündelhomomorphismen, so dass für <math>T_i := \Gamma \phi_i \circ f^* \colon \Gamma(E_i) \to \Gamma(E_i)</math> mit

<math>\Gamma(E_i) \stackrel{f^*}{\longrightarrow} \Gamma(f^*E_i) \stackrel{\Gamma \phi_i}{\longrightarrow} \Gamma(E_i)</math>

die Identität <math>T_{i+1} \mathrm{d}_i = \mathrm{d}_i T_i</math> gilt. Insbesondere ist dann <math>T \colon{=} (T_i)_i : \Gamma(E) \to \Gamma(E)</math> ein Endomorphismus von Schnitten in dem elliptischen Komplex <math>(E,\mathrm{d})</math>.

Atiyah-Bott-Fixpunktformel

Sei <math>M</math> eine glatte, geschlossene Mannigfaltigkeit und <math>f \colon M \to M</math> eine differenzierbare Abbildung, so dass ihr Graph transversal zur Diagonalen von <math>M \times M</math> ist. Sei außerdem <math>(E,\mathrm{d})</math> ein elliptischer Komplex, <math>\phi</math> ein Lift von <math>f</math> und <math>T : \Gamma(E) \to \Gamma(E)</math> der durch <math>T:= \Gamma \phi \circ f^*</math> definierte Endomorphismus. Dann ist die Lefschetz-Zahl <math>L(T)</math> durch

<math>L(T) = \sum_{\{x \in M | f(x) = x\}} \frac{\sum_i (-1)^i \, \operatorname{Spur} (\phi_{i}|_x)}{|\det(I-Df_x)|}</math>

bestimmt, wobei <math>\operatorname{Spur}(\phi_{j}|_x)</math> die Spur von <math>\phi_j</math> an einem Fixpunkt <math>x</math> von <math>f</math> meint und <math>Df_x</math> die Ableitung von <math>f</math> in <math>x</math> ist.

Eine Anwendung des Atiyah-Bott-Fixpunktsatzes ist ein einfacher Beweis der Weylschen Charakterformel für die Darstellung von Liegruppen.

Spezialfall

Sei <math>(\mathcal{A}(M),\mathrm{d})</math> der De-Rham-Komplex, hierbei ist <math>\mathcal{A}(M) = \Gamma(\Lambda (T^*M))</math> die Algebra der Differentialformen und <math>\mathrm{d}</math> die Cartan-Ableitung. Dies ist ein elliptischer Komplex, daher kann man die Fixpunktformel auf diesen Komplex anwenden. Sei <math>f \colon M \to M</math> wieder eine differenzierbare Abbildung, so dass ihr Graph transversal zur Diagonalen von <math>M \times M</math> ist und <math>\phi \colon \Lambda(T^*M) \to \Lambda(T^*M)</math> der entsprechende Lift. Dann gilt für den Index

Da <math>f</math> differenzierbar ist und nur isolierte Fixpunkte hat entspricht dies der Fixpunktformel von Lefschetz.

Geschichte

Die frühe Geschichte ist mit dem Atiyah-Singer-Indexsatz verbunden. Im engeren Sinn entstanden die ersten Ideen auf einer Konferenz 1964 in Woods Hole, Massachusetts (deshalb auch Woods Hole Fixpunktsatz genannt). Anscheinend stammt der ursprüngliche Anlass aus einer Bemerkung von Martin Eichler über den Zusammenhang von Fixpunktsätzen und automorphen Formen, was Gorō Shimura auf der Konferenz Raoul Bott erläuterte. Er vermutete die Existenz eines Lefschetz-Fixpunktsatzes für holomorphe Abbildungen.

Literatur

Michael F. Atiyah, Raoul Bott: A Lefschetz Fixed Point Formula for Elliptic Differential Operators. In: Bulletin of the American Mathematical Society. Bd. 72, Nr. 2, 1966, S. 245–250, (online).
Michael F. Atiyah, Raoul Bott: A Lefschetz Fixed Point Formula for Elliptic Complexes: I. In: Annals of Mathematics. Series 2, Bd. 86, Nr. 2, Sept. 1967 S. 374–407, {{#invoke:Vorlage:Handle|f|scheme=doi|class=plainlinks|parProblem=Problem|errCat=Wikipedia:Vorlagenfehler/Parameter:DOI|errClasses=error editoronly|errHide=1|errNS=0 4 10 100}}.
Michael F. Atiyah, Raoul Bott: A Lefschetz Fixed Point Formula for Elliptic Complexes: II. Applications. In: Annals of Mathematics. Series 2, Bd. 88, Nr. 3, Nov. 1968, S. 451–491, {{#invoke:Vorlage:Handle|f|scheme=doi|class=plainlinks|parProblem=Problem|errCat=Wikipedia:Vorlagenfehler/Parameter:DOI|errClasses=error editoronly|errHide=1|errNS=0 4 10 100}}, (Beweise und Anwendungen).
Nicole Berline, Ezra Getzler, Michèle Vergne: Heat Kernels and Dirac Operators. Springer, Berlin u. a. 2004, ISBN 3-540-20062-2, Kap. 6. 2.

Weblinks

Abschnitt in Aufsatz über Botts Werk von Tu, englisch
<templatestyles src="Webarchiv/styles.css" />{{#if:20040106145825

      | {{#ifeq: 20040106145825 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Treffen zum 35.Geburtstag des Theorems in Woods Hole, englisch | {{#invoke:WLink|getEscapedTitle|Treffen zum 35.Geburtstag des Theorems in Woods Hole, englisch}} | {{#invoke:Webarchiv|getdomain|http://www.whoi.edu/mpcweb/meetings/atiyah_bott_35.html}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20040106145825}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Treffen zum 35.Geburtstag des Theorems in Woods Hole, englisch | {{#invoke:WLink|getEscapedTitle|Treffen zum 35.Geburtstag des Theorems in Woods Hole, englisch}} | {{#invoke:Webarchiv|getdomain|http://www.whoi.edu/mpcweb/meetings/atiyah_bott_35.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20040106145825}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Treffen zum 35.Geburtstag des Theorems in Woods Hole, englisch | {{#invoke:WLink|getEscapedTitle|Treffen zum 35.Geburtstag des Theorems in Woods Hole, englisch}} | {{#invoke:Webarchiv|getdomain|http://www.whoi.edu/mpcweb/meetings/atiyah_bott_35.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Treffen zum 35.Geburtstag des Theorems in Woods Hole, englisch | {{#invoke:WLink|getEscapedTitle|Treffen zum 35.Geburtstag des Theorems in Woods Hole, englisch}} | {{#invoke:Webarchiv|getdomain|http://www.whoi.edu/mpcweb/meetings/atiyah_bott_35.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Treffen zum 35.Geburtstag des Theorems in Woods Hole, englisch | {{#invoke:WLink|getEscapedTitle|Treffen zum 35.Geburtstag des Theorems in Woods Hole, englisch}} | {{#invoke:Webarchiv|getdomain|http://www.whoi.edu/mpcweb/meetings/atiyah_bott_35.html}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Treffen zum 35.Geburtstag des Theorems in Woods Hole, englisch | {{#invoke:WLink|getEscapedTitle|Treffen zum 35.Geburtstag des Theorems in Woods Hole, englisch}} | {{#invoke:Webarchiv|getdomain|http://www.whoi.edu/mpcweb/meetings/atiyah_bott_35.html}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20040106145825|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.whoi.edu/mpcweb/meetings/atiyah_bott_35.html}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: Treffen zum 35.Geburtstag des Theorems in Woods Hole, englisch
    | {{#if: {{#invoke:WLink|isBracketedLink|Treffen zum 35.Geburtstag des Theorems in Woods Hole, englisch}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.whoi.edu/mpcweb/meetings/atiyah_bott_35.html%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.whoi.edu/mpcweb/meetings/atiyah_bott_35.html%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.whoi.edu/mpcweb/meetings/atiyah_bott_35.html }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}

Vortrag von McPherson zur Woods Hole Konferenz, englisch (PDF-Datei; 560 kB)