shimon garti and saharon shelah- a strong polarized relation

Upload: uwem356

Post on 06-Apr-2018

216 views

Category:

Documents


0 download

TRANSCRIPT

  • 8/3/2019 Shimon Garti and Saharon Shelah- A Strong Polarized Relation

    1/14

    949

    re

    vision:2011-02-27

    modified:2011-02-27

    A STRONG POLARIZED RELATION

    SHIMON GARTI AND SAHARON SHELAH

    Abstract. We prove that the strong polarized relation`+

    `+

    1,12

    is consistent with ZFC, for a singular which is a limit of measurablecardinals (but in fact, it follows from pcf assumptions).

    2000 Mathematics Subject Classification. 03E05, 03E55.Key words and phrases. Partition calculus, cardinal arithmetic, large cardinals.First typed: December 2008

    Research supported by the United States-Israel Binational Science Foundation. Publica-tion 949 of the second author.

    1

  • 8/3/2019 Shimon Garti and Saharon Shelah- A Strong Polarized Relation

    2/14

    949

    re

    vision:2011-02-27

    modified:2011-02-27

    2 SHIMON GARTI AND SAHARON SHELAH

    0. introduction

    The polarized relation

    0 1

    0 1

    1,1asserts that for every coloring

    c : 2 there are A and B such that either otp(A) =0, otp(B) = 0 and c (A B) = {0} or otp(A) = 1, otp(B) = 1 andc (A B) = {1}. This relation was first introduced in [3], and investigatedfurther in [2].If (0, 0) = (1, 1) then we get the so-called unbalanced form of the relation.The balanced form is the case (0, 0) = (1, 1), and in this case we can write

    also

    1,12

    (stipulating = 0 = 1 and = 0 = 1). With this

    shorthand, the notation

    1,1

    means the same thing, but the number

    of colors is instead of 2.From some trivialities and simple limitations, it follows that the case = +

    and = is interesting, for an infinite cardinal . It is reasonable todistinguish between three cases - is a successor cardinal, is a limitregular cardinal (so it is a large cardinal) and is a singular cardinal; weconcentrate in the latter case.By a result of Cudnovskii in [1], if is measurable then the relation

    +

    +

    1,1holds in ZFC for every < + (see also [4], for discussion on

    weakly compact cardinals). In a sense, this is the best possible result, since

    we know that the assertion

    +

    +

    1,12

    is valid under the GCH for

    every infinite cardinal (see [13]). This limitation gives rise to the following

    problem: Can one prove that the strong relation

    +

    +

    1,12

    is consistent

    with ZFC?We give a positive answer. For a singular which is a limit of measurables,

    we can show that under some cardinal arithmetic assumptions (including

    the violation of the GCH, of course) one can get

    +

    +

    1,1

    for every

    < cf(). This result is stronger, on one hand, than the balanced result+

    1,1

    which is proved in [12] for every < +. On the other hand,

    the result there is proved in ZFC, whence the strong relations in this papercan not be proved in ZFC.One can view this result as the parallel to the ordinary partition relationwith respect to weakly compact cardinals. We know that if is inaccessiblethen (, )2 for every < , but the strong (and balanced) relation

    ()22 kicks up in the chart of large cardinals, making it weakly compact.The result here is similar, replacing the ordinary partition relation by thepolarized one.

    Our notation is standard. We use the letters ,,, for infinite cardinals,and ,,,, ,,i ,j for ordinals. For a regular cardinal we denote theideal of bounded subsets of by Jbd . For A, B we say A

    B whenA \ B is bounded in ; the common usage of this symbol is for = 0, buthere we apply it to uncountable cardinals.

  • 8/3/2019 Shimon Garti and Saharon Shelah- A Strong Polarized Relation

    3/14

    949

    re

    vision:2011-02-27

    modified:2011-02-27

    A STRONG POLARIZED RELATION 3

    The product

  • 8/3/2019 Shimon Garti and Saharon Shelah- A Strong Polarized Relation

    4/14

    949

    re

    vision:2011-02-27

    modified:2011-02-27

    4 SHIMON GARTI AND SAHARON SHELAH

    1. The combinatorial theorem

    We state the main result of the paper:

    Theorem 1.1. The main result.Let be a singular cardinal, = cf() and < .Assume 2 < cf() < 2.Suppose is a limit of measurable cardinals, = : < is a sequenceof measurables with limit so that < 0,

  • 8/3/2019 Shimon Garti and Saharon Shelah- A Strong Polarized Relation

    5/14

  • 8/3/2019 Shimon Garti and Saharon Shelah- A Strong Polarized Relation

    6/14

    949

    re

    vision:2011-02-27

    modified:2011-02-27

    6 SHIMON GARTI AND SAHARON SHELAH

    2. forcing preliminaries

    We need some preliminaries, before proving the main claim of the nextsection. First of all, we shall use a variant of Lavers indestructibility (see[6]), making sure that a supercompact cardinal will remain supercompactupon forcing with some prescribed properties. Let us start with the followingdefinition:

    Definition 2.1. Strategically completeness.Let P be a forcing notion, and p P.

    (a) The game (p,P) is played between two players, com and inc. Itlasts moves. In the -th move, com tries to choose p P suchthat p P p and < q P p. After that, inc tries to chooseq P such that p P q.

    (b) com wins a play if he has a legal move for every < .(c) P is -strategically complete if the player com has a winning strat-egy in the game (p,P) for every p P.

    Claim 2.2. Indestructible supercompact and strategically completeness.Let be a supercompact cardinal in the ground model.There is a forcing notionQ which makes indestructible under every forcingP with the following properties:

    (a) P is -strategically complete for every < (b) , andP H()(c) for some : V M such that = crit(), M M and for every

    G P which is generic over V, we have M[G] |= {(p) : p G}

    has an upper bound in (P).

    Proof.Basically, the proof walks along the line of [6], using Lavers diamond. Inthe crux of the matter, when Laver needs the -completeness, we employrequirement (c) above.

    2.2We define now the single step forcing notion Q to be used in the proof of3.3. This is called the -dominating forcing (it appears also in [9]). We willuse an iteration which consists, essentially, of these forcing notions:

    Definition 2.3. The -dominating forcing.Let be a supercompact cardinal.Suppose = : < is an increasing sequence of cardinals so that2||+0 < < for every < .

    () p Q iff:(a) p = (, f) = (p, fp)(b) g() < (c)

    { : < g()}

    (d) f

    { : < }(e) f

  • 8/3/2019 Shimon Garti and Saharon Shelah- A Strong Polarized Relation

    7/14

    949

    re

    vision:2011-02-27

    modified:2011-02-27

    A STRONG POLARIZED RELATION 7

    () p Q q iff (p,q Q and)(a) p q

    (b) fp() fq(), for every <

    Notice that if g(p) < g(q ) then fp() q(), since fp() fq() = q (). The purpose of Q is to add (via the generic object) adominating function in the product of the -s.

    Observation 2.4. Basic properties ofQ.LetQ be the -dominating forcing (for the supercompact cardinal ).

    (a) Q satisfies the +-cc.

    (b) Q is -strategically complete for every < .

    Proof.

    (a) If p = (, fp), q = (, fq), define f() = max{fp(), fq ()} for every < , and then r = (, f). Clearly, r Q and p, q r. So thecardinality of an antichain does not exceed the number of possible-s, which is since g() < and

  • 8/3/2019 Shimon Garti and Saharon Shelah- A Strong Polarized Relation

    8/14

    949

    re

    vision:2011-02-27

    modified:2011-02-27

    8 SHIMON GARTI AND SAHARON SHELAH

    Definition 2.6. The iteration.Let be a supercompact cardinal.

    Let P be the (< )-support iteration P,Q : , < , where each

    Q

    is (a P-name of) the forcing Q.

    We would like to show that the nice properties of each component ensuredby 2.4 are preserved in the iteration. Now, the strategically completeness ispreserved, but the chain condition may fail. Nevertheless, in the case of thedominating forcing Q it holds:

    Definition 2.7. Linked forcing notions.Let P be a forcing notion.P is -2-linked when for every subset of conditions {p : <

    +} P thereare C, h such that:

    (1) C is a closed unbounded subset of +

    (2) h : + + is a regressive function(3) for every , C, if cf() = cf() = and h() = h() then

    p p; moreover, p p is a least upper bound

    Remark 2.8. IfQ is -2-linked, then Q is +-cc.

    Lemma 2.9. Preservation of the -2-linked property.Assume =

  • 8/3/2019 Shimon Garti and Saharon Shelah- A Strong Polarized Relation

    9/14

    949

    re

    vision:2011-02-27

    modified:2011-02-27

    A STRONG POLARIZED RELATION 9

    For proving that cf(

  • 8/3/2019 Shimon Garti and Saharon Shelah- A Strong Polarized Relation

    10/14

    949

    re

    vision:2011-02-27

    modified:2011-02-27

    10 SHIMON GARTI AND SAHARON SHELAH

    3. Cardinal arithmetic assumptions

    We phrase two theorems, which we shall prove in this section. The firstone asserts that there exits (i.e., by forcing) a singular cardinal, limit ofmeasurable cardinals, with some properties imposed on the product of thesemeasurables and their successors. Related works, in this light, are [5] and[10]. The second theorem deals with properties of the product of normal(uniform) ultrafilters on these cardinals.We start with the following known fact:

    Lemma 3.1. Cofinality preservation under Prikry forcing.Let U be a normal (uniform) ultrafilter on a measurable cardinal .LetQU be the Prikry forcing (with respect to and U) and n : n thePrikry sequence.

    Suppose = cf() = , F : Reg and cf(

  • 8/3/2019 Shimon Garti and Saharon Shelah- A Strong Polarized Relation

    11/14

    949

    re

    vision:2011-02-27

    modified:2011-02-27

    A STRONG POLARIZED RELATION 11

    Ap, as an intersection of at most = |[]

  • 8/3/2019 Shimon Garti and Saharon Shelah- A Strong Polarized Relation

    12/14

    949

    re

    vision:2011-02-27

    modified:2011-02-27

    12 SHIMON GARTI AND SAHARON SHELAH

    Levy(+, 2) upon noticing that the local GCH on reflects down to enoughmeasurables below, and the iteration P does not affect the measurability of

    the cardinals below , since it does not add new bounded subsets).Let U be a normal (uniform) ultrafilter on in VP. Let QU be the Prikry

    forcing applied to , adding the cofinal Prikry sequence n : n < . InVPQU we know that cf() = 0. We indicate that using Magidors forcing(from [7]), we can get a similar result for cf() = > 0.

    Now, if is an increasing sequence as in definition 2.3, we know that

    cf(

  • 8/3/2019 Shimon Garti and Saharon Shelah- A Strong Polarized Relation

    13/14

    949

    re

    vision:2011-02-27

    modified:2011-02-27

    A STRONG POLARIZED RELATION 13

    A

  • 8/3/2019 Shimon Garti and Saharon Shelah- A Strong Polarized Relation

    14/14

    949

    re

    vision:2011-02-27

    modified:2011-02-27

    14 SHIMON GARTI AND SAHARON SHELAH

    References

    1. G. V. Cudnovski, Combinatorial properties of compact cardinals, Infinite and finite

    sets (Colloq., Keszthely, 1973; dedicated to P. Erdos on his 60th birthday), Vol. I,North-Holland, Amsterdam, 1975, pp. 289306. Colloq. Math. Soc. Janos Bolyai, Vol.10. MR MR0371655 (51 #7873)

    2. P. Erdos, A. Hajnal, and R. Rado, Partition relations for cardinal numbers, ActaMath. Acad. Sci. Hungar. 16 (1965), 93196. MR MR0202613 (34 #2475)

    3. P. Erdos and R. Rado, A partition calculus in set theory, Bull. Amer. Math. Soc. 62(1956), 427489. MR MR0081864 (18,458a)

    4. Matthew Foreman and Andras Hajnal, A partition relation for successors of largecardinals, Math. Ann. 325 (2003), no. 3, 583623. MR MR1968607 (2004b:03063)

    5. Moti Gitik and Saharon Shelah, On densities of box products, Topology Appl. 88(1998), no. 3, 219237. MR MR1632081 (2000b:03183)

    6. Richard Laver, Making the supercompactness of indestructible under -directedclosed forcing, Israel J. Math. 29 (1978), no. 4, 385388. MR MR0472529 (57 #12226)

    7. Menachem Magidor, Changing cofinality of cardinals, Fund. Math.99

    (1978), no. 1,6171. MR MR0465868 (57 #5754)8. S. Shelah, A weak generalization of MA to higher cardinals, Israel J. Math. 30 (1978),

    no. 4, 297306. MR MR0505492 (58 #21606)9. Saharon Shelah, On con(dominating > cov(meagre)), preprint.

    10. , More on cardinal arithmetic, Arch. Math. Logic 32 (1993), no. 6, 399428.MR MR1245523 (94j:03100)

    11. , Cardinal arithmetic, Oxford Logic Guides, vol. 29, The Clarendon Press Ox-ford University Press, New York, 1994, , Oxford Science Publications. MR MR1318912(96e:03001)

    12. , A polarized partition relation and failure of GCH at singular strong limit,Fund. Math. 155 (1998), no. 2, 153160. MR MR1606515 (99b:03064)

    13. Neil H. Williams, Combinatorial set theory, studies in logic and the foundations ofmathematics, vol. 91, North-Holland publishing company, Amsterdam, New York,

    Oxford, 1977.

    Institute of Mathematics The Hebrew University of Jerusalem Jerusalem

    91904, Israel

    E-mail address: [email protected]

    Institute of Mathematics The Hebrew University of Jerusalem Jerusalem

    91904, Israel and Department of Mathematics Rutgers University New Brunswick,

    NJ 08854, USA

    E-mail address: [email protected]: http://www.math.rutgers.edu/~shelah