On Lie derivations of Lie ideals of prime algebras

LetF be a commutative ring with 1, letA, be a primeF-algebra with Martindale extended centroidC and with central closureA _c and letR be a noncentral Lie ideal of the algebraA generatingA. Further, letZ(R) be the center ofR, let be the factor Lie algebra and let δ: be a Lie derivation. Suppose that char(A) ≠ 2 andA does not satisfySt ₁₄, the standard identity of degree 14. We show thatR ΩC =Z(R) and there exists a derivation of algebrasD:A →A _c such that for allx∈R. Our result solves an old problem of Herstein.     

Optimal interpolation of convergent algebraic series

Let , –1<x ₁<...<x _n <1. Denote , t∈(–1,1). Given a function f∈W we try to recover f(ζ) at fixed point ζ∈(–1,1) by an algorithm A on the basis of the information f(x ₁),...,f(x _n ). We find the intrinsic error of recovery . This work is supported by RFBR (grant 07-01-00167-a and grant 06-01-00003).     

Semi-Fredholm Spectrum and Weyl＇s Theorem for Operator Matrices

When A ∈ B（H） and B ∈ B（K） are given, we denote by Mc an operator acting on the Hilbert space HΘ K of the form Me = （ A0 CB）. In this paper, first we give the necessary and sufficient condition for Mc to be an upper semi-Fredholm （lower semi-Fredholm, or Fredholm） operator for some C ∈B（K,H）. In addition, let σSF＋（A） = {λ ∈ C ： A-λI is not an upper semi-Fredholm operator} bc the upper semi-Fredholm spectrum of A ∈ B（H） and let σrsF- （A） = {λ∈ C ： A-λI is not a lower semi-Fredholm operator} be the lower semi Fredholm spectrum of A. We show that the passage from σSF±（A） U σSF±（B） to σSF±（Mc） is accomplished by removing certain open subsets of σSF-（A） ∩σSF＋ （B） from the former, that is, there is an equality σSF±（A） ∪σSF± （B） = σSF± （Mc） ∪＆ where L is the union of certain of the holes in σSF±（Mc） which ilappen to be subsets of σSF- （A） A σSF＋ （B）. Weyl＇s theorem and Browder＇s theorem are liable to fail for 2 × 2 operator matrices. In this paper, we also explore how Weyl＇s theorem, Browder＇s theorem, a-Weyl＇s theorem and a-Browder＇s theorem survive for 2 × 2 upper triangular operator matrices on the Hilbert space.     

The Average Widths of Sobolev-Wiener Classes and Besov-Wiener Classes

This paper concerns the problem of average σ-width of Sobolev-Wiener classes W^rpq(R^d),W^rpq(M,R^d),and Besov-Wiener classes S^rpqθb(R^d).S^rpqθB(R^d),S^rpqθb(M,R^d),S^rpqθB(R^d)in the metric Lq(R^d) for 1≤q≤p≤∞.The weak asymptotic results concerning the average linear widths,the average Bernstein widths and the infinite-dimensional Gel‘fand widths are obtained,respectively.     

Actions of symbolic dynamical systems on C*-algebras. II. Simplicity of C*-symbolic crossed products and some examples

A C*-symbolic dynamical system ${(\mathcal{A}, \rho, \Sigma)}A C*-symbolic dynamical system (A, r, S){(\mathcal{A}, \rho, \Sigma)} consists of a unital C*-algebra A{\mathcal{A}} and a finite family { r_a }_{a ? S}{\{ \rho_\alpha \}_{\alpha \in \Sigma}} of endomorphisms ρ _α of A{\mathcal{A}} indexed by symbols α of Σ satisfying some conditions. The endomorphisms r_a, a ? S{\rho_\alpha, \alpha \in \Sigma } yield both a subshift Λ and a C*-algebra of a Hilbert C*-bimodule. The obtained C*-algebra is regarded as a crossed product of A{\mathcal{A}} by the subshift Λ. We will study simplicity condition of these C*-algebras. Some examples such as irrational rotation Cuntz–Krieger algebras will be studied.     

Counting Ω-ideals

Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P_\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(Aⁿ) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 2^2à₀{2^{2^{\aleph_0}}} Ω-ideals in P_\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.     

Quelques Résultats sur les Algèbres Flexibles Préhilbertiennes sans Diviseurs de Zéro Vérifiant ∥a 2∥ = ∥a∥2

Résumé. Soit A une algèbre réelle. On suppose que l’espace vectoriel A est muni d’une norme ∥.∥ préhilbertienne vérifiant ∥a ²∥ = ∥a∥² pour tout . Si A est flexible, sans diviseurs de zéro et de dimension ≤ 4, alors A est isomorphe à ou , ce qui généralise un théorème d’El-Mallah [1]. Si A est flexible, sans diviseurs de zéro, contenant un idempotent central et vérifiant la propriété d’Osborn, alors A est de dimension finie et isomorphe à , ou . Enfin nous montrons qu’une algèbre normée préhilbertienne unitaire d’unité e telle que ∥e∥ = 1 est flexible et vérifie ∥a ²∥ = ∥ a∥².

---

Let A be a real algebra. Assuming that a vector space A is endowed with a pre-Hilbert norm ∥.∥ satisfying ∥a ²∥ = ∥a∥² for all . If A is flexible, without divisor of zero and of a dimension ≤ 4, then A is isomorphic to or , which generalize El-Mallah’s theorem [1]. If A is flexible, without divisor of zero, containing a central idempotent and satisfying Osborn’s properties, then A is finite dimensional and isomorphic to , or . Finally we prove that a normed pre-Hilbert algebra with unit e such that ∥e∥ = 1 is flexible and satisfies ∥a ²∥ = ∥a∥².

     

Modular Lie algebras and the Gelfand–Kirillov conjecture

Let ${\mathfrak{g}}Let \mathfrakg{\mathfrak{g}} be a finite dimensional simple Lie algebra over an algebraically closed field \mathbbK\mathbb{K} of characteristic 0. Let \mathfrakg_\mathbbZ{\mathfrak{g}}_{{\mathbb{Z}}} be a Chevalley ℤ-form of \mathfrakg{\mathfrak{g}} and \mathfrakg_\Bbbk=\mathfrakg_\mathbbZ?_\mathbbZ\Bbbk{\mathfrak{g}}_{\Bbbk}={\mathfrak{g}}_{{\mathbb{Z}}}\otimes _{{\mathbb{Z}}}\Bbbk, where \Bbbk\Bbbk is the algebraic closure of  \mathbbF_p{\mathbb{F}}_{p}. Let G_\BbbkG_{\Bbbk} be a simple, simply connected algebraic \Bbbk\Bbbk-group with \operatornameLie(G_\Bbbk)=\mathfrakg_\Bbbk\operatorname{Lie}(G_{\Bbbk})={\mathfrak{g}}_{\Bbbk}. In this paper, we apply recent results of Rudolf Tange on the fraction field of the centre of the universal enveloping algebra U(\mathfrakg_\Bbbk)U({\mathfrak{g}}_{\Bbbk}) to show that if the Gelfand–Kirillov conjecture (from 1966) holds for \mathfrakg{\mathfrak{g}}, then for all p≫0 the field of rational functions \Bbbk (\mathfrakg_\Bbbk)\Bbbk ({\mathfrak{g}}_{\Bbbk}) is purely transcendental over its subfield \Bbbk(\mathfrakg_\Bbbk)^G_\Bbbk\Bbbk({\mathfrak{g}}_{\Bbbk})^{G_{\Bbbk}}. Very recently, it was proved by Colliot-Thélène, Kunyavskiĭ, Popov, and Reichstein that the field of rational functions \mathbbK(\mathfrakg){\mathbb{K}}({\mathfrak{g}}) is not purely transcendental over its subfield \mathbbK(\mathfrakg)^\mathfrakg{\mathbb{K}}({\mathfrak{g}})^{\mathfrak{g}} if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄. We prove a modular version of this result (valid for p≫0) and use it to show that, in characteristic 0, the Gelfand–Kirillov conjecture fails for the simple Lie algebras of the above types. In other words, if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄, then the Lie field of \mathfrakg{\mathfrak{g}} is more complicated than expected.     

Weak Type Estimates for Singular Integrals Related to a Dual Problem of Muckenhoupt–Wheeden

A well-known open problem of Muckenhoupt–Wheeden says that any Calderón–Zygmund singular integral operator T is of weak type (1,1) with respect to a couple of weights (w,Mw). In this paper, we consider a somewhat “dual” problem:

Noncommutative Approximation: Inverse-Closed Subalgebras and Off-Diagonal Decay of Matrices

We investigate two systematic constructions of inverse-closed subalgebras of a given Banach algebra or operator algebra $\ensuremath {\mathcal {A}}We investigate two systematic constructions of inverse-closed subalgebras of a given Banach algebra or operator algebra A\ensuremath {\mathcal {A}}, both of which are inspired by classical principles of approximation theory. The first construction requires a closed derivation or a commutative automorphism group on A\ensuremath {\mathcal {A}} and yields a family of smooth inverse-closed subalgebras of A\ensuremath {\mathcal {A}} that resemble the usual H?lder–Zygmund spaces. The second construction starts with a graded sequence of subspaces of A\ensuremath{\mathcal{A}} and yields a class of inverse-closed subalgebras that resemble the classical approximation spaces. We prove a theorem of Jackson–Bernstein type to show that in certain cases both constructions are equivalent.     

Mappings preserving the area equality of hyperbolic triangles are motions

It is shown that a mapping ${\varphi: \mathfrak{A}\rightarrow \mathfrak{B}}It is shown that a mapping j: \mathfrakA? \mathfrakB{\varphi: \mathfrak{A}\rightarrow \mathfrak{B}} between models \mathfrakA{\mathfrak{A}} and \mathfrakB{\mathfrak{B}} of elementary plane hyperbolic geometry, coordinatized by Euclidean ordered fields, that maps triangles having the same area and sharing a side into triangles that have the same property, must be a hyperbolic motion onto j(\mathfrakA){\varphi(\mathfrak{A})}. The relations that Tarski and Szmielew used as primitives for geometry, the equidistance relation ≡ and the betweenness relation B are shown to be positively existentially definable in terms of the quaternary relation Δ, with Δ(abcd) standing for “the triangles abc and abd have the same area.”     

Matrix-exponential groups and Kolmogorov–Fokker–Planck equations

Aim of this paper is to provide new examples of H?rmander operators L{\mathcal{L}} to which a Lie group structure can be attached making L{\mathcal{L}} left invariant. Our class of examples contains several subclasses of operators appearing in literature and arising both in theoretical and in applied fields: evolution Kolmogorov operators, degenerate Ornstein–Uhlenbeck operators, Mumford and Fokker–Planck operators, Ornstein–Uhlenbeck operators with time-dependent periodic coefficients. Our examples basically come from exponential of matrices, as well as from linear constant-coefficient ODE’s, in \mathbbR{\mathbb{R}} or in \mathbbC{\mathbb{C}} . Furthermore, we describe how these groups can be combined together to obtain new structures and new operators, also having an interest in the applied field.     

Mild solutions for a class of fractional SPDEs and their sample paths

We introduce a notion of mild solution for a class of non-autonomous parabolic stochastic partial differential equations defined on a bounded open subset ${D\subset\mathbb{R}^{d}}We introduce a notion of mild solution for a class of non-autonomous parabolic stochastic partial differential equations defined on a bounded open subset and driven by an infinite-dimensional fractional noise. We prove the existence of such a solution, establish its relation with the variational solution introduced by Nualart and Vuillermot (J Funct Anal 232:390–454, 2006) and the H?lder continuity of its sample paths when we consider it as an L ²(D)-valued stochastic process. When h is an affine function, we also prove uniqueness. An immediate consequence of our results is the indistinguishability of mild and variational solutions in the case of uniqueness. M. Sanz-Solé was supported by the grant MTM 2006-01351 from the Dirección General de Investigación, Ministerio de Educación y Ciencia, Spain.     

Fundamental Solution of the Anisotropic Porous Medium Equation

We establish the existence of fundamental solutions for the anisotropic porous medium equation, ut = ∑n i=1（u^mi）xixi in R^n × （O,∞）, where m1,m2,..., and mn, are positive constants satisfying min1≤i≤n{mi}≤ 1, ∑i^n=1 mi 〉 n - 2, and max1≤i≤n{mi} ≤1/n（2 ＋ ∑i^n=1 mi）.     

Jacobi Algebras on Flat Manifolds

A classification theorem for the Jacobi algebras on flat manifolds is proved.The proof involves a generalization of a result about the Lie algebra _n(ℝ). Bibliography: 8 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 299, 2003, pp. 152–161.     

A Translation and Rotation Invariant Gauss–Newton Like Scheme for Image Registration

A Gauss–Newton like method is considered to obtain a d–dimensional displacement vector field , which minimizes a suitable distance measure D between two images. The key to find a minimizer is to substitute the Hessian of D with the Sobolev-H²(Ω)^d norm for . Since the kernel of the associated semi-norm consists only of the affine linear functions we can show in this way, that the solution of each Newton step is a linear combination of an affine linear transformation and an affine-free nonlinear deformation. Our approach is based on the solution of a sequence of quadratic subproblems with linear constraints. We show that the resulting Karush–Kuhn–Tucker system, with a 3×3 block structure, can be solved uniquely and the Gauss–Newton like scheme can be separated into two separated iterations. Finally, we report on synthetic as well as on real-life data test runs. AMS subject classification (2000) 65F20, 68U10     

Almost orthogonal submatrices of an orthogonal matrix

Lett≥1 and letn, M be natural numbers,n<M. Leta=(a _i,j ) be ann xM matrix whose rows are orthonormal. Suppose that the ℓ₂-norms of the columns ofA are uniformly bounded. Namely, for allj Using majorizing measure estimates we prove that for every ε>0 there exists, a setI ⊃ {1,…,M} of cardinality at most such that the matrix , whereA _I =(a _i,j ) _j∈I , acts as a (1+ε)-isomorphism from ℓ ₂ ⁿ into . Research supported in part by a grant of the US-Israel BSF. Part of this research was performed when the author held a postdoctoral position at MSRI. Research at MSRI was supported in part by NSF grant DMS-9022140.     

Lie brackets and singular type of real hypersurfaces

This note is the sequel of Barraud and Mazzilli Math Z 248:757–772, 2004, where the regular type of a real hypersurface H in (eventually endowed with an almost complex structure) was characterized in terms of Lie brackets of complex tangent vector fields on H. This note extends these results to the singular type.     

On the Relationship Between the Baum-Katz-Spitzer Complete Convergence Theorem and the Law of the Iterated Logarithm

For a sequence of i.i.d. Banach space-valued random variables {Xn; n ≥ 1} and a sequence of positive constants {an; n ≥ 1}, the relationship between the Baum-Katz-Spitzer complete convergence theorem and the law of the iterated logarithm is investigated. Sets of conditions are provided under which （i） lim sup n→∞ ｜｜Sn｜｜/an〈∞ a.s.and ∞ ∑n=1（1/n）P（｜｜Sn｜｜/an ≥ε〈∞for all ε 〉 λ for some constant λ ∈ [0, ∞） are equivalent; （ii） For all constants λ ∈ [0, ∞）, lim sup ｜｜Sn｜｜/an =λ a.s.and ^∞∑ n=1（1/n） P（｜｜Sn｜｜/an ≥ε）{〈∞, if ε〉λ =∞,if ε〈λare equivalent. In general, no geometric conditions are imposed on the underlying Banach space. Corollaries are presented and new results are obtained even in the case of real-valued random variables.