李代数sl(2,C)上的经典Yang—Baxter方程的解及其应用

代数方程的解法及应用一、代数方程的定义与分类1.代数方程的概念：含有未知数的等式称为代数方程。

2.代数方程的分类：a)一元一次方程：形式为ax + b = 0，其中a、b为常数，a≠0。

b)一元二次方程：形式为ax^2 + bx + c = 0，其中a、b、c为常数，a≠0。

c)二元一次方程：形式为ax + by = c，其中a、b、c为常数，a、b≠0。

d)多元方程：含有多个未知数的方程。

二、代数方程的解法1.解的概念：使方程两边的代数式相等的未知数的值称为方程的解。

a)因式分解法：将方程化为几个整式的积的形式，从而求出未知数的值。

b)公式法：利用求根公式求解一元二次方程。

c)配方法：将方程转化为完全平方的形式，从而简化方程求解。

d)消元法：将方程组中的方程相加、相减或相乘，消去一个或多个未知数，从而求解。

e)图像法：利用函数图像求解方程的解。

三、代数方程的应用1.实际问题与方程的建立：a)利润问题：成本、售价、利润与数量的关系。

b)面积问题：几何图形的面积与边长、角度的关系。

c)速度问题：路程、速度、时间的关系。

d)增长率问题：增长率、增长量与原始数量的关系。

2.方程在生活中的应用：a)财务管理：投资、贷款、利息等问题。

b)物品配置：资源分配、优化问题。

c)生产计划：生产成本、产量、利润等问题。

d)社会问题：人口增长、环保等问题。

四、方程的变形与求解步骤1.方程的变形：a)移项：将方程中的未知数移至等式的一边。

b)合并同类项：将方程中的同类项合并。

c)系数化简：将方程中的系数化为1。

2.求解步骤：a)分析方程的类型与特点。

b)选择合适的解法。

c)按照解法求解。

d)检验解的正确性。

五、方程的解的性质与判定1.解的性质：a)唯一性：一元一次方程和一元二次方程通常有唯一解。

b)无限性：线性方程组和多项式方程的解可能无限多。

c)存在性：非线性方程可能无解或存在多个解。

2.解的判定：a)有解：方程两边代数式相等时，方程有解。

yang baxter方程
Yang-Baxter方程是一个数学方程，涉及到代数和数学物理学领域。

它是由中文数学家杨振宁和美国数学家Baxter于20世纪70年代提出的。

该方程定义了三个线性空间V，W和Z之间的线性映射R。

如果R 满足以下方程：
R12R13R23 = R23R12R13
其中R12 = R I I，R13 = I R I，R23 = I I R，I是恒等映射，表示张量积，则称R为Yang-Baxter映射。

这个方程在代数和数学物理学中都有非常广泛的应用。

在代数学中，它与李群的可积表示理论相关；在数学物理学中，它与量子群、统计物理等领域有紧密联系。

Yang-Baxter方程的研究在数学和物理学中都有重要意义，它不仅是研究李群、量子群和统计物理等领域的重要工具，还对解决其它代数问题有一定的启示作用。

- 1 -。

a r X i v :h e p -t h /0609068v 3 20 D e c 2006Long-range SL (2)Baxter equation in N =4super-Yang-Mills theoryA.V.BelitskyDepartment of Physics,Arizona State UniversityTempe,AZ 85287-1504,USAAbstract Relying on a few lowest order perturbative calculations of anomalous dimensions of gauge invariant operators built from holomorphic scalar fields and an arbitrary number of covariant derivatives in maximally supersymmetric gauge theory,we propose an all-loop generalization of the Baxter equation which determines their spectrum.The equation does not take into account wrapping effects and is thus asymptotic in character.We develop an asymptotic expansion of the deformed Baxter equation for large values of the conformal spin and derive an integral equation for the cusp anomalous dimension.1IntroductionFour-dimensional nonabelian gauge theories were found to possess integrable structures.Initiallythey had been discovered in evolution equations for scattering amplitudes in multi-color limit of high-energy QCD[1,2].Subsequently it was demonstrated that hidden symmetries also arisein thefield-theoretical dilatation operator whose eigenvalues determine anomalous dimensionsof gauge invariant composite operators of elementaryfields in underlying models.Integrability was revealed in one-loop anomalous dimensions of twist-L maximal-helicity quasipartonic Wilsonoperators in QCD[3]by identifying the former with eigenenergies of the L−site XXX Heisenbergspin chain[4].The magnet turns out to be noncompact,for the spin operators acting on its sites transform in the infinite-dimensional representation of the collinear subgroup SL(2,R)ofthe conformal group SO(4,2).Since the one-loop phenomenon is spawned by gluons,invariably present in Yang-Mills theories,—supersymmetric or not,—they all necessarily exhibit the same,universal integrable structures.The differences arise due to distinct particle contents of themodels:while only holomorphic sectors are integrable in QCD and its nearest supersymmetric N=1,2siblings[5],the maximal supersymmetry of the N=4super-Yang-Mills theory extends integrability to all operators[6,7,8,5].Recent perturbative studies build up a growing amountof direct evidence that integrability persists in certain closed compact[7,8]and noncompact [9,10,11,12,13]subsectors of gauge theories even in higher orders of perturbation theory.Thus,while ruled out for gauge theories with N<4supercharges,it is plausible that the max-imally supersymmetric Yang-Mills theory is completely integrable.An additional confirmation for this conjecture comes from studies of multi-loop multi-leg scattering amplitudes which display intriguing iterative structures[14,15].These arguments suggest that the spectrum of all-loop anomalous dimensions in N=4SYM theory is determined by a putative long-range integrable spin chain with the dilatation operator being its Hamiltonian.In this note we probe the underlying integrable long-range magnet by proposing its multi-loopperturbative structure within the framework of the Baxter Q−operator[16].This approach isbased on the existence of an operator Q(u)depending on a spectral parameter u and acting on the Hilbert space of the magnet.For different values of u it forms a family of mutually commuting operators,simultaneously commuting with the spin-chain Hamiltonian as well.Although in the present circumstances,the formalism is equivalent to the Bethe Ansatz approach,it possesses certain advantages.First,the eigenvalue Q(u)of the Baxter operator Q(u)determines the single-particle wave function of the chain in the representation of separated variables[17].Second,the equation for the Q−operator,—known as the Baxter equation,—is polynomial,to be contrasted with a set of coupled transcendental Bethe equations.Third,it allows for a straightforward asymptotic analysis when quantum numbers of the chain are large as will be demonstrated below.Currently we restrict our consideration to the closed noncompact SL(2)sector of the gauge[18,19]theory which is spanned by single-trace maximal R−charge Wilson operators built from the holomorphic scalarfields X=φ1+iφ2and covariant derivatives,O n1n2...n L(0)=tr{(iD+)n1X(0)(iD+)n2X(0)...(iD+)n L X(0)}.(1.1) Here D+=Dµnµis projected on the light cone with a null vector nµ,n2=0,in order to factor out the maximal Lorentz-spin component from the operator in question.These Wilson operators mix with each other under renormalization group evolution and acquire anomalous dimensionsat all orders of perturbative series in coupling constant1∞ n=1g2nγ(n).(1.2)γ(g)=Wefind it convenient to use the expansion parameter g related to the’t Hooft coupling constant λvia√N cg=2 ln Q(0)(i2 ln Q(0)(−i2)−ln Q(0)(−i2 of the scalarfield X,u±=u±i1Their complete two-loop planar mixing matrix has been recently computed in Ref.[13].the number of its nodes on the real u −axis coinciding with the spin N of the operator.The polynomialQ (u )=N n =1(u −u n (g )),(2.2)fulfills these properties and is real Q ∗(u )=Q (u ∗)for u ∗=u .In Ref.[13]we found from available two-[22,23,9,10]and three-loop[24,25,26]diagrammatic calculations of anomalous dimensions that the Baxter equation possesses the formx L +e σ+(x +)Q (u +i )+x L −e σ−(x −)Q (u −i )=t (u )Q (u ),(2.3)with the dressing factors depending on the renormalized spectral parameter [27]x [u ]=1u 2−g 2 ,x ±=x [u ±].(2.4)The multi-loop transfer matrix 2t (u )=2u L +q 1(g )u L −1+q 2(g )u L −2+···+q L (g )(2.5)acquires the “missing”term ∼u L −1at g 2−order,i.e.,q 1(g )∼O (g 2),while the rest of the chargesstart from O (g 0),q k (g )=q (0)k +O (g 2).The additional dressing factors σ±obey the complexconjugation condition (σ−(x −))∗=σ+(x +)for ℑm u =0and encode the renormalization of the noncompact charges q k (g )at higher orders.An analysis yielded the following result to three-loop order [13]σ±(x )=−g 22) ′−g 42) ′′+x ln Q (±i2[ln Q (u )]′+g 4384[ln Q (u )](5)+O (g 8) u =i/2u =−i/2.(2.7)The anomalous dimensions found using these equations reproduced exactly available perturbative predictions.One can demonstrate that the condition of the pole-free transfer matrix at Bethe roots u n (g ),t (u n )=0immediately produces the three-loop Bethe Ansatz of Ref.[28].3Multi-loop conjectureThe above representation (2.6)of the dressing factors σ±can be brought to a very suggestive ly,a quick inspection allows one to rewrite these terms as an expansion in terms of the Chebyshev polynomials of the second kind U k ,σ±(x )=2g 1−t 2 ln Q (±i 2x n +1U n (t )2Note that with this transfer matrix the resulting Baxter equation breaks down already at order O (g 2n )in coupling constant with n =L .It turns out that one can correctly incorporate order n =L corrections by replacing the leading term in t (u )with the following combination 2u L →x L ++x L −−(i 2)L .with n max =2,valid to O (g 3)in the approximation of Eq.(2.6).Having this representation at our disposal,we may naturally extend the first few terms of the available perturbative series to all orders in coupling g ,by sending n max →∞.Using the summation theorem for Chebyshev polynomials,one can sum the infinite series up into the function −(arccot t +2x/g 1−t 2)/√2πx 10dz 1−1dt 1−t 2 ln Q ±iz t +¯z g 2πln Q ±i √u 2−g 2πln Q ±i √2L defining the quadratic Casimirq (0)2=−J (0)(J (0)−1)−12L +12L →J =N +12(γ+(g )−γ−(g )).(3.4)Consequently,we may naturally identify the addendum with the anomalous dimensions of a multiplicatively renormalizable composite operators,γ(g )=γ+(g )−γ−(g ).Making use of the explicit form of the dressing factors σ±,we find the integral representation of γ(g )in terms of the solution to the Baxter equation,γ(g )=i g 21−t 2 ln Q i 2−g t ′.(3.5)The Taylor expansion shows that the lowest three orders in g 2coincide with Eq.(2.7).The Baxter equation (2.3)can be solved analytically order-by-order in coupling constant for specific values of L and N ,e.g.,for L =4,N =2eigenvalue with zero quasimomentum reads 3,γ(g )=5±√2g 2−17±5√8g 4+585±207√160g 6−5185±2039√640g 8+O (g 10).(3.6)However,it has a limited range of applicability being asymptotic in character:it allows tofind the anomalous dimensions up to order O(g2n)only for operators of length L≥n.This restriction arises from the breaking of its polynomiality above a boundary value of n,i.e.,for L≤n.Analogous limitations apply to the Bethe Ansatz equations of Ref.[27].A generic dependence of γ(g)on the parameters L and N is not known however and below we will develop an asymptoticscheme tofind it in the large spin limit.4Asymptotic expansionThe large−N behavior of anomalous dimension is of special interest in its own right since itgoverns the Sudakov asymptotics of scattering amplitudes[32,33],and in light of gauge/string duality,for it can be compared(at strong coupling)to energies of quasiclassical strings[34,35,36,37,38].Recall atfirst that the anomalous dimensions of twist−L operators occupy a band of width L−2,with the upper and lower boundaries scaling like[4,18]γlower(g)=2Γcusp(g)ln N,γupper(g)=LΓcusp(g)ln N,(4.1) and the coefficientΓcusp(g)being the cusp anomalous dimension[39,40],known to one-[39],two-[40,22,23,18]and three-loop orders[25,26,15].The minimal anomalous dimensionγlower(g)ofhigh-twist operators develops the asymptotic behavior identical to the one of twist-two operators [37,12].Since the single-logarithmic regime is realized for L e L≪N with L,N→∞[37],this allows one to evade the limitation of the asymptotic character of the Baxter equation and toderive an all-loop equation for the cusp anomalyΓcusp.Notice that although we have to solve the problem with large quantum numbers,we cannotapply traditional WKB expansion for Q(u)(see,e.g.,Ref.[4])since the latter is valid for the spectral parameter which scales as u∼N1while the energy is determined by the Baxter function Q(u)evaluated at the argument u=±i,(4.2)Q(0)(u)we can rewrite the Baxter equation in the formu L−u L+φ(0)(u)+The solution to it is based upon different scaling behavior of the right-and left-hand sides with N.For the spectral parameter u∼N0,the solution is given by an infinite fraction.Keeping the leading terms only we come to two difference equationsu L+Q(0)+(u+i)=t(0)(u)Q(0)+(u),u L−Q(0)−(u−i)=t(0)(u)Q(0)−(u).(4.4) The additive corrections to their right-hand sides go as O(1/q(0)n),where q(0)n is a conserved charge which scales with the maximal power of N.For cyclically symmetric statesθ=0,the asymptotic solution to(1.5)readsQ(0)(u)=Q(0)+(u)Q(0)−(−i2),(4.5)in terms of the solution to the two-term recursion relations(4.4)written with the help of the rootsδk of the transfer matrix t(0)(u)=2(u−δ1)(u−δ2)...(u−δL)[37],Q(0)∓(u)=2±iuLk=1Γ(±iu+iδk)2).(4.6)Now recall that we are interested only in the trajectory with the lowest energy only.The latter does not depend on the twist of the operator,i.e.,it is L−independent.The reason for this being that for the corresponding state only the quadratic Casimir q(0)2is large while all other integrals of motion become anomalously small.For the roots of the transfer matrix this is translated into the statement that just two rootsδ1=δL are much larger than the rest ofδ’s which are negligible [37],yielding the relationδ21≃−q(0)2/2.(4.7) In this case the genus−(L−2)hyperelliptic Riemann surface parametrizing the magnet,withits moduli determined by the conserved charges q(0)k ,degenerates into a sphere,i.e.,the spectralcurve of twist-two operators[37].This implies that all zones but one of allowed classical motion in separated variables collapse into points.In this limit the transfer matrix reduces to t(0)(u)≃u Lτ(0)(u)=u L(2−N2/u2)and the solutions to the recursion relations(4.4)becomes symmetric under the interchange u→−u and equal,Q(0)+(u)=Q(0)−(u).In the infinite-spin limit,we then find that the leading behavior of the Baxter function isi ln Q(0)±(u) ′=ψ(−iu+iδ1)+ψ(−iu−iδ1)+...≃2ln N+...,(4.8)where in the last step we imposed the condition that the evaluation of the anomalous dimensions (1.4)requires u∼N0and thus it can be neglected compared to N.This consideration immedi-ately suggests that for the minimal-energy trajectory in the single-logarithmic asymptotics the dressing factors u L±in the left-hand side of Eq.(4.4)are irrelevant.Thus they can be reduced to u L±→u L and cancelled with the factor extracted from the transfer matrix t(0)(u),making the equation L−independent,as expected.The latter is clearly seen in the quasiclassical approach when one assumes the spectral parameter to scale with N,i.e.,u=Nˆu andˆu∼1.We will use the same argument below to write the all-loop Baxter equation for the lowest trajectory.4.2Beyond one loopLet usfind the equation for the minimal trajectory starting from the multi-loop Baxter equation (2.3).Again,we have to separate only terms which generate leading behavior in the large-spin limit.The transfer matrix degenerates on the minimal trajectory to the one of twist-twooperators,i.e.,t(u)≃u L−2(2u2+q1u+q2).Notice however that only O(g0)contributions to the charges q1,2(g)can induce the leading effect in the large−N limit since the quantum corrections grow at most logarithmically with N→∞.Therefore,we can replace t(u)≃t(0)(u)in the right-hand side of(2.3).Hence the reduced Baxter equation admits the formeσ+(x+)Q(u+i)+eσ−(x−)Q(u−i)=τ(0)(u)Q(u).(4.9) Introducing again the ratio of the Baxter functions Q analogous to Eq.(4.2),we can write again two asymptotic equations for the two components of Q.However,since we are interested solely in the lowest trajectory,both equations generate the same contributions to the anomalous dimension.Therefore,we may consider only one of the resulting equations,e.g.,eσ+(x+)Q(u+i)=τ(0)(u)Q(u).(4.10) Next,introducing the one-and all-loop Hamilton-Jacobi functions,S(0)(u)=ln Q(0)(u),S(u)=ln Q(u),(4.11) Eq.(4.10)can be rewritten by virtue of the one-loop degenerate Baxter equation(4.4)for the lowest trajectory as followsS(u+i)−S(0)(u+i)−S(u)+S(0)(u)+σ+(x+)=2πim.(4.12) Here m displays the ambiguity in choosing the branch of the logarithm.Since the anomalous dimension(3.5)is expressed in terms of the derivative of the Hamilton-Jacobi function,it is instructive to differentiate both side of Eq.(4.12)with respect to ing the perturbative decomposition of the all-order Hamilton-Jacobi functionS(u)=S(0)(u)+g2S h(u),with S h(u)=∞ n=1g2(n−1)S(n)(u),(4.13)and rescaling S′h by extracting its single logarithmic behavioriS′h(u)=Σ(u)ln N,(4.14) wefinally arrive at the equation for the cusp anomalyΣ(u+i)−Σ(u)+1u2+−g21−1dt1−t22−gt)=0.(4.15)The cusp anomalous dimension is then found in terms ofΣmaking use of Eq.(3.5)asΓcusp(g)=g2+g4 1−1dt1−t2Σ i2,one immediately realizes that thefirst two terms give the imaginary part ofΣfor real u.Then the use of a dispersion relation for the rescaled Hamilton-Jacobi function in the last term allows us to bring the equation into the form of a Fredholm equation of the second kind.Then the large−x asymptotics of the solution to this integral equation yields the cusp anomaly2x[u]ℑm S h(u+i5Weak-coupling expansionWe will seek the solution to the cusp equation (4.15)intheform[2,20]Σ(u)=10dωωiu −1¯ω−iu −1 Σ lnω2 Σ(p )+Γcusp (g )2∞0dp ′e −p ′/2p ′J 1(p ′) −J 1(p ′) J 0(p )−2g 2.(5.4)At the same time,we can use Eq.(4.16)for the anomalous dimension in terms of the Hamilton-Jacobi function,such that we getΣ(0)=−1−g∞0dp sinh p/2∞ n =0g 2n Σn (p ),(5.6)where the prefactor is extracted for the latter convenience,and substituting it into the cuspequation(5.2),wefind for the few lowest order functionsΣ0(p)=−1,Σ1(p)=π28p2,Σ2(p)=−118ζ(3)p−π2192p4,Σ3(p)=73π68− 596ζ(3) p+π496ζ(3)p3+π2p49216,....The p-independent term in these expressions determines the cusp anomaly according to Eq.(5.4). The lowest six orders ofΓcusp readΓcusp(g)=g2−π2720g6(5.7)−73π68 g8+ 887π848ζ(3)2−5479001600−π448ζ(3)ζ(5)−5164ζ(3)ζ(7) g12+ 7680089π1248384ζ(3)2+ζ(3)41920ζ(3)ζ(5)−17π2128ζ(3)ζ(7)−27332ζ(3)ζ(9)g14+....The two-and three-loop coefficients agree with Feynman diagram calculations of Refs.[22,23,18] and[25,26,15],respectively,and the rest with available predictions of Ref.[12].The calculation can be extended to few dozens of terms in the series(5.6),but the results are too cumbersome to display here.6OutlookIn this note we proposed a multi-loop asymptotic Baxter equation for anomalous dimensions of arbitrary twist−L,spin−N single-trace holomorphic Wilson operators in maximally supersym-metric Yang-Mills theory.We developed an approach for the asymptotic solution of the resulting equation for large values of spin N and derived an all-order equation for the cusp anomaly which governs the Sudakov asymptotics of anomalous dimensions.The problem with the asymptotic nature of the equation was overcome by studying the lowest-energy trajectory which is insensitive to the twist of the operator in the single logarithmic regime L e L≪N,L,N→∞.There are many questions which remain to be addressed.One has to constrain the amount of ambiguity left in restoration of higher loop effects from the lowest few terms of perturbative series for the dressing factors.The analysis of the strong-coupling expansion ofΓcusp is of special interest in light of available predictions for it from string theory[34].A preliminary analysis reveals however that g=∞is an essential singularity of the cusp equation.Next,one has to understand how to incorporate wrapping effects to the Baxter equation(2.3)and to identify aputative microscopic spin chain standing behind it.An ultimate goal would be to generalize the all-order Baxter equation to all sectors of N =4super-Yang-Mills theory which is conceivably described by a long-range graded magnet.Note addedRecently a new calculation was published of the four-loop cusp anomalous dimension using the unitarity technique [42].Their numerical finding explicitly demonstrates that the prediction (5.7)basedon theBaxterequation (2.3)with the dressing factor(3.1)is incorrect starting from four loops.In a companion paper [43],a modified form of the cusp equation was proposed which takes into account a non-trivial dressing factor in Bethe equations of Ref.[21].Presently we use the result of Ref.[42,43]in order to fix the form of the four-loop correction to the Baxter equation (2.3)and find anomalous dimensions of local Wilson operators.It was suggested [42],that to reconcile within error bars the result of their numerical calculation with the one coming from the cusp equation,the sign of the ζ2(3)in four-loop contribution of Eq.(5.7)has to be flipped.This requires the following additive modification of the four-loop cusp anomaly (5.7),Γcusp (g )=−ζ(3)2p ′ +O (g 3),(6.2)in agreement with Ref.[21].Here the favored value of the constant is α=1u ++gt →1x 2++O (g 6).(6.3)A simple analysis allows to unambiguously restore the correction term to the dressing factors (3.1)of the Baxter equation (2.3).Namely,the former get shifted asσ±(x )→σ±(x )+∆±(x ),(6.4)with∆±(x )=∓iαg 6π√2−gt ) ′+O (g 7).(6.5)Taking into account this extra term,the anomalous dimensions of Wilson operators acquire additional contributions.For instance,the four-loop term in Eq.(3.6)gets corrected byγ(g )=···−α5±√8g 8+O (g 10).(6.6)2αp , Σ3(p )=···+124αp (π2+p ).This explicitly demonstrates that the attempt to rescue the principle of maximal transcendental-ity[26]in the cusp anomalous dimension withα=1[13]A.V.Belitsky,G.P.Korchemsky,D.M¨u ller,Towards Baxter equation in supersymmetricYang-Mills theories,hep-th/0605291.[14]C.Anastasiou,Z.Bern,L.J.Dixon,D.A.Kosower,Phys.Rev.Lett.91(2003)251602.[15]Z.Bern,L.J.Dixon,V.A.Smirnov,Phys.Rev.D72(2005)085001.[16]R.J.Baxter,Annals Phys.70(1972)193;Exactly Solved Models in Statistical Mechanics,Academic Press(London,1982).[17]E.K.Sklyanin,Lect.Notes Phys.226(1985)196;Quantum inverse scattering method.Se-lected topics,“Quantum Group and Quantum Integrable Systems,”ed.Mo-Lin Ge,World Scientific,(Singapore,1992)pp.63–97,hep-th/9211111;Progr.Theor.Phys.Suppl.118 (1995)35.[18]A.V.Belitsky,A.S.Gorsky,G.P.Korchemsky,Nucl.Phys.B667(2003)3.[19]N.Beisert,Nucl.Phys.B676(2004)3.[20]G.P.Korchemsky,Nucl.Phys.B443(1995)255.[21]N.Beisert,M.Staudacher,Nucl.Phys.B727(2005)1.[22]A.V.Kotikov,L.N.Lipatov,Nucl.Phys.B661(2003)19;(E)Nucl.Phys.B685(2004)405.[23]A.V.Kotikov,L.N.Lipatov,V.N.Velizhanin,Phys.Lett.B557(2003)114.[24]B.Eden,C.Jarczak,E.Sokatchev,Nucl.Phys.B712(2005)157;B.Eden,C.Jarczak,E.Sokatchev,Y.S.Stanev,Nucl.Phys.B722(2005)119.[25]S.Moch,J.A.M.Vermaseren,A.Vogt,Nucl.Phys.B688(2004)101.[26]A.V.Kotikov,L.N.Lipatov,A.I.Onishchenko,V.N.Velizhanin,Phys.Lett.B595(2004)521;(E)Phys.Lett.B632(2006)754.[27]N.Beisert,V.Dippel,M.Staudacher,J.High Ener.Phys.0407(2004)075.[28]M.Staudacher,J.High Ener.Phys.0505(2005)054.[29]D.M¨u ller,Phys.Rev.D49(1994)2525;Phys.Rev.D58(1998)054005;A.V.Belitsky,D.M¨u ller,Nucl.Phys.B537(1999)397.[30]N.Beisert,Nucl.Phys.B659(2003)79.[31]M.Bianchi,B.Eden,G.Rossi,Y.S.Stanev,Nucl.Phys.B646(2002)69.[32]J.C.Collins,Adv.Ser.Direct.High Ener.Phys.5(1989)573.[33]G.P.Korchemsky,Mod.Phys.Lett.A4(1989)1257;G.P.Korchemsky,G.Marchesini,Nucl.Phys.B406(1993)225.[34]S.S.Gubser,I.R.Klebanov,A.M.Polyakov,Nucl.Phys.B636(2002)99.[35]S.Frolov,A.A.Tseytlin,J.High Ener.Phys.0206(2002)007.[36]M.Kruczenski,J.High Ener.Phys.0212(2002)024;J.High Ener.Phys.0508(2005)014.[37]A.V.Belitsky,A.S.Gorsky,G.P.Korchemsky,Nucl.Phys.B748(2006)24.[38]K.Sakai,Y.Satoh,A large spin limit of strings on AdS5×S5in a non-compact sector,hep-th/0607190.[39]A.M.Polyakov,Nucl.Phys.B164(1980)171.[40]G.P.Korchemsky,A.V.Radyushkin,Nucl.Phys.B283(1987)342.[41]S.E.Derkachov,G.P.Korchemsky,A.N.Manashov,Nucl.Phys.B566(2000)203;Nucl.Phys.B661(2003)533.[42]Z.Bern,M.Czakon,L.J.Dixon,D.A.Kosower,V.A.Smirnov,The four-loop planar am-plitude and cusp anomalous dimension in maximally supersymmetric Yang-Mills theory, hep-th/0610248.[43]N.Beisert,B.Eden,M.Staudacher,Transcendentality and crossing,hep-th/0610251.[44]A.H.Mueller,Phys.Rev.D18(1978)3705.。

求解杨-Baxter方程的方法
马中骐
【期刊名称】《兰州大学学报：自然科学版》
【年(卷),期】1991(0)S1
【摘要】本文系统研究了3种求解杨-Baxter方程的方法,指出这些方法各自适用的条件,举例说明普遍求解带谱参数的杨-Baxter方程三角解,目前还是一个尚未解决的问题。

【总页数】12页(P44-55)
【关键词】杨-Baxter方程;量子包络代数;谱分解
【作者】马中骐
【作者单位】中国科学院高能物理研究所
【正文语种】中文
【中图分类】N55
【相关文献】
1.余量子杨-BaXter方程及其代数刻划 [J], 郝志峰;冯良贵;杨德贵
2.杨—Baxter方程的一个推论 [J], 梁安民
3.杨-Baxter方程的对称性 [J],
4.吴方法和带参数杨—Baxter方程的求解技术 [J], 王世坤;吴可
5.杨— Baxter方程的一个推论 [J], 梁安民
因版权原因，仅展示原文概要，查看原文内容请购买。

齐次Rota-Baxter3-李代数(Ⅱ)白瑞蒲;马越;侯帅;亢闯闯;巴一【期刊名称】《黑龙江大学自然科学学报》【年(卷),期】2018(035)004【摘要】无限维单3-李代数Aw=∑FLm上权为λ的齐次Rota-Baxter算子R是Aw的Rota-Baxter算子,且满足R(Lm)=f(m)Lm,其中f:Z→F.当λ不等于零时,3-李代数的权为λ的Rota-Baxter算子完全由权为1的Rota-Baxter算子所决定.研究Aw上满足f(0)=0,∫(1)=-1,权为1且f在无穷多个偶数上取非零值的14类齐性Rota-Baxter算子的结构;在3-李代数Aw的基底空间A上,利用齐次Rota-Baxter 算子构造齐次Rota-Baxter 3-李代数(A,[,,]j,Rj),1≤j≤7,其中弓是由fj确定的齐次Rota-Baxter算子.【总页数】6页(P396-401)【作者】白瑞蒲;马越;侯帅;亢闯闯;巴一【作者单位】河北省机器学习与计算智能重点实验室,保定071002;河北大学数学与信息科学学院,保定071002;河北大学数学与信息科学学院,保定071002;河北大学数学与信息科学学院,保定071002;河北大学数学与信息科学学院,保定071002;河北大学数学与信息科学学院,保定071002【正文语种】中文【中图分类】O152.5【相关文献】1.齐次Rota-Baxter3-李代数(Ⅰ) [J], 白瑞蒲;亢闯闯;马越;侯帅;巴一2.李代数的正规列和齐次自同构 [J], 高孝成;王敬国3.Rota-Baxter3-李超代数 [J], 王波李代数,CS李代数与对称自对偶李代数 [J], 朱林生5.齐次Rota-Baxter 3-李代数(Ⅲ) [J], 白瑞蒲;侯帅;亢闯闯;马越;巴一因版权原因，仅展示原文概要，查看原文内容请购买。

半单李代数分类-概述说明以及解释1.引言1.1 概述半单李代数是李代数中的一类重要结构，它在数学和物理学中具有广泛的应用。

半单李代数的分类是研究和理解这些代数结构的重要方法之一。

本文将介绍半单李代数的定义、性质以及分类方法，并以具体的实例来说明分类的过程和结果。

在数学领域，李代数是一种具有代数结构的数学对象，它由一个线性空间和一个满足特定性质的二元运算组成。

这个二元运算通常被称为李括号，并满足反对称性和雅可比恒等式。

李代数在表示论、几何学和数学物理学等领域中起着重要作用。

半单李代数是李代数的一种特殊情况，它的定义比较简单，但却蕴含着丰富的代数结构。

半单李代数不是可约的，即不能通过任何非平凡的李理想进行分解。

这使得半单李代数成为研究对象时具有一定挑战性的代数结构。

本文将介绍半单李代数的基本性质，包括它的Lie-Poisson结构和其可表示性的特点。

同时，我们将探讨半单李代数的分类方法，其中包括通过Cartan矩阵、Dynkin图、根系以及李代数的结构进行分类的方法。

通过详细的分类过程，我们可以看到不同类型的半单李代数之间的联系和区别。

此外，本文还将给出一些特殊类型半单李代数的分类实例，包括A型、B型、C型和D型的半单李代数。

通过具体案例的讨论，读者可以更加深入地理解半单李代数的分类方法和结果。

通过本文的阅读，读者将能够对半单李代数有一个全面的了解，了解其定义、性质、分类方法以及分类实例。

同时，读者也可以进一步了解半单李代数在数学和物理领域的应用，并对未来的研究方向提供一定的启示和展望。

1.2 文章结构文章结构部分的内容可以描述以下内容:文章结构部分旨在介绍本文的组织和内容安排。

通过明确的结构，读者可以清晰地了解文章的框架，从而更好地理解文章的主题和内容。

本文共包括五个主要部分，各部分内容如下：1. 引言：本部分主要对半单李代数分类问题进行概述，并介绍文章的结构和目的。

2. 半单李代数的定义和性质：本部分将详细介绍半单李代数的定义及其基本性质。

结合超代数上的超结合Yang-Baxter方程安慧辉【摘要】主要研究结合超代数上的超结合Yang-Baxter方程.首先给出结合超代数上Rota-Baxter算子和O-算子的定义,得到结合超代数上奇的Rota-Baxter算子与李超代数上奇的Rota-Baxter算子之间的关系,找到结合超代数上的超结合Yang-Baxter方程的解与结合超代数上的O-算子之间的关系.最后给出了结合超代数上超结合Yang-Baxter方程的解与超2-上循环之间的关系.【期刊名称】《辽宁师范大学学报（自然科学版）》【年(卷),期】2019(042)002【总页数】6页(P152-157)【关键词】超结合Yang-Baxter方程;O-算子;2-上循环【作者】安慧辉【作者单位】辽宁师范大学数学学院,辽宁大连 116029【正文语种】中文【中图分类】O152.5自从20世纪80年代以来, 经典Yang-Baxter方程成为数学和数学物理中的一个重要研究课题[1-3], 许多学者对经典Yang-Baxter方程的解做了系统的研究. Rota-Baxter算子是G.Baxter首先提出的[4]，Rota在对它的研究中做了重要的贡献[5]. O-算子是Rota-Baxter算子的推广[6]. 经典Yang-Baxter方程与Rota-Baxter算子有非常密切的联系, 当李代数上存在非退化的不变双线性函数时，李代数上经典Yang-Baxter方程的反对称解与Rota-Baxter算子是一一对应的. 在文献[7]中,作者研究了李超代数上超经典Yang-Baxter方程的偶的超反对称解. 本文主要考虑在结合超代数上的超结合Yang-Baxter方程的奇的解.1 结合超代数上的Rota-Baxter算子和O-算子定义1.1[8] (1)设A=A0+A1是Z2阶化的线性空间,∘是A上的代数运算, 如果满足(x∘y)∘z=x∘(y∘z) (∀x,y,z∈A)，则称A为结合超代数.(2)设A=A0+A1是结合超代数, V是Z2阶化的线性空间, l,r:A→End(V)为线性映射,如果对于任意x,y∈A满足l(xy)=l(x)l(y),r(xy)=(-1)|x‖y|r(y)r(x),l(x)r(y)=(-1)|x‖y|r(y)l(x)，则称(V,l,r)为结合超代数A的双模.若(V,l,r)为结合超代数A的双模, 则(V*,r*,l*)也为A的双模.定义1.2 设A=A0+A1是结合超代数, (V,l,r)为A的双模,T:V→A为线性映射,如果T满足T(u)T(v)=T((-1)|T‖u|+|T|l(T(u))v+(-1)|T‖u|+|u‖v|r(T(v))u), ∀u,v∈V,则称T为关于(V,l,r)的O-算子.特别地, 设L,R:A→End(A)为左乘、右乘运算, A上关于双模(A,L,R)的O-算子R称为Rota-Baxter算子, 即线性变换R:A→A满足R(x)R(y)=R((-1)|R‖x|+|R|R(x)y+xR(y)), ∀x,y∈A.命题1.1 设A=A0+A1是结合超代数, R为A上的Rota-Baxter算子, 定义[x,y]=xy-(-1)|x‖y|yx, ∀x,y∈A，则R为A上的李超代数(A,[,])的Rota-Baxter算子.证在文献[7]中，作者考虑了|R|=0的情形, 我们考虑|R|=1的情况, 此时[R(x),R(y)]=R(x)R(y)-(-1)(|x|+1)(|y|+1)R(y)R(x), ∀x,y∈A.直接计算可得因此, R为A上的李超代数(A,[,])的Rota-Baxter算子.2 结合超代数上的O-算子与超结合Yang-Baxter方程的解设A=A0+A1是结合超代数, 如果r∈A⊗A满足r12r13-(-1)|R|r23r12+r13r23=0,(1)则称r为A上的超结合Yang-Baxter方程的解,式(1)称为超结合Yang-Baxter方程.定理2.1 设A=A0+A1是结合超代数, 如果r∈A⊗A超反对称且|r|=0或者r∈A⊗A超对称且|r|=1, 则r为A上的超结合Yang-Baxter方程的解当且仅当r(a*)r(b*)=r((-1)|r‖a*|+|r|R*(r(a*))b*+(-1)|r‖a*|+|a*‖b*|L*(r(b*))a*),∀a*,b*∈A*.(2)证设e1,e2,…,em为A0的基, f1,f2,…,fn为A1的基,为e1,e2,…,em,f1,f2,…,fn的对偶基. 设A上的代数运算的结构常数为其中,i,j=1,2,…,m;k,l=1,2,…,n.(1)如果r∈A⊗A超反对称且|r|=0, 则r可以表示为⊗⊗fl,此时aij=-aji,bkl=blk. 通过直接计算可得由〈a*⊗b*,r〉=〈a*,r(b*)〉(∀a*,b*∈A*)知如果a* 由式(2)可知与ea⊗ej⊗eq的系数等价.如果a*由式(2)可知与fc⊗fl⊗eq的系数等价.如果a*由式(2)可知与fb⊗ej⊗ft的系数等价.如果a*由式(2)可知与ed⊗fl⊗ft的系数等价.(2)如果r∈A⊗A超对称且|r|=1, 则r可以表示为⊗fk+fk⊗ei), 通过直接计算可得由〈a*⊗b*,r〉=(-1)|r‖b*|〈a*,r(b*)〉(∀a*,b*∈A*)知如果a*由式(2)可知与ej⊗ed⊗ei的系数等价.如果a*由式(2)可知与ej⊗fb⊗fk的系数等价.如果a*由式(2)可知与fl⊗fc⊗ei的系数等价.如果a*由式(2)可知与fl⊗ea⊗fk的系数等价.定理2.2 设A=A0+A1是结合超代数, (V,l,r)为A的双模. 设R:V→A为线性映射.(1)若|R|=0, 则r=R-σ(R)为A(r*,l*)V*上的超结合Yang-Baxter方程的解当且仅当R是A上关于(V,l,r)的O-算子.(2)若|R|=1, 则r=R+σ(R)为A(r*,l*)V*上的超结合Yang-Baxter方程的解当且仅当R是A上关于(V,l,r)的O-算子.证设e1,e2,…,em,f1,f2,…,fn为A的基, v1,v2,…,vs,w1,w2,…,wt为V的基,为v1,v2,…,vs,w1,w2,…,wt的对偶基.(1)若|R|=0, 因为Hom(V,A)≅A⊗V*,R可以表示为⊗⊗此时⊗⊗⊗⊗R(wk),因此, |R|=0时结论成立.(2)若|R|=1, 则⊗⊗⊗⊗R(wk),直接计算可得r12r13+r23r12+r13r23=⊗⊗⊗⊗⊗⊗(R(vp)R(vi)-R(r(R(vi))vp)+R(l(R(vp))vi))+⊗⊗(R(wq)R(vi)+R(r(R(vi))wq)-R(l(R(wq))vi))+⊗⊗⊗⊗⊗⊗(R(wq)R(wk)-R(r(R(wk))wq)-R(l(R(wq))wk))+因此, |R|=1时结论成立.3 结合超代数上的超2-上循环设A=A0+A1是结合超代数, 如果A上存在非退化不变超对称的双线性函数B(,)满足B(x,y)=(-1)|x‖y|B(y,x), B(xy,z)=B(x,yz), ∀x,y,z∈A,此时A与A*等价, r∈A⊗A可看作A上的线性变换.若|r|=0且r超反对称, 则r是超结合Yang-Baxter方程的解当且仅当r满足r(x)r(y)=r(r(x)y+xr(y)), ∀x,y∈A.若|r|=1且r超对称, 则r是超结合Yang-Baxter方程的解当且仅当r满足r(x)r(y)=r((-1)|x|+1r(x)y+xr(y)), ∀x,y∈A.因此, 当A上存在非退化不变超对称的双线性函数时, 超结合Yang-Baxter方程的解与Rota-Baxter算子是一一对应的.定义3.1 设A=A0+A1是结合超代数, B:A⊗A→F为A上的双线性函数, 如果B满足(-1)|x‖z|B(x,yz)+(-1)|x‖y|B(y,zx)+(-1)|y‖z|B(z,xy)=0, ∀x,y,z∈A,(3)则称B为结合超代数A上的超2-上循环.定理3.1 设A=A0+A1是结合超代数,r∈A⊗A非退化，B是A上由B(x,y)=〈r-1(x),y〉(∀x,y∈A)确定的双线性函数.若|r|=0且r超反对称, 则r是超结合Yang-Baxter方程的解当且仅当B为A上的超2-上循环.若|r|=1且r超对称, 则r是超结合Yang-Baxter方程的解当且仅当B为A上的超2-上循环.证∀x,y,z∈A, 由r非退化知存在a*,b*,c*∈A*使得x=r(a*),y=r(b*),z=r(c*),因此，式(3)等价于(-1)(|a*|+|r|)(|c*|+|r|)〈a*,r(b*)r(c*)〉+(-1)(|a*|+|r|)(|b*|+|r|)〈b*,r(c*)r(a*)〉+(-1)(|b*|+|r|)(|c*|+|r|)〈c*,r(a*)r(b*)〉=0.此外, 〈L*(x′)d*,y′〉=(-1)|x′‖d*|〈d*,x′y′〉,〈R*(x′)d*,y′〉=(-1)|x′‖d*|+|x′‖y′|〈d*,y′x′〉.(1)若|r|=0且r超反对称, 由〈a*,r(b*)〉+(-1)|a*‖b*|〈b*,r(a*)〉=0可得(-1)|a*‖c*|〈a*,r(b*)r(c*)〉+(-1)|a*‖b*|〈b*,r(c*)r(a*)〉+(-1)|b*‖c*|〈c*,r(a*)r(b*)〉=-(-1)|b*|(|a*|+|c*|)〈c*,r(L*(r(b*))a*)〉-(-1)|b*‖c*|〈c*,r(R*(r(a*))b*)〉+(-1)|b*‖c*|〈c*,r(a*)r(b*)〉=(-1)|b*‖c*|〈c*,r(a*)r(b*)-r(R*(r(a*))b*)-(-1)|a*‖b*|r(L*(r(b*))a*)〉.因此, |r|=0且r超反对称时结论成立.(2) 若|r|=1且r超对称, 由〈a*,r(b*)〉-(-1)|a*‖b*|+|a*|+|b*|〈b*,r(a*)〉=0可得(-1)(|a*|+1)(|c*|+1)〈a*,r(b*)r(c*)〉+(-1)(|a*|+1)(|b*|+1)〈b*,r(c*)r(a*)〉+ (-1)(|b*|+1)(|c*|+1)〈c*,r(a*)r(b*)〉=(-1)|b*|(|a*|+|c*|)+|b*|+|a*|+|c*|〈c*,r(L*(r(b*))a*)〉+(-1)|b*‖c*|+|b*|+|a*|+|c*|+1〈c*,r(R*(r(a*))b*)〉+(-1)|b*‖c*|+|b*|+|c*|+1〈c*,r(a*)r(b*)〉=(-1)|b*‖c*|+|b*|+|c*|+1〈c*,r(a*)r(b*)-(-1)|a*|+1r(R*(r(a*))b*)-(-1)|b*‖a*|+|a*|r(L*(r(b*))a*)〉.因此, |r|=1且r超对称时结论成立.参考文献：【相关文献】[1] BELAVIN A A. Dynamical symmetry of integrable quantum systems[J].Nucl PhysB,1981,180(2):189-200.[2] FADDEEV L D,TAKHTAJAN L.The quantum inverse scattering method of the inverse problem and the Heisenberg XYZ model[J].Russ Math Surv,1979,34:11-68.[3] CHARI V,PRESSLEY A.A guide to quantum groups[M].Cambridge:Cambridge University Press,1994.[4] BAXTER G.An analytic problem whose solution follows from a simple algebraic identity[J].Pacific J Math,1960,10(3):731-742.[5] ROTA G C. Baxter operators, an introduction[C]∥KUNG J P S.Gian-Carlo Rota on combinatorics: Introductory papers and commentaries. Boston:Birkhauser,1995.[6] BORDEMANN M.Generalized Lax pairs, the modified classical Yang-Baxter equation, and affine geometry of Lie groups[J].Comm Math Phys,1990,135(1):201-216.[7] WANG Y,HOU D,BAI C. Operator forms of the classical Yang-Baxter equation in Lie superalgebras[J].Int J Geom Meth Modern Phys,2010,7(4):583-597.[8] ABDAOUI K,MABROUK S,MAKHLOUF A.Rota-Baxter operators on pre-Lie superalgebras and beyond[J].arXiv:1512.08043.。

有关杨—巴克斯特方程的理论成果综述一、杨—巴克斯特方程的基本原理及内涵杨—巴克斯特方程是一种重要的描述波动现象的数学模型，它被广泛应用于自然界和工程界中的各种波动现象的研究。

杨—巴克斯特方程的基本原理是描述一种可压性流体的运动，在此运动中，流体质点之间的相对位置、速度和加速度是最基本的物理量。

这种运动可以被不同类型的波浪所描述，如水波、声波、光波等。

在杨—巴克斯特方程的内涵中，表示流体质点之间的相互作用的力很重要。

这个力可以是广义上的内力和外力之和。

该方程中的每一个项都具有一个特定的物理含义，并且不同的项之间也存在特定的关系，如波长、速度等。

通过对这些项之间关系的研究，我们可以深入了解波动现象的性质及其在自然界和工程界的应用。

总结：杨—巴克斯特方程的基本原理是描述一种可压性流体的运动，其内涵是表示流体质点之间的相互作用的力，方程中不同项之间存在特定的关系，通过研究这些关系可以深入了解波动现象的性质及其应用。

二、杨—巴克斯特方程在水波传播中的应用杨—巴克斯特方程在水波传播中有着广泛的应用，主要用于研究海洋学和水文学等领域的问题。

其中，最重要的应用是研究海浪的性质和形成机制。

海浪是海洋中最常见的波浪，其形成机制受到很多因素的影响，例如风力、海水深度、海底形态等。

通过建立杨—巴克斯特方程的模型，可以对海浪的传播速度、波长、振幅等特征进行预测和控制。

此外，杨—巴克斯特方程还被广泛应用于潮汐的研究。

潮汐是海洋中重要的大气环流，其形成机制涉及到地球自转、月球和太阳的引力力等因素。

通过对杨—巴克斯特方程的研究，我们可以对潮汐的周期、振幅、相位等特征进行分析和预测。

总结：杨—巴克斯特方程在水波传播中有着广泛的应用，主要用于研究海浪和潮汐的特性，可以对其传播速度、波长、振幅等进行预测和控制。

三、杨—巴克斯特方程在声波传播中的应用杨—巴克斯特方程在声波传播中也有着广泛的应用，主要用于声学、天文学、地质物理学等领域的研究。

前年购买量+去年购买量+今年购买量=140台
x+2x+4x=140
思考：怎样解这个 方程呢？
自学导航
下面的框图表示了解这个方程的流程：
x+2x+4x=140
合并同类项 依据：乘法对加法的分配律
7x 140
系数化为1 依据：等式性质2
x 20
自学导航 下面解方程中“合并同类项”起了什么作用？
x + 2x + 4x = 140
(2)－3x+7x=___4_x____； (4)1 y 2 y 2y __－__y___.
33
情境引入
约公元820年，中亚细亚数学家阿尔—花拉子米 写了一本代数书，重点论述怎样解方程. 这本书的 拉丁译本取名为《对消与还原》.
对消与还原推动了古代数学的进步，为人们解 方程问题提供了简便的方法.
其实不管是对消与还原，还是合并同类项与移 项，其目的都是为了化简方程.
自学导航
问题1：某校三年共购买计算机140台，去年购买的数量是前年的2倍，今年 购买的数量又是去年的2倍，前年这个学校购买了多少台计算机？ 设前年购买了x台.可以表示出：去年购买计算机__2_x__台，今年购买计算机 __4_x__台.你能找出问题中的相等关系吗？
得
x-3x+9x=-1 701.
合并同类项，得 7x=-1 701.
系数化为 1，得 x=-243.
所以-3x=729,9x=-2 187. 答:这三个数是一243，729，-2187.
迁移应用
1.一个两位数，个位上的数是十位上的数的3倍，它们的和是12，那么这个
两位数是____3_9____.
2.【古代数学问题】中国古代数学著作《算法统宗》中有这样一段记载:

Rota-Baxter算子及其应用周淑云【摘要】Rota-Baxter算子是积分算子的抽象和推广.本文介绍了Rota-Baxter算子的概念和一些基本的性质,并且讨论了Rota-Baxter算子在序列、q-积分、矩阵代数等方面的应用.【期刊名称】《纯粹数学与应用数学》【年(卷),期】2017(033)005【总页数】8页(P454-461)【关键词】Rota-Baxter算子;k-代数;交换环;矩阵【作者】周淑云【作者单位】广东培正学院计算机科学与工程系,广东广州 510830【正文语种】中文【中图分类】O153.5设 k是一个交换环,Rota-Baxter代数是由一个结合的 k-代数和 Rota-Baxter算子组成,Rota-Baxter算子是积分算子的抽象和推广,包括求和、投影和数乘等算子,又作为经典的Yang-Baxter方程的算子形式被物理学家独立发现.Rota-Baxter代数的理论起源于美国数学家G.Baxter[1]于1960年的波动理论研究,接着Rota开始研究在组合学中的应用,他利用发生函数和Mobius反演公式得到了一系列的组合恒等式[2-3].近年来,Rota-Baxter代数得到了系统的发展,并在量子场论的重整化理论、树状代数、Hopf代数、哑积分、预Lie-代数、数论MZV及组合恒等式等理论中有着重要的应用[4-5].在上世纪80年代,一些数学家在研究Yang-Baxter方程时,在Lie代数中发现了Rota-Baxter恒等式,从而引起了很多数学家和物理学家的兴趣.1998年,Winkel[6]在研究Baxter序列方面的工作之后,Connes和Kreimer[7-8]于 2000年将Rota-Baxter代数引入到量子域重正规化的研究,它是量子域重正规化理论从代数角度研究的奠基性工作.2000年,Guo利用Rota-Baxter代数研究了第一类和第二类Stirling数,指出了Rota-Baxter代数和分拆、多项式系数之间的联系[9]. Rota-Baxter代数与数学、数学物理有着十分紧密地联系,而且Rota-Baxter代数的研究与其它有着丰富成果的数学领域相比,还尚处在研究的初级阶段,所以有着十分广泛的研究与发展前景,见文献[5,10-13].在第二节中,主要回顾了Rota-Baxter算子的定义及其基本性质,然后得到了一个构造权重为-1的Rota-Baxter算子的重要方法.第三节中,我们讨论了Rota-Baxter 算子的一些重要的应用.本文中的环R,是有单位元1R的交换环.我们用N表示自然数集构成的加法幺半群,N+表示正整数构成的加法半群,R表示实数域.文中有关的概念和记号均参见文献[5,13-14].设R是一个k-代数,如果R中的一个线性算子P:R→R满足Rota-Baxter程那么称P是R上的一个权重为λ的Rota-Baxter算子（简称RBO).其中λ∈k.显然,0映射0:R→R是任意环R上的Rota-Baxter算子.因此每一个k-代数都可以看成是一个Rota-Baxter k-代数.单位映射IP显然是权重为−1的Rota-Baxter算子.文献[14]中已初步讨论了Rota-Baxter算子的性质，下面我们进一步讨论它的性质,并利用RBO的性质得到一些Rota-Baxter算子的重要例子.命题2.1[14] (1)设(R,P)是Rota-Baxter代数，则P(R)是R的非酉子代数.命题2.2[14] 设 P 是权重为− λ(或λ)的Rota-Baxter算子,则P 也是权重为− λ(或λ )的Rota-Baxter算子.其中或IP是单位映射.定理2.1 设R是一个k-代数,R上的线性算子P是权重为-1幂等的Rota-Baxter 算子当且仅当存在R非酉的k-子代数R1,R2的k-模直和分解R=R1⊕R2,使得是R到R1上的满射满足证明如果R到非酉的k-子代数R1,R2有k-模直和分解R=R1⊕R2,则对于有则P是幂等的.设其中因为所以因此得到因此,P是权重为−1的幂等的Rota-Baxter算子.反之,设P是权重为−1幂等的Rota-Baxter算子.令且由命题2.1及2.2,得R1,R2是R非酉的k-子代数,且因此如果则所以从而又因为是的分解,所以P是R到R1上的满射.下面讨论Rota-Baxter算子在矩阵代数、重正规化理论等方面的应用.例3.1[5] 设R是取值在k-上所有序列(an)n≥1之集.R上的运算按照分量相加、数乘及相乘构成一个k-代数,定义算子P为则P为R上权重为1的Rota-Baxter算子.证明定义函数f:N≥0→R,则P(f)是部分和序列对于f,g∈R,有而同理可证则P满足等式(1),此时λ=1.例3.2 （q-积分）设R=K[t],q∈K 不是单位根.定义算子P为即对于K[t]上的基tn,n≥1,有则P为R上权重为1的Rota-Baxter算子.例3.3[5] 设R,q如例3.2所述.定义R上的算子P为则P为R上权重为−1的Rota-Baxter算子.证明因为又从而P为R上权重为−1的Rota-Baxter算子.例3.4 设n为正整数,R是环k上n阶下三角方阵构成的k-代数,令其中则P为R上权重为−1的Rota-Baxter算子.证明设则R1,R2是 R的k-子代数,且由定理2.3知,P为R上权重为−1的Rota-Baxter算子.下面的例子说明Rota-Baxter算子在摄动量子域的重正规化理论中起着重要的作用.例3.5[7-8] (Laurent series[5])设K为域,R为Laurent series代数:定义R上的算子P为:且规定空集上的和为零.及且则P和P都为R上权重为−1的Rota-Baxter算子.证明设则其中而其中同理其中由于所以从而由于且显然R1∩R2=0,又由定理2.3 P和P都为R上权重为−1的Rota-Baxter算子.致谢:作者感谢国家留学基金委给予出国留学项目的资助,感谢美国Rutgers University at Newark及导师Guo.L..【相关文献】[1]Baxter G.An analytic problem whose solution follows from a simple algebraicidentity[J].Paci fi c J.Math.,1960(10):731-742.[2]Rota G C.Baxter algebras and combinatorial identitiesI[J].Bull.Amer.Math.Soc.,1969(75):325-329.[3]Rota G C.Baxter algebras and combinatorial identitiesII[J].Bull.Amer.Math.Soc.,1969(75):330-334.[4]Ebrahimi-Fard K,Guo L,Kreimer D.Integrable renormalization II:the generalcase[J].Annales Henri Poincare,2005(6):369-395.[5]Guo L.An Introduction to Rota-Baxter Algebra[M].China:Higher Education Press,2012.[6]Winkel R.Sequences of symmetric polynomials and combinatorial properties of tableaux[J].Adv.Math.,1998,134:46-89.[7]Connes A,Kreimer D.Renormalization in quantum fi eld theory and the Riemann-Hilbert problem.I:the Hopf algebra structure of graphs and maintheorem[J].Comm.Math.Phys.,2000,210(1):249-273.[8]Connes A,Kreimer D.Renormalization in quantum fi eld theory and the Riemann-Hilbert problem.II:the β-function,di ff eomorphisms and the renormalizationgroup[J].Comm.Math.Phys.,2001,216(1):215-241.[9]Guo L.Baxter Algebras,Stirling Numbers and Partitions[J].J.Algebra Appl.,2005(4):153-164.[10]Rota G C,Smith D A.Fluctuation theory and Baxter algebras[J].Istituto Nazionale di Alta Mathematica,1972(IX):179-201.[11]Guo L,Keigher W.On di ff erential Rota-Baxter algebras[J].J.PureAppl.Algebra,2008(212):540-552.[12]Keigher W.On the ring of Hurwitz series[J].Communications inAlgebra,1997,25(6):1845-1859.[13]Zhou S,Guo L.Rota-Baxter TD algebra and Quinquedendriform algebra[J].Algebra Colloquium,2017,24(1):53-74.[14]周淑云.关于Rota-Baxter代数基本性质的探讨[J].青海师范大学学报:自然科学版,2013,29(2):1-5.。

李代数sl （2，C ）到四维单模的斜导子摘要：设L 为复数域C 上有限维李代数，V 为L-模，引入了σ-模导子的概念。

研究了李代数sl （2，C ）到其单模的斜导子空间，得到结论：sl （2，C ）到四维单模V 3的斜导子空间是零维的或四维的。

关键词：李代数；单模；斜导子中图分类号：O152.6文献标识码：A文章编号：2095-0438（2024）02-0158-03（绥化学院信息工程学院黑龙江绥化152061）在代数系统里，导子是满足Leibniz 关系的线性映射[1]。

近年来众多学者对导子及其应用作了进一步的探讨。

导子的推广在环论、非关联代数、微分交换代数等领域占有重要地位[2]。

早期人们主要研究三角导子、广义导子、斜导子，Chang 和Demir等对广义斜导子进行了研究[3-5]。

许多学者对素环和半素环上的偏斜导子进行了细致深刻的探讨。

Fosner 介绍了素环和半素环上对称斜3-导子的概念[6]。

Chang 将广义斜导子的定义推广到R 的右Martindale 商环Q 上[7]。

Sandhu 等研究了素环上乘积导子、广义导子以及斜导子的一些性质[8-11]。

易扬给出了斜导子的定义并刻画了李代数斜导子的结构[12]。

本文将文献[13]中斜导子的定义由伴随模推广到了任意有限维模，并研究了李代数到其模的斜导子空间，得出了李代数到四维单模的斜导子空间是零维或四维的。

一、预备知识设C 是代数闭域，所有的向量空间都是在数域C 上。

设L为复数域C 上有限维李代数，V 为有限维L -模。

本文约定，End (V)表示V 上的线性变换全体，Hom(L ,V )表示L 到V 的线性映射全体，Aut L 表示L 的自同构全体。

定义1[14]设L 是一个向量空间，其中定义了一个乘法运算(记为[⋅,⋅]，并称之为方括号积)：对任意的x ,y ∈L ,有[x ,y ]∈L ,而且以下三个条件成立：(1)[λ1x 1+λ2x 2,y ]=λ1[x 1,y ]+λ2[x 2,y ],λ1,λ2∈C,x 1,x 2,y ∈L (2)[x ,x ]=0,∀x ∈L(3)[x ,[y ,z ]]+[y ,[z ,x ]]+[z ,[x ,y ]]=0,∀x ,y ,z ∈L这时称L 为一个李代数。

yang-baxter方程
杨-巴克斯特方程式（Yang-Baxter equation，YBE）是一种对于
多体物理系统的控制变换的代数方程。

它定义了一个基本的变换方程，可以被应用在多种领域中，如统计力学、量子场论、矩阵模型等等。

杨-巴克斯特方程式最早被引入到统计力学和计算物理中，用于
描述玻色-爱因斯坦凝聚的相变，以及像旋转矩阵的代数变换等等。

后来，随着量子群、代数几何、垂直対角化技术、统计物理和数学物理
的发展，它也开始在这些领域中扮演着越来越重要的角色。

杨-巴克斯特方程式的数学形式如下：
(R_{12}R_{13}R_{23})(R_{12}R_{13}R_{23})=(R_{23}R_{13}R_ {12})(R_{23}R_{13}R_{12})
其中，R_{12},R_{13},R_{23}是三个预定的矩阵，代表着不同的
物理变换。

这个方程式描述了它们之间的代数关系，可以被用于推导
出许多有用的结论和定理，如分数统计、共振系统等等。

第62卷 第2期吉林大学学报(理学版)V o l .62 N o .22024年3月J o u r n a l o f J i l i nU n i v e r s i t y (S c i e n c eE d i t i o n )M a r 2024d o i :10.13413/j .c n k i .jd x b l x b .2023345量子L o o p 代数U q (L (s l2))的单权模吴青云,谭易兰,夏利猛(江苏大学数学科学学院,江苏镇江212013)摘要:用构造的方法解决量子L o o p 代数U q (L (s l 2))具有一个一维权空间的单权模的结构问题,得到了任意一个具有一维权空间的单权模必同构于U q (L (s l 2))的四类单权模之一.此外,还构造了一类权空间维数为2的既非最高权也非最低权的量子L o o p 代数U q (L (s l 2))的单权模.关键词:量子L o o p 代数;权模;单模;D e n s e 模中图分类号:O 152.5 文献标志码:A 文章编号:1671-5489(2024)02-0256-07S i m p l eW e i g h tM o d u l e s o f Q u a n t u mL o o p A l g e b r a U q (L (s l2))WU Q i n g y u n ,T A N Y i l a n ,X I A L i m e n g(S c h o o l o f M a t h e m a t i c a lS c i e n c e s ,J i a n g s uU n i v e r s i t y ,Z h e n j i a n g 212013,J i a n gs uP r o v i n c e ,C h i n a )A b s t r a c t :T h e s t r u c t u r a l p r o b l e m o f s i m p l ew e i g h tm o d u l e sw i t hao n e -d i m e n s i o n a lw e i g h t s p a c e i n t h e q u a n t u mL o o p a l g e b r a U q (L (s l2))w a s s o l v e d b y u s i n g a c o n s t r u c t i o nm e t h o d ,a n d i tw a s o b t a i n e d t h a t a n y s i m p l ew e i g h tm o d u l ew i t ha o n e -d i m e n s i o n a lw e i g h t s p a c em u s t b e i s o m o r p h i c t o o n e o f t h e f o u r c l a s s e s o f s i m p l ew e i g h tm o d u l e s o f U q (L (s l 2)).I n a d d i t i o n ,a c l a s s o f s i m p l ew e i g h tm o d u l e s o f t h e q u a n t u m L o o p a l g e b r a U q (L (s l2))w i t h w e i g h ts p a c ed i m e n s i o no f2,w h i c h w a sn e i t h e rt h e h i g h e s tw e i g h t n o r t h e l o w e s tw e i g h t ,w a s c o n s t r u c t e d .K e yw o r d s :q u a n t u m L o o p a l g e b r a ;w e i g h tm o d u l e ;s i m p l em o d u l e ;D e n s em o d u l e 收稿日期:2023-08-20.第一作者简介:吴青云(1999 ),女,汉族,硕士研究生,从事李理论的研究,E -m a i l :2212102047@s t m a i l .u js .e d u .c n .通信作者简介:谭易兰(1981 ),男,汉族,博士,副教授,从事李理论的研究,E -m a i l :t a n y a n l a n @u js .e d u .c n .基金项目:国家自然科学基金(批准号:12171155).1 引言与主要结果设g 是复数域上的有限维单李代数,Y a n g i a n 代数Y (g )和量子仿射代数U q (g^)组成了两族重要的仿射型量子群.U q (g ^)是由一族生成元和一系列生成关系构成的具有单位元的结合代数,U q (g ^)商去由中心元C 生成的双边理想后得到的商代数记为U q (L (g)).其代数结构和表示理论在数学和物理中都有重要的理论意义和应用价值.例如,U q (L (g ))模可用于构造量子Y a n g -B a x t e r 方程的三角解[1].关于U q (L (g ))模的研究是量子群表示理论的重要问题之一[2-3].目前,U q (L (g))模的研究主要集中在最高权模,包括有限维不可约模㊁局部W e y l 模㊁K R (K i r i l l o w -R e s h e t i k h i n )模和素表示(P r i m e r e p r e s e n t a t i o n s )[4-8].而U q (L (s l 2))的表示理论在U q (L (g ))的研究中具有重要作用.本文目标是分类U q (L (s l 2))的一类单权模.从U q (s l2)的D e n s e 模出发[9],构造一类既不是最高权也不是最低权的无限维U q (L (s l 2))单权模,然后分类具有一个一维权空间的U q (L (s l 2))单权模.本文主要结果如下:定理1 设V 是U q (L (s l2))存在一个一维权空间的单权模,则V 必与下列模中的某个模同构:1)有限维单模;2)无限维最高权单模;3)无限维最低权单模;4)D e n s e 模V (μ,τ,b μ).此外,本文还通过构造一个权空间均为二维的U q (L (s l2))模,给出该模不可约的充分条件,以说明本文主要结果中一维权空间的限定条件必不可少.2 预备知识首先给出量子L o o p 代数U q (L (s l2))的定义.定义1[10] 设q 不是单位根,量子L o o p 代数U q (L (s l2))是一个有单位元1的结合代数,它的生成元为x ʃk (k ɪℤ),h ʃk (k ɪℤ-{0})和K ʃ1,且满足生成关系:K K -1=K -1K =1, K h k =h kK ,K x ʃk K -1=q ʃ2x ʃk , [h k ,h l ]=0,[h k ,x ʃl ]=ʃ1k[2k ]qx ʃk +l ,(1)[x +k ,x -l ]=1q -q -1(ψk +l -ϕk +l ).(2)x ʃk +1x ʃl -q ʃ2x ʃl x ʃk +1=q ʃ2x ʃk x ʃl +1-x ʃl +1x ʃk ,(3)这里[m ]q =q m-q -m q -q-1,且ψk +l 和ϕk +l 满足ðɕk =0ψkuk=K e x p (q -q -1)ðɕk =1h ku {}k,ðɕk =0ϕ-k u-k =K -1e x p (q -q -1)ðɕk =1h -ku -{}k .由定义1和数学归纳法,易证如下引理.引理1 U q (L (s l2))可由K ʃ1,h ʃ1和x ʃ0生成.命题1[10] 1)由K ,x +0和x -0生成的子代数与U q (s l2)同构;2)映射ρN :U q (L (s l 2))ңU q (s l 2), x +k q -k a k K k e +,x k -q -k a k e -Kk 是一个满同态.引理2[10] U q (L (s l2))作为H o p f 代数,满足余乘关系:Δ(x +0)=x +0췍K +1췍x +0, Δ(x -0)=x -0췍1+K -1췍x -0,Δ(x -1)=x -1췍1+K 췍x -1, Δ(x +-1)=x +-1췍K -1+1췍x +-1,Δ(K )=K 췍K , Δ(h 1)=h 1췍1+1췍h 1-(q 2-q -2)x +0췍x -1,Δ(K -1)=K -1췍K -1, Δ(h -1)=h -1췍1+1췍h -1-(q 2-q -2)x +-1췍x -0. 下面介绍U q (L (s l 2))的表示理论,首先介绍U q (L (s l 2))的最高权模.本文记U q (L (s l2))的元素x 在其模V 上的作用为x .v ,这里v ɪV .定义2[10] 设V 是U q (L (s l 2))的一个模.如果存在非零向量w ɪV ,使得U q (L (s l 2)).w =V ,且满足:x +k .w =0, ψk .w =d +k w (k ɪℕ), ϕk .w =d -k w (k ɪℕ-), d +0d -0=1,则称V 是U q (L (s l2))的最高权模,d ={d ʃk k ɪℤ}为V 的最高权.最低权模的定义可类似给出,只需将x +k .w =0改为x -k .w =0.定义3[10] 定义U q (L (s l 2))的V e r m a 模M (d )为U q (L (s l2))模商去由x +k (k ɪℤ),ψk -d +k ㊃1(k ȡ0),ϕk -d +k ㊃1(k ɤ0)所有系数生成的左理想.下面给出刻画U q (L (s l2))有限维单模的结构.752 第2期吴青云,等:量子L o o p 代数U q (L (s l2))的单权模852吉林大学学报(理学版)第62卷命题2[10]U q(L(s l2))的有限维单模是最高权模,U q(L(s l2))的最高单权模是有限维的当且仅当存在常系数非零的多项式P,且满足:ðɕk=0d+k u k=q d e g P P(q-2u)P(u),ðɕk=0d--k u-k=q d e g P P(q-2u)P(u).定义4[10]对任意的aɪℂ,W1(a)=s p a n{w0,w1}是U q(L(s l2))的二维单权模,这里w0是最高权向量.有限生成元在W1(a)上的作用下有x+0.w0=0,x+-1.w0=0,x-1.w0=a w1,x-0.w0=w1,x+0.w1=w0,x+-1.w1=a-1w0,x-1.w1=0,x-0.w1=0,K.w0=q w0,h1.w0=q-1a w0,h-1.w0=-q a-1w0,K.w1=q-1w1,h1.w1=-q a w1,h-1.w1=q-1a-1w1.定义5[11]设V是一个U q(L(s l2))模,若Vμ={vɪV K.v=μ.v},V=췍Vμ,其中μɪℂ,则称V 是U q(L(s l2))的权模.由U q(L(s l2))生成元间的定义关系,易得如下引理.引理3设V是U q(L(s l2))的权模,若vɪVμ,则由定义关系可得h k.vɪVμ,x+k.vɪVμ+2和x-k.vɪVμ-2.由文献[9]中定义3.1.3和命题3.1.7,通过同构易得如下命题.命题3对任意的μ,τɪℂ,nɪℕ,U q(s l2)在向量空间W(μ,τ)=s p a nℂ{vμ+2k,kɪℤ}上的作用K.vμ+2k=μq2k vμ+2k,x+0.vμ+2k=aμ+2k vμ+2k+2,x-0.vμ+2k=vμ+2k-2,定义了U q(s l2)的D e n s e模结构,其中aμ+2k=1(q-q-1)2(τ-(μq2k+1+μ-1q-2k-1)).当μʂq n,nɪℕ时,W(μ,τ)不可约.3U q(L(s l2))的D e n s e模由命题1可知,U q(s l2)的D e n s e模W是一个U q(L(s l2))模.由引理1可知,U q(L(s l2))由Kʃ1, hʃ1和xʃ0生成.因此只要再确定hʃ1在vμ+2k上的作用,即可确定U q(L(s l2))-模W的结构.因为W权空间均为1维,所以不妨设h1.vμ+2k=bμ+2k vμ+2k,h-1.vμ+2k=cμ+2k vμ+2k.定理2hʃ1作用的系数均可由bμ确定.证明:在式(1)中k分别取1和-1,并将等式两边分别作用在权向量vμ+2k上,得[2]q x+1.vμ+2k=aμ+2k(bμ+2k+2-bμ+2k)vμ+2k+2,[2]q x-1.vμ+2k=(bμ+2k-bμ+2k-2)vμ+2k-2,[2]q x+-1.vμ+2k=aμ+2k(cμ+2k+2-cμ+2k)vμ+2k+2,[2]q x--1.vμ+2k=(cμ+2k-cμ+2k-2)vμ+2k-2.在式(2)中k,l分别取-1和1,并将等式两边分别作用在权向量vμ+2k上,比较vμ+2k的系数,可得(bμ+2k-bμ+2k-2)(cμ+2k-cμ+2k-2)=(q+q-1)2.(4)类似地,在式(3)中k分别取0和-2,l取0,可得(bμ+2k+4-bμ+2k+2)=q2(bμ+2k+2-bμ+2k),(5)(cμ+2k+4-cμ+2k+2)=q-2(cμ+2k+2-cμ+2k).(6)在式(2)中k,l分别取0和1,再结合式(5),可得(aμ+2k-2-q2aμ+2k)(bμ+2k-bμ+2k-2)=[2]qμq2k bμ+2k.(7)在式(2)中k,l分别取0和1,再结合式(6),可得(aμ+2k-2-q-2aμ+2k)(cμ+2k-cμ+2k-2)=-[2]qμ-1q-2k cμ+2k.(8)由命题3,易见aμ+2k-2-q2aμ+2k-[2]qμq2k=aμ+2k-4-q2aμ+2k-2.结合式(7),即可得(a μ+2k -4-q 2a μ+2k -2)b μ+2k =(a μ+4k -4-q 2a μ+4k -2)b μ.利用式(4),不难证明a μ+2k -4-q 2a μ+2k -2ʂ0.由此可得b μ+2k =a μ+4k -4-q 2a μ+4k -2a μ+2k -4-q 2a μ+2k -2b μ=1+q (q +q -1)μ(1-q 2k )(q -q -1)(a μ+2k -4-q 2a μ+2k -2æèçöø÷)b μ.最后,结合式(4),(8),得c μ+2k =-(a μ+2k -2-q 2a μ+2k )(a μ+2k -2-q -2a μ+2k )b μ+2k .结论得证.注1 U q (L (s l2))的D e n s e 模由3个元素μ,τ,b μɪℂ且μʂq n,n ɪℕ确定,记为V (μ,τ,b μ).4 主要结果的证明设V 是U q (L (s l 2))的单权模,且存在V μ满足V μ=s p a n {w 0}.由于U q (L (s l2))的有限维单模㊁最高权单模和最低权单模均具有一维权空间,因此不妨设V 不属于上述三类.于是有d i m (V μ-2)>0和d i m (V μ+2)>0.引理4 存在u ɪV μ-2,使得x +0.u =w 0.证明:反证法.假设对任意u ɪV μ-2,都有x +0.u ʂw 0.因为d i m (V μ)=1,所以对任意u ɪV μ-2,有x +0.u =0.通过数学归纳法易证得对任意k ɪℤ,x +k .u =0.因此对任意0ʂu ɪV μ-2,都有w 0∉U q (L (s l 2)).u ʂ0,则U q (L (s l2)).u 是V 的一个真子模,与V 是单模矛盾.故假设不真,结论得证.由x +k .V μ-2⊆V μ,h m .V μ⊆V μ,K .V μ⊆V μ并结合d i m (V μ)=1,可得以下推论.推论1 对任意k ɪℤ,m ɪℤ-{0},都有x +k .u =a k w 0,x +0h m .u =b m w 0和x +0K .u =b 0w 0,其中a k ,b m ,b 0ɪℂ,u 满足引理4.为证w 1是K 和h k 的公共权向量,先证以下引理.引理5 对任意k ɪℤ,都有x +k .w 0=c k w 1,其中c k ɪℂ.证明:首先用数学归纳法对k ȡ0的情形进行证明.1)当k =0时,显然有x +0.w 0=w 1.2)当k =1时,x +1.w 0=x +1x +0.u =q 2x +0x +1.u =q 2a 1x +0.w 0=q 2a 1w 1=c 1w 1. 3)假设当0ɤn ɤk ,n ɪℤ时,均有x +n .w 0=c nw 1,则x +k +1.w 0=x +k +1x +0.u =(q 2x +0x +k +1+q 2x +k x +1-x +1x +k ).u .利用推论1,得x +k +1.w 0=q 2a k +1x +0.w 0+q 2a 1x +k .w 0-a k x +1.w 0,结合上述1),2)和假设条件,得x +k +1.w 0=c k +1w 1.同理可证k ɤ0时,也满足x +k .w 0=c kw 1.证毕.命题4 对任意k ɪℤ-{0},都有h k .w 1=d k w 1,其中d k ɪℂ.证明:首先由定义关系,计算得h k .w 1=h k (x 0)2.u =[h k ,(x 0)2].u +(x 0)2h k .u =1k [2k ]q x +k .w 0+1k [2k ]q x +0x +k .u +x +0(x +0h k .u ).利用推论1,得h k .w 1=1k [2k ]q x +k .w 0+1k[2k ]q a k x +0.w 0+b k x +0.w 0.结合引理5,结论得证.952 第2期吴青云,等:量子L o o p 代数U q (L (s l2))的单权模同理于上述结果,存在非零向量v ɪV μ+2满足w 0=x -0.v .取w -1=x -0.w 0=(x -0)2.v ʂ0.可得如下结论,证明略.命题5 1)对任意k ɪℤ,都有x -k .w 0=e k w -1,其中e k ɪℂ;2)对任意k ɪℤ-{0},都有h k .w -1=f k w -1,其中f k ɪℂ.取w 2=x +0.w 1=(x +0)2.w 0ʂ0,用w 0替换引理5和命题4中的u ,即可得如下结论.引理6 1)对任意k ɪℤ,都有x +k .w 1=fk w 2,其中f k ɪℂ;2)对任意k ɪℤ-{0},都有h k .w 2=gk w 2,其中g k ɪℂ.取w -2=x -0.w -1=(x -0)2.w 0ʂ0,用w 0替换命题5中的v ,即可得如下结论.引理7 1)对任意k ɪℤ,都有x -k .w -1=p k w -2,其中p k ɪℂ;2)对任意k ɪℤ-{0},都有h k .w -2=qk w -2,其中q k ɪℂ.依此类推,可得以下命题.命题6 对任意k ɪℤ-{0},n ɪℤ,都有h k .w n =l k w n ,其中l k ɪℂ.下面证明定理1.设V 是U q (L (s l 2))的具有一个一维权空间的单权模.因为U q (L (s l2))的最高(低)权单模的最高(低)权空间是一维的,所以U q (L (s l2))的有限维单模㊁最高权单模或最低权单模都是具有一个一维权空间的单权模.不妨设V 不属于这三类中的任意一类.设V μ=s p a n ℂ{w 0},记w -n =(x -0)n .w 0,w n =(x +0)n .w 0,设W =s p a n ℂ{ ,w -2,w -1,w 0,w 1,w 2,}.显然有W ⊆V .下证W 是U q (L (s l 2))模.因为U q (L (s l2))可由K ʃ1,h ʃ1和x ʃ0生成,所以只需证W 在K ʃ1,h ʃ1和x ʃ0的作用下稳定即可.1)W 在K ʃ1的作用下稳定.显然有K .w k =μq 2k w k ,K -1.w k =μ-1q -2kw k .2)W 在h ʃ1的作用下稳定.由命题6可得h 1.w k =l 1w k ,h -1.w k =l -1w k .3)W 在x ʃ0的作用下稳定.在x +0的作用下,对w k (k ɪℕ+)已经满足稳定,故证w -k (k ɪℕ+)在x +0作用下稳定即可.①当k =1时,x +0.w -1=x +0x -0.w 0=[x +0,x -0].w 0+x -0x +0.w 0=[x +0,x -0].w 0+x -0.w 1,结合式(2)中k ,l 均取0的情况,计算得[x +0,x -0].w 0=μ-μ-1q -q-1w 0.由d i m (V μ)=1易得x -0.w 1=t w 0,t ɪℂ.因此x +0.w -1=μ-μ-1q -q-1+æèçöø÷t w 0.②假设当1ɤn ɤk 时,均有x +0.w -n =t nw -n +1,x +.w -k -1=x +0x -0.w -k =[x +0,x -0].w -k +x -0x +.w -k =μq -2k -μ-1q -2k q -q -1+t æèçöø÷k w -k ,因此通过数学归纳法可证w -k (k ɪℕ+)在x +0作用下稳定.同理,可证W 在x -0的作用下稳定.综上可知W 是U q (L (s l2))模,则W 是V 的子模.因为V 是单模,所以V =W =s p a n ℂ{ ,w -2,w -1,w 0,w 1,w 2,}.由假设知V 不是最高权单模或最低权单模.由上述证明可知,对任意的k ɪℤ,w k ʂ0.因此作为子代数U q (s l 2)的模,V 是D e n s e 单权模,故V ≅V (μ,τ,b μ).定理1得证.5 U q (L (s l2))一类权空间维数为2的权模下面构造U q (L (s l2))的一类权空间维数均为2的单权模U ,并给出模U 不可约的充分条件,从而说明定理1中的限定条件是不可缺的.设U =V (μ,τ,b μ)췍W 1(a ),其中μ,τɪℂ且μʂq n,n ɪℕ,则U 是U q (L (s l 2))权模,权空间为U μ+2k +1=s p a n {v μ+2k +2췍w 1,v μ+2k 췍w 0}.062 吉林大学学报(理学版) 第62卷引理8 设V 是U 的非零子模,若U μ+2k +1⊆V ,则V =U .证明:由U μ+2k +1⊆V ,V 是U 的非零子模,可得x +0U μ+2k +1,x -0U μ+2k +1⊆V ,x +0.(v μ+2k +2췍w 1)=x +0.v μ+2k +2췍K .w 1+v μ+2k +2췍x +0.w 1=a μ+2k +2q -1(v μ+2k +4췍w 1)+v μ+2k +2췍w 0,x +0.(v μ+2k 췍w 0)=x +0.v μ+2k 췍K .w 0+v μ+2k 췍x +0.w 0=a μ+2k q (v μ+2k +2췍w 0),x -0.(v μ+2k +2췍w 1)=x -0.v μ+2k +2췍w 1+K -1.v μ+2k +2췍x -0.w 1=v μ+2k 췍w 1,x -0.(v μ+2k 췍w 0)=x -0.v μ+2k 췍w 0+K -1.v μ+2k 췍x -0.w 0=v μ+2k -2췍w 0+q -μ-2k v μ+2k 췍w 1,由上述计算可得U μ+2k +3⊆V 和U μ+2k -1⊆V ,即U ⊆V .由V 是U 的非零子模,得V ⊆U .因此V =U ,证毕.定理3 若b μʂq -1a 2(a μ-2-q 2a μ)(τ-τ2-4),则U =V (μ,τ,b μ)췍W 1(a )不可约.证明:反证法.假设U 是可约的,则U 存在真子模V ,V 的权空间V μ+2k +1=V ɘU μ+2k +1.由引理8可得d i m (V μ+2k +1)ɤ1,且存在k ɪℤ,使得d i m (V μ+2k +1)=1.因此,不妨设k =0.设v =m v μ+2췍w 1+n v μ췍w 0ɪV μ+1,计算得h 1.v =(m (b μ+2-q a )-n (q 2-q -2)a a μ)v μ+2췍w 1+n (b μ+q -1a )v μ췍w0.由d i m (v μ+1)=1得m (b μ+2-b μ-q a -q -1a )=n (q 2-q -2)a a μ,(9)由定义简单计算得x -0.v =(m +n μ-1)(v μ췍w 1)+n v μ-2췍w 0,h 1.(x -0.v )=((m +n μ-1)(b μ-q a )-n (q 2-q -2)a a μ-2)v μ췍w 1+n (b μ-2+q -1a )v μ-2췍w 0.由d i m (v μ-1)ɤ1得(m +n μ-1)(b μ-b μ-2-q a -q -1a )=n (q 2-q -2)a a μ-2.(10)设b μ-b μ-2-q a -q -1a (q 2-q -2)a a μ-2=t ,则式(9),(10)可以分别改写为m (q 2a μ-2t +q )=n a μ, (m +n μ-1)t =n .利用消元法得a μq 2a μ-2t +q =1t -μ-1,通分化简得q 2a μ-2t 2+(q +μa μ-q 2μa μ-2)t -μq =0.利用求根公式,计算得t =μτʃμτ2-42q (q -q -1)a μ-2-1(q -q -1)a μ-2.再代回计算得b μ+2-b μ=q 2(q 2-q -2)a a μ-2t +q 2(q +q -1)a =q (q +q -1)a μ2(τʃτ2-4).结合式(7),易得b μ=q -1a 2(a μ-2-q 2a μ)(τ-τ2-4).与条件矛盾,故假设不真.结论得证.参考文献[1] J I M B O M.A q -D i f f e r e n c eA n a l o g u e o f U (g)a n d t h eY a n g -B a x t e r E q u a t i o n [J ].L e t t e r s i nM a t h e m a t i c a l P h y s i c s ,1985,10(1):63-69.[2] C HA R IV ,P R E S S L E Y A.A G u i d e t oQ u a n t u m G r o u p s [M ].C a m b r i d g e :C a m b r i d g eU n i v e r s i t y Pr e s s ,1994:162 第2期吴青云,等:量子L o o p 代数U q (L (s l2))的单权模262吉林大学学报(理学版)第62卷392-403.[3] D R I N F E L D V G.A N e wR e a l i z a t i o n o fY a n g i a n s a n d o fQ u a n t i z e dA f f i n eA l g e b r a s[J].D o k l a d y A k a d e m i iN a u kS S S R,1987,296(1):13-17.[4] C HA R IV,P R E S S L E YA.W e y lM o d u l e s f o r C l a s s i c a l a n dQ u a n t u m A f f i n eA l g e b r a s[J].R e p r e s e n t a t i o nT h e o r yo f t h eA m e r i c a n M a t h e m a t i c a l S o c i e t y,2001,5(9):191-223.[5] H E R N A N D E ZD.T h eK i r i l l o v-R e s h e t i k h i nC o n j e c t u r e a n dS o l u t i o n s o f T-S y s t e m s[J].J o u r n a l Für d i eR e f i n e u n dA n g e w a n c l t eM a t h e m a t i k,2006,181(8):63-87.[6] B R I T O M,C HA R IV,MO U R A A.D e m a z u r e M o d u l e so fL e v e lT w oa n dP r i m eR e p r e s e n t a t i o n so fQ u a n t u mA f f i n e s l n+1[J].J o u r n a l o f t h e I n s t i t u t e o fM a t h e m a t i c s o f J u s s i e u,2018,17(1):75-105.[7] B R I T O M,C HA R IV,V E N K A T E S H R.Q u a n t u m A f f i n eA l g e b r a s,G r a d e dL i m i t sa n dF l a g s[J].J o u r n a l o ft h e I n d i a n I n s t i t u t e o f S c i e n c e,2022,102(3):1001-1031.[8] L E C L E R CB.Q u a n t u m L o o p A l g e b r a s,Q u i v e r V a r i e t i e s,a n d C l u s t e r A l g e b r a s[R]//S K OWR O N S K I A,Y AMA G A T A K.R e p r e s e n t a t i o n so fA l g e b r a sa n d R e l a t e d T o p i c s,E M SS e r i e so fC o n g r e s sR e p o r t s.T o k y o:E M SP r e s s,2010:117-152.[9]杨冬梅.无限维不可分解的U q(s l2)-模的分类[D].北京:北京工业大学,2005.(Y A N GD M.C l a s s i f i c a t i o no fI n f i n i t e l y D i m e n s i o n a l i nD e c o m p o s a b l e U q(s l2)M o d u l e s[D].B e i j i n g:B e i j i n g U n i v e r s i t y o fT e c h n o l o g y,2005.)[10] C HA R IV,P R E S S L E Y A.Q u a n t u m A f f i n e A l g e b r a s[J].C o mm u n i c a t i o n si n M a t h e m a t i c a lP h y s i c s,1991,142(2):261-283.[11] B R I T T E N D,L A U M,L E M I R E F.W e i g h t M o d u l e sf o rC u r r e n t A l g e b r a s[J].J o u r n a lo f A l g e b r a,2005,440(1):245-263.(责任编辑:李琦)。

三维单李代数sl(2,F)上的Yang-Baxter方程高岩【摘要】刻画了特征p≠2的代数闭域上三维单李代数上的Yang-Baxter方程.【期刊名称】《哈尔滨师范大学自然科学学报》【年(卷),期】2013(029)005【总页数】3页(P7-9)【关键词】三维单李代数;Yang-Baxter方程【作者】高岩【作者单位】哈尔滨师范大学【正文语种】中文0 引言Baxter代数由Baxter于1960年提出，源于Glen Baxter概率论中波动理论积分方程［1］.Rota在90年代对Baxter算子进行了更深入的研究.［2］近年来，Baxter代数在理论物理和数学物理方面得到了广泛而显著的应用，许多学者刻画了低维代数上的Rota-Baxter算子.例如，文献［3］给出了维数小于等于3时权0的结合代数上的Rota-Baxter算子，文献［4］给出了维数小于等于3时权1的Rota-Baxter算子，而文献［5］对权0的二阶矩阵构成的四维结合代数上的Rota-Baxter算子进行了研究.代数闭域F上权0的Rota-Baxter算子称为Yang-Baxter方程.该文刻画了三维单李代数sl(2，F)上的Yang-Baxter方程.1 基本概念该文规定F为特征p≠2的代数闭域，L是域F上的李代数，用［，］表示李乘.定义1［6］设L是域F上的一个李代数，若R是L×L→L的线性算子，满足则称R是一个权为λ的Rota-Baxter算子，L是一个权为λ的Rota-Baxter代数，当λ=0时称上式为Yang-Baxter方程.令{e1，…，en}是李代数L的一组固定基，设，其中∈F.L上的任意Rota-Baxter算子R都可以写成矩阵(rij)形式，其中rij由唯一确定，易见rij满足如下方程(λ=0):2 Yang-Baxter方程记L=sl(2，F)是域F上的一个三维单李代数，其中L的标准基为:规定基元素间的乘法表:［x，y］=h，［h，x］=2x，［h，y］=-2y.命题1 三维单李代数L上Yang-Baxter方程的解共有9个(任何参数属于代数闭域F，且 a，b≠0):证明由定义可知三维单李代数L上Yang-Baxter方程的解即为权0时的Rota-Baxter算子.根据L的标准基，则L上任意Rota-Baxter算子R能够由矩阵(rij)表示，且 R(x)，R(y)，R(h)满足(1)式，由 L的基的乘法表可以得到以下9个等式:则上述命题的证明能够分成以下六种情况:则在以下的六个引理中分别考虑这些情况.引理1 当r32=0，r12=0，r23≠0时，L上的Yang-Baxter方程的解由上述命题中的R1与R2给出.证明由(13)推出r22=0，由(11)对r13=0进行分类讨论:(i)当r13=0时，通过计算可得命题1中的R1和R2.(ii)当r13≠0时，通过计算可知此情况下Yang-Baxter方程无解.引理2 当 r32=0，，r12=0，r23=0时，L上的Yang-Baxter方程的解由上述命题中的R3与R4给出.证明由(13)推出r12r21=代入(8)有r22(r11-r22)=r11r33+r22r33(*)，由(13)且r12≠0推出2r33+r11=r22推出r11-r22=-2r33代入(*)推出-2r33r22=(r11+r22)r33，则下对r33进行分类讨论:(i)当r33≠0时，通过计算可知此情况下Yang-Baxter方程无解.(ii)当r33=0时，可得命题1中的R3和R4. 引理3 当 r32=0，，r12=0，r23=0时，L上的Yang-Baxter方程的解由上述命题中的R5与R7给出.证明由(13)推出r22=0，由(8)推出r11r33=0，下分类讨论:(i)当r11=0，r33≠0时，计算可得命题1中的R5.(ii)当r11≠0，r33=0，时，由(11)推出r13=0，由(9)推出 r11=0，与r11≠0矛盾，故此种情形不存在.(iii)当r11=r33=0时，可得命题1中的R6与R7.引理4 当r32≠0，r12=0，r23≠0时，L上的Yang-Baxter方程的解由上述命题中的R8给出.证明由(10)推出r32=-2r13，令r13=a≠0，推出r32=-2a≠0，由(11)推出r33=0，由(7)推出r11=-r22=b≠0，代入(6)推出r21=0，由(8)推出，由(9)推出r=31，则可得命题1中R8.引理5 当r32≠0，r12≠0，r23≠0时，L上的Yang-Baxter方程无解.证明由(7)推出r11=-r22=a≠0，由(8)推出r12r21=-a2，推出，由(8)推出r13=0，又由于 r32≠0，故令 r32=1，则由(9)推出，由(10)推出，但这些未知元的值不满足方程(12)和(14)，故此时L上的Yang-Baxter方程无解.引理6 当r32≠0，r12=0，r23=0时，L上的Yang-Baxter方程的解由上述命题中的R9给出.证明由(10)推出 r32=-2r13=a≠0，推出，由(7)推出r=-r，由(8)1122推出r11r22=0推出 r11=r22=0，由(11)推出r33=0，由(13)推出 r31=0，由(6)推出r21=0，由(12)推出r31=0，则可得命题1中的R9.参考文献［1］ Baxter G.An analytic problem whose solution follows from a simple algebraic identity［J］.Pacific J Math，1960，10:731-742.［2］ Rota G C.Baxter algebras and combinatorial I［J］.Bull AMS，1969，5:325-329.［3］ Li X X，Hou D P，Bai C M.Rota-Baxter operators on pre-Lie algebras ［J］.J Nonlinear Math Phys，2007，14:269-289.［4］ Huihui A，Bai C M.From Rota-Baxter algebras to pre-Lie algebras ［J］.J Phys A:Math Theor，2008，41:015201-015219.［5］孙琼.一类Baxter代数及其应用.黑龙江大学硕士论文，2012:4-11. ［6］苏育才，卢才辉，崔一敏.有限维半单李代数简明教程.北京:科学出版社，2008.。

李代数知识点总结李代数的概念是由挪威数学家Sophus Lie提出的。

它是一种在向量空间上定义的代数结构，它可以用来描述连续对称性，例如旋转、对称变换等。

李代数的基本概念是李括号（Lie bracket）和李群（Lie group）, 其中李括号是在向量空间上定义的二元运算，满足一定的性质。

在这篇文章中，我们将介绍李代数的基本知识和重要性质，包括定理和应用。

同时，我们也将介绍李代数在数学、物理和工程中的应用，并讨论李代数的未来发展方向。

一、李代数的基本定义和性质1. 定义：李代数是定义在一个向量空间上的一种代数结构，它是一个满足以下性质的向量空间和二元运算的组合：（1）封闭性：对于任意两个元素x, y∈V，它们的李括号[x, y]∈V；（2）双线性：李括号[x, y]是关于x和y线性的；（3）对称性：李括号的对称性[x, y] = −[y, x]；（4）Jacobi等式：对任意的x, y, z∈V，李括号满足Jacobi等式[x, [y, z]] + [y, [z, x]] + [z, [x, y]] = 0。

2. 李代数的例子：一个最简单的李代数是一维向量空间R上的李代数，它的李括号可以定义为对任意的x, y∈R，[x, y] = 0。

另一个例子是三维欧几里得空间R^3上的李代数，它的李括号可以定义为对任意的x=(x1, x2, x3), y=(y1, y2, y3)∈R^3，[x, y] = (x2y3 − x3y2, x3y1 − x1y3, x1y2 − x2y1)。

3. 李代数的性质：李代数有许多重要的性质，其中最重要的是Lie括号的Jacobi等式，它保证了李代数的代数结构的稳定性。

李代数还有一些其他的重要性质，例如子代数、理想、李代数的同态等。

二、李群和李代数的关系李代数和李群是紧密相关的数学结构，它们之间有着密切的联系和相互作用。

李群是一种拓扑群，它在局部上是类似于欧几里得空间的群结构，而李代数是李群在单位元上的切空间结构。

+ ρ2
α
2 2
(
x2
)
ρ2 ( y2 )( x1 ),α1 ( y1 )1
( ) ( ) ( )( ) ( )( ) − ρ2 α2 ( y2 )
ρ2 ( x2 ) y1
,α12 ( x1 )1 − ρ2
[
x2
,
y2
] 2
α1 ( x1 ) ,α12 ( y1 )1 + α1
(2.5)
DOI: 10.12677/pm.2019.95084
633
理论数学
李进圆
( ) ady (ad [x, z]α ) +α 2 (ad [x, y],α ( z)) +α ad [ y, z](adα 2 ( x))
( ) ( ) + adz adα ( x)(adα 2 ( y)) − adx adα ( y)(adα 2 ( z)) = 0,
Matched Pair and Manin Triple of Hom-Malcev Algebra
Jinyuan Li
Liaoning Normal University, Dalian Liaoning
Received: Jul. 2nd, 2019; accepted: Jul. 22nd, 2019; published: Jul. 29th, 2019
ρ2
ρ1 ( y1 ) y2
ρ2 ( x2 ) x1
(3.3)
( ) ( )( ) ( ) ( ) − ρ2
ρ1 ( y1 ) x2 ,α2 ( y2 )2
α12 ( x1 ) − ρ2
α
2 2
(
y2
)
ρ2

第60卷 第3期吉林大学学报(理学版)V o l .60 N o .32022年5月J o u r n a l o f J i l i nU n i v e r s i t y (S c i e n c eE d i t i o n )M a y2022d o i :10.13413/j .c n k i .jd x b l x b .2021331一类弱H o p f 代数的K i l l i n g 型和伴随表示苏 冬(河南科技大学数学与统计学院,河南洛阳471023)摘要:通过将H o p f 代数上的K i l l i n g 型和伴随表示理论推广到弱H o p f 代数上,给出弱H o pf 代数上K i l l i ng 型和伴随表示的概念及性质,并讨论弱H o p f 代数 H 8的伴随表示及其K i l l i n g 型,从而实现了K i l l i n g 型和伴随表示理论在弱H o p f 代数上的应用.关键词:弱H o p f 代数;K i l l i n g 型;伴随表示;K i l l i n g 根中图分类号:O 153.3 文献标志码:A 文章编号:1671-5489(2022)03-0583-08K i l l i n g F o r ma n dA d j o i n tR e pr e s e n t a t i o n s o f aC l a s s o fW e a kH o p fA l ge b r a s S U D o n g(S c h o o l o f M a t h e m a t i c s a n dS t a t i s t i c s ,H e n a nU n i v e r s i t y o f S c i e n c e a n dT e c h n o l o g y ,L u o y a n g 471023,H e n a nP r o v i n c e ,C h i n a )A b s t r a c t :B y e x t e n d i n g t h e t h e o r y o fK i l l i n g f o r ma n d a d j o i n t r e p r e s e n t a t i o n o v e rH o p f a l g e b r a s t o t h e w e a k H o p fa l g e b r a s ,t h e a u t h o r g a v et h e c o n c e p t s a n d p r o p e r t i e s o f K i l l i n g f o r m a n d a d jo i n t r e p r e s e n t a t i o no v e rw e a kH o p f a l g e b r a s ,a n d d i s c u s s e d t h e a d j o i n t r e p r e s e n t a t i o n s a n dK i l l i n g f o r mo f aw e a kH o p f a l g e b r a s H 8,s oa s t or e a l i z e t h ea p p l i c a t i o no f t h e t h e o r y o fK i l l i n g f o r m a n da d jo i n t r e p r e s e n t a t i o no v e r t h ew e a kH o p f a l ge b r a .K e yw o r d s :w e a kH o p f a l g e b r a ;K i l l i n g f o r m ;a d j o i n t r e p r e s e n t a t i o n ;K i l l i n g r a d i c a l 收稿日期:2021-09-03.作者简介:苏 冬(1982 ),女,白族,博士,讲师,从事H o p f 代数及其表示的研究,E -m a i l :s u d o n g @h a u s t .e d u .c n .基金项目:国家自然科学基金(批准号:11701019)和河南省自然科学基金(批准号:222300420156).李代数中的K i l l i n g 型理论,在李代数理论的研究以及单李代数的分类问题中均具有重要作用[1].李代数的伴随作用是K i l l i n g 型定义的基础.H o pf 代数中的(左)伴随作用是李代数伴随作用的一种自然推广.文献[2-4]研究了有限维H o p f 代数上的K i l l i ng 型理论,并考虑了H o pf 代数的伴随表示与K i l l i ng 型非退化性之间的联系;徐磊[5]研究了T a f t 代数的伴随表示及其K i l l i n g 型.作为H o p f 代数的一种推广,L i 等[6-7]引入了一类弱H o p f 代数的概念,该类弱H o pf 代数具有双代数结构,满足弱对极公理,且可为量子Y a ng -B a x t e r 方程提供非平凡的解.本文将H o p f 代数的伴随作用与K i l l i n g 型的概念推广到弱H o pf 代数上,并对其性质进行研究.此外,本文还讨论了一类弱H o p f 代数 H 8的左伴随表示及其左K i l l i ng 型,其中 H 8是唯一的非交换㊁非余交换的8维半单H o pf 代数H 8的弱H o pf 代数.在左伴随作用下, H 8可分解为4个不可分解表示的直和,其中有两个直和项是2维的,其余两个直和项分别是1维和4维的,并给出 H 8的左K i l l i ng 型矩阵K 和左K i l l i n g 根( H 8)ʅl ,得到矩阵K 的行列式值为0,且( H 8)ʅl是一个4维的线性空间.1预备知识设F是特征为0的代数闭域.若无特殊说明,本文的线性空间㊁矩阵㊁代数㊁H o p f代数㊁弱H o p f 代数和췍均定义在F上.在卷积运算下将H o p f代数的对极公理进行弱化,可得弱H o p f代数的如下定义.定义1[6]设( H,m,u,Δ,ε)是双代数,若存在线性映射TɪH o m( H, H),使得在卷积运算*下,满足T*i d*T=T,i d*T*i d=i d,即对任意hɪ H,有ð(h)T(h1)h2T(h3)=T(h),ð(h)h1T(h2)h3=h,则( H,m,u,Δ,ε,T)称为弱H o p f双代数,T为其弱对极.注意到H o p f代数是特殊的弱H o p f代数,H o p f代数的对极不仅满足弱对极公理,还是恒等映射在卷积运算下的双逆.通过弱化H o p f代数H的对极可得与之相对应的弱H o p f代数 H,则H是 H 的一个子H o p f代数.下面讨论弱H o p f代数的伴随作用和K i l l i n g型.定义2设( H,m,u,Δ,ε,T)(简记为 H)是弱H o p f代数,T是其弱对极,定义 H上的左伴随作用为a d l a: Hң H,bңð(a)a1b T(a2), ∀a,bɪ H;右伴随作用为a d r a: Hң H,bңð(a)T(a1)b a2, ∀a,bɪ H.其中Δ(a)=ð(a)a1췍a2ɪ H췍 H.设 H是n维弱H o p f代数且aɪ H,则a d l a是线性空间 H的线性变换.若取定 H的一组基,则线性变换a d l a对应于一个n阶矩阵,定义线性变换a d l a的迹t r(a d l a)为a d l a对应的n阶矩阵主对角线上各元素之和.定义3设 H是有限维弱H o p f代数,定义(a,b)l=t r(a d l a췍a d l b), ∀a,bɪ H为 H关于a,b的左K i l l i n g型.类似地,可定义右K i l l i n g型为(a,b)r=t r(a d r a췍a d r b), ∀a,bɪ H.本文主要考虑弱H o p f代数的左伴随表示和左K i l l i n g型,其右伴随表示和右K i l l i n g型可用类似方法讨论.定理1设 H是有限维弱H o p f代数,则 H上的左K i l l i n g型有以下性质:1)a d l a췍a d l b=a d l a b;2)(a,b)l=(b,a)l;3)(a b,c)l=(a,b c)l;4)(αa+βb,c)l=α(a,c)l+β(b,c)l,(a,αb+βc)l=α(a,b)l+β(a,c)l.其中∀a,b,cɪ H,α,βɪF.证明:假设 H是n维弱H o p f代数,取其一组基{x1,x2, ,x n}.设a d l a,a d l b和a d l c对应的矩阵分别为A,B和C,且A=a11 a1n︙︙a n1 aæèçççöø÷÷÷n n,B=b11 b1n︙︙b n1 bæèçççöø÷÷÷n n,C=c11 c1n︙︙c n1 cæèçççöø÷÷÷n n.1)∀xɪ H,有485吉林大学学报(理学版)第60卷(a d l a b )(x )=ð(a b )(a b )1x T ((a b )2)=ð(a )(b)a 1b 1x T (b 2)T (a 2)=ð(a )a 1(a d lb )(x )T (a 2)=(a d la )((a d lb )(x ))=(a d la 췍a d lb )(x ),因此a d l a 췍a d l b =a d la b .2)(a ,b )l =t r (a d l a 췍a d l b )=t r (A B )=t r (B A )=t r (a d l b 췍a d l a )=(b ,a )l .3)由1)可得(a b ,c )l =t r (a d l a b 췍a d l c )=t r (a d l a 췍a d l b 췍a d lc )=t r (A B C )=t r (A (B C ))=t r (ad l a 췍(a d l b 췍a d l c ))=t r (a d l a 췍a d l b c )=(a ,b c )l .4)∀x ɪ H ,有a d l (αa +βb )췍a d l c (x )=a d l (αa +βb )ð(c)c 1x T (c 2())=ð(a )αa 1ð(c)c 1x T (c 2())T (a 2)+ð(b)βb 1ð(c)c 1x T (c 2())T (b 2)=(αa d l a 췍a d l c +βa d l b 췍a d lc )(x ),因此(αa +βb ,c )l =α(a ,c )l +β(b ,c )l .类似可证(αb +βc ,a )l =α(b ,a )l +β(c ,a )l ,再由2)可得(a ,αb +βc )l =α(a ,b )l +β(a ,c )l 成立.证毕.定理1表明, H 上的左K i l l i n g 型是对称㊁结合的双线性型.定义4 在有限维弱H o pf 代数 H 中, H ʅl={a ɪ H (a ,b )l =0,∀b ɪ H }称为左K i l l i n g 型的根,简称为 H 的左K i l l i n g 根.假设弱H o p f 代数 H 有一组基{x 1,x 2, ,x n },则 H 的左K i l l i n g 型矩阵是一个n 阶矩阵K ,K 上的(i ,j )-元定义为(x i ,x j )l ,易得K 是一个对称矩阵.注意到ðni =1αi x i ɪH ʅl 的充分必要条件为n 维列向量(α1,α2, ,αn )T是齐次线性方程组K x =0的解.于是可得H ʅl =0的充分必要条件为K 是可逆矩阵.文献[8]引入了对应于唯一的非交换㊁非余交换的8维半单H o p f 代数H 8的弱H o pf 代数 H 8,它是由g ,h 和x 生成的,满足以下生成关系的F -代数:g 3=g , h 3=h , g 2=h 2, g h =h g , x =h x g ,x =g x h , x 2=12(g 2+g +h -gh ),其余代数结构和弱对积如下:Δ(g )=g 췍g , Δ(h )=h 췍h , ε(g )=1, ε(h )=1,Δ(x )=12(g 2x 췍g 2x +g 2x 췍gx +h x 췍g 2x -h x 췍g x ), ε(x )=1,T (g )=g , T (h )=h , T (x )=x .注意到d i m ( H 8)=9,且 H 8有如下的B l o c k 分解:H 8≅F 췍F 췍F 췍F 췍F 췍M 2(F ),可知 H 8是半单弱H o p f 代数.下面取 H 8的一组基为{1,g ,h ,x ,g h ,g x ,x g ,x g h ,g 2}.2 췍H8的伴随表示命题1 在 H8中,如下结论成立:1)(a d l 1)(1,g ,h ,x ,g h ,g x ,x g ,x g h ,g 2)=(1,g ,h ,x ,g h ,g x ,x g ,x g h ,g 2);2)(a d l g )(1,g ,h ,x ,g h ,g x ,x g ,x g h ,g 2)=(a d l h )(1,g ,h ,x ,g h ,g x ,x g ,x g h ,g 2)=(g 2,g ,h ,x g h ,g h ,x g ,g x ,x ,g 2);585 第3期 苏 冬:一类弱H o p f 代数的K i l l i n g 型和伴随表示3)(a d l x )(1,g ,h ,x ,g h ,g x ,x g ,x g h ,g 2)=g 2,h ,g ,æèç12(-g x +x g +x g h +x ),gh ,12(x g -x gh +x +g x ),12(x g h +x g +g x -x ),12(g x +x +x g h -x g ),g öø÷2.证明:由定义2可得(a d l a )(k )=ð(a )a 1k T (a 2), ∀a ,k ɪ H 8,其中Δ(a )=ð(a )a 1췍a 2.对任意a ɪ H 8,有:1)因为Δ(1)=1췍1,所以(a d l1)(a )=a T (1)=a ,因此结论1成立.2)因为Δ(g )=g 췍g ,Δ(h )=h 췍h ,则(a d l g )(a )=g a T (g )=g a g ,(a d l h )(a )=h a T (h )=h a h ,于是可得(a d l g )(1)=(a d l h )(1)=g 2, (a d l g )(g )=(a d l h )(g )=g , (a d l g )(h )(a d l h )(h )=h ,(a d l g )(x )=(a d l h )(x )=x g h , (a d l g )(g h )=(a d l h )(g h )=g h , (a d l g )(g x )=(a d l h )(g x )=x g ,(a d l g )(x g )=(a d l h )(x g )=g x , (a d l g )(x g h )=(a d l h )(x g h )=x , (a d l g )(g 2)=(a d l h )(g 2)=g 2,从而结论2)成立.3)因为Δ(x )=12(g 2x 췍g 2x +g 2x 췍gx +h x 췍g 2x -h x 췍g x ),所以(a d l x )(a )=12(g 2x a x g 2+g 2x a x g +x g a x g 2-x g a x g ),从而(a d l x )(1)=12(x 2g 2+x 2g +h x 2-h x 2g )=14(g 2+g +h -g h )(g 2+g +h -gh )=g 2,(a d l x )(g )=12(x g x +x g x g +x 2g 2-x 2g )=12(x 2h +x 2g h +x 2g 2-x 2g )=14(g 2+g +h -gh )(h +g h +g 2-g )=h ,(a d l x )(h )=12(x h x +x h x g +x g h x -x g h x g )=12(x 2g +x 2g 2+x 2gh -x 2h )=14(g 2+g +h -g h )(g +g 2+gh -h )=g ,(a d l x )(x )=12(x 3+x 3g +hx 3-x 3)=x 3g =12(g 2+g +h -g h )x g =12(h +g h +g 2-g )x ,(a d l x )(g h )=12(x g h x +x g h x g +x h x -x h x g )=12(x 2g h +x 2h +x 2g -x 2g 2)=14(g 2+g +h -g h )(gh +h +g -g 2)=g h ,(a d l x )(g x )=12(x g x 2+x 3+x 3-x 3g )=x 3g 2=12(x +g x +x g -x gh ),(a d l x )(x g )=12(x 3h +x 3g h +x 3gh -x 3h )=x 3g h =12(g 2+g +h -g h )x g h =12(g x +x g +x g h -x ),(a d l x )(x g h )=12(x 3g h +x 3h +x 3h -x 3gh )=x 3h =12(g 2+g +h -g h )x h =12(x +g x +x g h -x g ),685 吉林大学学报(理学版) 第60卷(a d l x )(g 2)=12(x 2g 2+x 2g +x 2h -x 2g h )=14(g 2+g +h -g h )(g 2+g +h -gh )=g 2,于是结论3)成立.证毕.命题2 在 H8中,如下结论成立:1)(a d l g h )(1,g ,h ,x ,g h ,g x ,x g ,x g h ,g 2)=(a d l g 2)(1,g ,h ,x ,g h ,g x ,x g ,x g h ,g 2)=(g 2,g ,h ,x ,g h ,g x ,x g ,x g h ,g 2);2)(a d l g x )(1,g ,h ,x ,g h ,g x ,x g ,x g h ,g 2)=(a d l x g )(1,g ,h ,x ,g h ,g x ,x g ,x g h ,g 2)=g 2,h ,g ,æèç12(x g h +g x +x -x g ),g h ,12(x g h +g x +x g -x ),12(x g +g x +x -x gh ),12(x g h +x g +x -g x ),g öø÷2;3)(a d l x g h )(1,g ,h ,x ,g h ,g x ,x g ,x g h ,g 2)=g 2,h ,g ,12(x +x g +x g h -g x æèç),gh ,12(x +g x +x g -x g h ),12(g x +x g +x gh -x ),12(x +g x +x g h -x g ),g öø÷2.证明:由定理1中结论1)和命题1直接可以验证.令M 0=F ㊃1췍F ㊃g 2, M 1=F ㊃g 췍F ㊃h ,M 2=F ㊃g h , M 3=F ㊃x 췍F ㊃g x 췍F ㊃x g 췍F ㊃x gh ,显然M i (i =0,1,2,3)是 H 8的子空间,且d i m K M 0=2, d i m K M 1=2, d i m K M 2=1, d i m K M 3=4.命题3 在伴随作用下,M i (i =0,1,2,3)为 H 8的不可分解子表示.证明:由命题1和命题2可得(a d l1)(1)=1,(a d l g )(1)=(a d l h )(1)=(a d l x )(1)=(a d l g h )(1)=(a d l gx )(1)=(a d l x g )(1)=(a d l x g h )(1)=(a d l g 2)(1)=g 2,(a d l 1)(g 2)=(a d l g )(g 2)=(a d l h )(g 2)=(a d l x )(g 2)=(a d l g h )(g 2)=(a d l g x )(g 2)=(a d l x g )(g 2)=(a d l x g h )(g 2)=(a d l g 2)(g 2)=g 2,所以M 0为在伴随作用下 H8的一个不可约子表示.同理可得(a d l 1)(g h )=(a d l g )(g h )=(a d l h )(g h )=(a d l x )(g h )=(a d l g h )(g h )=(a d l g x )(gh )=(a d l x g )(g h )=(a d l x g h )(g h )=(a d l x g h )(g 2)=g h ;(a d l 1)(g ,h )=(a d l g )(g ,h )=(a d l h )(g ,h )=(a d l g h )(g ,h )=(a d l g 2)(g ,h )=(g ,h ),(a d l x )(g ,h )=(a d l g x )(g ,h )=(a d l x g h )(g ,h )=(a d l x g )(g ,h )=(h ,g );(a d l 1)(x ,g x ,x g ,x g h )ɪF x 췍F g x 췍F x g 췍F gh ,(a d l g )(x ,g x ,x g ,x g h )=(a d l h )(x ,g x ,x g ,x g h )ɪF x 췍F g x 췍F x g 췍F g h ,(a d l g h )(x ,g x ,x g ,x g h )=(a d l g 2)(x ,g x ,x g ,x g h )ɪF x 췍F g x 췍F x g 췍F gh ,(a d l x )(x ,g x ,x g ,x g h )=(a d l x g h )(x ,g x ,x g ,x g h )ɪF x 췍F g x 췍F x g 췍F gh ,(a d l g x )(x ,g x ,x g ,x g h )=(a d l x g )(x ,g x ,x g ,x g h )ɪF x 췍F g x 췍F x g 췍F gh .综上可知M 1,M 2和M 3都是在伴随作用下 H8的子表示,且均为不可约表示.证毕.下面证明在伴随作用下, H8可分解为其不可约子表示的直和.定理2 在伴随作用下, H 8有如下不可约表示的直和分解: H8=췍3i =0M i .证明:由命题3可知M i (i =0,1,2,3)是 H 8在伴随作用下的不可约子表示,且d i m F (M 0+M 1+M 2+M 3)=9,与 H8的维数相同,因此结论得证.785 第3期 苏 冬:一类弱H o p f 代数的K i l l i n g 型和伴随表示3췍H8的K i l l i n g型由命题1和命题2,可知췍H8ң췍H8的伴随作用(a d l1),(a d l g),(a d l h),(a d l x),(a d l g h),(a d l g x),(a d l x g),(a d l x g h),(a d l g2)所对应的矩阵:(a d l1)对应矩阵100000000 010000000 001000000 000100000 000010000 000001000 000000100 000000010æèçççççççççççççöø÷÷÷÷÷÷÷÷÷÷÷÷÷000000001,且t r(a d l1)=9;(a d l g)和(a d l h)对应矩阵000000000010000000001000000000000010000010000000000100000001000000100000æèçççççççççççççöø÷÷÷÷÷÷÷÷÷÷÷÷÷100000001,且t r(a d l g)=t r(a d l h)=4;(a d l x)和(a d l x g h)对应矩阵000000000 001000000 010000000 00012012-12120 000010000 000-1201212120 0001201212-120 000120-1212120æèççççççççççççççççöø÷÷÷÷÷÷÷÷÷÷÷÷÷÷÷÷100000001,且t r(a d l x)=t r(a d l x g h)=4;(a d l g h)和(a d l g2)对应矩阵000000000010000000001000000000100000000010000000001000000000100000000010æèçççççççççççççöø÷÷÷÷÷÷÷÷÷÷÷÷÷100000001,且t r(a d l g h)=t r(a d l g2)=8;885吉林大学学报(理学版)第60卷(a d l g x )和(a d l x g )对应矩阵000000000001000000010000000000120-12121200000100000001201212-120000-120121212000012012-12120æèçççççççççççççççççöø÷÷÷÷÷÷÷÷÷÷÷÷÷÷÷÷÷1000001,且t r (a d l g x )=t r (a d l x g )=4.定理3 H 8的左K i l l i n g 型矩阵为K =944484448488444444488444444444448844844484448444844484444844484444448844æèçççççççççççççöø÷÷÷÷÷÷÷÷÷÷÷÷÷844484448.(1) 证明:令 H 8的左K i l l i n g 型矩阵为K =(k i j ).由定理1中结论1)有t r (a d l x 2)=4, t r (a d l x 2h )=8, t r (a d l x 2g )=8, t r (a d l x 2gh )=4.再由定义5,得k 11=(a d l 1,a d l 1)=t r (a d l1)=9,k 12=(a d l 1,a d l g )=t r (a d l g )=4,k 13=(a d l 1,a d l h )=t r (a d lh )=4,k 14=(a d l 1,a d l x )=t r (a d lx )=4,k 15=(a d l 1,a d l g h )=t r (a d l gh )=8,k 16=(a d l 1,a d l g x )=t r (a d l g x )=4,k 17=(a d l 1,a d l x g )=t r (a d l x g )=4,k 18=(a d l 1,a d l x g h )=t r (a d l x gh )=4,k 19=(a d l 1,a d l g 2)=t r (a d l g 2)=8,k 22=(a d l g ,a d l g )=t r (a d l g 2)=8,k 23=(a d l g ,a d l h )=t r (a d l g h )=8,k 24=(a d l g ,a d l x )=t r (a d l gx )=4,k 25=(a d l g ,a d l g h )=t r (a d l g 2h )=4,k 26=(a d l g ,a d l g x )=t r (a d l g 2x )=4,k 27=(a d l g ,a d l x g )=t r (a d l g x g )=4,k 28=(a d l g ,a d l x g h )=t r (a d l g x gh )=4,k 29=(a d l g ,a d l g 2)=t r (a d l g )=4,k 33=(a d l h ,a d l h )=t r (a d l h 2)=8,k 34=(a d l h ,a d l x )=t r (a d lh x )=4,k 35=(a d l h ,a d l g h )=t r (a d l h g h )=4,k 36=(a d l h ,a d l g x )=t r (a d l h gx )=4,k 37=(a d l h ,a d l x g )=t r (a d l h x g )=4,k 38=(a d l h ,a d l x g h )=t r (a d l h x g h )=4,k 39=(a d l h ,a d l g 2)=t r (a d l h )=4,k 44=(a d l x ,a d l x )=t r (a d lx 2)=4,k 45=(a d l x ,a d l g h )=t r (a d l x gh )=4,k 46=(a d l x ,a d l g x )=t r (a d l x g x )=8,k 47=(a d l x ,a d l x g )=t r (a d l x 2g )=8,k 48=(a d l x ,a d l x g h )=t r (a d l x 2g h )=4,k 49=(a d l x ,a d l g 2)=t r (a d l x )=4,k 55=(a d l g h ,a d l g h )=t r (a d l g h g h )=8,k 56=(a d l g h ,a d l g x )=t r (a d l g h gx )=4,k 57=(a d l g h ,a d l x g )=t r (a d l g h x g )=4,k 58=(a d l g h ,a d l x g h )=t r (a d l g h x gh )=4,985 第3期 苏 冬:一类弱H o p f 代数的K i l l i n g 型和伴随表示k 59=(a d l g h ,a d l g 2)=t r (a d l gh )=8,k 66=(a d l g x ,a d l g x )=t r (a d l g x gx )=4,k 67=(a d l g x ,a d l x g )=t r (a d l g x 2g )=4,k 68=(a d l g x ,a d l x g h )=t r (a d l g x 2gh )=8,k 69=(a d l g x ,a d l g 2)=t r (a d l g x )=4,k 77=(a d l x g ,a d l x g )=t r (a d l x g x g )=4,k 78=(a d l x g ,a d l x g h )=t r (a d l x g x gh )=8,k 79=(a d l x g ,a d l x g h )=t r (a d l x g x gh )=4,k 88=(a d l x g h ,a d l x g h )=t r (a d l x g h x g h )=4,k 89=(a d l x g h ,a d l g 2)=t r (a d l x gh )=4,k 99=(a d l g 2,a d l g 2)=t r (a d l g 2)=8,由K 是对称矩阵知,式(1)成立.再由定理3易得K =0,因此( H 8)ʅl ʂ0.定理4 H 8的左K i l l i n g 根为( H 8)ʅl =F (g -h )췍F (g 2-gh )췍F (g x -x g )췍F (x -x g h ).(2) 证明:对 H 8的任意元素α0+α1g +α2h +α3x +α4g h +α5g x +α6x g +α7x g h +α8g 2知,α0+α1g +α2h +α3x +α4g h +α5g x +α6x g +α7x g h +α8g 2ɪ(H 8)ʅl的充分必要条件是K α=0,其中αi ɪF (i =0,1, ,8),α是以αi (i =0,1, ,8)为元素的9维列向量.由定理3可知,K α=0的充分必要条件是α0=0,α1=α3=α5=α8=1,α2=α4=α6=α7=-1ìîíïïïï.因此式(2)成立.证毕.参考文献[1] 孟道骥.复半单李代数引论[M ].北京:北京大学出版社,1998:10-150.(M E N GDJ .I n t r o d u c t i o n t oC o m p l e x S e m i s i m p l eL i eA l g e b r a s [M ].B e i j i n g :P e k i n g U n i v e r s i t y Pr e s s ,1998:10-150.)[2] 王志华,李立斌.H o p f 代数的K i l l i n g 型[J ].扬州大学学报(自然科学版),2016,9(3):9-12.(WA N GZ H ,L ILB .K i l l i n g F o r m o fH o p fA l g e b r a s [J ].J o u r n a l o fY a n g z h o u U n i v e r s i t y (N a t u r a lS c i e n c eE d i t i o n ),2016,9(3):9-12.)[3] WA N GZ H ,C H E N H X ,L ILB .T h eK i l l i n g F o r mo f aH o p fA l g e b r aa n dI t sR a d i c a l [J ].A r a bJS c iE n g ,2008,33(2C ):553-559.[4] 唐帅,王志华.一类H o p f 代数的K i l l i n g 根[J ].河北师范大学学报(自然科学版),2012,36(1):21-23.(T A N GS ,WA N GZH.K i l l i n g R a d i c a l s o f aF a m i l y o fH o p fA l g e b r a s [J ].J o u r n a l o fH e b e iN o r m a lU n i v e r s i t y (N a t u r a l S c i e n c eE d i t i o n ),2012,36(1):21-23.)[5] 徐磊.T a f t 代数的伴随表示及其K i l l i n g 型[D ].扬州:扬州大学,2017.(X UL .T h eA d j o i n t R e p r e s e n t a t i o n a n d K i l l i n g F o r mo fT a f tH o p fA l g e b r a [D ].Y a n g z h o u :Y a n g z h o uU n i v e r s i t y,2017.)[6] L IF .W e a k H o p fA l g e b r a sa n d N e w S o l u t i o n so f t h e Q u a n t u m Y a n g -B a x t e rE q u a t i o n [J ].J A l g e b r a ,1998,208(1):72-100.[7] L IF ,D U P L I JS .W e a k H o p fA l g e b r a sa n dS i n g u l a rS o l u t i o n so fQ u a n t u m Y a n g -B a x t e rE q u a t i o n [J ].C o mm M a t hP h ys ,2002,225(1):191-217.[8] S U D ,Y A N GSL .A u t o m o r p h i s m G r o u p o fR e p r e s e n t a t i o nR i n g o f t h eW e a kH o p fA l ge b r a H 8[J ].C z e c hM a t h J ,2018,68:1131-1148.(责任编辑:李 琦)095 吉林大学学报(理学版) 第60卷。