反傾表現

表現論において、${\displaystyle V}$ のベクトルと ${\displaystyle V^{*}}$ の線型汎関数はいずれも列ベクトルと考え、したがって表現は左から（行列の乗法によって）作用できる。線型汎関数 ${\displaystyle \varphi }$ の ${\displaystyle v\in V}$ への作用 ${\displaystyle \varphi (v)}$ は行列の乗法

${\displaystyle \left\langle \varphi ,v\right\rangle \equiv \varphi (v)=\varphi ^{T}v}$

によって表現できる。ただし上付きの ${\displaystyle T}$ は行列の転置を表す。群${\displaystyle G}$の作用と整合的であるためには

${\displaystyle \left\langle \rho ^{*}(g)\varphi ,\rho (g)v\right\rangle =\left\langle \varphi ,v\right\rangle }$

が要求される^[3]。反傾表現の定義から、

${\displaystyle \left\langle {\rho }^{*}(g)\varphi ,\rho (g)v\right\rangle =\left\langle \rho \left(g^{-1}\right)^{T}\varphi ,\rho (g)v\right\rangle =\left(\rho \left(g^{-1}\right)^{T}\varphi \right)^{T}\rho (g)v=\varphi ^{T}\rho \left(g^{-1}\right)\rho (g)v=\varphi ^{T}v=\left\langle \varphi ,v\right\rangle }$

となり、整合性を持つことが確かめられる。

リー環の表現に対しては、対応するリー群の表現との整合性を課す。一般に、${\displaystyle \Pi }$ がリー群の表現であれば、

${\displaystyle \pi (X)=\left.{\frac {d}{dt}}\Pi \left(e^{tX}\right)\right|_{t=0}}$

によって与えられる ${\displaystyle \pi }$ はそのリー環の表現である。${\displaystyle \Pi ^{*}}$ が ${\displaystyle \Pi }$ に双対であれば、その対応するリー環の表現 ${\displaystyle \pi ^{*}}$ は、

${\displaystyle \pi ^{*}(X)=\left.{\frac {d}{dt}}\Pi ^{*}\left(e^{tX}\right)\right|_{t=0}=\left.{\frac {d}{dt}}\Pi \left(e^{-tX}\right)^{T}\right|_{t=0}=-\pi (X)^{T}}$

で与えられる^[4]。

• 群 ${\displaystyle G}$ の2つの表現 ${\displaystyle \left(\rho _{1},V_{1}\right)}$ と ${\displaystyle \left(\rho _{2},V_{2}\right)}$ から、次のようにして ${\displaystyle \operatorname {Hom} \left(V_{1},V_{2}\right)}$ 上の ${\displaystyle G}$ の表現 ${\displaystyle \operatorname {Hom} \left(\rho _{1},\rho _{2}\right)=\rho }$ が定義される^[5]：

すべての ${\displaystyle g\in G}$ とすべての ${\displaystyle f\in \operatorname {Hom} \left(V_{1},V_{2}\right)}$ に対して、${\displaystyle \rho (g)(f)=\rho _{2}(g)\circ f\circ \rho _{1}\left(g^{-1}\right)}$。

反傾表現は、${\displaystyle \left(\rho _{2},V_{2}\right)}$ が自明表現の場合である。

• 環上の加群は一般には反傾表現を持たないが、ホップ代数上の加群は持つ。

• 複素共役表現（英語版）
• キリロフの指標公式（英語版）