Projected embeddings II

Это продолжение моего доклада "Projected embeddings", состоявшегося на этом семинаре 5 с лишним лет назад. И прошлый, и нынешний доклад посвящены работе arXiv:1711.03518, которая с тех пор несколько удлинилась и дополнилась новыми результатами. В прошлый раз за время, отведённое слушателями, удалось обсудить формулировки и примеры, а времени на доказательства не осталось. Поэтому в этот раз я надеюсь максимально быстро перейти к доказательствам и хотя бы частично изложить доказательство основной теоремы.