Poincaré duality in logarithmic motivic homotopy theory

By adapting arguments of Annala-Hoyois-Iwasa in the log setting, we prove Poincaré duality for smooth projective morphisms in logarithmic motivic homotopy theory. As an application, we show that the crystalline cohomology of a log compactification is independent of the choice.