[논문 리뷰] Derived Langlands III: PSH algebras and their numerical invariants

Victor Snaith|arXiv (Cornell University)|2020. 06. 12.

Advanced Algebra and Geometry참고 문헌 12인용 수 4

한 줄 요약

이 논문은 p진 국소체 또는 유한체 위의 일반선형군 GL_n에 대한 초히브( hyperHecke) 대수에 대해 호프 유사 대수 구조의 추측을 제기하며, 이를 통해 PSH 대수와 그 수치적 불변량을 일반화한다. 브라하트 분해와 이중 코스 분석을 통해 코프로덕트를 구성하고, 텐서곱과의 호환성을 보이며, 초히브 대수를 통해 유도된 론그랜즈 상응관계의 더 깊은 대수적 틀을 제안한다.

ABSTRACT

This sequel to Derived Langlands II studies some PSH algebras and their numerical invariants, which generalise the epsilon factors of the local Langlands Programme. It also describes a conjectural Hopf algebra structure on the sum of the hyperHecke algebras of products of the general linear groups over a $p$-adic local field or a finite field.

연구 동기 및 목표

• p진 국소체 또는 유한체 위의 일반선형군에 대한 초히브 대수와 그 수치적 불변량 이론을 일반화한다.
• GL_n 군의 초히브 대수의 직합에 대해 호프 유사 대수 구조의 가능성을 조사한다.
• 모노미얼 카테고리와 바르 분해를 통해 적합한 표현을 유도 범주에 포함시켜, 유도된 론그랜즈 이론의 프레임워크를 확장한다.
• 세갈 추측과 브라우어의 유도 정리에 영감을 받아, 이중 코스 분해와 유도 표현을 이용하여 초히브 대수에 코프로덕트를 정의한다.

제안 방법

• 이중 코스 표현자와 치환 작용을 이용하여 GL_n(F)의 초히브 대수에 코프로덕트를 구성한다.
• P_{a,n-a}/U_{a,n-a} ≅ GL_a(F) × GL_{n-a}(F)의 동형을 이용하여, 복합부분군에서 일반선형군으로 표현을 내림린다.
• 브라하트 분해를 조합론적으로 적용하여 초히브 대수의 텐서곱에서 곱셈과 코프로덕트 사상 간의 호환성을 확보한다.
• 코프로덕트 성분의 잘 정의성을 확보하기 위해, (zg^{-1})^{-1})^*(φ) 가 유니포텐트 부분군에서 자명해야 한다는 조건을 도입한다.
• a = 0에서 n까지의 합으로 코프로덕트를 정의하며, 해당 조건을 만족하는 항들로 제한함으로써 양의 성질과 PSH 대수 구조와의 호환성을 확보한다.
• 정수환 ℤ 위의 PSH 대수의 구조, 특히 특별한 기저와 자기수반성에 기반하여, 초히브 대수에서의 양의 성질과 딜로가티브를 정의한다.

실험 결과

연구 질문

• RQ1 비아르키메데스 국소체 F에 대해 GL_n(F)의 초히브 대수에 호프 유사 대수 구조를 부여할 수 있는가?
• RQ2 초히브 대수의 코프로덕트는 PSH 대수의 텐서곱 구조와 어떻게 관련이 있는가?
• RQ3 브라하트 분해는 초히브 대수에서 일관된 코프로덕트를 구성하는 데 어떤 역할을 하는가?
• RQ4 Kondo-Gauss 합과 같은 PSH 대수의 수치적 불변량은 초히브 대수 설정으로 일반화될 수 있는가?
• RQ5 이 대수적 프레임워크 내에서, 복합부분군에서 전체 일반선형군으로 유도 표현을 정규화할 수 있는 표준적인 방법이 존재하는가?

주요 결과

• 코프로덕트는 이중 코스 표현자와 치환을 통해 정의되며, 성분들은 유니포텐트 루트에 대한 몫을 통해 GL_a(F) × GL_{n-a}(F)로 내림린다.
• 구성은 m*, m 및 텐서 범주에서의 트위스트 T를 포함하는 사상의 복합에 의해 곱셈과의 호환성을 확인함으로써 보장된다.
• ((zg^{-1})^{-1})^*(φ) 가 U_{a,n-a} ∩ zg^{-1}Hgz^{-1} 에서 자명한 경우에만 코프로덕트가 제한되며, 이는 잘 정의성과 양의 성질을 보장한다.
• 논문은 m* ⊗ m* 이후 T와 m × m를 복합하는 사상과 m와 m*를 복합하는 사상이 동일하다는 것을 증명하며, 코결합성 유사 성질을 확인한다.
• 이 구성은 GL_n(𝔽_q)에서의 Kondo-Gauss 합을 초히브 대수 설정으로 일반화하며, 국소 론그랜즈 프로그램의 에프스실론 인자와의 연결 가능성을 시사한다.
• 저자는 n의 모든 순서된 분할에 대해 초히브 대수의 직합에 대해 전체 호프 대수 구조를 추측하며, 코프로덕트는 브라하트 분해와 문자 조건에 의해 정의된다.