0

東大数理院試過去問解答例(2022B06)

250
0

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

2022B06

pi(i=0,1,2,3)を円周S1上の相異なる四点とする。ここでT2=S1×S1の開部分集合Ui(i=0,1,2,3)を
Ui:={{(p,q)T2|qp0}(i=0){(p,q)T2|ppi}(i=1,2,3)
と定める。ここでT2上の1次形式のうち、Ui上完全形式であるようなもの全体をPiとおく。

  1. α1P1及びα2P2に関してα1α2T2上の完全形式であることを示せ。
  2. P0P1の元はT2上完全であることを示せ。
  3. P1P2P3の元で、T2上完全でないものの例を挙げなさい。

但しS1及びT2のdeRhamコホモロジーの性質を用いる際は、主張を明確に述べた上で用いること。

  1. まずU1上でα=dfU2上でβ=dgと表されたとする。S1上の1の分割s+t=1で、s(resp. t)はp1(resp. p2)の近傍で0p2(resp. p1)の近傍で1であるようなものを取る。ここでs,tpiの近傍での微分は0になっている。ここで
    ω=sfdgtgdf+fgds
    とおく。このときs,tの取り方から、sf,tg,fgdsT2全体で定義された微分形式であり、更に
    dω=d(sf)dgd(tg)df+d(fg)ds=sdfdg+fdsdgtdgdfgdtdf+fdgds+gdfds=dfdg=αβ
    であるからαβは完全形式である。
  2. αU0及びU1上でdf及びdgと表されていたとする。このときfgU0U1の閉形式を定めているが、U0U1の連結性により、fgは定数になる。よってαT2の完全形式である。
  3. まず数直線R上の関数g
    g1(x):={0x[,13)1x(23,]
    を満たすようなC級関数とする。ここで関数g1:[0,1]Rg1:=g|[0,1]とおき、関数g2:[16,76]Rg2(x):=g|[16,76]とおき、関数g3:[112,1312]Rg3(x):=g|[112,1312]とお
    とする。ここでS1=R/Zから定まる座標の下、p1=0,p2=16及びp3=112とする。このときT2=R2/Z2から誘導される座標の下、U1上の関数
    f1(x,y)=g1(x)
    U2上の関数
    f2(x,y)=g2(x)
    U3上の関数
    f3(x,y)=g3(x)
    を考えると、ω:=df1=df2=df3P1P2P3の元になっている。一方1-形式dxT2上の曲線y=0に沿ってx=0からx=1まで積分すると
    T2ω=[f(x)]01=1
    であるから、特にωT2上の完全1-形式ではない。
投稿日:2023125
更新日:2023127
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

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

投稿者

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

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中