跳到主要内容

東北大学 理学研究科 数学専攻 2024年8月実施 選択問題 [3]

Author​

祭音Myyura (Based on L^2's answer refined with GPT 6 Astra)

Description​

問題は 88 題ある。33 題を選択して解答すること。

22 次元ユークリッド空間 R2\mathbb R^2 の部分空間 MM と NN を

M={(x,y)∈R2∣x2+y2=1},N={(x,y)∈R2∣x2+y2≤1}M=\{(x,y)\in\mathbb R^2\mid x^2+y^2=1\},\qquad N=\{(x,y)\in\mathbb R^2\mid x^2+y^2\le1\}

とする。以下の問いに答えよ。

(1) 非負整数 qq について、直積空間 L=M×ML=M\times M の整係数ホモロジー群 Hq(L)H_q(L) を求めよ。

(2) LL と NN の非交和 N⊔LN\sqcup L において、NN の境界 ∂N\partial N の各点 p∈∂N=Mp\in\partial N=M と (p,p)∈L=M×M(p,p)\in L=M\times M とを同一視してできる商空間を XX とおく。非負整数 qq について、XX の整係数ホモロジー群 Hq(X)H_q(X) を求めよ。

题目描述​

本卷共 88 道题,请选择其中 33 道作答。

令二维欧氏空间 R2\mathbb R^2 的子空间 M,NM,N 为

M={(x,y)∈R2∣x2+y2=1},N={(x,y)∈R2∣x2+y2≤1}.M=\{(x,y)\in\mathbb R^2\mid x^2+y^2=1\},\qquad N=\{(x,y)\in\mathbb R^2\mid x^2+y^2\le1\}.

回答下列问题。

(1) 对非负整数 qq,求直积空间 L=M×ML=M\times M 的整数系数同调群 Hq(L)H_q(L)。

(2) 在 NN 与 LL 的不交并 N⊔LN\sqcup L 中,将边界 ∂N\partial N 的每个点 p∈∂N=Mp\in\partial N=M 与 (p,p)∈L=M×M(p,p)\in L=M\times M 视为同一点,得到商空间 XX。对非负整数 qq,求 XX 的整数系数同调群 Hq(X)H_q(X)。

Kai​

(1)​

L=S1×S1L=S^1\times S^1 は 22 次元トーラスである。トーラスの標準的な CW 分解では、00 胞体が一つ、11 胞体が二つ、22 胞体が一つあり、胞体境界写像はすべて零である。したがって

Hq(L)≅{Z(q=0,2),Z2(q=1),0(q≥3).\boxed{H_q(L)\cong \begin{cases} \mathbb Z &(q=0,2),\\ \mathbb Z^2 &(q=1),\\ 0 &(q\ge3). \end{cases}}

(2)​

XX はトーラス LL に、対角線写像 δ:S1→L\delta:S^1\to L, δ(p)=(p,p)\delta(p)=(p,p) に沿って 22 胞体を一つ付加した空間である。

H1(L)=Za⊕ZbH_1(L)=\mathbb Za\oplus\mathbb Zb の基底を二つの因子の円周とすると、各射影との合成が恒等写像になるので

δ∗(1)=a+b.\delta_*(1)=a+b.

対 (X,L)(X,L) の相対ホモロジーは

Hq(X,L)≅{Z(q=2),0(q≠2).H_q(X,L)\cong \begin{cases} \mathbb Z &(q=2),\\ 0 &(q\ne2). \end{cases}

よって対の完全列の該当部分は

0⟶Z⟶H2(X)⟶Z→ 1↦(1,1) Z2⟶H1(X)⟶0.0\longrightarrow\mathbb Z\longrightarrow H_2(X) \longrightarrow\mathbb Z \xrightarrow{\ 1\mapsto(1,1)\ }\mathbb Z^2 \longrightarrow H_1(X)\longrightarrow0.

中央の写像は単射なので、H2(X)≅ZH_2(X)\cong\mathbb Z である。また

H1(X)≅Z2/Z(1,1)≅Z,H_1(X)\cong\mathbb Z^2/\mathbb Z(1,1)\cong\mathbb Z,

最後の同型は (m,n)↦m−n(m,n)\mapsto m-n によって与えられる。XX は弧状連結で、22 次元 CW 複体であるから

Hq(X)≅{Z(q=0,1,2),0(q≥3).\boxed{H_q(X)\cong \begin{cases} \mathbb Z &(q=0,1,2),\\ 0 &(q\ge3). \end{cases}}

Reference​