可驯表示型与野表示型bocs

简化了Drozd关于极小野bocs的一个著名定理的证明, 这使得该证明中所构造的矩阵的阶数由43降低到20. 为了刻画可驯表示型bocs的微分, 给出了所有可能的极小野bocs, 并讨论了可驯表示型bocs的首箭的微分形式.     

统一化tame定理

著名的 tame 定理告诉我们, 对于任意的tame bocs和 正整数 $n$, 存在有限多个极小 bocs, 使得原 bocs的任意维数不超过 $n$ 的表示同构于其中某个极小 bocs的一个表示在一定的约化函子之下的像. 本文将用矩阵问题的语言给出 tame 定理的叙述, 并对正整数 $n$ 构造一个统一的极小矩阵问题, 使得原矩阵问题的任意维数不超 过 $n$ 的不可分解表示同构于该极小矩阵问题的一个表示在约化函子之下的像. 同时给出这个不可分解表示的典范形.     

对应于tame遗传代数的bocses(Ⅰ) *

展示了对应于Kronecker代数的bocs.对于每个维数d,给出了对应的仅含有不可约映射的极小bocs.去掉两个点后,这个极小bocs与Kronecker代数的AR-箭图中一个满子图完全重合,该子图中不可分解模M具有性质dim(topM).     

倾斜代数表示型的一个判别

给定遗传代数A和倾斜模_AT.记 B=End_AT为相应的倾斜代数。本文给出一种约简程序,得到两个遗传代数_sA和A_t;证明了,B是有限表示型当且仅当_sA=0和A_t=0,并且B分别是tame型和 wild型当且仅当代数直积_sA?A_t分别是tame型和wild型。     

仿射合成代数的三角分解

设→△是一个仿射箭图,它的极小虚单根为n.设k是一个有限域,记A=k→△为k上关于箭图→△的路代数,而记c(A)为关于A的合成代数.由C.Ringel和J.Green的工作,c(A)揭示了A的表示与量子群有密切的关系.文[11]证明了对应于A的不可分解表示可以分成预投射,正则,和预内射三个部分,C(A)具有一个三角分解.[11]中的证明需要假设维数向量为n的拟单模存在,而对于|k|=2,→△是→Dn型和→Em型(m=6,7,8)的情形,此假设不满足.本文的目的是给出一个简化的,而且不需要前面所提假设的证明.由此,得到一个与域k无关的c(A)的三角分解.     

Cleft扩张下表示的不变性质

讨论半单Hopf代数上经cleft扩张后的代数表示的不变性质.首先,解释了cleft扩张的概念,并给出cleft扩张和交叉积之间的联系(交叉积是解决问题的基本方法).然后,利用这些关系证明了:当k是代数闭域,H是一个有限维的半单k代数时,对一个有限维k代数,其H-cleft扩张下的代数表示型是不变的.另一方面证明了:当k是任意域,H是一个有限维的半单k-Hopf代数,对一个根是H稳定的k代数,其Nakayama性质在H-cleft扩张下也是不变的.     

边不交圈的图的符号差(英文)

一个有限简单图的符号差是指其邻接矩阵的符号差,即邻接矩阵的正惯性指数和负惯性指数的差.马海成等猜测一个图的符号差小于等于长度为4k+5圈的个数,大于等于长度为4k+3圈的个数的负值,本文证明了该猜测对边不交圈的图是成立的.     

有限型的首次返回例外集的测度和维数北大核心CSCD

设M=(m_(ij))是一个b×b阶矩阵且m_(ij)∈{0,1},∑_(M)是矩阵M=(m_(ij))诱导产生的有限型,σ是其上左推移算子.本文主要研究的是有限型动力系统(∑_(M),σ)上的首次返回速度问题.令τ_(k)(x)是点x∈∑_(M)首次返回到包含x的k阶柱集时间,且E_(α,β)={x∈∑_(M):lim inf_(k→∞)(logτ_(k)(x))/k=α,lim sup_(k→∞)(logτ_(k)(x))/k=β}.我们证明了:当M是不可约矩阵时,对任意0≤α≤β≤+∞,集合E_(α,β)的Markov测度要么等于0要么等于1并且具有满的Hausdorff维数.     

含有多个圈的图的秩

研究了含有多个圈的图的邻接矩阵的秩.将k(k≥2)条点不交的路,首和尾分别粘合得到的图称为Θ-图.用Γ(k-1)表示含有Θ-图作为导出子图的(k-1)-圈图的集合,而用C(η,k)表示含有n个顶点和k个边不交的圈的图的集合.确定了Γ(k-1)中秩等于5和6的图以及C(n,k)中秩等于4,5和6的图.     

Lévy型算子所生成马氏过程的稳定性

利用Levy型算子积分微分型表示形式和拟微分型表示形式,以寻求Levy型算子生成的马氏过程各种稳定性的精确且可验证的充分条件.给出了由符号函数直接判定的Levy型过程非爆炸的充分条件,这个条件包括了扩散过程非爆炸的线性增长条件;当Levy型算子生成马氏过程对应半群的符号函数已知时,得到了由该符号函数直接表达的常返性充分条件,它推广了关于Levy过程经典的Chung-Fuchs常返性准则.     

三维半群代数

首先给出代数闭域上三维半群代数的幂等元集和Jacobson根,并且刻画了三维半群代数的同构类.通过计算箭图,研究了三维代数的表示型.进一步,证明一个三维(或者二维)半群代数是胞腔的,当且仅当它是交换的.作为推论,得到一个左零带所对应的半群代数是胞腔的,当且仅当这个左零带是一个半格.     

二维半无穷管道上Darcy流体方程解的空间渐近性质

本文考虑多孔介质中Darcy流体方程在二维半无穷管道上的空间渐近性质.运用能量分析的办法和微分不等式技术,得到了一个关于“能量函数”的微分不等式,再解此微分不等式建立了解的Phragmén-Lindel?f型二择一结果.最后,在衰减的情形下我们得到了全能量的上界.另外,本文对解的增长率/衰减率做了探讨.     

Lévy型算子所生成马氏过程的稳定性

利用Lévy型算子积分微分型表示形式和拟微分型表示形式,以寻求Lévy型算子生成的马氏过程各种稳定性的精确且可验证的充分条件.给出了由符号函数直接判定的Lévy型过程非爆炸的充分条件,这个条件包括了扩散过程非爆炸的线性增长条件;当Lévy型算子生成马氏过程对应半群的符号函数已知时,得到了由该符号函数直接表达的常返性充分条件,它推广了关于Lévy过程经典的Chun-Fuchs常返性准则.     

△-tame拟遗传代数

设(K,M,H)是上三角双模问题,Br(u)stle和Hille证明了(K,M,H)的矩阵范畴Mat(K,M)的投射生成子P的自同态代数的反代数A是拟遗传代数,而且代数A的△好模范畴与Mat(K,M)等价.本文基于双模问题的tame定理,证明了如果由上三角双模问题所对应的拟遗传代数A是△-tame表示型的,则F(△)具有齐次性质,即F(△)中的几乎所有的模都同构于它的Auslander-Reiten变换;进一步地,如果(K,M,H)是上三角双分双模问题,则A是△-tame表示型的当且仅当F(△)具有齐次性质.     

关于Konvalina定理的注记

从1,2,…,n中选定个数a_1相似文献   

点度和面度的最小值是3的连通平图

称一个连通平图是k||δ_(v,f~-)平图,若其顶点的最小度δ_v和面的最小度δ_f的最小值δ_(v,f)是k.本文研究3||δ_(v,f~-)平图.通过一个图运算构造证明链环分支数等于1的3||δ_(v,f~-)平图的存在性,并证明在相等意义下链环分支数不小于基圈数的3||δ_(v,f~-)平图是唯一的.然后证明在相等意义下,边数等于6,8的3||δ_(v,f~-)平图都是唯一的,边数等于9的3||δ_(v,f~-)平图有且只有两个且它们是互为对偶的.接着研究连通平图与其中间图在相等意义下的相互关系.作为运用,证明了无弓形链环图的三个唯一性结论.     

B型量子群的Kashiwara算子

利用一个带特殊自同构的A_2n-1型Dynkin箭图上的F-稳定表示,刻画了B型量子群的Kashiwara算子.同时指出邓、杜和张文章中的主要结果对于B₂型赋值箭图并不成立.     

BB-倾斜模与Hammock

证明存在Hammock位于有限表示型代数A上BB-倾斜模T_A诱导的AR-箭图上和代数B=End(T_A)的AR-箭图上,并用Hammock对BB-倾斜模T_A进行刻画.     

Δ-tame拟遗传代数

设(K,M,H)是上三角双模问题,Brüstle和Hille证明了(K,M,H)的矩阵范畴Mat(K,M)的投射生成子P的自同态代数的反代数A是拟遗传代数,而且代数A的Δ好模范畴与Mat(K,M)等价．本文基于双模问题的tame定理,证明了如果由上三角双模问题所对应的拟遗传代数A是Δ-tame表示型的,则F(Δ)具有齐次性质,即F(Δ)中的几乎所有的模都同构于它的Auslander-Reiten变换;进一步地,如果(K,M,H)是上三角双分双模问题,则A是Δ-tame表示型的当且仅当F(Δ)具有齐次性质．     

rep(A_3,I,A)中的Gorenstein投射模

设A是域k上的有限维代数,(Q,I)是带关系的箭图,令Λ=AkkQ/I.Λ的模范畴Λ-Mod及有限生成模范畴Λ-mod分别与(Q,I)在A上的表示范畴Rep(Q,I,A)及有限维表示范畴rep(Q,I,A)等价.给出了范畴rep(A_3,I,A)中Gorenstein投射模的具体构造,其中(A_3,I)=3α→2β→1,I=βα.在此基础上,给出了代数A是自入射代数的一个充分必要条件.