[논문 리뷰] Singular Loci of Hibi toric varieties

V. Lakshmibai, Himadri Mukherjee|arXiv (Cornell University)|2007. 06. 18.

Advanced Combinatorial Mathematics참고 문헌 19인용 수 14

한 줄 요약

이 논문은 유한한 분배 라티스에 관련된 정규 토릭 다양체인 히비 토릭 다양체의 특이점에서의 코탄젠트 공간에 대해, 라티스 이론적 자료를 사용하여 기저를 구성함으로써 명시적인 기술을 제공한다. 특이점의 집합은 임베딩된 부분라티스 $ D_{\tau} $ 에 대응하는 부분다양체들의 합집합이며, 이는 라티스 내의 체인과 동치류에 대한 조합 조건에 의해 결정되는, 탄젠트 공간의 차원이 환경 차원을 초과할 때 발생한다.

ABSTRACT

We first construct explicit bases for the cotangent spaces at singular points on Hibi toric varieties, i.e., toric varieties associated to distributive lattices. We then determine the singular loci of these toric varieties.

연구 동기 및 목표

• 히비 토릭 다양체의 특이점에서의 코탄젠트 공간의 구조를 규명하는 것.
• 기본적인 분배 라티스의 조합 자료를 통해 히비 토릭 다양체의 특이점의 집합을 기술하는 것.
• 체인과 라티스 내의 동치류를 사용한 명시적이고 조합적으로 정의된 특이성 기준을 제공하는 것.

제안 방법

• 히비 토릭 다양체 $ X_{\mathcal{L}} $ 와 관련된 콧뿔 $ \tau $ 와 그 쌍대 $ \sigma^\vee $ 를 구성하고, 반군 대수 $ K[S_\sigma] $ 를 $ X_{\mathcal{L}} $ 의 좌표환과 동일시한다.
• 모든 토릭 궤도 $ \mathcal{O}_\tau $ 에서의 특징점 $ P_\tau $ 는 $ \tau^\perp $ 를 벗어나면 0이 되는 반군 사상에 의해 정의되며, $ P_\tau $ 에서의 평가 사상의 핵으로서 최대 이상수 $ M_{P_\tau} $ 를 식별한다.
• 집합 $ D_\tau = \{ \alpha \in \mathcal{L} \mid P_\tau(\alpha) \neq 0 \} $ 를 도입하여, 이는 $ P_\tau $ 근처의 국소 기하학을 결정하는 임베딩된 부분라티스가 된다.
• 함수 $ F_\alpha $ 는 $ \alpha \notin D_\tau $ 이면 $ x_\alpha $ 로 정의하고, $ \alpha \in D_\tau $ 이면 $ 1 - x_\alpha $ 로 정의하며, 이를 통해 $ M_{P_\tau} $ 를 생성한다.
• 집합 $ G_\tau(\Gamma) $ 는 $ Y_\tau(\Gamma) \setminus \{\Gamma \cup E_\tau\} $ 에 속한 원소들의 동치류로 구성되며, 여기서 $ \Gamma $ 는 $ D_\tau $ 에서의 최대 체인이고, $ E_\tau $ 는 $ \mathcal{L} \setminus D_\tau $ 에서 한 다이아몬드의 대각선을 형성하는 원소들로 이루어진다.
• 이미지 $ F_\alpha $ 가 $ M_{P_\tau}/M_{P_\tau}^2 $ 에서 $ \gamma \in \Gamma $ 에 대해 $ F_\gamma $ 와 함께 기저를 이룬다는 것을 증명함으로써, 탄젠트 공간의 차원 공식을 도출한다.

실험 결과

연구 질문

• RQ1 히비 토릭 다양체의 특이점에서의 코탄젠트 공간의 명시적 구조는 무엇인가?
• RQ2 기본적인 분배 라티스를 기반으로 하여 히비 토릭 다양체의 특이점의 집합은 어떻게 기술할 수 있는가?
• RQ3 라티스에서 어떤 조합 조건이 특정 점이 특이점 집합에 속해 있음을 보장하는가?
• RQ4 최대 이상수 $ M_{P_\tau} $ 의 생성자들이 $ P_\tau $ 근처의 다양체 기하학과 어떻게 관련되어 있는가?
• RQ5 토릭 궤도 점에서의 탄젠트 공간 차원은 라티스 이론적 불변량으로 계산할 수 있는가?

주요 결과

• 점 $ P_\tau $ 에서의 코탄젠트 공간은 $ \Gamma $ 가 $ D_\tau $ 에서의 최대 체인일 때, $ G_\tau(\Gamma) $ 에 속하는 $ \alpha $ 에 대해 $ F_\alpha $ 의 이미지들과 $ \gamma \in \Gamma $ 에 대해 $ F_\gamma $ 의 이미지들로 이루어진 기저를 가진다.
• 점 $ P\_\tau $ 에서의 탄젠트 공간의 차원은 $ \#G_\tau(\Gamma) + \#\Gamma $ 로 주어지며, 이는 점이 특이점인지 여부를 결정한다.
• 점 $ P_\tau $ 가 특이점이 되는 것은 $ \#G_\tau(\Gamma) + \#\Gamma > \#\mathcal{L} $ 를 만족할 때에만 성립하며, 이는 특이성에 대한 정확한 조합 기준을 제공한다.
• 특이점의 집합 $ \text{Sing}\,X_{\mathcal{L}} $ 는 모든 면 $ \tau $ 에 대해, $ P_\tau $ 에서 0이 아닌 원소들의 부분라티스 $ D_\tau $ 를 갖는 부분다양체 $ X(D_\tau) $ 의 합집합이다. 이는 차원 부등식을 만족하는 면들에 대해 성립한다.
• 탄젠트 공간 차원 공식은 다양체가 궤도 $ \mathcal{O}_\tau $ 에서 특이성이 있음을 보장하며, 이는 $ M_{P_\tau}/M_{P_\tau}^2 $ 의 독립적 생성자 수가 환경 공간의 차원을 초과할 때 성립한다.
• 기저의 구성은 체인 $ \Gamma $ 와 $ G_\tau(\Gamma) $ 에 속한 동치류에서 오는 성분들로 코탄젠트 공간의 직합 분해에 기반하며, 선형화 사상의 핵 분해를 통해 독립성이 증명된다.