我算故我在分享 http://blog.sciencenet.cn/u/metanb

博文

“机甲大战”的证明(c+d+)

已有 392 次阅读 2019-11-12 21:39 |个人分类:心路里程|系统分类:科研笔记

                                                       This is an in-mail from TYUST.

                     新入の者--> What is going on ? (redirected)new
                               
本期开始分组发送邮件,搭载数学类学院等链接
今日学院:暂无。||新闻+ ||.... Perfectoid ᴺᴱᵂ....[路过]ᴺᴱᵂ

随机温习...
(接前: 11 10 05b) “机甲大战” (Pro5.9) 的证明.
.
Step3. 概述.
1. (W, Γw) klt ~> MMP(Kw + Γw) ~> Y'.
2. Kw + Γ G/X ~> Y' --> X o.c. 同构.
(G 提示 MMP 压缩正分量, “正” 提示负性引理).
3. Kw + Γw ≡ (1 + v)U~+ F/X ~>MMP不压缩 T.
((1 + v)U~+ F 提示 T 不是其分量, 压缩不着).
4. [eR] + bpf ~> 2-团(Y') s.a.
.
评论: 3.1的输出 Y' 恰好着落 2-团.
.
Step4. 概述.
1. 令φ: Y --> X ebc T.
2. 则 Y --> Y' 非压缩, o.c. 同构 (over X).
--
3. 令 C 为 Y 上的曲线.
* 假定 C 压缩 (over X) ~> C 生成 eR(Y --> X).
4. a(T, X, B)≥ eps > eps' =a(T, X, U) ~> μTφ*tL ≥ eps - eps'
5. L~·C > 0 (T·C < 0).
6.2-团·C= 国·C = vU~·C ≥ vtL~·C> 0.
* 假定 C 压缩 (over X)
7. Y' --> Y 同构(over g.p.C), 2-团(Y') s.a. ~>  2-团·C > 0.
--
8. 2-团 nef, 并在eR(Y-->X)上正.
9. A v.a. ~> 3-团 a.(因正截交Y上每个eR).
.
评论: 主空间为 Y, 着落 3-团.
.
小结: Step3 起于 “方” (W, Γw) klt, 而Step4 起于“法”φ: Y --> X.

 符号大全上下标.|| 常用:↑↓ π ΓΔΛΘΩμφΣ Ø∈  ∪ ∩ ⊆ ⊇ ⊂ ⊃ ≤ ≥ ⌊ ⌋ ⌈ ⌉ ≠ ≡ ⁻⁰ ¹ ² ³ ᵈ ₀ ₁ ₂ ₃ ᵢ .


http://blog.sciencenet.cn/blog-315774-1205922.html

上一篇:“机甲大战”的证明(d)
下一篇:人工智能的数理基础?

1 伍赛特

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备14006957 )

GMT+8, 2019-12-6 18:02

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部