## Stream: condensed mathematics

### Topic: condensed terminology

#### Johan Commelin (Mar 02 2021 at 15:55):

I gave a talk at CMU about LTE, and someone in the audience asked about the idea/intuition behind the terminology "condensed sets". Why "condensed"? I didn't have a very good answer to this. @Peter Scholze do you explain this somewhere?

#### Adam Topaz (Mar 02 2021 at 15:57):

If extremally disconnected sets are "clouds of dust" then a condensed set is a condensed cloud of dust?

#### Peter Scholze (Mar 02 2021 at 15:57):

Something like this

#### Peter Scholze (Mar 02 2021 at 15:57):

I mean sets are just isolated points in free space. A condensed set has taken some form

#### Peter Scholze (Mar 02 2021 at 15:57):

like an interval, or a Cantor set, ...

#### Peter Scholze (Mar 02 2021 at 15:58):

We were looking for some word that expresses the idea that these points are somehow bound together

#### Johan Commelin (Mar 02 2021 at 15:59):

Ok, thanks. During the discussion in CMU the cantor set was also mentioned as somehow a condensed bunch of points. So I guess we sort of figured out the right reason

#### Peter Scholze (Mar 02 2021 at 15:59):

(In German, the correct translation is by the way "verdichtet", not "kondensiert" (which would be what water does at a window when it's cold outside).)

#### Johan Commelin (Mar 02 2021 at 15:59):

Ooh, that's good to know! I think I've used "kondensiert" sometimes :face_palm:

#### Johan Commelin (Mar 02 2021 at 16:00):

And how do you translated "liquid modules"?

#### Peter Scholze (Mar 02 2021 at 16:00):

That's OK! But I think for the discussion of the intended meaning, the distinction is important

flüssig

#### Johan Commelin (Mar 02 2021 at 16:01):

Verdichtete Mengen, fluessige Moduln? I'll keep that in mind (-;

#### David Michael Roberts (Mar 03 2021 at 02:58):

Did you have slides, @Johan Commelin ?

#### Johan Commelin (Mar 03 2021 at 05:49):

@David Michael Roberts yes, but they are just 2 or 3 words per slide. So I don't think you'll get much out of it without the story I told.

#### Johan Commelin (Mar 03 2021 at 05:50):

https://math.commelin.net/files/oberharmersbach_2021.pdf

#### David Michael Roberts (Mar 03 2021 at 06:06):

Fair enough, but thanks anyway :-)

Last updated: May 09 2021 at 21:10 UTC