1: \begin{abstract}

2: We first provide a detailed proof of Kato's classification theorem of log $p$-divisible groups over a henselian local ring. Exploring Kato's idea further, we then define the notion of a standard extension of a classical finite \'etale group scheme (resp. classical \'etale $p$-divisible group) by a classical finite flat group scheme (resp. classical $p$-divisible group) in the category of finite Kummer flat group log schemes (resp. log $p$-divisible groups), with respect to a given chart on the base. We show that the finite Kummer flat group log scheme $T_n(M):=H^{-1}(M\otimes_{\Z}^L\Z/n\Z)$ (resp. the log $p$-divisible group $M[p^{\infty}]$) of a log 1-motive $M$ over an fs log scheme is \'etale locally a standard extension. We further show that $M[p^{\infty}]$ and its infinitesimal deformations are formally log smooth. At last, as an application of these formal log smoothness results, we give a proof of the Serre-Tate theorem for log abelian varieties with constant degeneration. 

3: \end{abstract}

4: