ドラムの話をします

なかしゅです。

準備

本題に入る前に、必要な知識を簡単にまとめておきます。紙面の都合と己の不勉強のため、数学的厳密性を欠いた記述がなされることもあります。ご容赦ください。

多様体と接空間

Hausdorff^[1]な位相空間 $M$ に対して、次の性質を満たす集合と写像の族 ${(U_{i}, φ_{i})}$ が与えられている時、その位相空間を可微分多様体^[2]と呼びます。

(i) ${U_{i}}_{i}$ はMを被覆するような開集合族(すなわち $⋃_{i} U_{i} = M$ )で、各 $U_{i}$ は $R^{m}$ に同相。 $φ_{i} : U_{i} \to R^{m}$ は同相写像。

(ii) $U_{i} \cap U_{j} \neq \emptyset$ を満たす $U_{i}$ と $U_{j}$ が与えられた時、写像 $φ_{i} \circ φ_{j}^{- 1} : φ_{j} (U_{i} \cap U_{j}) \to φ_{i} (U_{i} \cap U_{j})$ は, $R^{m} \to R^{m}$ なる写像として無限回微分可能である。

この時、集合と写像の組 $(U_{i}, φ_{i})$ はチャートと呼ばれ、これを全て集めた全体の族 ${(U_{i}, φ_{i})}$ はアトラスと呼ばれます。すなわち、端的には多様体とはこのようなチャートとアトラスの構造を有した位相空間であると言えます。より標語的に言えば、「多様体とは^[3]局所的にユークリッド空間 $R^{m}$ と同相な位相空間である」と理解できます。以下では、 $m$ 次元多様体のある部分集合 $U_{i}$ 上の点 $p$ を写像 $φ_{i}$ により写して $R^{m}$ 内の点 $(x^{1}, x^{2}, \dots, x^{m})$ として見る時、「チャート $(U_{i}, φ_{i})$ のもとで見る」という言い方をします。

いま、多様体上の微分可能な写像 $f : M \to R$ を考えます。どういうことかというと、この写像をある適当なチャートのもとで座標表示して $f \circ φ^{- 1} : R^{m} \to R$ として見たときに、これが実多変数関数の意味で微分可能であるとき、 $f$ を多様体上で定義された微分可能な写像と呼んでいます。

いま、このような写像に対して、多様体上の曲線 $c : I \to M$ ( $I$ は $t = 0$ を含む開区間)との合成 $f \circ c$ を考えます。このとき、曲線 $c$ に沿った $f$ の変化率は

\frac{d f (c (t))}{d t} |_{t = 0}

と書かれます。これをチャート $(U_{i}, φ_{i})$ から見ると、

\frac{\partial}{\partial x^{μ}} f \circ φ^{- 1} (x) \frac{d x^{μ} (c (t))}{d t} |_{t = 0}

のように書けます。ただし、 $x^{μ} (c (t))$ とは点 $p \in M$ を適当なチャートから見た時の第 $μ$ 成分のことです(すなわち、 $x^{μ}$ は多様体上の点に対してそれを特定のチャートから見た時の座標成分を返す関数で、「座標関数」と呼ばれます)。ここで、 $f$ に対する微分作用素 $X$ を、各点 $p \in M$ において

X |_{p} = X^{μ} {(\frac{\partial}{\partial x^{μ}})}_{p}

なるものと定義します(ここでは縮約記法を採用して、和の記号 $Σ$ は省略します)。ただし、ここで各成分 $X^{μ} \in R$ は

X^{μ} = \frac{d x^{μ} (c (t))}{d t} |_{t = 0}

と定めています。すなわち、この微分作用素 $X$ の関数 $f : M \to R$ に対する作用は、 $M$ 上の各点 $p$ において、曲線 $c (t)$ の方向に沿った $f$ の方向微分を返す、というものです。上のようにして与えた $X_{p}$ を, 多様体 $M$ 上の曲線 $c$ の $p = c (0)$ なる点における接ベクトルと言います。すなわち、多様体上のある点 $p$ を通る曲線があった時、その点における接ベクトルとは「曲線 $c$ に沿った関数の方向微分の点 $p$ 上における値を返すもの」となっています。

点 $p$ を通るようなあらゆる曲線を考えて、その曲線に対する接ベクトルを集めた集合を、多様体 $M$ の点 $p$ における接空間と定義して $T_{p} M$ と書きます。正確には、点 $p$ を通る曲線どうしの間に同値関係を定めて、その同値類に対する接ベクトルを集めたものとして接空間を定義してあげる必要があります。詳細は省きますが、要するに、点 $p \in M$ における接空間を曲線に対する接ベクトルの集合として定義する時は、「 $p \in M$ の上では同じ接ベクトルを与える曲線」は全て同一視して考えます( $p$ 以外の点でどれだけその2つの曲線が異なっていようとも、です)。

接空間 $T_{p} M$ は ${{(\frac{\partial}{\partial x^{μ}})}_{p}}$ を基底として張られるベクトル空間で(このように選んだ基底を座標基底と言います)、その次元は $M$ と一致します(基底の数が座標成分の数だけあるので当然です)。「多様体の各点 $p$ に対して接空間 $T_{p} M$ の元を返す」ような対応関係は接ベクトル場と呼ばれ $X (M)$ という記号で書かれます。例えば、 $\frac{\partial}{\partial x^{μ}} \in X (M)$ と書いたときは、「各点 $p \in M$ に対して、その接空間 $T_{p} M$ の座標基底の第 $μ$ 番目を返す」という対応関係を意味します。

多様体のすべての点 $p$ における接空間 $T_{p} M$ を集めたものは接束と呼ばれます。ここではこれ以上の説明をしませんが、可微分多様体のベクトル束ないしファイバー束の概念は非常に重要です。物理の文脈では、例えばゲージ理論の数学的基礎づけやトポロジカル絶縁体の理論においてはベクトル束の概念が主役になります。

余接空間と微分形式

先に導入した接空間に対して、その双対空間である余接空間というものを導入します。すなわち、接空間 $T_{p} M$ があったとき、その余接空間 $T_{p}^{*} M$ の元 $ω$ は接空間の任意の元に対して実数を返す写像 $ω : T_{p} M \to R$ となっています。適当なチャートを与えて座標表示すると、この $ω$ は $ω = ω_{μ} d x^{μ} |_{p}$ という風に書かれます。ここで、 $d x^{μ} |_{p}$ とは余接空間 $T_{p}^{*} M$ の基底であり、双線形写像 $⟨, ⟩_{p} : T_{p} M \times T_{p}^{*} M \to R$ を用いると、先に導入した接空間の基底とは

⟨ d x^{μ}, \frac{\partial}{\partial x^{ν}} ⟩_{p} = δ_{ν}^{μ} \in R

という関係で結ばれます。すなわち、多様体の任意の点 $p$ において余接空間 $T_{p}^{*} M$ の基底は接空間 $T_{p} M$ の基底に対する双対基底とよばれるものになっています。余接空間の元は余接ベクトル、あるいは1-形式と呼ばれます。　いま、余接空間の基底を ${d x^{μ}}$ と書きます(これらは最も基本的な1-形式です)。いま、この $d x^{μ}$ 同士の間に次のような積(外積、完全反対称テンソル積)を導入します。

d x^{μ_{1}} \land d x^{μ_{2}} \land \dots \land d x^{μ_{n}} = \sum_{P \in S_{r}} sgn (P) d x^{μ_{P (1)}} \otimes d x^{μ_{P (2)}} \otimes \dots \otimes d x^{μ_{P (r)}}

このように、1-形式の $r$ 個の外積の形で書けるものは $r$ -形式と呼ばれ、これは多様体上の各点 $p$ において「接空間 $T_{p} M$ の元を $r$ 個持ってくると $R$ の値を返す多重線型写像」となっています。線形代数の概念を用いれば、これは $(0, r)$ 型の反対称テンソルと呼ばれる量です^[4]。

$r$ -形式は、「 $d x^{μ_{1}} \land \dots \land d x^{μ_{r}}$ に何かしらの関数 $f : M \to R$ を掛けたもの」を足し合わせた形で与えられます。雑な言い方をすると、「関数 $M \to R$ を係数とした線型結合」になっています(これを $C^{\infty} (M)$ -加群と呼びます。 $C^{\infty} (M)$ とは関数 $f$ が所属するクラスです)。 $p \in M$ における $r$ -形式の全体はベクトル空間をなし、それを $Ω_{p}^{r} (M)$ という風に書きます。

外微分作用素

多様体 $M$ 上の $r$ -形式に作用させて $r + 1$ -形式を返すような写像 $d : Ω^{r} (M) \to Ω^{r + 1} (M)$ を考えます。この写像は、 $ω = f d x^{μ_{1}} \land \dots \land d x^{μ_{r}} \in Ω^{r} (M)$ に対して

d ω = (\sum_{μ_{i}} \frac{\partial f}{\partial x^{μ_{i}}} d x^{μ_{i}}) \land d x^{μ_{1}} \land \dots \land d x^{μ_{r}} \in Ω^{r + 1} (M)

を返すものとして定義されます。この $d$ を外微分作用素と呼びます( $r$ -形式に作用するものを $d^{r}$ のようににラベルすることもあります)

$d$ の重要な性質として、「任意の $r$ -形式に $d$ を2回作用させると $0$ ^[5]になる」というものがあります。実際、 $r = 1$ としてこれを確かめてみると、1-形式 $ω$ がある関数 $f \in C^{\infty} (M)$ を用いて

ω = d f = \frac{\partial f}{\partial x^{μ}} d x^{μ}

と書ける時、これに外微分を作用させると

d ω = d (\frac{\partial f}{\partial x^{μ}} d x^{μ}) = \frac{\partial}{\partial x^{ν}} \frac{\partial f}{\partial x^{μ}} d x^{ν} \land d x^{μ}

となります(縮約記法を用いていることに注意してください)。ここで、関数の微分は添字 $μ, ν$ を入れ替えても符号は変わりませんが、外積 $d x^{ν} \land d x^{μ}$ は完全反対称なテンソル積であり、添字の入れ替えによって符号を変えます。すなわち、

\frac{\partial^{2} f}{\partial x^{ν} \partial x^{μ}} d x^{ν} \land d x^{μ} = \frac{\partial^{2} f}{\partial x^{μ} \partial x^{ν}} d x^{μ} \land d x^{ν} = - \frac{\partial^{2} f}{\partial x^{ν} \partial x^{μ}} d x^{ν} \land d x^{μ}

より、これは2-形式としての $0$ になります。 $r$ が2以上の時も同様にして確かめられます。

閉形式と完全形式、ドラームコホモロジー

多様体 $M$ 上の $r$ -形式( $r = 0, 1, \dots, m$ ) $ω$ であって「 $d$ を作用させると0になる( $d ω = 0 となる$ )」ようなもののことを閉形式と呼びます。

一方、 $r$ -形式 $ω$ であって「ある $r - 1$ -形式 $η$ を用いて $ω = d η$ と書ける」ようなもののことを完全形式と呼びます。明らかに完全形式であれば $d^{2} = 0$ により $d$ を作用させると消えるので、これは閉形式にもなっています。では逆はどうでしょうか？実は、この逆は必ずしも成り立ちません。すなわち、ある「特別な多様体」においては、閉形式全体の集合と完全形式全体の集合は異なってきます。そこで、多様体に対して「閉形式全体の集合と完全形式全体の集合の間にどれくらいの違いがあるか？」という指標を考えたくなります。それがドラームコホモロジーと呼ばれる概念です(より正確にいうと、「閉形式が多様体全域において完全形式になれるか？」という指標です。閉形式は局所的には完全になりますが、我々の興味があるのは多様体の大域的構造です)。

今、多様体 $M$ の $r$ -形式( $r = 0, 1, \dots, m$ )全体のうち、閉形式をなすもの全体の集合をコサイクル集合 $Z^{r} (M)$ と呼び、完全形式をなすもの全体の集合をコバウンダリ集合 $B^{r} (M)$ と呼ぶことにします。外微分作用素 $d$ を用いると、コサイクル集合は

Z^{r} (M) = \ker d (: Ω^{r} (M) \to Ω^{r + 1} (M))

と書け、コバウンダリ集合は

B^{r} (M) = im d (: Ω^{r - 1} (M) \to Ω^{r} (M))

と書けます。この時、コサイクル集合 $Z^{r} (M)$ のコバウンダリ集合 $B^{r} (M)$ による商空間 $H_{d R}^{r} (M) = Z^{r} (M) / B^{r} (M)$ のことを、 $r$ 次のドラームコホモロジー群と呼びます(つまり、これは閉形式の同値類がなす $R$ -係数のベクトル空間です)。すなわち、この空間には次のような同値関係が入ります: 閉形式である $r$ -形式 $ω_{1}$ と $ω_{2}$ があった時、もしその差 $ω_{1} - ω_{2}$ が何らかの完全形式 $d η$ ( $η \in Ω^{r - 1} (M)$ )によって書けるなら、その2つの閉形式は同一視されます。もし全ての閉形式が完全形式でもある場合は、この同値関係によって生じる同値類はただ一つのみです。一方、閉形式だが完全形式でないようなものがある場合、その多様体のドラームコホモロジー群は非自明な元を持つことになります。

ドラームコホモロジーは、 $r$ -形式 $Ω^{r} (M)$ および外微分作用素 $d$ のなす複体のコホモロジーである、という言い方がなされます。 $r$ -形式全体 $Ω^{r} (M)$ は加法の下でアーベル群を、もっと言えば $R$ -係数のベクトル空間をなし、また $Ω^{r} (M)$ と $Ω^{r + 1} (M)$ を繋ぐ写像 $d^{r}$ には $d^{2} = 0$ なる性質があるため、コチェイン複体

0 \to Ω^{0} (M) \overset{d^{0}}{\to} Ω^{1} (M) \overset{d^{1}}{\to} Ω^{2} (M) \overset{d^{2}}{\to} \dots

を構成することができます。この複体のコホモロジーがドラームコホモロジーです。すなわち、

H_{dR}^{0} (M) = \ker d^{0} = {M 上 の 実 数 値 局 所 定 数 関 数} = R

H_{dR}^{r} (M) = \ker d^{r} / im d^{r - 1}

となります。

多様体 $M$ がいくつかの弧状連結成分からなる場合は、 $M$ のドラームコホモロジー群は各弧状連結成分における結果の直和によって与えられます。

ここで、ドラームコホモロジー群の重要な性質を2つ見てみましょう。これは実際に多様体のドラームコホモロジー群を計算する時に大いに威力を発揮します。

(1)ドラームコホモロジー群のホモトピー不変性: 互いにホモトピー同値な2つの位相空間 $X$ と $Y$ ^[6]に対して、そのドラームコホモロジー群は等しい。

(2)Mayer-Vietoris完全系列: 多様体 $M$ およびそれの部分多様体 $U$ , $V$ (ただし、部分多様体は $U \cap V \neq \emptyset$ かつ ${U, V}$ が $M$ を被覆するように取る)に対して、次の完全系列が存在する。

\dots \to H^{n} (M) \overset{ρ}{\to} H^{n} (U) \oplus H^{n} (V) \overset{Δ}{\to} H^{n} (U \cap V) \overset{d^{*}}{\to} H^{n + 1} (M) \to \dots

ただし、 $ρ$ は制限写像、 $d^{*}$ は外微分作用素からコホモロジー群に対して誘導される双対境界写像です。ここで、系列が完全であるとは、どの隣接する3つの集合に対しても

\dots \to F \overset{f}{\to} G \overset{g}{\to} H \to \dots

なる写像 $f$ と $g$ の間に $im f = \ker g$ が成り立っていることを言います(詳細は省きます。例えば、川澄響矢「トポロジーの基礎(上)」(東京大学出版会)などに詳しく載っています)。

ここではこれらの性質の証明はしません(完全系列の存在性の証明はとても大変です。ここではとりあえずそういう系列があるんだなぁと思ってください。この完全系列の存在には「多様体 $M$ のトポロジーを、部分多様体に分割して計算できる」という点に嬉しさがあると思います)。以下の計算例ではこの性質を用いています。

本題

次の画像のような多様体( $M_{0}$ とする)を考えます。

本記事の以下において、この多様体のドラームコホモロジーの計算を行います。この多様体はいくつかの弧状連結成分に分かれています。そこで、それぞれの弧状連結成分についての計算を行ってから最後にまとめる方針を採ります。議論を簡単にするために、多様体が「①4つの閉じた(中身が空洞の)円筒+②1つの穴の空いた円筒+③5枚の穴の空いた円板+④いくつかの線分」から構成されているものとみなします。これによって、①②③④のそれぞれに対してドラームコホモロジーを計算すれば良いことになります。

紙面の都合上、今回は1次のドラームコホモロジーの計算のみにとどめます。一般の次元のドラームコホモロジーを任意の多様体に対して計算する系統的な手続きはありません(先に上げたMayer-Vietoris完全系列やホモトピー不変性などの性質を利用して計算を楽にすることはできますが)。なお、既に述べたように、 $H_{dR}^{0} (M) = R$ です(単連結の場合。弧状連結成分が複数ある場合はその数の分だけ直和をとる)。

①に対する計算

中身が空洞の円筒は、連続変形によって2次元球面 $S^{2}$ にすることが出来る( $S^{2}$ とホモトピックである)ので、ドラームコホモロジーのホモトピー不変性により、 $H_{dR}^{n} (S^{2})$ を求めることに帰着できます。

さて、Mayer-Vietoris完全系列を使って、 $H_{dR}^{1} (S^{2})$ の計算を実行しましょう。空間 $S^{2}$ を次の2つの部分多様体に分割します:

S^{2} = {(x, y, z) \in R^{3} | x^{2} + y^{2} + z^{2} = 1}

U := {(x, y, z) \in S^{2} | z > - \frac{1}{2}}

V := {(x, y, z) \in S^{2} | z < \frac{1}{2}}

この時、 $S^{2} = U \cup V$ であり、 $U \cap V = {(x, y, z) \in S^{2} | - \frac{1}{2} < z < \frac{1}{2}} \neq \emptyset$ です。また、 $U ≅ (位相同型) R^{2}$ 、 $V ≅ R^{2}$ であり、 $U \cap V ≅ R \times S^{1} ≃ (ホモトピー同値) S^{1}$ です。

このように $S^{2}$ を分割する時、Mayer-Vietoris完全系列は

0 \to H^{0} (S^{2}) \to H^{0} (U) \oplus H^{0} (V) \to H^{0} (U \cap V)

\to H^{1} (S^{2}) \to H^{1} (U) \oplus H^{1} (V) \to H^{1} (U \cap V)

\to H^{2} (S^{2}) \to H^{2} (U) \oplus H^{2} (V) \to H^{2} (U \cap V) \to \dots

のように書かれます。ここで、 $U \cap V$ は単連結であることから $H^{0} (U \cap V) = R$ です。また、 $U$ および $V$ はともに2次元球面を切ったような空間であり、いずれも連続的に縮めていくことで1点に縮こめることができます。すなわち、これは1点とホモトピー同値な(「1点に可縮な」ともいいます)多様体です。ここで、次のPoincaréの補題というものを証明なしで述べます。

【Poincaréの補題】

ユークリッド空間 $R^{n}$ (より一般には、可縮な多様体 $M$ )において、任意の閉形式は完全形式である。

Poincaréの補題を認めると、可縮な多様体においては閉形式の集合と完全形式の集合とが一致しており、よってドラームコホモロジーは自明(ただ一つの要素しか持たない群)とわかります。それは単に$\lbrace 0\rbrace $あるいは $0$ と書かれます(加群の単位元が0であるため)。すなわち、 $H^{1} (U) \oplus H^{1} (V) = 0$ です。さらに、 $U \cap V ≃ S^{1}$ であり、 $H^{1} (S^{1}) = R$ は直接計算によって確かめられます。より、系列

R \overset{d}{\to} H^{1} (S^{2}) \overset{f}{\to} 0 \overset{g}{\to} R

が構成できます(ただし、 $im d = \ker f$ 、 $im f = \ker g$ )。これが完全系列として成立するためには、 $H^{1} (S^{2}) = 0$ でなければならないとわかります。ゆえ、 $S^{2}$ の、および $S^{2}$ とホモトピックであった①のドラームコホモロジー群は0であるとわかります。

なお、一般に $m$ 次元球面のドラームコホモロジーの計算結果は一般に知られていて、

H^{r} (S^{n}) = {\begin{cases} R, & r = 0 ま た は r = n \\ 0 & otherwise \end{cases}

となっています。これはMayer-Vietoris完全系列を用いて帰納的に確かめられます。

②に対する計算

穴の空いた円筒は、その穴をどんどん拡張して平べったくしてあげることで、穴のない2次元円板に変形することができます。2次元円板は1点とホモトピー同値(=可縮)なので、もとの多様体も可縮です。より、先述のPoincaréの補題からこの多様体のドラームコホモロジーは自明です。

③に対する計算

穴の空いた円板は、穴の空いた $R^{2}$ 、すなわち $R^{2} - {(0, 0)}$ にホモトピックです。より、多様体 $R^{2} - {(0, 0)}$ のドラームコホモロジーを計算すればいいというわけになります。　まず、この多様体の1次のドラームコホモロジーが自明ではないこと、すなわち、閉であるがが完全ではないような1-形式が存在することを示します。実際、例えば1-形式

ω = \frac{- y}{x^{2} + y^{2}} d x + \frac{x}{x^{2} + y^{2}} d y

は閉形式ですが、完全形式ではありません。これを見てみましょう。まず、閉形式であることは外微分作用素を作用させることで確認できます。完全形式でないことについては以下の通りです。まず、 $M = R^{2} - {(0, 0)}$ 上で定義された関数 $F (x, y) = \tan^{- 1} (\frac{y}{x})$ に対して, その外微分は

d F = \frac{\partial F}{\partial x} d x + \frac{\partial F}{\partial y} d y = \frac{- y}{x^{2} + y^{2}} d x + \frac{x}{x^{2} + y^{2}} d y

となっています。しかし、この $F$ は $M$ 上の $C^{\infty}$ 級関数ではなく、よって $Ω^{0} (M)$ の元ではありません。実際、 $x = 0, y \neq 0$ なる点において $F$ はうまく定義されていません。したがって、先に与えた $ω \in Ω^{1} (M)$ はまさに閉形式だが完全形式ではない1-形式となっているわけです。

さて次に、 $M = R^{2} - {(0, 0)}$ の閉だが完全でない微分形式は全て上の $ω$ と同値である(すなわち、同じ同値類に属する)ことを示します。今、適当な閉形式 $η$ を持ってきたとき、必ずある実数 $λ$ が存在して $λ ω - η$ を $M$ 上の完全形式とすることができます。実際、その $λ$ としては

λ = \frac{1}{2 π} \int_{C} η

を取ってくれば良いことが確認できます( $\int_{C}$ は点 $(0, 0)$ を中心とする単位円に沿った1-形式 $η$ の積分)。ゆえ、 $M$ 上の任意の閉1-形式 $η$ に対して、その同値類 $[η]$ は本質的には $ω$ の同値類と一致します: $[η] = λ [ω]$ 。ゆえ、 $M$ 上のドラームコホモロジー群は $[ω]$ というたった一つの非自明な元から生成される $R$ -係数ベクトル空間となり、これより $H^{1} (R^{2} - {(0, 0)}) = R$ が結論づけられます。

④に対する計算

線分( $R$ の部分集合)については、明らかにこの空間は1点にホモトピックであるため、そのドラームコホモロジーは自明です。

結果のまとめ

弧状連結成分①、②、④についてはその1次のドラームコホモロジー群は自明であり、③については $R であるとわかりました。より、もとの多様体$ M_0$(図で与えたもの)は弧状連結成分③を5つ含むので、その1次のドラームコホモロジーは

H_{dR}^{1} (M_{0}) = R \oplus R \oplus R \oplus R \oplus R

となります。

結論

今回取り扱った多様体が比較的単純な図形の組み合わせからできていたため、そんなに面白い結果にはなりませんでしたね。というわけで皆さんもドラムを叩きましょう^[7]。楽しいよ。

参考文献

中原幹夫「理論物理学のための幾何学とトポロジーI」(日本評論社) https://math.stackexchange.com/questions/2158150/de-rham-cohomology-of-mathbbr2-setminus-textone-point 今野宏「微分幾何学」(東京大学出版会)

(点つき)位相空間上の任意の異なる2点に対して、そのうちの一方だけを含みもう一方を含まないような開近傍をどちらの点に対しても取ることができるとき、その空間はHaussdorfであるといいます。簡単にいうと、Haussdorfであるとは空間上の異なる2つの点を区別できるということだと思っていただいて大丈夫です。 ↩︎
写像 $φ_{i} \circ φ_{j}^{- 1}$ が無限回微分可能でない場合(開近傍を貼り合わせる関数が滑らかでない場合)を考えることもできますが、そのような多様体は接空間の概念が定義できないので扱いにくいです。微分幾何学(およびその概念を用いた物理学)の文脈では、多様体といったら暗黙のうちに可微分なもののみに限定するのが通常です。 ↩︎
ここではさりげなく実多様体に話を限っています。写像 $φ_{i}$ を $C^{m}$ の部分空間にマップするものに取り替えれば、「局所的に $C^{m}$ と同相な位相空間」=複素多様体を定義することもできます。 ↩︎
微分幾何学の文脈では、多様体 $M$ の点 $p$ を与えた時、「 $T_{p} M$ の元 $q$ 個、 $T_{p}^{*} M$ の元 $r$ 個を入力として、 $R$ に値を返す多重線形写像」のことを一般に $(r, q)$ -型テンソルであると言います。この呼び方のもとでは、例えば接ベクトル(接空間 $T_{p} M$ の元)は $(1, 0)$ -型テンソルということになります。 ↩︎
ここでの0は数としての0ではなく $r + 1$ -形式としての $0$ であることに注意しましょう。 ↩︎
位相空間 $X$ と $Y$ がホモトピー同値であるとは、連続写像 $f : X \to Y$ およbび $g : Y \to X$ があって、その合成写像が $f \circ g \sim {id}_{Y}$ , $g \circ f \sim {id}_{X}$ を満たす時のことを言います。ここで、連続写像の間の同値関係 $\sim$ については、 $a : X \to Y$ と $b : X \to Y$ に対して連続写像 $F : X \times I \to Y$ が存在して $F (x, 0) = a (x), F (x, 1) = b (x)$ を満たす時 $a \sim b$ ( $a$ は $b$ にホモトピックである)と定めています。この写像 $F$ を、 $a$ と $b$ の間のホモトピーと呼びます。 ↩︎
というわけでドラムの話をします。ドラムって楽しいんですよ。バンドをやるとなるとフロントマンは専らボーカルで、ギターやベースは前で暴れ、キーボードは華やかな旋律やサウンドを担います。ドラムはどこにいるかというと大抵後ろの方です。ドラマーは観客から最も遠い位置にいます。そもそもドラムには明確な音程すらありません。ただビートがあるのみです。ここまで言うとドラムってなんか地味じゃない？？って思われがちかもしれませんが、まさにそのビートこそがドラムの最も重要かつ輝かしい役割であり、ドラマーが作り出すビートはバンド全体の雰囲気を左右しさえします。そう、ドラムってめちゃめちゃ重要でめちゃめちゃかっこいいポジションなんですよ。音楽(バンド音楽)を聴く機会があったらぜひドラムや打楽器のリズムに着目しながら聴いてみてください。普段と違う音楽の聴き方をすると何か新しい発見があるかもしれません。　ついでに言うと、ドラムって別にただパワーででかい音を叩いているわけではないんです。時に繊細に、時にテクニカルに、時に歌うように、叩き方によって色々な表現の仕方があるのもまたドラムの魅力です。これは打楽器全般に対する魅力でもあります。ドラムの発音原理は至ってシンプルなので、叩き方、すなわち身体やスティックの使い方がサウンドを直接的に支配します(もちろん素材やチューニングなどによっても大きく変わってきます)。言ってしまえば「どこをどのように叩けば、いい音として響くような振動モードを励起することができるのか?」ということになります。身体運動によって変幻自在なビートとサウンドを生み出すことができるのが、ドラムの魅力であり僕がドラムを好きな理由です。　ちなみに、僕が普段使ってるスティックはPROMARK社のスタンダードなやつですが、最近はVIC FIRTH社のterra 5Aというスティックを買ってみました。素材はヒッコリーで先端(チップ)は三角形で、ちょっと軽いですが手馴染みが良く指先や手首でのスティックコントロールがしやすいので好きです。　ドラムといえば、有名な「逆問題」の論文にKacの"Can One Hear the Shape of a Drum?"というものがありますね。ドラムの音を聴く=振動モード(2次元波動方程式の解)を知ることによって、ドラムの形=波動方程式の境界条件を導くことができるか? という内容だったような気がします(読んでない)。ドラムを叩く人はヘッドの張り具合を調整することで音色を変化させるチューニングという作業を行います。チューニングはドラムの音を聞きながら張り具合を確認するという作業なので、工程的には波動方程式の解から境界条件を求めるという逆問題に似ていますね。ほんとか？？？ ↩︎