Title:On complete hyperKähler manifolds with compact isometry group

Abstract:The basic model of hyperKähler manifold is the quaternionic number space $\HH^n$ with flat and symmetric metric. In this note we shall construct a one-parameter family of complete hyperKähler metrics on $\HH^n$ whose isometry group is the compact group ${\rm Sp}(n)\cdot{\rm Sp}(1)$. The standard \emph{quaternionic Carnot-Carathéodory structure} on the $4n+3$-dimensional quaternionic Heisenberg Lie group $\cM$ induces the standard hyperKähler structure on the base $\HH^n$. By deforming a Carnot-Carathéodory structure on $\cM$, the resulting Hermitian metric on $\HH^n$ is shown to be \emph{complete hyperKähler}.