关于R.K.Guy的一个问题

设p为奇素数,(n/p)为通常的Legendre符号.若p≡1(mod4),容易证明区间T_1=[1,(p-1)/2]与区间T_2=[(p 1)/2,p-1]中二次剩余(modp)的个数是相同的.换言之,当p≡1(mod4)时modp的二次剩余的分布具有均匀性.若p≡3(mod4),问题变得复杂起来.以h(-p)表虚二次域Q((-p)~(1/2))的理想类数,我们有Dirichlet的类数公式     

关于D.H.Lehmer问题

设P为奇素数,我们知道对任一1≤x≤p—1,存在唯一的1≤(?)≤p—1使得x(?)≡1(modp)。用r(p)表示同余方程x(?)≡1(modp)满足条件1≤x,(?)≤p—1且x与(?)具有相反的奇偶性的解的个数。关于函数r(p),Lehmer曾提出求函数r(p)的值或者说一些有关它的非平凡性质。显然当p≡±1(mod4)时有同余式r(p)≡2或者0(mod4)。     

方程a~x—b~y=(2p~s)~x和Hugh Edgar问题

1969年,Perisastri(Math. Student, 37(1969),211—212)证明了Diophantus方程a~x—b~y=10~x在a=13(mod20),b=3(mod20)和z(?)1时无非负整数解x,y,z。1982年,Toymzumi(Math. Student,43(1978), no. 2—4,113—115(1982),MR 84h:10025)证明了Diophantus方程a~x—b~y=(2p)~x,p为奇素数,在a≡p≡5(mod8),b≡3(mod8),p(?)ab     

关于Aurifeuillian分解的一个问题

设b>1是一个整数.对于某些b~n±1形式的数,Aurifeuille发现了特别的分解方法,称为Aurifeuillian分解.设p是奇素数,ξ=ξ_p表示p次本原单位根exp(2πi/p),(/)表示Jacobi符号.当p≡1(mod 4),N=(p~p-1)/(p-1)=p~(p-1)+p~(p-2)+…+p+1时,文献[2]给出了同余方程X~2≡p(mod N)的4个不同解±p~(p+1)/2,±sum from c=1to(p-1)(c/p)p~c.     

关于广义Ramanujan-Nagell方程(Ⅱ)

设D是非平方整数,p是奇素数,p D对于给定的D和p,以N(D,p)表示方程x~2—D=p~n,x>8,n>0 (1)的整数解x、n的个数。对此,Apéry (C. R. Acad.Sci. Paris, 251(1960), 1451—1452)证明了:当D<0,D≡1(mod4)且D无平方因子时,N(D,p)≤2。Bender和Herzberg(Studies in Algerbra and     

实二次域关联的丢番图方程的解

设m为无平方因子有理正整数,c为整数,方程x~2-my~2=c (1)的整数解问题,与实二次域Q(m~(1/2))及分圓域Q(ζ_m)的实子域的类数密切相关,文献[1—7]均由研究此方程得出了有关类数结果,且对特别的m和较小的c值,得出了方程(1)可解的     

∏_1空间上循环自共轭算子不变子空间

由文献[1],不妨设∏_1循环自共轭算子A在空间分解下有以下矩阵形式表示: A={λ_0,A_p,G,Q},(1)其中Z=[z],Z~*=[Jz],z为∏_1的非零零性向量,λ_0 ∈ R,A_p为P上自共轭算子,Q=Q~*。     

交换环上模的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的交换环,模指酉模。     

Dixmier代数与轨道数据的归纳诱导法及其应用

为研究Dixmier映射,Vogan定义了Dixmier代数与轨道数据,并给出了抛物子群诱导法.本文将证明这些诱导法是可归纳导出的,并在此基础上对SO(2n 1,C),SP(2n,C)及F_4,G_2类Lie群部分地证明了文献[1]中Vogan的一个猜想,即上述Lie群的完全素可交换轨道数据的抛物诱导与抛物子群选取无关.1 归纳抛物诱导本文恒假定G为复约化Lie群,P(?)P_1为G的两个抛物子群,P=LU,P_1=L_1U_1分别为它们的Levi分解,且L(?)L_1,而(?),(?),(?),(?),(?),(?),(?)分别为它们的Lie代数.记Q=L_1∩P,(?)=(?)∩(?),显然Q为L_1的抛物子群(有Levi因子L),其Lie代数为(?).     

Douglis代数意义下超复函数空间上∏算子及其性质

对于一阶椭圓型方程组在引进两个元素i,e——服从乘法规则i~2=1,ic=ei,e~(r 1)=0,e~0=1的可交换的A.Douglis代数后,可以写成简单形式Dw Aw B(?)=C。这里D是微分算子,D=(?) q(z)(?)z,q(z)是幂零函数。Dw=0的解称为超解析函数。算子D的生成解t(z)满足方程Dw=0,且可表示成形式t(z)=z T(z),T(z)∈B~1(C)的幂零函数。本文讨论Douglis代数意义下的超复函数空间上的∏算子及其性质。首先引进微分算子:其中     

小区间中一类加性函数的倒数和

运用概率数论的方法,De Koninck以及De Koninck和Galambos研究了满足条件f(n)≥t_0>0(n≥2)以及f(p)≡1的加性函数f(n)的倒数和,并得到了渐近公式,这里t_0为一绝对正常数。令B(x)表示不满足     

S_p(4,K)的单模的扩张(Ⅱ)

设G=S_p(4,K),K是特征数p>0的代数闭域。在文献[1]中笔者对奇素数p完全确定了单G-模的扩张,本文讨论P=2的情形。由于对某些λ∈X_1(T),Ext_(G_1)~1(L(λ),L(λ))可以不等于零,相应的讨论要比奇素数p的情形复杂一些。除非另外说明,我们仍使用文献[1]的记号。     

投射模经过基座的整体提升

设I为环R的理想,记S=R/I。本文主要考虑如下的整体提升问题:对于任意的投射S模Q,是否存在投射R模P,使得Q同构于P/IP?这一概念是作者首次引进的,目的之一是为了研究K_0群的计算问题。因此在本文中,常常要求Q与P还是有限生成的。 本文中的环都是有单位元的结合环,模为左酉模。对于环R,以p(R)表示有限生成的投射左R模的范畴,~RProj。表示投射左R模的范畴。R~(n)表示R作为模的直和,而I~n=II…I,其中I为R的理想。文中用到的其他概念和术语可以参见文献[1]和[2]。     

Weyl对应的相干态描述

在量子力学中,由于坐标算符Q和动量算符P不对易,因此经典函数h(p,q)和与其相应的量子对应算符H(P,Q)的对应是含糊的.在文献[1]中Weyl 给出了一种对应方案,定义经典函数A_ω的量子对应为A(P,Q)=integral from -∞to ∞dpdqΔ(p,q)A_ω(p,q),(1)其中积分核称为Wigner 算符,记为(取普朗克常数h=1)     

自映射的抽象ω-极限集

R. Bowen对于紧致度量空间上的自同胚引入了抽象ω-极限集的概念,并得出了一些有意义的性质。作为推广,本文对紧致度量空间上的自映射定义了抽象ω-极限集,随后证明了两个等价条件,这些条件清楚地刻划出这种极限集的动力学意义。本文的主要定理指出,若公理A自覆盖映射f的不变集ΛQ(f)为抽象ω-极限集,则存在x∈[Q(f)]~f使Λ=ω(x)=α(x)。由此可以看出,作为一类稳定的双曲集Q(f),虽然不能     

对一些实二次域的理想类群和类数的Cohen-Lenstra预测的有条件改进

著名的Cohen-Lenstra“启发式论据”预测(Heuristics,见文献[1]引起了非常广泛的兴趣和研究.本文对于某种类型的实二次域,将Cohen-Lenstra的一般性预测进一步细化,即对理想类数含某个素因子p,和某个理想类是p阶元,预测出条件概率.经过相当大量的计算机数值计算检验,发现这两种预测与计算结果均符合得很好. 早在考查实二次域K=Q(n~2 3n 9)~(1/2)的类数h的时候,我们发现其类数经常是3的倍数(见文献[2]).有一个想法可对此作出简单解释,即由于- 27=(2n 3)~2- 4(n ~2 3n 9),故3在K中的素理想因子的立方是主理想.因此若此素理想本身不是主理想,则在     

椭圆型Monge-Ampere方程解的正则性

设Ω是x-y平面上的有界区域,我们研究椭圆型Monge-Ampere方程 Ar+2Bs+Ct+(rt-s~2)=E(1)的解z=z(x,y)的正则性。其中系数A,B,C和E是x,y,z,p,q的已知函数。p=z_x,q=z_y;r=z_(xx),s=z_(xy),t=z_(yy)。并假设函数A,B,C和E满足假设(A):     

方程x~2+2~m=y~n和Hugh Edgar问题

作者(科学通报,30(1985),14:1116—1117)曾经讨论了Diophantus方程。a~x-b~y=(2p~s)~z的解,其中p是奇素数,s为非负整数。得到的结果部分地解决了Hugh Edgar问题。所谓Hugh Edgar问题是指:求方程 p~m-q~n=2~n,p,q是素数,h是正整数(1)的解。前文给出了,在(p,q)≡(5,3),(3,5),(±3,7),(7,±3)(mod 8)时,方程(1)除5~2-3~2=2~4和3~4-7~2=2~5外,无其他h≥4的解。在这篇文章中,我们完全解决了Diophantus方程     

由三叶形纽结得到的三维流形的不变量

关于Witten不变量,已有不少研究,可参见文献[1～9].Freed和Gompf及Neil曾对若干三维流形Witten不变量τ_r(M)用计算机进行了近似的数值计算.本文给出所有由三叶结作整系数换球术得出的三维流形的不变量(?)_p(M,A)的计算公式(定理1),并通过计算机对p≤13进行符号计算,得到了几个有意思的结论.文中的记号是标准的,可参见文献[3,6,9],不另说明.若记L_n和R_n分别是由左手和右手标架为n的三叶结作换球术得到的三维流形,则L_(-n)和R_n是反向同胚的,于是(?)p(R_n,A)(?)(?)p(L_(-n),A),因此只需计算(?)p(Ln,A).记是m分支的标架全为零的链环,则有引理1〈e_(i_1),…,e_(i_m)〉k_m=e_(i_1)(λ_(i_2))…e_(i_(m-1))(λ_(i_m))〈e_(i_m)〉其中λ_j=-A~(2j+2)-A~(-2j-2).     

广义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,