This article is a continuation of our work on the classification of holomorphic framed vertex operator algebras of central charge 24. We show that a holomorphic framed VOA of central charge 24 is uniquely determined by the Lie algebra structure of its weight one subspace. As a consequence, we completely classify all holomorphic framed vertex operator algebras of central charge 24 and show that there exist exactly 56 such vertex operator algebras, up to isomorphism.

Let $K/k$ be a finite Galois extension and $\pi = \fn{Gal}(K/k)$. An algebraic torus $T$ defined over $k$ is called a $\pi$-torus if $T\times_{\fn{Spec}(k)} \fn{Spec}(K)\simeq \bm{G}_{m,K}^n$ for some integer $n$. The set of all algebraic $\pi$-tori defined over $k$ under the stably birational equivalence forms a semigroup, denoted by $T(\pi)$. We will give a complete proof of the following theorem due to Endo and Miyata \cite{EM4}. Theorem. Let $\pi$ be a finite group. Then $T(\pi)\simeq C(\Omega_{\bm{Z}\pi})$ where $\Omega_{\bm{Z}\pi}$ is a maximal $\bm{Z}$-order in $\bm{Q}\pi$ containing $\bm{Z}\pi$ and $C(\Omega_{\bm{Z}\pi})$ is the locally free class group of $\Omega_{\bm{Z}\pi}$, provided that $\pi$ is isomorphic to one of the following four types of groups : $C_n$ ($n$ is any positive integer), $D_m$ ($m$ is any odd integer $\ge 3$), $C_{q^f}\times D_m$ ($m$ is any odd integer $\ge 3$, $q$ is an odd prime number not dividing $m$, $f\ge 1$, and $(\bm{Z}/q^f\bm{Z})^{\times}=\langle \bar{p}\rangle$ for any prime divisor $p$ of $m$), $Q_{4m}$ ($m$ is any odd integer $\ge 3$, $p\equiv 3 \pmod{4}$ for any prime divisor $p$ of $m$).

The computation of a rigid body transformation which optimally aligns a set of measurement points with a surface and related registration problems are studied from the viewpoint of geometry and optimization.We provide a convergence analysis for widely used registration algorithms such as ICP, using either closest points (Besl and McKay [2]) or tangent planes at closest points (Chen and Medioni [4]), and for a recently developed approach based on quadratic approximants of the squared distance function [24]. ICP based on closest points exhibits local linear convergence only. Its counterpart which minimizes squared distances to the tangent planes at closest points is a Gauss-Newton iteration; it achieves local quadratic convergence for a zero residual problem and - if enhanced by regularization and step size control - comes close to quadratic convergence in many realistic scenarios. Quadratically convergent algorithms are based on the approach in [24]. The theoretical results are supported by a number of experiments; there, we also compare the algorithms with respect to global convergence behavior, stability and running time.

Completely invariant components of the Fatou sets of meromorphic maps are discussed. Positive answers are given to Baker’s and Bergweiler’s problems that such components are the only Fatou components for certain classes of meromorphic maps.

Let $k$ be a field and $k(x_0,\ldots,x_{p-1})$ be the rational function field of $p$ variables over $k$ where $p$ is a prime number. Suppose that $G=\langle\sigma\rangle \simeq C_p$ acts on $k(x_0,\ldots,x_{p-1})$ by $k$-automorphisms defined as $\sigma:x_0\mapsto x_1\mapsto\cdots\mapsto x_{p-1}\mapsto x_0$. Denote by $P$ the set of all prime numbers and define $P_0=\{p\in P:\bm{Q}(\zeta_{p-1})$ is of class number one$\}$ where $\zeta_n$ a primitive $n$-th root of unity in $\bm{C}$ for a positive integer $n$; $P_0$ is a finite set by \cite{MM}. Theorem. Let $k$ be an algebraic number field and $P_k=\{p\in P: p$ is ramified in $k\}$. Then $k(x_0,\ldots,x_{p-1})^G$ is not stably rational over $k$ for all $p\in P\backslash (P_0\cup P_k)$.