高次Koszul复形

推广了Koszul复形以及Koszul代数,引入了高次Koszul ( t -Koszul)复形和高次Koszul (t-Koszul)代数的概念, 其中t为不小于2的正整数. 证明了代数为高次Koszul代数当且仅当其相应的高次Koszul复形的高阶(≥1)同调群为0. 还通过引入t次对偶代数的概念, 对t-Koszul代数的上同调代数进行了具体的刻画, 证明了对任意的非负整数m, 其中L₀是L的所有单模的直和, 而L^!是L的t次对偶代数.     

Banach空间上算子代数的K0群

对G-M型Banach空间的某些分类予以简化性合并;讨论Banach空间X上算子代数B(X)的K₀群K₀(B(X))=0的条件, 得到了改进Laustsen充分条件的一个结果,举例说明了X≈X₂不是K₀(B(X))=0的充分条件.     

有理函数域上的Gross猜想

研究分圆函数域扩张k(Λ_f)/k情形下的Gross猜想, 其中k=F_q(t)是有理函数域, f是k上的首一多项式.通过直接计算,证明了在Fermat曲线(即f=t(t−1))情形时猜想成立.当f为不可约多项式时,证明了Gross猜想和Weil互反律等价.对一般情形,证明了弱Gross猜想成立.     

格值连续函数的下方图形超空间及其Hilbert方体紧化

设L 是连续半格,用 USC(X, L) 表示乘积空间 X×ΛL 的包含集合 X×{0} 的所有闭的下集之族,用 ↓C(X, L) 表示由X到ΛL的连续函数的下方图形全体．赋予 Vietoris 拓扑后, USC(X, L)是拓扑空间,↓C(X, L) 是它的子空间. 证明了如果X是无限的局部连通的紧度量空间且ΛL是绝对收缩核,则USC(X, L) 同胚于 Hilbert 方体 [-1,1]^ω. 此外, 如果L是可数个闭区间的乘积,则↓C(X, L)在USC(X, L)中是同伦稠的,即存在同伦 h: (X, L)×[0,1]}→ USC(X, L), 使得h₀=id_{USC(X, L)}, 且对任意的t>0, 有h_t(USC(X, L))Ì↓C(X, L). 但 ↓C(X, L)不是可完备度量化的.     

弱 (K1, K2) -拟正则映射的正则性

给出空间弱(K₁, K₂) -拟正则映射的定义, 并以Hodge分解及弱逆Hölder不等式为工具, 得到了其正则性结果：对任意满足 的q1, 都存在可积指数 使得对任意弱 (K₁, K₂) -拟正则映射 都有 即f为通常意义下的(K₁, K₂) -拟正则映射.     

不含4圈的平面图的全色数

用Δ(G), χ_ve(G)分别表示图G的顶点最大度和全色数.Vizing猜想: 对任何 简单图G, Δ(G) +1≤χ_ve(G)≤Δ(G)+2. 即使对于平面图, 这一猜想仍未获得完整的证明, 唯一待完成的困难情形是Δ(G)=6. 本文证明:若Δ(G)=6的平面图G不含有4圈, 则χ_ve(G)≤8.这一结果和以前在该问题上的已知结果表明：对于不含有4圈的平面图，Vizing猜想是正确的.     

局部域的K2群中的一类挠元素

证明了(K₂Q_p(z_p))_I=G_p(Q_p(z_p)); 还证明若n|w(Q₅ (z₅)), 则(K₅Q₅(z₅))_n=G₅(Q5₅(z₅)), 这说明对于含有p次本原单位根的p局部域, 如果p|n, 则Browkin猜想一般不成立. 由此提出一个一般猜想. 另外, 否定了Urbanowicz的一个猜想.     

关于K (B)–L (B)=1的块

运用局部表示论以及Brauer的一些原始思想研究了满足条件K (B)–L (B)=1的块, 得到了这种块的结构及其亏群的一些性质. 特别地, 作为这些性质的一个推论, 对这种块证明了K (B)猜想.     

连通域上Toeplitz代数的K群

证明了任何连通域上Toeplitz代数的K₀群总是同构于对应连续函数代数的K₀群. 此外,计算了某些连通区域的本性边界的上同伦群及这些区域上连续函数代数的K₀群.     

Tubular 代数与仿射Kac-Moody 代数

在Tubular代数A的退化合成Lie代数L(A)₁^C上构造商代数,证明商代数同构于对应的仿射Kac-Moody 代数.还证明了由单模生成的退化合成Lie代数L(A)₁^C与 由实根模生成的Lie代数 L_re(A)₁^C 是一致的.     

G-旋模型观测量代数间的C*-指标

在取值于有限群G的二维格子旋系统模型中, 可以定义场代数F. 群G的Double代数D(G), 进而由子群H决定的子Hopf代数D(G;H), 在F上有自然作用, 使得F成为模代数. 给出F的D(G; H)-不变子空间A_H的具体结构, 通过构造A_H到A_G的条件期望γ_G的拟基, 得到γ_G的C^*-指标, 等于子群H在G中的指标.     

k-临界2k-连通图

图G 称为(n, k)-图, 如果对任一SÍ V(G) (|S|≤k)有k(G-S)=n-|S|, 其中k(G)表示G的连通度. Mader猜想当k≥3时K_2k+2-(1-因子)是惟一的(2k, k)-图. M. Kriesell 解决了k = 3, 4的特殊情形. 对k≥5的一般情形, 证明了该猜想成立.     

积域上奇异积分算子的Lp有界性

用旋转法证明了对于Ω∈ L(log⁺L)² (Sⁿ-1×S^m-1),Ω(x′,y′)dσ(x′)= 0(y′∈S^m-1), Ω(x′,y′)dσy′)=0(x′∈Sⁿ-1),带核函数K(u,v)= Ω(u′,v′)|u|^-n|v|^-m的奇异积分算子T是L^p(Rⁿ×R^m)有界的,其中1<p<∞.     

L型Lie代数中元素的中心化子

研究L型Lie代数中元素的中心化子的构成, 得到L型代数L (A, α, δ)为半单代数的一个充分条件; 在单Lie代数L (A, α, δ)中Z (ω)=Fω成立的条件, 其中"ω∈L (A, α, δ), Z (ω)是ω在L (A, α, δ)中的中心化子.     

一类Block型Lie代数的最高权表示

对特征0的域F以及F的一个加法子群G, 一类Block型Lie代数B(G)定义为以{L_α,i,c|α ∈ G, -1≤ i∈Z}为基, 并满足关系 [L_α,i, L_β,j]=((i+1)β-(j+1)α)L_α+β,i+j+αδ_α,-βδ_i+j,-2c, [c,L_α,i]=0.给定群G上的一个与其群结构相融的全序以及任意的Λ∈B(G)_*⁰, 我们定义了B(G)上的Verma模M(Λ,), 并且完全决定了M(Λ,), 的可约性. 而且证明了B(Z)上的一个不可约最高权模是伪有限的当且仅当它是某个Verma 模的非平凡商模.     

构造k紧优双环网的无限族的新方法

双环网(double loop network)是具有n个结点和出度为2的有向循环图, 已广泛地应用于局域网和分布系统的设计中. 给出了构造k紧优双环网的无限族的新方法,对于k=0,1,…,40,用此方法可构造k紧优双环网的无限族, 其中结点数n_k(t,a) 是t的二次多项式且含有参数a; 并提出了一个猜想.     

Koszul微分分次模

引入了Koszul微分分次模的概念. 给定Koszul微分分次代数上的一个下有界的微分分次模, 如果这个模到平凡模的Ext-\!群是有界的分次空间, 则它必定包含一个微分分次子模, 其在适当的截断和移位下是Koszul微分分次模; 这样的模还可以通过一系列Koszul微分分次模来逼近(参见本文推论3.6). 设$A$是一个Koszul微分分次代数, $D^c(A)$是微分分次右$A$-\!模范畴的导出范畴中由对象$A_A$生成的满三角子范畴. 如果平凡微分分次模$k_A$落在范畴$D^c(A)$中, 则三角范畴$D^c(A)$的标准$t$-\!结构的中心, 作为Abel范畴, 与某个有限维代数上的有限生成模范畴对偶. 进一步, 可推得三角范畴$D^c(A)$等价于它的标准$t$-\!结构的中心的有界导出范畴.     

二部图中求正交于星的(g, f)-染色的一个多项式算法

令G是一个具有顶点集V(G)和边集 E(G)的二部图, 且令g和f是定义在 V(G)上的两个非负整数值函数,使得对每个顶点x∈V(G)都有g(x)≤f(x). G的一个(g,f)-染色是一个推广的边染色,它满足在每个顶点x每一种颜色至少出现g(x)次且至多出现f(x)次. 给出了求二部图中满足某些约束条件且具有最小颜色数的(g,f)-染色的一个多项式算法并证明了此结果是最好的可能.     

虚二次域整环的K2群的计算

在前人工作的基础上,给出在虚二次域整环的K₂群计算中对例外位的范的界的一种较有效的估计方法,并计算了K₂Z[(1+Ö-43)/2].     

复指数系的不完备性和最小性

本文得到复指数系E(Λ,M)在C_α中不完备的一个充分必要条件, 其中C_α是所有在实轴R上连续, 且当t趋向无穷时, f(t)exp(&#8722;α(t))趋向零 的复函数f组成的集合. 在一致范数||f||_α=sup{|f(t)e^&#8722;α(t)}|: t∈R}下, C_α是一个Banach 空间. 证明了在不完备的情形下, 复指数系E(Λ,M)是 最小的并且 复指数系E(Λ,M)中 线性 组合的闭包中的任意函数可以延拓成由 Taylor-Dirichlet 级数表示的整函数.