Inter-universal geometry と ABC 予想 45

[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 45 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

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

481: １３２人目の素数さん [sage] 2020/03/27(金) 21:03:40.74 ID:PNCnIYnC

https://openpayrolls.com/university-college/university-of-arizona/page-341
2019 Kirti N Joshi Associate Professor (Mathematics) University Of Arizona (UA)
https://openpayrolls.com/kirti-n-joshi-66718283
Kirti N Joshi (2019)
Pay, Salary, Benefits Information
Base/Regular Pay
$79,153

https://arxiv.org/search/advanced?advanced=&terms-0-operator=AND&terms-0-term=kirti+joshi&terms-0-field=author&classification-mathematics=y&classification-physics_
archives=all&classification-include_cross_list=include&date-filter_by=all_dates&date-year=&date-from_date=&date-to_date=&date-date_type=submitted_date&abstracts=hide&size=50&order=-announced_date_first
Showing 1?42 of 42 results
1.arXiv:2003.01890  [pdf, ps, other]  math.AG math.NT
On Mochizuki's idea of Anabelomorphy and its applications
Authors: Kirti Joshi
Submitted 3 March, 2020; originally announced March 2020.

3.arXiv:1906.06840  [pdf, other]  math.AG math.NT
Mochizuki's anabelian variation of ring structures and formal groups
Authors: Kirti Joshi
Submitted 10 December, 2019; v1 submitted 17 June, 2019; originally announced June 2019.

28.arXiv:0912.3602  [pdf, ps, other]  math.AG
Hitchin-Mochizuki morphism, Opers and Frobenius-destabilized vector bundles over curves
Authors: Kirti Joshi, Christian Pauly
Submitted 15 January, 2015; v1 submitted 18 December, 2009; originally announced December 2009.

35.arXiv:math/0110068  [pdf, ps, other]  math.AG math.NT
A remark on potentially semi-stable representations of Hodge-Tate type (0,1)
Authors: Kirti Joshi, Minhyong Kim
Submitted 5 October, 2001; originally announced October 2001.
Comments: AMSLaTeX; to appear in Math. Zeit
Journal ref: Mathematische Zeitschrift 241 no. 3, Pages 479--483 2002

アマゾン/Elliptic-Curves-R-V-Gurjar/dp/8173195021
Elliptic Curves (英語) ハードカバー ? 2006/5/30
R. V. Gurjar (著), Kirti Joshi (著), Mohan Kumar (著)

http://rio2016.5ch.net/test/read.cgi/math/1582883006/481

490: １３２人目の素数さん [sage] 2020/03/28(土) 09:22:59.12 ID:MRwZqC/h

>>471
>それくらい普遍性のある理論かどうかが問題なんだから
>あと、応用の広さを強調する割に部分的な小さい成果を発表してないのも異常だし

女子
https://arxiv.org/abs/2003.01890
”On Mochizuki’s idea of Anabelomorphy and its applications Kirti Joshi March 5, 2020”
Abstract: Shinichi Mochizuki has introduced many fundamental ideas in his work, amongst one of them is the foundational notion, which I have dubbed anabelomorphy (pronounced as anabel-o-morphy).
I coined the term anabelomorphy as a concise way of expressing "Mochizuki's anabelian way of changing ground field, rings etc."
The notion of anabelomorphy is firmly grounded in a well-known theorem of Mochizuki which asserts that a p-adic field is determined by its absolute Galois group equipped with its (upper numbering) ramification filtration.
In this paper I provide a number of results which illustrate the usefulness of Mochizuki's idea.

https://arxiv.org/pdf/2003.01890.pdf
26 Perfectoid algebraic geometry as an example of anabelomorphy 61
Now let me record the following observation which I made in the course of writing [Jos19a] and [Jos19b]. A detailed treatment of assertions of this section will be provided in [DJ] where we establish many results in parallel with classical anabelian geometry.

27 The proof of the Fontaine-Colmez Theorem as an example of anabelomorphy on the Hodge side 62
Let me provide an important example of Anabelomorphy which has played a crucial role in the theory of Galois representations.
The Colmez-Fontaine Theorem which was conjectured by Jean-Marc Fontaine which asserts that “every weakly admissible filtered (φ, N) module is an admissible filtered (φ, N) module” and proved by Fontaine and Colmez in [CF00].

28 Anabelomorphy for p-adic differential equations 64
This section is independent of the rest of the paper. A reference for this material contained in this section is [And02].

http://rio2016.5ch.net/test/read.cgi/math/1582883006/490

503: １３２人目の素数さん [sage] 2020/03/28(土) 19:51:50.93 ID:MRwZqC/h

>>501

「山田クン！座布団1枚持っていって！」

https://f-navigation.jp/column/life/887.html
facebook navi
幸せと座布団を運び続けて31年！笑点・山田クンが語る「継続する先に見えるもの」 2015/12/02
■「山田クン！座布団1枚持ってきて！」（取材・文：山葵夕子　撮影：ヒダキトモコ）
(抜粋)
日曜の夕方、「笑点」だけは子供の頃から見続けている。テレビの向こうには昔も今も変わらずにニコニコしながら座布団を運び続ける”山田クン”。どこかほっとする反面、幸せと座布団を運び続けて31年なんて、どうしたら継続できるのかと不思議に思ってしまう。

山田クンこと、山田たかおさんの著書「山田クンとざぶとん」（双葉社）や「ボクに運が巡ってくる55の理由」（廣済堂出版）を開けば、その多才さにまず驚かされる。
元スーパーアイドルで、落語家として寄席にも出れば、スピルバーグの映画に出演した経験も。運動神経も抜群でプロボクサーの資格を持ち、卓球の腕前も世界ベテラン卓球選手権に出場するほど。
なおかつ不動産の才もあり、マンション2棟を所有するオーナーでもある。それというのも、すべては「座布団芸」という、山田たかおさんの代名詞とも言える芸があるからだ。

https://imgcp.aacdn.jp/img-a/600/auto/fb-navi/column/2015/12/30202d90f29ab0ea45fcb554bbeeaa74.jpg

プロデューサーのすすめで、6代目座布団運びに起用された直後からお辞儀の仕方や歩き方を学ぶために日本舞踊は習っていたのですが、挨拶コンプレックスを克服するために落語を一から学びたいと思いました。それで当時の落語協会会長の鈴々舎馬風（れいれいしゃばふう）師匠に「弟子にしてください」と頭を下げて、一門入りすることにしたのです。

ところが、笑点のプロデューサーやディレクターに報告する前に、馬風師匠が新聞記者に話してしまったものだから、次の日にはドドーンと一面に「山田隆夫、鈴々舎一門入り！」と掲載されてしまって大騒ぎに。

http://rio2016.5ch.net/test/read.cgi/math/1582883006/503

520: １３２人目の素数さん [sage] 2020/03/29(日) 08:54:42.58 ID:PhmwLbdr

>>517
>あと4色問題は理論ですらない
>(コンピューターを使うと)しらみつぶしで証明できてしまったってだけ

分かってないな
「4色問題」は、”一松信『四色問題 どう解かれ何をもたらしたのか』講談社〈ブルーバックス B-1969〉、2016”にも、書いてあったと思うが
おそらく、「コンピュータを使用しない証明は、得られない！」 最初の例になるのではないかといわれている
「4色問題」は、これはこれで意義があると思う。定理証明系Coqなどにも繋がっている
そういう意味で、「コンピュータしらみつぶし」証明の歴史を開いた意義があると思う
（なお、よく言われるのが、自然数ｎに関連する定理で、一般論が通用ぜず、n=３，４，５辺りが例外事象が多く、証明が難しくなることがあると）

（参考）
https://ja.wikipedia.org/wiki/%E5%9B%9B%E8%89%B2%E5%AE%9A%E7%90%86
(抜粋)
厳密ではないが日常的な直感で説明すると「平面上のいかなる地図も、隣接する領域が異なる色になるように塗り分けるには4色あれば十分だ」という定理である。

歴史
1976年にケネス・アッペル とヴォルフガング・ハーケンは、コンピュータを利用して約2000個の（後に1400個あまりに整理された）可約な配置からなる不可避集合を見出し、四色定理を「証明」するに至った
人手による実行が（事実上）不可能なほどの複雑なプログラムの実行によるものであることから、ハードウェアやソフトウェア（コンピュータやそのプログラム）のバグの可能性などの懸念から、その確実さについて疑問視する向きもあった。
2004年にはジョルジュ・ゴンティエ (Georges Gonthier) が定理証明系Coqを用いて、よりシンプルな証明を行う

証明
複雑に思える問題に対して簡潔にまとまった比較的短い証明（解答）を、エレガントな証明（解答）と言うことがある。
四色定理のある種「力業な証明」は、これと対極にあるものとして揶揄を込めて「エレファント（象）」な証明とも言われた。
5色による塗り分けが可能であることの証明が簡潔なものであるのと対照的である。

現在でもコンピュータを使用しない証明は得られていない
それどころか完全に自然言語を離れて、プログラムにバグがないことも含めた四色定理の証明全体をコンピュータに打ち込んで証明検査器Coqにチェックさせた仕事がある

http://rio2016.5ch.net/test/read.cgi/math/1582883006/520

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

あと 459 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.019s