|
昨年度に引き続き特性多項式の一般化対象に関する研究を行った。線形代数で扱う特性多項式は正方行列の情報を多項式の情報として抽出する重要な道具であったが、現代ホモトピー論においては巡回K理論と呼ばれるスペクトラムから位相的制限ホモロジーと呼ばれるスペクトラムへの、TRトレースと呼ばれる射として一般化されており、K理論や関連する分野における重要な研究対象のひとつとなっている。
2010年代後半に海外の研究者らによって巡回K理論が円周圏上のあるカルテジアンファイブレーションとして得られる圏からスペクトラムの圏へのトレース性質をはじめとする諸々の条件を満たす関手からなる圏の始対象であるということが分かり、その帰結としてTRトレースが構成できていた。本年度の研究では昨年度構成した“素数pに関する円周圏”に対して同様にカルテジアンファイブレーションを定義し、2020年以降に導入された２圏論やオペラッドに関する最新の研究結果を用いて、巡回K理論がp版円周圏上のあるカルテジアンファイブレーションからスペクトラムの圏へのいくつかの条件を満たす関手からなる圏の中でも同様の普遍性を満たすことを示した。そしてその帰結として“素数pに関するTRトレース”と呼ぶべきものを構成することができた。これは既に知られているp版の位相的制限ホモロジーを値域に持ち、いくつかの仮定の下ではこの射がアルティン-ハッセ多項式と呼ばれる古典的に知られている多項式の一般化とみなせることを示した。
|
