[논문 리뷰] Degeneracy Loci, Pfaffians, and Vexillary Signed Permutations in Types B, C, and D

David Anderson, William Fulton|arXiv (Cornell University)|2012. 10. 07.

Advanced Combinatorial Mathematics참고 문헌 16인용 수 22

한 줄 요약

이 논문은 B, C, D 유형에서의 복소부호 치환의 벡실라러스 개념을 도입하여, 이에 대응하는 열림 위치의 코homology 클래스가 명시적인 펄라피안 공식으로 주어짐을 보여준다. 주요 기여는 이 벡실라러스 원소에 대한 더블 슈버트 다항식이 일반화된 펄라피안과 일치함을 증명함으로써 카자리안, 이카다-미하라체-나루세, 비릴리-하이먼의 결과를 통합하고 확장하는 데 있다.

ABSTRACT

We define a notion of vexillary signed permutation in types B, C, and D, corresponding to natural degeneracy loci for vector bundles with symmetries of those types. We show that the classes of these loci are given by explicit Pfaffian formulas. The Grassmannian formulas of Kazarian are important special cases, and the corresponding double Schubert polynomials of Ikeda, Mihalcea, and Naruse are shown to be equal to these Pfaffians.

연구 동기 및 목표

• B, C, D 유형에서 간단한 기하학적 기술을 가진 열림 위치에 대응하는 벡실라러스 부호 치환의 개념을 정의하는 것.
• 이러한 위치의 코homology 클래스가 명시적인 펄라피안 공식으로 주어짐을 증명하여 고전적 행렬식 및 슈어 다항식 공식을 일반화하는 것.
• 이카다, 미하라체, 나루세의 이론에서 B, C, D 유형에 대해 정의한 더블 슈버트 다항식이 구성된 펄라피안과 동일함을 보이는 것.
• 카자리안의 등급이 높은 펄라피안 공식(등급이 높은 부분다발에 대한)과 비릴리-하이먼의 B, C, D 유형에서의 슈버트 다항식을 통합하고 확장하는 것.
• 클래식 리 대수형에서의 슈버트 다항식의 안정성 성질이 복소부호 치환의 펄라피안 설정에서도 유지되는 프레임워크를 제공하는 것.

제안 방법

• 벡실라러스 부호 치환의 개념을 벡터 다발의 심플렉틱 또는 올로지컬 구조를 가진 열림 위치의 구조에 기반하여 B, C, D 유형에서 정의한다.
• 시리즈 $ d(k) $와 $ g(k) $에서 생성된 반대칭 행렬을 사용하여 다중-슈어 펄라피안 공식을 구성하며, 여기서 항목들은 $ d(k)_{\text{index}} $, $ g(k)_{\text{index}} $ 및 교호적 합을 포함한다.
• 행렬이 반대칭임을 보장하기 위해 $ d(k)d(l)^* = g(k)g(l)^* $ 관계를 도입하여 펄라피안 정의를 가능하게 한다.
• 라렌트 급수와 대칭 함수 위에서 작용하는 연산자들의 복합을 통해 슈버트 다항식과 펄라피안을 연결하기 위해 $ (\rho_k)_* $와 $ (\theta_k)_* $의 호모모르피즘을 사용한다.
• 이 호모모르피즘의 복합이 $ \frac{1}{2^r} \operatorname{Pf}_{\lambda}(g(1)|d(1), \dots, g(r)|d(r)) $를 유도함으로써 주요 항등식을 증명한다.
• 슈버트 다항식의 안정성 성질과 $ \Gamma $의 구조를 활용하여 공식을 등급이 높은 코homology 설정으로 일반화한다.

실험 결과

연구 질문

• RQ1 B, C, D 유형에서 단순한 코homology 클래스를 가진 열림 위치에 대응하는 올바른 벡실라러스 부호 치환의 개념은 무엇인가?
• RQ2 펄라피안 공식은 어떻게 일반화되어 고전 리 대수형에서 A 유형을 초월해 슈버트 클래스를 기술할 수 있는가?
• RQ3 이카다, 미하라체, 나루세의 B, C, D 유형에 대한 더블 슈버트 다항식은 펄라피안으로 표현될 수 있는가?
• RQ4 카자리안의 등급이 높은 부분다발에 대한 일반화된 펄라피안 공식은 더 넓은 범위의 벡실라러스 원소의 특수한 경우로 복원될 수 있는가?
• RQ5 어떤 대수적 구조가 다양한 대칭군 임bedding에서 이러한 펄라피안 공식의 안정성과 일관성을 보장하는가?

주요 결과

• 저자들은 B, C, D 유형에서 기존 A 유형의 개념을 일반화한 새로운 벡실라러스 부호 치환의 클래스를 정의한다.
• 해당 열림 위치의 코homology 클래스는 시리즈 $ d(k) $와 $ g(k) $에서 생성된 반대칭 행렬을 포함하는 명시적인 펄라피안 공식으로 주어진다.
• 이러한 벡실라러스 원소에 대한 더블 슈버트 다항식은 일반화된 펄라피안 $ \operatorname{Pf}_{\lambda}(g(1)|d(1), \dots, g(r)|d(r)) $ 와 동일함을 보였으며, [IMN]과 [K]의 결과를 확장한다.
• 이 구성은 C 유형에서 등급이 높은 부분다발에 대한 카자리안의 일반화된 펄라피안 공식을 특수한 경우로 포함한다.
• 호모모르피즘 $ (\varphi_k)_* $의 복합은 $ \frac{1}{2^r} \operatorname{Pf}_{\lambda}(g(1)|d(1), \dots, g(r)|d(r)) $를 유도하며, 주요 항등식을 증명한다.
• 이 프레임워크는 슈버트 다항식의 안정성 성질을 유지하며, 일반 및 등급이 높은 코homology 설정 모두에 적용된다.