Linear isometries between subspaces of continuous functions

We say that a linear subspace of is strongly separating if given any pair of distinct points of the locally compact space , then there exists such that . In this paper we prove that a linear isometry of onto such a subspace of induces a homeomorphism between two certain singular subspaces of the Shilov boundaries of and , sending the Choquet boundary of onto the Choquet boundary of . We also provide an example which shows that the above result is no longer true if we do not assume to be strongly separating. Furthermore we obtain the following multiplicative representation of : for all and all , where is a unimodular scalar-valued continuous function on . These results contain and extend some others by Amir and Arbel, Holszty\'{n}ski, Myers and Novinger. Some applications to isometries involving commutative Banach algebras without unit are announced.

     

On the strong equality between supercompactness and strong compactness

We show that supercompactness and strong compactness can be equivalent even as properties of pairs of regular cardinals. Specifically, we show that if ZFC + GCH is a given model (which in interesting cases contains instances of supercompactness), then there is some cardinal and cofinality preserving generic extension ZFC + GCH in which, (a) (preservation) for regular, if is supercompact', then is supercompact' and so that, (b) (equivalence) for regular, is strongly compact' iff is supercompact', except possibly if is a measurable limit of cardinals which are supercompact.

     

Isomorphism of lattices of recursively enumerable sets

Let , and for , let be the lattice of subsets of which are recursively enumerable relative to the ``oracle' . Let be , where is the ideal of finite subsets of . It is established that for any , is effectively isomorphic to if and only if , where is the Turing jump of . A consequence is that if , then . A second consequence is that can be effectively embedded into preserving least and greatest elements if and only if .

     

Only single twists on unknots can produce composite knots

Let be a knot in the -sphere , and a disc in meeting transversely more than once in the interior. For non-triviality we assume that over all isotopy of . Let () be a knot obtained from by cutting and -twisting along the disc (or equivalently, performing -Dehn surgery on ). Then we prove the following: (1) If is a trivial knot and is a composite knot, then ; (2) if is a composite knot without locally knotted arc in and is also a composite knot, then . We exhibit some examples which demonstrate that both results are sharp. Independently Chaim Goodman-Strauss has obtained similar results in a quite different method.

     

Congruences between Modular Forms, Cyclic Isogenies of Modular Elliptic Curves, and Integrality of -Functions

Let be a congruence subgroup of type and of level . We study congruences between weight 2 normalized newforms and Eisenstein series on modulo a prime above a rational prime . Assume that , is a common eigenfunction for all Hecke operators and is ordinary at . We show that the abelian variety associated to and the cuspidal subgroup associated to intersect non-trivially in their -torsion points. Let be a modular elliptic curve over with good ordinary reduction at . We apply the above result to show that an isogeny of degree divisible by from the optimal curve in the -isogeny class of elliptic curves containing to extends to an étale morphism of Néron models over if . We use this to show that -adic distributions associated to the -adic -functions of are -valued.

     

Coherent functors, with application to torsion in the Picard group

Let be a commutative noetherian ring. We investigate a class of functors from commutative -algebras to sets, which we call coherent. When such a functor in fact takes its values in abelian groups, we show that there are only finitely many prime numbers such that is infinite, and that none of these primes are invertible in . This (and related statements) yield information about torsion in . For example, if is of finite type over , we prove that the torsion in is supported at a finite set of primes, and if is infinite, then the prime is not invertible in . These results use the (already known) fact that if such an is normal, then is finitely generated. We obtain a parallel result for a reduced scheme of finite type over . We classify the groups which can occur as the Picard group of a scheme of finite type over a finite field.

     

The generalized Berg theorem and BDF-theorem

Let be a separable simple -algebra with finitely many extreme traces. We give a necessary and sufficient condition for an essentially normal element , i.e., is normal ( is the quotient map), having the form for some normal element and We also show that a normal element can be quasi-diagonalized if and only if the Fredholm index for all In the case that is a simple -algebra of real rank zero, with stable rank one and with continuous scale, and has countable rank, we show that a normal element with zero Fredholm index can be written as

where is an (increasing) approximate identity for consisting of projections, is a bounded sequence of numbers and with for any given

     

On the second adjunction mapping. The case of a 1-dimensional image

Let be a very ample line bundle on an -dimensional projective manifold , i.e., assume that for some embedding . In this article, a study is made of the meromorphic map, , associated to in the case when the Kodaira dimension of is , and has a -dimensional image. Assume for simplicity that . The first main result of the paper shows that is a morphism if either or . The second main result of this paper shows that if , then the genus, , of a fiber, , of the map induced by on hyperplane sections is . Moreover, if then , a connected component of a general fiber of is either a surface or the blowing up at one point of a surface, and . Finally the structure of the finite to one part of the Remmert-Stein factorization of is worked out.

     

Liouville type theorems for fourth order elliptic equations in a half plane

Consider an elliptic equation in the half plane with boundary conditions if and if where are second and third order differential operators. It is proved that if and, for some , if if where for some nonnegative integer , then . Results of this type are also established in case under different conditions on and ; furthermore, in one case has a lower order term which depends nonlocally on . Such Liouville type theorems arise in the study of coating flow; in fact, they play a crucial role in the analysis of the linearized version of this problem. The methods developed in this paper are entirely different for the two cases (i) and (ii) ; both methods can be extended to other linear elliptic boundary value problems in a half plane.

     

Partial regularity of solutions to a class of degenerate systems

We consider the system , in coupled with suitable initial-boundary conditions, where is a bounded domain in with smooth boundary and is a continuous and positive function of . Our main result is that under some conditions on there exists a relatively open subset of such that is locally Hölder continuous on , the interior of is empty, and is essentially bounded on .

     

Boundary limits and non-integrability of )

In this paper we consider weighted non-tangential and tangential boundary limits of non-negative functions on the unit ball in that are subharmonic with respect to the Laplace-Beltrami operator on . Since the operator is invariant under the group of holomorphic automorphisms of , functions that are subharmonic with respect to are usually referred to as -subharmonic functions. Our main result is as follows: Let be a non-negative -subharmonic function on satisfying

for some and some , where is the -invariant measure on . Suppose . Then for a.e. ,

uniformly as in each , where for ( when )

We also prove that for the only non-negative -subharmonic function satisfying the above integrability criteria is the zero function.

     

The Mizohata complex

This paper deals with the local solvability of systems of first order linear partial differential equations defined by a germ at of a -valued, formally integrable (), 1-form with nondegenerate Levi form. More precisely, the size of the obstruction to the solvability, for -forms , of the equation

where is a given -form satisfying is estimated in terms of the De Rham cohomology relative to

     

Restriction of stable bundles in characteristic

Let be an algebraically closed field of characteristic . Let be a nonsingular projective variety defined over and an ample line bundle on . We shall prove that there exists an explicit number such that if is a -stable vector bundle of rank at most three, then the restriction is -stable for all and all smooth irreducible divisors . This result has implications to the geometry of the moduli space of -stable bundles on a surface or a projective space.

     

The local dimensions of the Bernoulli convolution associated with the golden number

Let be a sequence of i.i.d. random variables each taking values of 1 and with equal probability. For satisfying the equation , let be the probability measure induced by . For any in the range of , let

be the local dimension of at whenever the limit exists. We prove that

where , are respectively the maximum and minimum values of the local dimensions. If , then is the golden number, and the approximate numerical values are and .

     

Symmetric powers of complete modules over a two-dimensional regular local ring

Let be a two-dimensional regular local ring with infinite residue field. For a finitely generated, torsion-free -module , write for the th symmetric power of , mod torsion. We study the modules , , when is complete (i.e., integrally closed). In particular, we show that , for any minimal reduction and that the ring is Cohen-Macaulay.

     

The quantum analog of a symmetric pair: a construction in type

Let be the ideal in the enveloping algebra of generated by the maximal compact subalgebra of . In this paper we construct an analog of in the quantized enveloping algebra corresponding to a type diagram at generic . We find generators for and explicit bases for .

     

Shadowing orbits of ordinary differential equations on invariant submanifolds

A finite time shadowing theorem for autonomous ordinary differential equations is presented. Under consideration is the case were there exists a twice continuously differentiable function mapping phase space into with the property that for a particular regular value of the submanifold is invariant under the flow. The main theorem gives a condition which implies that an approximate solution lying close to is uniformly close to a true solution lying in . Applications of this theorem to computer generated approximate orbits are discussed.

     

A Characterization of Finitely Decidable Congruence Modular Varieties

For every finitely generated, congruence modular variety of finite type we find a finite family of finite rings such that the variety is finitely decidable if and only if is congruence permutable and residually small, all solvable congruences in finite algebras from are Abelian, each congruence above the centralizer of the monolith of a subdirectly irreducible algebra from is comparable with all congruences of , each homomorphic image of a subdirectly irreducible algebra with a non-Abelian monolith has a non-Abelian monolith, and, for each ring from , the variety of -modules is finitely decidable.

     

Asymptotic behaviour of reproducing kernels of weighted Bergman spaces

Let be a domain in , a nonnegative and a positive function on such that is locally bounded, the space of all holomorphic functions on square-integrable with respect to the measure , where is the -dimensional Lebesgue measure, and the reproducing kernel for . It has been known for a long time that in some special situations (such as on bounded symmetric domains with and the Bergman kernel function) the formula

holds true. [This fact even plays a crucial role in Berezin's theory of quantization on curved phase spaces.] In this paper we discuss the validity of this formula in the general case. The answer turns out to depend on, loosely speaking, how well the function can be approximated by certain pluriharmonic functions lying below it. For instance, () holds if is convex (and, hence, can be approximated from below by linear functions), for any function . Counterexamples are also given to show that in general () may fail drastically, or even be true for some and fail for the remaining ones. Finally, we also consider the question of convergence of for , which leads to an unexpected result showing that the zeroes of the reproducing kernels are affected by the smoothness of : for instance, if is not real-analytic at some point, then must have zeroes for all sufficiently large.