研究課題/領域番号 |
20K14336
|
研究種目 |
若手研究
|
配分区分 | 基金 |
審査区分 |
小区分12010:基礎解析学関連
|
研究機関 | 愛知工業大学 (2021-2022) 香川高等専門学校 (2020) |
研究代表者 |
増本 周平 愛知工業大学, 工学部, 講師 (30803861)
|
研究期間 (年度) |
2020-04-01 – 2024-03-31
|
研究課題ステータス |
交付 (2022年度)
|
配分額 *注記 |
3,120千円 (直接経費: 2,400千円、間接経費: 720千円)
2023年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2022年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2021年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2020年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
|
キーワード | 作用素環 / 集合論 / フォンノイマン環 / モデル理論 |
研究開始時の研究の概要 |
近年になって,作用素環論において古くから知られていた未解決問題の一部が,集合論的な研究手法によって思いも寄らない形で部分的に解決された.これを契機に,作用素環に集合論を応用する研究一般が注目を集めている.本研究では作用素環論と集合論のそれぞれにおける基本的な道具に着目し,互いにどのように関わっているかを詳しく調べることによって,両理論の研究手法の融合を図る.
|
研究実績の概要 |
本研究では,von Neumann環と呼ばれる作用素環に対して適切なモデル理論を発展させ,作用素環論において基本的な役割を果たす対象に対して集合論的な解釈を与えることで,集合論の技法や理論を応用できるような作用素環論の範囲を可能な限り拡大することを目標としている.当該年度においては,C.C.ChangとH.J.Keislerの意味においてモデル理論の真理値空間として適切な空間として前年度に見出したもの(Hilbert空間上の半正定値縮小作用素全体の空間,Hilbert空間上の直交射影全体の空間,Banach*環上の正値線型汎関数のうち,特定の正値線型汎関数によって抑えられるようなもの全体)について,これらを実際に真理値空間として採用した場合のモデル理論に特有の現象を,現在これらの空間について作用素環論の立場から知られている事実と照らし合わせながら考察した.また,特にHilbert空間上の半正定値縮小作用素全体の空間を真理値空間として採用した場合について,これを連続論理と量子論理の共通の一般化であるような論理に対応するモデル理論と考え,そのような論理の具体的な公理化の方法や可能性について検討した.さらに,古典的なモデル理論と連続論理のモデル理論の両方において共通に知られている基本的な構造の構成方法について,新しい真理値空間を採用したモデル理論での類似の構成が可能かどうかの検討を始めた.
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
von Neumann環を集合論的に扱うのに最適なモデル理論の構築という目標から見て,少なくとも検討・考察に値する具体的な対象が複数見つかっており,実際に考察も深まっている.
|
今後の研究の推進方策 |
これまでに見出した空間を真理値空間として採用したモデル理論と作用素環論との関わりについて,引き続き考察を深めていく.特に既存の様々な結果との関わりや作用素環論への応用可能性について,さらに検討を重ねていく予定である.
|