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

博文

“做数学要有一股傻劲和拼劲。”

已有 1709 次阅读 2019-2-15 13:43 |个人分类:心路里程|系统分类:科研笔记

 

                                                     This is an in-mail from TYUST.
              新入の者--> What is going on ? (redirected) new
                               
本期开始分组发送邮件,搭载数学类学院等链接
今日学院:数学科学学院(浙江大学)。新闻|| 新闻+ || 符号大全上下标.|| 常用:↑↓ π ΓΔΛμφΣ∈ ∪ ∩ ⊆ ⊇ ⊂ ⊃ ≤ ≥ ≠ ⁰ ¹ ² ³ ᵈ ₀ ₁ ₂ ₃ ᵢ .

“做数学要有一股傻劲和拼劲。”
(接上回 ) 证明的温习:第四段.
---- 前两段构造了态射 π.
---- 即 Ox(A) 到 Opd(1) 的满射.
---- 第三段揭示基本对应关系.
---- 得到公式:π⁻¹{z} = ∩R.
.
第四段的任务:证明 π is étale over z
---- z 是 Opd(1) 中超平面 H 的交.
---- 或者用公式表示:z = ∩H =(1:0:...:0).
---- 超平面 Hᵢ 也是Opd(1) 中的 zero divisor.
.
证明的要点:
1. 从 π⁻¹{z} 出发.
2. 从中任取点 y.
3. 恰好且显然 y∈ ∩R.
4. Rᵢ “坐” 在 ∩R 的点上.
5. 即 R “坐” 在 y 上.
6. {α} 在 Oy 内的像给出 y 处的局部参数集.
7. {t}  在 Oz 内的像给出 z 处的局部参数集.
8. 6,7 ==> π is étale at y. (根据Lem2.21*). 
9. π is étale over z.
.
注释:
4. “坐” 是指“smooth and intersect transversely”.
---- 原作未具体说明,推测是基本知识.
5, 6. 5 ==> 6. 
----  原作未具体说明.
6, 7. 这里是考虑了一个“commutative diagram”:
H(Ox(A)) <---- H(Opd(1))
       ↓                         
      Oy      <----          Oz
---- 本来 π 是 Ox(A) 到 Opd(1) 的映射.
---- 原作又引入了H, 作用到上述两个集合.
---- 这两个集合在H下的像成了反向对应.
---- 其中,Oy 和 Oz 的来由未作明显说明(?).
考虑上述“commutative diagram”的“基形式”:
H} <---- H{t}
                    
[ αᵢ ]y <----  [ tᵢ ]z      其中,
[ αᵢ ]表示“the images in Oy of the sections α1...αd”. 
[  tᵢ ]表示“the images in Oz of the sections  t1... td”.
---- 恰好,[ αᵢ ]y 和 [ tᵢ ]给出了相应的局部参数集.
(原作没有方括号记号,这里方便起见引入).
9. 原作未作推导,直接得出此结论(?).
.
小结:第四段温习完毕.
---- 此段证明可看做 对 z-核 的发掘.
---- 表现为“π is étale over z”.


https://blog.sciencenet.cn/blog-315774-1162331.html

上一篇:数学命题的证明要倒过来看。
下一篇:“我去了哈佛...对如何做研究还是没有头绪。”
收藏 IP: 223.11.176.*| 热度|

2 李颖业 张忆文

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

数据加载中...
扫一扫,分享此博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-3-29 15:56

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部