Inter-universal geometry と ABC予想 7 [転載禁止]©5ch.io
■ このスレッドは過去ログ倉庫に格納されています
0001記憶喪失した男
2014/12/27(土) 21:33:56.94ID:6z6ZzsMzhttp://wc2014.2ch.net/test/read.cgi/math/1413634462/
0652１３２人目の素数さん
2015/02/16(月) 19:12:58.25ID:ExX8rZkr0653１３２人目の素数さん
2015/02/16(月) 19:49:34.90ID:FeYUirzQこんなメモ書きいくらあってもしょーがないじゃん
SGAを既知としてゼロから理解できる本が欲しい
0654１３２人目の素数さん
2015/02/16(月) 21:07:25.46ID:1tkcDMhZ0655１３２人目の素数さん
2015/02/16(月) 23:11:12.01ID:3kJSUbLuthird year PhD student in Princeton, 21 years old, was asked by Faltings (his thesis advisor) to try to prove the
effective form of the Mordell conjecture.17
Not surprisingly, he was not able to prove it during his PhD years. As we know, he took the request of his
supervisor very seriously. In hindsight, it is astounding that almost all his papers are related to the ultimate goal
of establishing the conjectures of 1.3. These efforts over the long term culminated twenty years later in [31]-IV,
as one application of his inter-universal Teichmuller theory
望月さんは院生時代にファルティングスからエフェクティブモーデル予想の証明を託されていた！
残念ながら当時それは実現しなかったが、20年後に結実しただと！
0656１３２人目の素数さん
2015/02/17(火) 02:02:25.08ID:EuRV8arxそうかもしれないです。それがまだ始まりのときやところで
アマチュアであれば少しの事柄で業績や評価を得られます。
0657１３２人目の素数さん
2015/02/17(火) 02:08:23.32ID:EuRV8arxそうだとすれば、望月新一さんは、ファルティングスの秘蔵っ子です。
そのエフェクティブモーデル予想は、望月新一さんが示した現時点の四つの論文
「Inter-universal Teichmuller Theory I-IV」に基づいて、照明されたのですか。
0658１３２人目の素数さん
2015/02/17(火) 02:10:57.61ID:v9z9J4Dk0659１３２人目の素数さん
2015/02/17(火) 02:14:40.77ID:0qxrRSnx0660１３２人目の素数さん
2015/02/17(火) 02:29:54.19ID:EuRV8arx望月新一さんが「Inter-universal Teichmuller Theory I-IV」において気づいた革新は、
リーマンが与えた新しい洞察力と同じような洞察力を数学に新たに付加したりしますか。
数学のbuilding blocks、基本となる構成要素または関係や、
どのような基本的な関係から数学は生成されるのでしょうか。
歴史的には、自然数、整数、有理数、無理数、超越数、・・・が
発見されました。対象の捉え方に、新しい洞察が与えられたのが、
「Inter-universal Teichmuller Theory I-IV」に示された理論、
枠組みまたは構想なのでしょうか。結論を左右する事柄やそれを
構成するcontrolling ideaや着想は、素朴なものだと思います。
もっとも、それを具体化して精密化することは簡単ではないです。
0661１３２人目の素数さん
2015/02/17(火) 02:39:27.00ID:EuRV8arxどのような基本的な関係や事柄から、数学は生成または把握されるのでしょうか。
仮に、それらの一つとして、例えば「スキーム」の概念を挙げることができるときに、
この「スキーム」の概念と同様の働きまたは役割を数学において果たすものとして、
「Inter-universal Teichmuller Theory I-IV」は何を提案しているのでしょうか。
0662１３２人目の素数さん
2015/02/17(火) 02:54:01.32ID:EuRV8arx基本的な関係、事柄や概念は、思うほど多くないと思うし、
仮にそのようなものが存在するのであれば、そのようなものが
典型的に現れた特定の例が見いだされなければ、筋が通らない。
そのような特定の例に気づいたり、その特定の例に現れた着想や
abstract ideaや概念を具体化して精密化したものやそれが現れる
具体例を例えばInter-universal Teichmuller Theory I-IVが仮に
示しているならば、168, 173, 146,および74ページを読む価値が
ないとまではいえないと思います。
もっとも、Inter-universal Teichmuller Theory I-IVの事柄が、
現在の数学が有する知識に対し、本質的ないし実質的に、何も、
新たに付加するものではなく、現在の数学が有する知識を単に
言い換えたに過ぎないのであれば、その限りではありません。
0663１３２人目の素数さん
2015/02/17(火) 03:35:56.00ID:EuRV8arx果実が自然と木から手元に落ちてくるような形式で書かれていて、
果実を木からもぎ取るような形式では、全体的に書かれていません。
これが数学の一般的な構成法なのかは、わかりません。もっとも、
対象や問題が十分に理解されれば、そのような論理構成の論文になる
というのであるなら、それを認めざるを得ないです。
Inter-universal Teichmuller Theory I-IVに働くcontrolling idea及び
Inter-universal Teichmuller Theory I-IVが主張する命題の真偽・結論を
左右する又は基礎づける命題や前提が不完全である、または部分的に誤り
である可能性を我々は十分に否定できません。
確かに、Inter-universal Teichmuller Theory I-IVが主張する命題のうち、
Inter-universal Teichmuller Theory I-IVに働くcontrolling ideaを基礎
づける命題が全て真であり、その証明に結論を左右する本質的ないし実質的
な誤りがなければ、その主張のとおりに従うシナリオが成り立ちます。
しかし、そうではないのなら、Inter-universal Teichmuller Theory I-IV
に働く新奇なcontrolling ideahaは、だまされないで用心しなければならない
危険な感覚ということになります。
0664１３２人目の素数さん
2015/02/17(火) 03:49:50.22ID:EuRV8arx長い間、望月新一さんが数学を研究するのに
よい問題意識を与えることをしたと思います。
能力の高い指導者からすると、この方法は、
能力の高い学生には効果的な指導方法なのかも。
0665１３２人目の素数さん
2015/02/17(火) 04:53:43.76ID:bqY8ADnoそうです
0666１３２人目の素数さん
2015/02/17(火) 05:09:12.37ID:+e6jFkmkいや、後半に書いてある勉強する順番（Topics in Absolute Anabelian Geo 3からはじめろなど）
は結構参考になると思う。
0667１３２人目の素数さん
2015/02/17(火) 09:47:08.44ID:aftvSCHXなんですうがくいたはきちがいばかりなの？おちえてー
0668１３２人目の素数さん
2015/02/17(火) 11:43:40.62ID:2QoZ8+FZ0669１３２人目の素数さん
2015/02/17(火) 11:43:40.87ID:HmoyeA1yじゃあ本文イラネーじゃんｗ
0670１３２人目の素数さん
2015/02/17(火) 12:30:00.52ID:UqZAdOC2927 １３２人目の素数さん [sage] 2015/02/16(月) 21:15:12.85 ID:FeYUirzQ [4/13]
>>925
何が的外れなの？
量的に状況を文字に起こしてタイピング出来ないって言ってるんだけど。
そこかしこ遍在する極めて有名な本だから手元に持ってる方が
お答えしてくれたらいいです。
で、その部分の理解が不十分だから誤植でない可能性があるので
解析概論3版の43節p146の4行目が「q_λ」である理由を
質問させて貰ってるのです。
どこに何が何故見当違いかその根拠がわからないし
手元にない人が無理にお答えしてくれなくていいですよ。
0671１３２人目の素数さん
2015/02/17(火) 14:18:48.02ID:HPU0g9vmID:FeYUirzQ
解析概論スレ見たら完全なキチガイやないか
0672１３２人目の素数さん
2015/02/17(火) 16:04:38.17ID:HmoyeA1y0673１３２人目の素数さん
2015/02/17(火) 20:15:03.79ID:+e6jFkmk>>669
自分で勉強した実体験からのリファレンスリストと考えたら
２７Ｐはそんなに長くないってか、まあそんなものになるんじゃないのか。
小話も面白いのが多いし。（山下さんにIUTeichを勉強しろと勧めたのは俺だ、とか。）
ＳＧＡ既知でいいなら、十分使えると思うけれどな。
例えばAnabelianはPopのサーベイが分かりやすいよとか、ちょっとした解説付きで
説明してくれるし。
0674しっかりしろ！！
2015/02/17(火) 20:24:05.25ID:v9z9J4Dkモチ周辺にいながらやる気ねーだろおまえら
0675１３２人目の素数さん
2015/02/17(火) 20:46:47.91ID:A1mdFwR30676１３２人目の素数さん
2015/02/17(火) 20:47:56.45ID:Kkfrd6Ub0677１３２人目の素数さん
2015/02/17(火) 20:48:21.40ID:Kkfrd6Ub0678１３２人目の素数さん
2015/02/17(火) 20:57:29.75ID:JPu7dXjv自分の研究と雑用でいっぱいいっぱいじゃない？
0679１３２人目の素数さん
2015/02/17(火) 21:13:35.50ID:A1mdFwR3Masatoshi Suzuki (Tokyo) visits in July 2014
Masato Kurihara (Keio University, Tokyo) visits in February 2012
Masatoshi Suzuki (Tokyo) visits in August 2010
Masatoshi Suzuki (Tokyo) visits in August 2008
Hidekazu Furusho (Nagoya) visits in June 2008
Go Yamashita (Kyoto) stays for April 2008-March 2010
Masatoshi Suzuki (Tokyo) November 2007-February 2008
Takashi Taniguchi (Tokyo) July 2005
Teruyoshi Yoshida (Harvard) summer 2005
Masato Kurihara (Tokyo) July-August 2004
Kazuya Kato (Kyoto) April-May 2004
Shuji Saito (Tokyo) April-May 2004
Yasutaka Ihara (Kyoto) March 2004
Kanetomo Sato (Nagoya) October 2003 - September 2004
Jinja Nakamura (Tokyo) April-June 2000
Takako Fukaya (Tokyo) May-June 2000
Masato Kurihara (Tokyo) September 1996
Hiroaki Nakamura (Tokyo) July 1996
https://www.maths.nottingham.ac.uk/personal/ibf/activity.html
https://www.maths.nottingham.ac.uk/personal/ibf/pvisit.html
Fesenko 氏、日本人数学者と共同研究しまくりな件
0680１３２人目の素数さん
2015/02/17(火) 21:39:31.70ID:tCH06cBK0681１３２人目の素数さん
2015/02/17(火) 22:20:54.65ID:xaFURZJp日本語でおけ
0682１３２人目の素数さん
2015/02/17(火) 22:37:55.88ID:qhqpnQXtいとーなんか流行の風見鶏にはいいよ
0683１３２人目の素数さん
2015/02/17(火) 22:53:12.03ID:Vx5hiJWg自らが孤立することは、自らを乏しくします。他者と有意義かつ建設的に関わることは、自らを豊かにします。
望月新一さんが孤立する状況が作られることは、望月新一さんに対して大きな不利益を与えます。
望月新一さんにより提案された理論又は構想若しくは枠組み並びに命題又は主張及び結論又は定理に誤りがないことが確かになってから、
それらの成果を素早く習得して、その習得された知識を選択される問題又は対象に適用し利用して、他者又は望月新一さんよりも素早く
電光石火であっというまに3ブロック先まで行くことが、彼らの目的の一つだと推定されます。
0684１３２人目の素数さん
2015/02/17(火) 23:00:17.56ID:Vx5hiJWgIU-Gを理解しようと試みないでほしいらしいです。例えば、
WlのGrthndckに対する態度のように。
0685１３２人目の素数さん
2015/02/17(火) 23:42:27.81ID:Vx5hiJWg命題2. 命題1.が偽であるらしい場合に、数学を把握又は理解するための
より基本的関係や機能が存在する。
命題2.が真らしい場合には、数学を把握又は理解するためのより基本的関係又は機能の例又は
それが働いている典型的な例として、わたしたちは何を挙げられるか。
また、対象に対してある一定の規則ないしルールがある程度働く場合には、
その一定の規則によるその対象及び規則の振る舞いや機能ないし役割を通して、
わたしたちはその対象を把握又は理解できる場合があり、その規則又は機能
若しくは役割として数や演算を明確に定義できる場合もあります。
わたしたちが対象を認識、理解又は把握するためには、一又は二以上のある一定の思考の形式を
採用する必要があることは、事柄の性質上、必要なことだと思います。
わたしたちは、現時点で、数学が対象とする何事か若しくは何かしらの事物又は事柄を
認識、理解又は把握するために、どのような思考の形式を手にしているでしょうか。
その一又は二以上の思考の形式は、現時点ではそれ以上基本的な関係、機能若しくは
役割又は構成要素から導くことができないものから、そうではないものまであり得る
と思います。
0686１３２人目の素数さん
2015/02/18(水) 00:16:13.49ID:h4Sf7vXR>東大の数論幾何集団は基本的に流行で勝つことをモットーにしてるから
高次元類体論の未来や展望をお聞かせ下さい
0687１３２人目の素数さん
2015/02/18(水) 00:32:42.98ID:h4Sf7vXR>WlのGrthndckに対する態度のように。
WIってなに
2つ目はグロタンディークのことかね
0688１３２人目の素数さん
2015/02/18(水) 00:32:53.92ID:doYfbezcより効果的又はより一般的若しくは普遍的又は適用範囲がより広い、一又は二以上の思考の形式は、
ある段階である特定の例又は具体例がより一般化又は抽象化されることはあったとしても、
何かしらの命題又は主張若しくは問題に関するある特定の例又は具体例と全く無関係に
見出されたことは、ほとんどないといっても良く、また、見出されたものや順番が、
必ずしも、見出される時点の予想や予見又はシナリオのとおりや、後に明らかになった
本来の形やシナリオ又は順番のとおりに見出されたともいえない場合もあると思います。
もっとも、後に対象の全貌が明らかになった際に、当時見出された形、態様や順番が、
なぜそうであったかが明らかになる場合も多く、その意味で、見出される形や態様や順番
には意味があり、次を明らかににする際の手がかりや兆しやサインや痕跡は後から検証すると我々に
明確ではないけれど、確かに我々に示されていた場合も多いと思います。
そして、人はそれほど賢くはなく、命題や問題に関する何かしらの特定の例から全く離れて人が考えるものは、
すぐ枯れる泉であり、知の泉は何かしらの命題や問題に関する特定の例に基づくといえます。
0689１３２人目の素数さん
2015/02/18(水) 00:37:55.44ID:+1rjWl2L0690１３２人目の素数さん
2015/02/18(水) 00:50:29.48ID:doYfbezc調べたら、Andre Weil のことを、業界では、隠語やテクニカルタームとして、
ときどき、A. Wlまたは WlまたはWと、表記や板書するらしいです。
同様に、Alexander Grothendieckは、A. GrthbdckまたはGrthndckまたはGと表記や板書するらしいです。
また、あなたはWかGかと聞けば、それは、数学に対する数学者の態度を聞いているらしいです。
0691１３２人目の素数さん
2015/02/18(水) 00:52:31.97ID:doYfbezcもっちーがそうゆってるんだもん、しようがないじゃんか、ぼくにゆわれても、こまりました。
0692１３２人目の素数さん
2015/02/18(水) 00:56:17.84ID:+1rjWl2Lとにかくさっさとサーベイ出せ、アホ日本人ども！
0693１３２人目の素数さん
2015/02/18(水) 03:49:09.61ID:5PO6Y/x7Edit: New short survey by Ivan Fesenko :
" This text is expected to help its readers to gain a general overview
of the theory and a certain orientation in it, as well as to see various
links between it and existing theories. Together with several mathematicians,
we hope to organise a workshop in Europe, as well as an international
conference in Kyoto in the summer of 2016. Feel free to contact me if you are
interested to seriously study this work."
0694１３２人目の素数さん
2015/02/18(水) 12:25:36.87ID:h4Sf7vXR>別に表現論からアプローチしたっていいだろアホか
散発的過ぎるんだよきっと
幹線道路を敷くにはやっぱり物足りなさそう
>>690
サンクスです
自分も今のラングランズ1本やりは何か違うと思う
0695１３２人目の素数さん
2015/02/18(水) 14:20:04.29ID:o7aWq/Teなんでラングランズ1本やりは何か違うと思うの？
0696１３２人目の素数さん
2015/02/18(水) 17:07:48.35ID:0Mbvyy6h0697１３２人目の素数さん
2015/02/18(水) 20:05:31.01ID:h4Sf7vXR0698１３２人目の素数さん
2015/02/18(水) 22:05:38.97ID:n0rfhDZT0699１３２人目の素数さん
2015/02/19(木) 00:54:29.99ID:RjtgrEHPのは結構大変な気がする。単純に院生の分野選択の問題だとあんまよくない気も。
Fesenkoのサーベイとかを読むと、Langlands programとAnabelianの関係とか
AnabelianとF1の関係とかは重要な研究対象って言っているし、何にも出ないわけ
じゃないと思うけれど。Mokも下のを読むとその辺に興味があるみたいね。
http://www.mcm.ac.cn/faculty/cpmok/201409/W020140919361503659783.pdf
0700７００
2015/02/19(木) 01:42:19.32ID:8ynDc+EL表現論こそ数学の王道なのだよ、分かるかい？
0701１３２人目の素数さん
2015/02/19(木) 02:31:49.38ID:riJvM29k0702１３２人目の素数さん
2015/02/19(木) 03:33:35.51ID:xH0p7wQF0703１３２人目の素数さん
2015/02/19(木) 04:28:34.93ID:njftosmWさっさと Galois 圏と淡中圏を統一して宇宙際レベルの数学へアセンションしようぜ〜。
0704１３２人目の素数さん
2015/02/19(木) 04:34:53.93ID:qpd5ErIKここにいるハイレベルな人達に是非聞きたい
0705１３２人目の素数さん
2015/02/19(木) 05:16:22.34ID:8ynDc+EL生きるために数学するのだよ、分かるかい？
0706１３２人目の素数さん
2015/02/19(木) 05:29:16.31ID:qpd5ErIKそれは金銭を得るための仕事ということですか？
0707分かるかい？
2015/02/19(木) 05:34:57.73ID:8ynDc+ELそういうことではないのだよ
世の中すべては数学なのだよ
0708１３２人目の素数さん
2015/02/19(木) 05:50:45.46ID:qpd5ErIK曖昧すぎてよくわかりません
0709１３２人目の素数さん
2015/02/19(木) 06:03:23.91ID:63seExoJ生きる＝数学
だ
数学をすることが生きる営みだということ
0710１３２人目の素数さん
2015/02/19(木) 06:36:53.84ID:qpd5ErIKそれならよくわかります
ではなんで生きる=数学だと思いますか？
0711１３２人目の素数さん
2015/02/19(木) 10:27:13.79ID:kk06G9vyその質問をするということは君には数学の適性が一切ないということ
直ぐにここから去って自分に合ったものを見つけないと時間を浪費するよ
0712１３２人目の素数さん
2015/02/19(木) 10:47:58.04ID:qpd5ErIKあなたの意見を聞きたいなと思っただけですよ
あなたにはコミュニケーション能力が一切ないですね
0713１３２人目の素数さん
2015/02/19(木) 13:03:56.30ID:dumP3ars面白いからだよ。
0714１３２人目の素数さん
2015/02/19(木) 23:08:52.70ID:pQ/Sxmob0715１３２人目の素数さん
2015/02/19(木) 23:09:39.39ID:y7ehQuXU0716１３２人目の素数さん
2015/02/19(木) 23:10:56.02ID:FTC0MBLJ0717１３２人目の素数さん
2015/02/20(金) 03:28:38.66ID:hSRb10Y40718１３２人目の素数さん
2015/02/20(金) 07:22:53.66ID:Y4bTdsQy思うに、ラングランズプログラムに代表されるような表現論的なアプローチは、確かに現代数論の大きな研究の流れの一つですが、
数論におけるすべての本質的な現象はその傘下に入る、あるいはその特別な場合にあたるといったような考え方は様々な重要な
数論的事象の実態と整合しないものであると理解しております。
この種の問題への有効な対応に最も必要なものは、教科書等の勉強による新しい知識の導入というよりも、寧ろ苦労しているという
研究者が以前から脳に取り入れ、長年にわたり固定したまま空気のように当たり前に常用している様々な思考回路を一旦解除し、
頭を言わばまっさらな状態にした上で、学生や初心者のように原始的な論理思考のみを頼りに基礎に立ち返って物事を考える姿勢を
徹底することではないでしょうか。
理論について肯定対否定という対立軸を認識させられることは一切ないとは言いませんが、その軸よりも寧ろ、述べられている意見が
厳密かつ適切な数学的理解の上に成り立っているものかどうかという軸こそ本命ではないかと感じさせられる場面にしばしば遭遇します。
第三者でも検証できるように、背景にある数学的な議論や根拠等と共にネット上で公開しＩＵＴｅｉｃｈに関する論点の整理を図る
努力を図る時期に入ったのではないかと強く感じております。
0719１３２人目の素数さん
2015/02/20(金) 07:23:46.01ID:Y4bTdsQy0720１３２人目の素数さん
2015/02/20(金) 07:32:53.34ID:Y4bTdsQy・Ivan Fesenko氏による、IUTeichに関するサーベイ
もっちーも、その存在は知っているみたいです。
Galois圏と淡中圏とを統一的に理解し、ある対象からGalois圏と淡中圏とを再解釈できる場合には、
そのような場合を典型的に示す、命題又は論点に関する何かしらの特定の例又は具体例が存在するか、
又は明確に意識されるばずだと思います。そのような場合には、Galois圏と淡中圏とを統一的に理解し、
ある対象からGalois圏と淡中圏とを再解釈することができると思います。
その時に数学は革新的な変化を経験すると思いますし、それは当時のガロワのような経験をした者が、
何かしらの命題又は論点に関する何かしらの特定の例又は具体例を問題意識として持っていた結果だと思います。
0721１３２人目の素数さん
2015/02/20(金) 08:08:11.75ID:Y4bTdsQyＩＵＴｅｉｃｈの基本的な考え方は、そのような表現論的なアプローチに則っているものではない。
Ｗｅｉｌｓの１９９５年の有名な有理数体上の楕円曲線に関する仕事の場合、有理数体以外の特殊な性質を持った数体等への様々な
拡張や一般化が後になって他の研究者によって成し遂げられたが、ＩＵＴｅｃｉｈの場合、同様な拡張や一般化による研究ができる
見込みがない。ちなみに、よく知られているように、Ｗｅｉｌｓの仕事は正に表現論的なアプローチの代表格といってよい。
0722１３２人目の素数さん
2015/02/20(金) 15:06:44.02ID:TWwh52sl>>720
面白いことを言いますね。
0723１３２人目の素数さん
2015/02/20(金) 15:14:55.88ID:kj4c1Nbo0724１３２人目の素数さん
2015/02/20(金) 15:19:35.99ID:hSRb10Y4そうすれば、類対論やラングランズ予想との関連もはっきりしてくる
0725１３２人目の素数さん
2015/02/20(金) 15:25:38.10ID:HYddNScE0726１３２人目の素数さん
2015/02/20(金) 17:19:23.58ID:Hg4rhxzw表現論的に、部分的に偶然うまく行っていた話を
幾何的に統一的に還元して
テイラー・ワイルズのテクニカル過ぎる手法に印籠を渡すべき。
0727１３２人目の素数さん
2015/02/20(金) 17:21:47.59ID:Hg4rhxzw0728１３２人目の素数さん
2015/02/20(金) 17:32:14.93ID:KLiBBVzx引導を渡す
0729１３２人目の素数さん
2015/02/20(金) 17:35:05.23ID:lFIPZWQCGalois 圏と淡中圏と統一する研究って現在なされているんでしょうか？
また、Galois 圏と淡中圏とを統一しようとするにあたって、>>720 が言ような具体問題意としてどのようなものが考えられるのでしょうか？
0730１３２人目の素数さん
2015/02/20(金) 17:35:13.66ID:HYddNScE0731１３２人目の素数さん
2015/02/20(金) 18:25:36.99ID:N7SQ6jaS0732１３２人目の素数さん
2015/02/20(金) 21:00:32.03ID:HC3NCmHK具体的問題意識
0733１３２人目の素数さん
2015/02/20(金) 21:29:32.81ID:hSRb10Y40734１３２人目の素数さん
2015/02/20(金) 21:33:34.50ID:qTURBJGV0735１３２人目の素数さん
2015/02/20(金) 21:36:39.98ID:AsXQdUD60736１３２人目の素数さん
2015/02/20(金) 21:40:36.45ID:Z0FzxlCx0737１３２人目の素数さん
2015/02/20(金) 21:54:49.36ID:wJvzHVUW最先端の数学について語ろうかな
まずは高次圏
まー考案者は主にグロタンディ会苦
0738１３２人目の素数さん
2015/02/20(金) 22:02:47.02ID:JGXBlA0K0739１３２人目の素数さん
2015/02/20(金) 22:06:41.87ID:JGXBlA0Khttp://www.kurims.kyoto-u.ac.jp/~motizuki/research-japanese.html
0740１３２人目の素数さん
2015/02/20(金) 22:22:30.76ID:hww3iT2Rhttp://bbs.progrider.org/prog/read/1422075312/1-14
http://bbs.progrider.org/prog/
0741１３２人目の素数さん
2015/02/20(金) 22:43:59.01ID:hSRb10Y40742１３２人目の素数さん
2015/02/20(金) 22:52:23.51ID:Bcxfv59C0743１３２人目の素数さん
2015/02/20(金) 22:56:47.42ID:td4CO9BA0744１３２人目の素数さん
2015/02/20(金) 23:08:32.01ID:Z0FzxlCx0745１３２人目の素数さん
2015/02/20(金) 23:09:43.10ID:wJvzHVUWルーリーとかホプキンスとかバエズって感じがする
あとロベルトブラウンとかね！
ルーリーはやっぱすごい高次トポスとか高次代数とか
高次代数はこんしぇヴィっ地がオペラッド理論とかで研究しやすくしてくれた
高次代数には普遍代数とかあるけど
これもまた群のパラメーター制御を可能にする理論を展開する劇矢場理論
http://o.8ch.net/5c7.png
0746１３２人目の素数さん
2015/02/20(金) 23:17:33.56ID:Yi7Gv82oよくわからんってところは似ている
0747１３２人目の素数さん
2015/02/20(金) 23:17:48.70ID:AsXQdUD6http://o.8ch.net/5c8.png
0748１３２人目の素数さん
2015/02/20(金) 23:19:33.40ID:wJvzHVUWトロピカル曲線があるね
これもコンシェのオペラドのおかげで扱えるようになってきた
際物感はぬぐえないけど
http://o.8ch.net/5c9.png
0749１３２人目の素数さん
2015/02/20(金) 23:35:39.86ID:wJvzHVUWなにしろ米田の補題の一般化がおきて証明に200ページを要する
いくつも作れる高次圏の統合を図るとはいえ、当初の予想を超えた複雑な理論になっている
ルーリーの高次圏は擬圏とよばれていて関手の次元で圏の次元を決定してる
負の次元を考えたやつもいるよ・・・
http://o.8ch.net/5cb.png
0750１３２人目の素数さん
2015/02/20(金) 23:38:36.58ID:2QB5E4m2http://o.8ch.net/5cc.png
0751１３２人目の素数さん
2015/02/20(金) 23:39:59.36ID:2QB5E4m2■ このスレッドは過去ログ倉庫に格納されています