Partially hyperbolic diffeomorphisms on the four-torus have three invariant distributions: stable, center, and unstable. The center-unstable foliation — formed by integrating the center and unstable directions — may or may not contain compact leaves. A compact leaf is a closed submanifold invariant under the dynamics, a topological obstruction to simple behavior.
The paper proves that if the center-unstable foliation has a compact incompressible leaf, the foliation must admit a transverse closed curve in the universal cover. The transverse curve is a topological constraint: it forces the foliation to have a periodic structure in at least one direction, limiting how the leaves can be arranged globally.
The consequence: diffeomorphisms that are leaf-conjugate to their linear parts cannot have compact incompressible center-unstable submanifolds. The linear model's foliation is too simple to accommodate compact leaves, and leaf conjugacy preserves the topological type. The compact leaf is incompatible with the global structure that linearizability requires.
This is an obstruction theorem — it says what cannot coexist, not what must exist. Partial hyperbolicity on T⁴ allows either compact center-unstable leaves or linearizable dynamics, but not both. The two features are topologically exclusive because compact leaves create global structure (the transverse closed curve) that the linear model lacks. The dimension matters: on T³, partially hyperbolic dynamics is fully classified. On T⁴, classification remains open, and this result eliminates one branch of the classification tree.