[논문 리뷰] Lefschetz theory for exterior algebras and fermionic diagonal coinvariants

Jongwon Kim, Brendon Rhoades|arXiv (Cornell University)|2020. 03. 23.

Advanced Combinatorial Mathematics참고 문헌 18인용 수 5

한 줄 요약

이 논문은 기약 복소 반사군 $W$ 와 관련된 외배럴(algebra)에 대한 레프셰츠 유형 이론을 개발하며, $W$-불변인 양의 차수 원소들의 아이디얼에 의해 $\wedge(V \oplus V^*)$ 의 몫으로 정의된 페르미온적 대각선 코인variants 환 $DR_W$ 를 도입한다. 주요 결과는 $DR_W$ 의 이중등급 $W$-모듈러 구조를 완전히 기술하는 것으로, $W = \mathfrak{S}_n$ 일 때는 후크 모양의 $\mathfrak{S}_n$-모듈러의 크로네커 곱의 차로 표현되며, 차원은 카탈란 수와 나라야나 수와 관련이 있고, 모트킨 경로를 통해 구성된 단항식 기저가 존재한다.

ABSTRACT

Let $W$ be an irreducible complex reflection group acting on its reflection representation $V$. We consider the doubly graded action of $W$ on the exterior algebra $\wedge (V \oplus V^*)$ as well as its quotient $DR_W := \wedge (V \oplus V^*)/ \langle \wedge (V \oplus V^*)^{W}_+ angle$ by the ideal generated by its homogeneous $W$-invariants with vanishing constant term. We describe the bigraded isomorphism type of $DR_W$; when $W = \mathfrak{S}_n$ is the symmetric group, the answer is a difference of Kronecker products of hook-shaped $\mathfrak{S}_n$-modules. We relate the Hilbert series of $DR_W$ to the (type A) Catalan and Narayana numbers and describe a standard monomial basis of $DR_W$ using a variant of Motzkin paths. Our methods are type-uniform and involve a Lefschetz-like theory which applies to the exterior algebra $\wedge (V \oplus V^*)$.

연구 동기 및 목표

• 기본 복소 반사군 $W$ 작용 하에서 외배럴 $\wedge(V \oplus V^*)$ 에 대한 레프셰츠 유형 이론을 개발한다.
• 페르미온적 대각선 코인variants 환 $DR_W = \wedge(V \oplus V^*) / \langle \wedge(V \oplus V^*)^W_+ \rangle$ 의 이중등급 동형 유형을 특성화한다.
• $DR_W$ 의 힐베르트 급수와 카탈란 수 및 나라야나 수 사이의 관계를 규명한다.
• 모트킨 경로의 변형을 이용하여 $DR_W$ 의 명시적 단항식 기저를 구성한다.
• $\mathfrak{S}_n$ 이외의 모든 기약 복소 반사군에 대해 이러한 결과를 균일하게 확장한다.

제안 방법

• $DR_W$ 의 정의 아이디얼을 주로 $V \oplus V^*$ 내의 $W$-불변 카시미르 원소 $\delta_W$ 로 표현하며, 이는 외배럴 내에서 레프셰츠 유사 원소로 작용한다.
• 외배럴 설정에서 생성자들이 반교환되므로 비록 그렇지만 이중등급 파oincaré 대칭성과 하드 레프셰츠 유사 성질을 활용한다.
• 표현 이론적 기법을 적용하여 $DR_W$ 를 외부 거듭제곱 $\wedge^i V$ 와 $\wedge^j V^*$ 로 분해함으로써, 이중등급 $W$-동형 유형에 대한 공식을 도출한다.
• 모트킨 경로에 영감을 받은 경로 기반 모델을 사용하여 $DR_W$ 의 표준 단항식 기저를 구성한다. 여기서 경로는 $\theta_i$ 와 $\xi_j$ 생성자들에 대한 단항식을 표현한다.
• 이러한 경로의 조합론을 활용하여 $DR_W$ 의 이중등급 힐베르트 급수를 계산하고, 이를 카탈란 수와 나라야나 수와 연결한다.
• $DR_W$ 의 차원이 랭크 $n$ 인 군에 대해 $\binom{2n+1}{n}$ 임을 확인하며, 그 차수 차원이 알려진 조합론적 수열과 일치함을 보인다.

실험 결과

연구 질문

• RQ1 선형 형식이 제곱하여 0이 되고 일반적으로 $W$-불변이 아니므로, 외배럴에 대해 레프셰츠 유형 이론을 어떻게 구성할 수 있는가?
• RQ2 기본 복소 반사군 $W$ 에 대해 페르미온적 대각선 코인variants 환 $DR_W$ 의 이중등급 $W$-모듈러 구조는 무엇인가?
• RQ3 $DR_W$ 의 차수별 성분 차원은 카탈란 수 및 나라야나 수와 같은 고전적 조합론적 수와 어떻게 관련이 있는가?
• RQ4 $DR_W$ 에 대해 모트킨 경로와 같은 조합론적 대상으로 명시적인 단항식 기저를 구성할 수 있는가?
• RQ5 $W = \mathfrak{S}_n$ 이 $n$-차원 순열 표현을 작용시키는 경우, $DR_W$ 의 다중등급 구조는 무엇인가? (반사 표현이 아닌 순열 표현을 고려함)

주요 결과

• $W = \mathfrak{S}_n$ 일 때, 이중등급 $W$-모듈러 $DR_W$ 는 후크 모양의 $\mathfrak{S}_n$-모듈러의 크로네커 곱의 차와 동형이며, 이는 그 표현 유형에 대한 완전한 분해를 제공한다.
• 모든 기약 복소 반사군 $W$ 에 대해 랭크 $n$ 일 때 $DR_W$ 의 차원은 $\binom{2n+1}{n}$ 이며, 그 차수 차원은 카탈란 수와 나라야나 수와 일치한다.
• $DR_W$ 의 이중등급 힐베르트 급수는 모트킨 경로의 변형을 통해 조합론적으로 표현되며, 생성 함수는 전체 이중등급 구조를 캐릭터라이즈한다.
• $\theta_i$ 와 $\xi_j$ 생성자들에 대한 유일한 단항식에 대응하는, 특정한 올라가기, 내리기, 평행 이동하는 단계를 가진 격자 내 경로를 사용하여 $DR_W$ 의 표준 단항식 기저를 구성한다.
• $W$-불변 원소인 카시미르 원소 $\delta_W$ 는 $V \oplus V^*$ 내에 있으며, $DR_W$ 의 정의 아이디얼을 생성하며, 이중등급 외배럴 내에서 레프셰츠 유사 원소로 작용한다.
• $W = \mathfrak{S}_n$ 일 때 결과는 $n$-차원 순열 표현으로 확장되며, 이에 따라 유사한 공식과 조합론적 기저가 도출된다.