Non-locality of the meet levels of the Trotter-Weil Hierarchy

João Daniel Moreira

We prove that the meet level $m$ of the Trotter-Weil, ${\mathsf{V}}_m$ is not local for all $m\ge 1$, as conjectured in a paper by Kufleitner and Lauser. In order to show this, we…