単元一覧 › 大学院数学 代数的位相幾何

代数的位相幾何の問題

難易度 3大学院入試の専門科目の標準レベル証明問題大学院数学 代数的位相幾何

を正の整数とし、 を 次元複素射影空間とする。連続写像 が不動点をもたないならば、 は奇数であり、かつ の生成元 に対して が成り立つことを証明せよ。

ただし、次の事実は証明なしに用いてよい。

(i) 整係数コホモロジー環は ()であり、 に対して は で生成される無限巡回群、それ以外の次数のコホモロジーは である。連続写像が誘導する はカップ積を保つ次数付き環準同型で、単位元 を に送る。

(ii) レフシェッツの不動点定理: がコンパクトな三角形分割可能空間で、すべての について が有限階数の自由加群であるとき、連続写像 のレフシェッツ数を

で定めると、 ならば は不動点をもつ。 はコンパクトな三角形分割可能空間である。

この問題で使うもの

この問題を解けるようになるまで(135 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 三角形の角の大きさ
  2. 対頂角と平行線の同位角・錯角
  3. 三角形の外角と角の組み合わせ
  4. 小数の四則計算
  5. 分数のたし算・ひき算
  6. 分数のかけ算・わり算
  7. 小数と分数のまじった計算
  8. 逆算(□ を求める)
  9. 正負の数の加法・減法
  10. 四則の混じった計算の順序
  11. 正負の数の乗除・累乗と四則混合
  12. 分配法則を使った計算のくふう
  13. 文字式の計算(同類項・分配法則)
  14. 1 次方程式の解き方
  15. 二等辺三角形の角
  16. 平行四辺形と特別な四角形の性質
  17. 三角形・四角形の面積
  18. 約数の見つけ方
  19. 素因数分解と約数の個数
  20. 平方根の意味と根号の簡単化
  21. 三平方の定理
  22. 乗法公式による展開
  23. 折り返した図形の角と長さ
  24. 三平方の定理と平面図形
  25. ベクトルの演算と成分
  26. 行列の和・積と 2 次の逆行列
  27. 掃き出し法と連立 1 次方程式
  28. 行列の階数と解の存在
  29. ベクトル空間・一次独立・基底・次元
  30. 円の周の長さと面積
  31. おうぎ形の弧の長さと面積
  32. 弧の長さからおうぎ形の中心角と面積を求める
  33. 特別な直角三角形の辺の比
  34. 弧度法と単位円による三角関数
  35. 加法定理と 2 倍角・半角・積和の公式
  36. 線形変換と行列
  37. 核と像と次元定理
  38. 単体複体のホモロジーとベッチ数
  39. 最大公約数と最小公倍数
  40. 最大公約数と最小公倍数
  41. 因数分解
  42. 文字式で表した整数の性質
  43. 余りによる整数の分類
  44. 樹形図で数え上げる
  45. 積の法則と和の法則
  46. 和の法則・積の法則と樹形図
  47. 合同式
  48. 群の位数と元の位数
  49. 有限アーベル群の構造と部分群の個数
  50. 順列・円順列・重複順列
  51. 組合せ
  52. 同じものを含む順列・重複組合せ
  53. 3 次式までの展開と因数分解
  54. 微分係数と導関数の定義
  55. 多項式の微分
  56. 比例・反比例の式とグラフ
  57. 関数 の式と変域
  58. 平方完成と 2 次関数のグラフ
  59. 2 次不等式
  60. 剰余の定理・因数定理と高次方程式
  61. 増減表と極値
  62. 等間隔にならんだ数の和
  63. 等差・等比数列の和と Σ
  64. 数列の極限
  65. 関数の極限
  66. 関数の連続性と中間値の定理
  67. 平均値の定理
  68. 積と商の微分
  69. 第 2 次導関数とグラフの凹凸
  70. 合成関数の微分
  71. の極限
  72. 三角関数の導関数
  73. 根号の乗除と加減
  74. 指数の拡張と指数関数
  75. 対数の定義と性質
  76. 自然対数の底
  77. 指数関数・対数関数の導関数
  78. 増減・凹凸・漸近線とグラフ
  79. テイラー展開
  80. 無限等比級数と無限級数
  81. べき級数と収束半径
  82. 母関数と係数の取り出し
  83. 分割数と分割の母関数
  84. 有限アーベル群の分類(単因子と素因子型)
  85. 行列式
  86. ユークリッドの互除法
  87. 整数行列の単因子(スミス標準形)
  88. CW 複体の胞体ホモロジー
  89. 球面の間の写像の写像度
  90. 固有値と固有ベクトル
  91. 掃き出し法による逆行列
  92. 基底の変換と表現行列
  93. 対角化と行列の累乗
  94. 比の性質と簡単な比
  95. 相似な三角形と長さの比
  96. 三角形の相似条件と対応する辺の長さ
  97. 三角比の定義と値
  98. 内積となす角
  99. 内積空間とグラム・シュミットの直交化
  100. 対称行列の直交対角化
  101. 2 次形式の標準形と符号
  102. 交叉形式と符号数
  103. 偏微分と全微分
  104. 多変数の連鎖律
  105. 微分形式の外積と外微分
  106. 位置ベクトルと内分点・外分点
  107. 交点の位置ベクトル
  108. 空間ベクトルと直線・平面
  109. 空間ベクトルの外積
  110. 多項式の不定積分
  111. 基本的な関数の不定積分
  112. 置換積分
  113. 部分積分
  114. 定積分の計算
  115. 定積分の置換・部分積分と偶関数・奇関数
  116. 重積分と累次積分
  117. 重積分の変数変換とヤコビアン
  118. 曲面の媒介変数表示と面積要素
  119. 面積分と流束
  120. ベクトル場の線積分
  121. グリーンの定理
  122. 勾配・発散・回転
  123. ストークスの定理
  124. 微分形式の積分とストークスの定理
  125. コホモロジー環とカップ積
  126. 互いに素な法への分解
  127. 確率の定義と和事象・余事象
  128. 包除原理
  129. オイラー関数の計算
  130. 約数の個数と総和
  131. 乗法的関数と約数にわたる和
  132. メビウス関数と反転公式
  133. 周期点の個数とメビウス反転
  134. トーラス自己同型の周期点
  135. レフシェッツ数と不動点

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

レフシェッツの不動点定理の対偶を使う。不動点がなければ なので、 を具体的に計算して、それが になる条件を調べる。

ヒント 2

()とおくと、 が環準同型であることから となり、 と表せる。

ヒント 3

なら 。 なら を使って、 から を導く。

採点の観点と模範解答

自分で証明を書いてから、採点の観点で見比べてください。

採点の観点を見る
  • が で生成されることから ( は整数)とおき、カップ積の保存から を導いている(2 点)

  • 各次数のトレースを求め、 と計算している(奇数次が であること、符号がすべて正であることに触れている)(2 点)

  • 不動点がないことからレフシェッツの不動点定理の対偶で を導いている(1 点)

  • の場合は で起こらないことを示している(1 点)

  • の場合に を導き、 が整数であることから 、さらに から が奇数であることを結論している(4 点)

結果を記録する(このブラウザにだけ保存されます):
模範解答を読む

方針. とおいてレフシェッツ数を で表し、不動点がないことから を導き、この式を満たす整数 と を決定する。

ステップ 1( を整数 で表す). (i) より なので、 はある整数 によって と書ける。 はカップ積を保つので、 について

である( のときは であり、 と約束すれば同じ式になる)。

ステップ 2(レフシェッツ数の計算). (i) より のコホモロジーはすべて有限階数の自由加群であり、(ii) の仮定が満たされる。()は階数 1 で基底 をもち、ステップ 1 より はその上で 倍なので、トレースは である。奇数次および より大きい次数のコホモロジーは なので、トレースは である。次数 は偶数なので符号は 。したがって

ステップ 3(). は不動点をもたないと仮定しているので、(ii) の対偶により である。すなわち

が成り立つ。

ステップ 4( と の決定). の値で場合分けする。

  • の場合: の左辺は なので は成り立たない。よってこの場合は起こらない。
  • の場合: の両辺に を掛けると、等比数列の和の公式 より を得る。両辺の絶対値をとると であり、 は 0 以上の整数なので 、すなわち である。 だから 。このとき より は偶数、すなわち は奇数である。

(逆に 、 奇数のとき、 の左辺は で項数 が偶数なので になり、 と矛盾しない。)

結論. 不動点をもたない連続写像 が存在するならば、 は奇数であり、 である。

(補足: が奇数のとき、 は不動点をもたない連続写像の例であり、命題の結論は最良である。)

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題