Gromov's method and Bennequin's problem (Q1914835): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q1065206 |
Changed an Item |
||
Property / author | |||
Property / author: Herbert J. Alexander / rank | |||
Normal rank |
Revision as of 10:06, 22 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Gromov's method and Bennequin's problem |
scientific article |
Statements
Gromov's method and Bennequin's problem (English)
0 references
9 January 1997
0 references
An analytic disk in \(\mathbb{C}^n\) is a map \(f : D \to \mathbb{C}^n\), where \(D\) is the closed unit disk, holomorphic on the open disk \(D^0\) and smooth up to the boundary. A nearly smooth analytic disk is a bounded holomorphic map \(f : D^0 \to \mathbb{C}^n\) which extends to be smooth on all of \(D\) except for at most a single point of the boundary \(bD\). The boundary of \(f\) is said to lie in \(X\) if the image by \(f\) of \(bD\) with that single point deleted is contained in \(X\). The author proves the following result. Theorem: Let \(L\) be a compact totally real \(n\)-dimensional submanifold of \(\mathbb{C}^n\). Then there exists a non-constant nearly smooth analytic disk with boundary in \(L\). This is a partial answer to a problem of D. Bennequin asserting that a non-constant analytic exists in \(\mathbb{C}^2\) with boundary in a totally real 2-torus in \(\mathbb{C}^2\). The author's theorem uses in its proof Gromov's method of pseudo-holomorphic curves in symplectic manifolds, by establishing a Fredholm alternative. Gromov's compactness theorem which is usually used to show this, is not available in the totally real case, so the author relies on an ad hoc argument that also does not use almost complex structures. This method is also used to give a proof of Gromov's theorem that if \(L\) is a compact Lagrangian manifold in \(\mathbb{C}^n\), then there exists a non-constant analytic disk in \(\mathbb{C}^n\) with boundary in \(L\). The author proves the following intermediate result between his ``nearly smooth analytic disk'' and Gromov's analytic disk. Theorem 2: If \(X \subset \mathbb{C}^n\) is compact and \(f\) is a non-constant \(H^\infty\)-disk (that is, \(f\) is bounded holomorphic on \(D^0\)) with boundary in \(X\), and if \(f\) has finite area, then \(f : D^0 \setminus f^{-1} (X) \to \mathbb{C}^n\setminus X\) is a proper mapping. In an addendum, the author states that he and J. Duval have independently found counterexamples to Bennequin's question.
0 references
analytic disk
0 references
Gromov's method
0 references
pseudo-holomorphic curves
0 references
symplectic manifolds
0 references