Resolution of singularities of the odd nilpotent cone of orthosymplectic Lie superalgebras

기술 요약: 직교-심플렉틱 리 대수의 홀 멱영 코뉴(Odd Nilpotent Cone)의 특이점 해소

문제 정의
본 논문은 직교-심플렉틱 리 슈퍼대수 $\mathfrak{osp}(m|2n)$의 홀 멱영 코뉴(odd nilpotent cone)라 명명된 $\mathcal{N}$에 대한 스프링거 유형의 특이점 해소(Springer-type resolution of singularities) 구축 문제를 다룬다. 반단순 리 대수의 멱영 코뉴에 대한 그로텐디크-스프링거 해소(Grothendieck-Springer resolution)는 잘 확립되어 있으나, 슈퍼대수의 경우 여러 보렐 부분대수의 공액 클래스와 비동형 플래그 다양체가 존재하기 때문에 독특한 난제들이 존재한다. Gruson과 Leidwanger [4]의 선행 연구는 $m = 2n$ 및 $m = 2n+1$인 특정 사례들에 대해 이러한 해소를 성공적으로 구축하였다. 본 논문의 주요 목적은 이러한 결과를 $m$과 $n$의 모든 값으로 확장하여, 특히 $m = 2n-1$ 및 $m = 2n+2$인 경우를 다루고, 표준적인 완전 플래그(complete flag) 접근법이 실패하는 임의의 $m, n$에 대한 일반화된 구축을 제공하는 것이다.

방법론
저자는 연관된 벡터 공간 $V_0$(차원 $m$, 직교 형식 탑재)와 $V_1$(차원 $2n$, 심플렉틱 형식 탑재)에서의 완전 및 부분 자기-직교 플래그(complete and partial self-orthogonal flags)의 연구를 포함하는 기하학적 접근법을 사용한다.

1. 완전 플래그를 통한 해소: $m \in \{2n-1, 2n, 2n+1, 2n+2\}$인 경우들에 대하여, 본 논문은 $A$가 완전 자기-직교 플래그 $F_0$와 $F_1$를 존중하는 멱영 연산자일 때의 트리플 $(A, F_0, F_1)$로 구성된 다양체 $\tilde{\mathcal{N}}$을 정의한다. 사영 맵 $pr_1: \tilde{\mathcal{N}} \to \mathcal{N}$에 대한 분석이 이루어진다. 저자는 $ab$-도표(Kraft-Procesi 및 Berezhnoy)를 통한 멱영 궤도의 분류를 활용하여, $A$의 작용을 존중하는 플래그의 기저를 명시적으로 구축함으로써 전사성과 유리성(birationality)을 증명한다.
2. 반례 및 일반화: $m$이 $[2n-1, 2n+2]$ 범위를 벗어날 때, 완전 플래그를 사용하는 $pr_1$은 유리적이지 않음(개방 궤도 위에서 파이버가 $\mathbb{P}^1$과 동형)을 보여준다. 이를 해결하기 위해, 저자는 **부분 자기-직교 플래그(partial self-orthogonal flags)**를 사용하는 수정된 구축법을 도입한다. 이는 $\text{Hom}(V_0, V_1) \times \mathcal{B}'_0 \times \mathcal{B}_{1,k}$(또는 $m$과 $n$의 관계에 따른 유사한 변형) 내에서 특정 인시던스 관계(incidence relations)에 의해 잘려진 폐부분집합을 정의하는 것을 포함한다.
3. 베이어슈트라스 섹션(Weierstrass Sections) 및 정규성: 저자는 홀 멱영 코뉴의 베이어슈트라스 섹션 $\Sigma = u + L$을 구축하는데, 여기서 $u$는 정규 원소이고 $L$은 법다발(normal bundle)이다. 이 섹션은 홀 원소와 그들의 자기-슈퍼 교환자($A A^*$ 및 $A^* A$)의 정규성을 연구하는 데 사용된다.
4. 코호몰로지 소멸: 마지막 절에서는 [8]의 결과를 적용하여 라인 번들 상의 고차 코호몰로지 소멸을 다루며, 소멸을 보장하는 가중치 $\mu$에 대한 명시적인 하한을 도출한다.

주요 기여 및 결과

• 해소 정리의 확장: 본 논문은 $m = 2n-1$ 및 $m = 2n+2$인 경우에 대해 $pr_1$이 $\mathfrak{osp}(m|2n)$의 특이점 해소임을 증명하여, "$|m - 2n| \leq 2$"인 "근접 대각(near-diagonal)" 사례들에 대한 그림을 완성한다.
• 일반화된 해소: 임의의 $m, n$ (특히 $m < 2n-1$ 또는 $m > 2n+2$인 경우)에 대하여, 저자는 부분 자기-직교 플래그를 사용하여 새로운 해소를 구축한다. 이 구축은 정규 멱영 원소들에 대해 새로운 사영 맵 $pr'_1$의 유리성을 증명함으로써 해소임을 입증한다.
• 명시적 기저 구축: 저자는 주어진 멱영 연산자 $A$에 의해 존중되는 플래그 $F_0$와 $F_1$의 기저를 구축하는 명시적인 알고리즘을 제공하며, 이는 $A$의 블록($\alpha, \beta, \gamma, \delta, \epsilon$) 분해에 따라 분류된다. 여기에는 플래그 다양체의 연결 성분에 관한 $m=2n+2$ 및 $m=2n-1$ 케이스의 구체적인 모호성을 처리하는 과정이 포함된다.
• 정규성 관계: 저자는 $V_0 \otimes V_1$의 홀 원소 $A$의 정규성과 그들의 자기-슈퍼 교환자 $q_0(A) = A^*A$ 및 $q_1(A) = AA^*$의 정규성 사이의 함의를 확립한다. $m \in \{2n-1, 2n, 2n+1, 2n+2\}$일 때, $A$의 정규성은 슈퍼대수의 짝수 부분 내에서의 그 이미지의 정규성과 밀접하게 연결되어 있음이 밝혀진다.
• 코호몰로지 하한: $i \geq 1$인 $H^i(\tilde{\mathcal{N}}, \mathcal{L}(\mu)^*)$의 고차 코호몰로지 그룹이 소멸하도록 보장하는 가중치 $\mu$의 명시적인 하한이 계산된다. 이 하한은 $m$과 $n$의 구체적인 관계에 따라 달라진다.

의의 및 주장
저자는 본 연구가 Gruson과 Leidwanger [4]의 결과를 모든 $m$과 $n$의 경우로 확장한다고 주장한다. 그 의의는 유한 차원 기약 캐릭터(irreducible characters) 및 직교-심플렉틱 코스카 다항식(Kostka polynomials)의 계산에 필수적인 직교-심플렉틱 슈퍼대수의 홀 멱영 코뉴에 대한 통일된 기하학적 프레임워크를 제공하는 데 있다.

저자는 해소의 구축이 명시적이기는 하나, 일반화된 경우(부분 플래그를 사용하는 경우)에 대한 직접적인 전사성 증명은 복잡성으로 인해 생략되었으며, 대신 정규 궤도의 조밀성과 맵의 적절성(properness)에 의존하고 있음을 겸허히 언급한다. 또한, 저자는 직교-심플렉틱 코스카 다항식의 양의 성질(positivity properties)이 모든 지배 가중치(dominant weight)에 대해 고차 코호몰로지가 소멸한다는 추측을 시사한다고 관찰하였으나, 이는 현재 텍스트에서 증명되지 않은 상태로 남아 있다. 본 연구는 인베리언트 이론(invariant theory) 및 리 슈퍼대수의 표현론에 대한 추가적인 응용을 위한 기초적인 단계 역할을 한다.