Про работы Маргулиса, боюсь, я сходу не готов рассказывать, но вот про (по крайней мере, какие-то) работы Фюрстенберга — это просто план на следующий рассказ :)

Итак, обещанное про работы Фюрстенберга. Их много и разных; начать я хочу, пожалуй, не с основного его направления — зато с очень красивой работы про доказательство теоремы Семереди методами эргодической теории.

Для начала — что такое теорема Семереди?
Есть классическая теорема Ван дер Вардена. Которая утверждает, что если натуральные числа раскрашены в конечное число цветов, то найдутся сколь угодно длинные арифметические прогрессии одного цвета.

Кстати — то же правда и в больших размерностях: если точки решётки L — например, множества Z^2 челочисленных точек плоскости — раскрашены в конечное число цветов, и есть конечное подмножество F в L ("шаблон"), то найдётся гомотетичное F одноцветное подмножество L. Об этом можно почитать в дубнинской брошюре В.О. Бугаенко, "Обобщённая теорема Ван дер Вардена" (см. https://www.mccme.ru/free-books/dubna/bugaenko.pdf ) — но это не основная тема моего рассказа, так что я вернусь на прямую.

Так вот: мы знаем, что при раскраске N в конечное число цветов найдутся сколь угодно длинные одноцветные арифметические прогрессии. Но раз число цветов конечно, значит, есть один конкретный цвет, в котором есть сколь угодно длинные прогрессии. А нельзя ли как-нибудь его "указать"?

Оказывается, можно, и (на уровне формулировки!) очень просто. А именно — давайте определим верхнюю плотность подмножества A в N как верхний предел при n, стремящемся к бесконечности, того, какую долю составляют элементы A среди {1,...,n}.

Легко увидеть, что если натуральные числа разбиты на конечное число подмножеств, то сумма их верхних плотностей не меньше 1 — в частности, у хотя бы одного из них верхняя плотность больше нуля.

Так вот, гипотеза Эрдеша и Турана 1936 года утверждала, что во всяком подмножестве N положительной верхней плотности есть сколь угодно длинные арифметические прогрессии. (Да, забыл сказать: теорема Ван дер Вардена это 1927 год).

В 1953 году Roth доказал, что в множестве положительной верхней плотности найдутся прогрессии длины 3; в 1969-м — Семереди доказал это для прогрессий длины 4. И только в 1975-м тот же Семереди доказал эту гипотезу для прогрессий произвольной длины — с тех пор это утверждение называется теоремой Семереди.

Так вот — всего лишь двумя годами позднее, в 1977 году, появилось доказательство Фюрстенберга теоремы Семереди методами эргодической теории. Но — опять-таки, прежде, чем я перейду к собственно этому доказательству, мне ещё хочется сказать пару слов про "соседние" утверждения.

Есть более сильная гипотеза Эрдеша: пусть подмножество A таково, что ряд из обратных к его элементам расходится. Тогда в A есть сколь угодно длинные арифметические прогрессии.

Продолжим?
Сразу видно, что эта гипотеза Эрдеша это более сильное утверждение: несложно проверить, что если верхняя плотность A положительна, то сумма ряда (1/n) по n из A расходится.

И — известно, что ряд из обратных простых 1/p тоже расходится. Это можно увидеть разными способами, правильнее всего, наверно, это увидеть через тождество Эйлера для дзета-функции:

При s=1 в левой части стоит (расходящийся) гармонический ряд, значит, сумма логарифмов сомножителей правой части расходится. А
-ln(1-1/p)~ 1/p.

Конечно, можно сослаться и на асимптотический закон распределения простых чисел, что p_n ~ n ln n, а ряд 1/(n ln n) расходится, но мне это показалось неправильным — ибо если посмотреть, сколько всего внутри асимптотического закона закопано, чтобы его вывести...

Так вот — сумма ряда из обратных простых расходится. Поэтому следствием из гипотезы Эрдеша было бы то, что есть сколь угодно длинные прогрессии, состоящие из простых чисел.

И это и правда так — утверждающая это теорема Грина-Тао была доказана ими в 2004 году (и это был один из результатов, принесших Тао премию Филдса).

Но что же до самой гипотезы Эрдеша про множества с расходящейся суммой обратных, то в общем виде она остаётся недоказанной — более того, не доказано даже, что в таком множестве найдутся арифметические прогрессии длины 3 !

Вот препринт 2014 года (и статья 2016го) — https://arxiv.org/abs/1405.5800 — где говорится, сколько может быть чисел на отрезке от 1 до N, так, чтобы среди них не было трёх последовательных членов арифметической прогрессии. Но оценка там совершенно не мешает расходимости ряда из обратных...
(См. также — https://en.wikipedia.org/wiki/Erd%C5%91s_conjecture_on_arithmetic_progressions )