文献あり

層に対する演算2（順像と逆像）

5874

順像と逆像

この節では位相空間の間の連続写像 $f : X \to Y$ に関して層を変形させる演算を考えましょう．この連続写像で $X$ 上の層を押して $Y$ 上の層を作ったり， $Y$ 上の層を引き戻して $X$ 上の層を作ったりします．この操作で別の空間の層を作るので外部演算とも呼ばれたりします．

順像

$f : X \to Y$ を位相空間の間の連続写像とします．これによって $X$ 上の層 $F \in Sh (X)$ から $Y$ 上の層 $G \in Sh (Y)$ を作ることを考えましょう．このためにはまず $Y$ の開部分集合 $V$ に対して切断を定めなければなりません． $f$ は連続なので $f^{- 1} (U)$ は $X$ の開部分集合になるので $G (V) := F (f^{- 1} (V))$ としてみます．すると， $Y$ の開部分集合の組 $V \subset V^{'}$ に対して $f^{- 1} (V) \subset f^{- 1} (V^{'})$ なので $ρ_{f^{- 1} (V), f^{- 1} (V^{'})}^{F} : F (f^{- 1} (V^{'})) \to F (f^{- 1} (V))$ が定まっています．これを $ρ_{V, V^{'}}^{G}$ とすれば $F$ が前層であることから $G$ も前層になることが分かります．さらに $Y$ の開部分集合 $V$ とその開被覆 ${V_{i}}_{i \in I}$ に対して， ${f^{- 1} (V_{i})}_{i \in I}$ が $f^{- 1} (V)$ の開被覆になること・ $G$ の制限写像の定義・ $F$ が層であることから $G$ が貼り合わせ条件を満たして層になることが分かります．このやり方で $F \in Sh (X)$ を $f$ で押し出すことができました．これを $f_{*} F$ と書きます． $X$ 上の層の射 $φ : F \to F^{'}$ と $Y$ の開部分集合 $V$ に対して， $(f_{*} φ)_{V} := φ_{f^{- 1} (V)} : (f_{*} F) (V) \to (f_{*} F^{'}) (V)$ と定めると $f_{*} φ$ は $f_{*} F$ から $f_{*} F^{'}$ への層の射となります． $f_{*}$ は射の合成を保つこともチェックできます．

層の順像

$f : X \to Y$ を位相空間の間の連続写像， $F \in Sh (X)$ とする．このとき， $Y$ の開部分集合 $V$ に対して $(f_{*} F) (V) := F (f^{- 1} (V))$ ，開部分集合の組 $V \subset V^{'}$ に対して $ρ_{V, V^{'}}^{f_{*} F} := ρ_{f^{- 1} (V), f^{- 1} (V^{'})}^{F}$ と定めた層 $f_{*} F$ を $F$ の $f$ による順像または押し出しと呼ぶ．また，函手 $f_{*} : Sh (X) \to Sh (Y)$ を $f$ による順像函手と呼ぶ．

大域切断は順像の特殊な場合

一点からなる位相空間を $pt = {pt}$ と書く． $pt$ 上の層はその一点の切断を決めれば定まるので， $Sh (pt)$ はアーベル圏の圏 $A b$ と同一視できる．さて，位相空間 $X$ から $pt$ への連続写像を $a_{X} : X \to pt$ と書く．このとき， $a_{X}^{- 1} (pt) = X$ であることと上の同一視から， $F \in Sh (X)$ に対して自然に ${a_{X}}_{*} F ≃ Γ (X; F) = F (X)$ となる．すなわち， ${a_{X}}_{*} ≃ Γ (X; *) : Sh (X) \to A b$ である．

包含写像による順像

$Z$ を $X$ の閉部分集合として $i : Z ↪ X$ を包含写像する．このとき， $F \in Sh (Z)$ に対して $i_{*} F$ の茎は
$(i_{*} F)_{x} ≃ {\begin{cases} F_{x} & (x \in Z) \\ 0 & (x \in X ∖ Z) \end{cases}$
を満たす．特にこのときは順像函手 $i_{*} : Sh (Z) \to Sh (X)$ は完全函手である． $Z$ が閉点一点で $i_{x} : {x} ↪ X$ を包含写像とするとき， $M \in A b$ に対して ${i_{x}}_{*} M$ を摩天楼層とも呼ぶ．一方で， $U$ を $X$ の開部分集合として $j : U ↪ X$ を包含写像とするとき， $F \in Sh (U)$ と $x \in X ∖ U$ に対して $(j_{*} F)_{x} ≃ 0$ は一般には分からない．実際，包含写像 $j : (0, + \infty) ↪ R$ に対して $(j_{*} Z_{(0, + \infty)})_{0} ≃ Z$ である．

開部分集合・閉部分集合の包含写像の記号

ここでは開部分集合の包含写像を $j$ ，閉部分集合の包含写像を $i$ と書く記号法を採用しているが，他の文献では逆の記号法を用いる場合もあるので注意．

定義から次もすぐに分かります．

順像は連続写像の合成に関しても函手的

$f : X \to Y, g : Y \to Z$ を二つの連続写像とするとき， $F \in Sh (X)$ に対して自然に $g_{*} (f_{*} F) ≃ (g \circ f)_{*} F$ である．すなわち，函手として自然同値 $g_{*} \circ f_{*} ≃ (g \circ f)_{*} : Sh (X) \to Sh (Z)$ が成り立つ．

上の命題から特に連続写像 $f : X \to Y$ と $F \in Sh (X)$ に対して，
$Γ (Y; f_{*} F) ≃ {a_{Y}}_{*} f_{*} F ≃ {a_{X}}_{*} F ≃ Γ (X; F)$
が成り立ちます．

二重被覆による順像

$X = Y = C ∖ {0}$ として $f : X \to Y, z \mapsto z^{2}$ とする．このとき， $X$ 上の定数層 $Z_{X}$ の $f$ による順像 $f_{*} Z_{X}$ を考えてみる． $Y$ 内の開円盤 $V$ に対して $f^{- 1} (V)$ は $V$ 二つのコピーの非交和 $V ⊔ V$ と同じなので $f_{*} Z |_{V} ≃ Z_{V}^{2}$ であることが分かる．このように各点の近傍で定数層と同形になる層のことを局所定数層または局所系と呼ぶ（局所系は各茎に有限性を課すこともある）．しかし， $f_{*} Z_{X}$ は定数層ではない．実際， $Γ (Y; f_{*} Z_{X}) ≃ Γ (X; Z_{X}) ≃ Z$ であるから $f_{*} Z_{X}$ と $Z_{Y}^{2}$ は同形ではない（後者の大域切断は $Z^{2}$ ）．

第3節で脆弱層というものを定義しました． $F \in Sh (X)$ が脆弱であるとは任意の $X$ の開部分集合 $U$ に対して制限写像 $ρ_{U, X}^{F} : F (X) \to F (U)$ が全射になることでした．脆弱層の順像も脆弱層になります．

脆弱層の順像も脆弱

$f : X \to Y$ を位相空間の間の連続写像， $F \in Sh (X)$ を $X$ 上の脆弱層とする．このとき， $f_{*} F \in Sh (Y)$ は $Y$ 上の脆弱層である．

任意の $Y$ の開部分集合 $V$ に対して $ρ_{V, Y}^{f_{*} F} = ρ_{f^{- 1} (V), X}^{F}$ であるから全射である．

逆像

次に連続写像 $f : X \to Y$ によって $Y$ 上の層 $G \in Sh (Y)$ を $X$ 上に引き戻すことを考えましょう． $X$ の開部分集合 $U$ に対して， $f (U) \subset V$ を満たす $Y$ の開部分集合 $V$ を渡るときの $G (V)$ の帰納極限
$\underset{f (U) \subset V}{\lim_{\to}} G (V)$
を対応させて， $X$ の開部分集合の組 $U \subset U^{'}$ に対して帰納極限に誘導される写像 ${\lim_{\to}}_{f (U^{'}) \subset V^{'}} G (V^{'}) \to {\lim_{\to}}_{f (U) \subset V} G (V)$ を制限写像とすれば，これは前層になります．これをここだけの記号で $f^{\lor} G$ と書くことにしましょう．残念ながら $f^{\lor} G$ は一般には層ではありません．

安直な引き戻しが層にならない例

$Y = pt$ として $a_{X} : X \to pt$ を一点への写像とすると， $a_{X}^{\lor} Z$ は任意の空でない開集合に対して $Z$ を返し空でない開集合間の制限写像が恒等写像となる前層なので，これは第1節で見た定数前層である．よって，一般には層ではない．

一般に層ではない前層があったらどうするかというのはだんだんわかってきたと思いますが，層化を取ればよいわけです． $f^{\lor}$ の対応は層の射 $φ : G \to G^{'}$ に対して前層の射 $f^{\lor} φ : f^{\lor} G \to f^{\lor} G^{'}$ を引き起こし，それを層化すれば $(f^{\lor} φ)^{+} : (f^{\lor} G)^{+} \to (f^{\lor} G^{'})^{+}$ が引き起こされることにも注意します．

層の逆像

$f : X \to Y$ を位相空間の間の連続写像， $G \in Sh (X)$ とする．このとき， $X$ の開部分集合 $U$ に対して $(f^{\lor} F) (U) := {\lim_{\to}}_{f (U) \subset V} G (V)$ ，開部分集合の組 $U \subset U^{'}$ に対して帰納極限から誘導された写像 ${\lim_{\to}}_{f (U^{'}) \subset V^{'}} G (V^{'}) \to {\lim_{\to}}_{f (U) \subset V} G (V)$ を制限写像 $ρ_{U, U^{'}}^{f^{\lor} G}$ と定めた前層 $f^{\lor}$ の層化を $f^{- 1} G$ と書き， $G$ の $f$ による逆像または引き戻しと呼ぶ．また，函手 $f^{- 1} : Sh (Y) \to Sh (X)$ を $f$ による逆像函手と呼ぶ．

逆像函手の記号のブレについて

$f$ による逆像函手を $f^{*}$ と書く場合もあるが，代数幾何などでは $f^{*} G$ は別の意味 $O_{X} \otimes_{f^{- 1} O_{Y}} G$ （ $f^{- 1}$ は我々の定義）に使うことが多いのでこの記号は使わない．

定数層・茎は逆像の特殊な場合

(i) $X$ を位相空間として $a_{X} : X \to pt$ を一点への写像とする．このとき，アーベル群 $M \in A b$ に対して $a_{X}^{- 1} M ≃ M_{X}$ （定数層）である．実際， $a_{X}^{\lor} M$ は定数前層なのでその層化は定数層 $M_{X}$ である．
(ii) $X$ を位相空間， $x \in X$ として $i_{x} : {x} ↪ X$ を包含写像とする．一点からなる空間上の層は $A b$ と同一視されたことを思い出せば，逆像と茎の定義から $F \in Sh (X)$ に対して $i_{x}^{- 1} F ≃ F_{x}$ である．

開部分集合の包含写像 $j : U ↪ X$ と $F \in Sh (X)$ に対して $j^{- 1} F ≃ F |_{U}$ であることが分かります．これに基づいて逆像を使って層の制限の概念を拡張しておきます．

局所閉集合への制限

$Z$ を位相空間 $X$ の局所閉部分集合，すなわち開部分集合と閉部分集合の共通部分として， $i : Z ↪ X$ を包含写像とする．このとき， $F \in Sh (X)$ に対して， $F |_{Z} := i^{- 1} F \in Sh (Z)$ と定めて $F$ の $Z$ への制限と呼ぶ．

例えば $C_{X}^{0} |_{Z}$ は $X$ 内の $Z$ の近傍で定義された連続函数の層になります．

逆像に関して重要なことは茎が次のように計算できることです．

逆像の茎は像での茎

$f : X \to Y$ を位相空間の間の連続写像， $G \in Sh (Y)$ とする．このとき，同形 $(f^{- 1} G)_{x} ≃ G_{f (x)}$ が成り立つ．

層化は茎を保つので $(f^{- 1} G)_{x} ≃ (f^{\lor} G)_{x}$ である．ここで $f$ の連続性と帰納極限の性質から
$(f^{\lor} G)_{x} = \underset{x \in U}{\lim_{\to}} \underset{f (U) \subset V}{\lim_{\to}} G (V) ≃ \underset{f (x) \in V}{\lim_{\to}} G (V) = G_{f (x)}$
となることが分かる．

射影による逆像

$X = Y \times Z$ として $p : X \to Y$ を第一射影とする．このとき， $G \in Sh (Y)$ に対して $(p^{- 1} G)_{(y, z)} ≃ G_{y}$ である．すなわち， $p^{- 1} G$ は $Z$ 方向に $G$ のコピーを並べた $X = Y \times Z$ 上の層になる．

逆像と順像との随伴

上で定義した層の逆像と順像は実は随伴の関係になっています．

層の逆像と順像は随伴

$f : X \to Y$ を位相空間の間の連続写像とする．このとき， $F \in Sh (X), G \in Sh (Y)$ に対して自然な同形
${Hom}_{Sh (X)} (f^{- 1} G, F) ≃ {Hom}_{Sh (Y)} (G, f_{*} F)$
が成り立つ．また，これらに対して自然な同形
$f_{*} H o m_{X} (f^{- 1} G, F) ≃ H o m_{Y} (G, f_{*} F)$
も成り立つ．

概略

後半の同形で大域切断を取れば前半が得られるが，後半の同形は前半の議論を各開集合ごとに行えばよいので，前半の概略だけ説明する．層化の普遍性より ${Hom}_{Sh (X)} (f^{- 1} G, F) ≃ {Hom}_{PSh (X)} (f^{\lor} G, F)$ であるから，同形
${Hom}_{PSh (X)} (f^{\lor} G, F) ≃ {Hom}_{Sh (Y)} (G, f_{*} F)$
を示せばよい．
前層の射 $φ : f^{\lor} G \to F$ が与えられたとする．すると，任意の $X$ の開部分集合 $U$ に対して $φ_{U} : (f^{\lor} G) (U) = {\lim_{\to}}_{f (U) \subset V^{'}} G (V^{'}) \to F (U)$ が定まっている．一方で $V$ を任意の $Y$ の開部分集合とすると， $f (f^{- 1} (V)) \subset V$ だから帰納極限に $G (V) \to {\lim_{\to}}_{f (f^{- 1} (V)) \subset V^{'}} G (V^{'})$ が定まる（これは実質的に層の射 $G \to f_{*} f^{- 1} G$ を定めている）．上で $U = f^{- 1} (V)$ として合成
$G (V) \to \underset{f (f^{- 1} (V)) \subset V^{'}}{\lim_{\to}} G (V^{'}) \to F (f^{- 1} (V))$
を考えれば，これは $ψ_{V} : G (V) \to (f_{*} F) (V)$ を与えて $ψ = {ψ_{V}}_{V \subset Y}$ は層の射 $ψ : G \to f_{*} F$ を定めることがチェックできる．
逆に層の射 $ψ : G \to f_{*} F$ が与えられたとする．つまり，任意の $Y$ の開部分集合 $V$ に対して $ψ : G (V) \to (f_{*} F) (V) = F (f^{- 1} (V))$ が定まっている． $X$ の開部分集合 $U$ に対して $f (U) \subset V$ なる $Y$ の開部分集合 $V^{'}$ を取れば， $U \subset f^{- 1} (V^{'})$ であるから制限写像 $F (f^{- 1} (V^{'})) \to F (U)$ ある．帰納極限を取れば ${\lim_{\to}}_{f (U) \subset V^{'}} F (f^{- 1} (V^{'})) \to F (U)$ が定まる（これは実質的に層の射 $f^{- 1} f_{*} F \to F$ を定めている）．よって，帰納極限に誘導される写像との合成
$\underset{f (U) \subset V^{'}}{\lim_{\to}} G (V^{'}) \to \underset{f (U) \subset V^{'}}{\lim_{\to}} F (f^{- 1} (V^{'})) \to F (U)$
を考えれば，これは $φ_{U} : (f^{\lor} G) (U) \to F (U)$ を与えて $φ = {φ}_{U \subset X}$ は前層の射 $φ : f^{\lor} G \to F$ を定めることがチェックできる．
これらの対応は互いに逆を与えるので，同形が証明された．

上の随伴，または証明中での構成から， $F \in Sh (X), G \in Sh (Y)$ に対して標準的な層の射
$G \to f_{*} f^{- 1} G, f^{- 1} f_{*} F \to F$
が存在します（随伴のunit・counitのこと）．随伴の証明はunit・counitの条件を調べる方が簡単かもしれませんが，上では愚直に説明しました．
$X$ を位相空間として， $X$ に離散位相を入れたものを $\hat{X}$ と書き， $p : \hat{X} \to X$ を標準的な連続写像とします．このとき， $F \in Sh (X)$ に対して $p_{*} p^{- 1} F$ は不連続切断の層 $[F]$ と同形であり，自然な層の射 $F \to p_{*} p^{- 1} F ≃ [F]$ は $ε : F \to [F]$ と同一視されます．このようにして脆弱層への埋め込みを構成することもできます．

随伴を用いると様々なことが系として得られます．

逆像は連続写像の合成に関しても函手的

$f : X \to Y, g : Y \to Z$ を二つの連続写像とするとき， $H \in Sh (Z)$ に対して自然に $f^{- 1} (g^{- 1} H) ≃ (g \circ f)^{- 1} H$ である．すなわち，函手として自然同値 $f^{- 1} \circ g^{- 1} ≃ (g \circ f)^{- 1} : Sh (Z) \to Sh (X)$ が成り立つ．

これを使うと逆像の茎の計算は次のようにも説明できます． $f : X \to Y$ を位相空間の間の連続写像， $G \in Sh (X)$ とします． $i_{x} : {x} ↪ X$ を包含写像としたとき， $(f^{- 1} G)_{x} ≃ i_{x}^{- 1} f^{- 1} G ≃ (f \circ i_{x})^{- 1} G$ であって $f \circ i_{x}$ は $i_{f (x)} : {f (x)} ↪ Y$ と同一視できるので結局 $i_{f (x)}^{- 1} G ≃ G_{f (x)}$ と同形になります．

逆像の完全性と順像の左完全性

$f : X \to Y$ を連続写像とする．このとき，逆像函手 $f^{- 1} : Sh (Y) \to Sh (X)$ は完全函手であり，順像函手 $f_{*} : Sh (X) \to Sh (Y)$ は左完全函手である．

$f^{- 1}$ の完全性は命題7の茎の同形から， $f_{*}$ の左完全性は右随伴函手であることから従う．

随伴を使うと順像函手が入射的層を入射的層に送ることも分かります．次の証明は筆者は初めて見たときに随伴って偉いんだなぁと結構感動した記憶があります．

入射的層の順像も入射的

$f : X \to Y$ を位相空間の間の連続写像として， $I \in Sh (X)$ を入射的層とする．このとき， $f_{*} I \in Sh (Y)$ も入射的層である．

随伴性から
${Hom}_{Sh (X)} (f^{- 1} (*), I) ≃ {Hom}_{Sh (Y)} (*, f_{*} I)$
が成り立つが，左辺の函手は完全函手の合成だから完全である．よって，右辺も完全であり $f_{*} I$ は入射的である．

高次順像について少し

連続写像 $f : X \to Y$ に対して順像函手 $f_{*} : Sh (X) \to Sh (Y)$ は左完全でした．左完全函手については第4節で右導来函手を定義したので， $n \in Z_{\geq 0}$ に対して $f_{*}$ の $n$ 次の右導来函手 $R^{n} f_{*} : Sh (X) \to Sh (Y)$ を考えることができます．この $R^{n} f_{*}$ を高次順像とも呼びます．具体的には $F \in Sh (X)$ に対して入射分解 $0 \to F \to I^{∙}$ を一つ取り， $f_{*} I^{∙}$ という $Sh (Y)$ における複体の $n$ 次コホモロジーを $R^{n} f_{*} F$ とすればよいのでした．高次順像は別の記述もあります．

高次順像は開集合の引き戻し上のコホモロジーを対応させる前層の層化

連続写像 $f : X \to Y$ と $F \in Sh (X)$ に対して，任意の $n \in Z_{\geq 0}$ について $R^{n} f_{*} F \in Sh (Y)$ は $Y$ 上の前層
$V \mapsto H^{n} (f^{- 1} (V); F)$
の層化である．

$F$ の入射分解 $0 \to F \to I^{0} \overset{d^{0}}{\to} I^{1} \overset{d^{1}}{\to} I^{2} \overset{d^{2}}{\to} \dots$ を一つ取ると， $R^{n} f_{*} F ≃ Ker f_{*} (d^{n}) / Im f_{*} (d^{n - 1})$ （ただし $d^{- 1} = 0$ ）であった．右辺は商層の意味なので，これは $Y$ 上の前層
$\begin{aligned} V \mapsto & Ker f_{*} (d^{n})_{V} / Im f_{*} (d^{n - 1})_{V} \\ = & Ker (d_{f^{- 1} (V)}^{n} : I^{n} (f^{- 1} (V)) \to I^{n + 1} (f^{- 1} (V))) / Im (d_{f^{- 1} (V)}^{n - 1} : I^{n - 1} (f^{- 1} (V)) \to I^{n} (f^{- 1} (V))) \\ = & H^{n} (f^{- 1} (V); F) \end{aligned}$
の層化である．

別の説明として普遍 $δ$ 函手を使っても以下のように証明できます． $F \in Sh (X)$ に対して $V \mapsto H^{n} (f^{- 1} (V); F)$ という $Y$ 上の前層の層化を対応させる函手を $T^{n}$ と書くと，層化函手が完全函手（例えば茎を見れば分かる）ことから $T^{∙} = {T^{n}}_{n}$ は $δ$ 函手となることが分かります．任意の $X$ 上の入射的層 $I \in Sh (X)$ に対して $T^{n} (I) = 0$ （層化する前に $0$ だから）で $T^{0} ≃ f_{*}$ なので導来函手の普遍性によって $R^{∙} f_{*} ≃ T^{∙}$ となります．

さて，連続写像 $f : X \to Y$ と $F \in Sh (X)$ に対して，同形 $Γ (Y; f_{*} F) ≃ Γ (X; F)$ が成り立ったのでした．それでは層係数コホモロジーと高次順像についても同様のことが期待できるでしょうか？答えはそのままではNoですが，スペクトル系列というものを使うというのが一つの手です．詳しくは説明しませんが，
$E_{2}^{p, q} = H^{p} (Y; R^{q} f_{*} F) ⟹ H^{p + q} (X; F)$
となるスペクトル系列（Lerayスペクトル系列と呼ばれます）が存在するので， $H^{n} (X; F)$ を高次順像のコホモロジーで計算することはできます．しかし，スペクトル系列などが出てきて何だか複雑ですね．これは完全からのズレをはかるために商空間を取ってコホモロジーを考えたことが原因なのです．そこで「コホモロジーが同じものは同じだとみなしたいが，コホモロジーは取りたくない」という贅沢で矛盾めいた（？）悩みが出てきます．これを実現したのが導来圏という概念なのです！すると，実際にコホモロジーや高次順像などを導来圏に適切に持ち上げてやると合成が簡単に計算できます．これについてはまたの機会に説明しましょう．

まとめ

この節では

層の逆像と順像・様々な性質と例
逆像と順像の随伴
高次順像

について説明しました．

参考文献

[1]

Masaki Kashiwara and Pierre Schapira, Sheaves on Manifolds, Grundlehren der mathematischen Wissenschaften, Springer, 1990

[2]

Birger Iversen（著），前田博信（訳）, 層のコホモロジー, 丸善出版, 1995

[3]

廣中平祐（講義），森重文（記録）, 代数幾何学, 京都大学学術出版会, 2004

[4]

上野健爾, 代数幾何, 岩波書店, 2005

[5]

Masaki Kashiwara and Pierre Schapira, Categories and Sheaves, Grundlehren der mathematischen Wissenschaften, Springer, 2006

[6]

Alexandru Dimca, Sheaves in Topology, Universitext, Springer, 2013

[7]

Sergei I. Gelfand and Yuri I. Manin, Methods of Homological Algebra, Springer Monographs in Mathematics, Springer, 1997

[8]

Joseph Bernstein and Valery Lunts, Equivariant Sheaves and Functors, Lecture Notes in Mathematics, Springer, 1994

[9]

Jean-Pierre Schneiders, Introduction to characteristic classes and index theory, Textos de Matemática, Faculdade de Ciências da Universidade de Lisboa, 2000

[10]

Alexander Grothendieck, Sur quelques points d'algèbre homologique, Tohoku Math. J., 1957, pp. 119--221

[11]

Pierre Schapira, Abelian Sheaves, 閲覧日 2021年1月16日, https://webusers.imj-prg.fr/~pierre.schapira/lectnotes/Shv.pdf

[12]

池祐一, 層の導来圏と特性類, 超局所的物置, 閲覧日 2021年2月27日, https://drive.google.com/file/d/1jD5nQQ3tMy9dEo0eNVhtz2HaqL7sznT4/view

[13]

Unknown, 取得中..., Mathlog, アクセス日: Sat Apr 22 2023

投稿日：2021年5月22日