Jet determination of smooth CR automorphisms and generalized stationary discs

We prove finite jet determination for (finitely) smooth CR diffeomorphisms of (finitely) smooth Levi degenerate hypersurfaces in $\mathbb{C}^{n+1}$ by constructing generalized stationary discs glued to such hypersurfaces.


Introduction
Our goal in this paper is to study (finitely) smooth CR automorphisms of (finitely) smooth CR hypersurfaces in C n+1 . We shall assume that our hypersurfaces, in suitable coordinates (z, w) ∈ C n ×C, pass through 0 ∈ C n+1 and whose defining functions are suitable perturbations of a finite type model hypersurface S P of the form Re w = P d (z,z), with P being a weighted homogeneous polynomial. Our main theorem can be stated as follows.
Theorem 1.1. Let P be a weighted homogeneous polynomial such that S P is generically Levi-nondegenerate and the set of Levi-degenerate points containing 0 has dimension at most 2n − 1. Then there exists an ℓ ∈ N such that for any allowable perturbation M of S P in any neighbourhood U of 0, every local CR diffeomorphism of class C ℓ of M is determined by its ℓ-jet: If H : M → M andH : M → M are CR diffeomorphisms of class C ℓ with j ℓ 0 H = j ℓ 0H , then H =H. In fact, Theorem 1.1 holds under the less stringent (but more technical) condition that "there exists an allowable vector" v ∈ T c 0 S P ; this condition is explained in Definition 3.1. The condition that M is an allowable deformation is discussed in Definition 4.7; both conditions are geometric conditions in a suitable sense to be defined below, in particular, they can be defined independently of coordinates. We shall simply say allowable hypersurface from now on to indicate an allowable perturbation based on a model hypersurface which possesses an allowable vector. Our main theorem then reads: Theorem 1.2. Let M be an allowable hypersurface. Then there exists an ℓ ∈ N only depending on the associated model hypersurface such that every local CR diffeomorphism of class C ℓ of M is determined by its ℓ-jet: If H : M → M andH : M → M are CR diffeomorphisms of class C ℓ with j ℓ 0 H = j ℓ 0H , then H =H.
The number ℓ depends on the specific form of P and can, in essence, be computed given P ; we shall give upper bounds on ℓ later. However, an especially interesting aspect of the current paper is its application to the problem of unique determination of smooth diffeomorphisms of smooth hypersurfaces, in which case one can use known jet determination results in the formal setting which already provide ways to compute j ℓ 0 H from j p 0 H for ℓ ≥ p 0 . To be precise, we need to introduce some notation. We define, for ℓ ∈ N ∪ {∞, ω} and for a CR manifold M of class C k for k ≥ ℓ, the spaces Here the space of formal CR diffeomorphisms of M is defined to be the space of formal power series maps H : C n+1 → C n+1 which have the property that they are formal biholomorphisms of the associated formal manifold (given by the ideal generated by the Taylor series of the defining equations of M), i.e. for one (and hence every) defining function ̺ of M and for one (and hence every) local parametrisation R 2n+1 ⊃ U ∋ x → Z(x) ∈ M we have that for any ℓ ∈ N it holds that ̺(H(Z(x)), H(Z(x))) = O(|x| ℓ+1 ).
In particular, by definition we have natural maps j k p : Aut ℓ (M, p) → G k p (C n+1 ), k ≤ ℓ and j k p : Aut f (M, p) → G k p (C n+1 ), k ∈ N, into the jet group of order k of germs of biholomorphisms at p. We know that if M is formally holomorphically nondegenerate and formally minimal then, by [19], the map j k p is injective for k large enough. Every allowable smooth hypersurface is, as the reader can easily convince herself or himself, formally holomorphically nondegenerate and formally nonminimal. Therefore there exists a smallest number p 0 (M) such that for k ≥ p 0 (M), the map j k p : Aut f (M, p) → G k p (C n+1 ) is injective; in particular, the k-jets of smooth CR diffeomorphisms of M are uniquely determined by their p 0 (M) jets. Theorem 1.1 therefore has the following immediate corollary. Corollary 1.3. Let M be an allowable smooth hypersurface. Then there exists an ℓ 0 ∈ N such that for ℓ ≥ ℓ 0 the map j is injective. Furthermore ℓ 0 depends only on the associated model S P .
We would like to point out that Corollary 1.3 seems to be the first case of a jet determination result for (finitely) smooth CR diffeomorphisms aside from the finitely nondegenerate case. The jet determination problem for real-analytic CR diffeomorphisms of real-analytic CR manifolds has been studied widely, see e.g. [?, 9, 20, 17]. In the smooth case, results have been restricted to the setting of finitely nondegenerate hypersurfaces (see e.g. [7,8,16]). Our approach is most akin to the use of extremal discs by Huang [15,14]. Let us give an outline of our approach.
When studying the automorphisms of a geometric structure, it is often convenient to extend the action of these automorphisms to spaces of invariant objects, and study the transformation properties of these invariant objects. In the study of realanalytic CR manifolds, a suitable family of associated objects is the family of Segre varieties. However, these have the drawback that they really can only be defined for real-analytic or formal CR manifolds and thus becomes unavailable in the setting of smooth CR manifolds.
Our approach in this paper is to construct another family of associated invariant objects, namely generalized stationary discs, which we refer to as k-stationary discs. We show that for allowable hypersurfaces in C n+1 , one can invariantly attach a finitedimensional family of generalized stationary discs.
This approach has been pioneered by the first and the second author for hypersurfaces in C 2 in [4], generalizing the notion L. Lempert [21] used in his study of the Kobayashi metric on strictly convex domains (see also [15,22]). These classical stationary discs are special analytic discs, attached to hypersurfaces M of C n+1 , which admit a lift (with a pole of order at most 1 at 0) to the conormal bundle of M. The conormal bundle can be seen as a real 2n + 2-dimensional submanifod of C 2n+2 and, as it turns out, it is totally real if M is Levi-nondegenerate [24]. Consequently, if M is Levi-nondegenerate the study of stationary discs falls into the framework developed in [11,12,10], and indeed the first author and L. Blanc-Centi employed this method to construct stationary discs in [3], and used it to show finite determination of automorphisms.
If the Levi form degenerates at some points, the conormal bundle admits complex tangencies, and therefore the attachment of discs is more complicated. We shall overcome this difficulty by constructing an associated circle bundle N k S P (a bundle over S 1 × S P whose fiber at (ζ, p) is ζ k N p S P ) whose CR singularities allows for attaching discs which pass through the singularity with certain predescribed orders. Geometrically, one can think of this construction as allowing a higher winding of the conormal part of the disc (k instead of 1 in the case of a classical stationary disc). Our theorem on the existence of discs is now as follows.
Theorem 1.4. If M is an admissible hypersurface, then there exists a k 0 ∈ N and a finite dimensional manifold of (small) k 0 -stationary discs attached to M.
Our approach is based on the Riemann-Hilbert problem which as we already pointed out is singular in our situation. The approach described above will allow that the problem can be studied with tools of [5].
We note that for n = 2, we recover the results in [4]. However while the results in [4] are achieved by using a rather "ad hoc" procedure, the methods that we are developing in the present paper are more geometric and more suited to the problem in higher dimensions.
The paper is organized as follows. In Section 2, we describe the needed preliminaries. Section 3 is devoted to weighted homogeneous model hypersurfaces. In Section 4, we study the existence of generalized stationary discs attached to admissible hypersurfaces. Finally, Section 5 is devoted to the proof of the finite jet determination theorems for CR diffeomorphisms.

Preliminaries
In this section, we collect some standard notation and collect facts which we will need throughout the paper. We denote by ∆ the unit disc in C and by b∆ its boundary. We use coordinates (z, w) ∈ C n+1 , where z = (z 1 , . . . , z n ) are the standard coordinates in C n .
2.1. Function spaces. Let k be an integer and let 0 < α < 1. We write C k,α = C k,α (b∆, R) for the space of real-valued functions defined on b∆ of class C k,α . We equip the space C k,α with its usual norm We define C k,α We denote by A k,α the subspace of C k,α C of functions f which possess a continuous extension F : ∆ → C, with F holomorphic on ∆.
Let m be an integer. We denote by A k,α 0 m the subspace of C k,α C of functions that can be written as (1 − ζ) m f , with f ∈ A k,α . Note that since A k,α 0 m is not a closed subspace of C k,α C , it is not a Banach space with the induced norm. Instead, we equip A k,α 0 m with the following norm Finally, we denote by C k,α 0 m the subspace of C k,α of functions that can be written as Notice that C k,α 0 m is a Banach space. Denote by τ m the map C k,α 0 m → C k,α C given by τ m ((1 − ζ) m v) = v. We recall the following lemma from [5]:

Then
(i.) τ m maps C k,α 0 m isomorphically to R m ; (ii.) if m = 2m ′ is even, the map v → ζ m ′ v induces an isomorphism between R m and R 0 = C k,α ; (iii.) if m = 2m ′ + 1 is odd, the map v → ζ m ′ v induces an isomorphism between R m and R 1 .

Partial indices and Maslov index.
We denote by GL N (C) the general linear group on C N . Let G : b∆ → GL N (C) be a smooth map. We consider a Birkhoff factorization (see [23]) of −G −1 G: where B + :∆ → GL N (C) and B − : (C ∪ ∞) \ ∆ → GL N (C) are smooth maps, holomorphic on ∆ and C \ ∆ respectively. The integers κ 1 , . . . , κ N are called the partial indices of −G −1 G and their sum κ := N j=1 κ j is called the Maslov index of −G −1 G and it is equal to the winding number of the map ζ → det −G(ζ) −1 G(ζ) around the origin.
2.3. k 0 -stationary discs. Let S = {r = 0} be a finitely smooth hypersurface defined in a neighborhood of the origin in C n+1 . Let k, k 0 be integers and let 0 < α < 1. We recall that a holomorphic disc f ∈ (A k,α ) n+1 is attached to S if f (ζ) ∈ S for all ζ ∈ b∆. The following definition was given in [4]: A holomorphic disc f ∈ (A k,α ) n+1 attached to S = {r = 0} is said to be k 0 -stationary if there exists a continuous function c : b∆ → R \ {0} such that the map ζ → ζ k 0 c(ζ)∂r(f (ζ)), defined on b∆, extends as a map in (A k,α ) n+1 .
The set of such discs is invariant under CR diffeomorphisms.
Proposition 2.3. Let S ⊂ C n+1 be a finitely smooth real hypersurface containing 0. There exists a neighborhood U of the origin in C n+1 such that if H is a CR diffeomorphism of class C k+1 sending S ∩ U to a real hypersurface S ′ ⊂ C n+1 and f : ∆ → U is a k 0 -stationary disc in (A k,α ) n+1 attached to S then the disc H • f extends as a k 0 -stationary disc in (A k,α ) n+1 attached to S ′ .
Proof. Using Theorem 6.2.2 in [1], we write W = ϕ ∆ where the union is taken over all analytic discs f attached to S.
The rest of the proof is the same computation as given in [4, Proposition 2.5].
In our context, the following geometric version of Definition 2.2 is more convenient to work with.
} is the conormal fiber at z of the hypersurface S. Indeed, one can consider k 0 -stationary discs as sections of the circle bundle For a Levi-nondegenerate hypersurface S, this turns out to be totally real.
We are interested in constructing k 0 -stationary discs for Levi-degenerate hypersurfaces. Notice that in such a situation, the submanifold N k 0 S(ζ) is not totally real for all ζ ∈ b∆. In fact we are precisely interested in discs passing through the degeneracy locus of N k 0 S. For this purpose, we will restrict our attention to discs which satisfy certain pointwise constraints.

The model situation
3.1. Weighted polynomial models. A (real) polynomial P : C n → C is weighted homogeneous of weight M = (m 1 , · · · , m n ) ∈ N n and (weighted) degree d ∈ N if for any real number t and z ∈ C n we have P (t m 1 z 1 , · · · , t mn z n , t m 1z 1 , · · · , t mnz n ) = t d P (z,z).
With the abbreviated notation t M z = (t m 1 z 1 , · · · , t mn z n ), the condition can be written as P (t M z, t Mz ) = t d P (z,z). Note that a weighted homogeneous polynomial P of weight (1, · · · , 1) is homogeneous. We shall encounter circumstances in which it is more convenient to assume that m 1 , · · · , m n are all even; since the actual size of the weights (m 1 , . . . , m n ) is often not so important, we shall assume most of the thime that we work with such an "even" weight system. We notice that in the case of an even weight system all linear combinations of weights and also of possible homogeneities are even; in particular, the numbers d and d − m i and d − m i − m j for 1 ≤ i, j ≤ n, are even. For two multi-indices M = (m 1 , · · · , m n ) and J = (j 1 , · · · , j n ) we write We now fix a weight (vector) M = (m 1 , · · · , m n ) and a real-valued, weighted homogeneous polynomial P of (weighted) degree d, written as Since P is assumed to be real-valued, we have that α JK = α KJ for all multi-indices J, K, and also, that In analogy with the case of hypersurfaces in C 2 [4], we will need to control the Levi form of S P along the boundary of h v , For ζ ∈ b∆ we have and with a similar computation for the P z i z j derivatives, we can thus write is divisible by ζ m j ; this observation will turn out to be crucial in the proof of our main result. Our crucial assumption is now that not only does h v only pass through Levi-nondegenerate points for ζ = 1, but also, that the Levi form of S P along h v has the generic order of vanishing at 1 (so that the order of vanishing of the Levi form is going to stay constant under small perturbations of both P and v). To be exact: We also note that for a generic P , Q(ζ) has exactly degree n(2k 0 − d) + n i=1 m i . Under generic conditions, we do find admissible vectors: Lemma 3.2. Assume that S P is generically Levi-nondegenerate, and that the set of Levi-degenerate points Σ P = {(z, w) ∈ S P : det P z izj (z,z) = 0} does not have any branches of dimension 2n − 1 near 0. Then there exists an admissible vector v for P .
Proof. We first claim that for an open, dense subset of v's, we have that their associated Q v vanishes only at 1. Since . . . . . .
the zeroes of Q for ζ = 1 are exactly those points ζ ∈ ∂∆ for which (h v (ζ), Re P (h v (ζ), h v (ζ)) ∈ Σ P is a Levi-degenerate point. Indeed, assume on the contrary that there exists an open set of v's each of which has a ζ = ζ v with D(ζ v ) = 0. Passing to a smooth point of the real algebraic variety Σ P we see that therefore its dimension would need to be at least 2n − 1, which is excluded by assumption. We next study the behaviour of Q v at 1 and claim that for v which satisfy that D v (1, 1) = 0 we have that Q(1) = 0. In order to see this, we replace the variable ζ ∈ ∆ with a variable t in the upper half plane by the coordinate change ζ = i−t i+t . We then have that (1 − ζ) = 2t + O(t 2 ), and the boundary ∂∆ corresponds to R, so that Lastly, we claim that the set of vectors v for which h v (∆) ⊂ S P is contained in the set of v's for which P (v,v) = 0. The Lemma follows with that claim: Admissible vectors lie in the intersection of the three dense, open sets we have discussed. So In particular, the disc f 0 is a k 0 -stationary disc attached to S P and satisfies f 0 (1) = 0. We shall henceforth use f 0 to denote a (fixed) k 0 stationary disc associated with an admissible v.

Construction of k 0 -stationary discs
In this section, we aim to construct k 0 -stationary discs for suitable deformations of the model hypersurface studied in Section 3. To this end, we first define a space X parametrizing allowed deformations. 4.1. Space of allowed deformations. Let S P = {ρ = 0} be a weighted polynomial model of the form (3.2). Let k > 0 be an integer. Choose δ > 0 large enough so that f 0 ∆ , for f 0 defined in (3.4), is contained in the polydisc δ∆ n+1 ⊂ C n+1 . Following [4], we consider the affine Banach space X of functions r ∈ C k+3 δ∆ n+1 which can be written as where r JK0 ∈ C k+3 C δ∆ n and r JKl ∈ C k+3 C δ∆ n × [−δ, δ] . Furthermore, we equip X with the following norm r X = sup r JKl C k+3 so that X is isomorphic to a real closed subspace of a suitable power of C k+3 C δ∆ n × [−δ, δ] and, hence is a Banach space.
One can show that these conditions are independent of the choice of suitably adapted holomorphic coordinates (actually, they are independent with respect to CR diffeomorphisms of class C ℓ whose linear parts preserve weights, for ℓ large enough), and hence, that the definition of "allowed deformation" actually gives rise to a well-defined class of real hypersurfaces, independent of the coordinates used.

4.2.
Defining equations of N k 0 S and singular Riemann-Hilbert problems. Let S P = {ρ = 0} = {−Re w + P (z, z) = 0} ⊂ C n+1 be a weighted model hypersurface of the form (3.2). For ζ ∈ b∆, the submanifold N k 0 S P (ζ) ⊂ C 2n+2 (see (2.2)) may be defined by 2n + 2 explicit real equations. Indeed, we have It follows that a set of 2n + 2 real defining equations for the submanifold N k 0 S P (ζ) ⊂ C 2n+2 is given by We setρ := (ρ 1 , · · · ,ρ 2n+2 ). For a general hypersurface S = {r = 0} with r ∈ X in the space of allowed deformations, we denote byr(ζ) the corresponding defining functions of N k 0 S(ζ). This allows to consider lifts of stationary discs as solutions of a nonlinear Riemann-Hilbert type problem with singularities. More precisely, a holomorphic disc f ∈ A k,α 2n+2 is the lift of a k 0 -stationary disc attached to S if and only if (4.2)r(f ) = 0 on b∆.
The next section is devoted to the study of the nonlinear problem (4.2). Its linearization leads to a singular linear Riemann-Hilbert problem which can be treated with the techniques developed in [5].

4.3.
Construction of k 0 -stationary discs. Let be a weighted model hypersurface of the form (3.2) with weight M = (m 1 , · · · , m n ) and degree d. Let v = (v 1 , · · · , v n ) be an admissible vector for P . Consider a real hypersurface S = {r = 0} with r ∈ X. We introduce the following space of maps endowed with the product norm defined in Equation (2.1). We denote by S k 0 ,r the set of lifts f ∈ Y M,d of k 0 -stationary discs for the hypersurface S = {r = 0}. Following Section 3, we consider the initial k 0 -stationary disc attached to S P given by Remark 4.3. In the proof of Theorem 4.2, we show that the dimension N is estimated above by 2(n + 1)(k 0 + 1) + 2nk 0 − 2dn. Since this dimension depends on the choice of the weights (m 1 , · · · , m n ), a precise computation of N is not relevant for our approach.
Proof. In a neighborhood of (ρ, f 0 ) in X ×Y M,d , we define the following map between Banach spaces H(r, f ) :=r(f ). Here we use the notationr (f )(ζ) =r(ζ)(f (ζ)). It follows from the definition of the Banach spaces X and Y M,d that the map H is of class C 1 ; the proof of this claim is analogous to the proof of Lemma 3.3 in [4] (see also Lemma 5.1 in [13] and Lemma 11.1 in [11]). Recall that a holomorphic disc f ∈ Y M,d is the lift of a k 0 -stationary disc attached to S = {r = 0} if and only if it solves the nonlinear Riemann-Hilbert problem (4.2). In other words, for any fixed r ∈ X, the zero set of H(r, ·) coincides with S k 0 ,r . In order to show Theorem 4.2 we apply the implicit function theorem to the map H. To this end, we need to consider the partial derivative of H with respect to Y M,d at (ρ, f 0 ) has the following expression Using the notation d ℓj := d − m ℓ − m j , the entries of the 2n × n matrix B(ζ) are given by for even 2 ≤ 2ℓ ≤ 2n. In order to apply the implicit function theorem, we need to study the kernel and surjectivity of the map f ′ → 2Re G(ζ)f ′ . After permuting columns of G(ζ), we consider the following operator given by where The kernels of the differential map (4.4) and L 1 are of the same dimension, and the map (4.4) is onto if and only if L 1 is onto. Note that since G 1 (1) is not invertible, the classical techniques developed in [10,11,12] to study the corresponding linear Riemann-Hilbert problem cannot be directly applied. Therefore the following step is crucial in our approach since it allows one to reduce a linear singular Riemann-Hilbert problem to a regular one with homogeneous pointwise constraints, and allows then the use of Theorem 2.1 in [5]. For ϕ ∈ C k,α ϕ in the following way. We divide the first line by (1 − ζ) and the (2ℓ − 1) th and (2ℓ) th lines by (1 − ζ) d−m ℓ , for l = 1, · · · , n. Following Lemma 2.1, we then multiply the (2ℓ − 1) th and (2ℓ) th lines by ζ s ℓ , where s ℓ := d − m ℓ 2 , ℓ = 1, · · · , n. The resulting linear operator is equivalent to L 1 with respect to the properties we are interested in, namely its surjectivity and the description of its kernel. The new linear operator L 2 , and its corresponding matrix G 2 , are of the form considered in Theorem 2.1 and Theorem 2.2 [5]. We have thus reduced the problem to studying the linear operator Out of convenience, we set Q ′ ℓj = Q ℓj ζ −m j and therefore Note that by manipulating rows of A one shows that Lemma 4.4. The linear operator L 3 : (A k,α ) 2n → (R 0 ) 2n is onto.
Recall that Q ij is divisible by ζ m j (see Section 3.1) and thus Q ′ ij = Q ij ζ −m j is holomorphic. Now if κ 2n ≤ −1, the right hand side of each one of the equations above is antiholomorphic (and divisible by ζ), while the left hand side is holomorphic. Thus they must both vanish, leading to the system n k=1 Q ′ kj λ k = 0, j = 1, . . . , n.
which implies that each λ j vanishes identically since the determinant of the system is Q ′ = 0. From this we obtain immediately that each µ j also vanishes identically. In summary, the arguments above show that either κ 2n ≥ 0 or λ j = µ j = 0 for all j = 1, · · · , n. Since Θ is invertible, the latter would be a contradiction, hence we conclude that κ 2n ≥ 0. This proves Lemma 4.4.
4.4. The case of homogeneous hypersurfaces. Consider now the case of a model hypersurface defined as S P = {ρ = 0} = {−Re w + P (z, z) = 0} with P a polynomial written as in (3.1) of even degree d and m 1 = m 2 = . . . = m n = 1, that is In this situation we just say that S P is a homogeneous (rather than weighted homogeneous) hypersurface. We will assume the existence of an admissible vector in the sense of Definition 3.1.
The method followed in the previous section for the proof of Theorem 4.2 does not apply directly to S P . In particular, in order to define the operator L 2 in Equation (4.5) one needs the weights m j to be even. However a slight modification of the procedure is possible: we apply the same rescaling as before to the system (i.e. we divide every line except the first and the last one by (1 − ζ) d−m j = (1 − ζ) d−1 ) and then we multiply every line except the first and the last by ζ s , where s = d−2 2 . By Lemma 2.1 the resulting linear operator is of the kind and the corresponding matrix G 2 is still of the form considered in Theorem 2.1 and Theorem 2.2 of [5]. The proofs of Lemmas 4.4 and 4.5 are essentially the same, and the estimate on the dimension of the kernel in Lemma 4.5 can be given as 2n(2k 0 −d).
In fact, stronger assumptions on the geometry of S P allow to be more precise on the dimension of the kernel, since it is possible in some cases to determine the Maslov index of Q exactly. For instance, the following assumption is analogous to the one considered in [4] for hypersurfaces of C 2 : Lemma 4.6. Suppose that the Levi form P zz is positive definite outside of 0. Then the index of Q is n(k 0 − d 2 + 1). Proof. For any homogeneous polynomial P (z, z) of degree d, denote by Q P (ζ) the holomorphic polynomial obtained by applying the procedure of section 3.1 to P . For a small ǫ ≥ 0 we define P ǫ as Note that the Levi form of P ǫ is positive definite outside 0 if ǫ > 0. One can compute directly that Q P 0 (ζ) = Cζ n(k 0 − d 2 +1) for a certain constant C, hence the index of Q Pǫ (ζ) is equal to n(k 0 − d 2 + 1) for ǫ > 0 small enough. On the other hand, the set of the homogeneous polynomials P of degree d such that P zz is positive definite outside 0 is a connected (and indeed convex) subset of the space of the polynomials of degree d, and since Q P (ζ) depends continuously on P it follows that its index is constant on this set.
Following the proof of Lemma 4.5 we have that the dimension of ker L 3 is given by the Maslov index of A −1 A (since Theorem 2.1 from [5] must be applied with m = 1), which in this case is just 2indQ = n(2k 0 − d + 2). Accordingly, the dimension N in Theorem 4.2 can be computed exactly as 2k 0 +n(2k 0 −d+2)+2 = 2(n+1)(k 0 +1)−dn, which is lower than the estimate given in the general case by roughly a factor of 2.
4.5. The case of decoupled hypersurfaces. For a subset I = {i 1 , · · · , i l } ⊂ {1, · · · , n}, we set z I = (z i 1 , · · · , z i l ). Let {I 1 , ..., I k } be a partition of {1, · · · , n}. We consider a model hypersurface S P of the form where P j : C |I j | → C, j = 1, · · · k, is a (real) weighted homogeneous polynomial of (vector) weight M j ∈ N |I j | and (weighted) degree d j ∈ N written as in (3.1). We denote by k 1 0 , · · · k k 0 the corresponding integers. We assume that there exists an admissible vector v for P .
Consider a real smooth hypersurface S = {r = 0} ⊂ C n+1 allowed in the sense of Section 3.1, namely where θ j , j = 1, · · · , k is of the form (4.1). In such case, following the proof of Theorem 4.2, the differential of the corresponding map H at (ρ, f 0 ) is block upper triangular after permutation of coordinates. In this case, the corresponding operator L 2 (see (4.5)) is of the form considered in Theorem 2.2 of [5]. Therefore if S is close enough to S P in the sense Section 3.1 then Theorem 4.2 applies and provides a Banach manifold of stationary discs of real dimension at most k j=1 2(|I j |+1)(k j 0 +1)−2d j |I j |. Note that in principle such a model can be directly treated as a weighted homogeneous hypersurface by choosing different weights. However, in such case, the Banach manifold of stationary discs provided by Theorem 4.2 is of much greater dimension than the one obtained by considering the model as decoupled. 4.6. Construction of k 0 -stationary discs for admissible hypersurfaces. Definition 4.7. Let S ⊂ C n+1 be a finitely smooth real hypersurface through 0 ∈ C n+1 , and assume that T c 0 S = {w = 0}; write w = u+iv. We say that S is admissible if for a (sufficiently smooth) defining function (and hence for all sufficiently smooth defining functions) r(z,z, Re w, Im w) for S near 0 we have Equivalently, S is admissible if any defining function may be locally written as where ρ(z, w) = −Re w + P (z, z), and P (z, z) is of the form (3.1) and admits an admissible vector.
We remark that the preceding definition is independent of the choice of defining function. It is also independent of the choice of holomorphic coordinates as long as the linear tangential part (the "z-part") preserves the weights. Being an admissible hypersurface is therefore a geometric concept.
Here O |z| d+1 and O |z, Im w| d−1 are understood to be weighted orders where z j , z j and w have respective weights m j , m j and 1. The following lemma is obtained exactly as Lemma 5.2 in [4]: Lemma 4.8. Let S ⊂ C n+1 be an admissible real hypersurface of class C d+k+4 Consider the scaling Λ t (z, w) = (t m 1 z 1 , · · · , t mn z n , t d w). For t > 0 small enough, the defining function r t = 1 t d r • Λ t belongs to the neighborhood V in Theorem 4.2. Our main result about existence of discs follows now directly from the previous lemma and Theorem 4.2.
Theorem 4.9. Let S ⊂ C n+1 be an admissible real hypersurface of class C d+k+4 . There exists a finitely dimensional biholomorphically invariant manifold of small k 0stationary discs of class C k,α attached to S. Remark 4.10. In case S is admissible with P homogeneous or decoupled, the corresponding versions of Theorem 4.9 is sharper and provides a family of discs of smaller dimension. Note that for the decoupled case, the scaling Λ t should be modified; more precisely, following notations of Section 4.5, for i ∈ I j , the variable z i must be scaled by t m i Π l =j d l .

5.
Finite jet determination of CR maps 5.1. Statement of the result. The existence of k 0 -stationary discs obtained in Theorem 4.9 allows us to obtain finite jet determination results for CR diffeomorphisms, generalizing the result from [4] to higher dimension.
Theorem 5.1. Let P (z,z) be a weighted homogeneous polynomial, of degree d. Then there exists an integer ℓ 0 ≤ 6nd such that the following holds. Let S ⊂ C n+1 be an admissible real hypersurface of class C d+ℓ 0 +4 through 0 ∈ C n+1 , with model S P . If H is a germ of a CR diffeomorphism of class C ℓ 0 +1 of S satisfying j ℓ 0 +1 0 H = I, then H = id. Theorem 5.1 implies immediately Theorem 1.2, which in conjunction with Lemma 3.2 implies Theorem 1.1. We will see how ℓ 0 can be chosen in Lemma 5.3. However, the intention of this paper is not to give optimal bounds on the jet order needed for determination. This can be done better by considering purely formal constructions: Remark 5.2. Assume that a jet determination result of order k ′ holds in the formal setting, in the sense that every ℓ-jet of a formal biholomorphisms which preserves a formal hypersurface (up to the order ℓ) and is trivial up to order k ′ necessarily coincides with the ℓ-jet of the identity map. Then the conclusion of Theorem 5.1 holds for k ′ -jet determination as long as the smoothness of S is at least C max{k ′ ,d+ℓ 0 +4} . Indeed, the (ℓ 0 + 1)-order Taylor expansion of H represents a (ℓ 0 + 1)-order biholomorphism jet which preserves the polynomial hypersurface induced by the Taylor expansion of S up to order (ℓ 0 + 1), thus if it is trivial up to order k ′ it must be trivial up to order ℓ 0 + 1: from the theorem it follows in turn that H is the identity.
It follows for instance that, for the version of Theorem 5.1 in C 2 (see Theorem 1.2 in [4]), we can always achieve 2-jet determination of CR diffeomorphisms as in the real-analytic case (see [9,17]). In higher dimension we can achieve the order of jet and therefore Θ 2 f = ΛΘ 2 f .
It follows that the j th -component of Θ 2 f is a polynomial of degree at most k j . Hence Θ 2 f is determined by its ℓ 0 := max{k 1 , · · · , k 2n+2 }-jet at 1. It remains to prove that the restriction of j ℓ 0 to ker L 1 is injective. Indeed, for any ℓ ≥ 0 we have where R is a linear function of the (ℓ−1)-jet of f at 1. It follows that the (well-defined) linear map Θ ℓ 1 : C (2n+2)(ℓ 0 +1) → C (2n+2)(ℓ 0 +1) which sends the ℓ 0 -jet of f at 1 to the ℓ 0jet of Θ 2 f at 1 has a block-triangular matrix representation whose (2n + 2) × (2n + 2) blocks in the diagonal are all equal to the non-singular matrix Θ 2 (1). Therefore Θ ℓ 2 is invertible, and the claim follows from the fact that j ℓ 0 • Θ 2 = Θ ℓ 2 • j ℓ 0 and that j ℓ 0 is injective on Θ 2 (ker L 1 ). To conclude the proof we estimate ℓ 0 by the Maslov index of −G −1 2 G 2 , namely

5.
3. An extended family of discs; covering of an open subset. We choose an allowable vector v as described subsection 3.1, and consider the disk f v = (h v , g v ) associated with it. This disk is k 0 -stationary, since and the degree inζ of each of the components is at most k 0 ; hence ζ k 0 ∂ρ • f v does extend holomorphically to ∆. Consider, for every a ∈ ∆, also the disk f v a = f v • ϕ a , where ϕ a (ζ) = 1 −ā 1 − a ζ − a 1 −āζ .
This extended family of disks is useful, because we can compute the rank of its center evaluation map (v, a) → C(v, a) = f v a (0) = (v, g v a (0)). By construction, the (real) Jacobian of this map at (v, a) = (v, 0) is given by We therefore have that the center evaluation map (v, a) → C(v, a) is of full rank at (v, a) = (v 0 , 0) if and only if (g v 0 ) ′ (0) = 0.
However, we can also compute g v : g v is the holomorphic function which satisfies g v (1) = 0 and Re g v (ζ) = P (h v (ζ), h v (ζ)) if ζζ = 1. Therefore, From this equality it is easy to see that Hence, (g v ) ′ (0) = 0 for a dense, open subset of the v's.
In particular, since the image of the model stationary disc f v is the same as the image of the f v a for a ∈ ∆, we have the following Lemma 5.4. The set ∪ v f v (∆) contains an open subset of C n+1 .