滑りとねじれのない転がし

滑りとねじれのない転がしなお、捩率テンソルの事を「捩れテンソル」ともいうが、英語では、「捩れテンソル」はtorsion tensor、「ねじれのない転がし」の「ねじれ」はtwistであり、両者は無関係な概念である。（#Sharpe p.375.）とは、次元リーマン多様体を次元平面上「滑り」も「ねじれ」もなく転がす事である。

右|サムネイル|滑りとねじれのない転がし※この図は本文とは記号が違い、図のが本文の、がに相当する。
すなわち、次元リーマン多様体上に曲線を取り（図の青の線）、に沿ってを次元平面上を「滑ったり」、「ねじれたり」する事なく転がしたときにできる曲線の軌跡をとする（図の紫の線）。このを上のリーマン計量によって記述するのが、「滑りとねじれのない転がし」の問題である。

はリーマン計量から定まるカルタン接続により決定する事が知られており、また上のに沿った（レヴィ・チヴィタ接続に関する）平行移動が上の平行移動と自然に対応する事が知られている。

以下、本項では特に断りがない限り、単に多様体、関数等といった場合は級のものを考える。また特に断りがない限りベクトル空間は実数体上のものを考え、多様体は縁のないものを考える。

 定義と基本的性質 

 定義 
上ではを上転がす場合を考えたが、より一般に、リーマン多様体を別のリーマン多様体上転がす場合の定義を与える。

まず定義を天下り的に与える。
ここではのによる微分であり、はのにおける接ベクトル空間を自然にの部分空間とみなしたものであり、はの直交補空間である。

 定義の直観的な意味 

定義の各条件の直観的な意味は以下の通りである：

 「転がし」条件 
「転がし」条件：を合同変換で変換したとき、１つ目の条件はがとが重なる事を意味し、2つ目の条件はととが接する事を意味する#Sharpe p.377-378.。

 「滑りなし」条件 
の「無限小合同変換」でのの移動がになる事を要請している。簡単のため時刻にがに重なるよう変換した


を考えると、


であるので、滑りなし条件は任意のに対しが成立する事と同値であり、したがっての長さがの長さと等しくなる事と意味する。

もしが「滑って」いればとの長さが異なってしまうので、上記の条件は滑りがない事を意味すると解釈できる。

 水平方向の「ねじれなし」条件 
、を前述のように取ると、である#Sharpe p.377-378.。したがって水平方向の「ねじれなし」条件は時刻にはに接していたがの「無限小回転」により鉛直方向にのみ移動する事を保証する。図１のように平面上で自転している物体の場合、平面に水平な微分が生じ、水平方向に「ねじれて」いる事になる。

 垂直方向の「ねじれなし」条件 
水平方向のねじれなし条件と同様、がの「無限小回転」により水平方向にのみ移動する事を保証する。図２では直線（図示せず）の周りを円が回転しているが、この場合、直線に鉛直な方向の微分が残り、垂直方向に「ねじれて」いる事になる。

 基本的な性質 
滑りとねじれのない転がしは一意に存在する：よっての一意性から、をのによる発展とするとき、の事を（を明示せず）の発展と呼ぶ。

明らかに以下の「対称律」が成立する：また「推移律」も成立する：

 カルタン接続およびレヴィ・チヴィタ接続との関係 

 カルタン接続との関係 

をリーマン多様体とすると、にはユークリッド幾何学をモデルとする捩れのないカルタン幾何学の構造が一意に入る事が知られている。

を上の区分的になめらかな曲線とすると、カルタン幾何学構造により定まるの発展

が定義可能である。実はこのカルタン幾何学の意味での発展は、滑りとねじれのない転がしによる発展と一致する：

 レヴィ-チヴィタ接続との関係 
次元リーマン多様体を曲線に沿って滑りもねじれもなく転がしたときの発展をとすると、時刻にがに接した瞬間にがに重なるので、自然に写像



が定義できる。この写像を使うと、のレヴィ・チヴィタ接続の幾何学的意味を述べることができる：すなわち、曲線に沿ったの共変微分をに移したものは、を移したものを通常の意味で微分したものに一致する。この事実から特に、レヴィ-チヴィタ接続による平行移動とにおける通常の意味での平行移動の関係を示すことができる：

 脚注 

 出典 

 注釈 

 参考文献 



Category:接続 (数学)
Category:リーマン幾何学
Category:数学に関する記事
Category:回転