Horizontal loops in Engel space

Abstract

A simple proof is given of the following result first observed by J. Adachi: embedded circles tangent to the standard Engel structure on Euclidean 4-space are classified, up to isotopy via such embeddings, by their rotation number.