Exponential growth of Lie algebras of finite global dimension

Let be a connected finite type graded Lie algebra. If dim and gldim , then log index . If, moreover, , then for some ,    dim where log index as

     

Automatic continuity of -derivations on -algebras

Let be a -algebra acting on a Hilbert space , let be a linear mapping and let be a -derivation. Generalizing the celebrated theorem of Sakai, we prove that if is a continuous -mapping, then is automatically continuous. In addition, we show the converse is true in the sense that if is a continuous --derivation, then there exists a continuous linear mapping such that is a --derivation. The continuity of the so-called - -derivations is also discussed.

     

Upper bounds for the volume and diameter of -dimensional sections of convex bodies

In this paper some upper bounds for the volume and diameter of central sections of symmetric convex bodies are obtained in terms of the isotropy constant of the polar body. The main consequence is that every symmetric convex body in of volume one has a proportional section , dim ( ), of diameter bounded by

whenever the polar body is in isotropic position ( is some absolute constant).

     

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 .

     

-functions of twisted diagonal exponential sums over finite fields

Let be the finite field of elements with characteristic and its extension of degree . Fix a nontrivial additive character and let be multiplicative characters of For

one can form the twisted exponential sum . The corresponding -function is defined by

In this paper, by using the -adic gamma function and the Gross-Koblitz formula on Gauss sums, we give an explicit formula for the -function if is a Laurent diagonal polynomial. We also determine its -adic Newton polygon.

     

(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).

     

On characterization and perturbation of local -semigroups

Let be a -group with generator , and let be a local -semigroup commuting with . Then the operators , , form a local -semigroup. It is proved that if is injective and is the generator of , then is closable and is the generator of . Also proved are a characterization theorem for local -semigroups with not necessarily injective and a theorem about solvability of the abstract inhomogeneous Cauchy problem:

     

The distribution functions of and

Let be the sum of the positive divisors of . We show that the natural density of the set of integers satisfying is given by , where denotes Euler's constant. The same result holds when is replaced by , where is Euler's totient function.

     

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 .

     

Some Hopf Galois structures arising from elementary abelian -groups

Let be an odd prime, , the elementary abelian -group of rank , and let be the group of principal units of the ring . If is a Galois extension with Galois group , then we show that for , the number of Hopf Galois structures on afforded by -Hopf algebras with associated group is greater than , where .

     

A reduction theorem for the topological degree for mappings of class

The reduction theorem for the Leray-Schauder degree provides an efficient tool to calculate the value of the degree in a suitable invariant subspace. We shall prove how the calculation of the value of the topological degree for a mapping of class from a real separable reflexive Banach space into the dual space can be reduced into the calculation of degree of mapping from a closed subspace into Since the Leray-Schauder mappings are acting from to and we are dealing with mappings from to the standard `invariant subspace' condition must be replaced by a less obvious one.

     

A sharp result on -covers

Let be a finite system of residue classes which forms an -cover of (i.e., every integer belongs to at least members of ). In this paper we show the following sharp result: For any positive integers and , if there is such that the fractional part of is , then there are at least such subsets of . This extends an earlier result of M. Z. Zhang and an extension by Z. W. Sun. Also, we generalize the above result to -covers of the integral ring of any algebraic number field with a power integral basis.

     

The Laplacian subalgebra of is a strongly singular masa

In this paper, we present a new class of strongly singular maximal abelian subalgebras living inside the -folded tensor product of the free group factor with itself (). The notions of strongly singular masas in type factors and that of asymptotic homomorphism were introduced by A. Sinclair and R. Smith. One of their first examples was the Laplacian subalgebra of the free group factor, generated by the sum of words of length 1 in . This subalgebra was known to be a singular masa. Using the results of A. Sinclair and R. Smith, we show that the unique trace-preserving conditional expectation onto the Laplacian subalgebra of is an asymptotic homomorphism, and hence the Laplacian subalgebra is a strongly singular masa for every .

     

On maximal operators on -spheres in

A. Magyar's result on -bounds for a family of operators on -spheres () in is improved to match the corresponding theorem for -spheres.

     

-isomorphisms, Jordan isomorphisms, and numerical range preserving maps

Let or , where is the algebra of a bounded linear operator acting on the Hilbert space , and is the set of self-adjoint operators in . Denote the numerical range of by It is shown that a surjective map satisfies

if and only if there is a unitary operator such that has the form

where is the transpose of with respect to a fixed orthonormal basis. In other words, the map or is a -isomorphism on and a Jordan isomorphism on . Moreover, if has finite dimension, then the surjective assumption on can be removed.

     

A new estimate in optimal mass transport

Let be a bounded Lipschitz regular open subset of and let be two probablity measures on . It is well known that if is absolutely continuous, then there exists, for every , a unique transport map pushing forward on and which realizes the Monge-Kantorovich distance . In this paper, we establish an bound for the displacement map which depends only on , on the shape of and on the essential infimum of the density .

     

The degree of the bicanonical map of a surface with

In this note it is shown that, given a smooth minimal complex surface of general type with , , for which the bicanonical map is a morphism, the degree of is not 3. This completes our earlier results, showing that if is a minimal surface of general type with , such that is free, then the bicanonical map of can have degree 1, 2 or 4.

     

The sufficiency of arithmetic progressions for the Conjecture

Define by if is odd and if is even. The Conjecture states that the -orbit of every positive integer contains . A set of positive integers is said to be sufficient if the -orbit of every positive integer intersects the -orbit of an element of that set. Thus to prove the Conjecture it suffices to prove it on some sufficient set. Andaloro proved that the sets are sufficient for and asked if is also sufficient for larger values of . We answer this question in the affirmative by proving the stronger result that is sufficient for any nonnegative integers and with i.e. every nonconstant arithmetic sequence forms a sufficient set. We then prove analagous results for the Divergent Orbits Conjecture and Nontrivial Cycles Conjecture.

     

On the index and spectrum of differential operators on

If is an system of differential operators on having continuous coefficients with vanishing oscillation at infinity, the Cordes-Illner theory ensures that is Fredholm from to for all or no value We prove that both the index (when defined) and the spectrum of are independent of

     

A Hilbert -module not anti-isomorphic to itself

We study the complexification of real Hilbert -modules over real -algebras. We give an example of a Hilbert -module that is not the complexification of any Hilbert -module, where is a real -algebra.