关于曲面奇点Zariski-Lipman猜测的一个注记

文献[1]研究了Zariski提出的如下问题:设(V,0)=spec R为域R上仿射簇的芽,若R的导子模是自由R模,R是否一定是正则的。这个问题也在文献[2]及其参考文献中讨论过,最后由Flenner给出了奇迹余维大于3时的肯定证明(要求char R=0)。遗留的一种有趣情形是dim R=2。在R=C时,Zariski-Lipman猜测有如下的几何形式:设     

H-本原环的Martindale商环

本文均设H是域k上具有可逆antipode的Hopf代数,R是有1的H-素模代数,M是左R,H-酉模.M称为不可约的是指:RM≠0,并且M无真R,H-子模.一个H-模代数R称为是左H-本原环,若R有一个左R,H-模M,M作为左R-模是忠实的,作为R,H-模是不可约的.详细性质可见文献[1].在文献[2]中已给出例子说明:存在代数R,它是H-素,但不是通常的半素.     

一类群环R(π■Γ)的G_0和G_1群

对含单位元的右Noether环R,用G_0(R)和G_1(R)分别记Grothendieck群K_0(M_R)和Whitehead群K_1(μ_R),其中(?)_R是由一切有限生成右R模组成的交换范畴(见文献[1])。因此,G_0(R)是由以下生成元和定义关系表现的交换群:对每个M∈M_R有生成元[M],对(?)_R中每个正合序列0→M′→M→M″→0,有定义关系[M]=[M′] [M″]。G_1(R)     

交换线性紧致环上的多项式环

本文中的R表示含单位元的交换结合环,模指酉模,未定义的概念和符号见文献[1]和[2].称R为co-Noether环(Vamos),如果每个有限cogenerated R-模均为Artin模(线性紧致模).M(?)ller定理陈述为环R具有Morita对偶当且仅当R为线性紧致的V(?)mos环(见文献[2]的定理4.3及定理4.5).Anh在文献[4]中证明了线性紧致环具有Morita对偶(见文献[2]的定理6.8),从而线性紧致环为V(?)mos环.关于线性紧致模及Morita对偶的概念及性质(见文献[2]第一章).本文证明了线性紧致环R为Noether环当且仅当R上的多项式环R[x]是co-Noether环(V(?)mos环).由此,我们给出一个例子对Faith在文献[3]中提出的3个公开问题给予否定的回答.设M为R-模,M[x~(-1)]为由所有形如     

推广的C~1封闭引理的较简证明

设M是n+1维C~2流形(n≥1),σ:M→TM是M上的一个C~1向量场,φ:D→M是σ产生的流。仿照文献[1],我们不限定M是紧致的。因此,φ的定义域D,可以不是整个的M×R而仅是M×R的一个连通开子集。设v_0∈M,当如下两条成立时,称v_0是φ的一个非游荡点:(ⅰ){v_0}×R~+D(R~+=[0,∞));(ⅱ)对V_0在M中的任一个邻域     

一个有关三角多项式的不等式

设N是一个正整数,a_(M 1),a_(M 2),…,a_(M N)是N个任意的复数。现定义S(x)=sum from n=M 1 to M N a_ne(nx),(1)其中e(t)=e~(2πit)。又设x_1,x_2,…,x_R是R个实数,对r≠s,‖x_r-x_s‖≥δ.(2)这里‖θ‖表示θ到最近整数的距离,且0<δ<1/2。     

Carlitz-Kummer函数域的素分解

设 F_q 为特征 p 的 q 元有限域.k=F_q(T)为有理函数域,k~(ax)为 k 的某固定的代数闭包.令 M 为 R=F_q[T]中首1多项式,M 在α∈k~(ax)上的 Carlitz 作用如下定义:α~M=M(F+T)oα,其中 Toα=Tα,Foα=α~q.此作用的 M-挠元全体 A_M 为一循环 R-子模.作为分圆数域的模拟,k_M=k(A_M)称为分圆函数域(关于分圆函数域的理论可参看文献).设 K/k_M 为域的有限次扩张,z∈K—K~M,则作为数域 Kummer 扩张的一个模拟,在文献[4]中 Schul-theis 定义 u~M-z 的分裂域 K_(M,n)为 K 的 Carlitz-Kummer 函数域扩张(以下简称 CK 扩     

一类Hopf曲面的模空间

在文献[1]中,Kodaira构造了S~1×(S~3/H)上复结构的模空间为平面上的空心单位圆盘D~*={z=∈C|0<|z|<1),这里H=<σ,τ>为σ,τ自由生成的群。ρ=exp(π/n (-1)~(1/2)),n≥2为固定整数。本文对一般型H构造了S~1×(S~3/H)上复结构的模空间仍为D~*。我们所用方法也不同于文献[1]中的方法。     

局部环R上线性群的生成元定理

本文主要是将域F上线性群GL_n(F)的生成元定理,推广到局部环R上的线性群GL_n(R)上去,因为对于局部环R上的n维R空间V及GL_n(R)中元素σ来说,Q=(σ-1)V及M={x∈V|σx=x}一般只是V的R子模而未必是V的R子空间,所以,O.T.O'Meara所定义的剩余空间的概念不能直接     

富里埃级数的负阶蔡查罗绝对求和因子

设级数Σa_(?)的α阶蔡查罗平均是σ_(?)~a,σ_(-1)~a=0.当级数Σ|σ~(?)~a-σ~(?)~a|收敛时,称级数Σa_(?)是|C,a|可和.设f(x)∈L(0,2π),φ(t)=1/2[f(x+t)+     

关于Fuller范畴的一个注记

在本文中环R表示有单位元的环,所有模都是右酉模。σ[M_R]是Mod-R中含有M_R且关于同态像、直和和取子模封闭的最小全子范畴。Gen(M_R)是Mod-R中含有M_R且关于同态像和直和封闭的最小全子范畴。下面这个定义为普通非奇异性的自然拓广。     

Orlicz空间的弱列紧嵌入定理

Orlicz空间L_M~*的三种主要的弱拓扑是σ(L_M~*,E_N),σ(L_M~*,L_N~*)和σ(L_M~*,(L_M~*)′),这里N(v)是生成L_M~*的N 函数M(u)的余N 函数,(L_M~*)′表示L_M~*的共轭空间.设L_Φ~*是另一个Orlicz 空间.文[1]已指出:L_Φ~*中的有界集为L_M~*中的σ(L_M~*,E_N)弱列紧集的充要条件     

关于滤环与分次环的Bjrk问题

设R为含单位元的诺特滤环,G(R)为相应分次环.设M为R滤模,gr(M)为相应的分次G(R)模.Bj(?)rk探讨了M为良滤模与gr(M)为有限生成模二者的关系.当R为正滤环且G(R)为诺特环时,M为良滤模的充要条件是gr(M)为有限生成模.但只把对R的限制放宽到Zariski滤环,就难于断定这一结论是否正确了.具体地说,Bj(?)ry的问题如下:设R为Zariski滤环,M是有限生成R模且配备分离滤,则当gr(M)是有限生成G(R)模时,M是否为良滤模?     

由Ornstein-Uhlenbeck过程产生的l2-模平方过程的增量

设{Y(t),-∞0.定义ι~2-模平方过程X~2(t)=||Y(t)||~2=sum from k=1 to ∞( X_k~2(t)),-∞相似文献   

模的稳定性的一些保持性

在模型论中,Zil’ber证明了:非平凡的(?)-范畴理论的模型都是类似于模或域的;于是人们希望证明著名的Vaught猜想对于超稳定的模理论是成立的。Buechler后来证明了:Vaught猜想对于Morley秩为1的模理论是成立的,但以后,Vaught猜想的证明一直进展不大,即使对超稳定的模理论的Vaught猜想的证明也是如此。为对超稳定的模理论Vaught猜想进行化约,Prest曾建议讨论环变化时模理论的稳定性性质的保持性。Ziegler在文献[4]中讨论了一些初等性质的保持性定理。本文讨论下列两种环变化情形下,模的稳定性的保持性:(ⅰ)将R-模M_R看作R的一个理想上的模;(ⅱ)将R的一个分式环S~(-1)R上的模看作R上的,其中S是R的一个乘法子集。此外,还讨论了分式模S~(-1)M与模M的稳定性间的关系。     

广义Kac-Moody代数模的权链与权集

广义Kac-Moody代数的概念是由Borcherds首先引入的,普通Kac-Moody代数的许多结果都可推广到其上去(详见文献[1]和[2]中§11.13),本文讨论了广义Kac-Moody代数模L(A)的权链和权集的某些性质.设A=(a_(ij))_(n×n)为一实矩阵且满足(Cl)a_(li)=2或a_(ii)≤0,(C2)a_(ij)≤O,如果i≠j;a_(ij)∈Z,如果a_(ii)=2,(C3)a_(ij)=O当且仅当a_(ji)=0,     

关于Abercrombie一个结果的注记

设θ∈[1, ∞ )为任意实数,序列 B_θ={[nθ]|n∈N|叫作由θ决定的Beatty序列Beatty序列近年来由于同半群的联系而受到关注(见文献[1]及其参考文献).Abercrombie考虑了Beatty序列中的除数问题.设k≥2为固定正整数,令D_k(θ;x)=sun from n ≤x/θd_k([nθ])=sum from n≤x n∈B_yd_k(n).则文献[2]证明了,在Lebesgue,测度意义下.对几乎所有的θ≥1,有D_2(θ;x)=θ~(-1)D_2(1;x) O(X~(5/7 ε),     

交换环上模的Euler特征数

设R为带单位元1的交换环,P为R-模,如果P有有限的有限生成自由分解O→F_m→…F_1→F_0→P→0,则记P∈FFR且称x(P)=Sum from i=1 to m((-1)~i)rankF_i为P的Euler特征数。在刻画交换环的模结构方面,Euler特征数发挥了很大作用。本文采用同调方法,给出了半遗传环和遗传环上x(P(?)Q)=x(P)x(Q),x(Hom(P,Q))=x(P)x(Q)成立的充要条件。 1 预备知识 假设所讨论的环都是带单位元1的交换环,模指酉模。     

mod_pΛ中无短链的有限表示型自入射代数存在Hall多项式

在文献[1]中,Ringel定义了Finitary环A上的Hall代数(?)(A).它是以{u_[M]}[M]为基的自由Abel群,其中[M]表示有限A模M的同构类,(?)(A)的定义如下:u_[N_1]×u_[N_2]=sum from [M] ((F_(N_1)~M)×(N_2)×u_[M])由于A是Finitary环,上式右端是有限和.这里F_(N_1N_2)~M是M的适合L（?）N_2且M/L（?）N_1的子模L的个数.Hall代数(?)(A)是有单位元1=u_[0]的结合环.为简便,总假定A是有限域k上的有限维代数.所有的有限A模构成的子范畴记为mod-A.由文献[1～3]可知,Dynkin型或仿射型遗传代数的Hall代数与相应的Kac-Moody Lie代数及其量子包络代数均有深刻的内在联系,而Hall多项式在1处的赋值恰好给出了对应Lie代数的结构系数.在文献[2]中Ringel猜测:任意有限表示型k-代数总存在Hall多项式.Ringel证明了表示直向代数有Hall多项式.Guo等人证明了mod-A中没有短圈的代数A有Hall多项式.在这篇短文中,我们证明了mod_pA中没有短链的有限表示型自入射代数A存在Hall多项式.     

有限特殊射影线性群的特征性质

在文献[1]中我们提出了下述猜想: 猜想1 设G是群,M是有限单群。则当且仅当 (a) π_c(G)=π_c(M),其中π_c(G)记为G中元的阶之集;