Sufficient conditions for one domain to contain another in a space of constant curvature

As an application of the analogue of C-S. Chen's kinematic formula in the 3-dimensional space of constant curvature , that is, Euclidean space , -sphere , hyperbolic space (, respectively), we obtain sufficient conditions for one domain to contain another domain in either an Euclidean space , or a -sphere or a hyperbolic space .

     

Optimal estimation of shell thickness in Cutland's construction of Wiener measure

In Cutland's construction of Wiener measure, he used the product of Gaussian measures on , where is an infinite integer. It is mentioned by Cutland and Ng that for the product measure ,

where and with any positive infinite number. We prove here that may be replaced by with any positive infinite number. This is the optimal estimation for the shell thickness. It is also proved that . And for the *Lebesgue measure , is finite and not infinitesimal iff with finite, while for the *Lebesgue area of the sphere , should be .

     

A remark on Gelfand-Kirillov dimension

Let be a finitely generated non-PI Ore domain and the quotient division algebra of . If is the center of , then .

     

On uniqueness of -adic meromorphic functions

Let be a complete ultrametric algebraically closed field of characteristic zero, and let be the field of meromorphic functions in . For all set in and for all we denote by the subset of : zero of order After studying unique range sets for entire functions in in a previous article, here we consider a similar problem for meromorphic functions by showing, in particular, that, for every , there exist sets of elements in such that, if have the same poles (counting multiplicities), and satisfy , then . We show how to construct such sets.

     

Automorphic-differential identities and actions of pointed coalgebras on rings

In this paper, we prove the following two results which generalize the theorem concerning automorphic-differential endomorphisms asserted by J. Bergen. Let be a ring, its left Martindale quotient ring and a right ideal of having no nonzero left annihilator. (1) Let be a pointed coalgebra which measures such that the group-like elements of act as automorphisms of . If is prime and for , then . Furthermore, if the action of extends to and if such that , then . (2) Let be an endomorphism of given as a sum of composition maps of left multiplications, right multiplications, automorphisms and skew-derivations. If is semiprime and , then .

     

A note on norm attaining functionals

We are concerned in this paper with the density of functionals which do not attain their norms in Banach spaces. Some earlier results given for separable spaces are extended to the nonseparable case. We obtain that a Banach space is reflexive if and only if it satisfies any of the following properties: (i) admits a norm with the Mazur Intersection Property and the set of all norm attaining functionals of contains an open set, (ii) the set of all norm one elements of contains a (relative) weak* open set of the unit sphere, (iii) has and contains a (relative) weak open set of the unit sphere, (iv) is , has and contains a (relative) weak open set of the unit sphere. Finally, if is separable, then is reflexive if and only if contains a (relative) weak open set of the unit sphere.

     

Enveloping algebras of lie color algebras: primeness versus graded-primeness

Let be a finite abelian group and let be a, possibly restricted, -graded Lie color algebra. Then the enveloping algebra is also -graded, and we consider the question of whether being graded-prime implies that it is prime. The first section of this paper is devoted to the special case of Lie superalgebras over a field of characteristic . Specifically, we show that if and if has a unique minimal graded-prime ideal, then this ideal is necessarily prime. As will be apparent, the latter result follows quickly from the existence of an anti-automorphism of whose square is the automorphism of the enveloping algebra associated with its -grading. The second section, which is independent of the first, studies more general Lie color algebras and shows that if is graded-prime and if most homogeneous components of are infinite dimensional over , then is prime. Here we use -methods to study the grading on the extended centroid of . In particular, if is generated by the infinite support of , then we prove that is homogeneous.

     

On the Deleted Product Criterion For Embeddability in

For a space let . Let act on and on by exchanging factors and antipodes respectively. We present a new short proof of the following theorem by Weber: For an -polyhedron and , if there exists an equivariant map , then is embeddable in . We also prove this theorem for a peanian continuum and . We prove that the theorem is not true for the 3-adic solenoid and .

     

Hankel operators on the Bergman space of the unit ball

We characterize the bounded holomorphic functions in the unit ball of for which the operator is compact. For the result was obtained by Axler and Gorkin in 1988 and by Zheng in 1989.

     

On the Mergelyan approximation property on pseudoconvex domains in

Let be a smoothly bounded pseudoconvex domain of finite type in . We prove the Mergelyan approximation property in various topologies on when the estimates for -equation are known in the corresponding topologies.

     

On uniqueness of invariant means

The following results on uniqueness of invariant means are shown:

(i) Let be a connected almost simple algebraic group defined over . Assume that , the group of the real points in , is not compact. Let be a prime, and let be the compact -adic Lie group of the -points in . Then the normalized Haar measure on is the unique invariant mean on .

(ii) Let be a semisimple Lie group with finite centre and without compact factors, and let be a lattice in . Then integration against the -invariant probability measure on the homogeneous space is the unique -invariant mean on .

     

Relative to any nonrecursive set

There is a countable first order structure such that for any set of integers , is not recursive if and only if there is a presentation of which is recursive in .

     

Vector bundles on log terminal varieties

Let be an -dimensional variety and an ample vector bundle on of rank . We give a complete classification of pairs , with log terminal and such that is not ample. The results we obtain were conjectured by Fujita, and recently by Zhang.

     

On the jacobian module associated to a graph

We consider the jacobian module of a set of squarefree monomials of degree corresponding to the edges of a connected bipartite graph . We show that for such a graph the number of its primitive cycles (i.e., cycles whose chords are not edges of ) is the second Betti number in a minimal resolution of the corresponding jacobian module. A byproduct is a graph theoretic criterion for the subalgebra to be a complete intersection.

     

On certain character sums over

Let be the finite field with elements and let denote the ring of polynomials in one variable with coefficients in . Let be a monic polynomial irreducible in . We obtain a bound for the least degree of a monic polynomial irreducible in ( odd) which is a quadratic non-residue modulo . We also find a bound for the least degree of a monic polynomial irreducible in which is a primitive root modulo .

     

Norms of embeddings of logarithmic Bessel potential spaces

Let be a subset of with finite volume, let and let be a Young function with for large . We show that the norm on the Orlicz space is equivalent to

We also obtain estimates of the norms of the embeddings of certain logarithmic Bessel potential spaces in which are sharp in their dependences on provided that is large enough.

     

The exposed points of the set of invariant means on an ideal

Let be a -compact locally compact nondiscrete group and let be a -invariant ideal of . We denote the set of left invariant means on that are zero on (i.e. for all ) by . We show that, when is amenable as a discrete group and the closed -invariant subset of the spectrum of corresponding to is a -set, is very large in the sense that every nonempty -subset of contains a norm discrete copy of , where is the Stone- compactification of the set of positive integers with the discrete topology. In particular, we prove that has no exposed points in this case and every nonempty -subset of the set of left invariant means on contains a norm discrete copy of .

     

A pointwise spectrum and representation of operators

For a self-adjoint operator commuting with an increasing family of projections we study the multifunction an open set of the topology containing , where is the spectrum of on . Let be the measure of maximal spectral type. We study the condition that is essentially a singleton, is not a singleton. We show that if is the density topology and if satisfies the density theorem, in particular if it is absolutely continuous with respect to the Lebesgue measure, then this condition is equivalent to the fact that is a Borel function of . If is the usual topology then the condition is equivalent to the fact that is approched in norm by step functions , where the set of intervals covers the set where is a singleton.

     

On complementary subspaces of Hilbert space

Every pair of non-trivial topologically complementary subspaces of a Hilbert space is unitarily equivalent to a pair of the form on a Hilbert space . Here is possibly , is a positive injective contraction and denotes the graph of . For such a pair the following are equivalent: (i) is similar to a pair in generic position; (ii) and have a common algebraic complement; (iii) is similar to for some operators on a Hilbert space. These conditions need not be satisfied. A second example is given (the first due to T. Kato), involving only compact operators, of a double triangle subspace lattice which is not similar to any operator double triangle.

     

Continuity of K-theory: An example in equal characteristics

If is a perfect field of characteristic , we show that the Quillen K-groups are uniquely -divisible for . In fact, the Milnor K-groups are uniquely -divisible for all . This implies that is -connected after profinite completion for a complete discrete valuation ring with perfect residue field.