東大数理院試過去問解答例(2018B02)

139

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

2018B02

以下の問いに答えなさい

相異なる複素数 $λ, μ, η$ をとり
$A = C [x, y, z] / (x^{2} + y^{2} + z^{2} + 1, λ x^{2} + μ y^{2} + η z^{2} + 1)$
を考える。 $A$ の任意の極大イデアル $m$ について
$\dim_{C} m / m^{2} = 1$
であるためには、 $λ, μ, η \neq 1$ であることが必要充分であることを示せ。
$λ, μ, η \neq 1$ であるとする。このとき環
$B = A \otimes_{C [z]} (C [z] / (x - a))$
が非自明な巾ゼロ元を持たないような $a$ を全て挙げなさい。

$m = (x - a, y - b, z - c)$ について
$\dim_{C} m / m^{2} = 3 - rank (\begin{matrix} a & b & c \\ λ a & μ b & η c \end{matrix})$
であるから、これが常に $1$ であるためには、 $a^{2} + b^{2} + c^{2} = λ a^{2} + μ b^{2} + η c^{2} = 1$ なる任意の $a, b, c$ について上の式の右辺行列のランクが常に $2$ であることが必要充分である。この条件が満たされているとき、 $(a, b, c) = (0, 0, i) (0, i, 0) (i, 0, 0)$ はいずれも $a^{2} + b^{2} + c^{2} = λ a^{2} + μ b^{2} + η c^{2} = - 1$ を満たしてはいけないから、 $λ, μ, η \neq 1$ が従う。一方条件が満たされていないとき、それを反例たり得るのは $(a, b, c) = (i, 0, 0) (0, i, 0) (0, 0, i)$ に限られるから、このときは $λ, μ, η$ のいずれかが $1$ であることが従う。
まず
$\begin{aligned} B & = C [x, y] / (x^{2} + y^{2} + 1 + a^{2}, λ x^{2} + μ y^{2} + η a^{2} + 1) \\ = C [x, y] / (y^{2} + \frac{(η - λ) a^{2} + (1 - λ)}{μ - λ}, x^{2} + \frac{(η - μ) a^{2} + (1 - μ)}{λ - μ}) \end{aligned}$
である。ここで $C [x, y] / (x^{2} + s, y^{2} + t)$ が巾ゼロ元を持つには $s = 0, t = 0$ のいずれかが満たされることが必要充分であるから、よって所望の条件を満たすような $a$ は
$a = \pm i \sqrt{\frac{1 - λ}{η - λ}}, \pm i \sqrt{\frac{1 - μ}{η - μ}}$
で尽くされている。

投稿日：2024年2月24日

更新日：2024年8月15日

この記事を高評価した人

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

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

バッジはありません。

バッチを贈って投稿者を応援しよう

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

投稿者

藍色日和

53176

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2018B02)