Darboux charts around holomorphic Legendrian curves and applications
Antonio Alarcon, Franc Forstneric

TL;DR
This paper develops holomorphic Darboux charts around Legendrian curves and submanifolds in complex contact manifolds, enabling approximation and embedding results for Legendrian immersions and embeddings.
Contribution
It introduces a holomorphic Darboux chart around Legendrian curves and submanifolds, facilitating approximation and embedding theorems in complex contact geometry.
Findings
Holomorphic Darboux charts exist around Legendrian curves and isotropic Stein submanifolds.
Any Legendrian immersion from an open Riemann surface can be approximated by embeddings.
Compact Legendrian immersions can be approximated by complete embeddings.
Abstract
In this paper, we find a holomorphic Darboux chart around any immersed noncompact holomorphic Legendrian curve in a complex contact manifold . By using such a chart, we show that every holomorphic Legendrian immersion from an open Riemann surface can be approximated on relatively compact subsets by holomorphic Legendrian embeddings, and every holomorphic Legendrian immersion from a compact bordered Riemann surface is a uniform limit of topological embeddings such that is a complete holomorphic Legendrian embedding. We also establish a contact neighborhood theorem for isotropic Stein submanifolds, and we find a holomorphic Darboux chart around any contractible isotropic Stein submanifolds in an arbitrary complex contact manifold.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Darboux charts around holomorphic Legendrian curves and applications
Antonio Alarcón and Franc Forstnerič
Abstract In this paper we find a holomorphic Darboux chart around any immersed noncompact holomorphic Legendrian curve in a complex contact manifold . By using such a chart, we show that every holomorphic Legendrian immersion from an open Riemann surface can be approximated on relatively compact subsets of by holomorphic Legendrian embeddings, and every holomorphic Legendrian immersion from a compact bordered Riemann surface is a uniform limit of topological embeddings such that is a complete holomorphic Legendrian embedding. We also establish a contact neighborhood theorem for isotropic Stein submanifolds in complex contact manifolds.
Keywords complex contact manifold, Darboux chart, Legendrian curve, isotropic submanifold
MSC (2010): 53D10; 32E30, 32H02, 37J55
**Date: **February 2, 2017. This version:
1. Introduction and main results
A complex contact manifold is a pair , where is a complex manifold of (necessarily) odd dimension and is a completely noninvolutive holomorphic hyperplane subbundle (a contact subbundle) of the holomorphic tangent bundle . Locally near any point of , a contact subbundle is the kernel of a holomorphic -form satisfying ; such is called a holomorphic contact form. (Globally we have for a holomorphic -form with coefficients in the line bundle ; see Sec. 5.) By a fundamental theorem of Darboux [14] from 1882, there are local coordinates at any point of in which the contact structure is given by the standard contact form
[TABLE]
The proof of Darboux’s theorem given by Moser [30] (see also [20, p. 67]) easily adapts to the holomorphic case; see [5, Theorem A.2]. This shows that a holomorphic contact structure has no local invariants, and hence all interesting problems are of global nature.
Let be a complex contact manifold of dimension . A smooth immersed submanifold is said to be isotropic if
[TABLE]
If , this is equivalent to . The contact condition implies ; the immersion is said to be Legendrian if is of maximal dimension . (See Sec. 5 for more details.) It is easily seen that the image of a smooth Legendrian immersion is necessarily a complex submanifold of (see Lemma 5.1). Since we shall mainly consider the case when is an open Riemann surface and is an isotropic holomorphic curve, we will use the term Legendrian curve also when , with the exception of Sec. 5 where we consider also higher dimensional complex isotropic submanifolds.
In this paper we prove that there exists a holomorphic Darboux chart around any immersed noncompact holomorphic Legendrian curve, and also around some higher dimensional isotropic Stein submanifolds, in an arbitrary complex contact manifold. The following is our first main result; it is proved in Section 2.
Theorem 1.1**.**
Let be a complex contact manifold of dimension . Assume that is an open Riemann surface, is a nowhere vanishing holomorphic -form on , and is a holomorphic Legendrian immersion. Then there are an open neighborhood of and a holomorphic immersion (embedding if is an embedding) such that and the contact structure on is given by the contact form
[TABLE]
where are complex coordinates on .
Recall that any holomorphic line bundle on an open Riemann surface is holomorphically trivial according to the Oka-Grauert principle (see [17, Theorem 5.3.1, p. 190]); in particular, admits a nowhere vanishing holomorphic -form. Furthermore, by the Gunning-Narasimhan theorem (see [22] or [17, Corollary 8.12.2, p. 386]) there exist plenty of holomorphic immersions , i.e., holomorphic functions without critical points. Taking and replacing by , the normal form (1.2) changes to
[TABLE]
This is formally the same as (1.1), the difference being that is now a holomorphic immersion (and not just a local coordinate function), and the normal form (1.3) is valid globally in a tube around the immersed Legendrian curve .
The existence of global holomorphic Darboux charts, given by Theorem 1.1, has many applications, some of which are presented in the sequel. It shows that the contact structure has no local invariants along a noncompact holomorphic Legendrian curve, and any such curve extends to a local complex Legendrian submanifold of maximal dimension ; in the Darboux chart (1.1) this extension is provided by . In the case , we see that all small Legendrian perturbations of the Legendrian curve in with are of the form and , where and is a holomorphic function on .
Before proceeding, we wish to briefly address the question that might be asked by the reader at this point: How many complex contact manifolds are there? Examples and constructions of such manifolds can be found in the papers [7, 9, 12, 23, 26, 27, 28, 24, 33, 34], among others. Many of these constructions mimic those in smooth contact geometry (for the latter, see e.g. Cieliebak and Eliashberg [13] and Geiges [20]). On the other hand, some of the constructions in the complex world have no analogue in the real one.
If is a holomorphic contact structure on a complex manifold , then its normal line bundle satisfies where is the canonical bundle of (see [27, 28] and (5.1) below for a discussion of this topic). Assuming that is compact and is a holomorphic line bundle satisfying this condition, the space of all contact structures on with normal bundle isomorphic to is a (possibly empty) connected complex manifold (see LeBrun [27, p. 422]). It follows from Gray’s theorem [21] that all these contact structures are contactomorphic to each other. If is simply connected, it admits at most one isomorphism class of the root , and hence at most one complex contact structure up to contactomorphisms (see [27, Proposition 2.3]). Only two general constructions of compact complex contact manifolds are known:
- (1)
The projectivized cotangent bundle of any complex manifold of dimension at least 2. Recall that carries a tautological -form , given in any local holomorphic coordinates on and associated fibre coordinates on by . Considering as projective coordinates on , we get the contact structure on . 2. (2)
Let be a simple complex Lie group with the Lie algebra . The adjoint action of on the projectivization of has a unique closed orbit which is contained in the closure of every other orbit; this orbit is a contact Fano manifold. See the papers by Boothby [10], Wolf [33] and Beauville [7, 8]. The simplest example of this type is the contact structure on the projective spaces .
It is conjectured that any projective contact manifold is of one of these two types (see Beauville [9, Conjecture 6]). For projective threefolds, this holds true according to Ye [34]. Demailly proved [15, Corollary 2] that if a compact Kähler manifold admits a contact structure, then its canonical bundle is not pseudo-effective (and hence not nef), and in particular the Kodaira dimension of equals . (The latter fact was also shown by Druel [16, Proposition 2].) If in addition then is projective and hence , not being pseudo-effective, is negative, i.e., is a Fano manifold [15, Corollary 3]. Together with the results by Kebekus et al. [23, Theorem 1.1] it follows that a projective contact manifold is Fano with or of type (1); see [15, Corollary 4] and Peternell [31, Theorem 2.9]. Since a homogeneous Fano contact manifold is known to be of type (2), the above conjecture reduces to showing that every Fano contact manifold is homogeneous.
The situation is more flexible on noncompact complex manifolds, and especially on Stein manifolds. A holomorphic -form which is contact at some point of is contact in the complement of a closed complex hypersurface (possibly empty) given by the vanishing of the -form ; this holds for a generic holomorphic -form on a Stein manifold. If is a holomorphic symplectic manifold and is a holomorphic vector field on satisfying (such is called a Liouville vector field; here, denotes the Lie derivative), then the restriction of the -form to any smooth complex hypersurface transverse to is a contact form on . For example, letting (the standard symplectic form on ) and yields the standard contact structure on any hyperplane ), and hence it induces a complex contact structure on .
We now present the applications of Theorem 1.1 obtained in this paper.
In Section 3 we prove the following general position result whose proof combines Theorem 1.1 and the arguments from [5, proof of Lemma 4.4].
Theorem 1.2**.**
Let be a complex contact manifold. Every holomorphic Legendrian immersion from an open Riemann surface can be approximated, uniformly on any relatively compact subset , by holomorphic Legendrian embeddings .
In general one cannot approximate a holomorphic Legendrian immersion uniformly on compacts in by holomorphic Legendrian embeddings of the whole Riemann surface. For example, if is a proper holomorphic immersion with a single double point, then by choosing to be an open neighborhood of which is very thin near infinity we can ensure that is the only nonconstant complex line in up to a reparametrization. Approximation of Legendrian embeddings by global ones is possible in the model contact space ; moreover, there exist proper holomorphic Legendrian embeddings from any open Riemann surface (see Alarcón et al. [5, Theorem 1.1]). The latter result also holds for the special linear group endowed with its standard contact structure (see Alarcón [2]). On the other hand, there exist examples of (Kobayashi) hyperbolic complex contact structures on for any (see Forstnerič [18]); in particular, these structures do not admit any nonconstant holomorphic Legendrian maps from or .
The proof of Theorem 1.2 also provides local deformation theory of noncompact holomorphic Legendrian curves. In particular, the space of Legendrian deformations of a holomorphic Legendrian curve normalized by a bordered Riemann surface is an infinite dimensional complex Banach manifold (see Remark 3.2).
Another application of Theorem 1.1 is that we can uniformly approximate a holomorphic Legendrian curve with smooth boundary in an arbitrary complex contact manifold by complete holomorphic Legendrian embeddings bounded by Jordan curves. In order to formulate this result, we need to recall the following notions. Assume that is a Riemannian metric on . An immersion is said to be complete if the induced metric on is a complete metric. A compact bordered Riemann surface, , is the same thing as a compact smoothly bounded domain in an open Riemann surface . A map from such a domain is said to be holomorphic if it extends to a holomorphic map on an open neighborhood of in .
Theorem 1.3**.**
Let be a complex contact manifold, and let be a compact bordered Riemann surface. Every holomorphic Legendrian immersion can be approximated uniformly on by topological embeddings such that is a complete holomorphic Legendrian embedding.
Since is a compact subset of , the notion of completeness of complex curves uniformly close to is independent of the choice of a metric on .
Theorem 1.3 may be compared with the results on the Calabi-Yau problem in the theory of conformal minimal surfaces in and null holomorphic curves in ; see Alarcón et al. [3, 6] and the references therein for recent developments on this subject.
Theorem 1.3 is proved in Section 4. The special case with the model contact space (see (1.1)) was obtained in [5, Theorem 1.2]. The Darboux charts, furnished by Theorem 1.1, make it possible to extend this result to any complex contact manifold.
In Section 5 we consider isotropic complex submanifolds of higher dimension in a complex contact manifold, and we prove a contact neighborhood theorem in the case when is a Stein submanifold (see Theorem 5.3). In particular, we obtain the following result.
Theorem 1.4**.**
Let be complex contact manifolds of the same dimension. If are biholomorphic Legendrian (i.e., isotropic and of maximal dimension) Stein submanifolds such that is trivial over for , then and have holomorphically contactomorphic neighborhoods.
Moreover, in the special case when the complex isotropic submanifold is Stein and contractible, we find a Darboux chart around similar to those furnished by Theorem 1.1; see Theorem 5.6.
It seems that the results in this paper are the first of their kind in the holomorphic case. On the other hand, contact neighborhood theorems of isotropic submanifolds are well known in the smooth case. For example, two smooth diffeomorphic isotropic submanifolds with isomorphic conformal symplectic normal bundles have contactomorphic neighborhoods (see Geiges [20, Theorem 2.5.8]). In particular, diffeomorphic closed Legendrian submanifolds (i.e., isotropic submanifolds of maximal dimension) have contactomorphic neighborhoods (see [20, Corollary 2.5.9]). For example, if is a Legendrian knot in a smooth contact 3-manifold, then with a coordinate along and coordinates in slices transverse to , the contact form
[TABLE]
provides a model for a contact neighbourhood of in (see [20, Example 2.5.10]). By the proof of Theorem 1.1 we can also get a contact neighborhood with the form . However, a crucial difference appears between the real and the complex case: there is no smooth immersion , so only has the meaning as a nonvanishing -form on . In particular, the -form is not contact for any smooth function , and there are no smooth contact neighborhoods (1.3) of a smooth Legendrian knot.
It is natural to ask what could be said about contact neighborhoods of compact holomorphic Legendrian curves and, more generally, of higher dimensional compact isotropic complex submanifolds. According to Bryant [11, Theorem G] (see also Segre [32]), every compact Riemann surface embeds as a complex Legendrian curve in . The first question to answer is which closed Legendrian curves in admit Darboux type neighborhoods. One major obstacle is that the tubular neighborhood theorem fails in general for compact complex submanifolds. In another direction, the deformation theory of certain compact complex Legendrian submanifolds has been studied by Merkulov [29] by using Kodaira’s deformation theory approach [25]. He showed that a compact complex Legendrian submanifold of with is contained in a complete analytic family of compact complex Legendrian submanifolds of .
2. Normal form of a contact structure along an immersed Legendrian curve
In this section we prove Theorem 1.1. We shall repeatedly use the following known lemma; we include a sketch of proof for the sake of completeness.
Lemma 2.1**.**
Let be an open Riemann surface, and let be a holomorphic matrix-valued function on , with , which has maximal rank at every point of . Then there exists a holomorphic map such that holds for all , where is the identity matrix.
Proof.
Denote the rows of by for ; these are holomorphic maps such that the vectors are linearly independent at every point . We must find holomorphic maps such that the matrix function with the rows is invertible at each point; then satisfies the lemma.
Recall that every holomorphic vector bundle on an open Riemann surface is trivial by the Oka-Grauert principle (see [17, Theorem 5.3.1, p. 190]), and every holomorphic vector subbundle of a holomorphic vector bundle over a Stein manifold splits , i.e., we have where is another holomorphic vector subbundle of (this follows from Cartan’s Theorem B, see [17, Corollary 2.4.5, p. 54]). Let , and let be the holomorphic rank subbundle spanned by the rows of the matrix at each point . Then where is a trivial bundle of rank ; thus it is generated by global holomorphic sections . This proves the lemma. ∎
Remark 2.2**.**
The conclusion of Lemma 2.1 holds for any Stein manifold on which every complex vector bundle is topologically trivial; for instance, on a contractible Stein manifold. Indeed, by the Oka-Grauert principle it follows that every holomorphic vector bundle on is holomorphically trivial, and hence the proof of Lemma 2.1 applies verbatim.
Proof of Theorem 1.1.
The normal bundle of the immersion is a holomorphic vector bundle of rank over , hence a trivial bundle by the Oka-Grauert principle (see [17, Theorem 5.3.1]). By the Docquier-Grauert tubular neighborhood theorem (see [17, Theorem 3.3.3]), there are a Stein open neighborhood of and a holomorphic immersion with . Furthermore, can be chosen to have convex fibers, so it is homotopy equivalent to . Hence, every holomorphic vector bundle on is holomorphically trivial by the Oka-Grauert principle. In particular, the complex line bundle is trivial, and the quotient projection with is a holomorphic -form on defining the contact structure . (Compare with (5.3).) The contact condition is that
[TABLE]
We shall find a holomorphic change of coordinates in a neighborhood of which fixes pointwise and reduces to the form (1.2). To simplify the notation, the neighborhood in question will always be called , but the reader should keep in mind that it is allowed to shrink around during the proof.
Let denote points in , and let be complex coordinates on . Along we have that
[TABLE]
for some holomorphic functions without common zeros (since is the contact hyperplane at ). The -form does not appear in the above expression since is a -Legendrian curve. Let . We introduce new coordinates , where the holomorphic map satisfies for all ; such exists by Lemma 2.1. Dropping the primes, this transforms along to the constant -form . Geometrically speaking, this amounts to rotating the contact plane for to the constant position given by . Denoting the variable by , we have at all points of .
We now consider those terms in the Taylor expansion of along which give a nontrivial contribution to the coefficient function of the -form . Since the coefficient of equals on , it is a nowhere vanishing holomorphic function in a neighborhood of this set, and we simply divide by it. We thus have
[TABLE]
where the coefficients and are holomorphic functions on . The -form (the remainder) contains all terms , terms whose coefficients are of order in the variables , or terms that contain the variable; such terms disappear in at all points of .
We claim that the functions in (2.1) have no common zeros in . Indeed, at a common zero of these functions, the form at the point does not contain the term and hence vanishes, a contradiction. Write . Applying Lemma 2.1 with the row matrix gives a holomorphic change of coordinates of the form
[TABLE]
such that the coefficient of becomes , and hence
[TABLE]
for some new coefficients . Note that contains the factor (since a nontrivial differential in the -direction does not appear in any other way). Hence, the term with and all terms containing with in (2.2) can be placed into the remainder since they do not contribute to . Renaming the variable by we thus have
[TABLE]
If (i.e., ), we are finished with the first part of the proof and proceed to the second part given below.
Assume now that . We begin by eliminating the variable from the coefficients of the differentials by the shear
[TABLE]
This ensures that the functions in the coefficient of in (2.3) have no common zeros on (since at such point would not contain ). Applying Lemma 2.1 we change the coefficient of to by a linear change of the variables with a holomorphic dependence on . Set and . By the same argument as in the previous step, we can move the term with , as well as all terms containing in the subsequent differentials , to the remainder . This gives
[TABLE]
It is clear that this process can be continued, and in finitely many steps we obtain
[TABLE]
where is the normal form (1.2).
We now complete the proof by applying Moser’s method [30] in order to get rid of the remainder . Consider the following family of holomorphic -forms on :
[TABLE]
Note that , , and for all we have
[TABLE]
The second identity holds because, by the construction, contains only terms which do not contribute to . Hence, is a contact form in a neighborhood of , still denoted , determining a contact structure for every , and vanishes on . (The dot indicates the -derivative.) We shall find a time-dependent holomorphic vector field on a neighborhood of that vanishes on and whose flow satisfies
[TABLE]
and the initial condition
[TABLE]
At time we shall then get in an open neighborhood of , thereby completing the proof of the theorem.
Let denote the Reeb vector field of contact form (see [20, p. 5]), i.e., the unique holomorphic vector field satisfying the conditions
[TABLE]
A vector field whose flow satisfies conditions (2.5), (2.6) is sought in the form
[TABLE]
where is a smooth family of holomorphic functions and is a smooth family of holomorphic vector fields tangent to on a neighborhood of . Then,
[TABLE]
Differentiating the equation (2.5) on gives
[TABLE]
where denotes the Lie derivative. By using Cartan’s formula we see that must satisfy the equation
[TABLE]
Contracting this -form with the Reeb vector field and noting that gives
[TABLE]
This is a -parameter family of linear holomorphic partial differential equations for the functions . Note that the contact plane field is tangent to the hypersurface along . Since , is noncharacteristic for the Reeb vector field along for every . It follows that the equation (2.9) has a unique local solution satisfying the initial condition for all . Since the right hand side of (2.9) vanishes on , the solutions satisfy
[TABLE]
This choice of ensures that the -component of the -form vanishes. Since the -form is nondegenerate on , the equation (2.8) has a unique holomorphic solution tangent to . In view of (2.10) we have
[TABLE]
Thus, we see from (2.8) that the vector field vanishes along , and hence so does (2.7) in view of (2.10). It follows that the flow of exists for all in some neighborhood of and it satisfies conditions (2.5) and (2.6). This reduces to the normal form (1.2) on a neighborhood of . ∎
3. Local analysis near a Legendrian curve
Let be an open Riemann surface and be a nowhere vanishing holomorphic -form on . We consider holomorphic Legendrian curves in the manifold endowed with the contact form (1.2):
[TABLE]
Here, denotes the variable in and the other coordinates are Euclidean coordinates on . By Theorem 1.1, this corresponds to the local analysis near an immersed Legendrian curve in a complex contact manifold . When applying these results in conjuction with Theorem 1.1, we consider only Legendrian curves in an open neighborhood of which corresponds to a Darboux patch in . The following lemma is seen by an obvious calculation; see [5, Lemma 3.1] for the case .
Lemma 3.1**.**
Let be the contact form (3.1) on . Given a holomorphic map , the map with
[TABLE]
is a holomorphic -Legendrian disc satisfying
[TABLE]
The same is true if is replaced by a bordered Riemann surface provided that the holomorphic -form has vanishing periods over all closed curves in .
Proof of Theorem 1.2.
Let be a holomorphic Legendrian immersion from an open Riemann surface to a complex contact manifold of dimension . It suffices to show that for every compact smoothly bounded domain the restriction can be approximated in the -norm by a Legendrian embedding of class . Fix such a domain . After shrinking around , Theorem 1.1 provides a holomorphic immersion , where is the unit ball in and , such that and the contact structure is given by the -form (3.1). Note that the non-isotropic dilation
[TABLE]
for preserves the contact structure (3.1), so we may assume that .
For simplicity of notation, we present the proof in the case , so , and
[TABLE]
Let be the complex subvariety of defined by
[TABLE]
where denotes the diagonal of and is the union of the irreducible components of disjoint from . Since is an immersion, we have or else ; in the latter case, (and hence ) is an embedding and there is nothing to prove.
Let denote the inclusion map . Since is an immersion, there is an open neighborhood of the diagonal such that . To prove the theorem, we must find arbitrarily close to in the -norm a holomorphic -Legendrian map such that the associated map
[TABLE]
satisfies the condition
[TABLE]
Assuming that is close enough to , this condition ensures that is a holomorphic Legendrian embedding which approximates the initial Legendrian immersion . Indeed, (3.5) implies that for all , while for the same holds provided that is close to in the -norm.
To find Legendrian maps satisfying (3.5), we apply the transversality method together with the technique of controlling the periods. The argument is similar to the one in [5, Lemma 4.4] in the case when , and . It suffices to construct a holomorphic map , where is the unit ball in for some big integer and , satisfying the following conditions:
- (a)
is the inclusion map ,
- (b)
is a holomorphic Legendrian immersion for every , and
- (c)
the map , defined by
[TABLE]
is a submersive family of maps on , in the sense that
[TABLE]
Assume for a moment that such exists. By compactness of , it follows from (c) that the partial differential is surjective on for some . For such , the map is transverse to any complex subvariety of , in particular, to (see (3.4)). It follows that for a generic choice of the map is transverse to on , and hence it does not intersect by dimension reasons. (See Abraham [1] or [17, Section 7.8] for the details of this argument.) Choosing sufficiently close to gives a holomorphic -Legendrian embedding close to in the -norm, so is a -Legendrian embedding as explained above.
It remains to explain the construction of . It suffices to find for any given pair of points a holomorphic spray as above, with , such that
[TABLE]
Since submersivity of the differential is an open condition and is compact, we then obtain a spray satisfying conditions (a)–(c) by composing finitely many sprays satisfying (3.6) (cf. [4, proof of Theorem 2.4]).
Let be a nowhere vanishing holomorphic vector field on , and let denote the flow of with the initial condition . Every sufficiently close to the zero function determines a holomorphic map defined by
[TABLE]
Note that is the identity map, and the Taylor expansion in any local coordinate on is
[TABLE]
Fix a pair of distinct points in . Choose a smooth embedded arc connecting to . Let be closed curves forming a basis of the homology group such that \big{(}\bigcup_{k=1}^{\ell}C_{k}\big{)}\cap E=\varnothing and the compact set \big{(}\bigcup_{k=1}^{\ell}C_{k}\big{)}\cup E is Runge in . Let be the period map with the components
[TABLE]
defined for all close enough to [math] and all . Here, denotes the pull-back of the -form by the map .
Let be a small number whose value will be determined later. Choose holomorphic functions satisfying the following conditions:
- (i)
(here, is the Kronecker symbol);
- (ii)
and for all and ;
- (iii)
, , ;
- (iv)
;
- (v)
for all and .
Functions with these properties are easily found by first constructing suitable smooth functions on the curves \big{(}\bigcup_{k=1}^{\ell}C_{k}\big{)}\cup E and applying Mergelyan’s approximation theorem. Let and . Consider the function
[TABLE]
Note that for all and for all . Condition (i) implies that
[TABLE]
for , and hence
[TABLE]
The implicit function theorem then shows that the period vanishing equation
[TABLE]
(which trivially holds at and ) can be solved on in a neighborhood of , with . Differentiation of (3.10) on at and (3.9) give
[TABLE]
We claim that
[TABLE]
To see this, note that
[TABLE]
The partial derivatives on and equal which are of size by condition (v), while the partial derivative on vanishes at ; this proves (3.11).
Define the holomorphic spray with the core on by
[TABLE]
By the choice of the integral is independent of the choice of the path. It follows that the holomorphic map defined by
[TABLE]
is -Legendrian for every and is also holomorphic with respect to . Obviously, satisfies the first condition in (3.6). We have
[TABLE]
The equation (3.13) is immediate from the definition of the flow and the condition (see (iii)), (3.14) is obvious from the definition of and conditions , (see (iii)), and in (3.15) we used condition (iv) on . The error terms in (3.14) and (3.15) come from the contribution by (see (3.11)). By choosing the constant small enough, we see from (3.13), (3.14) and (3.15) that also satisfies the second condition in (3.6). This completes the proof of Theorem 1.2. ∎
Remark 3.2** (Deformation theory of Legendrian curves).**
Let be an immersed holomorphic Legendrian curve, and let be a compact smoothly bounded domain in . The proof of Theorem 1.2 then shows that the space of all Legendrian immersions of class which are close to is a local complex Banach manifold. Indeed, in a Darboux chart around provided by Theorem 1.1, we consider the space of small perturbations of class of all components of except the -component; clearly this is an open set in a complex Banach space. We have seen in the proof of Theorem 1.2 that the period vanishing condition for the -form is of maximal rank, and hence it defines a local complex Banach submanifold. In view of Lemma 3.1, this submanifold parametrizes the space of all small Legendrian perturbations of . For the details in a related case of directed holomorphic immersions, we refer to [4, Theorem 2.3].
4. Proof of Theorem 1.3
Theorem 1.3 follows by an inductive application of the following lemma.
Lemma 4.1**.**
Let be a complex contact manifold, and let be a distance function on induced by a Riemannian metric. Given a compact bordered Riemann surface , a point , a holomorphic Legendrian immersion , and a number , there exists a holomorphic Legendrian embedding such that
[TABLE]
and
[TABLE]
By using this lemma, it is a trivial matter to construct a sequence of holomorphic Legendrian embeddings converging uniformly on to a topological embedding which is as close as desired to uniformly on and whose restriction to is a complete holomorphic Legendrian embedding. We refer to [3, proof of Theorem 1.1] for a detailed explanation in a similar geometric context.
In the standard case when is endowed with the standard contact structure, Lemma 4.1 coincides with [5, Lemma 6.5]. Although the latter lemma is stated only for the case when is the disc, it is explained there how the proof extends to any compact bordered Riemann surface. In the case at hand, we shall use [5, Lemma 6.5] together with the existence of Darboux charts furnished by Theorem 1.1.
For simplicity of notation we assume that ; the same proof applies in general. We also assume without loss of generality that is a compact smoothly bounded domain in an open Riemann surface, , and that extends to a holomorphic Legendrian immersion . By Theorem 1.2 we may further assume, up to shrinking around if necessary, that is a holomorphic Legendrian embedding.
Choose a holomorphic immersion (see [22]). After shrinking around if necessary, Theorem 1.1 provides a holomorphic embedding such that the contact structure on is determined by the -form . More precisely, letting denote the standard contact form on and the immersion , we have . Note that is an -Legendrian immersion.
Fix a Riemannian metric on with the distance function . By using the Euclidean metric on we thus get a metric and a distance function on .
Let be the radius of injectivity of the immersion on . This means that for every point , maps the geodesic disc around bijectively onto its image . Let be chosen such that the Euclidean disc lies inside for every ; recall that is compact.
Lemma 4.2**.**
There is a constant such that for every function which is uniformly -close to on there exists a unique map which is -close to the identity on such that and
[TABLE]
If is holomorphic on then so is .
Proof.
For every we have , and hence there is a unique point such that . Clearly, this determines the map with the stated properties. The estimate (4.3) follows from the inverse mapping theorem. ∎
Since is a biholomorphism onto the domain , there is a number such that for every immersion satisfying
[TABLE]
and
[TABLE]
the immersion satisfies the estimates (4.1) and (4.2). Furthermore, if is a holomorphic -Legendrian embedding, then is a holomorphic -Legendrian embedding. Hence, satisfies the conclusion of Lemma 4.1.
It remains to find . Pick a number . By [5, Lemma 6.5] there is a holomorhic -Legendrian immersion which is uniformly -close to on and satisfies
[TABLE]
In particular, the first component of is -close to on . Choosing small enough, Lemma 4.2 ensures that for some holomorphic map ; furthermore, the map is a holomorphic -Legendrian immersion satisfying (4.4) and (4.5). By Theorem 1.2 we can choose to be an embedding. This completes the proof.
5. Contact neighborhoods of isotropic Stein submanifolds
In this section, we consider isotropic complex submanifolds of higher dimension in a complex contact manifold , and we prove a contact neighborhood theorem in the case when is a Stein submanifold; see Theorem 5.3. In the special case when is Stein and contractible, we construct a Darboux chart around it; see Theorem 5.6. For simplicity of exposition we assume that is embedded, although the analogous results also apply to immersed submanifolds.
We begin by recalling a few basic facts; see e.g. [27, 28]. The quotient projection
[TABLE]
onto the normal line bundle of the contact subbundle is a nowhere vanishing holomorphic -form on with values in such that . The differential defines a holomorphic section of , and is a nowhere vanishing section of the line bundle , where is the canonical line bundle of . This provides a holomorphic line bundle isomorphism
[TABLE]
between the -st tensor power of the normal bundle and the anticanonical bundle of . On any open subset of over which the bundle is trivial, we may consider as a scalar-valued -form determined up to a nonvanishing holomorphic factor. The condition implies that
[TABLE]
is a holomorphic symplectic form on the contact bundle which is determined up to a nonvanishing factor (since on ), so the pair is a conformal symplectic holomorphic vector bundle over . The restriction of to any fibre is a nondegenerate skew-symmetric bilinear form .
Given an -linear subspace of , we denote by its -orthogonal complement:
[TABLE]
Note that depends only on the conformal class of , and hence only on the contact structure . Since is a -linear form, is a complex subspace of . We say that is -isotropic if ; equivalently, for any pair of vectors . Since is complex, it follows that . Since the -form on is nondegenerate, we have the following dimension formula (see [20, Sec. 2.4]):
[TABLE]
It follows that any real isotropic subspace of satisfies , and we have if and only if ; such is said to be -Lagrangian. In particular, we see that every Lagrangian subspace of is complex.
These notions and observation extend in an obvious way to smooth submanifolds of . Thus, is isotropic with respect to the contact structure if holds for all ; equivalently, if . This implies that also vanishes on the tangent bundle , so is -isotropic for every and therefore . A -isotropic submanifold of is said to be Legendrian if it has maximal real dimension . We have seen above that for any such submanifold, the tangent space at each point is a complex linear subspace of (satisfying ); it follows that is a complex submanifold of . This observation seems worthwhile recording. (The special case for was observed in [19, Proposition 1.5].)
Lemma 5.1**.**
Let be a complex contact manifold. Every smooth Legendrian submanifold of is a complex submanifold of .
Since a Stein manifold does not admit any compact complex submanifolds of positive dimension, the lemma implies
Corollary 5.2**.**
A Stein contact manifold does not have any compact smooth Legendrian submanifolds.
We now introduce the relevant decomposition of the complex normal bundle
[TABLE]
of an isotropic complex submanifold . Assume that and . Recall that . We have
[TABLE]
(Compare with [20, (2.6), p. 69] for the analogous decomposition in the smooth case.) If is a Stein manifold, then the component bundles in (5.3) can be embedded as holomorphic vector subbundles of , and the latter is a holomorphic subbundle of the restricted tangent bundle . In particular, (5.3) can be seen as an internal direct sum of holomorphic vector subbundles. Since the rank of the bundle equals in view of the dimension formula (5.2), the summands on the right hand side of (5.3) have ranks , and , respectively. By [20, Lemma 2.5.4], the bundle is isomorphic to the cotangent bundle via the bundle isomorphism
[TABLE]
Thus, assuming that the normal bundle of is trivial over the submanifold , the only bundle in the decomposition (5.3) which depends on the isotropic embedding is the rank conformal symplectic normal bundle
[TABLE]
This brings us to the following holomorphic contact neighborhood theorem, analogous to the corresponding result in smooth contact geometry (see e.g. [20, Theorem 2.5.8, p. 71]).
Theorem 5.3**.**
Let be complex contact manifolds of dimension with locally closed isotropic Stein submanifolds . Suppose that is trivial over for , and there is a holomorphic vector bundle isomorphism of conformal symplectic normal bundles that covers a biholomorphism . Then extends to a holomorphic contactomorphism of suitable Stein neighbourhoods of in such that
[TABLE]
Theorem 1.4 in the introduction follows from Theorem 5.3 by noting that for a Legendrian submanifold of (that is, an isotropic submanifold of maximal dimension) the conformal normal bundle (5.5) has rank zero, and hence the condition regarding in Theorem 5.3 is void.
Proof.
The proof is analogous to that of [20, Theorem 2.5.8]. We also take into account [20, Remark 2.5.12] and get the sharper statement as in [20, Theorem 6.2.2, p. 294].
The assumption that the line bundle is trivial on implies that for a holomorphic scalar-valued contact form in a neighborhood of in . Hence we can identify with the line subbundle of spanned by the Reeb vector field of the contact form . Let be the associated holomorphic symplectic form on the contact subbundle . There is a unique holomorphic isomorphism
[TABLE]
of normal bundles, covering the biholomorphism , which is determined on the component subbundles in the decomposition (5.3) as follows:
- •
on the line subbundle we have , ;
- •
on we let be the isomorphism in the statement of the theorem;
- •
on (see (5.4)) we let , the cotangent map of the biholomorphism .
Since the submanifolds are locally closed and Stein, the Docquier-Grauert-Siu tubular neighborhood theorem (see [17, Theorem 3.3.3, p. 67]) implies that for there are an open Stein neighborhood of and a biholomorphism onto a neighborhood of the zero section in the normal bundle such that, if we identify the zero section with and note the canonical decomposition
[TABLE]
the differential is the identity map. After suitably shrinking the neighborhoods , the composition
[TABLE]
is a biholomorphism extending such that the contact forms and agree on along with their differentials. It follows from the construction that the tangent map respects the decomposition (5.3) of the component bundles; in particular, we have on .
It remains to correct to a contactomorphism. This is accomplished by finding a biholomorphic map on a neighborhood of in which fixes and satisfies
[TABLE]
The biholomorphism from a neighborhood of in onto a neighborhood of in then satisfies and also (5.6).
A biholomorphism with these properties is furnished by the following proposition, applied with the pair of contact forms and on , with the isotropic Stein submanifold .
Proposition 5.4**.**
Assume that is a complex contact manifold with a locally closed isotropic Stein submanifold , and is a holomorphic -form on a neighborhood of in such that and hold on . Then there exist a neighborhood of and a biholomorphism , fixing pointwise, whose differential agrees with the identity map on and satisfies .
The proof of the proposition is obtained by a refinement of Moser’s method. We shall adjust [20, proof of Theorem 6.2.2, p. 294] to the holomorphic case.
Proof.
The conditions imply that
[TABLE]
is an isotopy of contact 1-forms in a neighborhood of in such that and are independent of on ; hence, the Reeb vector field of is also independent of along . Since is Stein, there is a complex submanifold of containing such that . By shrinking around if necessary, we may assume that the pullback of to is a holomorphic symplectic form on whose restriction to is independent of . Hence the -form
[TABLE]
on is closed and it vanishes on . Since is Stein, the generalized Poincaré lemma (see [20, Corollary A.4, p. 403]) gives a holomorphic -form on a neighborhood of in that vanishes to the second order on and satisfies
[TABLE]
Let be the holomorphic vector field on uniquely determined by the equation
[TABLE]
Then vanishes to the second order on . Its flow exists in a neighborhood of in , it fixes pointwise, and it satisfies on . Furthermore,
[TABLE]
which implies for all ; in particular, . We extend from to a biholomorphism on a neighborhood of in by requiring that it sends flow lines of the Reeb vector field to those of . Since on , this gives on . This extension satisfies on a neighborhood of .
Replacing by , we have thus reduced the proof to the case when on and holds on a neighborhood of in . As before, set and look for a holomorphic flow satisfying for all . Since is a closed -form that vanishes on , the generalized Poincaré lemma (see [20, Corollary A.4, p. 403]) can be used as above to obtain a solution satisfying on for every . (Equivalently, the vector field generating the flow vanishes to the second order on .) The map then satisfies the conclusion of Proposition 5.4. For further details, see [20, proof of Theorem 6.2.2]. ∎
This completes the proof of Theorem 5.3. ∎
Remark 5.5**.**
In the smooth case, Proposition 5.4 holds for any smooth submanifold of . In the holomorphic case, the tubular neighborhood theorem, which is used in the proof of the generalized Poincaré lemma, is available only if is a Stein manifold.
The following result is an analogue of Theorem 1.1 in the case when is a topologically contractible Stein manifold, embedded as an isotropic submanifold in a complex contact manifold . Contractibility of implies that all holomorphic vector bundles over are topologically trivial, and hence holomorphically trivial by the Oka-Grauert principle (see [17, Sec. 5.3]). This allows us to choose global holomorphic coordinates on the normal bundle , thereby obtaining the Darboux normal form (5.7) for the contact structure in a tubular neighborhood of in by following the proof of Theorem 1.1.
Theorem 5.6**.**
Let be a complex contact manifold of dimension . Assume that is a contractible Stein manifold of dimension , are holomorphic -forms on providing a framing of the cotangent bundle , and is a holomorphic isotropic immersion. Then there are a neighborhood of and a holomorphic immersion (embedding if is an embedding) such that and the contact structure on is given by the contact -form
[TABLE]
where are complex coordinates on .
Proof.
The proof is similar to that of Theorem 1.1, so we only include a brief sketch.
Let . Since is isotropic, we have and hence . As in that proof, we find a Stein open neighborhood of and a holomorphic immersion , with , such that , where is a holomorphic -form on satisfying and is a -Legendrian submanifold of . Let denote points in and be complex coordinates on . Along we have for some holomorphic functions without common zeros. The -forms on do not appear in the above expression since is -Legendrian. By the same argument as in the proof of Theorem 1.1 we transform to the -form along , and we rename the variable by calling it . After dividing with the coefficient of (which is nonvanishing in a neighborhood of ) we have
[TABLE]
where the -form contains all terms whose coefficients are of order in the variables or they contain the variable; these terms disappear in at all points of . By a similar argument as in the proof of Theorem 1.1, we see that the matrix of coefficients in (5.8) has maximal rank at every point . (Indeed, if this fails at some point , we easily see that at .) Hence, Lemma 2.1 provides a holomorphic change of coordinates , with for all , which reduces to
[TABLE]
Since on , the differentials do not contribute to on , and contains the factor . Hence, we can move the terms with in the second sum in (5.9), as well as all terms containing for any and , into the remainder since none of these terms contributes to on . Renaming the variables by calling them , we thus have
[TABLE]
If (in which case the immersion is Legendrian), we are done. Otherwise, we finish the reduction as in the proof of Theorem 1.1, changing the second sum on the right hand side of (5.10) to after having suitably renamed the variables .
Once the normalization of along has been achieved, one completes the proof exactly as before by applying Moser’s method, thereby removing the remainder and changing to the normal form (5.7) in a neighborhood of in . ∎
Acknowledgements
A. Alarcón is supported by the Ramón y Cajal program of the Spanish Ministry of Economy and Competitiveness and by the MINECO/FEDER grant no. MTM2014-52368-P, Spain. F. Forstnerič is supported by the research grants P1-0291 and J1-7256 from ARRS, Republic of Slovenia. A part of the work was done while the authors were visiting the Center for Advanced Study in Oslo. They wish to thank this institution for the invitation, partial support (to Forstnerič), and excellent working conditions. The initial version of the paper was prepared while Forstnerič was visiting the Department of Geometry and Topology of the University of Granada, Spain, in January and February 2017, and the revised version was prepared during his visit at the University of Adelaide, Australia, in May 2017. He thanks both institutions for the invitation, hospitality and partial support.
The authors wish to thank an anonymous referee for proposing to include results on contact neighborhoods of isotropic Stein submanifolds of dimension . They also thank Finnur Lárusson for a helpful discussion of this subject.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] R. Abraham. Transversality in manifolds of mappings. Bull. Amer. Math. Soc. , 69:470–474, 1963.
- 2[2] A. Alarcón. Proper holomorphic Legendrian curves in S L 2 ( ℂ ) 𝑆 subscript 𝐿 2 ℂ SL_{2}(\mathbb{C}) . Preprint ar Xiv:1611.00536. J. Geom. Anal. (2017). doi: 10.1007/s 12220-017-9791-6.
- 3[3] A. Alarcón, B. Drinovec Drnovšek, F. Forstnerič, and F. J. López. Every bordered Riemann surface is a complete conformal minimal surface bounded by Jordan curves. Proc. Lond. Math. Soc. (3) , 111(4):851–886, 2015.
- 4[4] A. Alarcón and F. Forstnerič. Null curves and directed immersions of open Riemann surfaces. Invent. Math. , 196(3):733–771, 2014.
- 5[5] A. Alarcón, F. Forstnerič, and F. J. López. Holomorphic Legendrian curves. Preprint ar Xiv:1607.00634. Compos. Math. , to appear.
- 6[6] A. Alarcón, F. Forstnerič, and F. J. López. New complex analytic methods in the study of non-orientable minimal surfaces in ℝ n superscript ℝ 𝑛 \mathbb{R}^{n} . Preprint ar Xiv:1603.01691. Mem. Amer. Math. Soc., to appear.
- 7[7] A. Beauville. Fano contact manifolds and nilpotent orbits. Comment. Math. Helv. , 73(4):566–583, 1998.
- 8[8] A. Beauville. Riemannian holonomy and algebraic geometry. Enseign. Math. (2) , 53(1-2):97–126, 2007.
