[논문 리뷰] Elementary Transversality in the Schubert calculus in any Characteristic

Frank Sottile|ArXiv.org|2000. 10. 31.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 5

한 줄 요약

이 논문은 일반적인 코디멘션-1 슈부르트 다양체가 그라스만이안, 플래그 다양체, 올리고나리 그라스만이안, 그리고 유리 곡선의 공간에서 모든 특성수에서 횡단적으로 만난다는 특성에 의존하지 않는 증명을 제공한다. 이는 특성수 2를 제외한 모든 특성수에서 해당 교차 수가 수세기적임을 보장한다. [21]의 형식적 체계와 접선 공간 분석에 기반한 간단한 접근 방식을 통해 라크소프와 스피저의 일반 정리들이 이러한 경우에 실패하므로, 이들의 일반 정리에 의존하지 않고 횡단성을 확립한다.

ABSTRACT

We give a characteristic-free proof that general codimension-1 Schubert varieties meet transversally in a Grassmannian and in some related varieties. Thus the corresponding intersection numbers computed in the Chow (and quantum Chow) rings of these varieties are enumerative in all characteristics. We show that known transversality results do not apply to these enumerative problems, emphasizing the need for additional theoretical work on transversality. The method of proof also strengthens some results in real enumerative geometry.

연구 동기 및 목표

• 모든 대수적으로 닫힌 체, 특히 양의 특성수에서 그라스만이안과 관련 공간의 일반적인 코디멘션-1 슈부르트 다양체의 횡단성을 확립하는 것.
• 이러한 교차에서 유도된 교차 수가, 즉 중복도가 1인 해를 세는 수세기적임을 보여주는 것, 모든 특성수에서 성립한다.
• 기존의 횡단성 이론—특히 라크소프와 스피저의 이론—이 이러한 고전적인 수세기적 문제에 적용되지 않는다는 것을 보여주는 것.
• 개발된 프레임워크를 활용해 실수 대수기하학의 수세기적 결과를 강화하는 것.
• 고전적 슈부르트 계산이 특성수 2를 제외한 모든 특성수에서 수세기적임을 보여주는 더 넓은 추측을 제기하는 것.

제안 방법

• 슈부르트 다양체의 교차점에서의 접선 공간 분석에 기반한 특성수에 의존하지 않는 간단한 접근 방식을 사용한다.
• [21]의 형식적 체계를 적용하여 접선 공간 간 선형 사상과 그 랭크를 통해 횡단성을 분석한다.
• 사상 αL,x가 최대 랭크를 가지지 못하는 점들의 집합 ΔL을 정의하고, 그 코드미너션을 계산한다.
• 일반적인 슈부르트 다양체에 대해 이 집합 ΔL가 공집합거나 기대 코드미너션 ρL와 일치하는 코드미너션을 가지며, 이는 횡단성을 의미한다.
• 그라스만이안 위에서의 피보터 제품을 통해 가족 X를 구성하며, 이들의 섬유는 매끄러운 슈부르트 다양체의 교차에 대응한다.
• 가족 X가 라크소프와 스피저의 의미에서 결정식적이지 않음을 보여주어, 그들의 일반 이론이 이 경우에 적용되지 않음을 입증한다.

실험 결과

연구 질문

• RQ1 일반적인 코디멘션-1 슈부르트 다양체의 횡단성은 양의 특성수를 포함한 임의의 특성수에서 확립될 수 있는가?
• RQ2 왜 라크소프와 스피저의 표준 횡단성 정리들이 이러한 고전적 슈부르트 계산 문제에 적용되지 않는가?
• RQ3 고전적 슈부르트 계산의 교차 수는 양의 특성수를 포함한 모든 특성수에서 수세기적인가?
• RQ4 [21]의 형식적 체계는 실수 해를 구성하는 것 외에도, 수세기 문제에서 횡단성을 증명하는 데 사용될 수 있는가?
• RQ5 기존의 일반 이론을 넘어서 수세기 기하학에서 횡단성을 포괄할 수 있는 더 넓은 원리나 새로운 기준이 존재하는가?

주요 결과

• 모든 특성수에서 그라스만이안의 일반적인 코디멘션-1 슈부르트 다양체는 횡단적으로 만난다. 이는 해당 교차 수가 수세기적임을 보장한다.
• 7차원 공간에서 12개의 일반적인 4차원 평면의 교차 수는 정확히 462이며, 이 수는 모든 특성수에서 유효하다.
• 5차원 공간에서 N = 5q + 6개의 일반적인 점과 3차원 평면이 주어질 때, 각 쌍과 만날 수 있는 차수 q의 유리 곡선의 수는 정확히 (5 + 5q)-번째 피보나치 수이며, 이 수는 모든 특성수에서 수세기적이다.
• 간단한 슈부르트 다양체의 가족은 라크소프와 스피저의 결정식 조건을 만족하지 않으며, 이는 그들의 이론이 이러한 경우에 적용되지 않음을 보여준다.
• 스무스 점에서 슈부르트 다양체의 접선 공간은 그라스만이안의 접선 공간의 선형 부분공간이며, 이러한 접선 공간들의 집합은 안정화자 군에 의해 단일 궤도를 이룬다.
• 실패 집합 ΔL의 코드미너션은 정확히 n−2이며, l > 0 이고 r, n−r > 1 인 경우 기대 코드미너션 ρL는 이를 초과한다. 이는 차원 계산을 통해 횡단성을 증명한다.