# Developing Maps and Engel Automorphisms

## TL;DR

This paper investigates the automorphism groups of Engel manifolds, showing they embed into the automorphism group of a related contact orbifold's Cartan prolongation, and constructs examples with trivial automorphism groups.

## Contribution

It proves the embedding of Engel automorphism groups into contact orbifold automorphisms and constructs Engel manifolds with trivial automorphism groups.

## Key findings

- Automorphism group embeds into the automorphism group of the Cartan prolongation.
- Constructed Engel manifold with trivial automorphism group.
- Developing map's properties influence automorphism group structure.

## Abstract

A completely nonintegrable $2$-dimensional distribution on a $4$-manifold is called an Engel structure. A $4$-manifold with an Engel structure is called an Engel manifold. The developing map for an Engel manifold is very important tool to determine the Engel structure. Montgomery used it to prove that an Engel automorphism is determined by the values on a global slice. Moreover, Montgomery constructed Engel manifolds whose automorphism group is small. In this paper, we prove that the automorphism group of an Engel manifold is embedded into the automorphism group of the Cartan prolongation of a contact $3$-orbifold, if the developing map is not a covering map. As an application, we will construct an Engel manifold whose automorphism group is trivial.