現代数学の系譜工学物理雑談古典ガロア理論も読む79

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む79 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

113: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/11/23(土) 11:27:44.28 ID:iKDSmfWl

つづき

オイラー・ラグランジュ方程式は、数学的には位置座標を変数とする配位空間の接バンドル上の方程式である。それに対して、ハミルトンによる力学の定式化、すなわち、ハミルトン形式は、運動方程式を配位空間の余接バンドル上の方程式

{\displaystyle {\dot {q_{i}}}={\frac {\partial H}{\partial p_{i}}},\,\,\,\,\,{\dot {p_{i}}}=-{\frac {\partial H}{\partial q_{i}}}}{\dot  {q_{i}}}={\frac  {\partial H}{\partial p_{i}}},\,\,\,\,\,{\dot  {p_{i}}}=-{\frac  {\partial H}{\partial q_{i}}}

と見ることであった。この余接バンドルは位置座標と運動量を変数とする空間である。余接バンドルを物理学では、相空間と呼ぶこともある。速度は位置座標を微分して得られるものであるから、位置座標と速度を用いるラグランジュ方程式は二階の常微分方程式となっている。
それに対して、ハミルトン形式では運動量自体を変数として用いるため、方程式は一階の常微分方程式となっている。ここで、速度と運動量は区別されなくてはならないことに注意する。なぜなら、一般化座標を取り替えたときに、一般化速度と一般化運動量の変換則はそれぞれ異なるからである。
一般化速度の変換則は接ベクトルの変換則と同じであり、一般化運動量の変換則は余接ベクトルの変換則と同じである。

量子力学との関わり
20世紀初頭になると、シンプレクティック幾何学は更なる転機を迎える。量子力学の誕生である。ハイゼンベルクやシュレディンガーらによって、量子力学は始まるが、そこにおいてもシンプレクティック幾何は重要であった。ハイゼンベルクの行列力学はポアソン括弧から出発し、シュレディンガーの波動力学はハミルトン・ヤコビ方程式から出発するからである。

その後、量子化の方法はいくつも提案されている。いくつか挙げるとすれば、
・正準量子化
・ファインマンの経路積分法による量子化
・ネルソンによる確率力学
である。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1573769803/113

219: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/12/01(日) 11:01:07.28 ID:id6ENHqe

メモ
https://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%87%E3%83%AB%E7%90%86%E8%AB%96
モデル理論
(抜粋)
モデル理論（英語: model theory）は、数理論理学による手法を用いて数学的構造（例えば、群、体、グラフ：集合論の宇宙）を研究（分類）する数学の分野である。

モデル理論における研究対象は、形式言語の文に意味を与える構造としてのモデルである。もし言語のモデルがある特定の文（英語版）または理論（英語版）（特定の条件を満足する文の集合）を満足するならば、それはその文または理論のモデルと呼ばれる。

モデル理論は代数および普遍代数と関係が深い。

この記事では、無限構造の有限一階モデル理論に焦点を絞っている。有限構造を対象とする有限モデル理論は、扱っている問題および用いている技術の両方の面で、無限構造の研究とは大きく異なるものとなっている。
完全性は高階述語論理または無限論理において一般的には成立しないため、これらの論理に対するモデル理論は困難なものとなっている。しかしながら、研究の多くの部分はそのような言語によってなされている。

モデル理論が体へ応用された初期の結果の例は、タルスキの実閉体についての量化記号消去法（英語版）、疑有限体 (pseudo finite field) 上のアックス（英語版）の定理、そしてロビンソンの超準解析の開発がある。
古典モデル理論の発展において、安定理論（英語版）の誕生が（非可算カテゴリー論 [uncountably categorical theory] 上のMorleyの範疇性定理（英語版）およびシェラハの分類プログラムを通して）重要なステップとなった。
この安定理論は、理論が満たす構文条件に基づくランクと独立性（英語版）の算法を発展させた。この数十年で、応用モデル理論はより純粋な安定理論と繰り返し融合してきた。この合成の結果は、この記事では幾何学的モデル理論と呼ばれている。

例
非自明なモデルの文脈における統語論および意味論を含む基本的な関係を説明するために、統語論側でペアノの公理のような自然数についての適切な公理とその関連する理論から始めることができる。意味論側では、通常の連続数がモデルを構成する。1930年代、スコーレムはその公理を満たす別のモデル（算術の超準モデル）を開発した。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1573769803/219

242: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/12/01(日) 18:08:30.28 ID:id6ENHqe

メモ
https://inference-review.com/article/a-crisis-of-identification
Inference
A Crisis of Identification David Michael Roberts Published on March 1, 2019 in Volume 4, Issue 3.
(抜粋)
David Michael Roberts is a Research Associate at Adelaide University’s Institute for Geometry and Applications.

Formalizing Theorem 3.11 of IUT, whose statement runs to more than five pages, is Herculean.

In the absence of a formal proof, the scruples expressed by Scholze and Stix gave nonexperts something to hold on to. “I received unsolicited emails from people whom I knew in quite distant parts of the world,” Conrad remarked,
and “[e]ach of them told me that they had worked through the IUT papers on their own and were able to more or less understand things up to a specific proof where they had become rather stumped.”22 The specific proof was, of course, that of Corollary 3.12.

For all that, there are a small number of mathematicians who have intensely studied Mochizuki’s work, and affirm quite emphatically that it is correct.23 Mochizuki himself remarked that

IUTch has been checked, verified, read and reread, and orally exposed in detail in seminars in its entirety countless times since the release of preprints on IUTch in August 2012 by a collection of mathematicians (not including myself) involved in this line of research [emphasis original].24

http://rio2016.5ch.net/test/read.cgi/math/1573769803/242

437: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/12/15(日) 21:35:35.28 ID:BvQtIPz4

>>436
つづき

この考察は彼にウェイト・モノデュロミ予想と呼ばれる、多項式のp-進解に関する複雑な命題の部分的証明をさせた。これが彼の2012年の学位論文になった。その学位論文は"とても広範囲な影響力を持っていたから、世界中の研究グループの話題だった"とWeinsteinは言った。
ジャングルを飛越える
パーフィクトイド空間の複雑性にもかかわらず、ショルツは彼の話と論文の明晰性で有名だ。"ピーターが私にそれを説明するまで、私はそれほど分かっていない"とWeinsteinは言った。
ショルツは必ず彼のアイディアを初心大学院生でもついて来られるレヴェルで説明しようとするとCaraianiは言った。"アイディアの用語に、この公開性と寛容性のセンスがある。

だが、ショルツの説明を借りてさえ、パーフィクトイド空間は他の研究者にとって把握するのが難しいとHellmannは言った。"もし貴方が径または彼が規定する方法から少し外れたなら、貴方はジャングルの真っ只中におり、実に困難だ"。
しかし、ショルツ自身は"ジャングルと格闘しようとするはずがないから、ジャングルで自分を見失わないであろう。ある種の明確な概念に対して彼はいつも概観を求めている"とHellmannは言った。
ショルツはジャングルを力ずくで飛越えることでジャングルのつるの中で錯綜することを避ける。彼が大学にいた時と同様に、彼は何も書き下さないで研究することを好む。
それは可能な限り最高に明晰な方法にアイディアを定式化しなければならないことを意味すると彼は言った。"頭脳の中では或る種の限られた能力しかないのだから、余りにも複雑なことは出来ない"。
他の数学者達が今パーフィクトイド空間を取組む始めている間に、パーフィクトイド空間に関する最も広範囲にわたる発見の一部は、驚くことではないが、ショルツと彼の共同研究者から来ている。
2013年にオンラインで彼が投稿した結果は"実際に或る程度コミュニティを仰天させた。私達はそのような定理が出現するとは思わなかった”とWeinsteinは言った。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1573769803/437

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.038s