A prediction problem in

For a nonnegative integrable weight function on the unit circle , we provide an expression for , in terms of the series coefficients of the outer function of , for the weighted distance , where is the normalized Lebesgue measure and ranges over trigonometric polynomials with frequencies in , , . The problem is open for .

     

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 .

     

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.

     

A short proof of Bing's characterization of

We give a short proof of Bing's characterization of : a compact, connected 3-manifold is if and only if every knot in is isotopic into a ball.

     

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 .

     

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.

     

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.

     

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.

     

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 .

     

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

     

Exceptional curves on smooth rational surfaces with not nef and of self-intersection zero

A -curve is a smooth rational curve of self-intersection , where is a positive integer. In 1998 Hirschowitz asked whether a smooth rational surface defined over the field of complex numbers, having an anti-canonical divisor not nef and of self-intersection zero, has -curves. In this paper we prove that for such a surface , the set of -curves on is finite but non-empty, and that may have no -curves. Related facts are also considered.

     

Whittaker models for , a -adic field

Let be a non-archimedean local field with odd residual characteristic. Let be the group We construct explicit Whittaker models for any supercuspidal representation of with positive level.

     

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

     

A new proof of proximinality for -ideals

We give a new and a simple proof of proximinality for -ideals. Unlike the known proofs, our proof derives proximinality of -ideals directly from the definition of an -ideal, using the Bishop-Phelps theorem.

     

Stability of -algebras associated to graphs

We characterize stability of graph -algebras by giving five conditions equivalent to their stability. We also show that if is a graph with no sources, then is stable if and only if each vertex in can be reached by an infinite number of vertices. We use this characterization to realize the stabilization of a graph -algebra. Specifically, if is a graph and is the graph formed by adding a head to each vertex of , then is the stabilization of ; that is, .

     

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.

     

Pseudocompact spaces and -spaces

Let be a completely regular Hausdorff space, and let be the space of continuous real-valued functions on endowed with the compact-open topology. We find various equivalent conditions for to be a -space, resolving an old question of Jarchow and consolidating work by Jarchow, Mazon, McCoy and Todd. Included are analytic characterizations of pseudocompactness and an example that shows that, for , Grothendieck's -spaces do not coincide with Jarchow's -spaces. Any such example necessarily answers a thirty-year-old question on weak barrelledness properties for , our original motivation.

     

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