2023 Fiscal Year Research-status Report
Formal Pade approximation toward the period conjecture observing period integral via differential algebra
| Project/Area Number |
21K03171
|
|---|
| Research Institution | Nihon University |
|---|
Principal Investigator |
平田 典子 (河野典子) 日本大学, 理工学部, 特任教授 (90215195)
|
|---|
| Project Period (FY) |
2021-04-01 – 2026-03-31
|
| Keywords | パデ近似 / O-minimality / ディオファントス近似 / 超幾何関数 / 単数方程式 / 多重対数関数 / 超越近似 / 線形回帰数列 |
|---|
| Outline of Annual Research Achievements |
2023年度には研究代表者が受け入れたJSPSポスドクAnthony Poels氏（母国に帰国してLyon第1大学数学研究所に准教授として就職）との共同研究討議をzoomで継続して論文を出版した．べき乗関数のパデ近似から得られた漸化式を適用した手法で，線形回帰数列におけるPoincare-Perron の定理及びMahler測度の性質を活用し，2変数の単数方程式の解の個数の評価を40年ぶりに改良した内容である．さらに一般化した有限生成アーベル群の上での単数方程式の解の評価に関するパデ近似の応用をAnthony Poels氏，川島誠氏（明治学院大学に異動）と引き続き共同研究し，証明をまとめた．また，Indian Statistical Institute(インド，ニューデリー)若手教授であるShanta Laishram氏を2023年度に対面で招聘した際に議論を交わした内容の共同研究「異なる小数展開をもつ整数の桁数の和に関するEffectiveな評価」について，京都大学数理解析研究所での研究集会（公開型）における講演，及び論文執筆を行った．この講演内容の論文はまもなく投稿予定である．さらにWeizmann Institute of Science(イスラエル)のGal Binyamini氏を8月に対面にて招聘して討議を行った際に，研究課題に深く関連する超越近似及び代数的独立性の手法を，O-minimality の枠組みでの予想の解決に使えることを発見できた．こちらは現在も議論継続中であるが，予想外の思わぬ進展がみられた．加えて超幾何級数のZ型と呼ばれる場合について，代数的数における任意次数の代数体上での一次独立性の判定基準を証明した．こちらは抽象的パデ近似を応用したものであるが，Sinnou David氏（フランス，Sorbonne 大学），川島誠氏との継続中の共同研究内容であり，アーカイブに投稿済である．その前段階である多重対数の値についての研究成果はRecent Developments on Polylogarithms and Period Conjectureという題目で論文の査読通過，現在印刷中である．
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
研究代表者がこの研究費で進められた抽象的パデ近似の理論とその周辺のディオファントス近似が，思わぬ形で有用であることがわかったことが主要な理由である．また，イスラエル，インドの2カ国から若手2名の研究者を対面で招聘して，１週間程度の議論を交わすことができたことも鍵となった．特にイスラエルのGal Binyamini 氏との研究討議は有用であり，現在もzoomで継続中であるが，最初に対面で開始して討議における論点と課題を正確に共有できていたことが，共同研究開始に到るために本質的であった．また，研究代表者が組織委員を務める2024年3月の国際研究集会 Diophantine Analysis and Related Fields 2024の開催も本研究費を用いて対面実施できたが，これもGal Binyamini 氏との共同研究の新たな進展の良いきっかけになった．
|
| Strategy for Future Research Activity |
まずはO-minimalityの枠組みにおけるGal Binyamini氏(Weizmann Institute of Science, イスラエル)との共同研究に用いる，現時点で考えている低い超越次数の評価の活用に関するさらに有効な超越近似とパデ近似の構築を目指す．構想の鍵となる補題は既に証明済であって，O-minimalityの範疇での問題に適用できる形にすることが，今後の課題である．また，Sinnou David氏(Sorbonne 大学）との討議も川島氏と共にzoomで継続中であり，超幾何級数の特殊値に関する極めて一般的な一次独立性及び，無理数性の証明にさらに拡張できることがわかったため，現在鋭意推進中である．
|
