CAT(0)-Raum

CAT(0)-Räume sind ein Begriff aus der Geometrie, mit dem Eigenschaften von Mannigfaltigkeiten nichtpositiver Krümmung auf allgemeine metrische Räume verallgemeinert werden. Ihre definierende Eigenschaft ist, dass Dreiecke dünner sein sollen als Vergleichsdreiecke in der euklidischen Ebene.

Definition

Vergleichsdreiecke

Datei:Trianglecomparison.JPG

<math>d(x,y)\le\parallel x^\prime-y^\prime\parallel</math>

Sei <math>(X,d)</math> ein geodätischer metrischer Raum. Ein geodätisches Dreieck <math>\Delta(a,b,c)</math> in <math>X</math> ist ein Dreieck mit Ecken <math>a,b,c\in X</math>, dessen drei Seiten Geodäten sind. Zu jedem geodätischen Dreieck <math>\Delta(a,b,c)</math> gibt es ein (bis auf Kongruenz eindeutiges) Vergleichsdreieck <math>\Delta(a^\prime,b^\prime,c^\prime)</math> im <math>\mathbb R^2</math> mit

<math>d(a,b)=\lVert a^\prime-b^\prime\rVert,\ d(a,c)=\lVert a^\prime-c^\prime\rVert,\ d(b,c)=\lVert b^\prime-c^\prime\rVert</math>.

Man hat dann eine Vergleichsabbildung

<math>f:\partial \Delta(a,b,c)\rightarrow\partial \Delta(a^\prime,b^\prime,c^\prime)</math>,

die (zum Beispiel) jedem Punkt <math>x</math> auf der Seite <math>(a,b)</math> den entsprechenden Punkt <math>x^\prime</math> auf der Seite <math>(a^\prime,b^\prime)</math> (d. h. den eindeutigen Punkt mit <math>\lVert x^\prime-a^\prime\rVert=d(x,a)</math>) zuordnet, analog für die beiden anderen Seiten.

CAT(0)-Räume

Ein geodätischer metrischer Raum <math>(X,d)</math> ist ein CAT(0)-Raum, wenn zu jedem geodätischen Dreieck <math>\Delta(a,b,c)</math> in <math>X</math> mit Vergleichsabbildung <math>f:\partial \Delta(a,b,c)\rightarrow\partial \Delta(a^\prime,b^\prime,c^\prime)</math> die Ungleichung

<math>d(x,y)\le\lVert f(x)-f(y)\rVert </math> für alle <math>x,y\in \partial \Delta(a,b,c)</math> gilt.

Anschaulich: Jedes geodätische Dreieck ist mindestens so dünn wie sein Vergleichsdreieck.

Beispiele

Einfach zusammenhängende vollständige Riemannsche Mannigfaltigkeiten nichtpositiver Schnittkrümmung sind CAT(0)-Räume. Dazu zählen der euklidische <math>\mathbb R^n</math>, der hyperbolische Raum, <math>SL(n,\mathbb R)/SO(n)</math>, allgemeiner alle symmetrischen Räume ohne kompakten Faktor.
Einfach zusammenhängende vollständige Riemannsche Mannigfaltigkeiten nichtpositiver Schnittkrümmung werden auch als Hadamard-Mannigfaltigkeiten bezeichnet. Vollständige CAT(0)-Räume bezeichnet man als Hadamard-Räume.
Endliche Produkte von CAT(0)-Räumen sind CAT(0)-Räume.
<math>\mathbb R</math>-Bäume und euklidische oder hyperbolische Gebäude sind CAT(0)-Räume.
Hilberträume sind CAT(0)-Räume.
Eine zusammenziehbare Mannigfaltigkeit der Dimension <math>\ge 6</math> trägt genau dann eine geodätisch vollständige CAT(0)-Metrik, wenn sie kollabierbar ist.<ref>Adiprasito-Funar: Hyperbolicity of contractible manifolds</ref>
Satz von Gromov: Ein kubischer Komplex ist genau dann ein CAT(0)-Raum, wenn er einfach zusammenhängend und der Link jeder Ecke ein Fahnenkomplex ist.

Eigenschaften

In einem CAT(0)-Raum <math>x</math> lassen sich je zwei Punkte durch eine eindeutige Geodäte verbinden. Die Geodäte hängt stetig von ihren Endpunkten ab.
In CAT(0)-Räumen gilt die Ptolemäische Ungleichung

<math>d(x,y)d(u,v)\le d(x,u)d(y,v)+d(x,v)d(y,u)</math> für alle <math>x,y,u,v\in X</math>.

Für Geodäten <math>\gamma_1,\gamma_2:\left[a,b\right]\rightarrow X</math> ist die Funktion <math>d(\gamma_1(t),\gamma_2(t))</math> konvex.
CAT(0)-Räume sind zusammenziehbar.

Geodätischer Rand

Geodätische Strahlen in einem CAT(0)-Raum heißen asymptotisch, wenn sie endlichen Abstand haben. Dies definiert eine Äquivalenzrelation auf der Menge der geodätischen Strahlen. Der Geodätische Rand <math>\partial_\infty X</math> des CAT(0)-Raumes <math>(X,d)</math> ist die Menge der Äquivalenzklassen von auf Bogenlänge parametrisierten geodätischen Strahlen.

Jeder Punkt in <math>\partial_\infty X</math> lässt sich mit jedem Punkt in <math>X</math> durch eine eindeutige Geodäte verbinden. Unterschiedliche Punkte in <math>\partial_\infty X</math> müssen sich aber nicht immer durch eine Geodäte verbinden lassen.

Kegel-Topologie

Die Topologie auf <math>(X,d)</math> lässt sich zu einer Topologie auf <math>X\cup\partial_\infty X</math> erweitern<ref><templatestyles src="Webarchiv/styles.css" />{{#if:20131224115132

      | {{#ifeq: 20131224115132 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Bridson-Haefliger: Metric spaces of nonpositive curvature. | {{#invoke:WLink|getEscapedTitle|Bridson-Haefliger: Metric spaces of nonpositive curvature.}} | {{#invoke:Webarchiv|getdomain|http://www.math.bgu.ac.il/~barakw/rigidity/bh.pdf}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20131224115132}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Bridson-Haefliger: Metric spaces of nonpositive curvature. | {{#invoke:WLink|getEscapedTitle|Bridson-Haefliger: Metric spaces of nonpositive curvature.}} | {{#invoke:Webarchiv|getdomain|http://www.math.bgu.ac.il/~barakw/rigidity/bh.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20131224115132}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Bridson-Haefliger: Metric spaces of nonpositive curvature. | {{#invoke:WLink|getEscapedTitle|Bridson-Haefliger: Metric spaces of nonpositive curvature.}} | {{#invoke:Webarchiv|getdomain|http://www.math.bgu.ac.il/~barakw/rigidity/bh.pdf}} }} {{#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: Bridson-Haefliger: Metric spaces of nonpositive curvature. | {{#invoke:WLink|getEscapedTitle|Bridson-Haefliger: Metric spaces of nonpositive curvature.}} | {{#invoke:Webarchiv|getdomain|http://www.math.bgu.ac.il/~barakw/rigidity/bh.pdf}} }} {{#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: Bridson-Haefliger: Metric spaces of nonpositive curvature. | {{#invoke:WLink|getEscapedTitle|Bridson-Haefliger: Metric spaces of nonpositive curvature.}} | {{#invoke:Webarchiv|getdomain|http://www.math.bgu.ac.il/~barakw/rigidity/bh.pdf}} }} (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: Bridson-Haefliger: Metric spaces of nonpositive curvature. | {{#invoke:WLink|getEscapedTitle|Bridson-Haefliger: Metric spaces of nonpositive curvature.}} | {{#invoke:Webarchiv|getdomain|http://www.math.bgu.ac.il/~barakw/rigidity/bh.pdf}} }}  
                 }}}}}}}}{{#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:20131224115132|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.math.bgu.ac.il/~barakw/rigidity/bh.pdf}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: Bridson-Haefliger: Metric spaces of nonpositive curvature.
    | {{#if: {{#invoke:WLink|isBracketedLink|Bridson-Haefliger: Metric spaces of nonpositive curvature.}}
        | {{#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.math.bgu.ac.il/~barakw/rigidity/bh.pdf%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.math.bgu.ac.il/~barakw/rigidity/bh.pdf%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.math.bgu.ac.il/~barakw/rigidity/bh.pdf }}
              | 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}}
            }} 
       }}
  }} (PDF-Datei; 3,83 MB), Definition II.8.5</ref>, so dass gilt: Eine Folge <math>(x_n)_{n\in\mathbb N}</math> konvergiert gegen <math>p\in\partial_\infty X</math> genau dann, wenn (für beliebiges <math>x_0\in X</math>) die Folge der <math>x_0</math> und <math>x_n</math> verbindenden Geodäten lokal gleichmäßig gegen die <math>x_0</math> und <math>p</math> verbindende Geodäte konvergiert.

Diese Topologie wird als Kegel-Topologie bezeichnet.

Beispiel: Wenn <math>(X,d)</math> eine einfach zusammenhängende, vollständige n-dimensionale Riemannsche Mannigfaltigkeit nichtpositiver Schnittkrümmung ist, dann ist <math>\partial_\infty X</math> mit der Kegel-Topologie homöomorph zur (n-1)-dimensionalen Sphäre.

Tits-Metrik

Die Tits-Metrik (nach Jacques Tits) <math>d_T:\partial_\infty X\times\partial_\infty X\rightarrow\mathbb R</math> ist für <math>p_1,p_2\in\partial_\infty X</math> definiert durch

<math>d_T(p_1,p_2):=\sup_{x\in X}\lim_{t\rightarrow\infty}\angle_x(\gamma_1(t),\gamma_2(t))</math>,

wobei <math>\gamma_1,\gamma_2</math> zu <math>p_1,p_2</math> asymptotische Geodäten sind.

Hierbei ist (allgemein für <math>x,a,b\in X</math>) der Winkel <math>\angle_x(a,b)</math> definiert als der Winkel bei <math>x^\prime</math> des Vergleichsdreiecks <math>\Delta(x^\prime,a^\prime,b^\prime)</math> im <math>\mathbb R^2</math>.

Die Tits-Metrik induziert im Allgemeinen nicht die Kegel-Topologie auf <math>\partial_\infty X</math>.

Beispiele: Falls <math>(X,d)</math> eine einfach zusammenhängende, vollständige Riemannsche Mannigfaltigkeit negativer Schnittkrümmung ist, dann ist <math>d_T(p_1,p_2)=\pi</math> für alle <math>p_1,p_2\in\partial_\infty X</math>, die Tits-Metrik induziert also die diskrete Topologie. Falls <math>(X,d)=(\mathbb R^n,d_{eukl})</math> der euklidische Raum ist, dann ist <math>(\partial_\infty X,d_T)</math> homöomorph zur Sphäre.

Horosphären

Zu einem Punkt <math>p\in\partial_\infty X</math> und einer Geodäte <math>\gamma:\left[0,\infty\right]\rightarrow X</math> mit <math>\lim_{t\rightarrow\infty}\gamma(t)=p</math> definiert man die Busemann-Funktion <math>b_\gamma:X\rightarrow\mathbb R</math> durch

<math>b_\gamma(x):=\lim_{t\rightarrow\infty}d(x,\gamma(t))-t</math>.

Falls <math>X</math> vollständig ist und <math>\gamma_1</math> und <math>\gamma_2</math> zwei zu <math>p\in\partial_\infty X</math> asymptotische Geodäten sind, dann ist <math>b_{\gamma_1}-b_{\gamma_2}</math> konstant. Insbesondere hängt die Zerlegung von <math>X</math> in die Niveaumengen von <math>b_\gamma</math> nur von <math>p\in\partial_\infty X</math> und nicht von der Wahl der zu <math>p</math> asymptotischen Geodäte <math>\gamma</math> ab. Die Niveaumengen von <math>b_\gamma(x)</math> werden als Horosphären von <math>p</math> bezeichnet.

Isometrien

Jede Isometrie <math>f:X\rightarrow X</math> eines vollständigen CAT(0)-Raumes <math>(X,d)</math> fällt in eine der folgenden 3 Klassen:

elliptisch: <math>f</math> hat einen Fixpunkt in <math>X</math>,
hyperbolisch: <math>f</math> hat keinen Fixpunkt in <math>X</math>, lässt aber eine Geodäte invariant,
parabolisch: <math>f</math> lässt einen Punkt <math>p\in\partial_\infty X</math> und seine Horosphären invariant.<ref>Fujiwara: CAT(0) spaces for Riemannian geometers (PDF-Datei; 116 kB)</ref>

CAT(0)-Gruppen

Eine CAT(0)-Gruppe ist eine Gruppe, die eigentlich diskontinuierlich und kokompakt durch Isometrien auf einem endlich-dimensionalen CAT(0)-Raum wirkt.

Lokale CAT(0)-Räume

Ein vollständiger, zusammenhängender, metrischer Raum heißt lokal CAT(0), wenn jeder Punkt eine Umgebung besitzt, die (mit der eingeschränkten Metrik) ein CAT(0)-Raum ist.

Eine Verallgemeinerung des Satzes von Cartan-Hadamard besagt: wenn <math>X</math> ein lokaler CAT(0)-Raum ist, dann gibt es auf der universellen Überlagerung <math>\widetilde{X}</math> eine eindeutige Metrik <math>\tilde{d}</math> so dass

die Überlagerung <math>\widetilde{X}\to X</math> eine lokale Isometrie ist, und
<math>(\widetilde{X},\tilde{d})</math> ein CAT(0)-Raum ist.

Quellen