Regular J-classes of subspace semigroups

Subspace semigroup S(M _n (K)) of the matrix algebra over a field K is studied. Idempotents and regular J-classes are characterized and some symmetries of S(M _n (K)) are established.     

Finite-dimensional Representations for a Class of Generalized Intersection Matrix Lie Algebras

In this paper, the authors study a class of generalized intersection matrix Lie algebras gim(M_n), and prove that its every finite-dimensional semisimple quotient is of type M(n, a, c, d). Particularly, any finite dimensional irreducible gim(M_n) module must be an irreducible module of Lie algebra of type M(n, a, c, d) and any finite dimensional irreducible module of Lie algebra of type M(n, a, c, d) must be an irreducible module of gim(M_n).     

A modified BLM approach to quantum affine {\mathfrak{gl}_n}

We introduce a spanning set of Beilinson–Lusztig–MacPherson type, {A(j, r)} _A,j , for affine quantum Schur algebras S_\vartriangle(n, r){{{\boldsymbol{\mathcal S}}_\vartriangle}(n, r)} and construct a linearly independent set {A(j)} _A,j for an associated algebra [^(K)]_\vartriangle(n){{{\boldsymbol{\widehat{\mathcal K}}}_\vartriangle}(n)} . We then establish explicitly some multiplication formulas of simple generators E^\vartriangle_h,h+1(0){E^\vartriangle_{h,h+1}}(\mathbf{0}) by an arbitrary element A(j) in [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{{{\mathcal K}}}}_\vartriangle(n)}} via the corresponding formulas in S_\vartriangle(n, r){{{\boldsymbol{\mathcal S}}_\vartriangle(n, r)}} , and compare these formulas with the multiplication formulas between a simple module and an arbitrary module in the Ringel–Hall algebras \mathfrak H_\vartriangle(n){{{\boldsymbol{\mathfrak H}_\vartriangle(n)}}} associated with cyclic quivers. This allows us to use the triangular relation between monomial and PBW type bases for \mathfrak H_\vartriangle(n){{\boldsymbol{\mathfrak H}}_\vartriangle}(n) established in Deng and Du (Adv Math 191:276–304, 2005) to derive similar triangular relations for S_\vartriangle(n, r){{{\boldsymbol{\mathcal S}}_\vartriangle}(n, r)} and [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{\mathcal K}}}_\vartriangle}(n) . Using these relations, we then show that the subspace \mathfrak A_\vartriangle(n){{{\boldsymbol{\mathfrak A}}_\vartriangle}(n)} of [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{{{\mathcal K}}}}_\vartriangle}(n)} spanned by {A(j)} _A,j contains the quantum enveloping algebra U_\vartriangle(n){{{\mathbf U}_\vartriangle}(n)} of affine type A as a subalgebra. As an application, we prove that, when this construction is applied to quantum Schur algebras S(n,r){\boldsymbol{\mathcal S}(n,r)} , the resulting subspace \mathfrak A_\vartriangle(n){{{{\boldsymbol{\mathfrak A}}_\vartriangle}(n)}} is in fact a subalgebra which is isomorphic to the quantum enveloping algebra of \mathfrakgl_n{\mathfrak{gl}_n} . We conjecture that \mathfrak A_\vartriangle(n){{{{{\boldsymbol{\mathfrak A}}_\vartriangle}(n)}}} is a subalgebra of [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{{{\mathcal K}}}}_\vartriangle}(n)} .     

Lefschetz Complex Conditions for Complex Manifolds

For any compact complex manifold M with a compatible symplectic form, we consider the homomorphisms L _1,0: H ^1,0(M) H ^{{n, n–1}(M) and L _{0, 1}: H ^{0, 1}(M) H ^{n – 1, n} (M) given by the cup product with [] ^{n – 1}, n being the complex dimension of M andH ^{*, *}(M) the Dolbeault cohomology of M. We say that Mhas Lefschetz complex type (1, 0) (resp. (0, 1)) if L _{1, 0} (resp.L _{0, 1}) is injective. Such conditions can be considered as complexversions of the (real) Lefschetz condition studied by Benson and Gordonin [Topology 27 (1988), 513–518]for symplectic manifolds. Within the class of compactcomplex nilmanifolds, we prove that the injectivity of L _{1, 0}characterizes those complex structures which are Abelian in the sense ofBarberis et al. [Ann. Global Anal. Geom. 13 (1995), 289–301]. In contrast, complex tori are the only nilmanifolds having Lefschetz complex type (0, 1).     

Inverse-preserving Linear Maps Between Spaces of Matrices over Fields

Suppose F is a field different from F2, the field with two elements. Let Mn（F） and Sn（F） be the space of n × n full matrices and the space of n ×n symmetric matrices over F, respectively. For any G1, G2 ∈ {Sn（F）, Mn（F）}, we say that a linear map f from G1 to G2 is inverse-preserving if f（X）^-1 = f（X^-1） for every invertible X ∈ G1. Let L （G1, G2） denote the set of all inverse-preserving linear maps from G1 to G2. In this paper the sets .L（Sn（F）,Mn（F））, L（Sn（F）,Sn（F））, L （Mn（F）,Mn（F）） and L（Mn （F）, Sn （F）） are characterized.     

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 Semigroup Generated by the Similarity Class of a Singular Matrix

Let A be a singular matrix of M _n (𝕂), where 𝕂 is an arbitrary field. Using canonical forms, we give a new proof that the sub-semigroup of ( _n (𝕂), ×) generated by the similarity class of A is the set of matrices of M _n (𝕂) with a rank lesser than or equal to that of A.     

HOMOTOPY SELF-EQUIVALENCE GROUPS OF UNIONS OF SPACES: INCLUDING MOORE-SPACES

Abstract

The group ?(M^m(A) v Mⁿ(π)) of homotopy self-equivalence classes of two Moore spaces is faithfully represented onto a (multiplicative) group of matrices for n≥m≥3. We consider, in this note, related representations of ?(M^m(Λ)vMⁿ(π)), for finitely generated Λ and π in the case where n≥4, and also where n=3 if ext(Λ, π)=0. The representation onto a matrix group, similar to that in the case above, is not, in general, valid. We show however that ?(M²(Λ)vMⁿ(π)) is represented onto ?(M²(Λ))× ?(Mⁿ(π) in this case, and that this representation determines an isomorphism with an iterated semi-direct product ?(M²(Λ)v Mⁿ(π)) ? {(Mⁿ(π), M²(Λ))? ext(π Λ ? π)} ? (?(M²(Λ)) × ? (Mⁿ(π)).

More generally we review, and-extend, the theory of the representation of the (generalized) near ring (XvY,XvY) onto the matrix (generalized) near-ring (XvY, XxY) where appropriate, in the case where X and Y are h-coloops; and we deduce results for the representation of ?(XvY, XvY). Some of the results published previously in the case of simply-connected CW co-h-spaces, extend to the case where X and Y are path-connected h-coloops one of which is well-pointed. We note the obstructions to the existence of a homomorphic section, and consider a number of special cases which occur when some of the groups are trivial.     

On the Erlang Loss Model with Time Dependent Input

We consider the M(t)/M(t)/m/m queue, where the arrival rate λ(t) and service rate μ(t) are arbitrary (smooth) functions of time. Letting p_n(t) be the probability that n servers are occupied at time t (0≤ n≤ m, t > 0), we study this distribution asymptotically, for m→∞ with a comparably large arrival rate λ(t) = O(m) (with μ(t) = O(1)). We use singular perturbation techniques to solve the forward equation for p_n(t) asymptotically. Particular attention is paid to computing the mean number of occupied servers and the blocking probability p_m(t). The analysis involves several different space-time ranges, as well as different initial conditions (we assume that at t = 0 exactly n₀ servers are occupied, 0≤ n₀≤ m). Numerical studies back up the asymptotic analysis. AMS subject classification: 60K25,34E10 Supported in part by NSF grants DMS-99-71656 and DMS-02-02815     

Criteria for Convergence of the Number of Near Maxima for Long Tails

Let M_n denote the maximum of a random sample of size n and K_n(a) be the number of near maxima, i.e. the number of sample observations in the fixed-width window (M_n – a, M_n]. There is a known integral criterion for almost sure convergence (to unity) of K_n(a), and we establish a similar criterion for complete convergence. We obtain simple but quite general sufficient conditions on the survivor function for satisfying the integral criteria. Further insight is obtained by seeking the rate at which P(K_n(a > 1)) tends to zero.AMS 2000 Subject Classification. 62G30, 60F15     

Effect of the initial estimator on the asymptotic behavior of one-step M-estimator

For a general (real) parameter, let M _nbe the M-estimator and M _n ⁽¹⁾ be its one-step version (based on a suitable initial estimator M _n ⁽⁰⁾). It is known that, under certain regularity conditions, n(M _n ⁽¹⁾-M _n)=O _p(1). The asymptotic distribution of n(M _n ⁽¹⁾-M _n) is studied; it is typically non-normal and it reveals the role of the initial estimator M _n ⁽⁰⁾.Work of this author was partially supported by the Office of Naval Research, Contract No. N00014-83-K-0387     

Matrices with zero trace

LetM _n(F) denote the algebra ofn-square matrices with elements in a fieldF. In this paper we show that ifM ∈M _n(F) has zero trace thenM=AB−BA for certainA, B ∈ M _n(F), withA nilpotent and traceB=0, apart from some exceptional cases whenn=2 or 3. We also determine whenM=MB−BM for someB ∈ M _n(F). The preparation of this paper was supported in part by the U.S. Air Force under contract AFOSR 698-65.     

Matrix Near-rings over Centralizer Near-rings

For a finite group G and a subgroup A of Aut(G), let M_A(G) denote the centralizer near-ring determined by A and G. The group G is an M_A(G)-module. Using the action of M_A(G) on G, one has the n × n generalized matrix near-ring Mat_n(M_A(G);G). The correspondence between the ideals of M_A(G) and those of Mat_n(M_A(G);G) is investigated. It is shown that if every ideal of M_A(G) is an annihilator ideal, then there is a bijection between the ideals of M_A(G) and those of Mat_n(M_A(G);G).1991 Mathematics Subject Classification: 16Y30     

Décomposition spectrale dans des algèbres munies d'un star-produit

Summary The purpose of this paper is to study, in intrinsic way, the Moyal's product, defined in the flat space R ²ⁿ. This product is defined here with the twisted convolution and the Fourier transform. The S(R ²ⁿ) and L²(R ²ⁿ) spaces are_*5-algebras. Because of this definition, the_*V-product of some tempered distributions is defined. Let O _M ^v be the set of multiplication operators in S(R ²ⁿ). By transposition, the S(R ²ⁿ) space is a right-module on O _M ^v . The support of f_*v g is different from the support of f·g; under large enough hypotheses, there is a Taylor's formula for the star-product function of the v variable. The ^v space of the multiplication operators in L²(R ²ⁿ) is defined here as the space of tempered distributions, the image of which is the set of bounded operators in L²(R ²ⁿ) by the Weyl map. After the study of ^v space, it is possible to show the spectral resolution of the real elements of ^v or of O _M ^v , which satisfies a, probably superfluous, hypothesis.     

A Note on the Associated Primes of Local Cohomology Modules

In this note we give a simple proof of the following result: Let R be a commutative Noetherian ring,  an ideal of R and M a finite R-module, if H_ ⁱ (M) has finite support for all i < n, then Ass(H_ ⁿ (M)) is finite.     

Comparison theorems for the volume of a complex submanifold of a Kaehler manifold

LetM be a Kaehler manifold of real dimension 2n with holomorphic sectional curvatureK _H≥4λ and antiholomorphic Ricci curvatureρ _A≥(2n−2)λ, andP is a complex hypersurface. We give a bound for the quotient (volume ofP)/(volume ofM) and prove that this bound is attained if and only ifP=C P ⁿ⁻¹(λ) andM=C P ⁿ(λ). Moreover, we give some results on the volume of of tubes aboutP inM. Work partially supported by a DGICYT Grant No. PS87-0115-CO3-01.     

A Modification of the Lyons-Sullivan Discretization of Positive Harmonic Functions

A modification of the Lyons-Sullivan discretization of positive harmonic functions on a Riemannian manifold M is proposed. This modification, depending on a choice of constants C = {C _n :n = 1,2,..}, allows for constructing measures n_x^C, x ? M\nu_x^\mathbf{C},\ x\in M, supported on a discrete subset Γ of M such that for every positive harmonic function f on M

Spectral Criteria of Abstract Sequences; Application to Difference Equations

We suppose that M is a closed subspace of l ^∞(J, X), the space of all bounded sequences {x(n)} _n?J ? X, where J ? {Z⁺,Z} and X is a complex Banach space. We define the M-spectrum σ_M (u) of a sequence u ? l ^∞(J,X). Certain conditions will be supposed on both M and σ_M (u) to insure the existence of u ? M. We prove that if u is ergodic, such that σ_M (u,) is at most countable and, for every λ ? σ_M (u), the sequence e^?iλnu(n) is ergodic, then u ? M. We apply this result to the operator difference equationu(n + 1) = Au(n) + ψ(n), n ? J,and to the infinite order difference equation Σ ^r _k=1 a_k (u(n + k) ? u(n)) + Σ _{s ? Z}?(n ? s)u(s) = h(n), n?J, where ψ?l ^∞(Z,X) such that ψ| _J ? M, A is the generator of a C ₀-semigroup of linear bounded operators {T(t)} _t>0 on X, h ? M, ? ? l ¹(Z) and a_k ?C. Certain conditions will be imposed to guarantee the existence of solutions in the class M.     

*-Polynomial Identities of Matrices with the Symplectic Involution: The Low Degrees

Abstract

The *-polynomial identities of minimal degree of M _n (F) are determined for n = 2, 4, * the symplectic involution.