[논문 리뷰] Sur le lemme fondamental pour les groupes unitaires

Gérard Laumon|ArXiv.org|2002. 12. 18.

Homotopy and Cohomology in Algebraic Topology인용 수 5

한 줄 요약

이 논문은 등차수 현상이 있는 국소체 위의 유니타리 군에 대해 기본 논문의 기하적 동반체를, 애매한 스프링거 필러의 순수성 추측을 활용하여 수립한다. 이 추측을 가정할 때, 저자는 콪팩티피케이션된 재미르의 코homology 군과 곱의 왜곡된 코homology 군 사이의 동형을 증명하며, 정규 측정형 원소에서 모든 원소로의 확장을 위해 글로벌 변형과 등변 코homology 기법을 사용한다.

ABSTRACT

Assuming the purity conjecture for the affine Springer fibers which has been formulated by Goresky, Kottwitz and MacPherson, we prove a geometric analog of the fundamental lemma for unitary groups. Our approach is similar to the one of Goresky, Kottwitz and MacPherson. Our main new ingredient is the link between affine Springer fibers and compactified Jacobians which is described in math.AG/0204109.

연구 동기 및 목표

• 등차수 현상이 있는 국소체 위의 유니타리 군에 대해 정규 측정형 원소에 대한 제약 조건 없이 기하적 기본 논문을 확장하는 것.
• 순수성 추측 하에 콱팩티피케이션된 재미르와 스프링거 필러의 곱 사이의 코homology 동형을 수립하는 것.
• 고레스키, 코트위츠, 맥퍼슨의 접근 방식을 스프링거 필러와 콱팩티피케이션된 재미르 사이의 연결을 통해 일반화하는 것.
• 애매한 스프링거 필러의 순수성 추측이 유니타리 군에 대한 기하적 기본 논문을 암시한다는 것을 증명하는 것.
• 그로텐디크-레프슈체츠 고정점 공식을 통해 산술적 기본 논문을 암시하는 기하적 프레임워크를 제공하는 것.

제안 방법

• 코homology 군의 애매한 스프링거 필러에 대한 순수성 추측을 기본 가정으로 사용한다.
• 스프링거 필러 공간 위의 토르스 작용에 대해 등변 코homology 기법을 적용한다.
• 특이 섬유를 다중 분지 곡선으로의 글로벌 변형을 통해 기하학적 연결을 맺는다.
• 닫힌 임bedding에 대한 기시스인 사상은 국소계수 $\mathcal{L}$ 가 방향성 계수로 작용한다.
• 코초수 래티스 $\Lambda_I$ 로 나누어 등변 코homology로 문제를 축소하며, 몫 토르스 $\mathbb{G}_m^2$ 에 초점을 맞춘다.
• 스프링거 필러와 콱팩티피케이션된 재미르 사이의 관계에 관한 [2]의 핵심 결과를 적용하여 $X_I$ 의 코homology 를 $Z_I$ 의 코homology 와 연결한다.

실험 결과

연구 질문

• RQ1 애매한 스프링거 필러의 순수성 추측이 등차수 현상이 있는 국소체 위의 유니타리 군에 대한 기하적 기본 논문을 암시하는가?
• RQ2 기하적 기본 논문은 정규 측정형 원소에 한정되지 않고, 모든 원소로 확장될 수 있는가?
• RQ3 스프링거 필러 곱의 특이 임베딩에 대한 기시스인 사상의 실현에서 콱팩티피케이션된 재미르의 역할은 무엇인가?
• RQ4 스프링거 필러의 국소계수 $\mathcal{L}$ 는 부드러움이 없을 경우 어떻게 방향성으로 작용하는가?
• RQ5 순수성 하에 등변 코homology 접근법이 $H^{\bullet-2r}(Z_{I_1} \times Z_{I_2}, \mathbb{Q}_\ell)(-r) \xrightarrow{\sim} H^\bullet(Z_I, \mathcal{L})$ 의 동형을 확립하는 데 사용될 수 있는가?

주요 결과

• 애매한 스프링거 필러의 순수성 추측은 등차수 현상이 있는 국소체 위의 유니타리 군에 대한 기하적 기본 논문을 암시한다.
• 순수성 가정 하에 동형 $H^{\bullet-2r}(Z_{I_1} \times Z_{I_2}, \mathbb{Q}_\ell)(-r) \xrightarrow{\sim} H^\bullet(Z_I, \mathcal{L})$ 가 성립한다.
• 콩팩티피케이션된 재미르 $Z_I$ 의 코homology 는 $Z_{I_1} \times Z_{I_2}$ 의 왜곡된 코homology 와 동형이며, 이는 $r = \sum_{i\in I_1,j\in I_2} r_{ij}$ 의 정도로 왜곡된다.
• 등변 코homology 계산은 $H_\bullet^{\mathbb{G}_m^2}(X_I, \mathbb{Q}_\ell)_m = t^r H_\bullet(X_{I_1} \times X_{I_2}, \mathbb{Q}_\ell)_m[t]$ 를 보여주며, 기대되는 구조를 확인한다.
• 결과는 그로텐디크-레프슈체츠 고정점 공식을 통해 산술적 기본 논문을 암시한다.
• 이 방법은 국소계수 $\mathcal{L}$ 를 부드러운 방향성의 대체로 사용하여 특이성에도 불구하고 코homology 군 간의 자연스러운 동형을 수립한다.