[논문 리뷰] Changements de base explicites des représentations supercuspidales de U(1,1)(F)

Laure Blasco|ArXiv.org|2009. 09. 18.

Advanced Algebra and Geometry참고 문헌 11인용 수 3

한 줄 요약

이 논문은 특성 0이고 잔여 특성이 홀수인 비아르키메데스 현수체 $F_0$에 대한 유니타리 군 $U(1,1)(F_0)$의 초우세표현들에 대한 명시적 불안정(base change)을 계산한다. 유형 이론과 명시적 특성 계산을 통해 이러한 표현들이 $GL(2,F)$로 어떻게 전이되는지를 규명하며, $U(2,1)(F_0)$에 대한 엔도스코픽 기저변환을 이해하는 데 핵심 단계를 완성한다. 결과는 특성 항등식과 갈루아 불변성에 의해 도출된다.

ABSTRACT

Let F be a nonarchimedean local field of characterisitic 0 and odd residual characteristic. We describe explicitly the two base change lifts of supercuspidal representations of U(1,1)(F). This represents a step towards the goal of describing base change of endoscopic supercuspidal L-packets of U(2,1)(F).

연구 동기 및 목표

• 엔도스코픽 초우세표현 패킷에 대한 기저변환 기술을 완성하기 위해, $U(1,1)(F_0)$에 대한 불안정 기저변환을 계산함.
• $F$가 $F_0$의 이차 확장일 때, $U(1,1)(F_0)$의 초우세표현들이 $GL(2,F)$로의 기저변환 이미지를 규명함.
• 특히 단일성 엔도스코픽 패킷에서 안정적이고 불안정적 기저변환 이미지를 구분하는 데서 발생하는 모호성을 해결함.
• 최소한의 가정(특성 0, 홀수 잔여 특성) 하에 특성 항등식과 유형 이론을 활용해 기저변환을 명시적이고 계산 가능한 방식으로 기술함.
• 이전의 $U(2,1)$ 기저변환 결과를 $U(1,1)$ 경우로 확장하여, 전체 엔도스코픽 패킷 전이의 기초 단계를 마련함.

제안 방법

• $F_0$에서의 초우세표현의 분류를 Bushnell과 Kutzko가 개발한 유형 이론을 통해 수행함.
• 구간과 안정화자에 대한 추적 공식을 활용해, 특히 구간과 안정화자에서의 명시적 특성 계산을 통해 기저변환 항등식을 검증함.
• Y. Flicker의 안정 기저변환 계산 방법을 활용하고, J. Rogawski의 특성 항등식과 엔도스코픽 전이 결과를 통합함.
• 기저변환과 특성에 의한 회전의 호환성에 기반하여, 최소 수준 초우세표현으로의 축소를 가능하게 함.
• 엔도스코픽 패킷의 구조(단일 또는 두 원소)를 활용해 경우를 구분함. 특히 분비적 확장과 비분비적 확장의 설정에서의 차이를 고려함.
• $U(1,1)(F_0)$와 $GL(2,F)$ 간 표현 비교를 위해, 부분군과 갈루아 고정 부분군에서의 특성 추적에 관한 기술적 보조정리를 적용함.

실험 결과

연구 질문

• RQ1 초우세표현들에 대한 $U(1,1)(F_0)$에서 $GL(2,F)$로의 불안정 기저변환 사상은 어떻게 행동하며, 어떻게 명시적으로 묘사할 수 있는가?
• RQ2 단일 엔도스코픽 패킷의 경우에서 안정적 기저변환과 불안정적 기저변환 이미지를 어떻게 구분할 수 있는가?
• RQ3 특성 항등식은 어떻게 $U(1,1)(F_0)$와 $GL(2,F)$ 표현 간의 기저변환 대응을 검증하는 데 사용되는가?
• RQ4 갈루아 작용은 특히 수준 0 초우세표현의 경우에서 기저변환 이미지를 어떻게 식별하는 데 기여하는가?
• RQ5 엔도스코픽 패킷의 구조(단일성 대비 두 원소)는 기저변환 계산에 어떻게 영향을 미치는가?

주요 결과

• 특성 추적 항등식과 유형 이론을 활용해, $U(1,1)(F_0)$의 초우세표현에 대한 불안정 기저변환이 명시적으로 규명됨.
• 수준 0 초우세표현의 경우, 기저변환 이미지는 완전히 결정됨: $F$가 $F_0$에 대해 분비적일 경우 두 개를 제외한 모든 표현이 단일 엔도스코픽 패킷에 속하고, $F$가 비분비적일 경우 모든 표현이 이러한 패킷에 속함.
• 기저변환 사상의 이미지는 $GL(2,F)$의 적절한 표현들로, $G_{F/F_0}$-불변이며 중심 특성이 0임.
• 특성 항등식 검증을 통해, 특히 단일 엔도스코픽 패킷에서 안정적과 불안정적 기저변환 이미지를 성공적으로 구분함.
• 기저변환 계산은 부분군에서의 특성 추적에 관한 기술적 보조정리를 기반으로 하며, 안정화자 구조와 군 작용을 통해 $U(1,1)$과 $GL(2)$ 간 표현 비교를 가능하게 함.
• 결과는 최소한의 가정 하에 유효함: $F_0$는 특성 0이고 잔여 특성이 홀수이며, 추가적인 분비 조건 없이도 성립함.