1992 Fiscal Year Annual Research Report

モデル理論とその不定方程式論への応用

Research Project

Project/Area Number	04640222
Research Institution	Nagoya University
Principal Investigator	安本雅洋名古屋大学, 教養部, 助教授 (10144114)
Co-Investigator(Kenkyū-buntansha)	篠田寿一名古屋大学, 大学院・人間情報学研究科, 助教授 (30022685) 横井英夫名古屋大学, 大学院・人間情報学研究科, 教授 (50023560) 松原洋名古屋大学, 教養部, 助教授 (30242788) 小澤正直名古屋大学, 教養部, 助教授 (40126313) 三宅克哉名古屋大学, 教養部, 教授 (20023632)
Keywords	モデル理論 / 不定方程式 / 超準解析 / 超準モデル
Research Abstract	数理論理学、特にモデル理論の代数学への応用の可能性を探るため、基礎論をはじめ整数論、代数幾可等の専門家の協力によって数多くの成果を得た。まず有理数体の超準モデルの有限次代数拡大体に埋め込まれる二変数代数関数体に於て、算術的素元と関数的素元の間に望ましい関係を得るために超準整数の算術的独立性の概念を新たに導入し、これを用いて代数曲面上の有理関数がaffine開集合上で正則になるための算術的条件を与えた。またこれらの結果が算術的独立性の条件なしでどの程度の有効性があるかについてもある程度の成果が得られた。二つの超準整数の商の標準部分が超越数になる時にすべての関数的無限素元がアルキメデス算術的素元から引き起こされるための条件を与え、これを用いて二変数有理関数の値域がいたるところ稠密にならないための条件を見つけ、そのような関数の具体例を数多く得た。次に超準解析による超有限次元空間とその上の行列環の理論を展開し、それを量子光学の懸案に応用した。超準解析における超有限次行列環から、適当な超準核をとることにより、II_1型因子環が構成されることを示し、その性質を調べた。量子化された電磁場の位相に対応する自己共役作用素の問題は長年の懸案であったが、最近PeggとBernettにより、新しい作用素が提案されたが、有限次元空間でしか定義されないなどの難点を持っていた。ヒルベルト空間の超有限次元拡大の理論を応用して、この難点を解消し位相作用素の問題を最終的な解決に導いた。これらの成果はいずれも、通常の代数的あるいは解析的な手法では証明されていないものであり、超準モデルの手法を使って初めて可能となったものであり、数理論理学の有用性をよく表わしているといえよう。

Research Products
(6 results)

All Other

All Publications (6 results)

[Publications] 安本雅洋: "Arithmetically independent integers and values of rotional functions" Preprint Series Deptmet of Moth.Nagoy Vniv.4. 1-12 (1992)
[Publications] 三宅克哉: "Some p-groups with two generators which satisfy certain conditions arising from arithmetic in imaginary quadratic field" Tohoku Mathematical Journal. 44-3. 443-469 (1992)
[Publications] 小澤正直: "Conversion from nonstandard matrix algebras to standard factors of type II," Illinois Journal of Mathematics.
[Publications] 松原洋: "Saturated ideals and the singular cardinel hypothesis" Journal of Symbolic Logic. 57. 970-974 (1992)
[Publications] 横井英夫: "A note on class number one problem for real quadratic fields" Proc.Japan Acad.69. 22-26 (1993)
[Publications] 篠田寿一: "Strong minimal pair theorem for the honest polynomial degrees of △^0_2 sets" Journal of Mathematical Soc.Japan. 44-3. 505-514 (1992)

1992 Fiscal Year Annual Research Report

モデル理論とその不定方程式論への応用

Principal Investigator

安本 雅洋 名古屋大学, 教養部, 助教授 (10144114)

Research Products

[Publications] 安本 雅洋: "Arithmetically independent integers and values of rotional functions" Preprint Series Deptmet of Moth.Nagoy Vniv.4. 1-12 (1992)

[Publications] 三宅 克哉: "Some p-groups with two generators which satisfy certain conditions arising from arithmetic in imaginary quadratic field" Tohoku Mathematical Journal. 44-3. 443-469 (1992)

[Publications] 小澤 正直: "Conversion from nonstandard matrix algebras to standard factors of type II," Illinois Journal of Mathematics.

[Publications] 松原 洋: "Saturated ideals and the singular cardinel hypothesis" Journal of Symbolic Logic. 57. 970-974 (1992)

[Publications] 横井 英夫: "A note on class number one problem for real quadratic fields" Proc.Japan Acad.69. 22-26 (1993)

[Publications] 篠田 寿一: "Strong minimal pair theorem for the honest polynomial degrees of △^0_2 sets" Journal of Mathematical Soc.Japan. 44-3. 505-514 (1992)

安本雅洋名古屋大学, 教養部, 助教授 (10144114)

[Publications] 安本雅洋: "Arithmetically independent integers and values of rotional functions" Preprint Series Deptmet of Moth.Nagoy Vniv.4. 1-12 (1992)

[Publications] 三宅克哉: "Some p-groups with two generators which satisfy certain conditions arising from arithmetic in imaginary quadratic field" Tohoku Mathematical Journal. 44-3. 443-469 (1992)

[Publications] 小澤正直: "Conversion from nonstandard matrix algebras to standard factors of type II," Illinois Journal of Mathematics.

[Publications] 松原洋: "Saturated ideals and the singular cardinel hypothesis" Journal of Symbolic Logic. 57. 970-974 (1992)

[Publications] 横井英夫: "A note on class number one problem for real quadratic fields" Proc.Japan Acad.69. 22-26 (1993)

[Publications] 篠田寿一: "Strong minimal pair theorem for the honest polynomial degrees of △^0_2 sets" Journal of Mathematical Soc.Japan. 44-3. 505-514 (1992)