If $M$ is smooth and $\dim M =3$, then the answer is always. This is a theorem due to Shokurov, see
V.V. Shokurov: Smoothness of a general anticanonical divisor on a Fano variety, Math. USSR, Izv 14, 395-405 (1980).
Francesco Polizzi
- 66.3k
- 5
- 180
- 283