Mathematics as a daily practice
代数幾何・圏論を軸に学習しています。数学ノートやメモなどの保管場所。
Profile
・徳島大学 理工学部 理工学科 数理科学コース B2。 ・代数幾何を軸に、圏論など抽象的な視点で代数と幾何を結び直すことを目標にしています。 ・「すうがく徒のつどい」や「数物セミナー」の運営にも携わり、数学の魅力を共有する場づくりにも注力中です。
Math Diary
最近の足跡（Math Diary）
- 詳細
2025.11.25
Condensed Math に関する覚書。
<p>参考文献 Peter Scholze, Lectures on Condensed Mathematics, 2019 https://www.math.uni-bonn.de/people/scholze/Condensed.pdf Qi Zhu, Fractured Structure on Condensed …</p>
PV 265#1 - 詳細
2025.11.22
東京大学数理科学研究科 2025年度公開講座「D加群」
<p>11/22（日）に東大駒場キャンパスで開催された公開講座『$D$ 加群』に参加してきました。ここでは，その私のノートを公開します。注意：多少私の知識が混ざっているので、完全な板書ではないです。目次『微分方程式とワイル代数』（池 祐一 先生）『$D$ 加群とリーマン・ヒルベルト対応』（阿部 知行 先生）『$D$ 加群の表…</p>
PV 1968#2 - 詳細
2025.11.21
整拡大と付値と極について
<p>あらすじA -> B を整拡大とする。このとき(1) p ∈ Spec(A) の上にただ一つの点 q ∈ Spec(B) があるとき、A_p -> B_q は整(2) B に整域を課す。 p の上に複数の点 q_1, q_2 があるとき、A_p -> B_{q_1} は整ではないという謎命題なんですが…</p>
PV 46#3
Weekly Diary
週間日記
2026/01/08-01/15
01/08（木） ようやくLiuの4章までゼミが終わりました！！！ 浅縹、じゅんにー、某さんありがとう！！！ （もしかして去年一年で1章も進まなかった......?🤔） みんなが院試までに5章は終えたい！！！ 01/09（金） spmのwebアプリ開発を進めています...... 迷惑しかかけておらず、私いる？？？にな…
2026/01/01~01/07（今年の目標）
1/1 : 新年がやってきてしいました...... 今年は Liu 7章まで 松村 30節まで Cisinski 3章まで Sholze の Condensed Math の Lecture note 読破 線形代数群に入門 代トポに入門 を目標としたいですね😌
Study Map
学習テーマ
興味の向かう先をタイル状に貼り付けて、抽象のラインを見渡す。
導来代数幾何
現代的な「正しい」代数幾何を目指し、導来圏・∞-圏的な視点から幾何を捉え直すことに注力しています。
幾何学的ラングランズ対応
表現論と数論を結ぶ橋として、幾何学的ラングランズ対応に興味があります。
Condensed Mathematics
Clausen-Scholze の研究から位相的な視点を使った代数である凝縮数学の基礎を学習したいです。
TeX
Knuth の思想に触れながら、数学文書を美しく確実に表現するための組版技術を磨いています。
Seminars
自主ゼミのテーマ
スキーム論
Liu ``Algebraic Geometry and Arithmetic Curves''を自主ゼミで輪読し、基礎的なスキーム論を定着させながら、Huybrechts ``Fourier-Mukai Transforms in Algebraic Geometry''で応用を個人学習。導来代数幾何に到達することを目標に据えています。
可換環論
スキーム論を理解する基盤として、松村『復刊 可換環論』をゼミで読み、可換環の構造と応用を整理。スキームの局所的な振る舞いを具体例から捉えています。
（無限）圏論 / ホモトピー型理論
導来代数幾何を見据え、Haugseng ``Yet Another Introduction to Infinity Categories''を進めつつ、Rijke ``An Introduction to Homotopy Type Theory''で synthetic 手法を学習。将来は Riehl-Shulman ``A type theory for synthetic ∞-categories''にも挑戦予定。
References
Topos 理論
Mac Lane–Moerdijk``Sheaves in Geometry and Logic''を中心に Grothendieck topos の基礎を学び、将来的には Johnstone``Sketches of an Elephant''で空間としての topos を掘り下げたいと考えています。
表現論
D-加群や傾理論に興味を持ち、Assem–Simson–Skowroński``Elements of the Representation Theory of Associative Algebras''を個人で読み進めて代数的構造の理解を深めています。
TeX / 組版
数学文書の表現力を高めるため、Knuth``The TeXbook''をゼミで学習。TeXのプリミティブを追求し、Knuth の思想を体現する組版を自力で行えることを目標にしています。
Activities
近年の活動
2025
- 東京大学数理科学研究科 2025年度公開講座「D加群」参加
- 第8回すうがく徒のつどい 参加・運営
- 第7回すうがく徒のつどい 参加・運営
- spm29th [SGL] 参加・運営
- spmAdv7th [Cisinski] 参加
2025
- 東京大学数理科学研究科 2025年度公開講座「D加群」参加
- 第8回すうがく徒のつどい 参加・運営
- 第7回すうがく徒のつどい 参加・運営
- spm29th [SGL] 参加・運営
- spmAdv7th [Cisinski] 参加
2024
- 第6回すうがく徒のつどい 参加・運営
- 第5回すうがく徒のつどい 参加・運営
- spm28th 後半 [ハーツホーン] 参加
2024
- 第6回すうがく徒のつどい 参加・運営
- 第5回すうがく徒のつどい 参加・運営
- spm28th 後半 [ハーツホーン] 参加
2022
- 第42回数理の翼夏季セミナー 参加
2022
- 第42回数理の翼夏季セミナー 参加
Projects
進行中のプロジェクト
資料づくり、ウェブ制作、数理系コミュニティの試みなど。