End Khovanov homology and exotic Lagrangian planes

In this paper, we define the end Khovanov homology, which is an invariant of properly embedded surfaces in 4-space up to ambient diffeomorphism. Moreover, we apply this invariant to detect the first known examples of exotic Lagrangian and symplectic planes in 4-space.