代数的位相幾何の問題
つの六角形 を用意する。各六角形の 本の辺を、ある頂点から反時計回りに順にたどり、次の語に従ってラベルと向きをつける。
ここで、文字 はその辺を反時計回りの向きに、 は時計回りの向きにたどることを表す。同じ文字の 本の辺を、向きが一致するように同一視して得られる空間を とする( は連結な閉曲面になる)。
整数係数ホモロジー群が ( は 以上の整数)と表されるとき、組 を求めよ。
この問題で使うもの
- 閉曲面の分類と多角形の貼り合わせ(説明と入口の問題)
- CW 複体のオイラー標数(説明と入口の問題)
- CW 複体の胞体ホモロジー(説明と入口の問題)
この問題を解けるようになるまで(90 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 三角形の角の大きさ
- 対頂角と平行線の同位角・錯角
- 三角形の外角と角の組み合わせ
- 小数の四則計算
- 分数のたし算・ひき算
- 分数のかけ算・わり算
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 正負の数の加法・減法
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 1 次方程式の解き方
- 二等辺三角形の角
- 平行四辺形と特別な四角形の性質
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 乗法公式による展開
- 折り返した図形の角と長さ
- 三平方の定理と平面図形
- ベクトルの演算と成分
- 行列の和・積と 2 次の逆行列
- 掃き出し法と連立 1 次方程式
- 行列の階数と解の存在
- ベクトル空間・一次独立・基底・次元
- 円の周の長さと面積
- おうぎ形の弧の長さと面積
- 弧の長さからおうぎ形の中心角と面積を求める
- 特別な直角三角形の辺の比
- 弧度法と単位円による三角関数
- 加法定理と 2 倍角・半角・積和の公式
- 線形変換と行列
- 核と像と次元定理
- 単体複体のホモロジーとベッチ数
- 最大公約数と最小公倍数
- 最大公約数と最小公倍数
- 因数分解
- 文字式で表した整数の性質
- 余りによる整数の分類
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 合同式
- 群の位数と元の位数
- 有限アーベル群の構造と部分群の個数
- 順列・円順列・重複順列
- 組合せ
- 同じものを含む順列・重複組合せ
- 3 次式までの展開と因数分解
- 微分係数と導関数の定義
- 多項式の微分
- 比例・反比例の式とグラフ
- 関数 の式と変域
- 平方完成と 2 次関数のグラフ
- 2 次不等式
- 剰余の定理・因数定理と高次方程式
- 増減表と極値
- 等間隔にならんだ数の和
- 等差・等比数列の和と Σ
- 数列の極限
- 関数の極限
- 関数の連続性と中間値の定理
- 平均値の定理
- 積と商の微分
- 第 2 次導関数とグラフの凹凸
- 合成関数の微分
- の極限
- 三角関数の導関数
- 根号の乗除と加減
- 指数の拡張と指数関数
- 対数の定義と性質
- 自然対数の底
- 指数関数・対数関数の導関数
- 増減・凹凸・漸近線とグラフ
- テイラー展開
- 無限等比級数と無限級数
- べき級数と収束半径
- 母関数と係数の取り出し
- 分割数と分割の母関数
- 有限アーベル群の分類(単因子と素因子型)
- 行列式
- ユークリッドの互除法
- 整数行列の単因子(スミス標準形)
- CW 複体の胞体ホモロジー
- CW 複体のオイラー標数
- 閉曲面の分類と多角形の貼り合わせ
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
閉曲面は「向き付け可能かどうか」と「オイラー標数」で分類されます。頂点の同一視類の個数を数えて を求め、向き付け可能性を調べましょう。
ヒント 2
向き付け可能であることは、多角形の向きをうまく選んで、すべての辺の対を指数 と の組にできることと同値です。 をそのまま使う場合と反転する場合の両方を調べてください。また です。
ヒント 3
頂点はすべて 点に同一視されるので、 です。辺 と辺 に注目すると、 が向き付け不可能であることがわかります。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
1. 頂点の同一視
の頂点を反時計回りに 、 の頂点を とし、 番目の辺は と ( では と )を結ぶとする(添字は を法とする)。各辺の始点・終点は次のとおり。
- :、、、、、
- :、、、、、
始点どうし・終点どうしを同一視すると、次の関係が得られる。
- :
- :
- :
- :
- :
- :
から関係を順にたどると
となり、 個の頂点すべてが 点に同一視される。よって頂点数は である。
2. オイラー標数
辺数は 、面数は なので
3. 向き付け可能性
が向き付け可能であるための必要十分条件は、各多角形の向きをうまく選んで、同一視されるすべての辺の対が互いに逆向き(指数が と )になるようにできることである。 の向きはそのままにしてよい。
- もそのままにすると、 は でも でも指数 になるので条件に反する。
- の向きを反転すると、すべての指数が反転する。 は で指数 になり、 の (指数 )と一致するので、やはり条件に反する。
なお、同じ多角形内の対 と は、どちらの選び方でも逆向きのままである。以上より は向き付け不可能である。
4. 分類定理の適用
閉曲面の分類定理によれば、向き付け不可能な閉曲面は 個の の連結和 に同相で、 である。 より なので、 である。
は 頂点・ 辺・ 面の胞体構造(語 )をもつ。境界写像は 、 なので
したがって である。
5. 検算(与えられた胞体構造で直接計算)
頂点が つなので であり、(基底 )となる。 胞体の境界を可換化すると
となる。 成分の行列 について、成分の最大公約数は 、 次小行列式は でその最大公約数は である。よって単因子は となり、
が得られ、上の結果と一致する。
以上より である。
別解
まず頂点の同一視を調べる。 の頂点を 、 の頂点を とし、各辺の始点と終点を求める。
では 、 および 、、、 となる。
では 、 および 、、、 となる。
各辺での同一視から次が得られる。
- :、
- :、
- :、
- :、
- :、
- :、
これらを順にたどると、 となり、頂点はすべて 1 点になる。よって 、、 で、 である。
文字 は 、 のどちらにも同じ指数 で現れる。したがって は向き付け不可能な閉曲面である。
向き付け不可能な閉曲面 は をみたすので、 となる。 のホモロジーは である。
したがって である。