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

博文

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

已有 466 次阅读 2019-11-10 16:52 |个人分类:心路里程|系统分类:科研笔记

 

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

随机温习...
(接前: 05b 05a 03) “机甲大战” (Pro5.9) 的证明.
.
Step3.
  由构造 (W, Γw) klt.
---- 这一点似不显然.(?)
.
评论: 该与 Γw 的构造有关, 但看不出如何推导.
.
  在 Kw + Γw 上运行 MMP, 令 Y' 为所得模型.
---- 运行 MMP 的场合可作为“专题”考察.(?)
---- 通常在像空间做MMP.(?)
.
  因 Kw + Γw ≡ G/X, 由负性引理 ==>
MMP 压缩G的正分量 ==>Y' --> X o.c. 同构.
.
推理: 由Step2, Kw + Γw=ψ*(Kx + (1 + v)U)+G
==> ψ*(Kx + (1 + v)U) + G = G/X
(看上去 ψ* 项被 “吸收” 到 G/X 里头了).
---- 此公式的来源是什么, 如何推导 
.
  又由 Kw + Fw = vU~ + F/X,
   及 T 不是 vU~ + F 的分量
==> MMP 不压缩 T.
---- 但 T 出现在G的表达式中, 怎么说?
---- 该是那里判断不出, 但由此处 a' - eps' ≤ 0. ?
.  
评论: 从上两段可看出 Step2 讨论 Kw + Fw 两种形式的缘由.(以及引入 U + vU 的缘由).
.
  由极端射线的长度有界[17]和基点自由定理
==> KY' + ΓY' + 2dAY' semi-ample (全局地).
---- KY' + ΓY' + 2dAY' 是 2-团(Step4 多次用到)
.
简记: [eR] + bpf ==> 2-团(Y') s.a.
.
小结: (W, Γw) klt 引导 MMP, 得 2-团.

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


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

上一篇:亚洲人的思维模型
下一篇:“机甲大战”的证明(d)

2 郑永军 李学宽

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

数据加载中...

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

GMT+8, 2019-12-6 06:04

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部