[논문 리뷰] $P$-alcoves and nonemptiness of affine Deligne-Lusztig varieties

Ulrich Goertz, Xuhua He외 1명|arXiv (Cornell University)|2012. 11. 16.

Advanced Algebra and Geometry참고 문헌 5인용 수 10

한 줄 요약

이 논문은 국소체 위의 재수성 군에서 기본 원소를 가진 아핀 플래그 다양체 내의 비어있지 않은 아핀 덜너-루스트걸 다양체를 완전히 특성화한다. 이는 아핀 루트 체계와 갈루아 작용에 기반한 일반화된 $P$-알코브 개념—$(J,w,\delta)$-알코브—를 사용하여 이루어진다. 핵심 결과는 비어있음 여부에 대한 필요충분조건을 코트비츠 불변량과 왜곡된 쌍대기여에 기반하여 제시하며, 분할 군에 대한 추측을 해결하고, 약간의 분해가 있는 준대칭 군으로 확장한다.

ABSTRACT

We study affine Deligne-Lusztig varieties in the affine flag manifold of an algebraic group, and in particular the question, which affine Deligne-Lusztig varieties are non-empty. Under mild assumptions on the group, we provide a complete answer to this question in terms of the underlying affine root system. In particular, this proves the corresponding conjecture for split groups stated in Görtz et al. (2010). The question of non-emptiness of affine Deligne-Lusztig varieties is closely related to the relationship between certain natural stratifications of moduli spaces of abelian varieties in positive characteristic.

연구 동기 및 목표

• 국소체 위의 재수성 군에서 기본 $b$에 대해 아핀 덜너-루스트걸 다양체 $X_x(b)$가 비어있지 않은지 정확히 결정하는 것.
• 비분할, 약간의 분해가 있는 군에 대해 $P$-알코브의 개념을 $(J,w,\delta)$-알코브로 일반화하는 것.
• 겉보기에는 분할 군에 대해 비어있음에 대한 추측을 제기한 고르츠와 라포포르의 추측을 증명하고, 일반적인 준대칭, 단순형, 고정형 재수성 군으로 확장하는 것.
• 아핀 웨일 군, 갈루아 작용 $\delta$, 코트비츠 불변량 $\kappa_{M_J}$에 기반한 비어있음에 대한 조합론적 기준을 수립하는 것.

제안 방법

• 유한 웨일 군 부분과 $\delta$-안정 부분집합 $J\subset \SS$에 대한 아파트 내 위치 제약 조건을 통해 $(J,w,\delta)$-알코브의 개념을 도입한다.
• 코트비츠 사상 $\kappa_{M_J}$를 사용하여 리 대칭군 $M_J$ 내의 $\sigma$-쌍대기여류를 비교함으로써 기하학적 비어있음 여부를 산술 불변량과 연결한다.
• 군 이론적 구조의 감소 기법을 통해 일반적인 경우를 준대칭, 고정형 단순형 재수성 군으로 감소시킨다.
• 원소 $x\in\tilde{W}$에 대해 (NLO) 성질을 적용함: $J$-안정 부분집합과 $w\in W$가 존재하여 $x\mathbf{a}$가 $(J,w,\delta)$-알코브이고, $\kappa_{M_J}(w^{-1}x\delta(w))$가 $[b]\cap M_J(L)$의 이미지에 속해야 한다.
• 확장된 아핀 웨일 군 $\tilde{W}$에서 $\delta$-왜곡된 쌍대기여 작용을 사용하여 $x$의 구조를 분석하고 뉴턴 및 코트비츠 불변량과 연관시킨다.
• $\delta$-왜곡된 쌍대기여류 내 최소 길이 대표를 활용하여 (NLO) 조건을 만족하는 $x$에 대해 비어있음을 증명한다.

실험 결과

연구 질문

• RQ1 국소체 위의 재수성 군에서 $b$가 기본일 때, 어떤 $x\in\tilde{W}$에 대해 아핀 덜너-루스트걸 다양체 $X_x(b)$가 비어있지 않은가?
• RQ2 아핀 루트 체계와 갈루아 작용 $\delta$에 기반한 조합론적 기준으로 비어있음 조건을 어떻게 특성화할 수 있는가?
• RQ3 고르츠와 라포포르의 분할 군에 대한 비어있음 추측을 약간의 분해가 있는 준대칭 군으로 확장할 수 있는가?
• RQ4 코트비츠 불변량 $\kappa_{M_J}$는 $X_x(b)$의 비어있음 여부를 결정하는 데 어떤 역할을 하는가?
• RQ5 $(J,w,\delta)$-알코브의 구조는 비분할 경우 $P$-알코브 개념을 어떻게 정교화하는가?

주요 결과

• 논문은 $b$가 기본일 때 $X_x(b)\neq\emptyset$인 필요충분조건을 확립한다: $X_x(b)\neq\emptyset$이 되기 위한 조건은 $x\mathbf{a}$가 $(J,w,\delta)$-알코브이고, $\kappa_{M_J}(w^{-1}x\delta(w))\notin\kappa_{M_J}([b]\cap M_J(L))$를 만족하는 쌍 $(J,w)$가 존재하는 것이다.
• 고르츠와 라포포르의 분할 군에 대한 추측은 완전히 해결되었으며, 준대칭, 단순형 고정형 재수성 군으로 일반화되었다.
• $X_x(b)$의 비어있음 여부는 특정 모델(혼합 또는 동일 특성)에 관계없이 아핀 웨일 군, 갈루아 작용 $\delta$, 코트비츠 불변량 $\kappa_{M_J}$의 조합론적 성질에 의해 완전히 결정된다.
• (NLO) 성질은 비어있음에 대한 충분조건으로 도입되었으며, $x$가 (NLO) 조건을 만족하면 $X_x(b)\neq\emptyset$임이 증명되었고, 이는 $\delta$-왜곡된 쌍대기여류 내 최소 길이 대표로 감소시켜 증명되었다.
• 최소 길이 원소 $y$가 (NLO) 조건을 만족할 경우, $X_y(b)\neq\emptyset$이 되는 것은 $y$와 $b$가 $\sigma$-쌍대기여하는 것과 동치이며, 이는 뉴턴 및 코트비츠 불변량이 일치하는 것과 동치이다.
• 결과는 축소된 웨일 침대까지 확장된다: $x$가 축소된 침대에 속해 있고, $\kappa_G(x)=\kappa_G(b)$이며, $\eta_\delta(x)\notin\bigcup_{J\subsetneq\SS,\delta(J)=J} W_J$이면, $X_x(b)\neq\emptyset$이다.