1: \begin{abstract}

2:     We study the horofunction boundary of finitely generated nilpotent groups, and the natural group action on it. More specifically, we prove the followings:

3:     \begin{itemize}[leftmargin=6mm, rightmargin=2mm]

4:         \item For discrete Heisenberg groups, we classify the orbits of Busemann points. As a byproduct, we observe that the set of orbits is finite and the set of Busemann points is countable.

5:         Furthermore,

6:         by using the approximation with Lie groups, we also observe that the entire horoboundary is uncountable.

7:         

8:         \item For the discrete Cartan group, we exhibit an continuum of Busemann points, disproving a conjecture of Tointon and Yadin. As a byproduct, we prove that the group acts non-trivially on its reduced horoboundary, disproving a conjecture of Bader and Finkelshtein.

9:     \end{itemize}

10: \end{abstract}

11: