Прислали они мне более внятную версию. Почитал я ее. Вот что они, как мне кажется, на самом деле доказывают. Пусть X -- гладкое аффинное многообразие над совершенным полем, w (суперпотенциал) -- функция на X, являющаяся гладким морфизмом в аффинную прямую вне замкнутой подсхемы w = 0 (грубо говоря, не имеющая критических значений, кроме нуля). Тогда матричные факторизации на X×X с суперпотенциалом w⊗1 - 1⊗w порождаются (с помощью конусов, сдвигов и перехода к прямым слагаемым) внешними тензорными произведениями матричных факторизаций на декартовых сомножителях. В частности, условие существования "резольвенты диагонали" (из Следствия 4.6.B в нашей работе с Сашей П.) выполнено для CDG-алгебры, описывающей такие матричные факторизации. Так что имеется теорема сравнения для (ко)гомологий Хохшильда и проч. Доказательство основано на теореме Орлова + конструкции функтора, обратного к функтору коядра (Орлова), позволяющей проследить за согласованностью этого функтора с внешними тензорными произведениями + соображениях о порождении производных категорий особенностей, включая теорему локализации Томасона-Трубо (про поведение совершенных комплексов пучков при переходе к открытым подсхемам) и т.п.