Dice Question Streamline Icon: https://streamlinehq.com

Compatibility map to Z/pα without assuming an E1-algebra map S_{R∞}→S/pα

Develop a construction of the canonical comparison map from the q-Hodge filtration on the derived q-de Rham complex _{R/A} to the q-Hodge filtration on _{(Z/p^α)/Z_p} for A-algebras R satisfying the hypotheses of Theorem 2.8(2) (existence of an E1-lift S_{R∞}), without additionally assuming the existence of an E1-algebra map S_{R∞}→S/p^α.

Information Square Streamline Icon: https://streamlinehq.com

Background

In Section 3.2 the authors define a q-Hodge filtration on {(Z/pα)/Z_p} by base change and show compatibility in several cases. They then point out a limitation: their current method requires an additional E1-map from the lift S{R∞} to S/pα.

Removing this auxiliary assumption would broaden the applicability of the compatibility construction between q-Hodge filtrations.

References

It would be desirable to get compatibility also for A-algebras R that satisfy the condition from Theorem ..., but the author doesn't know how to do that without additionally assuming existence of an E1-algebra map $S_{R_\infty}\to S/p\alpha$.

Derived $q$-Hodge complexes and refined $\operatorname{TC}^-$ (2410.23115 - Meyer et al., 30 Oct 2024) in After Lemma 3.8 (qHodgeCompatibleForZpalpha), Section 3.2