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 condition under which follows from

We will give some sufficient conditions for a -hyponormal operator, , to be normal, and a sufficient condition for a triplet of operators , , with , self-adjoint and unitary such that necessarily satisfies .

     

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:

     

(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 frames for countably generated Hilbert -modules

Let be a countably generated Hilbert -module over a -algebra We prove that a sequence is a standard frame for if and only if the sum converges in norm for every and if there are constants such that for every We also prove that surjective adjointable operators preserve standard frames. A class of frames for countably generated Hilbert -modules over the -algebra of all compact operators on some Hilbert space is discussed.

     

An affine restriction estimate in

We prove that the Fourier transform of an function can be restricted to any compact convex surface of revolution in .

     

Spreading of quasimodes in the Bunimovich stadium

We consider Dirichlet eigenfunctions of the Bunimovich stadium , satisfying . Write where is the central rectangle and denotes the ``wings,' i.e., the two semicircular regions. It is a topic of current interest in quantum theory to know whether eigenfunctions can concentrate in as . We obtain a lower bound on the mass of in , assuming that itself is -normalized; in other words, the norm of is controlled by times the norm in . Moreover, if is an quasimode, the same result holds, while for an quasimode we prove that the norm of is controlled by times the norm in . We also show that the norm of may be controlled by the integral of along , where is a smooth factor on vanishing at . These results complement recent work of Burq-Zworski which shows that the norm of is controlled by the norm in any pair of strips contained in , but adjacent to .

     

-boundedness for the Hilbert transform and maximal operator along a class of nonconvex curves

Some sufficient conditions on a real polynomial and a convex function are given in order for the Hilbert transform and maximal operator along to be bounded on , for all in , with bounds independent of the coefficients of . The same conclusion is shown to hold for the corresponding hypersurface in under weaker hypotheses on .

     

Realizability of the Adams-Novikov spectral sequence for formal -modules

We show that the formal -module Adams-Novikov spectral sequence of Ravenel does not naturally arise from a filtration on a map of spectra by examining the case . We also prove that when is the ring of integers in a nontrivial extension of , the map of Hopf algebroids, classifying formal groups and formal -modules respectively, does not arise from compatible maps of -ring spectra .

     

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 .

     

Extensions of endomorphisms of

For a compact space we consider extending endomorphisms of the algebra to be endomorphisms of Arens-Hoffman and Cole extensions of . Given a non-linear, monic polynomial , with semi-simple, we show that if an endomorphism of extends to the Arens-Hoffman extension with respect to , then it also extends to the simple Cole extension with respect to . We show that the converse to this is false. For a locally connected, metric we characterize the algebraically closed in terms of the extendability of endomorphisms to Arens-Hoffman and to simple Cole extensions.

     

Generalizations of Cayley's -process

In this paper we axiomatize some constructions and results due to Cayley and Hilbert. We define the concept of -process for an arbitrary affine algebraic monoid with zero and unit group . In our situation we show how to produce from the process and for a linear rational representation of a number of elements of the ring of -invariants that is large enough to guarantee its finite generation. Moreover, using complete reducibility, we give an explicit construction of all -processes for reductive monoids.

     

Weak properties of weighted convolution algebras

Suppose that is a weighted convolution algebra on with the weight normalized so that the corresponding space of measures is the dual space of the space of continuous functions. Suppose that is a continuous nonzero homomorphism, where is also a convolution algebra. If is norm dense in , we show that is (relatively) weak dense in , and we identify the norm closure of with the convergence set for a particular semigroup. When is weak continuous it is enough for to be weak dense in . We also give sufficient conditions and characterizations of weak continuity of . In addition, we show that, for all nonzero in , the sequence converges weak to 0. When is regulated, converges to 0 in norm.

     

The global attractivity of the rational difference equation

This paper studies the behavior of positive solutions of the recursive equation

with and , where . We prove that if , with odd, then tends to , exponentially. When combined with a recent result of E. A. Grove and G. Ladas (Periodicities in Nonlinear Difference Equations, Chapman & Hall/CRC Press, Boca Raton (2004)), this answers the question when is a global attractor.

     

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.

     

An obstruction for the mean curvature of a conformal immersion

We prove a Pohozaev type identity for non-linear eigenvalue equations of the Dirac operator on Riemannian spin manifolds with boundary. As an application, we obtain that the mean curvature of a conformal immersion satisfies where is a conformal vector field on and where the integration is carried out with respect to the Euclidean volume measure of the image. This identity is analogous to the Kazdan-Warner obstruction that appears in the problem of prescribing the scalar curvature on inside the standard conformal class.

     

Lower degree bounds for modular vector invariants

Let be a finite group of order divisible by a prime acting on an vector space where is the field with elements and . Consider the diagonal action of on copies of This note sharpens a lower bound for for groups which have an element of order whose Jordan blocks have sizes at most 2.

     

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

     

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.

     

On a problem of D. H. Lehmer

Let be an odd prime number. For we denote the inverse of modulo by with . Given , we prove that in any range of length the probability that has the same parity as tends to as . This result was previously known only to hold true in the full range of length . We will also obtain quantitative results on the pseudorandomness of the sequence for which we estimate the well-distribution and correlation measures as defined by Mauduit and Sárközy (1997).