Two-Sided Closed Ideals of Certain Algebras of Unbounded Operators

This paper investigates the two-sided uniformly closed ideals of the maximal Op*-algebra L⁺(D) of (bounded or unbounded) operators on a dense domain D in a HILBERT space. It is assumed that D is a FRECHET space with respect to the graph topology. The set of all non-trivial two-sided closed ideals of L⁺(D) is well-ordered by inclusion and the α-th closed ideal ??_α is generated by the orthogonal projections onto HILBERTian subspaces of D of dimension less then ??_α. An element A in L⁺(D) belongs to the minimal closed ideal ??₀ if and only if the following two equivalent conditions are satisfied: a) A maps bounded subsets of D into relatively compact sets. b) A maps weakly convergent sequences in D into convergent sequences.     

On voronoi diagrams in theL p-metric in ℝD

We prove upper bounds on the number ofL _p-spheres passing throughD+1 points in general position in ℝ”, and on the sum of the Betti numbers of the intersection of bisectors in theL _p-metric, wherep is an even positive integer. The bounds found do not depend onp. Our result implies that the complexity of Voronoi diagrams (for point sites in general position) in theL _p-metric is bounded for increasingp. The proof for this upper bound involves the techniques of Milnor [12] and Thom [16] for finding a bound on the sum of the Betti numbers of algebraic varieties, but instead of the usual degree of polynomials we use their additive complexity, and apply results of Benedetti and Risler [2], [13]. Furthermore, we prove that inD dimensions and for evenp the number ofL _p-spheres passing throughD+1 points in general position is odd. In particular, combined with results of [8], [9], our results clarify the structure of Voronoi diagrams based on theL _p-metric (with evenp) in three dimensions. For the proof we use the theory of degree of continuous mappings in ℝ^D, which is a tool widely applied in nonlinear analysis [14]. This work was partially supported by Deutsche Forschungsgemeinschaft, Grant K1 655/2-1. A preliminary version of this paper was presented at the 11th Annual Symposium on Theoretical Aspects of Computer Science, France, 1994.     

On the solutions of the Moisil–Théodoresco system

A structure theorem is proved for the solutions to the Moisil–Théodoresco system in open subsets of ?³. Furthermore, it is shown that the Cauchy transform maps L₂(?², ?_{0, 2}⁺) isomorphically onto H²(?₊³, ?_{0, 3}⁺), thus proving an elegant generalization to ?² of the classical notion of an analytic signal on the real line. Copyright © 2008 John Wiley & Sons, Ltd.     

Integral extensions of noncommutative rings

In this paper we study integral extensions of noncommutative rings. To begin, we prove that finite subnormalizing extensions are integral. This is done by proving a generalization of the Paré-Schelter result that a matrix ring is integral over the coefficient ring. Our methods are similar to those of Lorenz and Passman, who showed that finite normalizing extensions are integral. As corollaries we note that the (twisted) smash product over the restricted enveloping algebra of a finite dimensional restricted Lie algebra is integral over the coefficient ring and then prove a Going Up theorem for prime ideals in these ring extensions. Next we study automorphisms of rings. In particular, we prove an integrality theorem for algebraic automorphisms. Combining group gradings and actions, we show that if a ringR is graded by a finite groupG, andH is a finite group of automorphisms ofR that permute the homogeneous components, with the order ofH invertible inR, thenR is integral overR ₁ ^H , the fixed ring of the identity component. This, in turn, is used to prove our final result: Suppose that ifH is a finite dimensional semisimple cocommutative Hopf algebra over an algebraically closed field of positive characteristic. IfR is anH-module algebra, thenR is integral overR ^H , its subring of invariants.     

Rationality of the vertex operator algebra <Emphasis Type="Italic">V</Emphasis><Subscript><Emphasis Type="Italic">L</Emphasis></Subscript>+ for a positive definite even lattice <Emphasis Type="Italic">L</Emphasis>

The lattice vertex operator algebra V_L associated to a positive definite even lattice L has an automorphism of order 2 lifted from –1-isometry of L. The fixed point set V_L+ of V_L for the automorphism is naturally a vertex operator algebra. We prove that any ₀-graded weak V_L⁺-module is completely reducible.Supported by JSPS Research Fellowships for Young Scientists.     

Algebra homomorphisms from cosine convolution algebras

In this paper we deal with the weighted Banach algebra L _ω ¹ (ℝ⁺, * _c ), where *_c is the cosine convolution product. We describe its character space and its multiplier algebra. Our main results concern bounded algebra homomorphisms from L _ω ¹ (ℝ⁺, * _c ). We give a variant of Kisyński’s theorem for such homomorphisms and characterize them in terms of integrated cosine functions. A generalized form of the Sova-Da Prato-Giusti theorem about generation of cosine functions is also given. Partly supported by Project MTM2004-03036 and MTM 2007-61446, DGI-FEDER, of the MCYT, Spain, and Project E-64, D. G. Aragón, Spain.     

Representations of Nonstandard Poincaré Hopf Algebras

Let 𝔭 _q (1 + 1) be a nonstandard Poincaré Hopf algebra, we characterize all finite dimensional completely E-semisimple modules of 𝔭 _q (1 + 1). We also classify all finite dimensional E-semisimple modules of 𝔭 _q for a special quotient algebra of 𝔭 _q (1 + 1). Moreover, the decomposition of tensor product of two finite dimensional E-semisimple indecomposable modules is obtained.     

Uniform algebras as Banach spaces

Let A be a closed subalgebra of the complex Banach algebra C(S), containing the constant functions. We assume that one has found a probability measureμ on S and a function F from L^∞(μ) such that: 1)|F|= 1 a.e. relative to μ; 2) F _μ ε A¹; 3) F is a limit point of the unit ball of the algebra A in the topology δ(L^∞(μ), L¹(μ)). One proves in the paper that under these conditions the space A** contains a complement space, isometric to H^∞. The measure μ and the function F, satisfying the conditions l)-3) indeed exist if the maximal ideal space of the algebra A contains a non-one-point part (and it is very likely that such aμ. and F exist whenever the algebra A is not self-adjoint). Thus, the above-formulated result allows us to extend A. Pelczynski's theorem (Ref, Zh. Mat., 1975, 1B894) regarding the space H^∞ to a very broad class of uniform algebras. Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 65, pp. 80–89, 1976.     

Pseudo-atoms, atoms and a Jordan type decomposition in effect algebras

The aim of this paper is to introduce and investigate the concept of pseudo-atoms of a real-valued function m defined on an effect algebra L; a few examples of pseudo-atoms and atoms are given in the context of null-additive, null-null-additive and pseudo-null-additive functions and also, some fundamental results for pseudo-atoms under the assumption of null-null-additivity are established. The notions of total variation |m|, positive variation m⁺ and negative variation m⁻ of a real-valued function m on L are studied elaborately and it is proved for a modular measure m (which is of bounded total variation) defined on a D-lattice L that, m is pseudo-atomic (or atomic) if and only if its total variation |m| is pseudo-atomic (or atomic). Finally, a Jordan type decomposition theorem for an extended real-valued function m of bounded total variation defined on an effect algebra L is proved and some properties on decomposed parts of m such as continuity from below, pseudo-atomicity (or atomicity) and being measure, are discussed. A characterization for the function m to be of bounded total variation is established here and used in proving above-mentioned Jordan type decomposition theorem.     

Adjoining an Order Unit to a Matrix Ordered Space

We prove that an order unit can be adjoined to every L ^∞-matricially Riesz normed space. We introduce a notion of strong subspaces. The matrix order unit space obtained by adjoining an order unit to an L ^∞-matrically Riesz normed space is unique in the sense that the former is a strong L ^∞-matricially Riesz normed ideal of the later with codimension one. As an application of this result we extend Arveson’s extension theorem to L ^∞-matircially Riesz normed spaces. As another application of the above adjoining we generalize Wittstock’s decomposition of completely bounded maps into completely positive maps on C ^*-algebras to L ^∞-matricially Riesz normed spaces. We obtain sharper results in the case of approximate matrix order unit spaces. Mathematics Subject Classification (2000). Primary 46L07     

Perturbation bounds for theLDL H andLU decompositions

LetA andA+A be Hermitian positive definite matrices. Suppose thatA=LDL ^H and (A+A)=(L+L)(D+D)(L+L)^H are theLDL ^H decompositons ofA andA+A, respectively. In this paper upper bounds on |D| _F and |L| _F are presented. Moreover, perturbation bounds are given for theLU decomposition of a complexn ×n matrix.     

Quantum doubles in monoidal categories

Let H be a Hopf algebra in a rigid symmetric monoidal category C then the evaluation map τis a convolution-invertible skew pairing. In the previous paper, we constructed a Hopf algebra D(H)=H ? _r H ^?cop in C. In this paper, we first show that D(H) is a quasitriangular Hopf algebra in C. Next, let H be an ordinary triangular finite-dimensional Hopf algebra. Then one can form quasitriangular Hopf algebras B(H,H) and B(H,D(H)) (in a rigid braided monoidal category) by Majid’s method associated to the ordinary Hopf algebra maps H →H and i_H H → D(H), where D(H) is the Drin-fePd quantum double. We show that D (B(H,H)) and B(H,D(H)) are isomorphic Hopf algebras in the braided monoidal category.     

On Defining Ideals or Subrings of Hall Algebras

Let A be a finitary algebra over a finite field k, and A- \textmod\text{mod} the category of finite dimensional left A-modules. Let H(A)\mathcal{H}(A) be the corresponding Hall algebra, and for a positive integer r let D _r (A) be the subspace of H(A)\mathcal{H}(A) which has a basis consisting of isomorphism classes of modules in A- \textmod\text{mod} with at least r + 1 indecomposable direct summands. If A is the path algebra of the quiver of type A _n with linear orientation, then D _r (A) is known to be the kernel of the map from the twisted Hall algebra to the quantized Schur algebra indexed by n + 1 and r. For any A, we determine necessary and sufficient conditions for D _r (A) to be an ideal and some conditions for D _r (A) to be a subring of H(A)\mathcal{H}(A). For A the path algebra of a quiver, we also determine necessary and sufficient conditions for D _r (A) to be a subring of H(A)\mathcal{H}(A).     

Irreducible Subgroups of GL 1(D) Satisfying Group Identities

ABSTRACT

Let D be a finite dimensional F -central division algebra and G an irreducible subgroup of D*: = GL ₁(D). Here we investigate the structure of D under various group identities on G. In particular, it is shown that when [D:F] = p ², p a prime, then D is cyclic if and only if D* contains a nonabelian subgroup satisfying a group identity.     

Representations of Hardy Algebras: Absolute Continuity,Intertwiners, and Superharmonic Operators

Suppose T₊(E){\mathcal{T}_{+}(E)} is the tensor algebra of a W*-correspondence E and H ^∞(E) is the associated Hardy algebra. We investigate the problem of extending completely contractive representations of T₊(E){\mathcal{T}_{+}(E)} on a Hilbert space to ultra-weakly continuous completely contractive representations of H ^∞(E) on the same Hilbert space. Our work extends the classical Sz.-Nagy–Foiaş functional calculus and more recent work by Davidson, Li and Pitts on the representation theory of Popescu’s noncommutative disc algebra.     

On CAP*-subalgebras of Lie Algebras

A subalgebra H of a Lie algebra L is said a CAP*-subalgebra if, for any non-Frattini chief factor A/B of L, we have H + A = H + B or H ∩ A = H ∩ B. In this article, using this concept, we give some characterizations of solvability and supersolvability of a finite dimensional Lie algebra.     

The coradical filtration of U Q (S(2)) Q at roots of unity

Let u _q (s[(2)) denote the quantum enveloping algebra of s((2) over a field k. In this note we show that if q is a root of unity, then the coradical filtration {H _n}n ≥0 of u _q (s[(2)) is the filtration by a certain degree function depending on the order of q ⁴ and on the characteristic of k. The degree function will be explicitly described in Section 2 for char s = 0 and in Section 3 for char k = s > 0.

We use the fact that u _q (g) is pointed for any finite-dimensional semisimple Lie algebra (proved in [R], [Ml] and remarked in [Tl]).

The skew-primitives of u _q (g[(n)) and u _q (s[(n)) are described in [T2], based en [Tl]. The theorem in [T2] motivated the present result, although we did not need its full strength in the proof.

The filtration of u _q (g) over Q(q), where g is a finite dimensional complex simple Lie algebra, and q is an indeterminate over Q, is described in [CM]. The case of u _q (s[(2)) with char k = 0 and where q is not a root of unity was first solved in [Ml].     

Weyl’s Theorems for Some Classes of Operators

We introduce the class of operators on Banach spaces having property (H) and study Weyl’s theorems, and related results for operators which satisfy this property. We show that a- Weyl’s theorem holds for every decomposable operator having property (H). We also show that a-Weyl’s theorem holds for every multiplier T of a commutative semi-simple regular Tauberian Banach algebra. In particular every convolution operator T_μ of a group algebra L¹(G), G a locally compact abelian group, satisfies a-Weyl’s theorem. Similar results are given for multipliers of other important commutative Banach algebras.     

Compact DG modules and Gorenstein DG algebras

When the base connected cochain DG algebra is cohomologically bounded, it is proved that the difference between the amplitude of a compact DG module and that of the DG algebra is just the projective dimension of that module. This yields the unboundedness of the cohomology of non-trivial regular DG algebras. When A is a regular DG algebra such that H(A) is a Koszul graded algebra, H(A) is proved to have the finite global dimension. And we give an example to illustrate that the global dimension of H(A) may be infinite, if the condition that H(A) is Koszul is weakened to the condition that A is a Koszul DG algebra. For a general regular DG algebra A, we give some equivalent conditions for the Gorensteiness. For a finite connected DG algebra A, we prove that D^c(A) and D^c(A ^op) admit Auslander-Reiten triangles if and only if A and A ^op are Gorenstein DG algebras. When A is a non-trivial regular DG algebra such that H(A) is locally finite, D^c(A) does not admit Auslander-Reiten triangles. We turn to study the existence of Auslander-Reiten triangles in D_lf^b(A) and D_lf^b (A ^op) instead, when A is a regular DG algebra. This work was supported by the National Natural Science Foundation of China (Grant No. 10731070) and the Doctorate Foundation of Ministry of Education of China (Grant No. 20060246003)     

The Birman–Murakami–Wenzl Algebras of Type D n

The Birman–Murakami–Wenzl algebra (BMW algebra) of type D _n is shown to be semisimple and free of rank (2 ⁿ  + 1)n!! ? (2 ^n?1 + 1)n! over a specified commutative ring R, where n!! =1·3…(2n ? 1). We also show it is a cellular algebra over suitable ring extensions of R. The Brauer algebra of type D _n is the image of an R-equivariant homomorphism and is also semisimple and free of the same rank, but over the ring ?[δ^±1]. A rewrite system for the Brauer algebra is used in bounding the rank of the BMW algebra above. As a consequence of our results, the generalized Temperley–Lieb algebra of type D _n is a subalgebra of the BMW algebra of the same type.