Dichotomies of the set of test measures of a Haar-null set

We prove that ifX is a Polish space andF a face ofP(X) with the Baire property, thenF is either a meager or a co-meager subset ofP(X). As a consequence we show that for every abelian Polish groupX and every analytic Haar-null set Λ⊆X, the set of test measuresT(Λ) of Λ is either meager or co-meager. We characterize the non-locally-compact groups as the ones for which there exists a closed Haar-null setF⊆X withT(F) meager, Moreover, we answer negatively a question of J. Mycielski by showing that for every non-locally-compact abelian Polish group and every σ-compact subgroupG ofX there exists aG-invariantF _σ subset ofX which is neither prevalent nor Haar-null. Research supported by a grant of EPEAEK program “Pythagoras”.     

A fixed point theorem for a class of star-shaped sets inc 0

A subsetK ofc ₀ is coordinatewise star-shaped (c.s.s.) if there exists a center pointx ∈K such that fory ∈K andz ∈c ₀, ifz is coordinatewise betweenx andy thenz ∈K. We prove that a weakly compact c.s.s. subset ofc ₀ has the fixed point property for nonexpansive mappings and that a fixed point for such a mapping can be obtained in a constructive manner. Research of the first two authors was partially supported by NSF Grant MCS78-01344 and of the last author by MCS78-01501.     

On the normalizer of finitely generated subgroups of absolute galois groups of uncountable hilbertian fields of characteristic 0

For a fieldK and a positive integere let N _e (K) be the set of alle-tuplesσ = (σ ₁, …,σ _e)εG(K) ^e that generate a selfnormalizer closed subgroup ofG(K). Chatzidakis proved, that ifK is Hilbertian and countable, then N _e (K) has Haar measure 1. IfK is Hilbertian and uncountable, this need not be the case. Indeed, we prove that ifK ₀ is a field of characteristic 0 that contains all roots of unity,T is a set of cardinality ℵ₁ which is algebraically independent overK ₀ andK =K ₀(T), then neither N _e (K) nor its complement contain a set of positive measure. In particular N _e (K) is a nonmeasurable set. This work was partially supported by an NSF grant #DMS-H603187, while the second author enjoyed the hospitality of Rutgers University.     

Isoperimetric inequalities on minimal submanifolds of space forms

For a domainU on a certaink-dimensional minimal submanifold ofS ⁿ orH ⁿ, we introduce a “modified volume”M(U) ofU and obtain an optimal isoperimetric inequality forU k ^k ω _k M (D) ^k-1 ≤Vol(∂D) ^k , where ω _k is the volume of the unit ball ofR ^k . Also, we prove that ifD is any domain on a minimal surface inS ₊ ⁿ (orH ⁿ, respectively), thenD satisfies an isoperimetric inequality2π A≤L ²+A² (2π A≤L²−A² respectively). Moreover, we show that ifU is ak-dimensional minimal submanifold ofH ⁿ, then(k−1) Vol(U)≤Vol(∂U). Supported in part by KME and GARC     

Curves with infinitely many points of fixed degree

Thed-th symmetric productC ^(d) of a curveC defined over a fieldK is closely related to the set of points ofC of degree ≤d. IfK is a number field, then a conjecture of Lang [Hi] proved by Faltings [Fa2] implies ifC ^(d) (K) is an infinite set, then there is aK-rational covering ofC → ℙ _|K ¹ of degree ≤2d. As an application one gets that for fixed fieldK and fixedd there are only finitely many primes ι such that the set of all elliptic curves defined over some extensionsL ofK with [L∶K]≤d and withL-rational isogeny of degree ι is infinite.     

Provability interpretations of modal logic

We consider interpretations of modal logic in Peano arithmetic (P) determined by an assignment of a sentencev ^* ofP to each propositional variablev. We put (⊥)*=“0 = 1”, (χ → ψ)* = “χ* → ψ*” and let (□ψ)* be a formalization of “ψ)* is a theorem ofP”. We say that a modal formula, χ, isvalid if ψ* is a theorem ofP in each such interpretation. We provide an axiomitization of the class of valid formulae and prove that this class is recursive.     

On order preserving contractions

Let (Ω,Σ,μ) be a measure space and letP be an operator onL ₂(Ω,Σ,μ) with ‖P‖≦1,Pf≧0 a.e. wheneverf≧0. If the subspaceK is defined byK={x| ||P ⁿ x||=||P ^*n x||=||x||,n=1,2,...} thenK=L ₂(Ω,Σ₁,μ), where Σ₁ ⊂ Σ and onK the operatorP is “essentially” a measure preserving transformation. Thus the eigenvalues ofP of modulus one, form a group under multiplication. This last result was proved by Rota for finiteμ here finiteness is not assumed) and is a generalization of a theorem of Frobenius and Perron on positive matrices. The research reported in this document has been sponsored in part by Air Force Office of Scientific Research, OAR through the European Office, Aerospace Research, United States Air Force.     

Unique ergodicity of flows on homogeneous spaces

LetG be a unimodular Lie group, Γ a co-compact discrete subgroup ofG and ‘a’ a semisimple element ofG. LetT _a be the mapgΓ →ag Γ:G/Γ →G/Γ. The following statements are pairwise equivalent: (1) (T _a, G/Γ,θ) is weak-mixing. (2) (T _a, G/Γ) is topologically weak-mixing. (3) (G ^u, G/Γ) is uniquely ergodic. (4) (G ^u, G/Γ,θ) is ergodic. (5) (G ^u, G/Γ) is point transitive. (6) (G ^u, G/Γ) is minimal. If in additionG is semisimple with finite center and no compact factors, then the statement “(T _a, G/Γ,θ) is ergodic” may be added to the above list. The authors were partially supported by NSF grant MCS 75-05250.     

Simple sheaves along dihedral Lagrangians

We prove the unicity of a complex of sheavesF whose microsupport is carried by a “dihedral” Lagrangian Λ ofT ^* X (X=a real manifold) and which is simple with a prescribed shift at a regular point of Λ. Our method consists in reducing Λ, by a real contact transformation, to the conormal bundle to aC ¹-hypersuface, and then in using [K-S 1, Prop. 6.2.1] in the variant of [D'A-Z 1]. This is similar to [Z 2] but more general, since complex contact transformations and calculations of shifts are not required. We then consider the case of a complex manifoldX, and obtain some vanishing theorems for the complex of “microfunctions along Λ” similar to those of [A-G], [A-H], [K-S 1] (cf. also [D'A-Z 3 5], [Z 2]).     

Instances of the Conjecture of Chang

We consider various forms of the Conjecture of Chang. Part A constitutes an introduction. Donder and Koepke have shown that if ρ is a cardinal such that ρ ≧ ω₁, and (ρ⁺⁺,ρ⁺↠(ρ⁺, ρ), then 0⁺ exists. We obtain the same conclusion in Part B starting from some other forms of the transfer hypothesis. As typical corollaries, we get: Theorem A.Assume that there exists cardinals λ, κ, such that λ ≧ K ⁺ ≧ω₂ and (λ⁺, λ)↠(K ⁺,K. Then 0⁺ exists. Theorem B.Assume that there exists a singularcardinal κ such that(K ⁺,K↠(ω₁, ω₀. Then 0⁺ exists. Theorem C.Assume that (λ ⁺⁺, λ). Then 0⁺ exists (also ifK=ω ₀. Remark. Here, as in the paper of Donder and Koepke, “O⁺ exists” is a matter of saying that the hypothesis is strictly stronger than “L(μ) exists”. Of course, the same proof could give a few more sharps overL(μ), but the interest is in expecting more cardinals, coming from a larger core model. Theorem D.Assume that (λ ⁺⁺, λ)↠(K ⁺, K) and thatK≧ω ₁. Then 0⁺ exists. Remark 2. Theorem B is, as is well-known, false if the hypothesis “κ is singular” is removed, even if we assume thatK≧ω ₂, or that κ is inaccessible. We shall recall this in due place. Comments. Theorem B and Remark 2 suggest we seek the consistency of the hypothesis of the form:K ⁺, K↠(ω_n +1, ω_n), for κ singular andn≧0. 0266 0152 V 3 The consistency of several statements of this sort—a prototype of which is (N _ω+1,N _ω)↠(ω₁, ω₀) —have been established, starting with an hypothesis slightly stronger than: “there exists a huge cardinal”, but much weaker than: “there exists a 2-huge cardinal”. These results will be published in a joint paper by M. Magidor, S. Shelah, and the author of the present paper.     

Polynomial approximation on the boundary and strictly inside

We investigate the possibility of approximating a function on a compact setK of the complex plane in such a way that the rate of approximation is almost optimal onK, and the rate inside the interior ofK is faster than on the whole ofK. We show that ifK has an external angle smaller than π at some point z_o∈δK, then geometric convergence insideK is possible only for functions that are analytic at z_o. We also consider the possibility of approximation rates of the form exp(?cn ^β), for approximation insideK, where β is related to the largest external angle ofK. It is also shown that no matter how slowly the sequence {γ _n } tends to zero, there is aK and a Lip β, β<1, functionf such that approximation insideK cannot have order {γ _n }.     

r-entropy,equipartition, and Ornstein’s isomorphism theorem inR n

A new approach is given to the entropy of a probability-preserving group action (in the context ofZ and ofR _n ), by defining an approximate “r-entropy”, 0<r<1, and lettingr → 0. If the usual entropy may be described as the growth rate of the number of essential names, then ther-entropy is the growth rate of the number of essential “groups of names” of width≦r, in an appropriate sense. The approach is especially useful for actions of continuous groups. We apply these techniques to state and prove a “second order” equipartition theorem forZ _m ×R _n and to give a “natural” proof of Ornstein’s isomorphism theorem for Bernoulli actions ofZ _m ×R _n , as well as a characterization of such actions which seems to be the appropriate generalization of “finitely determined”.     

On the structure of cluster point sets of iteratively generated sequences

LetX be a closed subset of a topological spaceF; leta(·) be a continuous map fromX intoX; let {x _i} be a sequence generated iteratively bya(·) fromx ₀ inX, i.e.,x _i+1 =a(x _i),i=0, 1, 2, ...; and letQ(x ₀) be the cluster point set of {x _i}. In this paper, we prove that, if there exists a pointz inQ(x ₀) such that (i)z is isolated with respect toQ(x ₀), (ii)z is a periodic point ofa(·) of periodp, and (iii)z possesses a sequentially compact neighborhood, then (iv)Q(x ₀) containsp points, (v) the sequence {x _i} is contained in a sequentially compact set, and (vi) every point inQ(x ₀) possesses properties (i) and (ii). The application of the preceding results to the caseF=E ⁿ leads to the following: (vii) ifQ(x ₀) contains one and only one point, then {x _i} converges; (viii) ifQ(x ₀) contains a finite number of points, then {x _i} is bounded; and (ix) ifQ(x ₀) containsp points, then every point inQ(x ₀) is a periodic point ofa(·) of periodp.     

Counting models in universal Horn classes

Definen _K (λ) to be either ω, or the number of non-isomorphic models inK having cardinality α, whichever cardinal is larger. This paper contains a proof that for a congruence modular variety ⋎ of algebras of countable similarity type, there are only six possible functionsn _⋎. It is also proved that ifn _K (λ)≠2^λ for some λ, andK is a universal Horn class of models for a countable language, thenK must satisfy two conditions, one of which is quite restrictive and requires that the members ofK are all in a certain sense Abelian. Presented by B. Jonsson.     

Periodic points and rotation numbers for area preserving diffeomorphisms of the plane

Letf be an orientation preserving diffeomorphism ofR ² which preserves area. We prove the existence of infinitely many periodic points with distinct rotation numbers around a fixed point off, provided only thatf has two fixed points whose infinitesimal rotation numbers are not both 0. We also show that if a fixed pointz off is enclosed in a “simple heteroclinic cycle” and has a non-zero infinitesimal rotation numberr, then for every non-zero rational numberp/q in an interval with endpoints 0 andr, there is a periodic orbit inside the heteroclinic cycle with rotation numberp/q aroundz.     

Comparison theorems for the volume of a complex submanifold of a Kaehler manifold

LetM be a Kaehler manifold of real dimension 2n with holomorphic sectional curvatureK _H≥4λ and antiholomorphic Ricci curvatureρ _A≥(2n−2)λ, andP is a complex hypersurface. We give a bound for the quotient (volume ofP)/(volume ofM) and prove that this bound is attained if and only ifP=C P ⁿ⁻¹(λ) andM=C P ⁿ(λ). Moreover, we give some results on the volume of of tubes aboutP inM. Work partially supported by a DGICYT Grant No. PS87-0115-CO3-01.     

Vector-Valued capacities

It is well-known that ifX is a compact metric space and ifI is a capacity onX then every analytic subset ofX isI-capacitable [2], [1]. We introduce the notion of vector-valued capacity in the case when the codomain is a Banach lattice and we prove an analogous theorem for analytic subsets of a Polish space. Finally, we show that every vectorvalued outer measure is a capacity and, in connection with the so-called “marginal problem”, we give an example of a capacity taking values in a reflexive Banach lattice.     

ω 1 can be measurable

It is shown that ifZF + the axiom of choice + “there is a measurable cardinal” is consistent thenZF + “ω ₁ is measurable” is consistent. The corresponding model is a symmetric submodel of the Cohen-type extension which collapses the first measurable cardinal onto ω₀.