On infiniteness of integral overconvergent de Rham-Witt cohomology modulo torsion

In this article, we give examples of smooth varieties of positive characteristic whose first integral overconvergent de Rham-Witt cohomology modulo torsion is not finitely generated over the Witt ring of the base field.