On two problems of Erdos and Hechler: New methods in singular madness

For an infinite cardinal , denotes the set of all cardinalities of nontrivial maximal almost disjoint families over .

Erdos and Hechler proved in 1973 the consistency of for a singular cardinal and asked if it was ever possible for a singular that , and also whether for every singular cardinal .

We introduce a new method for controlling for a singular and, among other new results about the structure of for singular , settle both problems affirmatively.

     

Multiplicative bijections of

Let be a compact Hausdorff space which satisfies the first axiom of countability, let and let , be the set of all continuous functions from to If , ,is a bijective multiplicative map, then there exist a homeomorphism and a continuous map such that for all and for all

     

Linear functionals on the Cuntz algebra

For a pure state on , which is an extension of a pure state on with the property that if is a corresponding representation, then , induces a unital shift of of the Powers index . We describe states on by using sequences of unit vectors in . We study the linear functionals on the Cuntz algebra whose restrictions are the product pure state on . We find conditions on the sequence of unit vectors for which the corresponding linear functionals on become states under these conditions.

     

Sobolev spaces and the Cayley transform

The generalised Cayley transform  from an Iwasawa -group into the corresponding real unit sphere  induces isomorphisms between suitable Sobolev spaces and . We study the differential of  , and we obtain a criterion for a function to be in  .

     

Combinatorics of rank jumps in simplicial hypergeometric systems

Let be an integer matrix, and assume that the convex hull of its columns is a simplex of dimension  not containing the origin. It is known that the semigroup ring is Cohen-Macaulay if and only if the rank of the GKZ hypergeometric system equals the normalized volume of for all complex parameters (Saito, 2002). Our refinement here shows that has rank strictly larger than the volume of if and only if lies in the Zariski closure (in  ) of all -graded degrees where the local cohomology is nonzero. We conjecture that the same statement holds even when is not a simplex.

     

On modules of finite projective dimension over complete intersections

Recently Avramov and Miller proved that over a local complete intersection ring in characteristic 0$">, a finitely generated module has finite projective dimension if for some 0$"> and for some 0$">, being the frobenius map repeated times. They used the notion of ``complexity' and several related theorems. Here we offer a very simple proof of the above theorem without using ``complexity' at all.

     

The vanishing of implies that is regular

Let be an excellent local ring of positive prime characteristic. We show that if , then is regular. This improves a result of Schoutens, in which the additional hypothesis that was an isolated singularity was required for the proof.

     

Linear series over real and -adic fields

We note that the degeneration arguments given by the author in 2003 to derive a formula for the number of maps from a general curve of genus to with prescribed ramification also yields weaker results when working over the real numbers or -adic fields. Specifically, let be such a field: we see that given , , , and satisfying , there exists smooth curves of genus together with points such that all maps from to can, up to automorphism of the image, be defined over . We also note that the analagous result will follow from maps to higher-dimensional projective spaces if it is proven in the case , , and that thanks to work of Sottile, unconditional results may be obtained for special ramification conditions.

     

Self-commutators of automorphic composition operators on the Dirichlet space

Let be a conformal automorphism on the unit disk and be the composition operator on the Dirichlet space induced by . In this article we completely determine the point spectrum, spectrum, essential spectrum and essential norm of the operators and self-commutators of , which expose that the spectrum and point spectrum coincide. We also find the eigenfunctions of the operators.

     

Polynomial solutions to Dirichlet problems

The Dirichlet problem

is considered where the functions and are polynomials. The authors study the problem of determining which functions will admit polynomial solutions for any polynomial . When one additionally requires the classical condition , this forces , and a complete classification is obtained. Some necessary conditions are obtained for the case 2$">.

     

On the minimum of several random variables

For a given sequence of real numbers , we denote the th smallest one by . Let be a class of random variables satisfying certain distribution conditions (the class contains Gaussian random variables). We show that there exist two absolute positive constants and such that for every sequence of real numbers and every , one has

-

where are independent random variables from the class . Moreover, if , then the left-hand side estimate does not require independence of the 's. We provide similar estimates for the moments of as well.

     

A general functional equation and its stability

Suppose that and are vector spaces over or and are scalar such that whenever We prove that if for and

then each is a ``generalized' polynomial map of ``degree' at most

In case and we show that if some is bounded on a set of positive inner Lebesgue measure, then it is a genuine polynomial function.

Our main aim is to establish the stability of (in the sense of Ulam) in case is a Banach space.

We also solve a distributional analogue of and prove a mean value theorem concerning harmonic functions in two real variables.

     

The location of the zeros of the higher order derivatives of a polynomial

Let be a complex polynomial of degree having zeros in a disk . We deal with the problem of finding the smallest concentric disk containing zeros of . We obtain some estimates on the radius of this disk in general as well as in the special case, where zeros in are isolated from the other zeros of . We indicate an application to the root-finding algorithms.

     

Trivial, strongly minimal theories are model complete after naming constants

We prove that if is any model of a trivial, strongly minimal theory, then the elementary diagram is a model complete -theory. We conclude that all countable models of a trivial, strongly minimal theory with at least one computable model are -decidable, and that the spectrum of computable models of any trivial, strongly minimal theory is .

     

Free modules of relative invariants and some rings of invariants that are Cohen-Macaulay

Let be a faithful representation of a finite group and a linear character. We study the module of -relative invariants. We prove a modular analogue of result of R. P. Stanley and V. Reiner in the case of nonmodular reflection groups to the effect that these modules are free on a single generator over the ring of invariants . This result is then applied to show that the ring of invariants for is Cohen-Macaulay. Since the Cohen-Macaulay property is not an issue in the nonmodular case (it is a consequence of a theorem of Eagon and Hochster), this would seem to be a new way to verify the Cohen-Macaulay property for modular rings of invariants. It is known that the Cohen-Macaulay property is inherited when passing from the ring of invariants of to that of a pointwise stabilizer of a subspace . In a similar vein, we introduce for a subspace the subgroup of elements of having as an eigenspace, and prove that Cohen-Macaulay implies is also.

     

Associated primes of local cohomology modules

Let be an ideal of a commutative Noetherian ring and a finitely generated -module. Let be a natural integer. It is shown that there is a finite subset of , such that is contained in union with the union of the sets , where and . As an immediate consequence, we deduce that the first non- -cofinite local cohomology module of with respect to has only finitely many associated prime ideals.

     

Strong comparison principle for solutions of quasilinear equations

Let , , be a bounded smooth connected open set and be a map satisfying the hypotheses (H1)-(H4) below. Let with , in and with be two weak solutions of

Suppose that in . Then we show that u_1$"> in under the following assumptions: either u_1$"> on , or on and in . We also show a measure-theoretic version of the Strong Comparison Principle.

     

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 .

     

Composition operators on Dirichlet-type spaces

The Dirichlet-type space ) is the Banach space of functions analytic in the unit disc with derivatives belonging to the Bergman space . Let be an analytic self-map of the disc and define for . The operator is bounded (respectively, compact) if and only if a related measure is Carleson (respectively, compact Carleson). If is bounded (or compact) on , then the same behavior holds on ) and on the weighted Dirichlet space . Compactness on implies that is compact on the Hardy spaces and the angular derivative exists nowhere on the unit circle. Conditions are given which, together with the angular derivative condition, imply compactness on the space . Inner functions which induce bounded composition operators on are discussed briefly.

     

The rank of elliptic curves with rational 2-torsion points over large fields

Let be a number field, an algebraic closure of , the absolute Galois group , the maximal abelian extension of and an elliptic curve defined over . In this paper, we prove that if all 2-torsion points of are -rational, then for each , has infinite rank, and hence has infinite rank.