[논문 리뷰] COHOMOLOGY REPRESENTATIONS OF EXTERNAL AND SYMMETRIC PRODUCTS OF VARIETIES

Laurenţiu Maxim, Joerg Schuermann|arXiv (Cornell University)|2016. 01. 01.

Advanced Algebra and Geometry인용 수 1

한 줄 요약

이 논문은 복소 quasi-프로젝티브 다양체의 외부 곱과 대칭 곱에 대한 가상 코homology 표현의 생성 함수 공식을 구성 가능하거나 계량 가능한 층 또는 혼합 Hodge 모듈러스 계수로 더욱 정밀하게 설정한다. 문제를 대칭 모노이드 범주 내의 추상적 특성 항등식으로 줄이기 위해 등변 K"unneth 공식을 사용함으로써, 이는 이전의 대칭 및 교환 승수 결과를 일반화하고 자연스럽게 Schur 함수와 유한군 작용 또는 자동형사상이 있는 등변 설정으로 확장된다.

ABSTRACT

We prove refined generating series formulae for characters of (virtual) cohomology representations of external products of suitable coefficients on (possibly singular) complex quasi-projective varieties, e.g., (complexes of) constructible or coherent sheaves, or (complexes of) mixed Hodge modules. These formulae generalize our previous results for symmetric and alternating powers of such coefficients, and apply also to other Schur functors. The proofs of these results are reduced via an equivariant K\unneth formula to a more general generating series identity for abstract characters of tensor powers $\cV^{\otimes n}$ of an element $\cV$ in a suitable symmetric monoidal category. This abstract approach applies directly also in the equivariant context for varieties with additional symmetries (e.g., finite group actions, finite order automorphisms, resp., endomorphisms).

연구 동기 및 목표

• 코homology 표현의 대칭 및 교환 승수에 대한 이전 결과를 구성 가능 또는 계량 가능한 층 등의 더 넓은 계수 및 함수로 일반화하기 위해.
• 복소 quasi-프로젝티브 다양체의 외부 곱과 대칭 곱에 대한 가상 코homology 표현을 계산하는 통합 프레임워크를 개발하기 위해.
• 유한군 작용, 유한 순서의 자동형사상 또는 자기 사상이 포함된 등변 설정으로 이러한 결과를 확장하기 위해.
• 대칭 모노이드 범주에서 텐서 승수의 특성에 대한 생성 함수 항등식을 기초 도구로 확립하기 위해.
• 대칭 및 외부 승수를 초월하여 더 복잡한 표현론적 구조를 포괄하는 Schur 함수에까지 적용 가능한 체계적인 접근법을 제공하기 위해.

제안 방법

• 등변 K"unneth 공식을 활용하여 코homology 표현 문제를 대칭 모노이드 범주 내의 특성 이론으로 축소하기 위해.
• 적절한 유한성 및 쌍대 조건을 만족하는 대칭 모노이드 범주 내의 원소 $\cV$ 의 텐서 승수 $\cV^{\otimes n}$ 의 추상적 특성으로 작업하기 위해.
• 이러한 특성에 대한 일반적인 생성 함수 항등식을 유도하여 핵심 대수적 도구로 활용하기 위해.
• 구성 가능 층, 계량 가능한 층, 복소 quasi-프로젝티브 다양체 위의 혼합 Hodge 모듈러스와 같은 기하학적 계수에 이 항등식을 적용하기 위해.
• 유한군 작용 또는 유한 순서의 자동형사상과 같은 대칭을 통합하여 등변 맥락으로 프레임워크를 확장하기 위해.
• 대칭 및 외부 승수를 초월하여 더 복잡한 표현론적 구조를 포착하는 Schur 함수를 사용하여 결과를 일반화하기 위해.

실험 결과

연구 질문

• RQ1 구성 가능 또는 계량 가능한 층 계수를 가진 다양체의 대칭 및 외부 곱에 대한 코homology 표현의 생성 함수는 일반 계수에 대해 어떻게 정밀화될 수 있는가?
• RQ2 다양한 종류의 계수와 함수에 걸쳐 이러한 생성 함수를 통일적으로 다룰 수 있는 추상적 범주론적 프레임워크는 무엇인가?
• RQ3 유한군 작용 또는 유한 순서의 자동형사상과 같은 추가 대칭성을 가진 다양체로 결과는 어떻게 확장되는가?
• RQ4 대칭 모노이드 범주 내에서 유일한 보편 항등식으로부터 Schur 함수의 생성 함수를 유도할 수 있는가?
• RQ5 등변 K"unneth 공식은 기하학적 코hom로지 문제를 특성 이론적 항등식으로 축소하는 데 어떤 역할을 하는가?

주요 결과

• 쌍대성 및 유한성 조건을 만족하는 대칭 모노이드 범주 내에서 텐서 승수 $\cV^{\otimes n}$ 의 특성에 대한 보편 생성 함수 항등식이 확립되었다.
• 외부 곱과 대칭 곱에 대한 코homology 표현의 생성 함수는 이 추상적 특성 항등식으로 표현된다.
• 결과는 이전의 대칭 및 교환 승수 공식을 임의의 Schur 함수로 일반화한다.
• 이 프레임워크는 가능하게 특이한 복소 quasi-프로젝티브 다양체 위의 혼합 Hodge 모듈러스, 구성 가능 층, 계량 가능한 층에 직접 적용된다.
• 유한군 작용 또는 유한 순서의 자동형사상이 있는 등변 설정으로의 확장도 자연스럽게 가능하다.
• 이 추상적 접근은 다양한 기하학적 및 표현론적 맥락에서 가상 코homology 표현을 체계적이고 통합적으로 계산하는 데 기여한다.