1: \begin{abstract}

2: In this note, we study the cut locus of the free, step two Carnot groups $\G_k$ with $k$ generators, equipped with their left-invariant Carnot-Carath\'eodory metric. 

3: In particular, we disprove the conjectures on the shape of the cut loci proposed in \cites{myasni1,myasni2} and \cite{MM}, by exhibiting sets of cut points $C_k \subset \G_k$ which, for $k \geq 4$, are strictly larger than conjectured ones. While the latter were, respectively, smooth semi-algebraic sets of codimension $\Theta(k^2)$ and semi-algebraic sets of codimension $\Theta(k)$, the sets $C_k$ are semi-algebraic and have codimension $2$, yielding the best possible lower bound valid for all $k$ on the size of the cut locus of $\G_k$.

4: 

5: Furthermore, we study the relation of the cut locus with the so-called abnormal set. In the low dimensional cases, it is known that

6: \[

7: \Abn_0(\G_k) = \overline{\Cut_0(\G_k)} \setminus \Cut_0(\G_k), \qquad k=2,3.

8: \]

9: For each $k \geq 4$, instead, we show that the cut locus always intersects the abnormal set, and there are plenty of abnormal geodesics with finite cut time.

10: 

11: Finally, and as a straightforward consequence of our results, we derive an explicit lower bound for the small time heat kernel asymptotics at the points of $C_k$.

12: 

13: The question whether $C_k$ coincides with the cut locus for $k\geq 4$ remains open.

14: \end{abstract}

15: