Mark6

代数幾何をしなければならないのに、私は何を……？

直感が無い状態って、直感ができてしまうと分からなくなっちゃうがち

代数幾何以前に持ち合わせている、環論とか層論から来る代数的直感と、初歩的な manifold 論から来る幾何的直感が、どっちも微妙に役に立たないうえに、divisor 自体はあらゆる形態を持ってあらゆる直感を要求してくるので、きびしい

Bădescu を最初に読んだ時に、代数幾何の幾何部分における divisor の大事さと分からなさに気づいて、周辺の直感不足対策で複素幾何を選んだし、代数的サイクルが divisor より自然に見えたから Fulton を聴講しているし 年を越したくらいからずっと divisor への直感を求めてさまよっている

全てのワードが厨ニ心をくすぐる かっこよすぎる

Now, let's be real, are there any algebraic geometers out there cool enough to pull off this look!?

@ch4444llll わろた

Neuゼミが延命されておもろい

@3mfz2k0 クソおもろいよ スキーム論みたいな言葉の整備もほぼ要らないし(層は要るけど)、ℝ 上のmanifold 論とはだいぶ景色が違うのも面白いからおすすめ

なんか代数幾何と複素幾何で、同じ用語なのに微妙に定義の噛み合わせがよく分からない場所がいくつかあって厳しい

噛み合った、ゼミ中に仰ってた修正で正しそう 省略は良くない、本当に... 定義は丁寧に書いてくれ

@kusanomonosub いやそなんすよ〜

有限長/A の自己反変同値という形(松村)は、綺麗だが弱く、入射包絡 E(k) と 完備化 Â が双対の範疇に入らない Huneke の Artin/A と Noether/Â の反変同値は、強いし E(k) と Â が互いの双対だと述べられるが、ズレが少しある A に完備を課して Artin/A と Noether/A にすると、クソ弱いけど形は綺麗

@in_______u 松村可換環論と、教えていただいた Matlis duality についてのレクチャーノートを読んでる 松村は socle という名前は出さないけど、証明の中に (0 : 𝔪) という形の加群でコホモロジーが表せるみたいな部分があって、ツイートしたのはその話 x.com/i/status/20431…

松村準備一旦完 injective hull って偉いんだなぁ(小並感)

@in_______u 端っこも端っこに載ってたこれ(1枚目)だなぁ なんか自然に出てきたこれはまぁ socle に一致するから今回使いやすいような定義だけしとくか、みたいな感じだったんだなぁ(2枚目) 学びです、感謝

@in_______u 非可換の場合にはその形の定義が自然という感じなのかな

@in_______u 極大イデアルにより零化される元 { x∈M | 𝔪x=0 } 全体として扱ってたけど、要するに Ax=A/𝔪≅k なる x 全体の和になるからその言い換えも出来るのか、なるほど

な、なんかすごいことが起きてるのは分かるんだが、なんなんだ、これは？

socle が現れて、複体が全部そいつになって、しかも微分が全て自明になって、「あ、その、実は、全てのコホモロジーは私です」って言って去っていった、まじでなんこれ