[논문 리뷰] On Harder-Narasimhan filtrations and their compatibility with tensor products

Christophe Cornut|arXiv (Cornell University)|2017. 03. 23.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 11

한 줄 요약

이 논문은 모듈러 래티스와 준탄나카이 카테고리에서 하더-나라시마한(HN) 필터레이션에 대한 볼록기하학적 프레임워크를 수립하며, CAT(0) 거리기하학과 부스만 스칼라곱을 기반으로 한 수치 기준을 통해 HN-필터레이션의 텐서곱과의 호환성을 증명한다. 주요 기여는 HN-필터레이션들이 텐서 카테고리에서 ⊗-함수자로 작용함을 보장하는 일반 기준을 제시하는 것으로, 이는 필터링된 벡터 공간, 노름이 부여된 벡터 공간, 노름이 부여된 ϕ-모듈의 세 가지 경우에서 검증된다.

ABSTRACT

We attach buildings to modular lattices and use them to develop a metric approach to Harder-Narasimhan filtrations. Switching back to a categorical framework, we establish an abstract numerical criterion for the compatibility of these filtrations with tensor products. We finally verify our criterion in three cases, one of which is new.

연구 동기 및 목표

• 모듈러 래티스와 거리기하학을 이용해 하더-나라시마한 필터레이션의 범주론적이고 기하학적 기초를 제공한다.
• 준탄나카이 카테고리에서 HN-필터레이션이 텐서곱과 호환됨을 보장하는 수치 기준을 수립한다.
• 세 가지 핵심 사례에서 이 기준을 검증한다: 필터링된 벡터 공간, 노름이 부여된 벡터 공간, 노름이 부여된 ϕ-모듈.
• 이 사례들에서 HN-필터레이션 함자(함수자)가 ⊗-함수자임을 보이며, 기존 결과를 확장하고 비구조적인 증명들을 통합한다.
• 예시들에서 기울기 0의 준안정 객체의 부분카테고리의 탄나카 이중성을 탐색한다.

제안 방법

• 유한 길이의 모듈러 래티스 X 위의 R-필터레이션 공간을 도입하며, 랭크 함수로부터 유도된 거리 d를 부여한다.
• F(X)와 d가 랭크 함수의 선택에 관계없이 독립적인 완비 CAT(0) 거리공간임을 보인다.
• 도수 함수를 통해 F(X)에 볼록함수를 부여하며, 이 함수의 유일한 최소값이 HN-필터레이션을 이룬다.
• 이 래티스 이론적 형식을 카테고리에 적용하여 래티스 프레임워크에서 유도된 범주론적 HN 형식을 도출한다.
• CAT(0) 공간 위의 부스만 스칼라곱을 이용해 HN-필터레이션이 ⊗-곱과 호환됨을 보장하는 수치 기준을 개발한다.
• 대체로 대수적으로 닫힌 체로의 기저 전환과 게이지 노름, 갈루아 작용의 성질을 사용해 세 사례에서 기준을 검증한다.

실험 결과

연구 질문

• RQ1 하더-나라시마한 필터레이션은 모듈러 래티스 위의 볼록기하학을 통해 내재적으로 특징지어질 수 있는가?
• RQ2 텐서 카테고리에서 HN-필터레이션은 어떤 조건에서 ⊗-함수자인가?
• RQ3 노름이 부여된 ϕ-모듈의 카테고리에서 HN-필터레이션은 텐서곱과 호환되는가?
• RQ4 노름이 부여된 ϕ-모듈의 카테고리에서 기울기 0의 준안정 객체의 전체 부분카테고리의 탄나카 이중성은 무엇인가?
• RQ5 거리기하학을 통해 다양한 카테고리에서 HN-필터레이션의 텐서곱 호환성이 통일적으로 확립될 수 있는가?

주요 결과

• 유한 길이의 모듈러 래티스 X 위의 R-필터레이션 공간은 랭크 함수를 부여받아 완비 CAT(0) 거리공간을 이룬다. 이는 랭크 함수의 선택에 독립적이다.
• HN-필터레이션은 도수 함수로부터 유도된 함수의 유일한 최소값으로서 R-필터레이션 공간 위에서의 볼록함수의 최소값으로 특징지어진다.
• 필터링된 벡터 공간의 카테고리에서 HN-필터레이션은 텐서곱과 호환되며, 새로운 방법으로 알려진 결과를 재확인한다.
• 국소체 위의 노름이 부여된 벡터 공간의 카테고리에서 HN-필터레이션은 ⊗-함수자이다. 이는 shtuka의 이소지니 카테고리에 적용 가능한 새로운 결과이다.
• 노름이 부여된 ϕ-모듈의 카테고리에서 HN-필터레이션은 ⊗-함수자이다. 이는 [17]의 결과를 일반화하며, 텐서곱과의 호환성을 확립한다.
• 유한체 위의 재구성된 군 G에 대해, Rep(G)에서 Normϕ_K로의 모든 충실하고 정확한 ⊗-함수자는 양호하다. 즉, 그 HN-필터레이션은 텐서곱과 호환된다.