Additive preservers of idempotence and Jordan homorphisms between rings of square matrices

Suppose R is an idempotence-diagonalizable ring. Let n and m be two arbitrary positive integers with n ≥ 3. We denote by Mn（R） the ring of all n x n matrices over R. Let （Jn（R）） be the additive subgroup of Mn（R） generated additively by all idempotent matrices. Let JJ = （Jn（R）） or Mn（R）. We describe the additive preservers of idempotence from JJ to Mm（R） when 2 is a unit of R. Thereby, we also characterize the Jordan （respectively, ring and ring anti-） homomorphisms from Mn （R） to Mm （R） when 2 is a unit of R.     

The quantum general linear supergroup,canonical bases and Kazhdan-Lusztig polynomials

Canonical bases of the tensor powers of the natural -module V are constructed by adapting the work of Frenkel, Khovanov and Kirrilov to the quantum supergroup setting. This result is generalized in several directions. We first construct the canonical bases of the ℤ₂-graded symmetric algebra of V and tensor powers of this superalgebra; then construct canonical bases for the superalgebra O _q (M _m|n ) of a quantum (m,n) × (m,n)-supermatrix; and finally deduce from the latter result the canonical basis of every irreducible tensor module for by applying a quantum analogue of the Borel-Weil construction. This work was supported by National Natural Science Foundation of China (Grant No. 10471070)     

On the prime radical and Baer’s lower nilradical of modules

Let M be a left R-module. In this paper a generalization of the notion of m-system set of rings to modules is given. Then for a submodule N of M, we define := { m ε M: every m-system containing m meets N}. It is shown that is the intersection of all prime submodules of M containing N. We define rad _R (M) = . This is called Baer-McCoy radical or prime radical of M. It is shown that if M is an Artinian module over a PI-ring (or an FBN-ring) R, then M/rad _R (M) is a Noetherian R-module. Also, if M is a Noetherian module over a PI-ring (or an FBN-ring) R such that every prime submodule of M is virtually maximal, then M/rad _R (M) is an Artinian R-module. This yields if M is an Artinian module over a PI-ring R, then either rad _R (M) = M or rad _R (M) = ∩ _i=1 ⁿ for some maximal ideals of R. Also, Baer’s lower nilradical of M [denoted by Nil_* ( _R M)] is defined to be the set of all strongly nilpotent elements of M. It is shown that, for any projective R-module M, rad _R (M) = Nil_*( _R M) and, for any module M over a left Artinian ring R, rad _R (M) = Nil_*( _R M) = Rad(M) = Jac(R)M. This research was in part supported by a grant from IPM (No. 85130016). Also this work was partially supported by IUT (CEAMA). The author would like to thank the anonymous referee for a careful checking of the details and for helpful comments that improved this paper.     

Distribution of the maxima of random Takagi functions

This paper concerns the maximum value and the set of maximum points of a random version of Takagi’s continuous, nowhere differentiable function. Let F(x):=∑ _n=1^∞ ε _n ϕ(2 ⁿ⁻¹ x), x ∈ R, where ɛ ₁, ɛ ₂, ... are independent, identically distributed random variables taking values in {−1, 1}, and ϕ is the “tent map” defined by ϕ(x) = 2 dist (x, Z). Let p:= P (ɛ ₁ = 1), M:= max {F(x): x ∈ R}, and := {x ∈ [0, 1): F(x) = M}. An explicit expression for M is given in terms of the sequence {ɛ _n }, and it is shown that the probability distribution μ of M is purely atomic if p < , and is singular continuous if p ≧ . In the latter case, the Hausdorff dimension and the multifractal spectrum of μ are determined. It is shown further that the set is finite almost surely if p < , and is topologically equivalent to a Cantor set almost surely if p ≧ . The distribution of the cardinality of is determined in the first case, and the almost-sure Hausdorff dimension of is shown to be (2p − 1)/2p in the second case. The distribution of the leftmost point of is also given. Finally, some of the results are extended to the more general functions Σa ^{n − 1} ɛ _n ϕ(2 ^{n − 1} x), where 0 < a < 1.      

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.     

On the relations among best approximation and Fourier coefficients

We discuss the relations among the best approximation E _n (f) and the Fourier coefficients of a function, under the conditions that and , where MVBVS^* is the class of the so-called Strong Mean Value Bounded Variation Sequences. This work was supported by NSERC RCD grant and AARMS of Canada (Yu D S), by NSERC of Canada (Zhou P), and by the National Natural Science Foundation of China (Grant No. 10471130) and the Open Fund (Grant No. PLN0613) of State Key Laboratory of Oil and Gas Reservoir Geology and Exploitation (Southwest Petroleum University) (Zhou S P)     

On some problems of weak consistency of quasi-maximum likelihood estimates in generalized linear models

In this paper,we explore some weakly consistent properties of quasi-maximum likelihood estimates(QMLE) concerning the quasi-likelihood equation in=1 Xi(yi-μ(Xiβ)) = 0 for univariate generalized linear model E(y |X) = μ(X'β).Given uncorrelated residuals {ei = Yi-μ(Xiβ0),1 i n} and other conditions,we prove that βn-β0 = Op(λn-1/2) holds,where βn is a root of the above equation,β0 is the true value of parameter β and λn denotes the smallest eigenvalue of the matrix Sn = ni=1 XiXi.We also show that the convergence rate above is sharp,provided independent non-asymptotically degenerate residual sequence and other conditions.Moreover,paralleling to the elegant result of Drygas(1976) for classical linear regression models,we point out that the necessary condition guaranteeing the weak consistency of QMLE is Sn-1→ 0,as the sample size n →∞.     

A note on the crossed product $$ \mathcal{R}(\mathcal{A},\alpha ) $$ associated with PSL2(ℝ)

Given the hyperbolic measure dxdy/y ² on the upper half plane ℍ, the rational actions of PSL₂(ℝ) on ℍ induces a continuous unitary representation α of this group on the Hilbert space L ²(ℍ, dxdy/y ²). Supposing that = {M _f : f ∈ L ^∞ (ℍ, dxdy/y ²)}, we show that the crossed product is of type I. In fact, the crossed product is *-isomorphic to the von Neumann algebra , where is the abelian group von Neumann algebra generated by the left regular representation of K. This work was supported by the Youth Foundation of Sichuan Education Department of China (Grant No. 2003B017)     

Oscillation theorems for second-order nonlinear neutral delay dynamic equations on time scales

By employing the generalized Riccati transformation technique, we will establish some new oscillation criteria and study the asymptotic behavior of the nonoscillatory solutions of the second-order nonlinear neutral delay dynamic equation

Binormal operator and *-Aluthge transformation

Let T = U｜T｜ be the polar decomposition of a bounded linear operator T on a Hilbert space. The transformation T = ｜T｜^1/2 U｜T｜^1/2 is called the Aluthge transformation and Tn means the n-th Aluthge transformation. Similarly, the transformation T（＊）=｜T＊｜^1/2 U｜T＊｜＆1/2 is called the ＊-Aluthge transformation and Tn^（＊） means the n-th ＊-Aluthge transformation. In this paper, firstly, we show that T（＊） = UV｜T^（＊）｜ is the polar decomposition of T（＊）, where ｜T｜^1/2 ｜T^＊｜^1/2 = V｜｜T｜^1/2 ｜T^＊｜^1/2｜ is the polar decomposition. Secondly, we show that T（＊） = U｜T^（＊）｜ if and only if T is binormal, i.e., [｜T｜, ｜T^＊｜]=0, where [A, B] = AB - BA for any operator A and B. Lastly, we show that Tn^（＊） is binormal for all non-negative integer n if and only if T is centered, and so on.     

Toeplitz operators related to strongly singular Calderón-Zygmund operators

In this paper, the boundedness of Toeplitz operator T _b(f) related to strongly singular Calderón-Zygmund operators and Lipschitz function b ε (ℝⁿ) is discussed from L ^p(ℝⁿ) to L ^q(ℝⁿ), , and from L ^p(ℝⁿ) to Triebel-Lizorkin space . We also obtain the boundedness of generalized Toeplitz operator Θ _α0 ^b from L ^p(ℝⁿ) to L ^q(ℝⁿ), . All the above results include the corresponding boundedness of commutators. Moreover, the boundedness of Toeplitz operator T _b(f) related to strongly singular Calderón-Zygmund operators and BMO function b is discussed on L ^p(ℝⁿ), 1 < p < ∞.     

Approximately isometric lifting in quasidiagonal extensions

Let 0 → I → A → A/I → 0 be a short exact sequence of C*-algebras with A unital. Suppose that the extension 0 → I → A → A/I → 0 is quasidiagonal, then it is shown that any positive element (projection, partial isometry, unitary element, respectively) in A/I has a lifting with the same form which commutes with some quasicentral approximate unit of I consisting of projections. Furthermore, it is shown that for any given positive number ε, two positive elements (projections, partial isometries, unitary elements, respectively) in A/I, and a positive element (projection, partial isometry, unitary element, respectively) a which is a lifting of , there is a positive element (projection, partial isometry, unitary element, respectively) b in A which is a lifting of such that ∥a−b∥ < . As an application, it is shown that for any positive numbers ε and in U(A/I) ₀ , there exists u in U(A)₀ which is a lifting of such that cel(u) < cel. This work was supported by National Natural Science Foundation of China (Grant No. 10771161)     

Eigenvalue estimate on a compact Riemann manifold

LetM be a compact Riemann manifold with the Ricci curvature ≽ - R(R = const. > 0) . Denote by d the diameter ofM. Then the first eigenvalue λ₁ ofM satisfies . Moreover if , then      

On maximal injective subalgebras in a <Emphasis Type="Italic">w</Emphasis>Γ factor

Let (F _ℚ) × _α ℤ be the crossed product von Neumann algebra of the free group factor (F _ℚ), associated with the left regular representation λ of the free group F _ℚ with the set {u _r : r ∈ ℚ} of generators, by an automorphism α defined by α(λ(u _r )) = exp(2πri)λ(u _r ), where ℚ is the rational number set. We show that (F _ℚ) × _α ℤ is a wΓ factor, and for each r ∈ ℚ, the von Neumann subalgebra generated in (F _ℚ) × _α ℚ by λ(u _r ) and υ is maximal injective, where υ is the unitary implementing the automorphism α. In particular, (F _ℚ) × _α ℣ is a wΓ factor with a maximal abelian selfadjoint subalgebra which cannot be contained in any hyperfinite type II₁ subfactor of (F _ℚ) × _α ℚ. This gives a counterexample of Kadison’s problem in the case of wΓ factor. This work was supported by the National Natural Science Foundation of China (Grant Nos. 10201007, A0324614) and the Natural Science Foundation of Shandong Province (Grant No. Y2006A03)     

Push-outs of derivations

Let be a Banach algebra and let X be a Banach -bimodule. In studying (,X) it is often useful to extend a given derivation D: → X to a Banach algebra containing as an ideal, thereby exploiting (or establishing) hereditary properties. This is usually done using (bounded/unbounded) approximate identities to obtain the extension as a limit of operators b ↦ D(ba) − b.D(a), a ε in an appropriate operator topology, the main point in the proof being to show that the limit map is in fact a derivation. In this paper we make clear which part of this approach is analytic and which algebraic by presenting an algebraic scheme that gives derivations in all situations at the cost of enlarging the module. We use our construction to give improvements and shorter proofs of some results from the literature and to give a necessary and sufficient condition that biprojectivity and biflatness is inherited to ideals.     

Equivalence and symmetries of second-order differential equations

In this article we investigate the equivalence of underdetermined differential equations and differential equations with deviations of second order with respect to the pseudogroup of transformations = φ(x), ȳ = ȳ() = L(x) + y(x), = () = M(x) + z(x). Our main aim is to determine such equations that admit a large pseudogroup of symmetries. Instead the common direct calculations, we use some more advanced tools from differential geometry, however, our exposition is self-contained and only the most fundamental properties of differential forms are employed. This research has been conducted at the Department of Mathematics as part of the research project CEZ: Progressive reliable and durable structures, MSM 0021630519.     

The relation of dimension,entropy and Lyapunov exponent in random case

We consider random systems generated by two-sided compositions of random surface diffeomorphisms,together with an ergodic Borel probability measure μ.Let D(μω)be its dimension of the sample measure,then we prove a formula relating D(μω)to the entropy and Lyapunov exponents of the random system,where D(μω)is dimHμω,-/dinBμω,or-/dimBμω.     

On one representation of analytic functions by harmonic functions

Let u(x) be a function analytic in some neighborhood D about the origin, $ \mathcal{D} Let u(x) be a function analytic in some neighborhood D about the origin, ⊂ ℝ ⁿ . We study the representation of this function in the form of a series u(x) = u ₀(x) + |x|² u ₁(x) + |x|⁴ u ₂(x) + …, where u _k (x) are functions harmonic in . This representation is a generalization of the well-known Almansi formula. Original Russian Text ? V. V. Karachik, 2007, published in Matematicheskie Trudy, 2007, Vol. 10, No. 2, pp. 142–162.     

On amenability of group algebras, I

We study amenability of algebras and modules (based on the notion of almost-invariant finite-dimensional subspace), and apply it to algebras associated with finitely generated groups. We show that a group G is amenable if and only if its group ring G is amenable for some (and therefore for any) field . Similarly, a G-set X is amenable if and only if its span X is amenable as a G-module for some (and therefore for any) field .     

Normality concerning shared values

Let be a family of meromorphic functions in a plane domain D, and a and b be finite non-zero complex values such that . If for and , then is normal. We also construct a non-normal family of meromorphic functions in the unit disk Δ={|z|<1} such that for every and in Δ, where m is a given positive integer. This answers Problem 5.1 in the works of Gu, Pang and Fang. This work was supported by National Natural Science Foundation of China (Grant Nos. 10671093, 10871094) and the Natural Science Foundation of Universities of Jiangsu Province of China (Grant No. 08KJB110001), the Qing Lan Project of Jiangsu, China and the Scientific Research Foundation for the Returned Overseas Chinese Scholars, State Education Ministry