接続 (微分幾何学)

微分幾何学において接続（せつぞく、connection）とは、多様体のファイバーバンドル上に平行移動の概念を定義する事ができる数学的構造である。ただし数学的な取り扱いを容易にするため、平行移動の概念で直接的に接続を定義するのではなく、実質的に等価な別概念を用いて接続を定義する。
接続概念はゲージ理論やチャーン・ヴェイユ理論で用いられる。特にチャーン・ヴェイユ理論の特殊ケースとして、曲面に関する古典的なガウス・ボンネの定理を一般の偶数次元多様体に拡張するのに役立つ。
接続は元々はクリストッフェル並びにレヴィ-チヴィタ、リッチによってリーマン多様体上に導入された概念（レヴィ-チヴィタ接続）であるが、一般のベクトルバンドル上の接続（Koszul接続）や主バンドルの接続（主接続）にも拡張され、さらに一般のファイバーバンドルの接続へと拡張された。ただし実際に研究が進んでいるのは、ベクトルバンドルとその主バンドルに対する接続概念である。
以下、本項では特に断りがない限り、多様体、関数、バンドル等は全て級の場合を考える。よって紛れがなければ「級」を省略して単に多様体、関数、バンドル等という。また特に断りがない限りベクトル空間は実数体上のものを考える。

**概要**
多様体M上のベクトル場YとM上のに対し、Yのに沿った「方向微分」を定義することを考える。ユークリッド空間における微分を参考にすると、 

のように定義するのがよいように思えるが、多様体上ではとは別の点なので、両者の差は意味も持たない。しかしをまで「平行移動」できれば、平行移動の結果との差を取る事で「方向微分」を定義でき、これをYのに沿った共変微分という。
逆にに沿った共変微分が定義できていれば、

が恒等的に成立している事をもって、Yはに沿って平行と呼ぶことで平行の概念を定義できる。
このように平行移動と共変微分は実質的に同値な概念であり、多様体のベクトル場に対して平行移動・共変微分を定義できる構造を多様体（の接バンドル）の接続という。
接続概念から定まる平行移動により、（何ら構造が定義されていない）多様体では無関係なはずの点におけるベクトルをにおけるベクトルと「接続」して関係づける事ができ、これが「接続」という用語の語源である。
上では接バンドルに対する接続を説明したが、より一般にベクトルバンドルの接続、あるいはさらに一般にファイバーバンドルの接続を考える事ができる。上述のように平行移動と共変微分は実質的に同値な概念なので、平行移動・共変微分のうち、定義しやすい方をもとにして接続概念を定義すればよい。
そこでベクトルバンドルの場合は共変微分を、一般のファイバーバンドルの場合は平行移動をベースにして接続概念を定義する。
接続によって定まるもう一つの重要概念として曲率があり、これはファイバーバンドルの「曲がり具合」を表している。特に接ベクトルバンドルの曲率は多様体それ自身の「曲がり具合」とみなせる。曲率概念は歴史的には3次元ユークリッド空間内の曲面に対して定義されたものだが、実は「外の空間」であるがなくても定義できる曲面に内在的な量である事が示されたので、これを一般のリーマン多様体（の接ベクトルバンドル）、さらには一般のファイバーバンドルに対して拡張したものである。多様体に内在的な量としてみなしたとき、曲率の幾何学的意味は、閉曲線に沿ってベクトルを一周平行移動したとき、もとのベクトルとどの程度ずれるかを測った量であるとみなせる。

**ベクトルバンドルの接続**
本節ではまずリーマン多様体の接続であるレヴィ-チヴィタ接続の定義を述べ、次により一般的なベクトルバンドルに対する接続の定義を述べる。

**レヴィ-チヴィタ接続の定義**
Mをの部分多様体とし、をM上の曲線とし、さらにを上定義されたMのベクトル場とし（すなわち各時刻tに対し、はを満たすとし）、
 
と定義する。ここでPrはMの点c(t)における内の接平面（と自然に同一視可能な）への射影である。またX、YをM上のベクトル場とするとき、
 
と定義する。ここでは時刻0に点を通るXの積分曲線である。実はこれらの量はMの内在的な量である事、すなわちからMに誘導されるリーマン計量（とその偏微分）のみから計算できる事が知られている。
具体的にはMに局所座標を取ると、以下のように書ける（アインシュタインの縮約で表記）：
:   
: 　　　where 
そこでやをリーマン多様体に内在的な値とみなしたものを考える事ができる。は以下の公理で特徴づけられる事が知られている：
ここでX、Y、ZはM上の任意の可微分なベクトル場であり、f、gはM上定義された任意の実数値級関数であり、a、bは任意の実数であり、は点においてとなるベクトル場であり、はfのX方向微分であり、はLie bracket of vector fieldsである。
はを曲線上に制限したものとして定義できる。

**ベクトルバンドルの接続の定義**
を可微分多様体M上のベクトルバンドルとし（E、Mのいずれにもリーマン計量が入っているとは限らない）、をEの切断全体の集合とし、をM上のベクトル場全体の集合とする。
ベクトルバンドルの接続は前述したレヴィ-チヴィタ接続の公理的特徴づけの5つの性質のうち3つを使って定義される。
ここでX、YはM上の任意のベクトル場であり、s、、はEの任意の切断であり、a、bは実数であり、f、、はM上定義された任意の実数値可微分関数であり、は点uにおいてとなるEの切断であり、はfのX方向微分である。
上述の定義から、一般のベクトルバンドルの接続もレヴィ-チヴィタ接続と同様、
: 
という形で書ける。ここではMの局所座標であり、はEの局所的な基底である。ただしもちろんレヴィ-チヴィタ接続と違いは計量で書けるとは限らない。
さらに以下の定義をする：
リーマン幾何学の基本定理から、レヴィ-チヴィタ接続とは、唯一の計量と両立する捻れなしのアフィン接続として特徴づけられる。

**曲線上の微分**
の曲線上に切断が定義されているとき、接続の成分表示のを形式的にに置き換えた
 
を、曲線に沿った共変微分という。この定義は基底の取り方によらずwell-definedである。

**平行移動**
球面上の平行移動。大円で囲まれた三角形上でベクトルを一周平行移動すると、もとに戻ってきたときに元のベクトルには戻らない。をベクトルバンドルとし、Mの曲線上定義されたM上のベクトル場が
  
を恒等的に満たすとき、は上平行であるという。また、上の接ベクトルと上の接ベクトルに対し、、を満たす上の平行なベクトル場が存在するとき、はをに沿って平行移動（parallel transportation  along ）した接ベクトルであるという。
ユークリッド空間の平行移動と異なる点として、どの経路に沿って平行移動したかによって結果が異なる事があげられる。この現象をholonomy（holonomy）という。
右図はホロノミーの具体例であり、接ベクトルを大円で囲まれた三角形に沿って一周したものを図示しているが、一周すると元のベクトルと90度ずれてしまっている事が分かる。
に沿ってをまで平行移動したベクトルをとするとは線形変換である。また共変微分は平行移動で特徴づけられる：
上述のように平行移動があれば共変微分が定義できるので、一般のファイバーバンドルではむしろ平行移動に基づいて接続概念を定義する。
上に計量gが定義されていてしかも∇が計量と両立しているとすると、以下が成立する：

**接続形式接続形式の節**
本章では接続∇の「接続形式」という概念を述べる。本章で述べるように、むしろ接続形式から接続を定義したほうが数学的な構造を探る上で有利な点があり、このアイデアに沿って接続を定式化したのが後の章で述べる主バンドルの接続概念である。

**定義**
を開集合上で定義されたEの局所的な基底とするとき、接続形式を以下のように定義する：接続形式が与えられれば
 
により接続を再現できるので、この意味において接続形式は接続∇の情報をすべて含んでいる。

**性質**
接続概念において重要な役割を果たす平行移動の概念は接続形式ωと強く関係しており、底空間Mの曲線に沿って定義された局所的な基底をtで微分したものが接続形式に一致する。
よって特に（レヴィ・チヴィタ接続などの）∇がEの計量と両立する接続の場合、∇による平行移動は回転変換、すなわちの元なので、その微分である接続形式ωはのリー代数の元、すなわち歪対称行列である：
このように接続形式を用いるとベクトルバンドルの構造群（上の例では）が接続形式の構造をリー群・リー代数対応により支配している事が見えやすくなる。
上では回転群の場合を説明したが、（を自然にの部分群とみなしたもの）や、物理学で重要なシンプレクティック群やスピン群に対しても同種の性質が証明でき、接続形式がリー群・リー代数対応により支配されている事がわかる。
こうした事実は接続概念を直接リー群と接続形式とで記述する方が数学的に自然である事を示唆する。後で説明する、リー群の主バンドルに対する接続はこのアイデアを定式化したもので、主バンドルの接続は接続形式に相当するものを使って定義される。
そこで本項では、まずベクトルバンドルの接続と主バンドルの接続の両方を包括する概念であるファイバーバンドルの接続概念を導入する。この概念は「そもそも平行移動とは何か」を直接的に定式化したもので、この概念それ自身が接続形式の言葉で記述されるわけではない。
そして次にファイバーバンドルの接続概念を用いて主バンドルの接続概念を定義すると同時に、主バンドルの接続を接続形式の言葉で再定式化し、ベクトルバンドルの接続と主バンドルの接続の接続形式の言葉で記述する。

**ファイバーバンドルの接続ファイバーバンドルの接続の章**
主バンドルの接続を定義する前準備として、一般のファイバーバンドルに対する接続を定義する。後述するように、主バンドルの接続はファイバーバンドルに対する接続で群作用に対して普遍になるものである。
すでに述べたように研究が進んでいるのばベクトルバンドルの接続なので、そのような目的のためにはこの一般の接続概念は必要ない。しかしファイバーバンドルの接続により、ベクトルバンドルの接続と次章に述べる主バンドルの接続とを統一的な視点から語る事ができるようになり、主バンドルの接続に基づいてベクトルバンドルの接続の性質をそれに対応する主バンドルの接続と対応付けて調べる事ができる。

**定義に至る背景ベクトルバンドルの接続から一般の接続へ**
をベクトルバンドルとし、∇をこのバンドルのKoszul接続とする。M上の任意の曲線c(t)とc(t)上の任意の切断s(t)で平行なものに対し、s(t)をE上の曲線とみなしたときにが入るの部分空間を「水平部分空間」と呼ぶ。
以上のように接続∇から水平部分空間が定まるが、逆に水平部分空間の情報があれば接続を再現できる事も知られている。
このことからベクトルバンドルの場合は接続概念は水平部分空間の概念は等価なので、一般のファイバーバンドルに対する接続を水平部分空間の概念を用いて定義する事にする。

**定義**
以上の考察を元に、ファイバーバンドルの接続を定義する。そのためにまず「垂直部分空間」という概念を定義する。をファイバーFを持つファイバーバンドルとし、e∈EをEの元とするとしπが誘導する写像をとするとき、
 
を、eにおけるの垂直部分空間（vertical subspace）という。そしてファイバーバンドルの接続を以下のように定義する：

**名称に関して**
ファイバーバンドルの接続のことをエーレスマン接続（Ehresmann conection）と呼ぶ場合があるが、主バンドルに対する接続の事を「エーレスマン接続」と読んでいる書籍もあるので注意が必要である。なお主バンドル上においても両者の概念は同値ではなく、ファイバーバンドルの接続のうち構造群の作用に関して不変なものを主バンドルの接続と呼ぶ。
両者の区別のため、一般のファイバーバンドルの接続を一般の接続（general connection）、主バンドルの接続を主接続（principal connection）と呼ぶ場合がある。
またファイバーバンドルの接続のうち、完備なもののみを「エーレスマン接続」と呼ぶ場合もある。なおエーレスマン自身による定義では完備性を仮定していた。

**平行移動、共変微分**

**平行移動**
をファイバーバンドルとし、をその接続とする。
接続の定義から、
 
はベクトル空間としての同型であるので、この逆写像
 
を考える事ができる。をのeへの水平リフト（horizontal lift）という。水平リフトの定義から明らかなように、切断が平行である必要十分条件は
 
を満たす事である。

**共変微分**
同様にM上の曲線に沿った切断に対し、のに沿った共変微分を
 
により定義する。この事からすなわち、共変微分とは、平行移動からのズレを表す量である事がわかる。

**一般の接続からベクトルバンドルの接続へ**
ベクトルバンドルのKoszul接続から一般の接続概念が得られる事をすでに見たが、逆にベクトルバンドル上の（一般の）接続が定める共変微分がKoszul接続の公理を満たす条件は以下の通りである：Koszul接続から一般の接続概念を誘導する方法と（上記の定理の条件を満たす）一般の接続概念からKoszul接続を誘導する方法は「逆写像」の関係にあり、上記の定理の条件を満たす一般の接続概念とKoszul接続は1:1に対応する。

**主バンドルの接続主接続の節**

**定義**
主バンドルの接続は、ファイバーバンドルの接続で群作用に対して不変になるものである。すなわち、ここでは垂直部分空間であり、はのPへの右からの作用がTPに誘導する写像である。をpにおける水平部分空間という。

**リー代数を使った定式化**
本節では、前節で定義した主バンドルの接続概念をリー代数を使って特徴づける。後述するようにこちらの定義が自然にベクトルバンドルの接続と対応する。
そのために基本ベクトル場の概念を導入する。Gをリー群とし、をそのリー代数とし、さらにをG-主バンドルとするとき、リー代数の元と点に対し、
 
により、P上のベクトル場を定義する。をAに対応するP上のfundamental vector field（）というrefn|#Tu p.247.。
基本ベクトル場の定義より明らかに各に対し、写像
 
は全単射であるので、の写像の逆写像を考えることができる。この逆写像を分解の垂直部分空間への射影と合成する事で、
 
を作る事ができる。この写像をに値を取る1-形式とみなしたものを
 
とし、各点pにを対応させるP上の値1-形式の場ωを接続形式（connection form）というrefn|#Kolar p.100.。
以上の議論から明らかに垂直射影からωが定まり、逆にωから垂直射影が定まるのでωによって接続概念を定式化できる：
ここではのPへの右からの作用がTPに誘導する写像であり、Adは随伴表現（adjoint representation）
 
である。
主バンドルとしての接続から前述の方法でPの接続形式が定まり、逆に接続形式ωが0になる方向を水平方向とすることでPに主バンドルとしての接続が再現できるので、両者の定義は同値である。

**ベクトルバンドルの接続と主バンドルの接続の関係性Koszul接続と主接続の関係の章**
接続 (ファイバー束)#同伴バンドルへの誘導の節
本節では接続形式の章で述べたアイデアに基づいて、ベクトルバンドルの接続（Koszul接続）と主バンドルの接続（主接続）の関係を述べる。
接続形式の章で見たのケースだけでなくの部分リー群Gに対して両者の関係性を示すため、本章ではまず「G-フレーム」、および「G-frame bundle」という概念を導入する。「G-フレーム」はGがの場合は正規直交基底に相当するものであり、G-フレームバンドルはG-フレームを束ねてできるバンドルであり、自然にG-主バンドルとみなせる。
次に本章ではEのフレームバンドル上の接続からEのKoszul接続が定まる事を見る。そして構造群Gを持つベクトルバンドルの接続がGと「両立する」事を定義し、最後にG-フレームバンドルの接続の接続形式とベクトルバンドルのGと両立する接続の接続形式が1対1の関係にある事を見る。

**フレームバンドル**

**定義**
「G-フレーム」とは正規直交基底の概念を一般化したもので、Gがの場合、G-フレームが正規直交基底に相当する。
ここではの標準的な基底であり、は線形変換をに作用させたものである。
構造群Gを持つベクトルバンドルの定義から、G-フレームの定義はバンドルチャートの取り方によらずwell-definedである。
を上のG-フレーム全体の集合とすると、

は自然にM上のG-主バンドルをなし、を構造群Gに関するフレームバンドルという。

**主接続からKoszul接続の誘導**
をGを構造群を持つベクトルバンドルとし、をそのフレームバンドルとする。さらにG-主バンドルに接続形式がの接続が入っているとする。開集合上定義されたEの局所的な基底に対し、
 
を、eをUからへの写像と見たときの接続形式ωのUへの引き戻しとし、をと成分表示する。

**構造群と接続の両立**
をの部分リー群とする。構造群Gを持つベクトルバンドルの接続（Koszul接続）がGと両立する事を以下のように定義する。直観的には平行移動がGの元で書ける事を意味する：定義より明らかに以下が従う：接続がGと両立する事は、接続形式がGのリー代数に入っている事と同値である：接続形式の章では平行移動が常にの元で表せるときに接続形式がのリー代数に入っている事を示したが、上記の定理はこの事実をの任意の部分リー群に対して示したものである。

**ベクトルバンドルの接続から主接続の接続へ**
と両立する接続はフレームバンドルの接続に対応している：本章の成果をまとめると、以下の結論が得られる：

**共変微分の対応関係**
ベクトルバンドルの切断sが与えられたとき、上の関数
 , where 
を定義できる。このとき次が成立する：ここでは上のベクトル場により上の値関数の各成分を微分したの事である。

**曲率**

**一般のファイバーバンドルの曲率**
ファイバーバンドルの接続(connection)が与えられているとき、Eの接ベクトル空間はと分解できた。そこで
、
をそれぞれ垂直部分空間、水平部分空間への射影とする。曲率概念はこの、を使って定義する：ここではLie bracket of vector fieldsである。Ωは-線形でありrefn|#Kolarにおける曲率の定義はここに書いたものと符号が反対だが、#Kolar p.73.にあるように#Kolarの定義だと「通常の曲率と符号が反対」になるので、#Wendl5 p.121の方の符号を採用した。|group="注"|name="曲率の符号"、よってΩは双線形写像
 
であるとみなせる。 
フロベニウスの定理を用いると、曲率形式が恒等的に0である事は超平面の族が可積分である事と同値である事を示せる。したがって曲率形式は水平部分空間　が可積分ではない度合いを表す量である。

**主接続の曲率**
本節では、主接続の場合に対し、上記で定義した曲率形式をリー代数の言葉で書き換える。Gをリー群とし、をGのリー代数とし、さらにをG-主バンドルとし、ωをPの主接続とする。リー代数におけるリー括弧を使って
 
と定義しrefn|#Kolar pp.100-101.|name="Kolar100-101"、さらに前の章と同様、リー代数の元に基本ベクトル場を対応させる写像
 
を考える。紛れがなければ添字pを省略し単にζと書く。

**ベクトルバンドルの接続の曲率**

**定義**
Koszul接続が定義されたベクトルバンドルの曲率を以下のように定義する：
RはX、Y、sに関して-線形であり、よってRは各点に対し、
 
を対応させるテンソル場とみなせる。
さらにKoszul接続の曲率形式を以下のように定義する：

**一般の接続の曲率形式との関係**
すでに述べたようにベクトルバンドル上のKoszul接続∇には、それと対応するファイバーバンドルとしての接続が定義可能であるが、上述したKoszul接続の曲率は前述した一般のファイバーバンドルの曲率形式と以下の関係を満たす。ここでHは水平部分空間への射影である。よって特にKoszul接続の曲率形式とは以下の関係を満たす：
 
ここでであり、はその双対基底である。

**主接続の曲率との関係**
のフレームバンドルの曲率形式とKoszul接続の曲率形式は以下の関係を満たす：

**ホロノミー群**
本節では特に断りのない限り、を完備な接続が定義されたファイバーバンドルでMが連結なものとする。ここで接続が完備であるとは、M上の任意の曲線上にからまでの平行移動を常に定義可能な事を指す。

**定義**
をMの点とし、をから自身への区分的になめらかな閉曲線とすると、接続が完備なのでのファイバーの任意の元eに対し、eをに沿って一周平行移動してできた元をとする事で、上の可微分同相写像
 
を定義できる。

**ホロノミーリー代数**
における接ベクトルに対し、にのeでの水平リフトを対応させる
 
をファイバー上の切断とみなしたものをと書く。
2つのベクトルに対し、、はいずれも上のベクトル場なので、曲率形式Ωに対して、
 
を定義でき、これは上のベクトル場とみなせる。さらにをfixし、uからまでつなぐ曲線に沿ってを平行移動したものをと書く。
実は以下の定理が成立する。なお、以下の定理は主バンドルに対するAmbrose–Singerの定理を任意のファイバーバンドルに一般化したものである：

**接続の歴史**
接続は、歴史的にはまずリーマン幾何学において見出された。接続の概念のはじまりをどこに置くかについては諸説あるが、クリストッフェルの研究をその淵源とする見方がある。クリストッフェルは1869年の論文で、座標変換の導関数が満たす関係式の研究を通じ、現在クリストッフェル記号とよばれる量を発見した1869。これを用いて、リッチはその学生であるレヴィ＝チヴィタとともに、彼らがRicci calculusとよんだ、共変微分を用いる今でいうテンソル解析の計算の手法をつくりあげた1900。
レヴィ＝チヴィタはまた、1916年に、リーマン幾何学における接ベクトルの平行移動の概念を発見し、これが共変微分によって記述されることをみつけた1916（レヴィ-チヴィタ接続の名前はこのことによる）。1918年にワイルはそれを一般化して、アフィン接続の概念に到達した1918。ここで「接続」にあたる語（Zusammenhang）がはじめて使用されたdate=2018年12月。
それからすぐに、エリ・カルタンによって、さらなる一般化が行われた。カルタンはクラインのエルランゲン・プログラムの局所化を試みていたのである。1920年代にカルタンは、微分形式を用いた記述によって、現在Cartan connectionと呼ばれるものを発見していった1926。カルタンのこの仕事により、リーマン幾何学だけでなく、Conformal geometry、射影幾何学などのさまざまな幾何学を研究するための基礎が築かれた。
しかしカルタンの記述は、微分幾何学の他の基本的概念の整備が進んでいない当時、理解されづらいものだった。その仕事をよりわかりやすいものにして発展させるために、カルタンの学生にあたるCharles Ehresmannは、1940年代から主バンドルやファイバーバンドルを研究した。1951年の論文でEhresmannは、主バンドルの接続を、Distribution (differential geometry)を用いる方法と微分形式による方法の両方で定義した1950（ファイバーバンドルの接続）。
その一方で、1950年にJean-Louis Koszulは、ベクトル束の接続の代数的定式化を与えた1950（ベクトルバンドルの接続）。Koszulの定式化によると、クリストッフェル記号を明示的に用いる必要は必ずしもなくなり、接続の取り扱いは容易になったdate=2018年12月。

**関連項目**
Cartan connection
**projective connection
*Grothendieck connection：対角線の無限小近傍からのdescent (category theory)(descent)であるデータとみなすことができる。2004
*Connection (fibred manifold)
*Connection (affine bundle)
*Connection (algebraic framework)

**注**

**出典**

**注釈**

**文献**

**参考文献**
cite book | 和書 | editor=日本数学会編 | title=岩波数学辞典 | edition=第4版 | publisher=岩波書店 | year=2007 | isbn=9784000803090 | ref=harv
*ref=Andrews
*Cite book|洋書 |title=Differential Geometry: Connections, Curvature, and Characteristic Classes |date=2017/6/15 |publisher=Springer |author=Loring W. Tu |series=Graduate Texts in Mathematics |volume=275 |isbn=978-3319550824 |ref=Tu
*cite book|和書| |title=相対性理論の数理 |date=2021/6/22 |publisher=日本評論社 |ref=新井 |author=新井朝雄 |isbn=978-4535789289
*edition=Second Edition
*cite book|和書 |title=微分形式の幾何学1 |date=2001/05/23 |publisher=岩波書店 |author=森田茂之 |series=岩波講座 現代数学の基礎 |volume=1425 |isbn=978-4000110143 |url=https://www.iwanami.co.jp/book/b476178.html
*cite book|和書 |title=微分形式の幾何学2 |date=2001/05/23 |publisher=岩波書店 |ref=森田 |author=森田茂之 |series=岩波講座 現代数学の基礎 |volume=1426 |isbn=978-4000110143 |url=https://www.iwanami.co.jp/book/b480194.html- isbn = 0-8218-1045-6　上記の２つの書籍の英語版
*Cite book|和書 |title=接続の微分幾何とゲージ理論 |date=1989/5/15 |publisher=裳華房 |author=小林昭七 |isbn=978-4785310585 |ref=小林- ref=矢野(1948) 
*author=Chris Wendl
**ref=Wendl3
**ref=Wendl4
**ref=Wendl5
*Cite book|洋書 |title=Differential Geometry: Basic Notions and Physical Examples |date=2014/7/15 |publisher=Springer |author=Marcelo Epstein |series=Mathematical Engineering |isbn=978-3319069197 |ref=Epstein
*Cite book|洋書 |title=Natural Operators in Differential Geometry |date=2009/12/28 |publisher=Springer |authors=Ivan Kolář, Jan Slovák, Peter W. Michor |isbn=978-3642081491 |ref=Kolar
*isbn=978-9048166329
*Cite web |url=https://people.math.ethz.ch/~salamon/PREPRINTS/witsei.pdf |title=Spin Geometry and Seiberg-Witten invariants |access-date=2023/10/27 |publisher=チューリッヒ工科大学 |author=Dietmar Salamon
*Cite web |url=https://www.few.vu.nl/~pasquott/course16.pdf |title=Linear G-structures by examples |access-date=2023/10/27 |publisher=アムステルダム自由大学 |author=Federica Pasquotto |ref=Pasquotto
*cite book |series=Wiley Classics Library |title=Foundations of Differential Geometry Volume I |publisher=Wiley |date=2009 |orig-year=1963 |isbn=978-0-471-15733-5 |zbl=0119.37502 |author2=Katsumi Nomizu |author=Shishichi Kobayashi |ref=Kobayashi-Nomizu-1
*ref=Kobayashi-Nomizu-2- ref=Freeman
*urlname=Connection
*year=2004
*.
*Cite book|和書 |title=ゲージ理論・一般相対性理論のための 微分幾何入門 |date= 2021/9/30 |publisher=森北出版 |author=佐古彰史 |ref=佐古 |isbn=978-4627078512

**歴史的な文献**
  ref=harv-  ref=harv-  ref=harv-  ref=harv-  ref=harv-  ref=harv-  ref=harv
*pages=205–241
*isbn=978-0-915692-34-7

**外部リンク**
 Connections at the Manifold Atlas