2022 Fiscal Year Research-status Report
| Project/Area Number |
20K03519
|
|---|
| Research Institution | Keio University |
|---|
Principal Investigator |
田中 孝明 慶應義塾大学, 理工学部(矢上), 准教授 (60306850)
|
|---|
| Project Period (FY) |
2020-04-01 – 2024-03-31
|
| Keywords | 代数的独立性 / 線形回帰数列 / 群作用 |
|---|
| Outline of Annual Research Achievements |
2022年度は以下の２課題について研究した。ひとつは微分完全代数的独立性を有する空隙的な冪級数の指数が成す数列に関して残された課題の解決であり、もうひとつは完全代数的独立性の拡張概念の実例となる多変数関数の構成であった。ここで、関数が完全代数的独立性を有するとは、その定義域内にある、代数的数を成分とするすべての点における関数値から成る無限集合が代数的独立となることをいう。さらに、そのような点における任意の階数の微分係数をすべて併せても代数的独立となるとき、その関数は微分完全代数的独立性をもつという。
前者の課題に関しては冪級数の指数が成す数列として最も簡単な形の線形回帰数列を与えることが課題であった。つまり、線形回帰数列が指数として現れる冪級数で定義される関数が微分完全代数的独立性を有するためには、指数を成す線形回帰数列が十分に複雑である必要があるが、最低限どの程度複雑なものであれば必要十分か確定させる問題が残されていた。研究代表者の2021年度までの研究において、そのような線形回帰数列の最も簡単なものは等比数列と等差数列の和であることが解明されていた。しかし、等差数列の公差の絶対値が2以上であって微分完全代数的独立性をもつ例の存在性が問題であった。2022年度の研究により、この問題が否定的に解決された。即ち、k番目の項の指数が 等比数列+k または 等比数列-k の場合に限り微分完全代数的独立性を有することが証明された。
後者の課題は現在進行中であるため詳細は下記「８．今後の研究の推進方策」欄において述べる。2022年度の成果は位数の小さい２面体群の作用に関して完全代数的独立性の拡張概念の実例となる多変数関数を構成できたことである。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
本研究の目的である「完全代数的独立性の高次元化」と「完全代数的独立性の拡張」に関して、前者は目的を達した。それらの結果をまとめた３編の論文のうち、微分完全代数的独立性を有する空隙的な冪級数の決定に関する結果をまとめた２編は、査読付き学術誌および研究集会の講究録に掲載された。残る１編は微分完全代数的独立性の高次元化である偏微分完全代数的独立性を有する多変数関数の構成に関するものである。偏微分完全代数的独立性とは、代数的数を成分とするすべての点における値および、そのような点における任意の階数の偏微分係数をすべて併せても代数的独立となる、という多変数関数としての著しい性質である。この論文では、任意の個数の変数を持つ複素整関数であって、偏微分完全代数的独立性を有するものが構成されており、学術誌に投稿し現在査読中である。
後者に関しては、具体的な研究対象の関数が確定し、位数の小さい２面体群の場合には研究代表者の先行研究で用いた手法の拡張により扱えることが分かった。
|
| Strategy for Future Research Activity |
補助事業期間の最終年度である2023年度は「完全代数的独立性の拡張」の研究に集中する。その研究内容を具体的に述べると次のようになる。多変数関数であって、ある有限群が当該関数の定義域に作用し、同一の関数値を与える点はすべてこの群作用による同一の軌道に属するものを考える。即ち、当該関数はこの群作用に関してinvariantである。そして、この群作用に関する軌道全体の集合上の写像が自然に定義される。この写像が「完全代数的独立性の拡張」となる性質を有するのは、代数点に代表される任意の相異なる軌道における値がすべて代数的独立となるときである。つまり、群作用に関する軌道全体の集合上で定義された、完全代数的独立性を有する写像の構成という形で、完全代数的独立性の概念が拡張される。2023年度は任意の位数の２面体群を固定したとき、その作用に関して完全代数的独立性の拡張概念の実例となる多変数関数を構成することを目指す。これは、非可換群の作用に関してinvariantであり、完全代数的独立性を拡張した性質を有する関数の構成という全く新しい方向性の研究である。
|
| Causes of Carryover |
補助事業期間の初年度にあたる2020年度に、新型コロナウイルス感染症の世界的蔓延に伴い海外渡航および国内出張の計画をすべて中止したことが直接の原因である。その結果として生じた初年度の未使用額分は2021～2022年度には使用せず繰り越す形となった。2023年度の交付分と繰り越し分を最も有効に活用するため、2023年度は特任研究員を雇用する。その理由は以下の通りである。
特任研究員として雇用するのは上記「７．現在までの進捗状況」において述べた、偏微分完全代数的独立性を有する多変数関数の構成に関して研究代表者と共同研究を行った当時の博士課程の学生である。当該学生が2023年3月に学位を取得したため特任研究員として研究代表者とともに本研究の遂行に当たる。
|
Research Products
(3 results)
