半線型写像

数学の線型代数学あるいは特に射影幾何学における**半線型写像**（はんせんけいしゃぞう、; **半線型変換**）は、ベクトル空間の間の写像であって、「体の自己同型でひねる違いを除いて」線型写像となっているようなものを言う（故に「半」線型）。

具体的に、体  上の体の自己同型  を一つ固定して（）、 上のベクトル空間  の間の写像  が
* ベクトルの加法に関して分配的: T(v+v') = T(v)+T(v') で、
* スカラー倍に関しては捻られた関係式: T(\lambda v) = \lambda^\theta T(v)
を満たすとき  は半線型、特に固定した  についての半双線型性であるから -半双線型であるという。可逆な半線型写像の（体の同型全てに亘る）全体は**一般半線型群**と呼ばれる群を成し、 と書かれる。これは一般線型群  の類似であり、かつその拡大である。

（GL の G を対応する &Gamma; で置き換えて &Gamma;L としたように）行列群の頭のラテン文字をギリシャ文字で置き換える同様の記法が、ほかの種類の行列群（線型代数群）の類似となる半線型群（厳密には行列群と体の同型の成すガロワ群との半直積）に対しても同様に用いられる。また例えば、行列群から作られる射影行列群の一種である  に対応する半線型群は  で表される。しかし、これらの一般化された半線型群は必ずしもうまく定義されるとは限らないことに注意すべきである。 によれば、同型な古典群 に対して、同型でない半線型拡大が存在し得る。半直積のレベルで言えば、これはガロワ群の与えられた抽象群に対する作用の仕方が異なるということに対応する。拡大が一意でないならば、半線型拡大はちょうど二種類存在する。例えば、対称群の半線型拡大は一意に定まるが、 は  が偶数で  が奇数のとき、 と同じように二種類の半線型拡大を持つ。

## 定義
以下、体  に対してその素体を  で表す。例えば、 が複素数体  のとき、その素体  は有理数体  であり、また  が素冪位数  の有限体  のとき、素体  は素数位数  の有限体  である。

体  上の体自己同型（素体  を固定する環自己同型） が与えられたとき、 上のベクトル空間  の間の写像  が** -半線型**あるいは単に**半線型**であるとは、任意の  および任意の  が条件 
* 加法性: f(x+y)=f(x)+f(y)
* -斉次性: f(lx)=l^\theta f(x)
を満足するときに言う。ただし、 はスカラー  の  による像である。

ここで、単に加法的な写像  が与えられたとき、 が加法性を保ったまま、-斉次性の条件を満足するようにしようと思えば、 は体の同型でなければならないことに注意すべきである。実際、 が素体  の元を動かさないものでなければならないことは、（ は  の単位元で生成される部分体であるから）加法性により
: n^\theta f(x)=f(nx)=f(x+\dotsb +x)=nf(x)
が成り立つことから従う。同様にして、 の加法と乗法についても加法性によって
:\begin{align}
 & (l_1+l_2)^\theta f(x)=f((l_1+l_2)x)=f(l_1 x)+f(l_2 x)=(l_1^\theta+l_2^\theta)f(x)\\
 & (l_1 l_2)^\theta f(x)=f(l_1 l_2 x)=l_1^\theta f(l_2x)=(l_1^\theta l_2^\theta)f(x)
\end{align}
が成り立つことから従う。

任意の線型写像は半線型だが、逆は一般には成り立たない。ただし、（ を素体  上のベクトル空間と見ることにより） を  の素体  上のベクトル空間と見做せば、任意の -半線型写像は -線型写像になる。

## 例
*  および標準基底  に対して、写像  を
  f\Bigl(\sum_{i=1}^n z_i e_i \Bigr) := \sum_{i=1}^n \bar z_i e_i
で定義すれば、 は（複素共軛をとる体の自己同型に関して）半線型となるが、これは線型ではない。
* 標数  の冪  を位数とする有限体（ガロワ体） に対し、フロベニウス準同型  をとる（これが体の自己同型であるという事実は、としても知られる）。 上のベクトル空間  の間の任意の線型写像  に対し、
  \widetilde{f}\!\Bigl( \sum_{i=1}^n l_i e_i\Bigr) := f\Bigl( \sum_{i=1}^n l_i^\theta e_i \Bigr) 
と置くことにより、-半線型写像を得ることができる。

実際には任意の線型写像からこのような方法によって半線型写像を作ることができる。これはこの後に述べる一般に成り立つ事実の一部である。

## 一般半線型群
与えられたベクトル空間  に対し、その可逆な半線型写像の（体自己同型全てに亘る）全体の成す集合は、一般半線型群  を成す。

 が  上のベクトル空間で、 の素体を  とするとき、一般半線型群  は半直積
: \operatorname{\Gamma L}(V) = \operatorname{GL}(V) \rtimes \operatorname{Gal}(K/k) 
に分解される。ここで  は体の拡大  のガロワ群である。同様に、半線型写像の成す他の線型群もガロワ群のと半直積として、あるいはより内在的にベクトル空間の間のある性質を保存する半線型写像全体の成す群として、定義することができる。

 の基底  を一つ固定して、ガロワ群  を、任意の  に対して
:\sum_{b\in B} l_b b \mapsto \sum_{b \in B} l_b^\sigma b
で定義される半線型写像全体の成す  の部分群と同一視する。同一視した部分群を  と書くとき、これらの成分は  において  に対して、 の基底変換としての  として正則に作用する。

上記のことを確かめよう。任意の線型写像は半線型ゆえ  である。 の基底  を固定して、体の自己同型  に関する任意の半線型写像  に対して、 を
:g\Bigl(\sum_{b \in B} l_b b\Bigr)
:= \sum_{b \in B}f(l_b^{\sigma^{-1}} b)
= \sum_{b \in B} l_b f (b)

で定義する。 も  の基底を成すから、これは  が単に  の基底変換となることを意味し、従って線型かつ可逆的、すなわち 。

ここで  と置くと、 の任意の元  に対し
:hv=fg^{-1}v=\sum_{b \in B} l_b^\sigma b 
となるから、 は固定された基底  に関する部分群としての  に属する。この分解  は固定された基底  に対して一意的である。さらに  は  の作用によって正規化されるから、
: \operatorname{\Gamma L}(V) = \operatorname{GL}(V) \rtimes \operatorname{Gal}(K/k)
となることが言える。

## 応用
### 射影幾何学
一般半線型群  は典型的な  の拡張である。このような写像を考えることの重要性は射影幾何学の研究からも生じてくる。一般線型群  の（ に付随する）射影ベクトル空間  の上に誘導される作用は、**射影一般半線型群**  を成し、これは射影一般線型群  を拡張するものである。

ベクトル空間  上の射影幾何  とは、 の部分空間全体の成す束を言う。典型的な半線型写像は線型ではないけれども、任意の半線型写像  は順序を保つ写像  を誘導する。つまり、任意の半線型写像は射影変換 を誘導する。（射影直線を除いて）このことの逆は、である。以上から、半線型写像がベクトル空間の射影幾何上の自己同型群を定義するという意味において、これらは射影幾何学において有用である。

### マシュー群

射影一般半線型群  は の一つであるマシュー群  の構成にも利用できる。すなわち、 は  の極大部分群であり、またこれをマシュー群全体に拡大する方法はいくつか存在する。

## 参考文献
* Gruenberg, K. W. and Weir, A.J. *Linear Geometry* 2nd Ed. (English) Graduate Texts in Mathematics. 49. New York &ndash; Heidelberg &ndash; Berlin: Springer-Verlag. X, 198 pp. (1977).
* 

## 外部リンク
* 
*