14/06/08 08:29:40.18
>>533
いま気付いたが、このScorpan, A. (2005), The wild world of 4-manifolds, Providence, R.I. URLﾘﾝｸ(www.maths.ed.ac.uk)
について松本氏（「増補新版 4次元のトポロジー：松本幸夫」URLﾘﾝｸ(astore.amazon.co.jp) ）>>510が、
「11/8予想の書き方が悪い」と注文を付けているね。（増補新版 4次元のトポロジー：松本幸夫」P237）
577:１３２人目の素数さん
14/06/14 00:34:04.56
>>559
>方法の革新性については既に多くのことが語られているように思うので，ここでは端折る．
>非線形偏微分方程式の解空間から多様体の交叉形式を知ることができる，という知らせによって，トポロジストの前に無限次元への扉が開いたというお話だが，
>そもそも接／法ベクトル束以外のベクトル束を多様体のトポロジーに応用したことすら，はじめてだったんじゃないだろうか．
>
>Donaldson の理論には，それまでのトポロジーにあまり似たものがない．ゲージ理論の応用と言うので物理から多くを学んだのかと思うとそうでもない．
>（むしろ物理学者の方が Donaldson の理論に学び，約１０年経って Seiberg-Witten 理論を生む．
松本氏（「増補新版 4次元のトポロジー：松本幸夫」URLﾘﾝｸ(astore.amazon.co.jp) ）>>510が、書いているが
まあ４次元は特殊な次元で、exoticな微分構造があふれている
Scorpan, A. (2005), The wild world of 4-manifolds, Providence, R.I. URLﾘﾝｸ(www.maths.ed.ac.uk) には
閉には加算無限、開には非加算無限のexoticな微分構造が入りうるという予想が
そうだとすれば、４次元のexoticな微分構造は、有限の代数的トポロジーの指標（ホモロジーなど）では捉えきれない存在（それが本質）
であれば、微分構造の差を見るには、微分を使う力学系の指標が良いんでないの？ それしかない。それが、DonaldsonでありSeiberg-Wittenであったと
578:１３２人目の素数さん
14/06/14 05:47:02.91
>>574 補足
URLﾘﾝｸ(www.maths.ed.ac.uk)
Exotic Smoothness and Physics Differential Topology and Spacetime Models 2007
より
11.2.4 Geometric structures on %manifolds and exotic differential structures
To summarize, we hope to have provided support for the conjecture:
Conjecture: The differential structures on a simply-connected compact, 4-manifold M are determined by the homotopy classes [M, BGl(T)+] and
by the algebraic K-theoy K3(T) where T is the hyperfinite II1 factor C*-algebra.
The classes in K3(T) are given by the geometric structure and/or a codamension-1 foliation of a homology 3-sphere in M determining the Akbulut cork of M.
From the physical point of view, this conjecture is very interesting
because it connects the abstract theory of differential structures with well-known structures in physics like operator algebras or bundle theory.
Perhaps such speculations may provide a geometrization of quantum mechanics or more.
We close this section, and book, which these highly conjectural remarks.
579:１３２人目の素数さん
14/06/14 05:55:46.39
>>578 補足
>Conjecture: The differential structures on a simply-connected compact,
これ、微分ポアンカレ予想の拡張になっている
（ 参考 URLﾘﾝｸ(www1.gifu-u.ac.jp) ）
580:１３２人目の素数さん
14/06/14 06:12:06.30
>>576 補足
Scorpan, A. (2005), The wild world of 4-manifolds, Providence, R.I. URLﾘﾝｸ(www.maths.ed.ac.uk)
Epilogue
Under the light of the various examples seen in this book, it seems reasonable to conjecture that,
if a topological 4-manifold admits a smooth structure at all, then it might admit infinitely many.
While gauge theory was how the door was opened on those vast unexplored realms, it might not be how these will be charted.
We have seen that there are whole realms where the Seiberg-Witten invariants cannot help us.
For example, the theory is blind on 4-manifolds that admit metrics of positive scalar curvature,
on homology 4-spheres (which in particular leaves the smooth 4-dimensional Poincare conjecture with no solution in sight),
on all manifolds with hi even, and in general on 4-manifolds that are far from complex.
More, gauge theory offers only negative results (as in "two manifolds are not diffeomorphic").
Indeed, the field of 4-manifolds lacks enough techniques for obtaining affirmative results (as in "two manifolds are diffeomorphic").
Looking back, the only affirmative results we encountered came either from ad hoc constructions, from Kirby calculus, or from complex geometry.
The field also lacks techniques for building enough examples, which might one day be organized into any sort of classification scheme.
We are lost in an ever-growing jungle.
Hence the final conclusion of this volume can only be that
We know that we don't know.
This only makes it all the more exciting ...
581:１３２人目の素数さん
14/06/14 06:26:02.79
>>580 訂正
on all manifolds with hi even,
↓
on all manifolds with b2+ even,
582:１３２人目の素数さん
14/06/14 12:36:27.82
>>577-579
>閉には加算無限、開には非加算無限のexoticな微分構造が入りうるという予想が
>そうだとすれば、４次元のexoticな微分構造は、有限の代数的トポロジーの指標（ホモロジーなど）では捉えきれない存在（それが本質）
>であれば、微分構造の差を見るには、微分を使う力学系の指標が良いんでないの？ それしかない。それが、DonaldsonでありSeiberg-Wittenであったと
参考
URLﾘﾝｸ(ja.wikipedia.org)
AdS/CFT対応の実例は、AdS7ｘ S^4 上のM-理論は、6次元のいわゆる (2,0)-理論に等価であろうという例である。[27]
この理論は、古典的極限（英語版）を持たない量子力学の理論であるので、いまだ少ししか理解されていない。[28]
この理論を研究することに内在的な困難さがあるが、物理学と数学の双方にとって、様々な理由からこの理論は興味ある対象と考えられている。[29]
（引用おわり）
４次元は、高次元の数学的理論が使えない。DonaldsonやSeiberg-Wittenみたく、微分構造に敏感な対象を物理から借りてくる
AdS7ｘ S^4 上のM-理論なんか面白そう。微分構造依存性が解明できれば、S^4にexotic微分構造を構築できるかも・・
583:１３２人目の素数さん
14/06/14 12:54:33.25
>>582
補足
引用文献
29^ See Moore 2012 and Alday, Gaiotto, and Tachikawa 2010.
これ Moore 2012が日本語版では抜け 英語版にある
URLﾘﾝｸ(en.wikipedia.org)
Moore, Gregory (2012). "Applications of the six-dimensional (2,0) theories to Physical Mathematics". Retrieved 14 August 2013.
URLﾘﾝｸ(www.physics.rutgers.edu)
これがなかなか名著
584:１３２人目の素数さん
14/06/14 13:11:53.08
>>583
補足
> 29^ See Moore 2012 and Alday, Gaiotto, and Tachikawa 2010.
Tachikawaは、検索で結構ヒットする。引用多い
URLﾘﾝｸ(arxiv.org)
Liouville Correlation Functions from Four-dimensional Gauge Theories Yuji Tachikawa 2010
URLﾘﾝｸ(www-hep.phys.s.u-tokyo.ac.jp)
URLﾘﾝｸ(www-hep.phys.s.u-tokyo.ac.jp) 中島先生や長尾くんにならって、論文の背景についてコメントを書いてみようかと思いました。
URLﾘﾝｸ(www.s.u-tokyo.ac.jp) 漢字名
585:１３２人目の素数さん
14/06/14 13:28:01.88
>>582 補足
(2,0)-理論関連で、こんなのがヒット（結構新しいので紹介）
URLﾘﾝｸ(www.phys.vt.edu)
Selected recent talks
Talk at Heterotic strings and (0,2) QFT (Texas A&M, April 28 - May 2, 2014) on Recent developments in 2d (0,2) theories
URLﾘﾝｸ(www.phys.vt.edu)
Talk at TU Wien (physics) on March 10, 2014 on Duality in two-dimensional nonabelian gauge theories.
URLﾘﾝｸ(www.phys.vt.edu)
586:１３２人目の素数さん
14/06/14 21:24:20.34
>>580
>We have seen that there are whole realms where the Seiberg-Witten invariants cannot help us.
>For example, the theory is blind on 4-manifolds that admit metrics of positive scalar curvature,
>on homology 4-spheres (which in particular leaves the smooth 4-dimensional Poincare conjecture with no solution in sight),
>Hence the final conclusion of this volume can only be that
>We know that we don't know.
>This only makes it all the more exciting ...
”by the algebraic K-theoy K3(T) where T is the hyperfinite II1 factor C*-algebra ”>>578とあるけれども
一方、AdS/CFT対応から、突破口・・みたいなことを夢想しないでもない
AdS/CFTは，>>302>>435>>472>>582にも紹介してあるが・・
新しいところでは、下記
URLﾘﾝｸ(www.yukawa.kyoto-u.ac.jp)
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
AdS-CFT対応と物性物理 高柳匡 京大 2013
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
ゲージ・重力対応とその応用 ppt版 中村真 京大 2010
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
ゲージ・重力対応とその応用 論文版 中村真 京大 2010
587:１３２人目の素数さん
14/06/15 18:50:17.79
>>566 関連PDF
新しい
URLﾘﾝｸ(www.mathematik.uni-marburg.de)
Dirac operators in Riemannian geometry Thomas Friedrich Torino February 2014
URLﾘﾝｸ(www.euro-math-soc.eu)
The European Mathematical Society
School "CARNIVAL DIFFERENTIAL GEOMETRY" Start: Feb 24 2014 - 12:00
Short description of the event:
The School is mainly targeted at PhD students and young researchers working in the field of differential geometry. The aim is to expose participants to current research and point to applications.
At the heart of the school are two mini-courses, consisting of four 90' lectures each, that will start from the basics and reach the latest results.
Lecturers:
Ilka Agricola (Marburg): "Non integrable geometries, torsion, and holonomy"
Thomas Friedrich (HU Berlin): "Dirac operators in Riemannian geometry"
588:１３２人目の素数さん
14/06/21 22:35:26.55
これが面白そう
URLﾘﾝｸ(arxiv.org)
On the origin of inflation by using exotic smoothness
T Asselmeyer-Maluga 著 - ‎2013 - ‎引用元 3 - ‎2013/01/16
URLﾘﾝｸ(www.hindawi.com)
Inflation and Topological Phase Transition Driven by Exotic Smoothness
Torsten Asselmeyer-Maluga1 and Jerzy Król2 Published 19 March 2014
589:１３２人目の素数さん
14/06/21 22:41:27.25
>>588
>On the origin of inflation by using exotic smoothness
これ、Casson handleを物理的な計算対象として扱っている
そこが、面白いと
590:１３２人目の素数さん
14/06/22 08:11:28.73
>>588
補足
Inflation (cosmology) >>409>>407
宇宙は、いま膨張し続けているという
過去にさかのぼれば、137億年前は砂粒より小さな一点から宇宙が始まった（ビッグバン）という>>181-182
しかし、その始まりはいまのほぼ平坦なミンコフスキー空間>>531であるはずもない
なぜなら、いま我々が暮らす宇宙のミンコフスキー空間は大質量が一点に集まれば、ブラックホールを生じるはず
宇宙の始まりは、いまの宇宙とは時空の性質が違っていたと考えるしかない
それは、M理論いうところの１１次元だったろうか？>>344-345
いま我々が暮らす宇宙とは異なる性質の時空から宇宙は始まり、Inflationからビッグバンなどの真空の相転移（偽の真空参照）を経て、現在になった
URLﾘﾝｸ(ja.wikipedia.org)
偽の真空（ぎのしんくう・False vacuum）とは、基底状態のエネルギーが高い、準安定状態の真空を示す語である。
偽の真空が、より低いエネルギーの低い状態の真空に移行した場合、その真空は対義語として真の真空（しんのしんくう・True vacuum）と呼ばれる。
宇宙誕生から10-36秒から10-34秒後に発生したインフレーション期に、我々の宇宙は偽の真空から真の真空へ相転移したとされているが、
実は今の真空は未だ完全な真の真空ではないという理論もある[1][2][3][4][5][6]。
（引用おわり）
ミンコフスキー空間＝3D+t(時間)の計４次元
４次元のexoticな構造の存在と、Inflation (cosmology) が関係しているというのが、Torsten Asselmeyer-Maluga氏の研究
逆に、このような４次元のexoticな構造の物理からの研究成果が、数学の側に影響を与える可能性がある
Donaldson>>168やWitten>>305-306のように・・
要は、無限にある４次元のexoticな微分構造は、有限の代数的トポロジーの指標（ホモロジーなど）では捉えきれない存在（それが本質）
であれば、微分構造の差を見るには、力学系の指標が良い>>577
591:１３２人目の素数さん
14/06/22 12:38:50.70
>>568 補足
>証明は、分かると、その（例えば定理の）数学的構造あるいは内容を反映したものだと見えてくる場合がある。
>というか、そこまで進まないと勉強したと言えないかもね。
定理の証明の背後にある数学的構造
そこから導かれる証明の道筋
それが見えるかね？
というか、それを意識して証明を読むべき
>山頂から振り返ってみれば、自分の辿ってきた道が見え、山の構造が見える。
>なぜ、こういう証明の道筋なのか。それは、山頂に立たないと見えてこないものかも知れない。
証明が出てから、それを読んでみる
数学的構造が見えれば、別証明が浮かぶこともある
ある人にとって、数学的構造が類推できるレベルの人いる
そのレベルの人は、「証明は自分で考える方が理解しやすい（人の書いた証明は分かり難い）」なんていう人も居たりするね（そんな話を読んだことがある）
592:１３２人目の素数さん
14/06/22 18:00:21.58
>>591
証明でね、ペレリマン>>322の3次元ポアンカレ予想の証明の本を読んでみたんだ
リッチフローと幾何化予想 小林亮一 著>>318
証明を理解しようというつもりはなくて
なぜ、いままでのトポロジーの手法では解けなかったのか？ リッチフローは本質なのか？ そこがどうだったのかと
リッチフローは本質なのか？：Yes
なぜ、いままでのトポロジーの手法では解けなかったのか？：
１）リッチフローという目で見たときに、特異点を生じる場合がある。この処理が、従来のトポロジーの手法では簡単ではないこと
２）リッチフローで特異点を生じた後手術で特異点を取り除いてさらにリッチフローを続ける。これが無限につづく場合がある。ペレリマンはこの場合も問題ないことを証明した。
しかし、このような場合を処理することは、従来のトポロジーの手法では簡単ではない
これは、私の個人的な感想にすぎないので、専門家の目から見ると間違っているかもしれない
しかし、トポロジーにリッチフローという手法を導入したハミルトン。リッチフローをきちんと使えるようにしたペレリマン
これは、やはり本質的革命だったのでは。従来のトポロジーの手法の延長線では、3次元ポアンカレ予想は解けなかったし、今後も解ける（従来のトポロジーの手法の延長線で別証明が出る）ことはないだろう
593:１３２人目の素数さん
14/06/28 05:47:18.49
ほい
URLﾘﾝｸ(prac.us.edu.pl)
XXXIII International Conference of Theoretical Physics
MATTER TO THE DEEPEST: Recent Developments in Physics
of Fundamental Interactions, USTROŃ'09
URLﾘﾝｸ(prac.us.edu.pl)
Exotic Smooth 4-Manifolds and Gerbes as Geometry for QG Jerzy Król Matter to the Deepest USTRO‹ 2009
URLﾘﾝｸ(prac.us.edu.pl)
Exotic Smoothness and Astrophysics Jan Sładkowski Matter to the Deepest 2009 Ustroń – Poland
594:１３２人目の素数さん
14/06/28 05:56:53.97
>>593 補足
上記Krol氏のpdfのP10/19に
”In the AdS/CFT correspondence the exotic 4-structures can cause the
additional susy breaking (important for approaching the realistic QCD).”とあって
”一方、AdS/CFT対応から、突破口・・みたいなことを夢想しないでもない ”（ >>586）と関連しているねと
やっぱ、exotic 4-structuresの突破口は、物理からやってくるのか
595:１３２人目の素数さん
14/06/28 06:05:43.69
こんなのがあった
URLﾘﾝｸ(www.physicsoverflow.org)
The properity of R4 that has infinite differential structures is related to Yang-Mills field? This post imported from StackExchange Physics at 2014-05-04
1 Answer
I will only address the question to know why R4 admits some non-standard, "exotic", differentiable structure.
The question to know why there are infinitely many (and even uncountably many) examples simply requires an extension of the same kind of techniques.
There are several ways to construct examples of exotic R4.
All use some deep results of topological nature due to Freedman and some deep results of differentiable nature due to Donaldson.
I don't know if the results of Freedman have any physical interpretation.
The Yang-Mills theory appears in Donaldson's results, on the differentiable side
(one needs a differentiable structure to write partial differential equations).
Here is a sketch of one of the standard construction.
（以下略）
596:１３２人目の素数さん
14/06/28 06:13:34.47
こんなのもご参考に
URLﾘﾝｸ(math.stackexchange.com)
Tangent bundles of exotic manifolds edited Aug 17 '13
1 Answer
Milnor gives an example of two homeomorphic smooth manifolds whose tangent bundles are not isomorphic as vector bundles, see his ICM-1962 address, Corollary 1. I think, this was the first such example.
597:１３２人目の素数さん
14/06/28 11:41:13.88
>>593 補足
Gerbes
URLﾘﾝｸ(en.wikipedia.org)
In mathematics, a gerbe is a construct in homological algebra and topology. Gerbes were introduced by Jean Giraud (Giraud 1971) following ideas of Alexandre Grothendieck as a tool for non-commutative cohomology in degree 2.
They can be seen as a generalization of principal bundles to the setting of 2-categories. Gerbes provide a convenient, if highly abstract, language for dealing with many types of deformation questions especially in modern algebraic geometry.
In addition, special cases of gerbes have been used more recently in differential topology and differential geometry to give alternative descriptions to certain cohomology classes and additional structures attached to them.
"Gerbe" is a French (and archaic English) word that literally means wheat sheaf.
598:１３２人目の素数さん
14/06/28 19:59:43.97
>>590 補足
URLﾘﾝｸ(www.amazon.co.jp) 四元数・八元数とディラック理論 森田克貞 >>556関連でもある
URLﾘﾝｸ(en.wikipedia.org)
URLﾘﾝｸ(hypercomplex.xpsweb.com)
URLﾘﾝｸ(hypercomplex.xpsweb.com)
Hypercomplex Numbers in Geometry and Physics Scienti¯c Journal 2004(1)
URLﾘﾝｸ(hypercomplex.xpsweb.com)
Hypercomplex Numbers in Geometry and Physics Scienti¯c Journal 2004(2)
URLﾘﾝｸ(en.wikipedia.org)
URLﾘﾝｸ(ja.wikipedia.org)
非可換な可微分多様体についての研究も非可換幾何の研究の大きな部分をなしている。
通常の可微分多様体はその上のなめらかな関数のなす可換環と、接束、余接束などのベクトル束へのなめらかな切断によって特徴づけられる。
これら切断の空間はなめらかな関数のなす代数上の加群の構造を持っている。
また、この代数上の微分写像を理解するためには外微分やリー微分、共変微分の概念が重要な役割を果たす。
非可換な場合には、問題になっている代数が非可換となり、微分形式の環と、外微分の概念を非可換環に対して意味を持つように定式化する必要がある。
ジョン・フォン・ノイマンによる作用素環論の創始において既に、作用素環は量子力学的な物理量に対する「座標」をあたえるための系として用いられている。
その後ゲルファント・ナイマルクの定理などを通じて可換な作用素環が古典的な幾何学の対象に対応しており、
非可換な作用素環論にも数々の類似が存在することや、古典的な理論の枠組みでは病的とも見なされるような対象が非可換な作用素環によって取り扱えることが認識されるようになった。
アラン・コンヌによる非可換幾何学の研究で用いられた技法の一部はより古い理論、例えばエルゴード理論にたどることができる。
閉部分群による商として得られる等質空間への作用の類推から、任意のエルゴード的群作用を仮想的な部分群と見なすというジョージ・マッケイによる発想などが積極的に利用されている。
599:１３２人目の素数さん
14/06/29 06:04:11.22
”Riemann Hypothesis solved through physics-math in new cosmological model ”
検索でヒットしたが、半分ジョークです。 the Netherlands, independent cosmologist.
世の中いろんな考えがあると
URLﾘﾝｸ(vixra.org)
URLﾘﾝｸ(vixra.org)
Riemann Hypothesis solved through physics-math in new cosmological model: the Double Torus Hypothesis.
Author: Dan Visser, Almere, the Netherlands, independent cosmologist.
Date: July 23 2013
600:１３２人目の素数さん
14/06/29 08:58:32.10
>>598
アラン・コンヌによる非可換幾何学とRiemannで検索したら下記ヒット
修士論文らしいが、証明が一つもない(>>591関連)
文系の論文かとおもうくらい
日本では通らないように思うが、なにかのご参考に
URLﾘﾝｸ(www.math.northwestern.edu)
On Riemann’s 1859 paper “Über die Anzahl der Primzahlen unter einer gegebenen Grösse”and Its Consequences by Joseph W. Cutrone
A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science Department of Mathematics
New York University September 2005
601:１３２人目の素数さん
14/06/29 12:22:58.67
こんなのがヒットした
URLﾘﾝｸ(phasetr.blogspot.jp)
2013年4月19日金曜日
数論と相転移に付随する自発的対称性の破れ：Connes 論文と新井論文の紹介
数論 (代数的整数論) での両側剰余類の話が出てきた. 私自身は使ったことないが, Connes の数論での相転移論文にも出てきたことを思い出した.
Hecke algebras, type III factors and phase transitions with spontaneous symmetry breaking in number theory
URLﾘﾝｸ(www.alainconnes.org)
という論文だが, 学生時代は学生時代できちんと読もうとして訳が分からず挫折した経緯があり, 結局あまり内容を把握していない.
時々 Twitter でネタにするので, この機会に軽く眺めてみようと思い, 自分用メモとして残しておく.
あと, 関係する話として新井先生の
Infinite dimensional analysis and analytic number theory
URLﾘﾝｸ(eprints3.math.sci.hokudai.ac.jp)
という話もある. 両方とも量子統計と数論の関係がテーマで, 分配関数が Riemann の ζ になる, という話.
新井先生の論文の方は直接的に Fock 空間と第 2 量子化作用素の話をしていて, 数学的にはこちらの方が簡単で読みやすい.
ただ, 基本的には全く違う話なので両方読み比べた方が楽しいだろう.
では Bost-Connes 論文のメモに入る. 念の為, 先に書いておくと, (量子) 統計や相転移の物理については田崎さんの本がいいだろう.
作用素環で相転移を扱うという場合, とりあえず量子統計のセッティングで話をする. 特に C∗ (または W∗) 力学系の話になる. そこで分配関数が ζ になる, という方向に持っていく.
以下略
602:１３２人目の素数さん
14/06/29 22:54:53.79
最近リンクばかりはってるけど理解はできてないやつなんなの？
603:１３２人目の素数さん
14/07/05 05:01:30.83
>>602
ども
>最近リンクばかりはってるけど理解はできてないやつなんなの？
１．最近ではなく、ずっと前からだよ
２．それから、”理解”について、こう思うんだ。（参考 URLﾘﾝｸ(ja.wikipedia.org) ）
「アメリカを理解する」ということを考えてみる
ネット検索をするといろいろ情報が得られる。例えば URLﾘﾝｸ(ja.wikipedia.org)
でもね、これ読んで「アメリカを理解した」と言えるかどうか
こんな程度では不足だと、実際に現地に行ってみる。しかし、行ってみても、限りがある
３．だから、人は自分に必要だと思う範囲で「理解した」ということで、日常的には成り立っている。それで良いと思うんだよね
「おれの方が深くアメリカを理解している。おれは１０年アメリカに住んでいる」と、他人のアメリカの理解を批判しても、日常的にはあまり意味ない
その他人にしてみれば、「この程度の理解で当面用は足りる。１０年アメリカに住めば理解は深まるだろうが、非現実的だ」と
４．つまりは、数学にしても、「この程度の理解で当面用は足りる。１０年この分野を研究している人の理解には及ばないだろうが」と。そういうスタンスです
要は、こっちは数学でメシ食っているわけじゃないし、ある程度の知識があって、生活や仕事に困らない程度の理解で間に合う。必要なら掘り下げる
604:１３２人目の素数さん
14/07/05 05:36:57.41
>>603 補足
>最近リンクばかりはってるけど理解はできてないやつなんなの？
１．数学板では、基本的に数学記号不可。ほぼ日常言葉しか使えない
２．そういう環境の掲示板に来て、”最近リンクばかりはってるけど”という批判が意味不明
３．昔、Kummer氏というコテの人が居て、数学の証明を苦労して数学板で書いていた。例えば下記
ｽﾚﾘﾝｸ(math板) 【Kummer's】代数的整数論024【Mathematical Note】
４．で、おれはあるとき、批判したんだよね。発言は過去スレにあるが、確か「数学記号不可の掲示板で、本格的な証明書くのが無理じゃない？」というような
５．２CHと対照的なのが、MathOverflow URLﾘﾝｸ(en.wikipedia.org) こちらは、LaTeXをサポートしているし、Terence Taoが出没している。
６．専門的にやりたいなら、MathOverflow へどうぞ
７．結局、戻るけど、数学記号不可の環境で、リンク貼りは数学的に価値ある情報を伝える大切な手段
８．TeX使えないほぼ日常言葉の板に来て、リンクばかりはってると批判するけど、主張に矛盾を感じるのはおれだけ？
繰り返すが、そういう人は”MathOverflow へどうぞ”と思うよ
605:１３２人目の素数さん
14/07/05 05:41:04.90
>>603
長年アメリカに住んでいる人のほうが
偏見が酷いかもしれない。
バランスは必要だよね。
606:１３２人目の素数さん
14/07/05 07:43:58.46
>>603 補足
>最近リンクばかりはってるけど理解はできてないやつなんなの？
理解について補足
URLﾘﾝｸ(blog.livedoor.jp)
学校では教えてくれない数学 2010年09月04日 ガロア理論を理解していないと思った瞬間（抜粋）
理解していると思い込んでいた私が、実はそうではなかったと思える瞬間がありました。
それは、以下の問題の解答がすぐに出てこなかったときです。
問題
有限次代数拡大Ｌ／Ｋ と Ｇ＝Ａｕｔ（Ｌ／Ｋ）に関して、以下の条件は同値であることを示せ。
（１）Ｌ／Ｋ は 正規拡大 かつ 分離拡大
（２）Ｌ^Ｇ＝Ｋ
（３）[Ｌ：Ｋ]＝｜Ｇ｜
（４）拡大体Ｌ／Ｋ は多項式環Ｋ[Ｘ]内のある分離的多項式の最小分解体
これって基本的ながら重要なポイントを含んでいると思い、ガロア理論を分析しながら見直して、ついてはガロア理論ミニマムの体論部分の抽出へとつながったのでした。
これが見えてくると、いろんなガロア理論の本を読んで、
・この本は分離拡大の記述（分析）がうすいなー
・あの本は、正規拡大の特徴づけの記述が偏っているなー
という比較検討ができて面白く読めるようになってきました。
と同時に、シュタイニッツ、アルチンの偉大さとガロアの思想を今世紀の数学者の多くが伝えきれていないことを痛感させられたのでした。
「（代数系を専門にしている）数学者にだって、ガロア理論の記述・説明は簡単ではない！」
（ガロアが啼いている！）
私が理解していないと思ったとき、何回も読み返しながら理解していった本が次の本です。
足立恒雄 ガロア理論講義[増補版] 日本評論社
607:１３２人目の素数さん
14/07/05 07:50:58.54
>>605
どもです。同意です。
加えて、なんのために知りたい、あるいは理解したいのか
なにか疑問に思ったからでも良いけど
で、さらに加えると、人の知と寿命は有限だから、へんに完璧を目指した理解をしようと努力しても、「アメリカを理解する」を例にしたように実用的ではないとなる場合が多い
608:１３２人目の素数さん
14/07/05 07:54:33.15
>>606
理解について補足の追加
URLﾘﾝｸ(commutative.world.coocan.jp)
ガロア理論のシナリオ あやたろう (2013年10月28日 06:49)
大学時代、将棋部に所属していて、そこにはなぜか数学科の人が多く、何かと付き合うことになった。
そこで聞いた話としては、宮野悟氏のような卓越した人はともかくとして、
平均的な数学科の学生にとって、ガロア理論や、それを応用した、５次以上の代数方程式が、一般的には代数的には解けないということの証明などを理解することが１つの目標で、しかもそれはなかなか困難だということだった。
URLﾘﾝｸ(d.hatena.ne.jp)
hiroyukikojimaの日記 2008-03-27 ガロアの定理をわかりたいならば
数学書の読みやすさとは、人によって違うと思う。
それは、「わかるツボ」というのが人によって違うからだ。幾何的なイメージなしには進むことができない人もいれば、むしろ逆に、非常に形式化されてがちがちに論理的な進み方をしないとわかったような気がしない、という人もいると思う。
だから、何か数学的な知識の必要があった場合、何冊にもチャレンジして自分に合った教科書を探すのがベストだと思う。
ぼくは、数学科のときは代数を専攻したので、ガロア理論は必須の道具であり、一生懸命勉強したのだけど、最終的に「身体でわかった！」というところにたどり着くことができなかった。
おおざっぱには捉えることはできたんだけど、機微が掴めておらず、少なくとも「アタリマエ」になるほどには理解していなかったのである。（ そんなだから数学の道に挫折することになったのだけどね)。
609:１３２人目の素数さん
14/07/05 08:04:24.43
>>606
宮野 悟、小島 寛之氏について補足
URLﾘﾝｸ(ja.wikipedia.org)
宮野 悟（みやの さとる、1954年12月5日 - ）は、日本の遺伝学者[2]、情報科学者。専門は、システム生物学、バイオインフォマティクス。遺伝子ネットワーク探索研究の先駆者として知られる。
1977年九州大学理学部数学科卒、1979年同大学大学院理学研究科修士課程数学専攻修了、1979年同大学理学部助手、1985年同大博士号(理学)取得、Ph.D。「Hierarchy theorems in automata theory(オートマトン理論における階層定理)」[3]
1987年九州大学理学部附属基礎情報研究施設助教授、1993年同研究施設教授を経て[2]、1996年より東京大学医科学研究所ヒトゲノム解析センター教授、東京大学大学院情報理工学系研究科教授。
2000年から2005年にかけて(2003年3月からの1年を除く)、東京大学医科学研究所 副所長。
2013年7月、日本人として初めて ISCB Fellow に選出。[4]
URLﾘﾝｸ(ja.wikipedia.org)
小島 寛之（こじま ひろゆき、1958年 - ）は、日本の経済学者（東京大学博士（経済学））、数学エッセイスト。専門は、数理経済学。帝京大学教授。
東京都生まれ。東京大学理学部数学科卒業。中学生のときから数学者になることを夢見ていたが、大学院入試に3度落第し挫折。
東大を卒業後、塾講師となり中学生に数学を教える。
市民講座で宇沢弘文の講演を聴き（弘文の息子達とは東大数学科の同期生）、経済学と出会う。東京大学大学院経済学研究科へ進学。同大学博士課程満期退学。
2000年帝京大学経済学部専任講師、2004年帝京大学経済学部助教授/准教授、2010年帝京大学経済学部教授。
610:１３２人目の素数さん
14/07/05 08:16:49.57
>>608-609
宮野 悟、小島 寛之氏について補足して、何が言いたいのか？ それは下記
１．どちらも数学科出身だけど、数学以外の分野で活躍している
２．小島 寛之氏の方は、”ガロア理論は必須の道具であり、一生懸命勉強したのだけど、最終的に「身体でわかった！」というところにたどり着くことができなかった。”という
３．宮野悟氏は、ガロア理論を理解する卓越した人だと
４．でも、どっとの行き方もありじゃない？ そのとき、自分が必要と思うだけ勉強して、チャレンジして自分なりに深いところまで理解したと思ったら。
５．戻ると、「おまえリンク貼っているけど理解できてないだろ」>>602と言いたいんだろうけど、「べつにー」「それがどうしたー」と。
６．この分野で論文書くつもりもなく、シャーロックホームズの代わりに読んでいるんで、「これで良いのだー！」と。どっかで、仕事に使えるかもしれんしね
611:１３２人目の素数さん
14/07/05 09:55:56.55
>>610
訂正
４．でも、どっとの行き方もありじゃない？
↓
４．でも、どっちの行き方もありじゃない？
612:１３２人目の素数さん
14/07/05 16:15:39.61
>>610 補足
理解について、普通二つの方策があると思う
一つは、一歩ずつきちんと理解してから次の一歩へ
一つは、分からなくとも先へ進む。先へ進むことで、「あのときのあれは、こういう意味だったんだ」と分かることも多い
普通、この二つを使い分ける
でもね、大学以上、特に社会人になったら、後者のやり方が増える。それで良いと思う。
一つ論文を読む。分からないところがある。別の論文を読む。それで分かる場合も多い。それを繰り返す。
でもあるとき、もう少ししっかり基礎固めをしようと、きちんと自分の理解を一歩一歩固める。
この二つをうまく使い分けることが大事じゃないか
613:１３２人目の素数さん
14/07/05 17:11:59.74
>>601 関連
URLﾘﾝｸ(www.alainconnes.org)
NONCOMMUTATIVE GEOMETRY AND THE RIEMANN ZETA FUNCTION Alain Connesの
P12 ”The C algebra closure of HC is Morita equivalent (cf. M. Laca) to the crossed product C algebra,”
Morita？ 検索すると下記。あまり知られていないが、森田紀一さんすごいね
URLﾘﾝｸ(en.wikipedia.org)
Morita equivalence
In abstract algebra, Morita equivalence is a relationship defined between rings that preserves many ring-theoretic properties. It is named after Japanese mathematician Kiiti Morita who defined equivalence and a similar notion of duality in 1958.
URLﾘﾝｸ(en.wikipedia.org)
URLﾘﾝｸ(www.ams.org)
Arhangelskii, A.V.; Goodearl, K.R.; Huisgen-Zimmermann, B. (June–July 1997), "Kiiti Morita 1915-1995" (PDF), Notices of the American Mathematical Society (Providence, RI: American Mathematical Society) 44 (6): 680–684
URLﾘﾝｸ(ja.wikipedia.org)
森田紀一
URLﾘﾝｸ(pantodon.shinshu-u.ac.jp)
Morita equivalence
Morita 同 値 という 概 念 はどんどんその 適 用 範 囲 を 広 げている 。
元 々 は , 森 田 紀 一 氏 によ っ て [ Mor58 ] で 導入 された 環 の 間 の 同 値 関 係 であるが , 今 や operad や groupoid など 他 の 代 数 的 構 造 や 圏 論 的 構 造 にも Morita 同 値 の 概 念 が 拡 張 さ れ , 盛 んに 使 われている 。