Peter Krautzberger · on the web

One day in Colorado or Strongly summable ultrafilters are rapid

Picking up from the prelude about micro-contributions, let me tell you the story of a small result I would like to share with you. (Before you frantically scroll down to find the proof, it's not really here but will be in the follow-up post).

Please keep in mind that this is not a mathematical paper (hm... did I really have to write this?). I'll mostly delay (or forget) defining (or referencing) terminology. I hope my explanations will suffice when they are needed but this more of a story than a formal proof. In any case, if you find a notion that's not defined, keep reading or ask for clarification through a comment.

Thankfully, Jana Flašková was kind enough to read through the draft correcting a few mistakes; fortunately, her recollection of this story does not greatly disagree with mine.

Results have stories, too

In 2010, I had the pleasure of visiting BLAST 2010 [Wayback Machine] in Boulder, Colorado. It was a great experience (I wrote a couple of blog posts back then). One afternoon, I was sitting somewhere on campus with Jana Flašková and she asked me if idempotent ultrafilters could be rapid.

My initial reaction was "Of course not!". My intuition said, rapid ultrafilters are just as bad as Q-points! they have too many gaps! they can't be sums! But Jana insisted. And she was, of course, right. So let me take a step back and talk about these notions.

P-points, Q-points and sums of ultrafilters

Coming from set theory, one of the things that initially attracted me to (and annoyed me about) Algebra in the Stone-Čech compactification (of ) was the fact that those ultrafilters on studied in set theory have (almost) no relevance in the field. The reason (usually) is that those ultrafilters (for example P-points and Q-points) cannot be sums of ultrafilters -- and Algebra in the Stone-Čech compactification is all about sums of ultrafilters (well, or products if you work in an arbitrary semigroup).

This isn't terribly surprising, in the sense that almost nothing is a sum of ultrafilters, i.e., it is well known that

Folklore (van Douwen?) is nowhere dense in (the Stone–Čech remainder ).

So from a Baire category point of view, you shouldn't expect any ultrafilter to be a sum of ultrafilters.

But the reason goes deeper because the argument for this topological observations resembles arguments you frequently see for P- and Q-points. In fact, let's see how you prove this folklore result:

where and all the .

How does that base help produce small gaps?

Ok, I drifted off topic for a minute. What you should take with you from this is that sums have sets that aren't "thin" like .

P-points, Q-points, for real this time

Now back to P-points and Q-points. Why can't they be sums of ultrafilters? Guess what? They always contain "thin" sets!

For Q-points, this is relatively easy. Just look at the set

or its complement, whichever is in our Q-point -- they do look very much alike. A Q-point, by definition, can turn any finite-to-one function into a one-to-one function on a set in the Q-point. The above partition can be viewed as the finite-to-one function answering "which interval do you lie in?". But a set where this function is one-to-one, well, such as set shares at most one point with each interval -- hence such a set has .

For P-points the argument is different and I hesitate to put it here -- it might do more harm than good since it's unimportant in what follows. But I guess you can decide for yourself if you'd rather skip it.

Take a set in a P-point; let's enumerate it again naturally by . Now define a map by

In other words, by the size of the gap following .

Since we're dealing with a P-point, there's an ultrafilter set such that restricted to is finite-to-one or constant.
It can't be constant, since either or its complement is in our P-point. So it's finite-to-one -- and this should be enough to verify that our set has , right?
Ok, let's take a look. After finitely many steps, the differences will be larger than any prescribed bound (just be careful here, because our function compared with , while here we compare with which is not the "successor" in , but in -- but that isn't a problem since the "successor" in is at least as far away as the successor in ). (Hm... there should be an easier argument, maybe? (and less need for parantheses?))

Anway, I hope I've given some evidence to the claim that the usual crowd of set theoretically interesting ultrafilters turn out to be incompatible with the idea of a sum of ultrafilter. That's somewhat annoying, wouldn't you agree?

Back to our story

So sitting in the shade by a pond on a sunny day in Colorado, Jana asked me this question: can idempotent ultrafilters be rapid? And I answered that I wouldn't expect there to be rapid idempotents because the set theoretic properties (rapidity in this case) never turn out to be possible for sums because they would have too many gaps. But Jana replied "yes, they have gaps -- but they do not have to have gaps everywhere!"

At this point, I should probably explain what a rapid ultrafilter is, shouldn't I? It's quite easy, really.

If you identity a subset with its natural enumeration (as hopefully, you're willing to do at this point), a rapid ultrafilter is simply a (free) ultrafilter that happens to be a dominating family (in ), i.e., a cofinal family in the partial order

(Since rapid ultrafilters are required to be free, we can drop the "all but finitely many" since we could modify our infinite sets to dominate everywhere but "almost everywhere" is the usual partial order.)

You could try and check that Q-points are always rapid, but there's a small trick, a change of perspective, a different characterization of Q-points that might trip you up -- oh, and the reverse is not always true.

So you see, given any function , we find a set in the rapid ultrafilter, such that for all (and assuming the again form the natural enumeration).

Now, I wasn't completely wrong that rapid ultrafilters must have huge gaps -- just imagine a set dominating the Ackermann function or an incomputable function that dominates all computable functions!

But the point Jana was making is that even though for every function we need a set dominating , it could "take a break" from dominating. That is, could be much bigger than , say it could be bigger than -- and suddenly can be very close to , no need for a gap at all!

So we sat in the Colorado sun and I thought (idealizing my memory ever so slightly here) if there's any chance for a rapid idempotent ultrafilter, then we must be able to construct a strongly summabe ultrafilter that is rapid.

Strongly summable ultrafilter FTW!

What are strongly summable ultrafilter, you ask? Well, I've written plenty about FS-sets, but it never hurts to repeat. FS-sets are simple: Take a sequence in and then take all finite sums of the -- but no repetitions allowed! More formally,

Now a strongly summable ultrafilter is an ultrafilter that has a base of such FS-sets, i.e., every set in the ultrafilter contains an FS-set which is also in the ultrafilter. The last part is really the key. The Galvin-Glazer Theorem tells us that any idempotent ultrafilter has the property that any set in it, contains an FS-set -- but the FS-set will not (in general) be in the ultrafilter! So strongly summable ultrafilter are very special that way. (Another way they are special is that they were the first and still the most important type of idempotent ultrafilters whose existence is independent of ZFC.) They are the purest idempotents if you like which often makes them the simplest to deal with.

Quick and dirty with CH

Why would I think that, if anything, I should try and build a strongly summable ultrafilter that is rapid? The reason is quite naive, really: given a function, we can choose an FS-set to dominate it with. At first, this doesn't seem obvious. Sure, the generating sequence can easily be chosen to dominate any given function -- but then all these sums come in and who knows what might happen?

Luckily, we know precisely what happens!

Imagine we have been given the generating sequence , with larger and larger gaps. The only problem for the set appears after each -- it is followed by the translates of by sums of elements below before we (presumably) have another big jump to . So yes, there's a problem -- lots of elements close together -- but we know how many elements are problematic before the next jump, -many!

In other words, given some (strictly monotone) we replace it with (see what I did there?). Then pick a sequence dominating -- lo and behold, will still dominate !

After this thought came up in my discussion with Jana, the initial argument was easy: just assume CH and build a strongly summable ultrafilter that is rapid by the usual transfinite induction!

Lunch break is over

The story continues, fortunately enough. After all, the title of this post indicates that all strongly summable ultrafilters are rapid, not just that I could construct one. How did we continue?

After our little proof in the park, I went to a talk and sat down next to Andreas Blass, my supervisor at Michigan. I told him about this fun question and the initial result that under CH some strongly summable ultrafilters are rapid.

I don't remember who was giving the talk but I feel like I must apologize since I might have caused Andreas not to pay enough attention -- right after the talk Andreas told me that he'd just shown that, in fact, an important class of strongly summable ultrafilters is rapid (iirc, he showed that all stable ordered union ultrafilters are rapid, but let's not go there). This clear improvement in turn boosted my interest in re-claiming the result and later that day I found an argument that all strongly summable ultrafilters are rapid.

But here is a good point to stop the first post. In the second post, I will give the argument and an additional observation which proved to be far too easy.


I hope you enjoyed this a little. I think it is a common theme for small results: If you're an expert in your area (however small that area might be), there are a ton of question that you simply won't think of but nevertheless can answer relatively quickly. Sometimes, I get the feeling that I should be a little ashamed of such results. They come to quickly. There's a meme in popular culture that mathematics has to be produced "the Wiles way", in secret, laboring for years. We all know that's not accurate at all, but I think some of us prefer to leave that impression. After all, if the argument is sufficiently transparent, it's often hard to tell if took a short or a long time.

Anyway, stay tuned for part 2.


Comments