Я уже вступил лет пять как, называется ЛПР.

А если серьёзно, то вот чего скажи. Голоморфной теоремы
о трубчатой окрестности не бывает в природе, зато есть теорема
Арнольда о малых знаменателях, на которую ссылаются например
вот отсюдa: front.math.ucdavis.edu/abs/1903.01444.
Доказательство, как я понимаю, происходит в два этапа:
сначала постулируется отсутствие когомологий у степеней
этого расслоения, а потом из того, что никакая степень
не слишком близка к тривиальному расслоению, выводится
априорная оценка на решение \bar\partial\alpha = \beta,
что означает сходимость в какой-то окрестности. Правильно ли
я понимаю, что там реально происходит, и где это по-человечески
написано?