Skip to main content
Added a simpler example with better properties.
Source Link
Robert Bryant
  • 108.4k
  • 8
  • 340
  • 453

The answer is 'no, not necessarily'.

Consider the following example: Let $M=N=\mathbb{CP}^2$, let $(\omega_0,J_0)$ be the standard Fubini-Study Kähler structure on $M$. Now let $f$ be an arbitrary, but '$C^2$-small' smooth function on $M$, so that $\omega_0 + t\,\mathrm{i}\,\partial\bar\partial f$ is nondegenerate (and hence symplectic) for all $0\le t\le 1$.

Let $\omega_M = \omega_0 + \mathrm{i}\,\partial\bar\partial f$ and let $J_M= J_0$. Let $\omega_N=-\omega_M$ and let $J_N=-J_0$. Note that $g_M=g_N$, so $(M,g_M)$ and $(N,g_N)$ are isometric via the identity map.

When $f$ is chosen sufficiently generically, the isometry group of $g_M$ will consist of only the identity, so suppose this.

Note that $(M,J_M)$ and $(N, J_N)$ are biholomorphic, since $\mathbb{CP}^2$ is biholomorphic to its conjugate complex manifold.

By Weinstein's theorem, since $\omega_M$ and $\omega_0$ are $C^0$-close and cohomologous, there is a symplectomorphism between $(M,\omega_M)$ and $(M,\omega_0)$. Similarly, there is a symplectomorphism between $(N,\omega_N)$ and $(N,-\omega_0)$. Since, as has already been noted, $(M,\omega_0)$ and $(N,-\omega_0)$ are symmplectomorphic, it follows that $(M,\omega_M)$ and $(N,\omega_N)$ are symplectomorphic.

However, when $f$ is chosen sufficiently generically, the only map $\psi:M\to N$ that aligns the metrics $g_M$ and $g_N$ is the identity, which is neither a biholomorphism nor a symplectomorphism.

Remark: Of course, I woke up this morning and was struck by the fact that there is an even simpler example: Let $g$ be any metric on $S^2=\mathbb{CP}^1$ whose isometry group is trivial, let $J$ be one of the two $g$-orthogonal complex structures on $S^2$, and let $\omega_J$ be the associated area $2$-form on $S^2$. Let $(M,\omega_M,J_M)=(S^2,\omega_J,J)$ and let $(N,\omega_N,J_N)=(S^2,-\omega_J,-J)$.

Then $(M,\omega_M,J_M)$ and $(N,\omega_N,J_N)$ are biholomorphic, symplectomorphic, and isometric, but not isomorphic as Kähler manifolds.

Moreover, it is not difficult to choose an unramified rational curve in $\mathbb{CP}^2$ (it may have crossings, but that doesn't matter, for example, the generic irreducible cubic with one node but no cusp would certainly do) so that the metric on the normalized curve (which is an $S^2$ topologically) induced by the Fubini-Study metric on $\mathbb{CP}^2$ has no nontrivial isometries. Thus, one can even construct a pair of examples with the additional property requested by the OP that the metric be induced from the Fubini-Study metric by an immersion into $\mathbb{CP}^2$. (Using $\mathbb{CP}^3$ as a target, one could even arrange the map to be an embedding.)

The answer is 'no, not necessarily'.

Consider the following example: Let $M=N=\mathbb{CP}^2$, let $(\omega_0,J_0)$ be the standard Fubini-Study Kähler structure on $M$. Now let $f$ be an arbitrary, but '$C^2$-small' smooth function on $M$, so that $\omega_0 + t\,\mathrm{i}\,\partial\bar\partial f$ is nondegenerate (and hence symplectic) for all $0\le t\le 1$.

Let $\omega_M = \omega_0 + \mathrm{i}\,\partial\bar\partial f$ and let $J_M= J_0$. Let $\omega_N=-\omega_M$ and let $J_N=-J_0$. Note that $g_M=g_N$, so $(M,g_M)$ and $(N,g_N)$ are isometric via the identity map.

When $f$ is chosen sufficiently generically, the isometry group of $g_M$ will consist of only the identity, so suppose this.

Note that $(M,J_M)$ and $(N, J_N)$ are biholomorphic, since $\mathbb{CP}^2$ is biholomorphic to its conjugate complex manifold.

By Weinstein's theorem, since $\omega_M$ and $\omega_0$ are $C^0$-close and cohomologous, there is a symplectomorphism between $(M,\omega_M)$ and $(M,\omega_0)$. Similarly, there is a symplectomorphism between $(N,\omega_N)$ and $(N,-\omega_0)$. Since, as has already been noted, $(M,\omega_0)$ and $(N,-\omega_0)$ are symmplectomorphic, it follows that $(M,\omega_M)$ and $(N,\omega_N)$ are symplectomorphic.

However, when $f$ is chosen sufficiently generically, the only map $\psi:M\to N$ that aligns the metrics $g_M$ and $g_N$ is the identity, which is neither a biholomorphism nor a symplectomorphism.

The answer is 'no, not necessarily'.

Consider the following example: Let $M=N=\mathbb{CP}^2$, let $(\omega_0,J_0)$ be the standard Fubini-Study Kähler structure on $M$. Now let $f$ be an arbitrary, but '$C^2$-small' smooth function on $M$, so that $\omega_0 + t\,\mathrm{i}\,\partial\bar\partial f$ is nondegenerate (and hence symplectic) for all $0\le t\le 1$.

Let $\omega_M = \omega_0 + \mathrm{i}\,\partial\bar\partial f$ and let $J_M= J_0$. Let $\omega_N=-\omega_M$ and let $J_N=-J_0$. Note that $g_M=g_N$, so $(M,g_M)$ and $(N,g_N)$ are isometric via the identity map.

When $f$ is chosen sufficiently generically, the isometry group of $g_M$ will consist of only the identity, so suppose this.

Note that $(M,J_M)$ and $(N, J_N)$ are biholomorphic, since $\mathbb{CP}^2$ is biholomorphic to its conjugate complex manifold.

By Weinstein's theorem, since $\omega_M$ and $\omega_0$ are $C^0$-close and cohomologous, there is a symplectomorphism between $(M,\omega_M)$ and $(M,\omega_0)$. Similarly, there is a symplectomorphism between $(N,\omega_N)$ and $(N,-\omega_0)$. Since, as has already been noted, $(M,\omega_0)$ and $(N,-\omega_0)$ are symmplectomorphic, it follows that $(M,\omega_M)$ and $(N,\omega_N)$ are symplectomorphic.

However, when $f$ is chosen sufficiently generically, the only map $\psi:M\to N$ that aligns the metrics $g_M$ and $g_N$ is the identity, which is neither a biholomorphism nor a symplectomorphism.

Remark: Of course, I woke up this morning and was struck by the fact that there is an even simpler example: Let $g$ be any metric on $S^2=\mathbb{CP}^1$ whose isometry group is trivial, let $J$ be one of the two $g$-orthogonal complex structures on $S^2$, and let $\omega_J$ be the associated area $2$-form on $S^2$. Let $(M,\omega_M,J_M)=(S^2,\omega_J,J)$ and let $(N,\omega_N,J_N)=(S^2,-\omega_J,-J)$.

Then $(M,\omega_M,J_M)$ and $(N,\omega_N,J_N)$ are biholomorphic, symplectomorphic, and isometric, but not isomorphic as Kähler manifolds.

Moreover, it is not difficult to choose an unramified rational curve in $\mathbb{CP}^2$ (it may have crossings, but that doesn't matter, for example, the generic irreducible cubic with one node but no cusp would certainly do) so that the metric on the normalized curve (which is an $S^2$ topologically) induced by the Fubini-Study metric on $\mathbb{CP}^2$ has no nontrivial isometries. Thus, one can even construct a pair of examples with the additional property requested by the OP that the metric be induced from the Fubini-Study metric by an immersion into $\mathbb{CP}^2$. (Using $\mathbb{CP}^3$ as a target, one could even arrange the map to be an embedding.)

Fixed some typos.
Source Link
Robert Bryant
  • 108.4k
  • 8
  • 340
  • 453

The answer is 'no, not necessarily'.

Consider the following example: Let $M=N=\mathbb{CP}^2$, let $(\omega_0,J_0)$ be the standard Fubini-Study Kähler structure on $M$. Now let $f$ be an arbitrary, but '$C^2$-small' smooth function on $M$, so that $\omega_0 + t\,\mathrm{i}\,\partial\bar\partial f$ is nondegenerate (and hence symplectic) for all $0\le t\le 1$.

Let $\omega_M = \omega_0 + \mathrm{i}\,\partial\bar\partial f$ and let $J_M= J_0$. Let $\omega_N=-\omega_M$ and let $J_N=-J_0$. Note that $g_M=g_N$, so $(M,g_M)$ and $(N,g_N)$ are isometric via the identity map.

When $f$ is chosen sufficiently generically, the isometry group of $g_M$ will consist of only the identity, so suppose this.

Note that $(M,J_M)$ and $(N, J_N)$ are biholomorphic, since $\mathbb{CP}^2$ is biholomorphic to its conjugate complex manifold.

Note that, byBy Weinstein's theorem, since $\omega_M$ and $\omega_0$ are $C^0$-close and obviously cohomologous, there is a symplectomorphism between $(M,J_M)$$(M,\omega_M)$ and $(M,\omega_0)$. Similarly, there is a symplectomorphism between $(N,J_N)$$(N,\omega_N)$ and $(N,-\omega_0)$. Since, as has already been noted, $(M,\omega_0)$ and $(N,-\omega_0)$ are symmplectomorphic, it follows that $(M,\omega_M)$ and $(N,\omega_N)$ are symplectomorphic.

However, when $f$ is chosen sufficiently generically, the only map $\psi:M\to N$ that aligns the metrics $g_M$ and $g_N$ is the identity, which is neither a biholomorphism nor a symplectomorphism.

The answer is 'no, not necessarily'.

Consider the following example: Let $M=N=\mathbb{CP}^2$, let $(\omega_0,J_0)$ be the standard Fubini-Study Kähler structure on $M$. Now let $f$ be an arbitrary, but '$C^2$-small' smooth function on $M$, so that $\omega_0 + t\,\mathrm{i}\,\partial\bar\partial f$ is nondegenerate (and hence symplectic) for all $0\le t\le 1$.

Let $\omega_M = \omega_0 + \mathrm{i}\,\partial\bar\partial f$ and let $J_M= J_0$. Let $\omega_N=-\omega_M$ and let $J_N=-J_0$. Note that $g_M=g_N$, so $(M,g_M)$ and $(N,g_N)$ are isometric via the identity map.

When $f$ is chosen sufficiently generically, the isometry group of $g_M$ will consist of only the identity, so suppose this.

Note that $(M,J_M)$ and $(N, J_N)$ are biholomorphic, since $\mathbb{CP}^2$ is biholomorphic to its conjugate complex manifold.

Note that, by Weinstein's theorem, since $\omega_M$ and $\omega_0$ are $C^0$-close and obviously cohomologous, there is a symplectomorphism between $(M,J_M)$ and $(M,\omega_0)$. Similarly, there is a symplectomorphism between $(N,J_N)$ and $(N,-\omega_0)$. Since, as has already been noted, $(M,\omega_0)$ and $(N,-\omega_0)$ are symmplectomorphic, it follows that $(M,\omega_M)$ and $(N,\omega_N)$ are symplectomorphic.

However, when $f$ is chosen sufficiently generically, the only map $\psi:M\to N$ that aligns the metrics $g_M$ and $g_N$ is the identity, which is neither a biholomorphism nor a symplectomorphism.

The answer is 'no, not necessarily'.

Consider the following example: Let $M=N=\mathbb{CP}^2$, let $(\omega_0,J_0)$ be the standard Fubini-Study Kähler structure on $M$. Now let $f$ be an arbitrary, but '$C^2$-small' smooth function on $M$, so that $\omega_0 + t\,\mathrm{i}\,\partial\bar\partial f$ is nondegenerate (and hence symplectic) for all $0\le t\le 1$.

Let $\omega_M = \omega_0 + \mathrm{i}\,\partial\bar\partial f$ and let $J_M= J_0$. Let $\omega_N=-\omega_M$ and let $J_N=-J_0$. Note that $g_M=g_N$, so $(M,g_M)$ and $(N,g_N)$ are isometric via the identity map.

When $f$ is chosen sufficiently generically, the isometry group of $g_M$ will consist of only the identity, so suppose this.

Note that $(M,J_M)$ and $(N, J_N)$ are biholomorphic, since $\mathbb{CP}^2$ is biholomorphic to its conjugate complex manifold.

By Weinstein's theorem, since $\omega_M$ and $\omega_0$ are $C^0$-close and cohomologous, there is a symplectomorphism between $(M,\omega_M)$ and $(M,\omega_0)$. Similarly, there is a symplectomorphism between $(N,\omega_N)$ and $(N,-\omega_0)$. Since, as has already been noted, $(M,\omega_0)$ and $(N,-\omega_0)$ are symmplectomorphic, it follows that $(M,\omega_M)$ and $(N,\omega_N)$ are symplectomorphic.

However, when $f$ is chosen sufficiently generically, the only map $\psi:M\to N$ that aligns the metrics $g_M$ and $g_N$ is the identity, which is neither a biholomorphism nor a symplectomorphism.

Cleaned up the exposition a little bit.
Source Link
Robert Bryant
  • 108.4k
  • 8
  • 340
  • 453

The answer is 'no, not necessarily'.

Consider the following example: Let $M=N=\mathbb{CP}^2$, let $(\omega_0,J_0)$ be the standard Fubini-Study Kähler structure on $M$. Now let $f$ be an arbitrary, but '$C^2$-small' smooth function on $M$ and let, so that $\omega_0 + t\,\mathrm{i}\,\partial\bar\partial f$ is nondegenerate (and hence symplectic) for all $0\le t\le 1$.

Let $\omega_M = \omega_0 + \mathrm{i}\,\partial\bar\partial f$ and and let $J_M= J_0$. Let $\omega_N=-\omega_M$ and let $J_N=-J_0$. Note that $g_M=g_N$, so $(M,g_M)$ and $(N,g_N)$ are isometric via the identity map. If we choose

When $f$ is chosen sufficiently generically, then the isometry group of $g_M$ will beconsist of only the identity, so suppose this.

Note that $(M,J_M)$ and $(N, J_N)$ are biholomorphic, since $\mathbb{CP}^2$ is biholomorphic to its conjugate complex manifold.

Note that, by Weinstein's theorem, since $\omega_M$ and $\omega_0$ are $C^0$-close and obviously cohomologous, there is a symplectomorphism between $(M,J_M)$ and $(M,\omega_0)$. Similarly, there is a symplectomorphism between $(N,J_N)$ and $(N,-\omega_0)$. Since, as has already been noted, $(M,\omega_0)$ and $(N,-\omega_0)$ are symmplectomorphic, it follows that $(M,\omega_M)$ and $(N,\omega_N)$ are symplectomorphic.

However, when $f$ is chosen sufficiently generically, the only map $\psi:M\to N$ that aligns the metrics $g_M$ and $g_N$ is the identity, which is neither a biholomorphism nor a symplectomorphism.

The answer is 'no, not necessarily'.

Consider the following example: Let $M=N=\mathbb{CP}^2$, let $(\omega_0,J_0)$ be the standard Fubini-Study Kähler structure on $M$. Now let $f$ be an arbitrary, but '$C^2$-small' smooth function on $M$ and let $\omega_M = \omega_0 + \mathrm{i}\,\partial\bar\partial f$ and let $J_M= J_0$. Let $\omega_N=-\omega_M$ and let $J_N=-J_0$. Note that $g_M=g_N$, so $(M,g_M)$ and $(N,g_N)$ are isometric. If we choose $f$ sufficiently generically, then the isometry group of $g_M$ will be the identity.

Note that $(M,J_M)$ and $(N, J_N)$ are biholomorphic, since $\mathbb{CP}^2$ is biholomorphic to its conjugate complex manifold.

Note that, since $\omega_M$ and $\omega_0$ are $C^0$-close, there is a symplectomorphism between $(M,J_M)$ and $(M,\omega_0)$. Similarly, there is a symplectomorphism between $(N,J_N)$ and $(N,-\omega_0)$. Since, as has already been noted, $(M,\omega_0)$ and $(N,-\omega_0)$ are symmplectomorphic, it follows that $(M,\omega_M)$ and $(N,\omega_N)$ are symplectomorphic.

However, when $f$ is chosen sufficiently generically, the only map $\psi:M\to N$ that aligns the metrics $g_M$ and $g_N$ is the identity, which is neither a biholomorphism nor a symplectomorphism.

The answer is 'no, not necessarily'.

Consider the following example: Let $M=N=\mathbb{CP}^2$, let $(\omega_0,J_0)$ be the standard Fubini-Study Kähler structure on $M$. Now let $f$ be an arbitrary, but '$C^2$-small' smooth function on $M$, so that $\omega_0 + t\,\mathrm{i}\,\partial\bar\partial f$ is nondegenerate (and hence symplectic) for all $0\le t\le 1$.

Let $\omega_M = \omega_0 + \mathrm{i}\,\partial\bar\partial f$ and let $J_M= J_0$. Let $\omega_N=-\omega_M$ and let $J_N=-J_0$. Note that $g_M=g_N$, so $(M,g_M)$ and $(N,g_N)$ are isometric via the identity map.

When $f$ is chosen sufficiently generically, the isometry group of $g_M$ will consist of only the identity, so suppose this.

Note that $(M,J_M)$ and $(N, J_N)$ are biholomorphic, since $\mathbb{CP}^2$ is biholomorphic to its conjugate complex manifold.

Note that, by Weinstein's theorem, since $\omega_M$ and $\omega_0$ are $C^0$-close and obviously cohomologous, there is a symplectomorphism between $(M,J_M)$ and $(M,\omega_0)$. Similarly, there is a symplectomorphism between $(N,J_N)$ and $(N,-\omega_0)$. Since, as has already been noted, $(M,\omega_0)$ and $(N,-\omega_0)$ are symmplectomorphic, it follows that $(M,\omega_M)$ and $(N,\omega_N)$ are symplectomorphic.

However, when $f$ is chosen sufficiently generically, the only map $\psi:M\to N$ that aligns the metrics $g_M$ and $g_N$ is the identity, which is neither a biholomorphism nor a symplectomorphism.

Source Link
Robert Bryant
  • 108.4k
  • 8
  • 340
  • 453
Loading