Text only print
Full screen print
Tuesday Seminar on Topology
Seminar information archive ～01/13｜Next seminar｜Future seminars 01/14～
| Date, time & place | Tuesday 17:00 - 18:30 056Room #056 (Graduate School of Math. Sci. Bldg.) |
|---|---|
| Organizer(s) | HABIRO Kazuo, KAWAZUMI Nariya, KITAYAMA Takahiro, SAKASAI Takuya |
Next seminar
2026/01/20
17:00-18:00 Room #hybrid/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Takumi Maegawa (The University of Tokyo)
A six-functor construction of the Bauer-Furuta invariant (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Takumi Maegawa (The University of Tokyo)
A six-functor construction of the Bauer-Furuta invariant (JAPANESE)
[ Abstract ]
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.
[ Reference 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
