2023 Fiscal Year Research-status Report
位相的時空間解析に向けたノイズ安定性の解明：導来同値の活用
| Project/Area Number |
20K03760
|
|---|
| Research Institution | Osaka Metropolitan University |
|---|
Principal Investigator |
吉脇 理雄 大阪公立大学, 数学研究所, 特別研究員 (90613183)
|
|---|
| Project Period (FY) |
2020-04-01 – 2025-03-31
|
| Keywords | 位相的時空間解析 / 2パラメータパーシステントホモロジー / ノイズ安定性 / 導来同値 / Auslander-Reitenクイバー / 区間表現 |
|---|
| Outline of Annual Research Achievements |
本研究の目的は位相的時空間解析を確立するのに必須である2パラメータパーシステントホモロジーについて、データのノイズに対する安定性を明らかにすることである。より具体的には、導来同値を用いてより取り扱いやすいものへと帰着させる考えに基づいて、安定性の代数部分である代数的安定性定理を以下のように明らかにすることであった。(い) 2パラメータパーシステントホモロジーと導来同値な対象で代数的安定性定理を示すこと。(ろ)代数的安定性定理は、導来同値のもとで伝播すること。(は)代数的安定性定理は、導来圏から制限可能であること。(に) 2パラメータパーシステントホモロジーと導来同値な対象について、その導来圏へ(い)の結果を拡張すること。
2020年度は(い)、(ろ)、(は)を達成、2022年度に論文を出版。2021年度では(に)に取り組み、部分的に(ほ)2パラメータパーシステントホモロジーの新たな距離を提案し、代数的安定性定理を示した。昨年度にこれを全体に拡張するための策を改めて検討した結果、（へ）「区間表現の性質を明らかにすること」が必要となると判断した。区間表現は１パラメータパーシステントホモロジーでは出力であるパーシステンス図を与える。２パラメータでは一致しないが、区間表現による近似の可能性が示されており、その性質を明らかにすることが本研究に寄与すると考えたためである。今年度にかけて、上記（へ）について研究を行い、論文を２編出版した（doi.org/10.1016/j.jaca.2023.100007、doi.org/10.1016/j.jpaa.2023.107397）。前者で数値的に、後者では表現論的に区間表現を捉えることができたのは大きな進歩である。
なお、国際会議で発表を行った。加えて、方策の検討及び他研究者との交流の場として、オンライン研究集会を今年度も主催した。
|
| Current Status of Research Progress |
Current Status of Research Progress
4: Progress in research has been delayed.
Reason
計画では、二年目に「2パラメータパーシステントホモロジーの新たな距離を提案し，ノイズに対して安定であることを明らかにする」こと、すなわち、研究実績の概要で述べた(に)とその結果として(ほ)を得ることに取り組むこととなっていた。三年目はそれを元に(b)既存研究との比較により、それらを包括した研究となっていることを明らかにする計画であった。2021年度は(に)(結果として(ほ)も)一部を達成できたものの、（に）全体への拡張に困難を伴っていた。そのため2022年度から研究集会を主催するなど本研究に寄与する方策を検討し、その策について研究が必要になった。すなわち、(に)の困難さを突破するために考えていた具体策「直接的に導来圏の対象を特徴付けを行うことと，導来圏の分解の道具である recollement を用いること」に加えて、新たに（へ）「区間表現の性質を明らかにすること」が必要となった。これに対して今年度は研究を進め、論文を２編出版し、数値的かつ表現論的に区間表現を捉えることができたが、（に）の困難さを突破するに至らなかった。したがって総体として遅れていると判断した。
|
| Strategy for Future Research Activity |
計画の2年目以降は(a)2パラメータパーシステントホモロジーの新たな距離を提案し、ノイズに対して安定であることを明らかにすること、(b)既存研究との比較により、それらを包括した研究となっていることを明らかにすることを順次行う計画であった。研究集会で得た知見や（へ）「区間表現の性質を明らかにすること」の研究をさらに押し進めることで、(a)での遅れを取り戻し、(b)へ進める。 すなわち、（へ）に関して、区間表現を数値的かつ表現論的に捉えるだけでは足りなかったため、さらに圏論的に捉える方向での研究を進める。そして、その結果を用いて(に)「2パラメータパーシステントホモロジーの導来同値な対象について代数的安定性定理が導来圏へ拡張できることを明らかにすること」を一部ではなく全体まで広げることについてその困難を突破し、既存研究との比較を行う。なお、文献にあたるだけでなく、今年度も引き続き研究集会を開催するなどして、他研究者との交流を行っていく。
|
| Causes of Carryover |
次年度使用額が生じた理由は変わらずコロナ禍のため、研究者の物理的な招聘が難しい面があり、主催した研究集会もオンラインで行ったためである。国際会議もオンラインや近隣で行われたことも加わる。
今年度分の使用計画としては、研究目的を達成するため、引き続いて研究集会を主催し、研究者の招聘に充てる。また、研究を継続するに必要な物品の購入や、落ち着いてきた状況を鑑み出張へ充てる計画である。
|
