数論力学

提供: testwiki
ナビゲーションに移動 検索に移動

テンプレート:要改訳 数論力学（すうろんりきがく、テンプレート:Lang-en-short[1]）は、数学における力学系と数論という二つの領域を融合した分野である。

離散力学とは、古典的には複素平面や実直線の自己写像の反復合成の研究のことである。数論力学は、多項式や有理函数の繰り返しの適用の下で、整数点、有理点、テンプレート:Mvar-進点、あるいは、代数的点の数論的な性質を研究することである。数論力学の基本的な目標は、数論的な性質をその基礎にある幾何学的な構造のことばで記述することにある。

大域的数論力学（たいいきてきすうろんりきがく、テンプレート:Lang-en-short）とは、離散力学系における古典的なディオファントス幾何学に類似した幾何学的構造の研究のことであるが、一方、局所的数論力学（きょくしょてきすうろんりきがく、テンプレート:Lang-en-short）は、テンプレート:Mvar-進力学、あるいはテンプレート:仮リンクとも呼ばれ、複素数 C を [[p-進数|Qテンプレート:Math]]や Cテンプレート:Math に置き換えた古典力学の類似物で、カオス的振る舞いやファトゥ集合やジュリア集合を研究する。 次の表は、ディオファントス方程式、特にアーベル多様体と力学系の大まかな対応を記述したものである。

ディオファントス方程式 力学系
多様体上の有理点や整数点 軌道上の有理点や整数点
アーベル多様体上の有限オーダーの点 有理函数の周期点

離散的力学系の定義と記法

集合 テンプレート:Mvar に対し、テンプレート:Math を テンプレート:Mvar から自分自身への写像とする。自分自身への テンプレート:Math の テンプレート:Math 回の繰り返しの適用のことを、

F(n)=F∘F∘⋯∘F.

と書くこととする。

点 テンプレート:Math が周期的 (テンプレート:En) とは、ある テンプレート:Math が存在して テンプレート:Math であることを言う。

点が前周期的 (テンプレート:En) とは、ある テンプレート:Math が存在して、テンプレート:Math が周期的であることを言う。

テンプレート:Mvar の（前方の）軌道 (テンプレート:En) とは、集合

OF(P)={P,F(P),F(2)(P),F(3)(P),F(4)(P),…}.

のことを言う。

このようにして、テンプレート:Mvar が前周期的であることと、その軌道 テンプレート:Math が有限であることとは同値である。

前周期的点の数論的性質

テンプレート:Math を係数を Q にもつ少なくとも次数 2 の有理函数とする。ノースコット (テンプレート:En) の定理[2]は、テンプレート:Mvar が有限個の Q-有理的前周期点、すなわち、テンプレート:Mvar が P1(Q) に有限個の前周期点しか持たないことを言っている。

テンプレート:仮リンク (テンプレート:En) とテンプレート:仮リンク (テンプレート:En) の テンプレート:En[3]は、P1(Q) の中の テンプレート:Mvar の前周期的点の数は、テンプレート:Mvar の次数にのみ依存する定数によって境界が決まるという予想である。

より一般的に、テンプレート:Math を数体 テンプレート:Mvar 上に定義された少なくとも次数 テンプレート:Math の写像とする。ノースコットの定理は、テンプレート:Mvar が テンプレート:Math 内に有限個の前周期的点しか持たないことを言い、一般化された テンプレート:En は テンプレート:Math 内の前周期的点の数が、Q 上の テンプレート:Mvar の次数と テンプレート:Mvar の次数および テンプレート:Mvar によってのみ定まる項によって制限されるという予想である。

有理数体 Q 上の二次多項式 テンプレート:Math に対しても、テンプレート:En は証明されていない。これが証明されている場合は、テンプレート:Math が周期 テンプレート:Math の周期点を持たない場合[4] 周期 テンプレート:Math の周期点[5]と周期 テンプレート:Math の周期点[6]の場合である。ただし、周期 テンプレート:Math の結果はバーチ・スウィンナートン＝ダイアー予想を前提としている。テンプレート:仮リンク (テンプレート:En) は、テンプレート:Math は テンプレート:Math より大きい周期の有理的な周期点は持ちえないことを予想した[7]。

軌道の整数点

有理写像の軌道は無限に多くの整数点を持つことがある。例えば、テンプレート:Math(テンプレート:Math) を整数係数の多項式とし、テンプレート:Math を整数とすると、明らかに、全ての軌道 テンプレート:Mathテンプレート:Math(テンプレート:Math) は整数全てからなっている。同様に、テンプレート:Math(テンプレート:Math) を有理写像、繰り返し テンプレート:Math(テンプレート:Math)(テンプレート:Math) を整数係数の多項式とすると、全ての テンプレート:Math 番目の軌道の要素は整数である。この現象の例は写像 テンプレート:Math(テンプレート:Math) = 1/テンプレート:Math での現象で、2番目の繰り返しは多項式である。このことは、無限個の整数点を含むような軌道は、この方法以外にないことを示している。

定理[8] テンプレート:Math(テンプレート:Math) ∈ Q(テンプレート:Math) を少なくとも次数 2 の有理函数として、テンプレート:Math で多項式であるような繰り返しが存在しないとする[9]。 テンプレート:Math ∈ Q とすると、軌道 テンプレート:Mathテンプレート:Math(テンプレート:Math) は有限個の整数しか持たない。

部分多様体上にある力学的に定義された点

テンプレート:仮リンク(Shouwu Zhang)他による一般的な予想は[10]、無限に多くの周期点を持つ部分多様体や、無限に多くの軌道と交叉する部分多様体を扱っている。これらは、それぞれ、レイノーにより証明されたマーニン・マンフォード予想と、ゲルト・ファルティングス(Gerd Faltings)により証明されたモーデル・ラングの予想の力学的類似物となっている。次の予想は、部分多様体が曲線の場合の一般論の説明である。

予想 テンプレート:Math : PN → PN を写像とし、テンプレート:Math ⊂ PN を既約な代数曲線とする。次のどちらかが正しいとする。
(a) テンプレート:Math は無限個の テンプレート:Math の周期点をもっている。
(b) 点 テンプレート:Math ∈ PN が存在し、テンプレート:Math は軌道 テンプレート:Math( テンプレート:Math) の中に無限個の点を持つ。
すると、テンプレート:Math は テンプレート:Math に対し周期点を持つ。この意味は、テンプレート:Math を自分自身へ写す写像 テンプレート:Math の繰り返しが存在するという意味である。

p-進力学

テンプレート:仮リンク(テンプレート:Math-adic (or nonarchimedean) dynamics)の分野では、非アルキメデス的な付値の観点から完全な体上の古典的力学方程式の研究を行っている。そのような体の例としては、p-進有理数 Qテンプレート:Math やその代数的な完全化 Cテンプレート:Math がある。テンプレート:Math の計量と等連続性の定義により、有理写像 テンプレート:Math(テンプレート:Math) ∈ テンプレート:Math(テンプレート:Math) のファトゥやジュリア集合の定義を可能となる。複素数と非アルキメデス的な理論の間には多くの共通点があるが、多くの違いもある。最も明確な違いは、非アルキメデス的な設定ではファトゥ集合はいつも空集合であり、ジュリア集合は空かもしれない。このことは、複素数の上では正しいことの逆である。非アルキメデス的力学はテンプレート:仮リンク(Berkovich space)へ拡張され[11]、ベルコビッチ空間は、全体では不連続な非局所コンパクトな体 Cテンプレート:Math を含むコンパクトな連結空間である。

一般化

Q や Qテンプレート:Math が数体や テンプレート:Math-進完備化と置き換わるような自然な数論力学の一般化が存在する。もうひとつの自然な一般化が P1 や Pテンプレート:Math の自己写像を他のアフィン多様体 テンプレート:Math → テンプレート:Math や 射影多様体上の自己写像に置き換えることである。

数論と力学の交叉する他の領域

他にも力学系の設定に自然に現れる多くの数論的問題があるの以下に挙げる。

Arithmetic Dynamics Reference Listには、数論的力学のトピックスの広い範囲をカバーする論文や書籍の大きなリストが掲載されている。

参照項目

脚注

参考文献

テンプレート:Reflist

進んだ文献

外部リンク

  1. ↑ テンプレート:Cite book
  2. ↑ D. G. Northcott. Periodic points on an algebraic variety. Ann. of Math. (2), 51:167--177, 1950.
  3. ↑ P. Morton and J. H. Silverman. Rational periodic points of rational functions. Internat. Math. Res. Notices, (2):97--110, 1994.
  4. ↑ P. Morton. Arithmetic properties of periodic points of quadratic maps. Acta Arith., 62(4):343--372, 1992.
  5. ↑ E. V. Flynn, B. Poonen, and E. F. Schaefer. Cycles of quadratic polynomials and rational points on a genus-2 curve. Duke Math. J., 90(3):435--463, 1997.
  6. ↑ M. Stoll, Rational 6-cycles under iteration of quadratic polynomials, 2008.
  7. ↑ B. Poonen. The classification of rational preperiodic points of quadratic polynomials over Q: a refined conjecture. Math. Z., 228(1):11--29, 1998.
  8. ↑ J. H. Silverman. Integer points, Diophantine approximation, and iteration of rational maps. Duke Math. J., 71(3):793-829, 1993.
  9. ↑ 基本定理は、テンプレート:Math(テンプレート:Math) ∈ がC(テンプレート:Math) であり、ある テンプレート:Math の繰り返しが多項式であれば、第二番目の繰り返しは多項式であるという定理
  10. ↑ S.-W. Zhang, Distributions in algebraic dynamics, Differential Geometry: A Tribute to Professor S.-S. Chern, Surv. Differ. Geom., Vol. X, Int. Press, Boston, MA, 2006, pages 381–430.
  11. ↑ R. Rumely and M. Baker, Analysis and dynamics on the Berkovich projective line, ArXiv preprint, 150 pages.
  12. ↑ Equidistribution in number theory, an introduction, Andrew Granville, Zeév Rudnick Springer, 2007, ISBN 978-1-4020-5403-7
  13. ↑ テンプレート:Cite book
「https://ja.wiki.beta.math.wmflabs.org/w/index.php?title=数論力学&oldid=9315」から取得