Äquivariante Abbildung

Unter einer äquivarianten Abbildung versteht man in der Mathematik eine Abbildung, die mit der Wirkung einer Gruppe kommutiert.

Definition

Es seien <math>G</math> eine Gruppe und <math>X,Y</math> Mengen, auf denen Linksoperationen von <math>G</math>

<math>G\times X\to X,\quad (g,x)\mapsto g\cdot x</math> und <math>G\times Y\to Y,\quad (g,y)\mapsto g\cdot y</math>

definiert sind. Eine Funktion <math>f\colon X\to Y</math> heißt <math>G</math>-äquivariant, <math>G</math>-Abbildung oder auch kurz äquivariant, wenn gilt:

<math>f(g\cdot x)=g\cdot f(x)</math> für alle <math>g\in G,x\in X</math>.

Das bedeutet, dass für jedes <math>g\in G</math> das Diagramm

Datei:Equivariant commutative diagram.svg

kommutiert.

Eine äquivalente Definition lautet: Die Gruppe <math>G</math> operiere auf der Menge der Abbildungen <math>X\to Y</math> via

<math>f\mapsto(x\mapsto gf(g^{-1}x))</math>.

Dann ist eine Abbildung <math>f \colon X\to Y</math> genau dann <math>G</math>-äquivariant, wenn sie unter dieser Operation fest bleibt.

ρ-Äquivarianz

Häufig wird in der Mathematik auch der Begriff <math>\rho</math>-Äquivarianz für eine Darstellung

<math>\rho\colon G\to \mathrm{GL}(V)</math>

oder allgemeiner für eine Wirkung

<math>\rho\colon G\to \mathrm{Aut}(Y)</math>

verwendet. In diesem Kontext heißt eine Abbildung <math>f\colon X\to Y</math> einer G-Menge <math>X</math> nach <math>Y</math> <math>\rho</math>-äquivariant genau dann, wenn

<math>f(g\cdot x)=\rho(g)\cdot f(x)</math> für alle <math>g\in G,x\in X</math> gilt.

Darstellungstheorie und Schurs Lemma

Seien <math>X</math> und <math>Y</math> Vektorräume über einem Körper <math>K</math> und sei die Wirkung von <math>G</math> auf <math>X</math> und <math>Y</math> linear, d. h., es gebe Darstellungen

<math>\rho \colon G\rightarrow \mathrm{GL}(X),\tau \colon G\rightarrow \mathrm{GL}(Y)</math>

mit

für alle <math>x\in X,y\in Y, g\in G</math>.

Äquivariante Abbildungen sind dann also Abbildungen <math>f</math> mit

fūr alle <math>g</math> und <math>x</math>. Äquivariante Abbildungen werden im Kontext der Darstellungstheorie auch Vertauschungsoperatoren ({{#invoke:Vorlage:lang|full|CODE=en|SCRIPTING=Latn|SERVICE=englisch}}) genannt.

Äquivariante Abbildungen zwischen irreduziblen Darstellungen beschreibt das Lemma von Schur:

Wenn <math>\rho \colon G\to \mathrm{GL}(V)</math> und <math>\tau \colon G\to \mathrm{GL}(W)</math> zwei irreduzible Darstellungen sind, dann ist jede G-äquivariante Abbildung <math>f \colon V\rightarrow W</math> entweder 0 oder ein Isomorphismus.

Falls <math>V=W</math> ein endlichdimensionaler Vektorraum über einem algebraisch abgeschlossenen Körper <math>K</math>, z. B. den komplexen Zahlen <math>\Complex</math>, ist und <math>\rho \colon G\to \mathrm{GL}(V)</math> und <math>\tau \colon G\to \mathrm{GL}(V)</math> wieder irreduzible Darstellungen sind, dann ist jede G-äquivariante Abbildung <math>f \colon V\rightarrow V</math> die Multiplikation mit einem Skalar: es gibt <math>\lambda\in K</math>, so dass für alle <math>v\in V</math> gilt:

<math>f(v)=\lambda v</math>.

Analog gilt für Hilbertraum-Darstellungen topologischer Gruppen, wie sie in der harmonischen Analyse betrachtet werden, das heißt stetige Homomorphismen einer topologischen Gruppe in die unitäre Gruppe auf einem möglicherweise unendlichdimensionalen Hilbertraum versehen mit der schwachen Operatortopologie, dass jeder stetige lineare (eine Verallgemeinerung auf abgeschlossene dicht definierte ist möglich) Vertauschungsoperator (äquivariante Abbildung) zwischen zwei irreduziblen Darstellungen Vielfaches einer Isometrie ist. Die (stetigen) Vertauschungsoperatoren zwischen einer unitären Darstellung und sich selbst bilden eine Von-Neumann-Algebra.

Gruppenalgebren

Darstellungen <math>\rho \colon G\to \mathrm{GL}(V)</math> einer Gruppe <math>G</math> auf einem <math>K</math>-Vektorraum <math>V</math> kann man linear fortsetzen zu einer Darstellung <math>\rho \colon K(G)\to \mathrm{GL}(V)</math> der Gruppenalgebra <math>K(G)</math>, damit wird <math>V</math> zu einem <math>K(G)</math>-Modul. Wenn nun <math>\rho \colon G\to \mathrm{GL}(V),\tau \colon G\to \mathrm{GL}(W)</math> zwei Darstellungen sind, die wir in diesem Sinne als <math>K(G)</math>-Moduln auffassen, dann ist eine Abbildung <math>f \colon V\to W</math> <math>G</math>-äquivariant genau dann wenn sie <math>K(G)</math>-linear ist.

Selbiges gilt für Darstellungen beliebiger Algebren (siehe auch hier).

Die <math>G</math>-äquivarianten Abbildungen zwischen zwei Darstellungen bilden einen Vektorraum.

Für eine feste Gruppe <math>G</math> und einen festen Körper <math>K</math> bilden die <math>K</math>-Darstellungen von <math>G</math> und die <math>G</math>-äquivarianten Abbildungen die Objekte und Morphismen einer angereicherten Kategorie über der Kategorie der <math>K</math>-Vektorräume versehen mit dem üblichen Tensorprodukt. Dabei ist

<math>\mathrm{id}_V \colon K\to \mathrm{Hom}(V,V)</math> gegeben durch <math>(\mathrm{id}_V(k))(v)=kv</math> und

<math>\cdot_{UVW} \colon \mathrm{Hom}(V,W)\otimes \mathrm{Hom}(U,V)\to \mathrm{Hom}(U,W)</math> ist gegeben durch <math>\cdot_{UVW}(f\otimes g)=fg</math>.

Topologie

Ein G-Raum ist ein topologischer Raum X mit einer stetigen Wirkung der Gruppe G. Eine G-Abbildung ist eine äquivariante stetige Abbildung <math>f:X\rightarrow Y</math> zwischen zwei G-Räumen.

Beispiel: <math>G=SO(2)</math> wirke auf <math>X=Y=\mathbb R^2</math> durch Drehungen um den Nullpunkt. Die durch

gegebene Spiegelung <math>f:\mathbb R^2\to\mathbb R^2</math> ist <math>SO(2)</math>-äquivariant.

Zwei G-Abbildungen <math>f_0,f_1 \colon X\rightarrow Y</math> heißen G-homotop, wenn es eine G-Abbildung

<math>H \colon X\times\left[0,1\right]\rightarrow Y</math>

mit

für alle <math>x\in X</math> gibt. (Hierbei wirkt G auf <math>X\times\left[0,1\right]</math> durch <math>g\cdot (x,t)=(g\cdot x,t)</math>.) Die Menge der G-Homotopieklassen von G-Abbildungen <math>f:X\rightarrow Y</math> wird mit <math>\left[X,Y\right]_G</math> bezeichnet.

Die äquivarianten Homotopiegruppen eines G-Raumes X sind definiert durch

<math>\pi_n^G(X):=\left[S^n,X\right]_G</math>.

Man hat einen Isomorphismus <math>\pi_n^G(X,x)\cong \pi_n(X^G)</math>, wobei <math>X^G=\left\{x\in X: g\cdot x=x \forall g\in G\right\}</math> die Menge der Fixpunkte der G-Wirkung ist.

Die äquivarianten Homologiegruppen eines G-Raumes X sind definiert durch

<math>H_n^G(X;\Z):=H_*(X\times_G EG;\Z)</math>,

wobei EG ein schwach kontrahierbarer topologischer Raum mit einer freien G-Wirkung ist. Wenn die G-Wirkung auf X ebenfalls frei ist, dann ist <math>H_n^G(X;\Z)\cong H_n(X/G;\Z)</math>.

Die äquivariante K-Theorie <math>K_G(X)</math> eines kompakten G-Raumes X ist definiert als der Quotient der freien abelschen Gruppe auf den Isomorphieklassen von komplexen G-Vektorbündeln über X nach der von Elementen der Form <math> [E\oplus F]-[E]-[F] </math> erzeugten Untergruppe.<ref><templatestyles src="Webarchiv/styles.css" />{{#if:20100622235341

      | {{#ifeq: 20100622235341 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Graeme Segal: Equivariant K-theory | {{#invoke:WLink|getEscapedTitle|Graeme Segal: Equivariant K-theory}} | {{#invoke:Webarchiv|getdomain|http://math.columbia.edu/~ellis/ass/segal.pdf}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20100622235341}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Graeme Segal: Equivariant K-theory | {{#invoke:WLink|getEscapedTitle|Graeme Segal: Equivariant K-theory}} | {{#invoke:Webarchiv|getdomain|http://math.columbia.edu/~ellis/ass/segal.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20100622235341}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Graeme Segal: Equivariant K-theory | {{#invoke:WLink|getEscapedTitle|Graeme Segal: Equivariant K-theory}} | {{#invoke:Webarchiv|getdomain|http://math.columbia.edu/~ellis/ass/segal.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: Graeme Segal: Equivariant K-theory | {{#invoke:WLink|getEscapedTitle|Graeme Segal: Equivariant K-theory}} | {{#invoke:Webarchiv|getdomain|http://math.columbia.edu/~ellis/ass/segal.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: Graeme Segal: Equivariant K-theory | {{#invoke:WLink|getEscapedTitle|Graeme Segal: Equivariant K-theory}} | {{#invoke:Webarchiv|getdomain|http://math.columbia.edu/~ellis/ass/segal.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: Graeme Segal: Equivariant K-theory | {{#invoke:WLink|getEscapedTitle|Graeme Segal: Equivariant K-theory}} | {{#invoke:Webarchiv|getdomain|http://math.columbia.edu/~ellis/ass/segal.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:20100622235341|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://math.columbia.edu/~ellis/ass/segal.pdf}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: Graeme Segal: Equivariant K-theory
    | {{#if: {{#invoke:WLink|isBracketedLink|Graeme Segal: Equivariant K-theory}}
        | {{#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://math.columbia.edu/~ellis/ass/segal.pdf%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://math.columbia.edu/~ellis/ass/segal.pdf%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://math.columbia.edu/~ellis/ass/segal.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}}
            }} 
       }}
  }}</ref> Zum Beispiel ist <math>K_G(Punkt)=R(G)</math> der komplexe Darstellungsring der Gruppe <math>G</math>.

Verallgemeinerungen

Allgemeiner betrachtet man Gruppenoperationen auf Objekten beliebiger Kategorien, dies sind dann Homomorphismen von einer Gruppe in die Automorphismengruppe eines Objekts. Entsprechend betrachtet man auch Halbgruppenoperationen (dies schließt etwa Algebrendarstellungen mit ein) als Homomorphismen in die Endomorphismenhalbgruppe eines Objekts. Von einer <math>G</math>-äquivarianten Abbildung wird dann gefordert, ein Morphismus zwischen den beiden Objekten, auf denen die Gruppe wirkt, zu sein. Da es sich dabei nicht mehr notwendigerweise um Abbildungen handelt, spricht man im allgemeinen Fall auch von (<math>G</math>-)äquivarianten Morphismen.

Auf der anderen Seite kann eine Gruppe <math>G</math> als spezieller Monoid und mithin als spezielle Kategorie <math>\mathcal C</math> mit einem einzigen Objekt <math>*</math> betrachtet werden. Ein Funktor <math>F\colon \mathcal C \to \mathbf{Set}</math> ist dann die Entsprechung einer <math>G</math>-Linksoperation auf <math>F(*)</math> und natürliche Transformationen zwischen solchen Funktoren entsprechen äquivarianten Abbildungen.

Einzelnachweise