東大数理院試過去問解答例(2011B07)

104

ここでは東大数理の修士課程の院試の2011B07の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。　

2011B07

$S^{3}$ を $3$ 次元球面、 $M$ を $2$ 次元多様体とし、 $y_{0}$ を $M$ 上の点とする。 $C^{\infty}$ 写像 $F : S^{3} \times R \to M$ を $F (S^{3} \times {0}) = {y_{0}}$ を満たすものとする。また $C^{\infty}$ 写像
$\begin{array}{cccc} g : & S^{3} & \to & S^{3} \times R \\ x & \mapsto & (x, 1) \end{array}$
をとり、 $f := F \circ g : S^{3} \to M$ とおく。 $α$ を $M$ 上の $2$ 形式、 $β$ を $S^{3}$ 上の $1$ 形式で、 $d β = f^{*} α$ を満たすようなものとする。以下の問いに解答しなさい。

$S^{3} \times R$ 上の $1$ 形式 $\tilde{β}$ で $d \tilde{β} = F^{*} α$ かつ $g^{*} \tilde{β} = β$ を満たすものが存在することを示しなさい。
$\tilde{β} \land F^{*} α$ が閉形式であることを示しなさい。
等式
$\int_{S^{3}} β \land f^{*} α = 0$
を示しなさい。

但し解答を書くに当たって、 $S^{3} \times R$ のドラムコホモロジー群が
$H_{dR}^{i} (S^{3} \times R) = {\begin{cases} R & (i = 0, 3) \\ 0 & (othewise) \end{cases}$
であることは証明なしに用いて良い。

まず $d F^{*} α = F^{*} d α = 0$ なので、 $H^{2} (S^{3} \times R) = 0$ であることとドラムコホモロジーの定義より、 $d γ = F^{*} α$ なる $S^{3} \times R$ 上の $1$ 形式 $γ$ が存在する。 $p : S^{3} \times R \to S^{3}$ を射影とする。このとき $\tilde{β}$ を
$\tilde{β} := p^{*} (β - g^{*} γ) + γ$
と定める。このとき
$\begin{aligned} d \tilde{β} & = p^{*} f^{*} β - p^{*} g^{*} F^{*} α + F^{*} α \\ = p^{*} g^{*} F^{*} α - p^{*} g^{*} F^{*} α + F^{*} α \\ = F^{*} α \end{aligned}$
$\begin{aligned} g^{*} \tilde{β} & = g^{*} p^{*} β - g^{*} p^{*} g^{*} γ + g^{*} γ \\ = (p \circ g)^{*} β - (p \circ g)^{*} g^{*} γ + g^{*} γ \\ = β \end{aligned}$
である。よって所望の $\tilde{β}$ が得られた。
実際に計算してみると(1)から
$\begin{aligned} d (\tilde{β} \land F^{*} α) & = d (\tilde{β} \land d \tilde{β}) \\ = d \tilde{β} \land d \tilde{β} & = 0 \end{aligned}$
であるから、結果が従う。
実際
$\begin{aligned} \int_{S^{3}} β \land f^{*} α & = \int_{S^{3}} g^{*} \tilde{β} \land g^{*} F^{*} α \\ = \int_{S^{3}} g^{*} (\tilde{β} \land F^{*} α) \\ = \int_{S^{3} \times {1}} \tilde{β} \land F^{*} α \\ = \int_{\partial (S^{3} \times [0, 1])} \tilde{β} \land F^{*} α \\ = \int_{S^{3} \times [0, 1]} d (\tilde{β} \land F^{*} α) & = 0 \end{aligned}$
であるから、所望の結果が示せた。但し $4$ つ目の等号は $F (S^{3} \times {0}) = {p t}$ であること、最後の等号は(2)を用いている。

投稿日：7月4日

更新日：7月5日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

藍色日和

80611

藍色の日々。趣味の数学と院試の過去問の(間違ってるかもしれない雑な)解答例を上げていきます。リンクはX(旧Twitter)アカウント　

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2011B07)