We introduce $F$-gauges over a prism, construct syntomic cycle classes, and prove the prismatic Poincaré duality for proper smooth schemes.

We consider the homology theory of étale groupoids introduced by Crainic and Moerdijk [A homology theory for étale groupoids. J. Reine Angew. Math. 521 (2000), 25–46], with particular interest to groupoids arising from topological dynamical systems. We prove a Künneth formula for products of groupoids and a Poincaré-duality type result for principal groupoids whose orbits are copies of an Euclidean space. We conclude with a few example computations for systems associated to nilpotent groups such as self-similar actions, and we generalize previous homological calculations by Burke and Putnam for systems which are analogues of solenoids arising from algebraic numbers. For the latter systems, we prove the HK conjecture, even when the resulting groupoid is not ample.

We provide a simple condition on rational cohomology for the total space of a pullback fibration over a connected sum to have the rational homotopy type of a connected sum after looping. This takes inspiration from a recent work of Jeffrey and Selick, in which they study pullback fibrations of this type but under stronger hypotheses compared to our result.