[논문 리뷰] Genus of curves in generic hypersurfaces

Bin Wang|arXiv (Cornell University)|2011. 10. 02.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 3

한 줄 요약

이 논문은 프로젝티브 공간 안의 매끄러운 초곡면 안에 있는 매끄러운 곡선의 1차 변형에 대한 새로운 차단 조건을 제시하며, 이는 종수 공식을 도출하고, $ n \geq 3 $ 인 경우 일반적인 초곡면에서 $ h \geq 2n-1 $ 차수를 가진 매끄러운 타원곡선이 존재할 수 없음을 증명한다. 이 결과는 Clemons의 경계를 개선하며, 다양체 쌍의 변형 이론에서 미묘한 기하적 차단 조건을 드러낸다.

ABSTRACT

This is the continuation of our paper [10]. In this paper which is self contained, we would like to give a different obstruction formula to the FIRST order deformation of the pair of a smooth curve and a smooth hypersurface. This obstruction formula leads to a genus formula for a smooth curve in a smooth hypersurface. As an application we show that smooth elliptic curves in a smooth hypersurface of degree $$h\geq 2n-1$$ in the projective space $\mathbf P^n, n\geq 3,$ can't deform in the first order to all hypersurfaces of the same degree. In particular, there are no smooth elliptic curves in generic hypersurfaces of degree $$h\geq 2n-1.$$ This application in return leads to a study of the deformation of the pair mentioned above.

연구 동기 및 목표

• 프로젝티브 공간 $ \mathbf{P}^n $ 안의 매끄러운 초곡면 내 매끄러운 곡선의 1차 변형에 대한 이전 연구와는 다름없는 새로운 차단 조건을 개발하는 것.
• 이 새로운 차단 조건을 통해 매끄러운 곡선이 매끄러운 초곡면에 매bed된 종수 공식을 유도하는 것.
• 변형 이론에서 쌍 $ (C_0, f_0) $ 의 1차 변형과 초곡면 모듈리 공간 내 전체 변형 사이의 기하적 차이를 조사하는 것.
• 매끄러운 타원곡선이 차수 $ h \geq 2n-1 $ 인 모든 초곡면으로 변형될 수 없음을 증명하여, 이러한 곡선이 일반적인 초곡면에 존재하지 않음을 보이는 것.

제안 방법

• 쌍 $ C_0 \subset f_0 $ 의 1차 변형을 형식화하기 위해, 무한소 변형을 나타내는 사상 $ P_S^s: H^0(\bar{c}_0^*(TX_S)) \to T_{f_0}S $ 를 사용한다.
• 두 개의 매개수 공간을 고려한다: $ S = \mathbf{C}^{h+1} $ 는 $ f_0 + \sum a_i L_0 \cdots \hat{L}_i \cdots L_h $ 의 형태를 가진 초곡면을 매개수화하며, $ S = \mathbf{P}(H^0(\mathcal{O}_{\mathbf{P}^n}(h))) $ 는 전체 차수-$ h $ 초곡면 공간이다.
• 점 $ q \in C_0 $ 에서 $ T_{f_0}|_q $ 의 부분공간 $ E_q $ 를 차원이 2인 여부로 정의하여, 특정 단항식 $ <L_0L\cdots L> $ 이 $ E_q $ 에 속하지만 $ <L_0JL\cdots L> $ 은 속하지 않도록 한다.
• 지역 해석적 매개수화 $ U_i = \{ L + x_i J \} $ 를 통해 $ S_{E_q,\epsilon} $ 라는 부분다양체를 정의하고, 비영인 야코비안 행렬식을 통해 $ (L_0, L, \dots, L) $ 근처에서 이것이 매끄럽고 기약임을 보인다.
• $ GL(n+1) $ 대칭성을 적용하여, 장애 사상의 이미지에 속하지 않는 $ H^0(c_0^*(N_{C_0}f_0(1))) $ 의 절편을 구성함으로써, 차원 부등식 $ \dim H^0(c_0^*(N_{C_0}f_0(1))) > \dim B $ 를 증명한다.
• 만약 점 $ q $ 에서 $ L_0 <L_1 \cdots L_h> - L_k <L_0L_1 \cdots \hat{L}_k \cdots L_h> \notin E_q $ 라면, 해당 절편은 장애 부분공간 $ B $ 에 속하지 않으며, 이는 비영인 장애를 의미한다.

실험 결과

연구 질문

• RQ1 고정된 차수를 가진 프로젝티브 공간 $ \mathbf{P}^n $ 안의 매끄러운 초곡면 가중 가중족 내에서 매끄러운 곡선 $ C_0 $ 가 1차적으로 변형되기 위한 필수 조건(장애)은 무엇인가?
• RQ2 이 새로운 장애 공식은 [9]에 있는 공식과 어떻게 다를까? 그리고 이는 쌍 $ (C_0, f_0) $ 의 변형에 대해 어떤 기하적 통찰을 제공하는가?
• RQ3 차수 $ h $ 와 차원 $ n $ 이 어떤 조건일 때, $ \mathbf{P}^n $ 에서 차수 $ h $ 의 일반 초곡면에 매끄러운 타원곡선이 존재하지 않을까?
• RQ4 $ H^1(N_{C_0}f_0) $ 이 0이 아닐 때, $ H^1(N_{C_0}f_0) $ 의 영함수성과 쌍 $ C_0 \subset f_0 $ 의 전체 변형 존재성 사이의 정확한 관계는 무엇인가?
• RQ5 쌍의 1차 변형 공간의 차원이 장애 부분공간 $ B $ 의 차원보다 엄밀히 클 수 있는가? 이는 그러한 곡선의 존재성에 대해 어떤 의미를 갖는가?

주요 결과

• 매끄러운 곡선이 매끄러운 초곡면 안에 있을 때의 1차 변형에 대한 새로운 장애 공식이 도출되었으며, 이는 [9]의 공식과 다름없고, 다양체 쌍의 변형 장애 연구에 적용 가능하다.
• 매끄러운 곡선의 종수는 매립 구조와 장애 구조에 따라 달라지며, 이 새로운 장애 조건을 통해 종수 공식을 도출할 수 있다.
• 매끄러운 타원곡선은 $ n \geq 3 $ 인 경우 일반적인 초곡면에서 차수 $ h \geq 2n - 1 $ 일 때 존재할 수 없음을 증명하였다. 이는 Clemons의 경계를 1개 개선한 결과이다.
• 차수 $ h \geq 2n - 1 $ 일 때, 1차 변형에 대한 장애는 비영이며, 이는 이러한 곡선이 같은 차수의 모든 근처 초곡면으로 변형될 수 없음을 의미한다.
• $ H^0(c_0^*(N_{C_0}f_0(1))) $ 의 차원은 장애 부분공간 $ B $ 의 차원을 초월하며, 이는 1차 변형 공간이 장애 사상의 이미지보다 엄밀히 크다는 것을 보여준다.
• 이 결과는 변형 이론에서 미묘한 기하적 차이를 드러낸다: $ H^1(N_{C_0}f_0) \neq 0 $ 일지라도, 고차항 장애로 인해 쌍이 여전히 변형되지 않을 수 있으며, 이는 코다이라의 영함수 조건이 반드시 필요하다는 것을 도전한다.