数学と離散的対象の研究

1993 Fiscal Year Annual Research Report

• Project/Area Number: 04452010
• Research Institution: The University of Tokyo
• Principal Investigator: 難波 完爾 東京大学, 大学院・数理科学研究科, 教授 (40015524)
• Co-Investigator(Kenkyū-buntansha): 高橋 陽一郎 東京大学, 大学院・数理科学研究科, 教授 (20033889) ; 菊地 文雄 東京大学, 大学院・数理科学研究科, 教授 (40013734) ; 金子 晃 東京大学, 大学院・数理科学研究科, 教授 (30011654) ; 折原 明夫 東京大学, 大学院・数理科学研究科, 教授 (10012337) ; 清水 英男 東京大学, 大学院・数理科学研究科, 教授 (00012336)
• Keywords: 離散的体象 / 有限体 / 有限幾何学 / 微分方程式 / 情報構造 / 計算の複雑性 / 特殊関数 / 変換の不変量

Research Abstract

1.ブール代数およびハイティング代数を値に持つ集合論に於て、数学を展開することは可能でそれを再び数学の対象として研究し、多くの具体的成果を得ている。この研究では、上記のものが位相空間の開集合や正則開集合、トポスなどに対応しているのに対して、線形空間の連続な作用素の空間など含むより一般の体系を研究対象としている。
この体系の上の公理、推論法則、証明可能性、完全性定理、決定可能性等の概念は、極大可換集合、ユニタリー表現などの数学的結果と関連しており、論理学での式として何が考えられるべきか、特にヒルベルト空間上で展開される量子論理と関連した離散的対象の研究は特に重要な研究目標である。本研究で得られている成果の中にも多くの連続的変形とそれに供う離散的対象に関するものが含まれている。
2.有限体上の微分方程式と有限射影空間での楕円曲線の構造の研究が着実に進んでいる。特に楕円曲線から定まるアーベル群の位数:これは複素数体では楕円関数の周期に相当するものであるが,これに関する具体的結果を得ている。例えばワイヤストラスの標準形y^2=X^3+kから定まる有限群の位数に関する結果から、素数がp=3n^2+3n+1の形をしているとき、その素数を因数として含む合成数から、その因数pを計算する確率的な多項式時間アルゴリズムの存在が示された。これと異なる系列の素数の発見は今後の大きな課題である。素因数分解と素数判定の計算量的複雑さの研究はP=NP問題などとも関連して現在最もホットな研究課題である。また、有限体上の楕円曲線から定まるアーベル群の位数の系列から,有理成分巡回直交行列の新しい系列を得ることができた。この理論の通信や位置の同定等への応用は将来の課題である。

Research Products

• [Publications] Kanji Namba: "Probabilistic polynomial time computable prime factors" 応用数学合同研究集合報告集. 5-10 (1992)
• [Publications] Takashi Tasaka: "Note on the generalized Euler constants" Okayama Journal of Mathematics. to appear.
• [Publications] Junichi Satsuma: "Solutions of the Broer-Kaup system through its trilinear form" Jour.of the Physical Soc.of Japan. 61. 3096-3102 (1992)
• [Publications] Fumio Kikuchi: "Numerical analysis of electrostatic and magnetostatic problems" Sugaku Expositions. 6. 33-51 (1993)
• [Publications] Toshitake Kohno: "Topological invariants for 3-manifolds using presentations of mapping class groups 1" Topology. 31,2. 203-230 (1992)
• [Publications] Toshiyuki Kobayashi: "Singuler unitary representations and discrete series for indefinite Stiefel manifold U(p,q:F)/V(p-m,q:F)" Memoirs of American Math.Soc.462. 1-101 (1992)
• [Publications] 薩摩順吉・四谷晶二: "キーポイント線形代数" 岩波書店, 189 (1992)
• [Publications] 河野俊丈: "組みひもの数理" 遊星社, 222 (1993)