Complete positivity of elementary operators

In this paper, we prove that if is an -dimensional subspace of , then is -reflexive, where denotes the greatest integer not larger than . By the result, we show that if is an elementary operator on a -algebra , then is completely positive if and only if is -positive.

     

Algebraic isomorphisms and -subspace lattices

The class of -lattices was originally defined in the second author's thesis and subsequently by Longstaff, Nation, and Panaia. A subspace lattice on a Banach space which is also a -lattice is called a -subspace lattice, abbreviated JSL. It is demonstrated that every single element of has rank at most one. It is also shown that has the strong finite rank decomposability property. Let and be subspace lattices that are also JSL's on the Banach spaces and , respectively. The two properties just referred to, when combined, show that every algebraic isomorphism between and preserves rank. Finally we prove that every algebraic isomorphism between and is quasi-spatial.

     

Stability of disjointness preserving mappings

Let and be compact Hausdorff spaces and let . A linear mapping is called -disjointness preserving if implies that . If is a continuous or surjective -disjointness preserving linear mapping, we prove that there exists a disjointness preserving linear mapping satisfying . We also prove that every unbounded -disjointness preserving linear functional on is disjointness preserving.

     

Critical points of the area functional of a complex closed curve on the manifold of Kähler metrics

We consider a compact complex manifold of dimension that admits Kähler metrics and we assume that is a closed complex curve. We denote by the space of classes of Kähler forms that define Kähler metrics of volume 1 on and define by . We show how the Riemann-Hodge bilinear relations imply that any critical point of is the strict global minimum and we give conditions under which there is such a critical point : A positive multiple of is the Poincaré dual of the homology class of . Applying this to the Abel-Jacobi map of a curve into its Jacobian, , we obtain that the Theta metric minimizes the area of within all Kähler metrics of volume 1 on .

     

Hierarchical structure of the family of curves with maximal genus verifying flag conditions

Fix integers such that and , and let be the set of all integral, projective and nondegenerate curves of degree in the projective space , such that, for all , does not lie on any integral, projective and nondegenerate variety of dimension and degree . We say that a curve satisfies the flag condition if belongs to . Define where denotes the arithmetic genus of . In the present paper, under the hypothesis , we prove that a curve satisfying the flag condition and of maximal arithmetic genus must lie on a unique flag such as , where, for any , denotes an integral projective subvariety of of degree and dimension , such that its general linear curve section satisfies the flag condition and has maximal arithmetic genus . This proves the existence of a sort of a hierarchical structure of the family of curves with maximal genus verifying flag conditions.

     

The duality theory of a finite dimensional discrete quantum group

Suppose that is a finite dimensional discrete quantum group and is a Hilbert space. This paper shows that if there exists an action of on so that is a modular algebra and the inner product on is -invariant, then there is a unique C*-representation of on supplemented by the The commutant of in is exactly the -invariant subalgebra of . As an application, a new proof of the classical Schur-Weyl duality theory of type A is given.

     

An order characterization of commutativity for -algebras

In this paper, we investigate the problem of when a -algebra is commutative through operator-monotonic increasing functions. The principal result is that the function is operator-monotonic increasing on a -algebra if and only if is commutative. Therefore, -algebra is commutative if and only if in for all positive elements in .

     

Some results on the Hochschild cohomology of group algebras

In this paper we investigate structure of the second cohomology of a discrete group . First, for a -set we show that an isomorphism of vector spaces from onto exists, where is the set of orbits of . Next we define the notion of pseudoderivation and apply it for the calculation of .

     

A perturbed elementary operator and range-kernel orthogonality

Let denote the algebra of operators on a Hilbert . If and are commuting normal operators, and and are commuting quasi-nilpotents such that , then define and by , , and . It is proved that and , where is some scalar and is the quasi-nilpotent part of the operator .

     

Jordan isomorphisms of nest algebras

Let and be two nest algebras. A Jordan isomorphism from onto is a bijective linear map such that for every . In this note, we prove that every Jordan isomorphism of nest algebras is of the form or and then is, in fact, an isomorphism or an anti-isomorphism.

     

Spectra of operators with Bishop's property

Let be a Banach space and let be the class that consists of all operators such that for every , the range of has a finite-codimension when it is closed. For an integer , we define the class as an extension of . We then study spectral properties of such operators, and we extend some known results of multi-cyclic operators with .

     

On the poles of topological zeta functions

We study the topological zeta function associated to a polynomial with complex coefficients. This is a rational function in one variable, and we want to determine the numbers that can occur as a pole of some topological zeta function; by definition these poles are negative rational numbers. We deal with this question in any dimension. Denote has a pole in . We show that is a subset of ; for and , the last two authors proved before that these are exactly the poles less than . As the main result we prove that each rational number in the interval is contained in .

     

A characterization of discrete groups

The purpose of this article is to prove the following result. Let be a locally compact group, the Fourier algebra of and ~0$"> such that . Then is a discrete group .

     

Numerical radius distance-preserving maps on

Let be a complex Hilbert space, be the algebra of all bounded linear operators on , be the subset of all selfadjoint operators in and or . Denote by the numerical radius of . We characterize surjective maps that satisfy for all without the linearity assumption.

     

Spaces of type and the Hankel convolution

In this paper we introduce new function spaces that are denoted by , -1/2$"> and and that are spaces of type where the Hankel convolution and the Hankel transformation are defined. The spaces will play the same role in the Hankel setting that the spaces play in the theory of Fourier transformation.     

On finiteness of the set of intermediate subfactors

For type factors with , we show that the sets and are finite. Moreover, , the set of intermediate subfactors, is finite if and only if it is equal to . If is an irreducible subfactor, then we recover a result of Y. Watatani.

     

(APD)-property of -algebras by extensions of -algebras with (APD)

A unital -algebra is said to have the (APD)-property if every nonzero element in has the approximate polar decomposition. Let be a closed ideal of . Suppose that and have (APD). In this paper, we give a necessary and sufficient condition that makes have (APD). Furthermore, we show that if and or is a simple purely infinite -algebra, then has (APD).

     

Equicompact sets of operators defined on Banach spaces

Let and be Banach spaces. We say that a set denotes the space of all compact operators from into ) is equicompact if there exists a null sequence in such that for all and all . It is easy to show that collectively compactness and equicompactness are dual concepts in the following sense: is equicompact iff is collectively compact. We study some properties of equicompact sets and, among other results, we prove: 1) a set is equicompact iff each bounded sequence in has a subsequence such that is a converging sequence uniformly for ; 2) if does not have finite cotype and is a maximal equicompact set, then, given and a finite set in , there is an operator such that for and all .