• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

数学と離散的対象の研究

Research Project

Project/Area Number 04452010
Research Category

Grant-in-Aid for General Scientific Research (B)

Allocation TypeSingle-year Grants
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionThe University of Tokyo

Principal Investigator

難波 完爾  東京大学, 大学院・数理科学研究科, 教授 (40015524)

Co-Investigator(Kenkyū-buntansha) 高橋 陽一郎  東京大学, 大学院・数理科学研究科, 教授 (20033889)
菊地 文雄  東京大学, 大学院・数理科学研究科, 教授 (40013734)
金子 晃  東京大学, 大学院・数理科学研究科, 教授 (30011654)
折原 明夫  東京大学, 大学院・数理科学研究科, 教授 (10012337)
清水 英男  東京大学, 大学院・数理科学研究科, 教授 (00012336)
Project Period (FY) 1992 – 1993
Project Status Completed (Fiscal Year 1993)
Budget Amount *help
¥6,800,000 (Direct Cost: ¥6,800,000)
Fiscal Year 1993: ¥3,000,000 (Direct Cost: ¥3,000,000)
Fiscal Year 1992: ¥3,800,000 (Direct Cost: ¥3,800,000)
Keywords離散的体象 / 有限体 / 有限幾何学 / 微分方程式 / 情報構造 / 計算の複雑性 / 特殊関数 / 変換の不変量 / 離散的対象 / ブール代数
Research Abstract

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

Report

(2 results)
  • 1993 Annual Research Report
  • 1992 Annual Research Report

Research Products

(16 results)

All Other

All Publications (16 results)

  • [Publications] Kanji Namba: "Probabilistic polynomial time computable prime factors" 応用数学合同研究集合報告集. 5-10 (1992)

    • Related Report
      1993 Annual Research Report
  • [Publications] Takashi Tasaka: "Note on the generalized Euler constants" Okayama Journal of Mathematics. to appear.

    • Related Report
      1993 Annual Research Report
  • [Publications] Junichi Satsuma: "Solutions of the Broer-Kaup system through its trilinear form" Jour.of the Physical Soc.of Japan. 61. 3096-3102 (1992)

    • Related Report
      1993 Annual Research Report
  • [Publications] Fumio Kikuchi: "Numerical analysis of electrostatic and magnetostatic problems" Sugaku Expositions. 6. 33-51 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] Toshitake Kohno: "Topological invariants for 3-manifolds using presentations of mapping class groups 1" Topology. 31,2. 203-230 (1992)

    • Related Report
      1993 Annual Research Report
  • [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)

    • Related Report
      1993 Annual Research Report
  • [Publications] 薩摩順吉・四谷晶二: "キーポイント線形代数" 岩波書店, 189 (1992)

    • Related Report
      1993 Annual Research Report
  • [Publications] 河野俊丈: "組みひもの数理" 遊星社, 222 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] Kanji Namba: "Factorization of Jacobi polynomial and elliptic curves over finite fields" 応用数学合同研究集会報告集. 98-103 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] Akira aneko: "On conjugation of regular solutions of linear partial differential equations" Partial differential equations Banach center publications. 27. 183-195 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] Hironobu Kimura: "The generalized confluent hypergeometric functions" Proc.of Japan Academy. 68. 290-295 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] Kazuo Okamoto: "The Painleve equations and the Dynkin diagrams" Painleve Trancendents,Ed.D.Levi Plenum Press. 299-313 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] Toshiyuki Katsura: "On the fields of definition of super-singuler polarized abelian varieties and type numbers" to appear,Compositio Math.

    • Related Report
      1992 Annual Research Report
  • [Publications] Kenji Yajima: "Gevrey frequency set and semi-classical behavior of wave packets" Schrod.op.Quantum Mech.Prob.Lect.Notes in Physics. 403. 248-264 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] 堀川 穎二: "新しい解析入門コース" 日本評論社, 156 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] 薩摩 順吉(四ツ谷晶二と共著): "キーポイント線形代数" 岩波書店, 189 (1992)

    • Related Report
      1992 Annual Research Report

URL: 

Published: 1992-03-31   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi