[논문 리뷰] A remark on the $C_2$-cofiniteness condition on vertex algebras

Tomoyuki Arakawa|arXiv (Cornell University)|2010. 04. 09.

Algebraic structures and combinatorial models참고 문헌 19인용 수 6

한 줄 요약

이 논문은 유한히 강하게 생성되고, 음이 아닌 등수를 가진 버츄얼 대수에서, $C_2$-cofiniteness 조건이 Beilinson, Feigin, 그리고 Mazur가 정의한 lisse 조건과 동치임을 증명한다. 이 동치성은 관련 다양체와 특이 지지 구조를 통해 증명되며, $C_2$-cofiniteness가 기술적 장치가 아니라 자연스러운 유한성 조건임을 보여주며, Virasoro 및 애poneous 버츄얼 대수에 응용된다.

ABSTRACT

We show that a finitely strongly generated, non-negatively graded vertex algebra $V$ is $C_2$-cofinite if and only if it is lisse in the sense of Beilinson, Feigin and Mazur. This shows that the $C_2$-cofiniteness is indeed a natural finiteness condition.

연구 동기 및 목표

• 버츄얼 대수에서 $C_2$-cofiniteness 조건의 개념적 의미를 명확히 하여, 많은 연구에서 기술적 가정으로 사용된 바를 해소하기 위해.
• Beilinson, Feigin, 그리고 Mazur가 정의한 lisse 조건과 $C_2$-cofiniteness 조건이 동치임을 보여, 이 조건이 자연스러운 유한성 조건으로서의 역할을 정당화하기 위해.
• Li의 표준 필터링을 사용하여 버츄얼 대수에 대해 특이 지지와 관련 다양체의 개념을 확장하여, 리 이론적 필터링과의 비교를 가능하게 하기 위해.
• Virasoro 및 애poneous 버츄얼 대수의 맥락에서 $C_2$-cofiniteness와 lisse 표현을 통합하는 개념적 프레임워크를 제공하기 위해.

제안 방법

• 버츄얼 대수 $V$의 $M$-모듈에 대해, $M/C_2(M)$가 $V/C_2(V)$-모듈이 되도록 관련 다양체 $X_M$를 정의한다.
• Li의 표준 필터링을 사용하여, $X_M$의 무한 임펄스 스킴의 부분스킴으로서 $M$의 특이 지지를 정의한다.
• $M$이 $C_2$-cofinite일 조건은 $X_M$이 0차원임과 동치이며, 이는 특이 지지 $SS(M)$가 0차원임을 의미한다.
• 특이 지지의 차원이 0임을 $M/C_2(M)$가 $R_V$ 위에서 유한차원임과 동치임을 보여, $C_2$-cofiniteness와 lisse 조건의 동치성을 확립한다.
• 이 프레임워크를 Virasoro 버츄얼 대수와 애poneous 버츄얼 대수에 적용하여, $C_2$-cofiniteness가 통합 가능한 최고 무게 모듈과 대응됨을 보인다.
• Gabber의 정리(항등적 나이프의 근기의 닫힘성)를 사용하여, $\operatorname{gr}^{Lie}M$에서 $L_{-1}$과 $L_{-2}$가 영항성일 경우 $SS^{BFM}(M) = \{0\}$임을 보인다.

실험 결과

연구 질문

• RQ1 유한히 강하게 생성되고, 음이 아닌 등수를 가진 버츄얼 대수에서 $C_2$-cofiniteness 조건은 lisse 조건과 동치인가?
• RQ2 관련 다양체와 특이 지지와 같은 기하적 불변량을 통해 $C_2$-cofiniteness 조건을 자연스러운 유한성 조건으로 해석할 수 있는가?
• RQ3 특히 Virasoro 및 애poneous 버츄얼 대수의 맥락에서, 리 이론적 필터링과 Li의 표준 필터링은 어떻게 비교되는가?
• RQ4 Virasoro 대수의 최고 무게 모듈이 $C_2$-cofinite가 되는 조건은 무엇이며, 이는 최소 시리즈 표현과 어떻게 관련되는가?
• RQ5 애poneous 버츄얼 대수에서 기약 모듈의 $C_2$-cofiniteness는 해당 $\check{\mathfrak{g}}$-모듈의 통합성과 동치인가?

주요 결과

• 유한히 강하게 생성되고, 음이 아닌 등수를 가진 버츄얼 대수 $V$는 Beilinson, Feigin, 그리고 Mazur의 의미에서 lisse이면 $C_2$-cofinite이다.
• $C_2$-cofiniteness 조건은 관련 다양체 $X_M$가 0차원임과 동치이며, 이는 특이 지지 $SS(M)$가 0차원임을 의미한다.
• Virasoro 버츄얼 대수의 경우, 최고 무게 모듈 $M$이 $C_2$-cofinite임은 $SS^{BFM}(M) = \{0\}$과 동치이며, 이는 정확히 $M$이 최소 시리즈 표현일 때 성립한다.
• 애poneous 버츄얼 대수의 경우, $L(\lambda)$가 $C_2$-cofinite임은 $\widehat{\mathfrak{g}}$에서의 통합 표현임과 동치이며, 이는 $\lambda$가 주어진 정수 무게일 때 성립한다.
• 최고 무게 $\mathcal{L}$-모듈 $M$의 특이 지지 $SS^{BFM}(M)$가 $\{0\}$임은 $L_{-1}$과 $L_{-2}$가 $\operatorname{gr}^{Lie}M$에서 영항성으로 작용함과 동치이며, 이는 $M/C_2(M)$가 $R_{Vir^c}$ 위에서 유한차원임과 동치이다.
• 이 증명은 0차원 다양체의 임펄스 스킴이 0차원임을 바탕으로 하며, 이는 $C_2$-cofiniteness와 lisse 조건의 동치성을 뒷받침한다.