2020-05-23から1日間の記事一覧

Tシャツ

たぶん 5月半ば、15日前後にTシャツを注文した。一月ほどかかるらしいから、6月半ばくらいか? 忘れそうだから書いておく。忘れると、たぶんそのままになる。

作用素、テンソル作用素、微分作用素

ベクトルバンドル層=ベクトルバンドルから作られる加群層=局所有限階数自由加群層 のあいだの層射を考える。まず、ベクトルバンドル層 ℓΓ(E) をR-ベクトル空間層と考えて、層射がR-線形写像の層射のとき、単に作用素と呼ぶ。言葉を、文脈により特化して使…

層の使い方

可換環層=環付き空間 の上の加群層が最も使う。次の事実が重要。 セール/スワンの定理: ベクトルバンドル層の加群的な特徴付け=局所有限階数自由加群 引き戻し公式: ℓΓ(φ#E) φ-|(ℓΓ(E)) グロタンディーク六演算の随伴公式 射影公式 そして、可換環層上…

添字の用法は7種類以上

インデックス: インデックス部分適用: 型注釈: 縮約: オーバーロード解決 オペレータ: 関連する略記: 無関係: 二乗、逆、転置、双対 δのオーバーロード解決は、内積があればそのまま合理化できるが、内積がないときは、なんとマーカーをオーバーロー…