[논문 리뷰] Representation theory of Yang-Mills algebras

Estanislao Herscovich, Andréa Solotar|ArXiv.org|2008. 07. 24.

Algebraic structures and combinatorial models참고 문헌 10인용 수 7

한 줄 요약

이 논문은 $n \geq 3$ 일 때 모든 와일 대수 $A_r(k)$ 가 결합 양-밀스 대수 ${\mathrm{YM}}(n)$ 의 에피모르픽 이미지임을 입증하며, 이로 인해 와일 대수의 알려진 표현 이론을 ${\mathrm{YM}}(n)$ 으로 이전할 수 있다. 핵심 결과는 이러한 표현들이 ${\mathrm{YM}}(n)$ 의 점들을 분리할 수 있을 정도로 충분히 큰 가중치를 가지며, 대수의 무한 차원 기브릴-키릴로프 차원이 무한하기에도 불구하고 무한 차원 표현의 풍부한 공급원을 제공한다는 것이다.

ABSTRACT

The aim of this article is to describe families or representations of the Yang-Mills algebras YM(n) (where n>1) defined by Connes and Dubois-Violette. We first describe irreducible finite dimensional representations. Next, we provide families of infinite dimensional representations of YM(n), big enough to separate points of the algebra. In order to prove this result, we use that all Weyl algebras Ar(k) are epimorphic images of YM(n).

연구 동기 및 목표

• ${\mathrm{YM}}(n)$ 의 표현 가중치를 기술하여, 대수의 영이 아닌 원소들을 구별할 수 있을 정도로 충분히 큰 가중치를 가지게 한다.
• ${\mathrm{YM}}(n)$ 의 표현 이론을 유한 차원 기약 표현을 넘어서 확장한다. 이는 논문에서 완전히 분류되어 있다.
• ${\mathrm{YM}}(n)$ 에서 유도된 표현의 범주가 점들을 분리함을 입증하여, 영이 아닌 모든 원소에 대해 비자명한 작용을 보장한다.
• ${\mathrm{YM}}(n)$ 이 $n \geq 3$ 일 때 모든 $r \geq 1$ 에 대해 $A_r(k)$ 에 표류함을 증명한다. 이는 자유 리 아이디얼의 구조를 이용한다.

제안 방법

• 저자들은 ${\mathfrak{ym}}(n)$ 의 부분리 대수 ${\mathfrak{tym}}(n) \subset {\mathfrak{ym}}(n)$ 를 식별하며, 이는 자유 리 대수로서 다른 대수들로의 준동형을 구성하는 데 핵심적이다.
• 그들은 키릴로프 궤도 방법을 사용하여 ${\mathfrak{ym}}(n)$ 에서부터 와일 대수의 보편 포락 대수를 갖는 리 대수들로의 리 대수 준동형을 구성한다.
• 증명은 보편 포락 대수 ${\mathrm{TYM}}(n) = {\mathcal{U}}({\mathfrak{tym}}(n))$ 의 모델을 구성하고, 바 복합체를 호모로지 분석을 단순화하기 위해 호모토피적 동치인 버전으로 대체하는 데 의존한다.
• 그들은 ${\mathfrak{ym}}(n)/{\mathcal{C}}^l({\mathfrak{ym}}(n))$ 의 멱영성과 함께 몰입 사슬과 동형사슬의 조합을 통해 ${\mathrm{YM}}(n)$ 이 $A_r(k)$ 로의 사상으로 나타남을 보인다.
• ${\mathcal{W}}(n)$ 은 $A_r(k)$ 를 통해 인식되는 ${\mathrm{YM}}(n)$-모듈의 전체 부분범주로 정의되며, 포락 대수의 극대 아이디얼 교차를 통해 점 분리 성질이 증명된다.
• 논증은 유한 차원 리 대수의 보편 포락 대수의 잭보브스키 루트가 0임을 이용하여, 영이 아닌 원소에 대해 비자명한 작용이 보장됨을 보장한다.

실험 결과

연구 질문

• RQ1 $n \geq 3$ 일 때, ${\mathrm{YM}}(n)$ 의 무한 차원 표현을 구성할 수 있을까? 이 표현들이 대수의 점들을 분리할 수 있는가?
• RQ2 ${\mathrm{YM}}(n)$ 에서 모든 $r \geq 1$ 과 $n \geq 3$ 에 대해 와일 대수 $A_r(k)$ 로의 준동형이 존재하는가?
• RQ3 ${\mathfrak{ym}}(n)$ 에 자유 리 아이디얼이 존재하면 궤도 방법을 통해 체계적인 표현 구축이 가능한가?
• RQ4 와일 대수의 표현 이론을 ${\mathrm{YM}}(n)$ 으로 이전하여 풍부하고 유용한 표현의 가중치를 도출할 수 있는가?

주요 결과

• $n \geq 3$ 일 때, 모든 $r \geq 1$ 에 대해 정리 1.1 에 의해 와일 대수 $A_r(k)$ 는 ${\mathrm{YM}}(n)$ 의 에피모르픽 이미지이다.
• ${\mathfrak{tym}}(n)$ 은 $\bigoplus_{j \geq 2} {\mathfrak{ym}}(n)_j$ 로 정의되며, 자유 리 대수임을 보여주는 핵심적인 구조적 결과이다.
• ${\mathrm{YM}}(n)$-모듈 중 $A_r(k)$ 를 통해 인식되는 범주 ${\mathcal{W}}(n)$ 은 정리 4.12 에 의해 ${\mathrm{YM}}(n)$ 의 점들을 분리한다.
• 이 구성은 ${\mathrm{YM}}(n)$ 의 모든 표현을 제공하지는 않으며, ${\mathcal{W}}(n)$ 의 모듈의 기브릴-키릴로프 차원은 최대 $2r$ 이지만, ${\mathrm{YM}}(n)$ 자체는 무한 차원 기브릴-키릴로프 차원을 갖는다.
• ${\mathrm{YM}}(n)$ 의 정규 표현은 무한 차원 기브릴-키릴로프 차원을 가지며, ${\mathcal{W}}(n)$ 의 어떤 모듈과도 동형이 아니므로, 이 가중치는 완전하지 않음을 보여준다.
• ${\mathfrak{tym}}(2)$ 가 자유 리 대수가 아니므로, $n=2$ 에서는 증명이 실패한다. 이는 하나의 생성자를 갖는 자유 리 대수와 동형이기 때문이다.