Strictly nef divisors on K-trivial fourfolds

In this paper, we prove the ampleness conjecture and Serranos conjecture for strictly nef divisors on K-trivial fourfolds. Specifically, we show that any strictly nef divisors on projective fourfolds with trivial canonical bundle and vanishing irregularity are ample.