Project/Area Number |
22K11913
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 60010:Theory of informatics-related
|
Research Institution | Kanagawa University |
Principal Investigator |
西澤 弘毅 神奈川大学, 工学部, 准教授 (60455433)
|
Project Period (FY) |
2022-04-01 – 2026-03-31
|
Project Status |
Granted (Fiscal Year 2022)
|
Budget Amount *help |
¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000)
Fiscal Year 2025: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2024: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2023: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2022: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
|
Keywords | 表現定理 / 二項関係 / ストーン双対性 / べき集合 / クオンテール / 代数系 / 位相空間 |
Outline of Research at the Start |
空間と代数系を一対一に対応させる性質として、ストーン双対性が知られている。この対応が見つかれば、空間の構造を理解するために空間内の点に直接言及しなくても代数的に推論することが可能になり、逆に、本来は無味乾燥な規則の集まりとして記述される代数系を、空間として具体的に理解することができる。 本研究は、二項演算のついた代数系と、二項関係を備えた空間の間にもストーン双対性を得ることを目的とする。
|
Outline of Annual Research Achievements |
集合的表現定理を拡張したストーン双対性の例が数多く知られている一方、べき集合クオンテールの関係的表現定理はストーン双対性へ拡張された例がない。本研究では、べき集合クオンテールの関係的表現定理を拡張したストーン双対性を得ることが最終目的である。 そのために、2022年度から2023年度にかけては、表現定理をストーン双対性へ拡張するための申請者自身による2020年の既存手法であるオプファイバー内包理論を一般化し、べき集合クオンテールの関係的表現定理に具体化するための準備をすることが計画されている。 オプファイバー内包理論は圏Set上のアイレンベルグムーア圏に適用できた実績があるが、べき集合クオンテールの圏に適用できるかどうか明らかではなかった。しかし、2022年度の研究の成果として、べき集合クオンテールの圏が圏Rel上のアイレンベルグムーア圏であることがわかった。そのため、SetとRelを含む形でオプファイバー内包理論を一般化できれば、べき集合クオンテールの圏にも適用できることがわかった。 また、申請者自身による2012年の既存研究で、任意のべき集合クオンテールが,ある二項関係をもとにしたべき集合クオンテールに埋め込めることが証明されているが、埋め込める根本的な理由はわかっていない。今回の成果は、べき集合クオンテールと二項関係の間の1つの強いつながりを意味する成果であり、埋め込める根本的な理由を明らかにする手がかりにもなり得る。
|
Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
オプファイバー内包理論は圏Set上のアイレンベルグムーア圏に適用できた実績があり、今回、べき集合クオンテールの圏は圏Rel上のアイレンベルグムーア圏であることがわかった。 これにより、SetとRelに共通する性質を利用できるようにオプファイバー内包理論を一般化すれば良いことがわかるため、一般化の方向性が定まったという点で、順調といえる。
|
Strategy for Future Research Activity |
今後は、SetとRelに共通する性質を利用できるようにオプファイバー内包理論を一般化する計画である。オプファイバー内包理論は、圏A,B,Mと、BからAへの関手Rと、MからAへの関手cが与えられ、それらが指定された条件を満たす場合に、適用できる理論である。 Set上のアイレンベルグムーア圏に適用する場合は、BとしてSetの反対圏を用い、Aとしてアイレンベルグムーア圏を用いた。Rel上のアイレンベルグムーア圏に適用する場合に、同様にBとしてRelの反対圏を用いることができるかどうか、などを検証していく。
|
Report
(1 results)
Research Products
(1 results)