Skip to main content
Notice removed Canonical answer required by CommunityBot
Bounty Ended with no winning answer by CommunityBot
Notice added Canonical answer required by kvicente
Bounty Started worth 50 reputation by kvicente
formatting
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Transformation of Morse function in \mathbb$\mathbb{CP}^n^n$ trough symplectomorphism

added 1 character in body
Source Link

I have a question I have been thinking for a while and feel like it should be true but have no idea of how to prove it. First let me introduce a piece of notation.

Consider $(\mathbb{CP}^n,\omega)$ where $\omega$ is the standard Fubini form. We say that a function $f:\mathbb{CP}^n\to \mathbb{R}$ is height-like if $$f([z_0:\ldots:z_n])=g(\|z_0\|,\ldots,\|z_n\|),$$ for $g:\mathbb{R}^{n+1}\to \mathbb{R}$ having a critical point only at the origin.

Obs: This is a generalization of the notion of height fuction on $S^2\cong \mathbb{CP}^1$, given by $f([z_0:z_1])=\frac{\|z_1\|^2-\|z_0\|^2}{\|z_1\|^2+\|z_0\|^2}$. In higher dimensions we could take for example: $$f([z_0:\ldots:z_n])=\sum_{i=0}^n\frac{i\|z_i\|^2}{\|z_1\|^2+\ldots+\|z_n\|^2}$$

Height-like functions in $\mathbb{CP}^n$ have exactly $n+1$ critical points, they are: $$[1:0:\ldots:0],\ldots,[0:0:\ldots:1].$$

So, my question is, given a Morse function $f$ in $\mathbb{CP}^n$ with exactly $n+1$ critical points (notice $f$ is not necessarily height-like), does there exists a symplectomorphism $\Phi:\mathbb{CP}^n\to\mathbb{CP}^n$ s.t. $g:=f\circ\Phi$ is hight-like?

I think I have a proof for $n=1$, roughly speaking, in dimension 2 $\Phi$ is symplectomorphic if and only if takes loops bounding a disk of area $A$ to loops bounding a disk of area $A$. Such a map coulcould be ''relatively" easy to accomplish for $n=1$. InhigerIn higer dimensions this idea is completely useless.

I would appreciate any help I could get, either a negative answer to my question or a positive answer, hopefully with a proof.

I have a question I have been thinking for a while and feel like it should be true but have no idea of how to prove it. First let me introduce a piece of notation.

Consider $(\mathbb{CP}^n,\omega)$ where $\omega$ is the standard Fubini form. We say that a function $f:\mathbb{CP}^n\to \mathbb{R}$ is height-like if $$f([z_0:\ldots:z_n])=g(\|z_0\|,\ldots,\|z_n\|),$$ for $g:\mathbb{R}^{n+1}\to \mathbb{R}$ having a critical point only at the origin.

Obs: This is a generalization of the notion of height fuction on $S^2\cong \mathbb{CP}^1$, given by $f([z_0:z_1])=\frac{\|z_1\|^2-\|z_0\|^2}{\|z_1\|^2+\|z_0\|^2}$. In higher dimensions we could take for example: $$f([z_0:\ldots:z_n])=\sum_{i=0}^n\frac{i\|z_i\|^2}{\|z_1\|^2+\ldots+\|z_n\|^2}$$

Height-like functions in $\mathbb{CP}^n$ have exactly $n+1$ critical points, they are: $$[1:0:\ldots:0],\ldots,[0:0:\ldots:1].$$

So, my question is, given a Morse function $f$ in $\mathbb{CP}^n$ with exactly $n+1$ critical points (notice $f$ is not necessarily height-like), does there exists a symplectomorphism $\Phi:\mathbb{CP}^n\to\mathbb{CP}^n$ s.t. $g:=f\circ\Phi$ is hight-like?

I think I have a proof for $n=1$, roughly speaking, in dimension 2 $\Phi$ is symplectomorphic if and only if takes loops bounding a disk of area $A$ to loops bounding a disk of area $A$. Such a map coul be ''relatively" easy to accomplish for $n=1$. Inhiger dimensions this idea is completely useless.

I would appreciate any help I could get, either a negative answer to my question or a positive answer, hopefully with a proof.

I have a question I have been thinking for a while and feel like it should be true but have no idea of how to prove it. First let me introduce a piece of notation.

Consider $(\mathbb{CP}^n,\omega)$ where $\omega$ is the standard Fubini form. We say that a function $f:\mathbb{CP}^n\to \mathbb{R}$ is height-like if $$f([z_0:\ldots:z_n])=g(\|z_0\|,\ldots,\|z_n\|),$$ for $g:\mathbb{R}^{n+1}\to \mathbb{R}$ having a critical point only at the origin.

Obs: This is a generalization of the notion of height fuction on $S^2\cong \mathbb{CP}^1$, given by $f([z_0:z_1])=\frac{\|z_1\|^2-\|z_0\|^2}{\|z_1\|^2+\|z_0\|^2}$. In higher dimensions we could take for example: $$f([z_0:\ldots:z_n])=\sum_{i=0}^n\frac{i\|z_i\|^2}{\|z_1\|^2+\ldots+\|z_n\|^2}$$

Height-like functions in $\mathbb{CP}^n$ have exactly $n+1$ critical points, they are: $$[1:0:\ldots:0],\ldots,[0:0:\ldots:1].$$

So, my question is, given a Morse function $f$ in $\mathbb{CP}^n$ with exactly $n+1$ critical points (notice $f$ is not necessarily height-like), does there exists a symplectomorphism $\Phi:\mathbb{CP}^n\to\mathbb{CP}^n$ s.t. $g:=f\circ\Phi$ is hight-like?

I think I have a proof for $n=1$, roughly speaking, in dimension 2 $\Phi$ is symplectomorphic if and only if takes loops bounding a disk of area $A$ to loops bounding a disk of area $A$. Such a map could be ''relatively" easy to accomplish for $n=1$. In higer dimensions this idea is completely useless.

I would appreciate any help I could get, either a negative answer to my question or a positive answer, hopefully with a proof.

Source Link

Transformation of Morse function in \mathbb{CP}^n trough symplectomorphism

I have a question I have been thinking for a while and feel like it should be true but have no idea of how to prove it. First let me introduce a piece of notation.

Consider $(\mathbb{CP}^n,\omega)$ where $\omega$ is the standard Fubini form. We say that a function $f:\mathbb{CP}^n\to \mathbb{R}$ is height-like if $$f([z_0:\ldots:z_n])=g(\|z_0\|,\ldots,\|z_n\|),$$ for $g:\mathbb{R}^{n+1}\to \mathbb{R}$ having a critical point only at the origin.

Obs: This is a generalization of the notion of height fuction on $S^2\cong \mathbb{CP}^1$, given by $f([z_0:z_1])=\frac{\|z_1\|^2-\|z_0\|^2}{\|z_1\|^2+\|z_0\|^2}$. In higher dimensions we could take for example: $$f([z_0:\ldots:z_n])=\sum_{i=0}^n\frac{i\|z_i\|^2}{\|z_1\|^2+\ldots+\|z_n\|^2}$$

Height-like functions in $\mathbb{CP}^n$ have exactly $n+1$ critical points, they are: $$[1:0:\ldots:0],\ldots,[0:0:\ldots:1].$$

So, my question is, given a Morse function $f$ in $\mathbb{CP}^n$ with exactly $n+1$ critical points (notice $f$ is not necessarily height-like), does there exists a symplectomorphism $\Phi:\mathbb{CP}^n\to\mathbb{CP}^n$ s.t. $g:=f\circ\Phi$ is hight-like?

I think I have a proof for $n=1$, roughly speaking, in dimension 2 $\Phi$ is symplectomorphic if and only if takes loops bounding a disk of area $A$ to loops bounding a disk of area $A$. Such a map coul be ''relatively" easy to accomplish for $n=1$. Inhiger dimensions this idea is completely useless.

I would appreciate any help I could get, either a negative answer to my question or a positive answer, hopefully with a proof.