2019年にマリオス〈Anastasios Mallios〉の抽象微分幾何(以下、マリオス微分幾何)について紹介したことがあります。
その後もたまにマリオス達の論文を眺めることもありました。2,3日前に、バシリウー〈Efstathios Vassiliou〉の次の論文を見返しました(なんとなく)。
- Title: Vector Sheaves Associated with Principal Sheaves
- Author: E. Vassiliou
- Submitted: 13 Oct 1998
- Pages: 11p
- URL: https://arxiv.org/abs/math/9810083
主層〈principal sheaf〉に関して僕が誤解していたので、主層とその上のカルタン接続について述べます。
※注: この記事では、数式は一文字であってもすべてMathJaxで書いてみました。そのため、レンダリングが重いページになっているかも知れません。それと、テキストレイアウトが若干崩れるかも知れません。
内容:
ベクトル層と主層
「抽象微分多様体、もうチョット」より:
ベクトルバンドルに相当するベクトル層と同様に、主バンドルに相当する主層〈principal sheaf〉というモノも定義されています。主層の定義は、ベクトル層より複雑です(僕はよく分かってない)。
ベクトル層と主層が、マリオス微分幾何の中心的な話題のようです。
この時点(2019年4月1日)で、主層をよく分かってないです。
マリオス達が使っている「ベクトル層」「主層」という言葉は、「ベクトルバンドル←→ベクトル層」「主バンドル←→主層」という対応があり便利です。が、この用語法を広げて使うのは無理がありそうです。バンドルから作られる層をバンドル層と呼ぶことにして、
に言い換えます。
これは翌日(2019年4月2日)の記事です。「主バンドル←→主層」という対応があると言ってますが、これは誤解していました。ベクトル層は、ベクトルバンドル由来の層だと思っていいですが、主層は主バンドル由来とは限らないです。
マリオス微分幾何の特徴は、バンドル〈ファイバーバンドル〉に言及せずに直接的に層を使うことです。がしかし、バンドルが全然出てこないわけではありません。バンドルと層の関係性がだいぶ紛らわしいです。過去記事の上記引用のように、バンドルから生成された層は「ナントカ・バンドル層」と呼ぶことにします。逆に、バンドル由来でない層を「ナントカ・バンドル層」とは呼びません。これでハッキリするでしょう -- 主層は主バンドル層ではありません。
問題の主層ですが、これは主バンドルには言及せずに層の言葉だけで定義されています。主バンドル層は典型的な主層だし、具体的な記述や計算では、主バンドル層でないとうまくいきませんが、主層の定義にバンドルは出てきません。
マリオス/バシリウー達の記法では、「空間 上の層は、TeXの意味でのカリグラフィー体(\mathcalで指定)*1で書く」というルールです。が、このルールが守り切れてない、というか守ろうとしてもフォント指定を忘れたり間違えたりがけっこう多いです。結果的に、論文が読みにくくなっています。
この記事では、一般的な層(特定の層ではない)はカリグラフィー体で表しますが、特定されている層はボールド体か大文字ギリシャ文字にします。マリオス/バシリウー達は、環付き空間〈ringed space〉の構造層である環の層を固定してないので (カリグラフィー体)と書いてますが、ここでは固定するので (ローマン体太字)です(定義は後述)。その他、記法はできるだけ整理して、書き間違いのリスクが少なくなるようにします。
バンドルと層に関する準備
は(なめらかな)多様体とします。マリオス微分幾何の特徴は、多様体とは限らない位相空間も考えることですが、ここでは、空間を多様体に限定して話を簡単にします。
バンドルは、局所自明性を持つファイバーバンドルのことです。単なる連続写像 をバンドルと呼ぶことがあります(例えば、ココ参照)が、ここでは、それはバンドルとは言いません。
バンドルを、記号の乱用で のように書きます。バンドル の点 におけるファイバーは( ではなくて) 〈fibre of E at p〉と書き、典型ファイバーは と書くことにします。バンドルの定義より、局所的に(開集合 上で) です。バンドルの典型ファイバーも明示するときは、 と四つ組にします。
底空間 上の、ファイバーが である自明バンドル〈直積バンドル〉を と書きます。この記法を使うと、一般のバンドルの局所自明条件は、次のように書けます。 は、点 を含む開集合の集合です。
バンドル のセクション〈大域セクション〉の集合は です。開集合 上の局所セクションの集合は、若干記号の乱用をして と書きます。 は 上の集合の層になります*2。
多様体 上のすべてのバンドルと(底空間 を動かさない)バンドル射の全体は圏をなすので、それを と書きます。圏 は、ファイバー積に関してデカルト圏になります。デカルト積(実体はファイバー積)を 、デカルト圏として単位対象兼終対象を と書きます。
僕は今まで、 上の層(集合の層)の圏を または と書いていましたが、集合の層の圏は と書きます。同様に、(可換な)環の層は です。また、「ナントカの層」の「の」は省いて「ナントカ層」と呼びます。例えば、群層〈sheaf of groups | group sheaf〉の圏は となります。このような書き方は、誤解のリスクが若干あります*3が、簡略でいいので採用します。
環層の圏 の対象は、集合層の圏 のなかの環対象〈ring object〉です。群層の圏 の対象は、集合層の圏 のなかの群対象〈group object〉です。 と置いたときは、 のように、通常の集合圏や群の圏が再現します。
とします。つまり、 は 上の環層です。 を係数環〈スカラー環〉層とする加群層の圏は と書きます。加群層に結合的・単位的な掛け算が入った代数系の層は多元環層〈algebra sheaf〉と呼び、多元環層の圏は と書きます。また、結合的・単位的な掛け算ではなくて、リー括弧積が入った代数系の層の圏は です。これら、係数環層の上の、加群層の圏/多元環層の圏/リー代数層の圏はよく使われます。
体とベクトル空間に関しては、今までの調子で層に拡張はできません。体から環層を作って、ベクトル空間はその環層の上の加群層だとみなしましょう; を基礎体とします。ここでは、 で、一般的な体は考えません。どんな開集合 にも を対応させる前層は層にはなりません。その前層を層化した層を とします。層 は値局所定数関数の層とみなせます。層 には環の構造が入るので、 とみなします。そして、 の対象をベクトル空間相当物と考えます。
カリグラフィー体ではない太字の は、多様体上の(なめらかな)値関数の環層だとします。つまり、 です。ここで、 は、体から作った環層 を基礎環層とする環層〈相対環層〉の圏です。また、 は多様体 上の1次微分形式の層だとします。 です。ここで、 は、基礎環層 上の環層 上の加群層の圏です。
他にも必要なバンドルと層に関する概念はありますが、それは必要になったところで導入することにします。
圏の内部ホムと内部系
層の圏を扱うときに、内部ホムと内部系(内部群、内部環など)を使いますが、明示されずに暗黙に使われていることが多いです。マリオス微分幾何でも、いつのまにか内部ホムから作られた内部オート群が使われていたりします。ここらへんをハッキリさせましょう。
この節は圏論の話なので、カリグラフィー体 などは(層ではなくて)一般的な圏を表します。
がデカルト閉圏であるとき、内部ホム対象〈指数対象〉は 、 、 などと書きます。が、複数の圏を扱うときに、どこの圏の内部ホムか分からなくなるので 、さらに下付きを避けて と書くことにします。内部ホムの定義から次のホムセット同型があります。
次の素材を使って、 を豊饒化圏〈enriching category〉とする豊饒圏〈enriched category〉が作れます(構成の詳細は割愛)。
デカルト閉圏は、自分自身の上に豊饒化された圏となります。例えば、集合圏はそのような圏です。
圏 が 圏 上の具象圏とします。これは、忠実忘却関手 が存在することです。特に、 (部分圏)なら、 は 上の具象圏です。 がデカルト閉圏なら、次のようにして、 は -豊饒圏になります。
のもとのホムセットは、次の同型から回復できます。
以下、圏 がデカルト閉圏 で豊饒化されている状況で考えます。このとき、 の対象 に対して、エンドモノイド〈endo monoid〉 を 内の( 内ではない!)モノイド対象として定義できます。
エンドモノイド は次のようなものです。
- 台対象〈underlying object〉は 。
- モノイド演算は 。
- モノイド単位は 。
これらが、モノイド法則を満たすことは確認が必要ですが、実際に 内のモノイド対象になります。
もし、圏 が 内のアーベル群対象(内部アーベル群)で豊饒化されているなら、エンド対象 に足し算があるので、 内にエンド多元環〈endo algebra〉を構成することができます。 の対象 のエンド多元環を と書きます。
内のモノイド対象とモノイド射の圏を 、多元環対象と多元環射の圏を とすると、次が成立します。
さて、マリオス微分幾何の主層理論で使われるオート群〈auto group〉ですが、これはエンドモノイドの可逆元からなる群です。直感的には分かりやすいのですが、実際に構成するのは自明とは思えません。豊饒化圏 がデカルト閉圏なだけでは無理なんじゃないのかな。 がトポスなら、論理式で絞り込んで の部分対象として を作れそうです。
集合の内包的記法で部分対象を特定することは、単なるデカルト閉圏では無理です。
マリオス微分幾何では、 と置くと、 が実際にトポスになっているので、その内部でオート群の台対象である は作れて、群の構造を与えることができます。オート群〈auto group〉は、
と書けます。オート群は、 内の群対象になるので:
他にも、 内で集合圏と同様な操作ができることがけっこう使われます。
群層、群作用層、主層
群層〈group sheaf〉、群作用層〈group action sheaf〉は、それぞれ群、群作用を層で考えたものです。つまり、集合層の圏 のなかの群対象が群層で、群作用対象が群作用層になります。群対象や群作用対象は、どんなデカルト圏(より一般にモノイド圏)でも定義できます。
いつものとおりの記号の乱用を使えば、群層は と書けます。台対象(群層と同じ記号をオーバーロード) は集合層で、群乗法 、単位 、逆元 は集合層のあいだの射で、群の法則を満たします。逆元の法則だけ可換図式で書いておくと:
ここで、 はデカルト圏の対角射〈コピー射〉です。
群作用には左群作用〈left group action〉と右群作用〈right group action〉がありますが、ここでは主に右群作用を考えます。右群作用を定義する射を とします。群作用としての結合法則は次の可換図式になります(少しサボって単純化してます)。
等式的理論としての群/群作用の理論は、集合圏でも集合層の圏でも変わりません。
群層 をひとつ固定して、-右群作用層の圏を とします。圏 の射 は、集合層の射 であって、次の図式を可換にするものです。
さて、-右主層〈right principal sheaf〉とは、-右群作用層で次の条件を満たすものです。
この条件は、 による右群作用が、局所的には(右群作用とみた)群の乗法と同型であると言っています。条件のなかに出てくる は、ある種の“局所自明化”と言えます。
リー型群層
群層は、群の層的対応物ですが、リー群の層的対応物は何でしょうか? これに対してひとつの定式化を与えたことが、マリオス/バシリウーの主層理論〈theory of principal sheaves〉のポイントだと思います。「リー群はリー代数を持ち、そのリー代数を表現空間とする標準的な群表現(随伴表現)を持つ」ということに着目し、そこだけ抜き出して、リー型の群層〈group sheaf of Lie-type〉を定義しました。これは優れたアイディアだと思います。
リー型群層は、群層とその表現を一緒にしたものです。群層の表現を考えるには、先に述べた内部オート群が必要になります。単なる加群層ではなくてリー代数層の内部オート群です。
環層 上のリー代数層の圏 は、通常の環上のリー代数の圏と同様に定義できます。圏 は、トポス への忠実忘却関手を持つので、 内の群対象として、オート群を持ちます。
群層 があると、それは圏 の対象なので、次の群層のあいだの射は意味を持ちます。
群層 に、リー代数層 と上記の群層の射 を一緒にした構造 をリー型群層〈group sheaf of Lie-type〉と呼びます。リー型群層のモデルとなった構造は、リー群とそのリー代数、そして随伴表現の三つ組です。
リー/モーレー/カルタン群層
上の群層の典型的な例は、群バンドルのセクションの層です。自明な群バンドルを考えると、セクションは群値関数のことです。群がリー群なら、群値関数の微分を考えることができます。一番簡単な群値関数として、 を考えてみます。 は、非負実数の乗法群に値を取ります。単なる微分ではなくて対数微分を考えます。
- (対数微分の定義)
- (これを定義にしてもよい)
この対数微分を一般化・公理化した微分演算がモーレー/カルタン微分です。モーレー/カルタン微分は、多様体上の“乗法的な量の場”の微分です。乗法的な量の微小な変化を、対数化(線形化)した量で測ります。乗法的な量を線形化した空間としてリー代数が使われます。
をリー型群層だとして、その上のモーレー/カルタン微分〈Maurer–Cartan differential〉とは次にような微分作用素です。
ここで、リー代数層 も1次微分形式の層 も環層 上の加群層なので、テンソル積は環層 に関して取ります。
作用素 は以下の性質(モーレー/カルタン微分の公理)を持つとします。群の乗法は単に併置で表しています。 は、 として定義される群層の表現(群層のあいだの射) です。
これは、対数微分の性質の一般化です。この等式の正確な意味は次のようになります。
なお、今は開集合の添字を のように右下に付けましたが、右下・右上は他の目的で使うので、僕は のように左上に付けることが多いです。
リー型群層にモーレー/カルタン微分が備わっていれば、群層の要素(群値関数に相当)を微分することができます。モーレー/カルタン微分を備えたリー型群層をリー/モーレー/カルタン群層〈Lie-Maurer–Cartan group sheaf〉と呼びます。
主共変微分とカルタン接続
をリー/モーレー/カルタン群層とします。そして、-右主層 があるとします。主層の台である集合層 にも微分作用素を考えます。 は、局所的には と同じなので、主層の微分は、群層のモーレー/カルタン微分とだいたい同じです。次のような作用素です。
満たすべき性質もモーレー/カルタン微分と同様です。群層による右作用はドットで表します。
この性質を満たす作用素を主層 上の主共変微分〈principal covariant derivative〉と呼ぶことにします。ベクトルバンドル層の共変微分に相当するからです。主層に作用している群層がリー/モーレー/カルタン群層でないと主共変微分を考えることはできません。
主共変微分を備えた、リー/モーレー/カルタン群層上の主層をカルタン接続〈Cartan connection〉と呼びます。ベクトルバンドル層のコジュール接続に相当します。だいたい次の対応があります。
加法的 | 乗法的 |
---|---|
加群層 | 主層 |
共変微分 | 主共変微分 |
ベクトルバンドル層 | 主バンドル層 |
コジュール接続 | カルタン接続 |
そしてそれから
前節のカルタン接続の定義と、そこに至るまでの各種の定義に、バンドルは出てきていません。しかし、群層、主層、主共変微分などを、バンドルと無関係に考えることは難しいと思います。一般的な枠組みは層の言葉だけで作っておいて、そのなかで主バンドル層やベクトルバンドル層を扱うことになるでしょう。
扱う対象物をバンドル層に限定する場合でも、一般的な枠組みがあると見通しが良くなります。実際にバンドル層を扱うのは次の機会に。そのとき、この記事で述べた記法や定義を使うことになるでしょう。