東京名古屋代数セミナー
過去の記録 ~05/01|次回の予定|今後の予定 05/02~
担当者 | 阿部 紀行、Aaron Chan、伊山 修、行田 康晃、淺井 聡太、高橋 亮 |
---|---|
セミナーURL | http://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html |
2022年07月20日(水)
10:30-12:00 オンライン開催
オンライン開催の詳細は講演参考URLをご覧ください。
今村 悠希 氏 (大阪大学)
Grothendieck enriched categories (Japanese)
https://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html
オンライン開催の詳細は講演参考URLをご覧ください。
今村 悠希 氏 (大阪大学)
Grothendieck enriched categories (Japanese)
[ 講演概要 ]
Grothendieck圏は、入射的余生成子の存在や随伴関手定理の成立など、アーベル圏の中でも特に良い性質を持つことで知られる。通常Grothendieck圏は、生成子を持つ余完備なアーベル圏であって、フィルター余極限を取る関手が完全関手になるような圏として内在的な性質で以て定義されるが、加群圏の"良い部分圏"として実現できるという外在的な特徴づけ(Gabriel-Popescuの定理)も存在する。アーベル圏が自然なプレ加法圏(アーベル群の圏Ab上の豊穣圏)の構造を持つことから、Gabriel-Popescuの定理はAb-豊穣圏に対する定理だと思うことができる。本講演では、より一般のGrothendieckモノイダル圏V上の豊穣圏に対してGabriel-Popescuの定理の一般化を定式化し証明する。特にVとしてアーベル群の複体の圏Chを取ることによりGrothendieck圏のdg圏類似とそのGabriel-Popescuの定理が得られることも確認する。
[ 講演参考URL ]Grothendieck圏は、入射的余生成子の存在や随伴関手定理の成立など、アーベル圏の中でも特に良い性質を持つことで知られる。通常Grothendieck圏は、生成子を持つ余完備なアーベル圏であって、フィルター余極限を取る関手が完全関手になるような圏として内在的な性質で以て定義されるが、加群圏の"良い部分圏"として実現できるという外在的な特徴づけ(Gabriel-Popescuの定理)も存在する。アーベル圏が自然なプレ加法圏(アーベル群の圏Ab上の豊穣圏)の構造を持つことから、Gabriel-Popescuの定理はAb-豊穣圏に対する定理だと思うことができる。本講演では、より一般のGrothendieckモノイダル圏V上の豊穣圏に対してGabriel-Popescuの定理の一般化を定式化し証明する。特にVとしてアーベル群の複体の圏Chを取ることによりGrothendieck圏のdg圏類似とそのGabriel-Popescuの定理が得られることも確認する。
https://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html