Inter-universal geometry と ABC予想 28

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

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

224: １３２人目の素数さん [sage] 2018/06/14(木) 13:29:20.03 ID:Tkc3gSqt

>>216
Goのサーベイの356〜361ページ
http://www.kurims.kyoto-u.ac.jp/~gokun/DOCUMENTS/abc2018May28.pdf
The Θ×µ LGP-link 0,0HT  Θ ×µ LGP −→ 1,0HT  induces the full poly-isom
0,0F I×µ LGP full poly ∼→ 1,0F I×µ ∆ of F I×µ-prime-strips, which sends
Θ-pilot objects to a q-pilot objects. By the Kummer isomorphisms, the 0,0-labelled
Frobenius-like objects corresponding to the objects in the multiradial representaion
of Theorem 13.12 (1) are isomorphically related to the 0,◦ -labelled vertically coric
´etale-like objects (i.e., monoanalytic containers with actions by theta values,
and number fields) in the multiradial representaion of Theorem 13.12 (1).
After admitting the indeterminacies (Indet xy), (Indet →), and (Indet ↑),
these (0, ◦)-labelled vertically coric ´etale-like objects are isomorphic
(cf. Remark 11.1.1) to the (1, ◦)-labelled vertically coric ´etale-like objects.
Then Corollary follows by comparing the log-volumes (Note that log-volumes
are invariant under (Indet xy), (Indet →), and also compatible with log-Kummer
correspondence of Theorem 13.12 (2)) of (1, 0)-labelled q-pilot objects (by the
compatibility with Θ×µ LGP-link of Theorem 13.12 (3)) and (1, ◦)-labelled
Θ-pilot objects, since, in the mono-analytic containers (i.e., Q-spans of log-shells),
the holomorphic hull of the union of possible images of Θ-pilot objects subject to
indeterminacies (Indet xy), (Indet →), (Indet ↑) contains a region which is
isomorphic (not equal) to the region determined by the q-pilot objects (This
means that “very small region with indeterminacies” contains “almost unit region”).

http://rio2016.5ch.net/test/read.cgi/math/1528525603/224

225: １３２人目の素数さん [sage] 2018/06/14(木) 13:36:27.58 ID:Tkc3gSqt

>>216
星のサーベイの36ページ
http://www.kurims.kyoto-u.ac.jp/~yuichiro/intro_iut.pdf
さて, これまでその説明を行ってきた主定理から, 以下のような議論によって, 我々の目標
であった| deg L | の何らかの上からの評価 35 を得ることができます. (iii) で議論されている
図式 を出発点としましょう. ここで, 用語の導入ですが, qパラメータ qE によって定義される
数論的直線束 (つまり “L”)を q 標対象 と呼びます. また, テータ値(=(q j 2/2l E )j=1,...,(l−1)/2)
によって定義される数論的直線束 (つまり, これまでの我々の議論において, “L ⊗N ” の役割を
果たす数論 的直線束) (に対応する数論的直線束のなす適当な圏の対象) を Θ 標対象 と呼びます.
この用語を用いて, 上述の我々の目標を改めて述べれば, それは, | deg(q 標対象)| の何らかの
上からの評価 となります. まず最初に, Θ リンクによって, “† 側” の Θ 標対象は “‡ 側” の
q 標対象と対応することになります:†Θ標対象 ←→ ‡q 標対象. また, 主定理のアルゴリズム
によって, (Ind1), (Ind2), (Ind3) のもと, “†側”のΘ標対象は “‡側”のΘ標 対象と対応することに
なります: †Θ 標対象 (Ind1, 2, 3)↷←→‡Θ標対象. したがって, これら 2 つの対応を併せることで,
結論として, “‡側”のq標対象が同じく“‡ 側”のΘ標対象の “(Ind1), (Ind2),(Ind3) による軌道の和集合
(の, 正則包 (holomorphic hull)に含まれることになります: ‡q標対象⊆(∪(Ind1, 2, 3)‡Θ標対象)
の正則包. つまりq標対象の体積は, Θ標対象の “(Ind1), (Ind2), (Ind3) による軌道の和集合” (の,
厳密には, 正則包)の体積以下であるという結論が得られました:
| deg(q 標対象)| (=−deg(q標対象))≥−vol(Θ標対象の不定性による軌道の和集合の正則包).
これにより, 我々の目標であった “| deg L | ≥ | deg L ⊗N | − C” というタイプの不等式
— §4 の前半の議論 を参照 — を得ることができました.

http://rio2016.5ch.net/test/read.cgi/math/1528525603/225

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

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

ぬこの手ぬこTOP 0.044s