Crystalline Condition for Ainf-cohomology and Ramification Bounds

For a prime p>2 and a smooth proper p-adic formal scheme X over O_K where K is a p-adic field of absolute ramification degree e, we study a series of conditions (Cr_s), s>=0 that partially control the G_K-action on the image of the associated Breuil-Kisin prismatic cohomology RΓ_Δ(X/S) inside the A_inf-prismatic cohomology RΓ_Δ(X_Ainf/A_inf). The condition (Cr₀) is a criterion for a Breuil-Kisin-Fargues G_K-module to induce a crystalline representation used by Gee and Liu, and thus leads to a proof of crystallinity of Hⁱ_et(X_CK, Q_p) that avoids the crystalline comparison. The higher conditions (Cr_s) are used in an adaptation of a ramification bounds strategy of Caruso and Liu. As a result, we establish ramification bounds for the mod p representations Hⁱ_et(X_CK, Z/pZ) for arbitrary e and i, which extend or improve existing bounds in various situations.