1: \begin{abstract}

2: Let $G$ be a unitriangular matrix group of nilpotency class at most ten.

3: We show that the Identity Problem (does a semigroup contain the identity matrix?) and the Group Problem (is a semigroup a group?) are decidable in polynomial time for finitely generated subsemigroups of $G$.

4: Our decidability results also hold when $G$ is an arbitrary finitely generated nilpotent group of class at most ten.

5: This extends earlier work of Babai et al.\ on commutative matrix groups (SODA'96) and work of Bell et al.\ on $\mathsf{SL}(2, \mathbb{Z})$ (SODA'17).

6: %Our main idea is to analyze the logarithm of the matrices appearing in $\langle\mG\rangle$. This allows us to employ Lie algebra methods to study this semigroup. In particular, we prove several new properties of the Baker-Campbell-Hausdorff formula, which help us characterize the convex cone spanned by the elements in $\log \langle\mG\rangle$.

7: Furthermore, we formulate a sufficient condition for the generalization of our results to nilpotent groups of class $d > 10$.

8: For every such $d$, we exhibit an effective procedure that verifies this condition in case it is true.

9: %Likely due to the constraint by computational power, we are only able to produce the proof for all $k \leq 10$.

10: \end{abstract}

11: