一般四次循环域的十个Ankeny-Artin-Chowla型类数公式

设K为四次循环数域,k为其二次子域,记h(L)为域L的理想类数。本文得到h^-=h(K)/h(k)的十个同余公式。特别若,素数p=r²+s²,s为偶数,则当p≡1(8)时,C₁h^-≡B_(p-1)/4B_3(p-1)/4(mod ρ),B_n是Bernoulli数;当ρ≡5(8)时,C₂h^-≡E_(ρ-5)/8E_(3ρ-7)/8(mod ρ),E_n是Euler数。若实则。若3在K=Q(√θ)分歧,则C₄h^-≡h(K*)/h(k)(mod 3),K*=Q(√3θ).C_i均为明显给出常数.此外还得到h^-可能因子的一些关系。这些结果相当于系统地把Ankeny-Arun-Chowla,Kiselev,Carlitz,陆洪文等从1948到1983年关于二次域的许多结果推广到四次循环域上去。     

Abel数域的相对类数和Hilbert模流形的算术亏格

设K是:1)分圆域Q(ζ_q)的任意奇次子域,其中q为任意素数;或者2)具有任意导子的P次循环域,其中p为任意奇素数。以X(K)表示域K上的Hilbert模流形的算术亏格。本文证明了:对于上述两种类型的代数数域,除了六个域之外,其余均有X(K)<0。这六个例外的域是:导子为7,9,13和19的三次循环域(X(K)=1),导子为37的三次循环域(X(K)=0)和五次循环域K=Q(ζ₁₁+ζ₁₁^-1))(X(K)=1)。     

Wilson一般化定理的精确刻画 *

给定任意正整数集合K及正整数λ ,令c(K ,λ)表示最小的正整数 ,使得v∈B(K ,λ)对任意整数v≥c(K ,λ)成立 ,且满足同余关系式λv(v -1)≡ 0 (modβ(K) )和λ(v-1)≡ 0 (modα(K) ) .设K₀ 是K的等价集 ,k和k* 分别是K₀ 中最小和最大的整数 .证明了c(K ,λ)≤expexp{Q₀},这里 ,Q0 =max { 2 ( 2p(K₀) ² -k+k² log₄ k)p(K₀) ⁴,(k^k2 42^y-k-2)(^y₂) } ,p(K₀ ) =∏l∈K₀l,y =k *+k(k- 1 ) + 1 .     

p -级数域重排特征系统的(C, α)}和

令G_p 为p级数域.在文献[9]中, G.Gát 和 K.Nagy 已经证明p级数域的重排特征系统的(C,1)极大算子是强 (q, q)型(1 α_n f 几乎处处收敛于f.     

某些K2OF的结构

本文研究二次数域F=Q(d^1/2)的K₂O_F结构,其中d≡-3mod9和d≠-3.找到了关于F=Q((-21)^1/2)的K₂O_F的3阶元和F=Q((15)^1/2)的K₂O_F的生成元.推广了Bass和Tate的一个定理和给出了F=Q((29)^1/2)的K₂O_F的结构以及sL_n(O_F)(n≥3)的表示关系.     

关于循环域类数奇偶性的一个初等判别法

设K是分圆域Q(ζ_p^l)的奇次子域,F为K的分圆单位群。F₊为K的全正分圆单位群。通过计算dimF₂F₊/F²,我们给出域K的理想类数奇偶性的一个初等判别法。由此计算出在分圆域Q(ζ_p)(P<1000)的奇次(循环)子域(次数3≤n≤19)中间,恰有17个域具有偶类数。     

关于实二次域的类数(Ⅱ)

本文推广了文献[1]的结果,提供了实二次域类数等于1的另一个充要条件,文献[1]是这里的一个特例,特别,对素数p=4n²+1(n>1),域K=Q(p×1/2)的类数等于1的充要条件是这儿ζ_K(s)是域K的ζ-函数.     

分圆域类数第一因子的上界

对于任意正整数m≠0(mod4),本文给出分圆域Q(ζ_m)理想类数第一因子h_m^-的一个上界。     

极值拟共形扩张的一个问题

对每个单位圆到自身的拟对称映射h以及每个整数m≥ 4,引入了一个以K₀ (h) =sup{M (h(Q) ) /M(Q) ｜Q是以Δ为域的拓扑四边形 }为特殊情形的常数K^(m)₀ (h) ,建立了K^(m)₀ (h) =K₁(h)的一个充分必要条件并证明了存在无穷多个单位圆到自身的拟对称映射h具有性质K^(m)₀ (h)＜K₁(h)，其中K₁(h)为h的最大伸缩商。     

椭圆曲线在(2,…,2)型数域上的扭群结构

设E：y²=x(x+M)(x+N)为椭圆曲线MK为2ⁿ次(2,…,2)型数域. 完全确定了E的K-有理点Mordell群的扭子群E(K)_tors的结构,按n=2和n≥3两种情形,明显给出其分类、判则和参数化,列出各扭子群;并对任意n证明了E(K)_tors的阶总是2的幂. 此外,对任意数域F上的椭圆曲线E,证明了 E(L)_tors=E(F)_tors对几乎所有素数p次扩张L/F成立. 这些结果发展了Kwon等人关于E在二次域上扭子群的结果.     

各向异性Besov-Wiener类的平均宽度

得到了各向异性Besov Wiener类S^r_pqθb(R^d)和S^r_pqθB((R^d))在L_q(R^d) ( 1≤q≤p <∞ )内及其对偶情形的平均σ- K宽度和平均σ- L宽度的弱渐近估计 .     

铀原子跃迁的自发发射分支比、相对振子强度、跃迁几率和能级寿命的测量与计算

本文首次提出用激光诱导敏化荧光光谱法测量铀原子5f³6d7s7p-⁷M₇,5f6d7s7p-^?L₆,5f³7p-⁵K₆,5f²6d²7s²-⁵L₇,5f₄d7s-⁷L₆,(17070cm^-1)-⁵L₆,5f²6d²7s²-⁵K₆,5f³6d7s7p-⁷L₅,5f³6d7s7p-⁷K₅,5f²6d²7s2-⁵I₅ 10个能级向基态跃迁的自发发射分支比;采用空心阴极发射光谱法测量了它们的相对振子强度;测量并计算了这些能级的寿命及其基态跃迁的自发发射跃迁几率,获得了较高的测量准确度和分辨率。     

决定类数为一的(2,2,…,2)型代数函数域

设k=F_q(t)为F_q上以t为变元的有理函数域,F_q为q元域,特征不是2。设L=k(√D₁,…,√D_n~(1/2))是k的2ⁿ次扩张,常数域为F_q,D_i∈F_q[t],n>1。本文证明了:(1)除子类数为1的域L恰为k(√P₁,√P₂)和k(√P₁P₂,√P₁P₃),其中P_i∈F_q[t]为互异一次多项式。(2)理想类数为1的虚域L=k(√D₁,√D₂)(即L的整数环是唯一析因环)必是D₁=t;而D₂=t³-t-1(q=3),t²-t-1(q=3),t~2+2(q=5),或t+c,c∈F_q(或其在变换下的变形)。     

实二次域类群的启发式论据与结果

对一些类型实二次域的类数h经常含一个固定素数因子p的现象进行了研究 .发现是由于存在一种素理想 ,其p次幂为主理想 .由此给出了Cohen Lenstra启发式论据对此情形的改进 ,即预言理想类数h是素数p的倍的概率为1 - ( 1 -p^-1) ( 1 -p^-2 )… .用同样的想法 ,进而预言所考虑的素理想代表的类P的阶确实为p的概率为1 /p.所得到的这两种概率与计算结果都有很好的符合.     

酉群上Fourier级数的Cesaro求和

设un为n阶酉群。u∈L1(Un)的Fourier级数的第二型Cesáro平均为σNα(u,U)=KN*αu(U),其中 KNα(U)=sum from (N≥li>…>ln≥-N)(Al1α…A1uN(f)Xf(U)),U∈Un为相应的核函数。本文给出“Lebesgue常数”‖KNα‖(L1(Un))的精确估计,并由此建立了酉群上函数的Fourier级数按第二型Cesáro求和收敛于自身的条件。     

相对论介子束缚态的一些普遍性质

本文从B-S方程出发讨论相对论介子束缚态的一些普遍性质,包括0^--1^-介子的对称性,0^--1^-介子质量分裂等。结果表明,标量(1)或静矢(γ₄)相互作用可满足0^--1^-对称性;在相对论情形下,由单胶子交换矢量(γ_μ)势所引起的0^--1^-质量分裂,将以质量平方形式出现;在重夸克(层子)模型中,只有以赝标(γ₅)为主的相互作用,可近似地满足0^--1^-对称性,并可能给出合理的质量谱,BargmannWigner型波函数存在着严重困难。     

金属材料的有效应力集中系数预测

本文从理论上导出了高缺口敏感和低缺口敏感的金属材料的有效应力集中系数K_f为K_t^1/(1+n)和K_t^2/(3+n).通过对大量K_f数据的综合分析得到了K_f-K_t的关系图,并指出了上面两种K_f关系的适用范围;对钢和铝合金的计算结果表明:理论值与测量结果非常接近,绝大部分数据的相对误差在±10％之内.最后讨论了光滑试样疲劳极限(σ_R)的理论表达式:σ_R=(K/Eⁿ)^1/(1-n),并分析了该式的意义和适用范围,结果表明σ_n=σ_cy(循环屈服强度).     

Hilbert空间子空间的维数和半Fredholm算子的指标

对Hilbert空间H中的任意子空间,引入了一种广义维数并使其全序化.发现了可列个无限维数:∞~*<∞ⁿ<∞^m,其中n,m为整数且n>m.由此定义了半Fredholm算子SF(H)的广义指标.证明任意纯半Fredholm算子A∈SF₊(H)(SF_-(H))有Ind_gA=∞^*(-∞^*).这里的广义维数和指标是几何与拓扑的概念,像有限维数和Fredholm指标一样具有某些分析演算功能.作为例,证明了:对任意等距算子V₁,V₂,它们在H上左可逆算子B_i^x(H)中道路连通当且仅当Ind_gV₁=Ind_gV₂.从而推出,(?) A,B∈SF₊(H)(SF_-(H)),它们为道路连通的充要条件为Ind_gA=Ind_gB.其余有关SF(H)的结果,如指标经紧和小扰动的稳定性,Ind_g:SF(H)→ZU{-∞^*,∞^*}连续皆成立.     

交换p-群的子群格的强Sperner性质

设n和k是任意正整数 ,p是素数 ,L_(kⁿ) (p)是交换p 群 (Z/p^kZ)ⁿ 的子群格 ,则存在正整数N(n ,k) ,使得当p >N(n ,k)时 ,L(_{kⁿ) (p)}具有强Sperner性质 .     

类数公式的机器证明——Chowla一个猜想的注记

设素数 p=4N² + 1 (N为一个正整数 )使得实二次数域Q(√p)的类数为1 ,作为追随吴文俊数学定理机器证明方向的一次尝试 ,用微机证明了一些虚二次数域Q√( -qp)的类数公式 ,这里 q =3,7,1 1 ,1 9,2 3,31 ,43和 47.