  We prove that there is a natural plectic weight filtration on the cohomology
of Hilbert modular varieties in the spirit of Nekovar and Scholl. This is
achieved with the help of Morel's work on weight t-structures and a detailed
study of partial Frobenius. We prove in particular that the partial Frobenius
extends to toroidal and minimal compactifications.
