{"title":"接触结构下不可展有理曲线的最小有理切线的多样性","authors":"Jun-Muk Hwang","doi":"10.2969/JMSJ/85868586","DOIUrl":null,"url":null,"abstract":"A nonsingular rational curve $C$ in a complex manifold $X$ whose normal bundle is isomorphic to $${\\mathcal O}_{{\\mathbb P}^1}(1)^{\\oplus p} \\oplus {\\mathcal O}_{{\\mathbb P}^1}^{\\oplus q}$$ for some nonnegative integers $p$ and $q$ is called an unbendable rational curve on $X$. Associated with it is the variety of minimal rational tangents (VMRT) at a point $x \\in C,$ which is the germ of submanifolds ${\\mathcal C}^C_x \\subset {\\mathbb P} T_x X$ consisting of tangent directions of small deformations of $C$ fixing $x$. Assuming that there exists a distribution $D \\subset TX$ such that all small deformations of $C$ are tangent to $D$, one asks what kind of submanifolds of projective space can be realized as the VMRT ${\\mathcal C}^C_x \\subset {\\mathbb P} D_x$. When $D \\subset TX$ is a contact distribution, a well-known necessary condition is that ${\\mathcal C}_x^C$ should be Legendrian with respect to the induced contact structure on ${\\mathbb P} D_x$. We prove that this is also a sufficient condition: we construct a complex manifold $X$ with a contact structure $D \\subset TX$ and an unbendable rational curve $C \\subset X$ such that all small deformations of $C$ are tangent to $D$ and the VMRT ${\\mathcal C}^C_x \\subset {\\mathbb P} D_x$ at some point $x\\in C$ is projectively isomorphic to an arbitrarily given Legendrian submanifold. Our construction uses the geometry of contact lines on the Heisenberg group and a technical ingredient is the symplectic geometry of distributions the study of which has originated from geometric control theory.","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-01-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Varieties of minimal rational tangents of unbendable rational curves subordinate to contact structures\",\"authors\":\"Jun-Muk Hwang\",\"doi\":\"10.2969/JMSJ/85868586\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A nonsingular rational curve $C$ in a complex manifold $X$ whose normal bundle is isomorphic to $${\\\\mathcal O}_{{\\\\mathbb P}^1}(1)^{\\\\oplus p} \\\\oplus {\\\\mathcal O}_{{\\\\mathbb P}^1}^{\\\\oplus q}$$ for some nonnegative integers $p$ and $q$ is called an unbendable rational curve on $X$. Associated with it is the variety of minimal rational tangents (VMRT) at a point $x \\\\in C,$ which is the germ of submanifolds ${\\\\mathcal C}^C_x \\\\subset {\\\\mathbb P} T_x X$ consisting of tangent directions of small deformations of $C$ fixing $x$. Assuming that there exists a distribution $D \\\\subset TX$ such that all small deformations of $C$ are tangent to $D$, one asks what kind of submanifolds of projective space can be realized as the VMRT ${\\\\mathcal C}^C_x \\\\subset {\\\\mathbb P} D_x$. When $D \\\\subset TX$ is a contact distribution, a well-known necessary condition is that ${\\\\mathcal C}_x^C$ should be Legendrian with respect to the induced contact structure on ${\\\\mathbb P} D_x$. We prove that this is also a sufficient condition: we construct a complex manifold $X$ with a contact structure $D \\\\subset TX$ and an unbendable rational curve $C \\\\subset X$ such that all small deformations of $C$ are tangent to $D$ and the VMRT ${\\\\mathcal C}^C_x \\\\subset {\\\\mathbb P} D_x$ at some point $x\\\\in C$ is projectively isomorphic to an arbitrarily given Legendrian submanifold. Our construction uses the geometry of contact lines on the Heisenberg group and a technical ingredient is the symplectic geometry of distributions the study of which has originated from geometric control theory.\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2021-01-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.2969/JMSJ/85868586\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.2969/JMSJ/85868586","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Varieties of minimal rational tangents of unbendable rational curves subordinate to contact structures
A nonsingular rational curve $C$ in a complex manifold $X$ whose normal bundle is isomorphic to $${\mathcal O}_{{\mathbb P}^1}(1)^{\oplus p} \oplus {\mathcal O}_{{\mathbb P}^1}^{\oplus q}$$ for some nonnegative integers $p$ and $q$ is called an unbendable rational curve on $X$. Associated with it is the variety of minimal rational tangents (VMRT) at a point $x \in C,$ which is the germ of submanifolds ${\mathcal C}^C_x \subset {\mathbb P} T_x X$ consisting of tangent directions of small deformations of $C$ fixing $x$. Assuming that there exists a distribution $D \subset TX$ such that all small deformations of $C$ are tangent to $D$, one asks what kind of submanifolds of projective space can be realized as the VMRT ${\mathcal C}^C_x \subset {\mathbb P} D_x$. When $D \subset TX$ is a contact distribution, a well-known necessary condition is that ${\mathcal C}_x^C$ should be Legendrian with respect to the induced contact structure on ${\mathbb P} D_x$. We prove that this is also a sufficient condition: we construct a complex manifold $X$ with a contact structure $D \subset TX$ and an unbendable rational curve $C \subset X$ such that all small deformations of $C$ are tangent to $D$ and the VMRT ${\mathcal C}^C_x \subset {\mathbb P} D_x$ at some point $x\in C$ is projectively isomorphic to an arbitrarily given Legendrian submanifold. Our construction uses the geometry of contact lines on the Heisenberg group and a technical ingredient is the symplectic geometry of distributions the study of which has originated from geometric control theory.