2021 Fiscal Year Annual Research Report
| Project/Area Number |
19J21433
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
清水 祐利 東京工業大学, 理学院, 特別研究員(DC1)
|
|---|
| Project Period (FY) |
2019-04-25 – 2022-03-31
|
| Keywords | 無限圏 / 余層 |
|---|
| Outline of Annual Research Achievements |
モチヴィックホモトピー論に対する深い理解を得る必要性から、無限圏における余層理論の基礎を与えた。無限圏とは、ホモトピー論的な議論を行うために定式化された、圏の一般化であり、同じくホモトピー論のために定式化された圏であるモデル圏などよりも、フレキシブルな構成が可能となっている。また余層とは層の双対バージョンのようなもので、層が反変関手であるのに対し余層は共変関手であり、また層を定義する際に用いられたイコライザー図式をコイコライザー図式に置き換えたものである。本研究では、まず手始めに無限圏バージョンの余層の定義を行った。無限圏論的な層はチェックナーヴの極限を使って定義することができるが、本研究ではその双対、すなわち余極限を使って余層が定義される。さらにこの定義の下での余層の持つ基本性質として、（無限圏論的な）余層の成す無限圏が、ある種の左随伴関手の成す無限圏に無限圏として同値であることを証明した。この結果は無限圏における非退化双線形写像の類似物を考えることによって得られたものである。またこの主定理の帰結として、層化関手の双対バージョンである余層化関手の無限圏論的類似物を与えることに成功した。これは通常の圏論における余層化関手の存在性定理の無限圏バージョンと言える。また本研究をルーリーによる無限トポス理論の文脈では、層の成す無限トポス上で定義された左随伴関手を余層と解釈することが出来る。
|
| Research Progress Status |
令和3年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
令和3年度が最終年度であるため、記入しない。
|
