Sharp Berezin Lipschitz estimates

F.A. Berezin introduced a general ``symbol calculus" for linear operators on reproducing kernel Hilbert spaces. For the Segal-Bargmann space of Gaussian square-integrable entire functions on complex -space, , or for the Bergman spaces of Euclidean volume square-integrable holomorphic functions on bounded domains in , we show here that earlier Lipschitz estimates for Berezin symbols of arbitrary bounded operators are sharp.

     

Equivalence of domains arising from duality of orbits on flag manifolds II

S. Gindikin and the author defined a - invariant subset of for each -orbit on every flag manifold and conjectured that the connected component of the identity would be equal to the Akhiezer-Gindikin domain if is of nonholomorphic type. This conjecture was proved for closed in the works of J. A. Wolf, R. Zierau, G. Fels, A. Huckleberry and the author. It was also proved for open by the author. In this paper, we prove the conjecture for all the other orbits when is of non-Hermitian type.

     

Lightface -indescribable cardinals

-absoluteness for forcing means that for any forcing , . `` inaccessible to reals' means that for any real , . To measure the exact consistency strength of `` -absoluteness for forcing and is inaccessible to reals', we introduce a weak version of a weakly compact cardinal, namely, a (lightface) -indescribable cardinal; has this property exactly if it is inaccessible and .

     

A note on commutativity up to a factor of bounded operators

In this note, we explore commutativity up to a factor for bounded operators and in a complex Hilbert space. Conditions on possible values of the factor are formulated and shown to depend on spectral properties of the operators. Commutativity up to a unitary factor is considered. In some cases, we obtain some properties of the solution space of the operator equation and explore the structures of and that satisfy for some A quantum effect is an operator on a complex Hilbert space that satisfies The sequential product of quantum effects and is defined by We also obtain properties of the sequential product.

     

Helly-type theorems for homothets of planar convex curves

Helly's theorem implies that if is a finite collection of (positive) homothets of a planar convex body , any three having non-empty intersection, then has non-empty intersection. We show that for collections of homothets (including translates) of the boundary , if any four curves in have non-empty intersection, then has non-empty intersection. We prove the following dual version: If any four points of a finite set in the plane can be covered by a translate [homothet] of , then can be covered by a translate [homothet] of . These results are best possible in general.

     

Embedding obstructions and -complexes

The vanishing of Van Kampen's obstruction is known to be necessary and sufficient for embeddability of a simplicial -complex into for , and it was recently shown to be incomplete for . We use algebraic-topological invariants of four-manifolds with boundary to introduce a sequence of higher embedding obstructions for a class of -complexes in .

     

A note on invertibility preservers on Banach algebras

Let be be semisimple Banach algebras and let be a unital bijective linear operator that preserves invertibility. If the socle of is an essential ideal of , then is a Jordan isomorphism.

     

-adic -basis and regular local ring

We introduce the concept of -adic -basis as an extension of the concept of -basis. Let be a regular local ring of prime characteristic and a ring such that . Then we prove that is a regular local ring if and only if there exists an -adic -basis of and is Noetherian.

     

A new proof and generalizations of Gearhart's theorem

Let be a Hilbert space, let be the space of almost periodic functions from to , and let be a closed densely defined linear operator on . For a closed subset , let be the subspace of consisting of functions with spectrum contained in . We prove that the following properties are equivalent: (i) for every function there exists a unique mild solution of equation ; (ii) and . The case yields a new proof of the well-known Gearhart's spectral mapping theorem.

     

Algebraic structures determined by 3 by 3 matrix geometry

Using a ``3 by 3 matrix trick' we show that multiplication (an algebraic structure) in a *-algebra is determined by the geometry of the *-algebra of the 3 by 3 matrices with entries from , . This is an example of an algebra-geometry duality which, we claim, has applications.

     

The linear space of generalized Brownian motions with applications

In this paper, we define, motivated by recent works of Chang and Skoug, stochastic integrals for a generalized Brownian motion ( ) and then use it to study the representation problem on the linear space spanned by . We next establish a translation theorem for -functionals of , , and then use this translation to establish an integration by parts formula for -functionals of .

     

On a problem of Dynkin

Consider an -superdiffusion on , where is an uniformly elliptic differential operator in , and . The -polar sets for are subsets of which have no intersection with the graph of , and they are related to the removable singularities for a corresponding nonlinear parabolic partial differential equation. Dynkin characterized the -polarity of a general analytic set in term of the Bessel capacity of , and Sheu in term of the restricted Hausdorff dimension. In this paper we study in particular the -polarity of sets of the form , where and are two Borel subsets of and respectively. We establish a relationship between the restricted Hausdorff dimension of and the usual Hausdorff dimensions of and . As an application, we obtain a criterion for -polarity of in terms of the Hausdorff dimensions of and , which also gives an answer to a problem proposed by Dynkin in the 1991 Wald Memorial Lectures.

     

The depth of an ideal with a given Hilbert function

Let denote the polynomial ring in variables over a field with each . Let be a homogeneous ideal of with and the Hilbert function of the quotient algebra . Given a numerical function satisfying for some homogeneous ideal of , we write for the set of those integers such that there exists a homogeneous ideal of with and with . It will be proved that one has either for some or .

     

Single elements of finite CSL algebras

An element of an (abstract) algebra is a single element of if and imply that or . Let be a real or complex reflexive Banach space, and let be a finite atomic Boolean subspace lattice on , with the property that the vector sum is closed, for every . For any subspace lattice the single elements of Alg are characterised in terms of a coordinatisation of involving . (On separable complex Hilbert space the finite distributive subspace lattices which arise in this way are precisely those which are similar to finite commutative subspace lattices. Every distributive subspace lattice on complex, finite-dimensional Hilbert space is of this type.) The result uses a characterisation of the single elements of matrix incidence algebras, recently obtained by the authors.

     

Cofinality changes required for a large set of unapproachable ordinals below

In , assume that is a strong limit cardinal and . Let be the set of approachable ordinals less than . An open question of M. Foreman is whether can be non-stationary in some and preserving extension of . It is shown here that if is such an outer model, then is infinite, for each positive integer .

     

Some remarks on the real rank of non-unital C*-algebras

For a non-unital C-algebra , let be the C-algebra obtained from by adjoining an identity. In this paper we show that

where is a locally compact Hausdorff space with .

     

The weak Dirichlet problem for Baire functions

Let be a simplex and a compact subset of the set of all extreme points of . We show that any bounded function of Baire class on can be extended to a function of affine class on . Moreover, can be chosen in such a way that .

     

Associated primes of local cohomology modules

Let be an ideal of a commutative Noetherian ring and a finitely generated -module. Let be a natural integer. It is shown that there is a finite subset of , such that is contained in union with the union of the sets , where and . As an immediate consequence, we deduce that the first non- -cofinite local cohomology module of with respect to has only finitely many associated prime ideals.

     

On the compactness of the product of Hankel operators on the sphere

Consider Hankel operators and on the unit sphere in . If , then a necessary condition for to be compact is . We show that when , this condition is no longer necessary for to be compact.