Complete normal forms for real hypersurfaces in C3\mathbb C^3 at 2-nondegenerate points of Levi non-uniform rank zero

We construct complete normal forms for $5$-dimensional real hypersurfaces in $\mathbb C^3$ which are $2$-nondegenerate and also of Levi non-uniform rank zero at the origin point ${\bf p} =0$. The latter condition means that the rank of the Levi form vanishes at ${\bf p}$ but not identically in a neighborhood of it. The mentioned hypersurfaces are the only finitely nondegenerate real hypersurfaces in $\mathbb C^3$ for which their complete normal forms were absent in the literature. As a byproduct, we also treat the underlying biholomorphic equivalence problem between the hypersurfaces. Our primary approach in constructing the desired complete normal forms is to utilize the techniques derived in the theory of equivariant moving frames. It notably offers the advantage of systematic and symbolic manipulation of the associated computations.Comment: 32 p

Modules Satisfying the Prime Radical Condition and a Sheaf Construction for Modules I

The purpose of this paper and its sequel, is to introduce a new class of modules over a commutative ring $R$, called $\mathbb{P}$-radical modules (modules $M$ satisfying the prime radical condition "$(\sqrt[p]{{\cal{P}}M}:M)={\cal{P}}$" for every prime ideal ${\cal{P}}\supseteq {\rm Ann}(M)$, where $\sqrt[p]{{\cal{P}}M}$ is the intersection of all prime submodules of $M$ containing ${\cal{P}}M$). This class contains the family of primeful modules properly. This yields that over any ring all free modules and all finitely generated modules lie in the class of $\mathbb{P}$-radical modules. Also, we show that if $R$ is a domain (or a Noetherian ring), then all projective modules are $\mathbb{P}$-radical. In particular, if $R$ is an Artinian ring, then all $R$-modules are $\mathbb{P}$-radical and the converse is also true when $R$ is a Noetherian ring. Also an $R$-module $M$ is called $\mathbb{M}$-radical if $(\sqrt[p]{{\cal{M}}M}:M)={\cal{M}}$; for every maximal ideal ${\cal{M}}\supseteq {\rm Ann}(M)$. We show that the two concepts $\mathbb{P}$-radical and $\mathbb{M}$-radical are equivalent for all $R$-modules if and only if $R$ is a Hilbert ring. Semisimple $\mathbb{P}$-radical ($\mathbb{M}$-radical) modules are also characterized. In Part II we shall continue the study of this construction, and as an application, we show that the sheaf theory of spectrum of $\mathbb{P}$-radical modules (with the Zariski topology) resembles to that of rings.Comment: 18 Page