Regularity of CR maps between convex hypersurfaces of finite type

We study rigidity and regularity properties of CR maps between smooth convex hypersurfaces of finite type in

     

The Alexander polynomial and finite type 3-manifold invariants

Using elementary counting methods, we calculate a universal perturbative invariant (also known as the LMO invariant) of a 3-manifold M, satisfying , in terms of the Alexander polynomial of M. We show that +1 surgery on a knot in the 3-sphere induces an injective map from finite type invariants of integral homology 3-spheres to finite type invariants of knots. We also show that weight systems of degree 2m on knots, obtained by applying finite type 3m invariants of integral homology 3-spheres, lie in the algebra of Alexander-Conway weight systems, thus answering the questions raised in [Ga]. Received: 27 April 1998 / in final form: 8 August 1999     

Milnor numbers and the topology of polynomial hypersurfaces

Summary LetF: n + 1 be a polynomial. The problem of determining the homology groupsH _q (F ^–1 (c)), c , in terms of the critical points ofF is considered. In the best case it is shown, for a certain generic class of polynomials (tame polynomials), that for allc,F ^–1 (c) has the homotopy type of a bouquet of - ^c n-spheres. Here is the sum of all the Milnor numbers ofF at critical points ofF and ^c is the corresponding sum for critical points lying onF ^–1 (c). A second best case is also discussed and the homology groupsH _q (F ^–1 (c)) are calculated for genericc. This case gives an example in which the critical points at infinity ofF must be considered in order to determine the homology groupsH _q (F ^–1 (c)).     

Classification of Laguerre isoparametric hypersurfaces in

Let be an ‐dimensional hypersurface in and be the Laguerre second fundamental form of the immersion x. An eigenvalue of Laguerre second fundamental form is called a Laguerre principal curvature of x. An umbilic free hypersurface with non‐zero principal curvatures and vanishing Laguerre form is called a Laguerre isoparametric hypersurface if the Laguerre principal curvatures of x are constants. In this paper, we obtain a complete classification for all oriented Laguerre isoparametric hypersurfaces in .     

Classification of multivariate skew polynomial rings over finite fields via affine transformations of variables

In this work, free multivariate skew polynomial rings are considered, together with their quotients over ideals of skew polynomials that vanish at every point (which includes minimal multivariate skew polynomial rings). We provide a full classification of such multivariate skew polynomial rings (free or not) over finite fields. To that end, we first show that all ring morphisms from the field to the ring of square matrices are diagonalizable, and that the corresponding derivations are all inner derivations. Secondly, we show that all such multivariate skew polynomial rings over finite fields are isomorphic as algebras to a multivariate skew polynomial ring whose ring morphism from the field to the ring of square matrices is diagonal, and whose derivation is the zero derivation. Furthermore, we prove that two such representations only differ in a permutation on the field automorphisms appearing in the corresponding diagonal. The algebra isomorphisms are given by affine transformations of variables and preserve evaluations and degrees. In addition, ours proofs show that the simplified form of multivariate skew polynomial rings can be found computationally and explicitly.     

Quasi-locally finite polynomial endomorphisms

If F is a polynomial endomorphism of , let denote the field of rational functions such that . We will say that F is quasi-locally finite if there exists a nonzero such that p(F) = 0. This terminology comes out from the fact that this definition is less restrictive than the one of locally finite endomorphisms made in Furter, Maubach (J Pure Appl Algebra 211(2):445–458, 2007). Indeed, F is called locally finite if there exists a nonzero such that p(F) = 0. In the present paper, we show that F is quasi-locally finite if and only if for each the sequence is a linear recurrent sequence. Therefore, this notion is in some sense natural. We also give a few basic results on such endomorphisms. For example: they satisfy the Jacobian conjecture.     

Locally finite polynomial endomorphisms

We study polynomial endomorphisms F of C^N which are locally finite in the following sense: the vector space generated by r°Fⁿ (n≥0) is finite dimensional for each r∈C[x₁,…,x_N]. We show that such endomorphisms exhibit similar features to linear endomorphisms: they satisfy the Jacobian Conjecture, have vanishing polynomials, admit suitably defined minimal and characteristic polynomials, and the invertible ones admit a Dunford decomposition into “semisimple” and “unipotent” constituents. We also explain a relationship with linear recurrent sequences and derivations. Finally, we give particular attention to the special cases where F is nilpotent and where N=2.     

Classification(s) of Danielewski hypersurfaces

The Danielewski hypersurfaces are the hypersurfaces X _Q,n in \mathbbC³ {\mathbb{C}^3} defined by an equation of the form x ⁿ y = Q(x, z) where n ⩾ 1 and Q(x, z) is a polynomial such that Q(0, z) is of degree at least two. They were studied by many authors during the last twenty years. In the present article, we give their classification as algebraic varieties. We also give their classification up to automorphism of the ambient space. As a corollary, we obtain that every Danielewski hypersurface X _Q,n with n ⩾ 2 admits at least two nonequivalent embeddings into \mathbbC³ {\mathbb{C}^3} .     

Darboux integrability of real polynomial vector fields on regular algebraic hypersurfaces

In this paper we extend the Darboux theory of integrability in ℝ ⁿ to the regular algebraic hypersurfaces. Then we apply the extended theory first to the 3-dimensional generalized cylinders ×ℝ^3−r of ℝ⁴ forr=0, 1, 2, 3; and after to then-dimensional sphere of ℝ ⁿ⁺¹.     

Classification of Calabi hypersurfaces with parallel Fubini-Pick form

In this paper, we present the classification of 2 and 3-dimensional Calabi hypersurfaces with parallel Fubini-Pick form with respect to the Levi-Civita connection of the Calabi metric.     

Classification of locally strongly convex isotropic centroaffine hypersurfaces

In this paper, we establish a complete classification of locally strongly convex isotropic centroaffine hypersurfaces in the $(n+1)$-dimensional affine space ${\mathbb{R}}^{n+1}$.     

On constant mean curvature hypersurfaces with finite index

We discuss the non-existence of complete noncompact constant mean curvature hypersurfaces with finite index in a 4- or 5-dimensional manifold. As a consequence, we obtain that a complete noncompact constant mean curvature hypersurface in with finite index must be minimal. Received: 30 May 2005     

Sum of squares methods for minimizing polynomial forms over spheres and hypersurfaces

This paper studies the problem of minimizing a homogeneous polynomial (form) f(x) over the unit sphere Sn-1={x∈?n:‖x‖2=|1}. The problem is NP-hard when f(x) has degree 3 or higher. Denote by f_min (resp. f_max) the minimum (resp. maximum) value of f(x) on Sn-1. First, when f(x) is an even form of degree 2d, we study the standard sum of squares (SOS) relaxation for finding a lower bound of the minimum f_min:max? γ s.t. f(x)-γ·‖x‖22d? is SOS.Let f_sos be the above optimal value. Then we show that for all n≥2d,1≤fmax?-fsosfmax?-fmin?≤C(d)(n2d).Here, the constant C(d) is independent of n. Second, when f(x) is a multi-form and Sn-1 becomes a multi-unit sphere, we generalize the above SOS relaxation and prove a similar bound. Third, when f(x) is sparse, we prove an improved bound depending on its sparsity pattern; when f(x) is odd, we formulate the problem equivalently as minimizing a certain even form, and prove a similar bound. Last, for minimizing f(x) over a hypersurface H(g)={x∈?n:g(x)=1} defined by a positive definite form g(x), we generalize the above SOS relaxation and prove a similar bound.