The local Langlands correspondence of essentially unipotent supercuspidal representations for disconnected reductive groups

아마루 후지이 (Amoru Fujii) 의 논문 "연결되지 않은 환원군에 대한 본질적으로 단항 초특이 표현의 국소 랭글랜즈 대응"에 대한 상세한 기술적 요약입니다.

1. 문제 제기

국소 랭글랜즈 대응 (LLC) 은 $p$-adic 환원군 $G(F)$ 의 기약 매끄러운 표현을 $L$-매개변수 (웨일 - 델리뉴 군에서 랭글랜즈 쌍대군으로의 준동형) 로 매개화하는 것을 목표로 합니다. 연결된 환원군 (특히 비특이 초특이 표현에 대한 칼레타의 작업과 핀첸, 오이, 솔레벨드의 단항 표현에 대한 작업) 에서는 상당한 진전이 있었으나, 두 가지 주요 격차가 남아 있습니다:

1. 본질적으로 단항 표현 (Essentially Unipotent Representations): 기존에 구성된 단항 초특이 표현에 대한 구성은 종종 충분한 함자성 (functoriality) 과 강성 내부 꼬임 (rigid inner twists) 에 대한 호환성이 부족합니다. 특히 외자기동사상 하의 등변성 (equivariance) 과 강성화 (rigidifications) 의 변경과 관련하여 이러한 문제가 두드러집니다.
2. 연결되지 않은 환원군 (Disconnected Reductive Groups): LLC 는 $G$가 연결되고 $A$가 $G$에 작용하는 유한군인 $\tilde{G} = G \rtimes A$ 형태의 연결되지 않은 환원군으로 체계적으로 확장되지 않았습니다. 이는 자동형사상이나 웨일 제한 (Weil restrictions) 을 가진 일반선형군과 같은 군의 표현을 이해하는 데 필수적입니다.

이 논문은 강성 내부 꼬임의 틀 내에서 본질적으로 단항 초특이 표현에 대한 LLC 의 구성을 다루며, 필요한 호환성을 증명하고 이 대응을 연결되지 않은 환원군으로 확장합니다.

2. 방법론

저자는 축소 기법, 초코호몰로지 (hypercohomology), 그리고 동반군 (companion groups) 이론을 결합한 다단계 전략을 사용합니다.

A. 틀과 요구 사항

이 논문은 칼레타의 강성 내부 꼬임 $(G', \xi, z)$ 틀 내에서 작동합니다. 저자는 유효한 모든 LLC 가 만족해야 하는 세 가지 기본 조건 (요구 사항) 을 정의합니다:

• 조건 2.A (함자성): 아벨 핵과 아벨 여핵을 갖는 준동형에 대한 호환성.
• 조건 2.B (캐릭터 트위스트): 캐릭터로 표현을 트위스트 (twisting) 하는 것에 대한 호환성.
• 조건 2.C (강성화 변경): 코트니츠 사상 (Kottwitz map) 과 초코호몰로지를 포함하는 특정 쌍에 의해 지배되는 강성화 $z$의 변경에 대한 호환성.

B. 접대 (Adjoint) 와 단일 연결 (Simply Connected) 경우로 축소

명제 3.1을 사용하여 저자는 일반적인 연결 환원군 $G$에 대한 대응의 구성을 $G$가 접대 ($G_{ad}$) 또는 단일 연결 ($G_{sc}$) 인 경우로 축소합니다.

• 이는 모든 본질적으로 단항 표현이 캐릭터 트위스트를 통해 단항 표현과 관련될 수 있다는 사실에 의존합니다.
• $G_{ad}$와 $G_{sc}$에 대한 대응의 존재는 기존 작업 (핀첸 - 오이 - 솔레벨드 [FOS20] 및 솔레벨드 [Sol23]) 에 기반하여 가정되지만, 저자는 이러한 기존 대응이 강성 내부 꼬임에 필요한 더 엄격한 등변 조건을 만족하는지 검증해야 합니다.

C. 등변성 검증 (핵심 기술적 과제)

[FOS20] 과 [Solleveld] 의 기존 대응들은 아서 (Arthur) 의 틀을 사용하여 구성되었는데, 이는 강성 내부 꼬임이 요구하는 외자기동사상 하의 특정 등변성 (특히 조건 3.A와 조건 3.B) 을 자연스럽게 처리하지 못합니다.

• 전략: 저자는 기존 대응을 조정하거나 **비분기 군 (unramified groups)**으로 축소하고 동반군 ($\hat{H} \cong \hat{G}^{I_F}$인 군 $H$) 을 사용하여 이러한 조건을 만족함을 보임으로써 이를 증명합니다.
• 주요 도구: 저자는 [Kal22] 에서 도입된 초코호몰로지 군을 활용하여 $L$-매개변수와 표현의 성분군 (component groups) 에 작용하는 외자기동사상에서 발생하는 2-코사이클을 명시적으로 계산합니다.
• 분기 및 비분기 경우: 증명은 [FOS20] 을 이용한 직접 계산을 통해 분기 군을, 동반군 $H$와 단항 표현에 대한 루스틱 (Lusztig) 의 결과를 통해 비분기 비분기 군을, 그리고 웨일 제한을 다룹니다.

D. 연결되지 않은 군으로의 확장

연결되지 않은 군 $\tilde{G} = G \rtimes A$에 대해 저자는 군 측과 갈루아 측 사이의 상호작용을 분석하여 대응을 구성합니다:

• 군 측: $\tilde{G}'(F)$의 표현은 클리포드 이론을 통해 분석되며, 이는 연결 성분 $G'(F)$의 표현과 $A$의 작용과 관련됩니다. 여기에는 표현의 안정화자 (stabilizer) 에 연관된 꼬인 군 대수 $C[A; \alpha]$를 연구하는 것이 포함됩니다.
• 갈루아 측: $L$-매개변수는 확장된 성분군 $\tilde{S}^+_\phi = \pi_0 Z^+_{\hat{G}}(\phi)$의 표현에 의해 강화됩니다.
• 매칭: 증명의 핵심 (5.4 절) 은 군 측에서 발생하는 2-코사이클 $\alpha$와 갈루아 측에서 발생하는 2-코사이클 $\beta$를 보간하는 명시적인 1-코체인 $h$를 구성하는 것입니다. 이는 엔드모피즘 대수의 동형을 확립하여 전단사성을 증명합니다.

3. 주요 기여 및 결과

정리 1.1 (계 4.2): 연결군에 대한 등변 LLC

저자는 강성 내부 꼬임 $(G', \xi, z)$의 본질적으로 단항 초특이 표현과 강화된 $L$-매개변수 사이의 전단사를 확립합니다:
$$\text{Irr}(G'(F))_{euc} \xrightarrow{\sim} \Phi_e(G; [z])_{euc}$$
중요하게도, 이 전단사는 다음을 만족합니다:

• 아벨 핵/여핵을 갖는 준동형에 대한 함자성.
• 캐릭터 트위스트 하의 등변성.
• 강한 등변성: 외자기동사상 하에서 등변적이며 강성화의 변경과 호환됩니다. 이는 [FOS20] 과 같은 이전 작업에서 완전히 확립되지 않은 속성입니다.

정리 1.2 (정리 5.2): 연결되지 않은 군으로의 확장

유도 부분군 $G_{der}$이 단일 연결이라고 가정할 때, 대응은 연결되지 않은 군 $\tilde{G} = G \rtimes A$로 확장됩니다:
$$\text{Irr}(\tilde{G}'(F))_{euc} \xrightarrow{\sim} \Phi_e(\tilde{G}; [z])_{euc}$$
이 대응은 연결 성분으로의 제한을 존중합니다: $G'(F)$의 표현 $\pi$가 $\tilde{\pi}|_{G'(F)}$의 구성성분일 필요충분조건은 $L$-매개변수 $\phi_\pi$가 $\phi_{\tilde{\pi}}$의 제한이고, 강화 $\rho(z, \pi)$가 $\rho(z, \tilde{\pi})$의 제한의 구성성분인 것입니다.

기술적 보조정리: 초코호몰로지와 코사이클

중요한 기술적 기여는 표현의 확장 (군 측) 을 지배하는 2-코사이클과 강화의 확장 (갈루아 측) 을 지배하는 2-코사이클 사이의 관계를 명시적으로 계산한 것입니다. 저자는 (명제 5.9) 이러한 코사이클들이 초코호몰로지 쌍에서 유도된 코차경계 (coboundary) 로 인해 서로 다르다는 것을 증명하여, 전단사가 잘 정의되고 표준적임을 보장합니다.

4. 의의

1. 단항 경우의 완성: 이 작업은 연결군에 대한 본질적으로 단항 초특이 표현 전체 클래스에 대한 국소 랭글랜즈 대응을 확고히 하여, 모든 필요한 함자적 속성 (특히 등변성) 이 만족되도록 합니다. 이는 서로 다른 틀에 의존했던 이전 구성들이 남긴 격차를 메워줍니다.
2. 연결되지 않음 처리: 이는 강성 내부 꼬임의 맥락에서 연결되지 않은 환원군에 대한 LLC 의 첫 번째 체계적인 구성을 제공합니다. 이는 연결되지 않은 군에 대해 더 일반적인 표현 클래스 (예: 비특이 표현) 로 대응을 확장하기 위한 전제 조건입니다.
3. 미래 작업을 위한 기초: 저자는 명시적으로 이러한 결과가 [Kal21] 의 명시적 LLC (비특이 표현을 다룸) 를 더 넓은 클래스의 표현, 잠재적으로는 더 넓은 범위의 군에 대한 모든 초특이 표현으로 확장하는 데 사용되기를 의도한다고 명시합니다.
4. 방법론적 발전: 군론적 2-코사이클과 갈루아론적 2-코사이클을 일치시키기 위해 초코호몰로지를 엄격하게 사용한 것은 랭글랜즈 프로그램의 다른 맥락에서 유사한 호환성 문제를 처리하기 위한 견고한 템플릿을 제공합니다.

요약하자면, 후지이의 논문은 확립된 단항 표현 이론과 현대적인 강성 내부 꼬임 틀 사이의 간극을 메우면서 동시에 이 대응을 연결되지 않은 군으로 확장함으로써 새로운 지평을 열었습니다. 이는 더 포괄적인 국소 랭글랜즈 대응을 위한 길을 닦는 역할을 합니다.