• Aucun résultat trouvé

Erratum to “A new example of a uniformly Levi degenerate hypersurface in C 3 ”

N/A
N/A
Protected

Academic year: 2022

Partager "Erratum to “A new example of a uniformly Levi degenerate hypersurface in C 3 ”"

Copied!
3
0
0

Texte intégral

(1)

DOI: 10.1007/s11512-007-0042-0

c 2007 by Institut Mittag-Leffler. All rights reserved Ark. Mat.,45(2007), 269–271

Erratum to “A new example of a uniformly Levi degenerate hypersurface in C 3

Herv´e Gaussier and Jo¨el Merker

Abstract. The purpose of this erratum is to point out a mistake in a previous article by the authors and to explain how this affects the results of that article.

The paper [4], “A new example of a uniformly Levi degenerate hypersurface inC3”, was devoted to the study of the hypersurface

M0:=

(z1, z2, w) :w+wª=2z1z¯1+z21z¯2+ ¯z12z2

1−z2z¯2 and|z2|<1

.

This hypersurface belongs to the family M of homogeneous, two-nondegenerate, uniformly Levi degenerate hypersurfaces inC3, with rank one.

The aim of the paper was to compare the CR geometry ofM0 and of the tube ΓC:=C+iR3C3 over the real two-dimensional coneC:={(x1, x2, x3):x21+x22−x23

=0}⊂R3. The hypersurface ΓC was characterized by P. Ebenfelt in [1], among the elements of the familyM, by the vanishing of some curvature form.

The main statement in [4] was the CR inequivalence betweenM0 and of ΓC. The approach was based on the Lie theory of prolongation of vector fields and on the observation that the Segre varieties attached toM0are solutions of a nonlinear sys- tem of partial differential equations. More precisely, let us write (x1, x2, u,x¯1,x¯2,u¯) instead of (z1, z2, w,z¯1,z¯2,wª) and let us consider ¯u, ¯x1 and ¯x2 as complex parame- ters,x1andx2as two independent variables anduas a dependent variable. Then, as mentioned on p. 90 of [4], every partial derivative uxk

1xl2=k+lu/∂xk1∂xl2 may be expressed in terms ofux1 and ux21. The exact expressions are provided by sys- tem (3.4) in [4]. The scheme of the proof of the nonequivalence betweenM0and ΓC in [4] was the following one.

The online version of the original article can be found at http://dx.doi.org/10.1007/BF02384568

(2)

270 Herv´e Gaussier and Jo¨el Merker

LetM be a homogeneous, two-nondegenerate, uniformly Levi degenerate hy- persurface inC3, with rank one and letp∈M. We denote by AutCR(M) the real Lie algebra of infinitesimal CR automorphisms ofM and by AutCR(M, p) the isotropy subalgebra at point p.

The Lie theory of prolongation of vector fields enables one to reduce the reso- lution of the nonlinear system (3.4) to the resolution of the linear system (3.12) of partial differential equations. Solving system (3.12) we exhibited seven independent CR automorphisms forM0. Using the following estimates stated in [1]:

dimRAutCR(M)7, dimRAutCR(M, p)2, (0.1)

we obtained the equality dimRAutCR(M0)=7. Moreover, the Lie algebra gener- ated by the two corresponding vector fields in the isotropy subalgebra AutCR(M0,0) at the origin is commutative. Finding two noncommuting vector fields in AutCRC, p), where p=(1,0,1), we concluded the nonequivalence between M0

and ΓC.

The aim of this erratum is to correct the computation lead in [4]. As a con- sequence, we exhibit ten vector fields generating AutCR(M0). We point out that, by a careful inspection of the structures of AutCR(M0) and of AutCRC), G. Fels–

W. Kaup [3] proved that M0 and ΓC are actually CR equivalent. Finally the estimates (0.1) were revised in [2].

Computation of generators of AutCR(M0)

The mistake in the computation occurs in equation (3.10) p. 92, where the coefficient ofU1,1,23 in the expansion ofR31,1,1 is3Q2x1 instead of5Q2x1.

Consequently the fourth and the ninth equations in system (3.12) are identical.

The resolution of the eight first equations in system (3.12) provides the following general form for a generator of the symmetry group of system (3.4):

Y = [a10+a11x1+a12x21+(a20+a21x1)x2+(a30+a31x1)u−a12ux2]

∂x1 +[b102a30x1−a31x21+2a12x1x2+b20x2+a21x22]

∂x2 +[c10+(2a11−b20)u+a31u2+(2a20+2a12u)x1−a21x21]

∂u,

where a10,a11,a12,a20,a21,a30,a31,b10, b20 andc10 are ten complex constants.

A basis of AutCR(M0,0) is then given by the real parts of the ten following holomorphic vector fields:

X1=i

∂w,

(3)

Erratum to “A new example of a uniformly Levi degenerate hypersurface inC3 271

X2=z1

∂z1+2w

∂w, X3=i

z1

∂z1+2z2

∂z2

, X4= (z21)

∂z12z1

∂w, X5=i

(1+z2)

∂z12z1

∂w

, X6=z1z2

∂z1+(z221)

∂z2−z12

∂w, X7=i

z1z2

∂z1+(z22+1)

∂z2−z12

∂w

, X8=i

wz1

∂z1−z21

∂z2+w2

∂w

, X9= (z12−wz2−w)

∂z1+(2z1z2+2z1)

∂z2+2wz1

∂w, X10=i

(−z12+wz2−w)

∂z1+(2z1z2+2z1)

∂z22wz1

∂w

.

References

1. Ebenfelt, P., Uniformly Levi degenerate CR manifolds: the 5-dimensional case,Duke Math. J.110(2001), 37–80.

2. Ebenfelt, P., Correction to: “Uniformly Levi degenerate CR manifolds: the 5-dimen- sional case”,Duke Math. J.131(2006), 589–591.

3. Fels, G. andKaup, W., CR-manifolds of dimension 5: A Lie algebra approach, to appear inJ. Reine Angew. Math.

4. Gaussier, H. andMerker, J., A new example of a uniformly Levi degenerate hyper- surface inC3,Ark. Mat.41(2003), 85–94.

Herv´e Gaussier Universit´e de Provence

Centre de Math´ematiques et Informatique 39 rue Joliot-Curie

FR-13453 Marseille Cedex 13 France

gaussier@cmi.univ-mrs.fr

Jo¨el Merker

Universit´e de Provence

Centre de Math´ematiques et Informatique 39 rue Joliot-Curie

FR-13453 Marseille Cedex 13 France

merker@cmi.univ-mrs.fr Received March 13, 2006

published online May 15, 2007

Références

Documents relatifs

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

In this section, we show that for a generic hypersurface of P n of degree d ≥ n, the bounds for the flex locus in Corollary 1.2 are sharp, or equivalently that the flex scheme

Once two entities are known to be aligned, the nature of the relation between them can be charac- terized using the following mapping types: exact, the connected vertices

Exercise 1: Equivalence of Hamiltonian and Lagrangian formalism for massive vectors. Consider the Lagrangian of a massive

— Let(R, m) be a complete discrete valuation ring whose residue field has q elements, and whose fraction field K has charac- teristic zero. Let X be a projective and smooth

prove normality of fibers of the moment mapping for isotropy representa- tions of symmetric spaces of the maximal rank... This is the

Then there exists a real analytic family of real analytic vector fields {XQ +/Ys} tangent to V, with an algebraically isolated singularity at 0 parametrized by a connected

Section 1 provides Riemannian versions of 3 classical results of geomet- ric measure theory: Allard’s regularity theorem, the link between first variation and mean curvature in the