Normality preserving multiplication operators

We show that a multiplication operator (T)=ATB is normality preserving if and only if it is hyponormality preserving, if and only if it is either of the formA=fg,B=h f, orA=D,B=D* for someC andD* D=I. Also we show that is (semi-) Fredholmness prserving if and only ifA andB are (semi-) Fredholm operators.Supported by the Science Foundation of Zhejiang Province and NSF.     

Embeddings of Banach Spaces Into Banach Lattices and the Gordon–Lewis Property

In this paper we first show that if X is a Banach space and is a left invariant crossnorm on lX, then there is a Banach lattice L and an isometric embedding J of X into L, so that I J becomes an isometry of lX onto l_m J(X). Here I denotes the identity operator on l and l_m J(X) the canonical lattice tensor product. This result is originally due to G. Pisier (unpublished), but our proof is different. We then use this to prove the main results which characterize the Gordon–Lewis property GL and related structures in terms of embeddings into Banach lattices.     

Lifting-Probleme für Vektorfunktionen und ⊗-Sequenzen

In this article the topologically exact sequences of locally convex spaces are characterized for which for every locally convex space F the map id : FE F Q is a homomorphism, or equivalently, the map id L : FK F E is a topological injection. This is motivated by the problem of lifting Q-valued functions with certain given properties to E-valued functions with the same or slightly weaker properties, which may also be considered as the investigation of parameter dependences of solutions of linear (differential) equations. Applications to partial differential equations and to Fredholm functions are given.     

Differential geometry of tensor product immersions II

In the first part of this series, we prove that the tensor product immersionf ₁ f _2k of2k isometric spherical immersions of a Riemannian manifoldM in Euclidean space is of-type with k and classify tensor product immersionsf ₁ f _2k which are ofk-type. In this article we investigate the tensor product immersionsf ₁ f _2k which are of (k+1)-type. Several classification theorems are obtained.     

The Factorization Problem and the Smash Biproduct of Algebras and Coalgebras

We consider the factorization problem for bialgebras. Let L and H be algebras and coalgebras (but not necessarily bialgebras) and consider two maps R : H L L H and W : L H H L. We introduce a product K = L _{W R} H and we give necessary and sufficient conditions for K to be a bialgebra. Our construction generalizes products introduced by Majid and Radford. Also, some of the pointed Hopf algebras that were recently constructed by Beattie, Dsclescu and Grünenfelder appear as special cases.     

Über die Riemannsche Einbettungsgeometrie der Veronesemannigfaltigkeiten

Let E be a n-dimensional euclidean vector space. The subset V _k ⁿ ={x ... x | x E} of ^kE is called a Veronesemanifold. The scalar product of E induces a euclidean structure on ^kE. Passing to the corresponding projective space , one may consider as a riemannian submanifold of the space form . In this paper we study properties of the pair of riemannian manifolds.     

Pluriadjoint bundles of polarized surfaces

LetX be a complex connected projective smooth algebraic surface and letL be an ample line bundle onX. The maps associated with the pluriadjoint bundles (K _X L) ¹,t2, are studied by combining an ampleness result forK _X L with a very recent result by Reider. It turns out that apart from some exceptions and up to reductions, 1) (K _X L)³ is very ample; 2) (K _X L) ² is ample and spanned by global sections and is very ample unless eitherg (L)=2 (arithmetic genus ofL) orX contains an elliptic curveE withE ²=0,E·L=1;3) when (K _X L) ² is not very ample, the associated map has degree 4, equality implying thatg (L)=2 and .     

A family of noetherian rings with their finite length modules under control

We investigate the category mod of finite length modules over the ring =A _k , where is a V-ring, i.e. a ring for which every simple module is injective, k a subfield of its centre and A an elementary k-algebra. Each simple module E _j gives rise to a quasiprogenerator P _j = A E _j . By a result of K. Fuller, P _j induces a category equivalence from which we deduce that mod _j mod EndP _j . As a consequence we can(1) construct for each elementary k-algebra A over a finite field k a nonartinian noetherian ring such that modA mod(2) find twisted versions of algebras of wild representation type such that itself is of finite or tame representation type (in mod)(3) describe for certain rings the minimal almost split morphisms in mod and observe that almost all of these maps are not almost split in Mod.     

A note on sub-multiplicative norms

Summary IfX is a finite-dimensional linear space andL(X) the linear space of linear operators onX thenL(X) may be represented asXX ^*. IfE={e ₁, ...,e _n } is a basis forX and e _j y _j ^* is a typical element ofXX ^*, then norms can be introduced onL(X) in the form y _j ^* e _j . Given that the norm onX isE-absolute we derive a necessary and sufficient condition for the norm onL(X) to be submultiplicative.     

On a Test Statistic for Linear Trend

Let {W(s)} _s 0 be a standard Wiener process. The supremum of the squared Euclidian norm Y (t)², of the R²-valued process Y(t)=(1/t W(t), {12/t ³ int_{0 t} s dW (s)– {3/t} W(t)), t [, 1], is the asymptotic, large sample distribution, of a test statistic for a change point detection problem, of appearance of linear trend. We determine the asymptotic behavior P {sup _t [, 1] Y(t)² > u as u , of this statistic, for a fixed (0,1), and for a moving = (u) 0 at a suitable rate as u . The statistical interest of our results lie in their use as approximate test levels.     

On the quotient ring by diagonal invariants

For a finite Coxeter group, W, and its reflection representation , we find the character and Hilbert series for a quotient ring of [^*] by an ideal containing the W–invariant polynomials without constant term. This confirms conjectures of Haiman.     

Note on Fano 3-folds

LetE be an ample vector bundle of rankr on a compact complex manifoldX of dimension 3 with detE=–K _x, andi(X) the index ofX. Then it is proved in this note thati(X)r unless (X,E)(¹ × ²,p*O(1) q*), wherep,q are the projections and is isomorphic toO(2) O(1) or the tangent bundleT of ². This result gives a counterexample to the conjecture formed by T. Peternell.     

Sur l'homotopie rationnelle des espaces fonctionnels

Let X be a nilpotent space such that it exists k1 with H^p (X,) = 0 p > k and H^k (X,) 0, let Y be a (m–1)-connected space with mk+2, then the rational homotopy Lie algebra of Y^X (resp. is isomorphic as Lie algebra, to H^* (X,) (_* (Y) ) (resp.⁺ (X,) (_* (Y) )). If X is formal and Y -formal, then the spaces Y^X and are -formal. Furthermore, if dim _* (Y) is infinite and dim H^* (Y,Q) is finite, then the sequence of Betti numbers of grows exponentially.     

RC *-fields

It is stated that if a Boolean family W of valuation rings of a field F satisfies the block approximation property (BAP) and a global analog of the Hensel-Rychlick property (THR), in which case F, W is called an RC^*-field, then F is regularly closed with respect to the family W (The-orem 1). It is proved that every pair F, W, where W is a weakly Boolean family of valuation rings of a field F, is embedded in the RC^*-field F₀, W₀ in such a manner that R₀ R₀ F, R₀ W₀ is a continuous map, W₀ is homeomorphic over W to a given Boolean space, and R₀ is a superstructure of R₀ F for every R₀ W₀ (Theorem 2).Translated fromAlgebra i Logika, Vol. 33, No. 4, pp. 367–386, July-August, 1994.     

Vanishing theorems for tensor powers of an ample vector bundle

Summary LetE be a holomorphic vector bundle of rankr on a compact complex manifoldX of dimensionn. It is shown that the cohomology groupsH ^p,q (X, E^k (detE) ^l ) vanish ifE is ample andp+qn+1,ln–p+r–1. The proof rests on the well-known fact that every tensor powerE ^k , splits into irreducible representations of Gl(E). By Bott's theory, each component is canonically isomorphic to the direct image onX of a homogeneous line bundle over a flag manifold ofE. The proof is then reduced to the Kodaira-Akizuki-Nakano vanishing theorem for line bundles by means of the Leray spectral sequence, using backward induction onp. We also obtain a generalization of Le Potier's isomorphism theorem and a counterexample to a vanishing conjecture of Sommese.     

Regularity and Unit-regularity of Generalized Semigroups of Linear Transformations

Let V and W be vector spaces over a division ring D and L_D (V, W) the set of all linear transformations from V into W. For L_D(W, V), let (L_D (V, W), ) denote the semigroup L_D (V, W) with the operation * defined by * = for all , L_D(V, W). By a unit-regular semigroup we mean a semigroup S with identity having the property that for each a S, a = aua for some unit u S. The main purpose of this paper is to prove the following statements. The semigroup (L_D(V, W), ) is regular if and only if V = {0}, W = {0} or is an isomorphism from W onto V. The semigroup (L_D (V, W), ) is unit-regular if and only if (i) V = {0}, (ii) W = {0} or (iii) is an isomorphism from W onto V and dim_D V .     

The Higher K-Theory of Real Curves

If X is a smooth curve defined over the real numbers , we show that K _n (X) is the sum of a divisible group and a finite elementary Abelian 2-group when n 2. We determine the torsion subgroup of K _n (X), which is a finite sum of copies of and 2, only depending on the topological invariants of X() and X(), and show that (for n 2) these torsion subgroups are periodic of order 8.     

Non removable edges in 3-connected cubic graphs

LetG be a cyclicallyk-edge-connected cubic graph withk 3. Lete be an edge ofG. LetG be the cubic graph obtained fromG by deletinge and its end vertices. The edgee is said to bek-removable ifG is also cyclicallyk-edge-connected. Let us denote by S _k (G) the graph induced by thek-removable edges and by N _k (G) the graph induced by the non 3-removable edges ofG. In a previous paper [7], we have proved that N ₃(G) is empty if and only ifG is cyclically 4-edge connected and that if N ₃(G) is not empty then it is a forest containing at least three trees. Andersen, Fleischner and Jackson [1] and, independently, McCuaig [11] studied N ₄(G). Here, we study the structure of N _k (G) fork 5 and we give some constructions of graphs such thatN _k (G) = E(G). We note that the main result of this paper (Theorem 5) has been announced independently by McCuaig [11].

---

Résumé SoitG un graphe cubique cyliquementk-arête-connexe, aveck 3. Soite une arête deG et soitG le graphe cubique obtenu à partir deG en supprimante et ses extrémités. L'arêtee est ditek-suppressible siG est aussi cycliquementk-arête-connexe. Désignons par S _k (G) le graphe induit par les arêtesk-suppressibles et par N _k (G) celui induit par les arêtes nonk-suppressibles. Dans un précédent article [7], nous avons montré que N ₃(G) est vide si et seulement siG est cycliquement 4-arête-connexe et que si N ₃(G) n'est pas vide alors c'est une forêt possédant au moins trois arbres. Andersen, Fleischner and Jackson [1] et, indépendemment, McCuaig [11] ont étudié N ₄(G). Ici, nous étudions la structure de N _k (G) pourk 5 et nous donnons des constructions de graphes pour lesquelsN _k (G) = E(G). Nous signalons que le résultat principal de cet article (Théorème 5) a été annoncé indépendamment par McCuaig [11].

     

Round-off error analysis of iterations for large linear systems

Summary We deal with the rounding error analysis of successive approximation iterations for the solution of large linear systemsA _x =b. We prove that Jacobi, Richardson, Gauss-Seidel and SOR iterations arenumerically stable wheneverA=A ^*>0 andA has PropertyA. This means that the computed resultx _k approximates the exact solution with relative error of order A·A ^–1 where is the relative computer precision. However with the exception of Gauss-Seidel iteration the residual vector Ax _k –b is of order A² A ^–1 and hence the remaining three iterations arenot well-behaved.This work was partly done during the author's visit at Carnegie-Mellon University and it was supported in part by the Office of Naval Research under Contract N00014-76-C-0370; NR 044-422 and by the National Science Foundation under Grant MCS75-222-55     

Some Non-trivial Symmetry Classes of Tensors Associated with Certain Characters

Let G be a finite group and a set of n elements. Assume that G acts faithfully on and let V be a vector space over the complex field , with dim V = m 2. It is shown that for each irreducible constituent of permutation character of G, the symmetry class of tensors associated with G and is non-trivial. This extends a result of Merris and Rashid (see [6, Theorem 2]).1995 AMS subject classification primary 20C30 secondary 15A69This research was in part supported by a grant from IPM.