本文印刷
全画面プリント
トポロジー火曜セミナー
過去の記録 ～01/13｜次回の予定｜今後の予定 01/14～
| 開催情報 | 火曜日 17:00～18:30 数理科学研究科棟(駒場) 056号室 |
|---|---|
| 担当者 | 河澄 響矢, 北山 貴裕, 逆井卓也, 葉廣和夫 |
| セミナーURL | https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index.html |
次回の予定
2026年01月20日(火)
17:00-18:00 数理科学研究科棟(駒場) hybrid/056号室
対面参加、オンライン参加のいずれの場合もセミナーのホームページから参加登録を行って下さい。
前川 拓海 氏 (東京大学大学院数理科学研究科)
A six-functor construction of the Bauer-Furuta invariant (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
対面参加、オンライン参加のいずれの場合もセミナーのホームページから参加登録を行って下さい。
前川 拓海 氏 (東京大学大学院数理科学研究科)
A six-functor construction of the Bauer-Furuta invariant (JAPANESE)
[ 講演概要 ]
Building on the pioneering works of Verdier and Grothendieck, and later developed by Kashiwara-Schapira, the six-functor formalism for sheaves enables us to understand cohomological duality theorems and transfer maps in terms of certain (stable) ∞-categorical adjunction. Following Gaitsgory-Rozenblyum, these six operations fit into a single (∞,2)-functor out of the 2-category of correspondences. In this talk, we will recall these modern points of view on the six-functor formalism, and as an application, we will see that the stable homotopy theoretic refinement of the Seiberg-Witten invariant defined for a closed spin c four-manifold, introduced by Furuta and Bauer, does correspond to a 2-morphism in that (∞,2)-functoriality.
[ 参考URL ]Building on the pioneering works of Verdier and Grothendieck, and later developed by Kashiwara-Schapira, the six-functor formalism for sheaves enables us to understand cohomological duality theorems and transfer maps in terms of certain (stable) ∞-categorical adjunction. Following Gaitsgory-Rozenblyum, these six operations fit into a single (∞,2)-functor out of the 2-category of correspondences. In this talk, we will recall these modern points of view on the six-functor formalism, and as an application, we will see that the stable homotopy theoretic refinement of the Seiberg-Witten invariant defined for a closed spin c four-manifold, introduced by Furuta and Bauer, does correspond to a 2-morphism in that (∞,2)-functoriality.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
