Highest weight representations of a family of Lie algebras of Block type

For an additive subgroup G of a field F of characteristic zero, a Lie algebra B（G） of Block type is defined with basis {Lα,i｜ α∈G, i∈Z＋} and relations [Lα,i, Lβ,j] = （β-α）Lα＋β,i＋j＋（αj-βi）Lα＋β,Lα＋β,i＋j-1.It is proved that an irreducible highest weight B（Z）-module is quasifinite if and only if it is a proper quotient of a Verma module. Furthermore, for a total order λ on G and any ∧∈B（G）0^＊（the dual space of B（G）0 = span{L0,i｜i∈Z＋}）, a Verma B（G）-module M（∧,λ） is defined, and the irreducibility of M（A,λ） is completely determined.     

On modules with <Emphasis Type="Italic">d</Emphasis>-Koszul-type submodules

The so-called weakly d-Koszul-type module is introduced and it turns out that each weakly d-Koszul-type module contains a d-Koszul-type submodule. It is proved that, M ∈ W H J^d（A） if and only if M admits a filtration of submodules： 0 belong to U0 belong to U1 belong to ... belong to Up = M such that all Ui/Ui-1 are d-Koszul-type modules, from which we obtain that the finitistic dimension conjecture holds in W H J^d（A） in a special case. Let M ∈ W H J^d（A）. It is proved that the Koszul dual E（M） is Noetherian, Hopfian, of finite dimension in special cases, and E（M） ∈ gr0（E（A））. In particular, we show that M ∈ W H J^d（A） if and only if E（G（M）） ∈ gr0（E（A））, where G is the associated graded functor.     

The commutant of analytic Toeplitz operators on Bergman space

In this paper, using the matrix skills and operator theory techniques we characterize the commutant of analytic Toeplitz operators on Bergman space. For f（z） = z^ng（z） （n ≥1）, g（z） = b0 ＋ b1z^p1 ＋b2z^p2 ＋.. , bk ≠ 0 （k = 0, 1, 2,...）, our main result is =A′（Mf） = A′（Mzn）∩A′（Mg） = A′（Mz^s）, where s = g.c.d.（n,p1,p2,...）. In the last section, we study the relation between strongly irreducible curve and the winding number W（f,f（α））, α ∈ D.     

A superalgebraic interpretation of the quantization maps of Weil algebras

Let G be a Lie group whose Lie algebra g is quadratic. In the paper ＂the non-commutative Weil algebra＂, Alekseev and Meinrenken constructed an explicit G-differential space homomorphism ￡, called the quantization map, between the Well algebra Wg = S（g^＊） χ∧A（g^＊） and Wg= U（g） χ Cl（g） （which they call the noncommutative Weil algebra） for g. They showed that ￡ induces an algebra isomorphism between the basic cohomology rings Hbas^＊（Wg） and Hbas^＊（Wg）. In this paper, we will interpret the quantization map .~ as the super Duflo map between the symmetric algebra S（Tg[1]） and the universal enveloping algebra U（Tg[1]） of a super Lie algebra T9[1] which is canonically associated with the quadratic Lie algebra g. The basic cohomology rings Hbas^＊（Wg） and Hbas^＊（Wg） correspond exactly to S（Tg[1]）^inv and U（Tg[1]）^inv, respectively. So what they proved is equivalent to the fact that the super Duflo map commutes with the adjoint action of the super Lie algebra, and that the super Duflo map is an algebra homomorphism when restricted to the space of invariants.     

Construct weak Hopf algebras by using Borcherds matrix

We define a new kind quantized enveloping algebra of a generalized Kac-Moody algebra by adding a new generator J satisfying jm = j for some integer m. We denote this algebra by wUqT（A）. This algebra is a weak Hopf algebra if and only if m = 2,3. In general, it is a bialgebra, and contains a Hopf subalgebra. This Hopf subalgebra is isomorphic to the usual quantum envelope algebra Uq （A） of a generalized Kac-Moody algebra A.     

Parametrization of the Teichmüller space of bordered surface NEC groups

A non-Euclidean crystallographic group F （NEC group, for short） is a discrete subgroup of isometries of the hyperbolic plane H, with compact quotient space H/Г. These groups uniformize Klein surfaces, surfaces endowed with dianalytic structure. These surfaces can be seen as a generalization of Riemann surfaces.
Fundamental polygons play an important role in the study of parametrizations of the Teichmuller space of NEC groups.
In this work we construct a class of right-angled polygons which are fundamental regions of bordered surface NEC groups. The free parameters used in the construction of the polygons give a parametrization of the Teichmuller space. From the parameters we obtain explicit matrices of the generators of the groups. Finally, we give examples to exhibit how different relations between the parameters reflect the existence of automorphisms on the quotient surfaces.     

On conditionally positive definite dot product kernels

Let m and n be fixed, positive integers and P a space composed of real polynomials in m variables. The authors study functions f ： R →R which map Gram matrices, based upon n points of R^m, into matrices, which are nonnegative definite with respect to P Among other things, the authors discuss continuity, differentiability, convexity, and convexity in the sense of Jensen, of such functions     

A note on the degree conjecture for the Selberg class

The degree conjecture for the Selberg class of L-functions states that the degree d _F of every F ∈ is an integer. Moreover, it is expected that every F ∈ has polynomial Euler product, and that the degree ∂ _F of such an Euler product coincides with d _F . In this note we prove that a suitable continuity assumption on the degree d _F implies that ∂ _F = d _F for all F ∈ with polynomial Euler product.      

On <Emphasis Type="Italic">S</Emphasis>-quasinormal and <Emphasis Type="Italic">c</Emphasis>-normal subgroups of a finite group

Let be a saturated formation containing the class of supersolvable groups and let G be a finite group. The following theorems are presented: (1) G ∈ if and only if there is a normal subgroup H such that G/H ∈ and every maximal subgroup of all Sylow subgroups of H is either c-normal or S-quasinormally embedded in G. (2) G ∈ if and only if there is a normal subgroup H such that G/H ∈ and every maximal subgroup of all Sylow subgroups of F*(H), the generalized Fitting subgroup of H, is either c-normal or S-quasinormally embedded in G. (3) G ∈ if and only if there is a normal subgroup H such that G/H ∈ and every cyclic subgroup of F*(H) of prime order or order 4 is either c-normal or S-quasinormally embedded in G. Supported by the Natural Science Foundation of China and the Natural Science Foundation of Guangxi Autonomous Region (No. 0249001). Corresponding author. Supported in part by the Natural Science Foundation of China (10571181), NSF of Guangdong Province (06023728) and ARF(GDEI).     

Diameter preserving surjection on alternate matrices

Let F be a field with ｜F｜ ≥ 3, Km be the set of all m × m （m ≥ 4） alternate matrices over F. The arithmetic distance of A, B ∈ Km is d（A, B） ：= rank（A - B）. If d（A, B） = 2, then A and B are said to be adjacent. The diameter of Km is max{d（A, B） ： A, B ∈ km}. Assume that φ ： Km→Km is a map. We prove the following are equivalent： （a） φ is a diameter preserving surjection in both directions, （b） φ is both an adjacency preserving surjection and a diameter preserving map, （c） φ is a bijective map which preserves the arithmetic distance.     

Cotorsion pair extensions

Assume that S is an almost excellent extension of R. Using functors HomR（S,-） and -×R S, we establish some connections between classes of modules lR and lS, cotorsion pairs （AR, BR） and （AS, BS）. If lS is a T-extension or （and） H-extension of lR, we show that lS is a （resp., monomorphic, epimorphic, special） preenveloping class if and only if so is lR. If （AS, BS） is a TH- extension of （AR, BR）, we obtain that （AS, BS） is complete （resp., of finite type, of cofinite type, hereditary, perfect, n-tilting） if and only if so is （AR, BR）.     

<Emphasis Type="Italic">K</Emphasis>-Radical classes and product radical classes of <Emphasis Type="Italic">MV</Emphasis>-algebras

For an MV-algebra let J ₀( ) be the system of all closed ideals of ; this system is partially ordered by the set-theoretical inclusion. A radical class X of MV-algebras will be called a K-radical class iff, whenever ∈ X and is an MV-algebra with J ₀( ) ≅ J ₀( ), then ∈ X. An analogous notation for lattice ordered groups was introduced and studied by Conrad. In the present paper we show that there is a one-to-one correspondence between K-radical classes of MV-algebras and K-radical classes of abelian lattice ordered groups. We also prove an analogous result for product radical classes of MV-algebras; product radical classes of lattice ordered groups were studied by Ton. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information, Grant I/2/2005.     

Harmonic moments of branching processes in random environments

We consider harmonic moments of branching processes in general random environments. For a sequence of square integrable random variables, we give some conditions such that there is a positive constant c that every variable in this sequence belong to Ac or A1c uniformly.     

On <Emphasis Type="Italic">K</Emphasis>-groups of operator algebra on the 1-shift space

In this paper we discuss the K-groups of Wiener algebra ;W. For the 1-shift space XGM2,We obtain a characterization of Fredholm operators on X^nGM2 for all n ∈ N. We also calculate the K-groups of operator algebra on the 1-shift space XGM2.     

Direct product decompositions of bounded commutative residuated ℓ-monoids

The notion of bounded commutative residuated ℓ-monoid (BCR ℓ-monoid, in short) generalizes both the notions of MV-algebra and of BL-algebra. Let be a BCR ℓ-monoid; we denote by ℓ( ) the underlying lattice of . In the present paper we show that each direct product decomposition of ℓ( ) determines a direct product decomposition of . This yields that any two direct product decompositions of have isomorphic refinements. We consider also the relations between direct product decompositions of and states on . This work was supported by Slovak Research and Development Agency under the contract No APVV-0071-06. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information (grant I/2/2005).     

∞-jets of diffeomorphisms preserving orbits of vector fields

Let F be a C ^∞ vector field defined near the origin O ∈ ℝ ⁿ , F(O) = 0, and (F _t ) be its local flow. Denote by the set of germs of orbit preserving diffeomorphisms h: ℝ ⁿ → ℝ ⁿ at O, and let , (r ≥ 0), be the identity component of with respect to the weak Whitney W ^r topology. Then contains a subset consisting of maps of the form F _α(x)(x), where α: ℝ ⁿ → ℝ runs over the space of all smooth germs at O. It was proved earlier by the author that if F is a linear vector field, then = . In this paper we present a class of examples of vector fields with degenerate singularities at O for which formally coincides with , i.e. on the level of ∞-jets at O. We also establish parameter rigidity of linear vector fields and “reduced” Hamiltonian vector fields of real homogeneous polynomials in two variables.      

Using as a Semantic Markup Format

One of the great problems of Mathematical Knowledge Management (MKM) systems is to obtain access to a sufficiently large corpus of mathematical knowledge to allow the management/search/navigation techniques developed by the community to display their strength. Such systems usually expect the mathematical knowledge they operate on in the form of semantically enhanced documents, but mathematicians and publishers in Mathematics have heavily invested into the format and workflow. We analyze the current practice of semi-semantic markup in documents and extend it by a markup infrastructure that allows to embed semantic annotations into documents without changing their visual appearance. This collection of macro packages is called (semantic ) as it allows to markup documents semantically without leaving the time-tried workflow, essentially turning into an MKM format. At the heart of is a definition mechanism for semantic macros for mathematical objects and a non-standard scoping construct for them, which is oriented at the semantic dependency relation rather than the document structure. We evaluate the macro collection on a large case study: the course materials of a two-semester course in Computer Science was annotated semantically and converted to the OMDoc MKM format by Bruce Miller’s LaTeXML system.      

Nontrivial Solutions of Superquadratic Hamiltonian systems with Lagrangian Boundary Conditions and the L-index Theory

In this paper, the authors study the existence of nontrivial solutions for the Hamiltonian systems z（t） = J△↓H（t, z（t）） with Lagrangian boundary conditions, where ^H（t,z）=1/2（^B（t）z, z） ＋ ^H（t, z）,^B（t） is a semipositive symmetric continuous matrix and ^H（t, z） = satisfies a superquadratic condition at infinity. We also obtain a result about the L-index.     

Wavelet transform and radon transform on the quaternion Heisenberg group

Let Q be the quaternion Heisenberg group,and let P be the affine automorphism group of Q.We develop the theory of continuous wavelet transform on the quaternion Heisenberg group via the unitary representations of P on L2(Q).A class of radial wavelets is constructed.The inverse wavelet transform is simplified by using radial wavelets.Then we investigate the Radon transform on Q.A Semyanistyi–Lizorkin space is introduced,on which the Radon transform is a bijection.We deal with the Radon transform on Q both by the Euclidean Fourier transform and the group Fourier transform.These two treatments are essentially equivalent.We also give an inversion formula by using wavelets,which does not require the smoothness of functions if the wavelet is smooth.In addition,we obtain an inversion formula of the Radon transform associated with the sub-Laplacian on Q.     

Estimates for multilinear singular integral operators with nonsmooth kernels

Let (, d, μ) be a space of homogeneous type in the sense of Coifman and Weiss. In this paper, we consider the behavior on × ⋯ × for the m-linear singular integral operators with nonsmooth kernels which were first introduced by Duong, Grafakos and Yan.