Embedding of Jordan Copairs into Lie Coalgebras

Let (V, Δ) be a Jordan copair over a field Φ and let V? be its dual pair. Then there exists a Lie coalgebra (L ^c (V), Δ _L ) whose dual algebra (L ^c (V))? is the Kantor–Koecher–Tits construction for the pair V?. If Φ is a field of characteristic other than 2 or 3 then the Lie coalgebra (L ^c (J), Δ _L ) is locally finite-dimensional. As a corollary we derive that Jordan copairs over fields of characteristic other than 2 or 3 are locally finite-dimensional.     

Dual Coalgebras of Jordan Bialgebras and Superalgebras

W. Michaelis showed for Lie bialgebras that the dual coalgebra of a Lie algebra is a Lie bialgebra. In the present article we study an analogous question in the case of Jordan bialgebras. We prove that a simple infinite-dimensional Jordan superalgebra of vector type possesses a nonzero dual coalgebra. Thereby, we demonstrate that the hypothesis formulated by W. Michaelis for Lie coalgebras fails in the case of Jordan supercoalgebras.     

A Result on Ext Over Kac–Moody Algebras

We prove the following result for a not necessarily symmetrizable Kac–Moody algebra: Let x,y W with x y, and let P⁺. If n=l(x)-l(y), then Ext _C() ⁿ (M(x·),L(y·))=1.     

The Kantor-Koecher-Tits construction for Jordan coalgebras

The relationship between Jordan and Lie coalgebras is established. We prove that from any Jordan coalgebra 〈L(A), Δ〉, it is possible to construct a Lie coalgebra 〈L(A), Δ_L〉. Moreover, any dual algebra of the coalgebra 〈L(A), Δ_L〉 corresponds to a Lie algebra that can be determined from the dual algebra for (A, Δ), following the Kantor-Koecher-Tits process. The structure of subcoalgebras and coideals of the coalgebra 〈L(A), Δ_L〉 is characterized. Supported by ISF grant No. RB 6000. Translated fromAlgebra i Logika, Vol. 35, No. 2, pp. 173–189, March–April, 1996.     

Existence and construction of Δ1-splines of class Ck on a three-directional mesh

Let ^* be the equilateral triangulation of the plane and let ₁ ^* be the equilateral triangle formed by four triangles of ^*. We study the space of piecewise polynomial functions in C ^k (R ²) with support ₁ ^*, having a sufficiently high degree n and which are invariant with respect to the group of symmetries of ₁ ^*. Such splines are called ₁ ^*-splines. We first compute the dimension of this space in function of n and k. Then, for any fixed k0, we prove the existence of ₁ ^*-splines of class C ^k and minimal degree, but these splines are not unique. Finally, we describe an algorithm computing the Bernstein–Bézier coefficients of these splines.     

Homological Dimension of Coalgebras and Crossed Coproducts

Let H be a Hopf k-algebra. We study the global homological dimension of the underlying coalgebra structure of H. We show that gl.dim(H) is equal to the injective dimension of the trivial right H-comodule k. We also prove that if D = C H is a crossed coproduct with invertible , then gl.dim(D) gl.dim(C) + gl.dim(H). Some applications of this result are obtained. Moreover, if C is a cocommutative coalgebra such that C ^* is noetherian, then the global dimension of the coalgebra C coincides with the global dimension of the algebra C ^*.     

Rational Conformal Field Theory in Four Dimensions

We use the recently established rationality of correlation functions in a globally conformally invariant quantum field theory satisfying Wightman axioms to construct a family of solvable models in the four-dimensional Minkowski space–time. We consider the model of a neutral two-dimension scalar field in detail. It depends on a positive real parameter c, an analogue of the Virasoro central charge; for all (finite) c, it admits an infinite number of conserved symmetric tensor currents. The operator product algebra of coincides with a simpler one generated by a bilocal scalar field V(x ₁,x ₂) of dimension 1+1. The modes of V together with the unit operator span an infinite-dimensional Lie algebra _V , whose vacuum (i.e., zero-energy lowest-weight) representations depend only on the central charge c. The Wightman positivity (i.e., unitarity of the representations of _V ) is proved equivalent to c.     

Derivatives of the Spectral Function and Sobolev Norms of Eigenfunctions on a Closed Riemannian Manifold

Let e(x, y, ) be the spectral function and the unit spectral projection operator, with respect to the Laplace–Beltrami operator on a closed Riemannian manifold M. We generalize the one-term asymptotic expansion of e(x, x, ) by Hörmander (Acta Math. 88 (1968), 341–370) to that of _{x y} e(x,y,)| _x=y for any multiindices , in a sufficiently small geodesic normal coordinate chart of M. Moreover, we extend the sharp (L ²,L ^p) (2 p) estimates of by Sogge (J. Funct. Anal. 77 (1988), 123–134; London Math. Soc. Lecture Note Ser. 137, Cambridge University Press, Cambridge, 1989; Vol. 1, pp. 416–422) to the sharp (L ², Sobolev L ^p) estimates of .     

Embedding theorem ofZ-graded Lie superalgebras

The embedding theorem ofZ-graded Lie superalgebras is given and proved. As a subsidiary result it is proved that a transitiveZ-graded restricted lie superalgebm must be isomorphic toW(m,n, 1) if the dimension ofG _i satisfies a certain condition. Project supported by the National Natural Science Foundation of China and the Science of the University Doctoral Program of CNEC.     

A Strong Maximum Principle for some quasilinear elliptic equations

In its simplest form the Strong Maximum Principle says that a nonnegative superharmonic continuous function in a domain ⁿ ,n 1, is in fact positive everywhere. Here we prove that the same conclusion is true for the weak solutions of – u + (u) = f with a nondecreasing function ,(0)=0, andf0 a.e. in if and only if the integral((s)s) ^–1/2 ds diverges ats=0+. We extend the result to more general equations, in particular to – _p u + (u) =f where _p (u) = div(|Du| ^p-2 Du), 1 <p < . Our main result characterizes the nonexistence of a dead core in some reaction-diffusion systems.This work was partly done while the author was visiting the University of Minnesota as a Fulbright Scholar.     

Property (RD) for Cocompact Lattices in a Finite Product of Rank One Lie Groups with Some Rank Two Lie Groups

We apply V. Lafforgues techniques to establish property (RD) for cocompact lattices in a finite product of rank one Lie groups with Lie groups whose restricted root system is of type A ₂.     

Quasiassociative Algebras with Simple Artinian Null Part

We prove that any quasiassociative algebra with simple Artinian null part is isomorphic to a unique matrix algebra M_n(), where is a quasiassociative division algebra.     

Implicit elliptic boundary-value problems with discontinuous nonlinearities

Let be a bounded domain in ⁿ (n3) having a smooth boundary, let be an essentially bounded real-valued function defined on × ^h, and let be a continuous real-valued function defined on a given subset Y of Y ^h. In this paper, the existence of strong solutions u W ^2,p (, ^h) W _o ^1,p (n/2<p<+) to the implicit elliptic equation (–u)=(x,u), with u=(u₁, u₂, ..., u_h) and u=(u ₁, u ₂, ..., u _h), is established. The abstract framework where the problem is placed is that of set-valued analysis.     

Conditions for eigenvectors of a selfadjoint operator-function to form a basis

Consider a functionL() defined on an interval of the real axis whose values are linear bounded selfadjoint operators in a Hilbert spaceH. A point ₀ and a vector ₀ H( ₀ 0) are called eigenvalue and eigenvector ofL() ifL() ifL(₀) ₀ = 0. Supposing that the functionL() can be represented as an absolutely convergent Fourier integral, the interval is sufficiently small and the derivative will be positive at some point, it has been proved that all the eigenvectors of the operator-functionL() corresponding to the eigenvalues from the interval form an unconditional basis in the subspace spanned by them.     

On the Various Realizations of the Basic Representation of An−1(1) and the Combinatorics of Partitions

The infinite dimensional Lie algebra l _n = A _n–1 ⁽¹⁾ can be realized in several ways as an algebra of differential operators. The aim of this note is to show that the intertwining operators between the realizations of l _n corresponding to all partitions of n can be described very simply by using combinatorial constructions.     

Mapping Properties of the Laplacian in Sobolev Spaces of Forms on Complete Hyperbolic Manifolds

For a complete manifold M with constant negative curvature, weprove that the rough Laplacian _R defines topological isomorphisms in the scale of Sobolev spaces H _p ^s (M) ofp-forms for all p, 0 < p< n. For the de Rham Laplacian and M= ⁿ , the Poincaréhyperbolic space, this is shown too for 0 pn,pn/2, p (n± 1)/2.     

Parametrization of Triangle Groups as Subgroups of PSL(2, q)

In this paper we are interested in triangle groups (j, k, l) where j = 2 and k = 3. The groups (j, k, l) can be considered as factor groups of the modular group PSL(2, Z) which has the presentation x, y : x² = y³ = 1. Since PSL(2,q) is a factor group of G^k,l,m if -1 is a quadratic residue in the finite field F_q, it is therefore worthwhile to look at (j, k, l) groups as subgroups of PSL(2, q) or PGL(2, q). Specifically, we shall find a condition in form of a polynomial for the existence of groups (2, 3, k) as subgroups of PSL(2, q) or PGL(2, q).Mathematics Subject Classification: Primary 20F05 Secondary 20G40.     

Transfinite interpolation on the medians of a triangle and best L 1-approximation

Let be a triangle in and let be the set of its three medians. We construct interpolants to smooth functions using transfinite (or blending) interpolation on The interpolants are of type f(₁)+g(₂)+h(₃), where (₁,₂,₃) are the barycentric coordinates with respect to the vertices of . Based on an error representation formula, we prove that the interpolant is the unique best L¹-approximant by functions of this type subject the function to be approximated is from a certain convexity cone in C³().Received: 17 December 2003