Local minimizer and De Giorgi’s type conjecture for the isotropic–nematic interface problem