光滑纤维化的特征函数与诱导光滑纤维化

2021-03-09詹妍,赵浩

华南师范大学学报（自然科学版） 2021年1期

詹妍, 赵浩

(华南师范大学数学科学学院, 广州 510631)

纤维化作为复叠映射的推广,在同伦论中对于拓扑空间的同伦群的计算起着非常重要的作用[1]. 自从纤维化的概念提出以来,由于研究目的的不同,已经出现诸如Hurwicz纤维化、Serre纤维化和弱纤维化等各种不同的定义. 1966年,SPANIER[2]在复叠空间理论的基础上对不同的纤维化概念进行了整理,并且给出了纤维化的相关性质. 特别地,在纤维化与上纤维化的等价刻画方面,文献[2]首先给出了升腾函数与收缩函数的概念,并证明了一个映射p:E→B分别是纤维化或上纤维化当且仅当分别存在p的升腾函数与收缩函数；利用这一等价刻画,给出了诱导纤维化的如下相关结论: (1)对任一空间X,映射p:E→B可诱导映射p*:EX→BX(由p*(g)=pg定义),其中EX与BX表示映射空间. 若p是纤维化,则p*也是纤维化. (2)对任一空间Y,映射f:X′→X诱导映射f*:YX→YX′(由f*(g)=gf定义). 若f是上纤维化,则f*是纤维化.

相对于拓扑空间范畴中纤维化的理论,在其他范畴中也有对应的纤维化理论,差异空间范畴[3]便是其中的范畴之一. 在差异空间范畴中,其对象为差异空间,态射为差异空间之间的光滑映射. 差异空间作为光滑流形的推广,最初由SOURIAU[3]提出. 接着,LAUBINGER[4]、LESLIE[5]、WALDORF[6]、KARSHON 和WATTS[7]、PERVOVA[8]、IWASE和IZUMIDA[9]等分别研究了差异空间范畴中的De-Rham上同调、李代数、差异丛、Pseudo-丛、轨形、Mayer-Vietoris 序列等的相关性质. 基于这些已有的研究成果,IGLESIAS-ZEMMOUR[10]系统地给出了差异空间的同伦理论,对这种同伦理论所涉及到的基本概念做了定义,其中包括差异向量空间、差异群、D-拓扑和De-Rham上同调计算等等. HARAGUCHI和SHIMAKAWA[11]研究了差异空间范畴中的模结构,并给出了2个光滑映射f,f′:X→Y之间的光滑同伦的另一定义,即存在X×I到Y的光滑映射H,使得H0=f,H1=f′,且不失一般性地可假设H为tame-同伦. HARAGUCHI[12]给出了光滑CW复形的定义,并对与光滑CW复形相关的同伦扩张性质、胞腔逼近定理和Whitehead定理进行了研究.

在已有研究中,虽然有关差异空间的基本同伦理论得到了较大的发展,但是有关纤维化的一些基本概念与性质尚未得到研究. 本文将利用光滑升腾函数以及光滑收缩函数,对光滑纤维化以及光滑上纤维化做出等价的刻画. 同时,将用这样的等价刻画来证明由光滑纤维化及光滑上纤维化所诱导的映射空间之间的光滑映射即是光滑纤维化.

1 预备知识

本节介绍有关差异空间的一些基本概念与性质.

定义1[10]设X是一个集合,U是欧式空间的开子集,任一映射P:U→X称为X的一个参数化.

定义2[10]设X是一个非空集合,U是欧式空间的开子集.X的一个参数化族DX={f|f:U→X}称为X的一个差异拓扑,如果DX满足以下3个条件:

(1)常值参数化在DX中;

(2)对任一映射P:U→X,若对于U中的任一点u,存在u的一个开邻域V,使得P|V:V→X在DX中,则P在DX中;

(3)对DX中的任一参数化P:U→X和任一欧式空间开子集之间的光滑映射Q:V→U,PQ在DX中.

我们称一个带有差异拓扑DX的集合X为一个差异空间,称DX中的每个成员为X的一个绘标.

定义3[10]给定差异空间X和Y,称映射f:X→Y是光滑的,如果对于X的任意一个绘标P:U→X,fP都是Y的一个绘标.

性质1[10]设X、Y和Z都是差异空间,若f:X→Y和g:Y→Z都是光滑映射,则复合映射gf:X→Z也是光滑映射.

以下介绍几类常见的差异空间及其相关的性质.

定义4[12]设A是X的一个非空子集,i:A→X是包含映射. 若A有一个差异子拓扑

DA={P:U→A|iP:U→DX},

则称A是X的子空间.

注1在本文中,把单位区间I看成的子空间.

定义5[12]设X是差异空间,Y是非空集合,:X→Y是满射. 若Y有一个差异商拓扑:

DY={P:U→Y|对任意rU,存在r的开邻域V与DX

中元素Q:V→X,使得P|V：V→X=Q},

则称Y为X的商空间或X的差异商.

定义6[10]设X和Y都是差异商拓扑空间,令C∞(X,Y)={所有光滑映射f:X→Y},则集合C(X,Y)有一个函数式差异拓扑:

DC∞(X,Y)={P:U→C∞(X,Y)|对任意DX中元素Q:V→Y,

有ψ(P×Q):U×V→DX},

其中，ψ:C(X,Y)×X→Y是赋值映射,定义为ψ(f,x)=f(x).

性质2[10](指数对应法则)设X、Y和Z都是差异空间,且映射空间C(X,Y)、C(X×Y,Z)和C(X,C(Y,Z))都带函数式差异拓扑,则C(X,C(Y,Z))≅C(X×Y,Z).

定义7[10]设H:X×I→Y是光滑同伦,如果存在0<ε<1/2,使得

H(x,s)=H(x,0) (0≤s≤ε)，

H(x,s)=H(x,1) (1-ε≤s≤1),

则称H为tame-同伦.

下面给出光滑纤维化与光滑上纤维化的概念.

定义8[10]设E、B和X都是差异空间. 如果对任一光滑映射f:X→E,光滑同伦G:X×I→B,G0=pf,都存在光滑同伦F:X×I→E,使得F0=f,pF=G(F是G的提升),则称p有关于空间X的光滑同伦提升性质. 把X看成X×{0},设i0:X→X×I是包含映射,则有交换图表:

若对所有差异空间X,p都有光滑同伦提升性质,则称p是光滑纤维化.

定义9[10]设X和Y是差异空间,A是X的子空间. 如果对任一光滑映射f:X→Y,光滑同伦G:A×I→Y,G0=f|A,都存在光滑同伦F:X×I→Y,使得F0=f,F|A×I=G(F是G是扩张),则称f有关于空间X的光滑同伦扩张性质. 设i:A→X是包含映射,则有交换图表:

若对所有差异空间X,f都有光滑同伦扩张性质,则称f是光滑上纤维化.

2 光滑特征函数

下面给出任一光滑映射是光滑纤维化的等价描述.

定理1映射p:E→B是光滑纤维化当且仅当存在p的光滑升腾函数.

证明(充分性)若p是光滑纤维化,定义

(e,ω)e,

((e,ω),t)ω(t).

因为f′是E上的投射,所以f′是光滑映射. 下证F是光滑的.

u((e,ω),t)ω(t).

u((e,ω),t)(e,ω),

u((e,ω),t)t.

u(e,ω)(e,ω)e,

u(e,ω)(e,ω)ω.

于是,对P2:U→IDI和光滑映射l:U→U×U,l(u)=(u,u)(uU),有ψlDB:

u(u,u)(ω,t)ω(t),

即FP=ψlDB.

根据F的定义,F满足F((e,ω),0)=ω(0)=p(e)=pf′(e,ω). 因为p是光滑纤维化,所以存在光滑映射使得F′((e,ω),0)=f′(e,ω)=e和pF′=F. 如以下交换图表:

设f:X→E和G:X×I→B是光滑映射,使得G(x,0)=pf(x). 根据性质2,有光滑映射g:X→BI,g(x)(t)=G(x,t)，则g(x)(0)=G(x,0)=pf(x).

定义F:X×I→E,F(x,t)=(f(x),g(x))(t). 由于(e,ω)、f、g都是光滑的,故F是光滑的,且有F(x,0)=(f(x),g(x))(0)=f(x),pF(x,t)=p(f(x),)〗g(x))(t)=g(x)(t)=G(x,t),即有交换图表:

从而p是光滑纤维化.

设X′与X是差异空间,f:X′→X是光滑映射. 令“～”是X×{0}X′×I上的等价关系:(x′,0)～(f(x′),0),x′X′. 由此有商空间=X×{0}X′×I/～. 令映射p:X×{0}X′×I→为光滑粘合映射,记为p(x′,t)=[x′,t],(x′,t)X′×I,p(x,0)=[x,0],(x,0)X×{0},则存在光滑映射