[논문 리뷰] Geometric Invariants of Recursive Group Orbit Stratification

Xiping Zhang|arXiv (Cornell University)|2020. 09. 20.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 4

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위에서 재귀적 군 궤도 분할에 대해 $c_{sm}$ 불변량을 도입하며, 궤도 분할의 국소 오일러 비틀림과 단면 오일러 특성에 대한 명시적 대수적 공식을 제공한다. 이 방법은 프로젝티브 궤도의 코호몰로지 클래스를 사용하여 기하 불변량을 체계적으로 계산하며, 일반, 대칭, 반대칭 랭크 위치에 응용된다.

ABSTRACT

The local Euler obstructions and the Euler characteristics of linear sections with all hyperplanes on a stratified projective variety are key geometric invariants in the study of singularity theory. Despite their importance, in general it is very hard to compute them. In this paper we consider a special type of singularity: the recursive group orbits. They are the group orbits of a sequence of $G_n$ representations $V_n$ satisfying certain assumptions. We introduce a new intrinsic invariant called the $c_{sm}$ invariant, and use it to give explicit formulas to the local Euler obstructions and the sectional Euler characteristics of such orbits. In particular, the matrix rank loci are examples of recursive group orbits. Thus as applications, we explicitly compute these geometry invariants for ordinary, skew-symmetric and symmetric rank loci. Our method is systematic and algebraic, thus works for algebraically closed field of characteristic $0$. Moreover, in the complex setting we also compute the stalk Euler characteristics of the Intersection Cohomology Sheaf complexes for all three types of rank loci.

연구 동기 및 목표

• 특성 0의 체 위에서 특이 프로젝티브 다양체에 대한 국소 오일러 비틀림과 단면 오일러 특성을 체계적으로 계산하는 대수적 방법을 개발하는 것.
• 특이 공간에 대한 기하 불변량, 예를 들어 국소 오일러 비틀림과 단면 오일러 특성의 계산에 오랫동안 지속된 곤경을 해결하는 것.
• 기존 공식을 군 궤도 분할, 특히 행렬 랭크 위치에 대해 내재 불변량을 사용하여 재귀적 구조로 확장하는 것.
• 복소수 설정에서 랭크 위치의 교차 코호몰로지 층 복합체의 스타크 오일러 특성을 계산하는 것.
• 특성 0인 임의의 체에서 성립하는 슈부르트 기하학을 통한 이항 항등식을 수립하여 조합적 의미를 부여하는 것.

제안 방법

• 재귀적 군 궤도 분할에서 군 궤도의 프로젝티브화의 코호몰로지 클래스로부터 유도된 내재 불변량으로서 $c_{sm}$ 불변량을 도입한다.
• 공식 $\mathrm{Eu}_{\bar{\mathcal{O}}_{n,k}}(\mathcal{O}_{n,r}) = \sum_{(\mu_1 > \cdots > \mu_l \geq k)} \mathrm{Sm}_{n\mu_1} \cdots \mathrm{Sm}_{\mu_l k}$ 를 사용하여 플라그 분해를 통해 국소 오일러 비틀림을 계산한다.
• 슈부르트 기하학을 적용하여 일반 초곡면에 포함된 선형 부분공간을 매개하는 그라스만이안 스킴의 오일러 특성을 계산한다.
• 위상적 불변량을 사용하여 섬유 공간의 오일러 특성과 프로젝티브 공간 내 이차 초곡면의 차이를 연결한다.
• 제로 위치에 대한 불변량을 계산하기 위해 코호몰로지 클래스 공식 $c_{\mathrm{sm}}^{Z^{X}_{d,n}} = \frac{c(S^\vee \otimes Q) \cdot c_{\binom{d+2}{2}}(\mathrm{Sym}^2(S^\vee))}{c(\mathrm{Sym}^2(S^\vee))}$ 를 사용한다.
• 슈부르트 기하학에서의 퇴화 정리들을 활용하여, $2d \geq n$ 인 경우에 벡터 복합체의 질량 조건에 따라 특정 적분이 0이 됨을 보인다.

실험 결과

연구 질문

• RQ1 재귀적 군 궤도 분할에 대해 국소 오일러 비틀림을 체계적으로 계산할 수 있는 대수적 방법을 개발할 수 있는가?
• RQ2 $c_{sm}$ 불변량이 국소 오일러 비틀림과 단면 오일러 특성과 같은 기하 불변량의 계산을 어떻게 단순화하는가?
• RQ3 복소수 설정에서 랭크 위치에 대해 교차 코호몰로지 층 복합체의 스타크 오일러 특성은 어떻게 행동하는가?
• RQ4 대칭 및 반대칭 케이스에서 슈부르트 적분을 통해 유도된 이항 항등식의 배경이 되는 조합적 불변량은 무엇인가?
• RQ5 일부 슈부르트 적분의 퇴화 현상은 기하학적 또는 표현 이론적 대칭성으로 설명될 수 있는가?

주요 결과

• 재귀적 군 궤도 분할의 국소 오일러 비틀림은 $c_{sm}$ 불변량의 플라그 합으로 주어진다: $\mathrm{Eu}_{\bar{\mathcal{O}}_{n,k}}(\mathcal{O}_{n,r}) = \sum_{\mu_1 > \cdots > \mu_l \geq k} \mathrm{Sm}_{n\mu_1} \cdots \mathrm{Sm}_{\mu_l k}$.
• 다음과 같은 $2r$-평면이 포함된 일반적인 이차 초곡면 $\mathbb{P}^{3r+1}$ 에서의 개수는 정확히 $2^{d+1} \binom{A}{A-d-1}$ 이며, 여기서 $A = 2\lfloor (n+1)/2 \rfloor$.
• 일반적인 선형 단면에 대한 랭크 위치의 단면 오일러 특성은 $\mathbb{P}^{n-2d}$ 와 $\mathbb{P}^{n-2d-1}$ 에서의 일반적인 이차 초곡면의 오일러 특성의 차이를 통해 계산된다.
• 공식 $\int_{G(d+1,n+1)} \frac{c(S^\vee \otimes Q) \cdot c_{\binom{d+2}{2}}(\mathrm{Sym}^2(S^\vee))}{c(\mathrm{Sym}^2(S^\vee))} = 2^{d+1} \binom{m}{m-d-1}$ 는 $n = 2m$ 또는 $n = 2m+1$ 인 경우에 성립하며, 임의의 특성 0 체에서 유효하다.
• $2d \geq n$ 인 경우, 슈부르트 기하학에서 $\Delta_{[d+1]}(c(S^\vee))$ 가 퇴화하므로 $\mathrm{rk} Q < d+1$ 인 조건에 따라 코호몰로지 클래스 표현식의 적분이 0이 된다.
• 유도된 이항 항등식은 순수하게 대수적이며, 그 조합적 외관에도 불구하고 임의의 대수적으로 닫힌 특성 0 체에서 일반적으로 성립한다.