[논문 리뷰] Existence and non-existence of skew branes

Serge Tabachnikov, Yu. Tyurina|ArXiv.org|2005. 04. 23.

Geometric and Algebraic Topology참고 문헌 7인용 수 4

한 줄 요약

이 논문은 특성류와 호모로지 교차 이론을 사용하여, 두 접공간이 평행하지 않은 다성분의 매장(스키우 브라나)이 존재할 수 없는 위상적 장벽을 규명한다. 2차원의 코디멘션을 갖는 닫힘, 옹호된 다성분의 경우 비영인 오일러 특성수를 가진 경우 반드시 음의 평행 접공간 쌍을 가져야 하며, R^4와 R^{2n+1}에서 표준 구와 토러스의 명시적 변형을 통해 모든 평행 접공간 쌍을 피하는 예를 제시함으로써, 기존의 존재 불가 정리가 적용되는 경우에도 존재 가능성을 입증한다.

ABSTRACT

Following recent work by Ghomi, Solomon and Tabachnikov, we study geometry and topology of skew branes. A skew brane is a codimension 2 submanifold in affine space such that the tangent spaces at any pair of distinct points are not parallel. We prove that if an oriented closed manifold has a non-zero Euler characteristic $ξ$ then it is not a skew brane; generically, the number of oppositely oriented pairs of parallel tangent spaces is not less than $(ξ^2)/4$. We also construct examples of skew odd-dimensional spheres and skew two-dimensional tori.

연구 동기 및 목표

• 특성류와 호모로지 교차 이론을 사용하여, 두 접공간이 평행하지 않은 매장(스키우 브라나)의 존재에 대한 위상적 장벽을 규명한다.
• 비영 오일러 특성수를 가진 2n차원의 닫힘, 옹호된 R^{2n+2} 내부에 임bed된 부분다성분이 적어도 한 쌍의 음의 평행 접공간을 가져야 한다는 것을 증명한다.
• R^{2n+1}과 R^4에서 표준 구와 토러스의 변형을 포함하여, 모든 평행 접공간 쌍을 피하는 명시적 예를 제시한다.
• 이중점이 하나인 R^4 내의 매장된 구에서 음의 평행 접공간 쌍이 존재하지 않도록 하여, 비존재 정리의 경계가 정확함을 보인다.

제안 방법

• 접공간의 가우스 매핑을 사용하여, 옹호된 그라스만다이안 G_{2n}^+(2n+2)에 기본 호모로지 클래스를 부여하고, 그의 호모로지 클래스와 방향 전환 인벌루션의 교차를 계산한다.
• 그라스만다이안 위의 타우토로지컬 번들의 특성류를 적용하여 호모로지 교차 수를 계산함으로써, 음의 평행 접공간 쌍의 수에 하한을 구한다.
• 토러스 위의 함수를 Z_2^2-불변 및 반전성 성분으로 분해하여, 변형 하에서 접공간을 지배하는 방정식계를 분석한다.
• 각도 좌표의 작은, 정교하게 선택된 함수로 표준 구 S^{2n-1} ⊂ R^{2n+1}과 표준 토러스 T^2 ⊂ R^4의 매개변수화를 수정하여 명시적 변형을 구성한다.
• ε에 대한 선형 근사에서 접공간의 플루커 좌표를 계산하여, 접공간 쌍이 평행하거나 음의 평행이 되는 조건을 분석한다.
• 일반적인 변형 함수 선택에 대해 평행성에 대한 방정식계가 해를 가지지 않음을 보여줌으로써, 변형된 다성분이 모든 평행 접공간 쌍을 피함을 검증한다.

실험 결과

연구 질문

• RQ1 R^{2n+2} 내에 임베딩된 닫힘, 옹호된 2n차원 부분다성분이 반드시 음의 평행 접공간 쌍을 가지는 위상적 조건은 무엇인가?
• RQ2 2차 곡면에 대한 비존재 결과에도 불구하고, R^{2n+1} 내 표준 구 S^{2n-1}을 변형하여 모든 평행 접공간 쌍을 피할 수 있는가?
• RQ3 R^4 내 표준 토러스 T^2를 변형하여 모든 평행 접공간 쌍(음의 평행 포함)을 제거할 수 있는가?
• RQ4 R^4 내의 매장된 표면에 대해 이중점의 대수적 수로 주어진 음의 평행 접공간 쌍의 수에 대한 하한의 정확성은 어떻게 평가할 수 있는가?
• RQ5 이중점이 정확히 하나인 R^4 내의 매장된 구에서 음의 평행 접공간 쌍이 존재하지 않도록 만들 수 있는가?

주요 결과

• 비영 오일러 특성수 χ를 가진 닫힘, 옹호된 다성분 M^{2n} ⊂ R^{2n+2}은 적어도 한 쌍의 서로 다른 점에서 음의 평행 접공간을 가져야 한다.
• 일반적인 경우, 음의 평행 접공간 쌍의 순서 없는 쌍의 수는 최소 χ²/4 이상이다.
• 표준 구 S^{2n-1} ⊂ R^{2n+1}에 대해 작은 C¹-변형이 존재하여 모든 평행 접공간 쌍을 피함을 보여주며, 이는 비2차 곡면에 대한 스카이우 브라나의 존재를 입증한다.
• 표준 토러스 T^2 ⊂ R^4에 대해 모든 평행 접공간 쌍을 피하는 작은 변형이 존재하며, 이는 새로운 스카이우 토러스의 구성이다.
• 정확히 하나의 이중점과 음의 평행 접공간 쌍이 없는 R^4 내의 매장된 구가 존재함을 보여주며, 이는 구의 경우에 대해 정리 2의 경계가 정확함을 입증한다.
• R^4 내에서 이중점이 하나인 구의 변형은 g(α) = sin 2α + sin 4α 함수로 매개변수화를 수정함으로써 이루어지며, 이는 이에 의해 음의 평행 접공간을 유도하는 대칭성을 깨뜨린다.