On the classification of indecomposable Ekedahl-Oort strata in unitary Shimura varieties, and related Newton polygons

기술 요약: 유니타리 심라 다양체에서의 비분해 가능한 에케달-오트(Ekedahl-Oort) 층의 분류 및 관련 뉴턴 다각형에 관하여

문제 정의
본 논문은 대수적으로 폐쇄된 표수 $p > 2$인 체 $k$ 위에서 정의된 유니타리 심라 다양체 $M(a, b)$ 내의 비분해 가능한 에케달-오트(EO) 층의 분류 문제를 다룬다. 이 다양체들은 $p$가 불멸(inert)인 허수 이차체의 위수(order)에 의한 작용을 갖는 차원 $a+b$인 아벨 다양체를 매개변수화하며, 시그니처 $(a, b)$ 조건을 만족한다. 시겔 모듈러 다양체 및 특정 유니타리 시그니처(예: $(q-1, 1)$)에 대한 EO 층의 구조는 기존에 연구된 바 있으나, 임의의 시그니처 $(a, b)$를 갖는 유니타리 설정에서의 완전한 분류는 미해결 상태로 남아 있었다. 나아가, 본 논문은 EO 층과 뉴턴 층 사이의 상호작용을 규명하고, 특히 EO 층이 초특이 로커스(supersingular locus)와 교차하는 경우를 결정하고자 한다.

방법론
저자들은 디외도네 이론(Dieudonné theory), 조합론적 군론(combinatorial group theory), 그리고 기하학적 리프팅(geometric lifting) 기법을 결합하여 사용한다. 핵심 방법론은 다음과 같이 진행된다:

1. 단어(Words)를 통한 조합론적 분류: 모드-$p$ 디외도네 모듈에 대한 크래프트(Kraft)의 구조 정리를 바탕으로, 저자들은 $\{f, v\}$ 알파벳(프로베니우스 및 베르슈룽 연산자를 나타냄)을 사용하는 단어를 사용하여 비분해 가능 모듈을 표현한다. 이들은 극성(polarized) BT1 모듈(시겔 다양체와 연관됨)의 분류를 유니타리 BT1 모듈(유니타리 심라 다양체와 연관됨)로 확장한다.
2. 분해 정리: 본 논문은 모든 유니타리 BT1 모듈이 특정 부서 불가능한 유형들의 직합으로 유일하게 분해됨을 입증한다. 이는 해당 단어들과 연관된 "크래프트 다이어그램(Kraft diagrams)"을 분석하고, 유니타리 구조에 의해 부과되는 제약 조건(구체적으로 로사티 대칭(Rosati involution) 조건과 부분 공간 $M_0, M_1$의 라그랑지안 성질)을 식별하는 과정을 포함한다.
3. 바일 군(Weyl Group)으로의 번역: EO 층과 $q=a+b$인 바일 군 $S_q$ 내 코셋(coset) 사이의 문(Moonen)의 대응 관계를 활용하여, 저자들은 단어에 의한 층의 조합론적 묘사를 그에 대응하는 바일 군 코셋 대표원으로 변환하는 알고리즘을 개발한다. 이는 $p$-비틀림(p-torsion)의 대수적 묘사와 층의 기하학적 위상 사이의 간극을 메운다.
4. 테우토로지컬 리프트(Tautological Lift) 및 뉴턴 다각형: 뉴턴 층과의 교차를 연구하기 위해, 저자들은 유니타리 BT1 모듈을 유니타리 $p$-진 디외도네 모듈로 올리는 "테우토로지컬 리프트"를 구성한다. 이 리프트의 뉴턴 다각형을 계산함으로써, 해당 EO 층이 어떤 뉴턴 층과 교차하는지를 결정한다.

주요 기여 및 결과

• 비분해 유형의 분류: 주요 결과(정리 4.21)는 비분해 가능한 유니타리 BT1 모듈의 완전한 분류이다. 저자들은 모든 그러한 모듈이 다음 네 가지 유형 중 정확히 하나와 동형임을 증명한다:

  1. 유니타리 유니사이클(Unitary Unicycle): 원시적인 자기 쌍대(self-dual) 단어 $w = yy^\star$ (여기서 $y$는 홀수 길이를 가짐)로부터 발생한다.
  2. 유니타리 바이사이클(Unitary Bicycle): 원시적인 비자기 쌍대 단어 $w$ (짝수 길이를 가짐)로부터 발생하는 모듈 $M(w) \oplus M(w^\star)$이다.
  3. 세르 유니사이클(Serre Unicycle): 길이가 4의 배수인 원시적 자기 쌍대 단어 $w$로부터 발생한다. 이는 극성 유니사이클의 세르 텐서 구성(Serre tensor construction)에 대응한다.
  4. 세르 바이사이클(Serre Bicycle): 단어 $w = zz$(여기서$z$는 홀수 길이의 원시적 비자기 쌍대 단어)로부터 발생한다. 이는 극성 바이사이클의 세르 텐서 구성에 대응한다.
     본 논문은 정의된 단어 내 $f$와 $v$의 분포를 기반으로 각 유형에 연관된 시그니처 $(a, b)$에 대한 명시적인 공식을 제공한다.

• 알고리즘적 번역 (단어에서 바일 군으로): 섹션 5는 유니타리 BT1 모듈을 기술하는 단어들의 멀티셋(multiset)을 최소 길이 바일 군 코셋 대표원 $\gamma \in W(a, b)$로 변환하는 알고리즘(정리 5.3)을 제시한다. 이를 통해 브루아트 순서(Bruhat order) 관점에서 EO 층을 명시적으로 식별할 수 있으며, 이는 층의 폐쇄 관계(closure relations) 연구를 용이하게 한다.

• 뉴턴 층과의 교차: 테우토로지컬 리프트 구성을 사용하여, 저자들은 임의의 EO 층에 대한 뉴턴 다각형을 계산한다(정리 6.10). 저자들은 단어 $W$에 의해 기술되는 EO 층이 해당 단어들의 기울기(slopes)에 의해 정의되는 뉴턴 층과 교차함을 증명한다.

  • 초특이 로커스 교차: 중요한 응용 사례(따름정리 6.12 및 6.13)로서, 유니타리 유니사이클 및 세르 유니사이클에 대응하는 EO 층은 항상 초특이 로커스(유일한 폐쇄 뉴턴 층)와 교차함을 보여준다. 이는 이 유형들을 정의하는 단어들이 필연적으로 "균형 잡혀(balanced)" 있어서($f$와 $v$의 개수가 동일함), 뉴턴 다각형이 상수 기울기 $1/2$을 갖기 때문이다.

의의
본 논문은 시겔 사례에 대한 오르트(Oort)의 결과와 유사하게, 유니타리 설정에서의 아벨 다양체의 $p$-비틀림에 대한 기초적인 구조적 정리를 제공한다. 비분해 가능한 층을 네 가지 유형으로 범주화하고 바일 군 대표원으로의 계산적 가교를 제공함으로써, 이 연구는 임의의 시그니처에 대해 유니타리 심라 다양체의 기하학을 더욱 정밀하게 분석할 수 있게 한다. 테우토로지컬 리프트의 구성과 그에 따른 뉴턴 다각형 교차의 결정은, 특정 시그니처(코크세터 유형 또는 낮은 차원)에 대해서만 알려졌던 기존의 결과를 일반적인 경우로 확장하여, EO 층과 뉴턴 층 사이의 교차의 비공집합성(non-emptiness)을 검증하는 구체적인 방법을 제공한다. 유니사이클 유형 층의 초특이 로커스 교차를 확인한 것은 이 다양체들의 위상에 관한 특정 질문을 해결한다.