A new characterization of the simple group <Emphasis Type="Italic">A</Emphasis><Subscript>1</Subscript>(<Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

The simple group A ₁(p ⁿ ) is proved to be uniquely determined by the set of the orders of the maximal abelian subgroups of A ₁(p ⁿ ).     

Integral self-affine tiles in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> part II: Lattice tilings

Let A be an expanding n×n integer matrix with |det(A)|=m. Astandard digit set D for A is any complete set of coset representatives forℤ ⁿ /A(ℤ ⁿ ). Associated to a given D is a setT (A, D), which is the attractor of an affine iterated function system, satisfyingT=∪ _d∈D (T+d). It is known thatT (A, D) tilesℝ ⁿ by some subset ofℤ ⁿ . This paper proves that every standard digit set D gives a setT (A, D) that tilesℝ ⁿ with a lattice tiling.     

Almost homomorphisms between unital <Emphasis Type="Italic">C</Emphasis>*-algebras: A fixed point approach

Let A , B be two unital C*-algebras. By using fixed pint methods, we prove that every almost unital almost linear mapping h : A → B which satisfies h(2 n uy) = h(2 n u)h(y) for all u ∈ U(A), all y ∈ A, and all n = 0, 1, 2, … , is a homomorphism. Also, we establish the generalized Hyers-Ulam-Rassias stability of *-homomorphisms on unital C*-algebras.     

Tensor Product Representations of the Lie Superalgebra 𝔭(n) and Their Centralizers

Abstract

We construct an associative algebra A _k and show that there is a representation of A _k on V ^?k , where V is the natural 2n-dimensional representation of the Lie superalgebra 𝔭(n). We prove that A _k is the full centralizer of 𝔭(n) on V ^?k , thereby obtaining a “Schur-Weyl duality” for the Lie superalgebra 𝔭(n). This result is used to understand the representation theory of the Lie superalgebra 𝔭(n). In particular, using A _k we decompose the tensor space V ^?k , for k = 2 or 3, and show that V ^?k is not completely reducible for any k ≥ 2.     

Stability of unitary SK<Subscript>1</Subscript> of Azumaya algebras

For an Azumaya algebra A with center C of rank n ² and a unitary involution τ, we study the stability of the unitary SK₁ under reduction. We show that if R = C ^τ is a Henselian ring with maximal ideal \mathfrakm{\mathfrak{m}} and 2 and n are invertible in R then SK₁(A, t) @ SK₁(A/ \mathfrakm A, overline t){{{\rm SK}_1}(A, \tau) \cong {{\rm SK}_1}(A/ \mathfrak{m} A, overline \tau)}.     

The Smallest Parallelepiped of n Random Points and Peeling

Let n random points be given with uniform distribution in the d-dimensional unit cube [0,1]^d. The smallest parallelepiped A which includes all the n random points is dealt with. We investigate the asymptotic behavior of the volume of A as n tends to . Using a point process approach, we derive also the asymptotic behavior of the volumes of the k-th smallest parallelepipeds A _n ^(k) which are defined by iteration. Let A _n = A _n ⁽¹⁾ . Given A _n ^(k,-,1) delete the random points X _i which are on the boundary A _n ^(k,-,1) , and construct the smallest parallelepiped which includes the inner points of A _n ^(k,-,1) , this defines A _n ^(k) . This procedure is known as peeling of the parallelepiped A_n.     

A weighted estimate for the square function on the unit ball in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We show that the Luzin area integral or the square function on the unit ball of ℂ ⁿ , regarded as an operator in the weighted space L ²(w) has a linear bound in terms of the invariant A ₂ characteristic of the weight. We show a dimension-free estimate for the “area-integral” associated with the weighted L ²(w) norm of the square function. We prove the equivalence of the classical and the invariant A ₂ classes.     

Affine Near-Semirings Over Brandt Semigroups

In order to study the structure of A ⁺(B _n )—the affine near-semiring over a Brandt semigroup—this work completely characterizes the Green's classes of its semigroup reducts. In this connection, this work classifies the elements of A ⁺(B _n ) and reports the size of A ⁺(B _n ). Further, idempotents and regular elements of the semigroup reducts of A ⁺(B _n ) have also been characterized and studied some relevant semigroups in A ⁺(B _n ).     

On the convex hull of the multiform numerical range

Let A ₁,…,A_m be nxn hermitian matrices. Definine

W(A ₁,…,A_m )={(xA₁x ^?,…xA_mx ^?):x?C ⁿ ,xx ^?=1}. We will show that every point in the convex hull of W(A ₁,…,A_m ) can be represented as a convex combination of not more than k(m,n) points in W(A ₁,…,A_m ) where k(m,n)=min{n,[√m]+δ _n ² _m+1}.     

REPRESENTATIONS OF A CLASS OF DRINFELD'S DOUBLES

Let k be a field and A_n(ω) be the Taft's n²-dimensional Hopf algebra. When n is odd, the Drinfeld quantum double D(A_n(ω)) of A_n(ω) is a ribbon Hopf algebra. In the previous articles, we constructed an n₄-dimensional Hopf algebra H_n(p, q) which is isomorphic to D(A_n(ω)) if p ≠ 0 and q = ω^?1 , and studied the irreducible representations of H_n(1, q) and the finite dimensional representations of H₃(1, q). In this article, we examine the finite-dimensional representations of H_n(l q), equivalently, of D(A_n(ω)) for any n ≥ 2. We investigate the indecomposable left H_n(1, q)-module, and describe the structures and properties of all indecomposable modules and classify them when k is algebraically closed. We also give all almost split sequences in mod H_n(1, q), and the Auslander-Reiten-quiver of H_n(1 q).     

Maps Between Uniform Algebras Preserving Norms of Rational Functions

Let A, B be uniform algebras. Suppose that A ₀, B ₀ are subgroups of A ⁻¹, B ⁻¹ that contain exp A, exp B respectively. Let α be a non-zero complex number. Suppose that m, n are non-zero integers and d is the greatest common divisor of m and n. If T : A ₀ → B ₀ is a surjection with ||T(f)^mT(g)ⁿ - a||_￥ = ||f^mgⁿ - a||_￥{\|T(f)^{m}T(g)^{n} - \alpha\|_{\infty} = \|f^{m}g^{n} - \alpha\|_{\infty}} for all f,g ? A₀{f,g \in A_0}, then there exists a real-algebra isomorphism [(T)\tilde] : A ? B{\tilde{T} : A \rightarrow B} such that [(T)\tilde](f)^d = (T(f)/T(1))^d{\tilde{T}(f)^d = (T(f)/T(1))^d} for every f ? A₀{f \in A_0}. This result leads to the following assertion: Suppose that S _A , S _B are subsets of A, B that contain A ⁻¹, B ⁻¹ respectively. If m, n > 0 and a surjection T : S _A → S _B satisfies ||T(f)^mT(g)ⁿ - a||_￥ = ||f^mgⁿ - a||_￥{\|T(f)^{m}T(g)^{n} - \alpha\|_{\infty} = \|f^{m}g^{n} - \alpha\|_{\infty}} for all f, g ? S_A{f, g \in S_A}, then there exists a real-algebra isomorphism [(T)\tilde] : A ? B{\tilde{T} : A \rightarrow B} such that [(T)\tilde](f)^d = (T(f)/T(1))^d{\tilde{T}(f)^d = (T(f)/T(1))^d} for every f ? S_A{f \in S_A}. Note that in these results and elsewhere in this paper we do not assume that T(exp A) = exp B.     

The quantum double of the Yangian of the Lie superalgebra <Emphasis Type="Italic">A</Emphasis>(<Emphasis Type="Italic">m,n</Emphasis>) and computation of the universal <Emphasis Type="Italic">R</Emphasis>-matrix

The Yangian double DY(A(m, n)) of the Lie superalgebra A(m, n) is described in terms of generators and defining relations. We prove the triangular decomposition for Yangian Y(A(m, n)) and its quantum double DY(A(m, n)) as a corollary of the PBW theorem. We introduce normally ordered bases in the Yangian and its dual Hopf superalgebra in the quantum double. We calculate the pairing formulas between the elements of these bases. We obtain the formula for the universal R-matrix of the Yangian double. The formula for the universal R-matrix of the Yangian, which was introduced by V. Drinfel’d, is also obtained. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 2, pp. 185–208, 2005.     

Symmetric cohomology of groups in low dimension

We give an explicit characterization for group extensions that correspond to elements of the symmetric cohomology HS ²(G, A). We also give conditions for the map HS ⁿ (G, A) → H ⁿ (G, A) to be injective.     

On the Classification of Twisting Maps Between Kn and Km

We define the notion of admissible pair for an algebra A, consisting on a couple (Γ, R), where Γ is a quiver and R a unital, splitted and factorizable representation of Γ, and prove that the set of admissible pairs for A is in one to one correspondence with the points of the variety of twisting maps T_Aⁿ:=T(Kⁿ,A)\mathcal{T}_A^n:=\mathcal{T}(K^n,A). We describe all these representations in the case A = K ^m .     

Some basic inequalities in higher dimensional non-Euclid space

In this paper, the concept of a finite mass-points system∑N(H(A))(N>n) being in a sphere in an n-dimensional hyperbolic space Hn and a finite mass-points system∑N(S(A))(N>n) being in a hyperplane in an n-dimensional spherical space Sn is introduced, then, the rank of the Cayley-Menger matrix AN(H)(or a AN(S)) of the finite mass-points system∑∑N(S(A))(or∑N(S(A))) in an n-dimensional hyperbolic space Hn (or spherical space Sn) is no more than n 2 when∑N(H(A))(N>n) (or∑N(S(A))(N>n)) are in a sphere (or hyperplane). On the one hand, the Yang-Zhang's inequalities, the Neuberg-Pedoe's inequalities and the inequality of the metric addition in an n-dimensional hyperbolic space Hn and in an n-dimensional spherical space Sn are established by the method of characteristic roots. These are basic inequalities in hyperbolic geometry and spherical geometry. On the other hand, some relative problems and conjectures are brought.     

Multiple Wiener-Ito integrals possessing a continuous extension

LetF(W) be a Wiener functional defined byF(W)=I _n(f) whereI _n(f) denotes the multiple Wiener-Ito integral of ordern of the symmetricL ²([0, 1] ⁿ ) kernelf. We show that a necessary and sufficient condition for the existence of a continuous extension ofF, i.e. the existence of a function ø(·) from the continuous functions on [0, 1] which are zero at zero to which is continuous in the supremum norms and for which ø(W)=F(W) a.s, is that there exists a multimeasure (dt ₁,...,dt _n ) on [0, 1] ⁿ such thatf(t ₁, ...,t _n ) = ((t ₁, 1]), ..., (t _n , 1]) a.e. Lebesgue on [0, 1] ⁿ . Recall that a multimeasure (A ₁,...,A _n ) is for every fixedi and every fixedA _i,...,A_i-1, A_i+1,...,A_n a signed measure inA _i and there exists multimeasures which are not measures. It is, furthermore, shown that iff(t ₁,t ₂, ...,t _n ) = ((t ₁, 1], ..., (t _n , 1]) then all the tracesf ^(k), off exist, eachf(^k) induces ann–2k multimeasure denoted by ^(k), the following relation holds

Resolvent Estimates for Operators Belonging to Exponential Classes

For a, α > 0 let E(a, α) be the set of all compact operators A on a separable Hilbert space such that s _n (A) = O(exp(-an^α)), where s _n (A) denotes the n-th singular number of A. We provide upper bounds for the norm of the resolvent (zI − A)⁻¹ of A in terms of a quantity describing the departure from normality of A and the distance of z to the spectrum of A. As a consequence we obtain upper bounds for the Hausdorff distance of the spectra of two operators in E(a, α).      

Counting points in hypercubes and convolution measure algebras

It is shown that ifA andB are non-empty subsets of {0, 1} ⁿ (for somenεN) then |A+B|≧(|A||B|)^α where α=(1/2) log₂ 3 here and in what follows. In particular if |A|=2 ^n-1 then |A+A|≧3 ^n-1 which anwers a question of Brown and Moran. It is also shown that if |A| = 2 ^n-1 then |A+A|=3 ^n-1 if and only if the points ofA lie on a hyperplane inn-dimensions. Necessary and sufficient conditions are also given for |A +B|=(|A||B|)^α. The above results imply the following improvement of a result of Talagrand [7]: ifX andY are compact subsets ofK (the Cantor set) withm(X),m(Y)>0 then λ(X+Y)≧2(m(X)m(Y))^α wherem is the usual measure onK and λ is Lebesgue measure. This also answers a question of Moran (in more precise terms) showing thatm is not concentrated on any proper Raikov system.     

On centralizers of standard operator algebras and semisimple H*-algebras

Summary Let Abe a semisimple H*-algebra and let T: A→Abe an additive mapping such that T(x ^{n +1})<span lang=EN-US style='font-size:10.0pt;mso-ansi-language:EN-US'>=T(x)x ⁿ+x ⁿ T(x) holds for all x∈Aand some integer n≥1. In this case Tis a left and a right centralizer.     

Asymptotic convergence of degree‐raising

It is well known that the degree‐raised Bernstein–Bézier coefficients of degree n of a polynomial g converge to g at the rate 1/n. In this paper we consider the polynomial A _n(g) of degree ⩼ n interpolating the coefficients. We show how A _n can be viewed as an inverse to the Bernstein polynomial operator and that the derivatives A _n(g)(^r) converge uniformly to g(^r) at the rate 1/n for all r. We also give an asymptotic expansion of Voronovskaya type for A _n(g) and discuss some shape preserving properties of this polynomial. This revised version was published online in June 2006 with corrections to the Cover Date.