愛想モルフィズム

I saw what I am

代数幾何

SymPy 備忘録 #1 sympy.poly.polytools 周辺

個人的な備忘録.

Hartshorne §1 Varieties, Lemma 4.3

見切れている数式はスクロールで表示できます. 本記事における多様体は代数多様体のうちアフィン多様体,準アフィン多様体,射影多様体,準射影多様体のいずれかのことを言い,多様体がアフィンであるとは何らかのアフィン多様体と同型であることを言う. …

Hartshorne Ex2.14 The Segre Embedding #1

見切れている数式はスライドで表示できます. 2.14 セグレ埋め込み (ただし )を, のように辞書式順序で整列した点へ移す写像とする.ここで, はwell-definedであり単射である.これはセグレ埋め込みと呼ばれる.この像が の部分多様体になることを示せ.(…

Hartshorne Ex2.12 The d-Uple Embedding (b)

2.12 d-重埋め込み ある自然数 について, を全ての 変数 の 次単項式とする.ただし, とする.ここで, ,ただし ]となるように を定義する.これは の における -重埋め込みと呼ばれる.例えば, のとき, であり, の における -重埋め込みの像 は円錐で…

Hartshorne Ex2.12 The d-Uple Embedding (a), (d)

抜本の演習2.12