[논문 리뷰] On embedding of Lie conformal algebras into associative conformal algebras

Michael Roitman|ArXiv.org|2004. 04. 28.

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

한 줄 요약

이 논문은 국소성 함수가 일관되게 유계인 리 순환 대수는 그 국소성 bound를 유지하면서 아소시아티브 순환 대수에 임bedded될 수 있음을 증명한다. 이 구성은 관계를 강제하기 위해 철저히 정의된 아이디얼을 갖는 보편 호환 대수를 사용하며, 특히 노름형인 경우에 이와 같은 리 순환 대수는 동일한 지수를 갖는 노름형 아소시아티브 순환 호환 대수를 갖는다.

ABSTRACT

We prove that a Lie conformal algebra L with bounded locality function is embeddable into an associative conformal algebra A with the same bound on the locality function. If L is nilpotent, then so is A, and the nilpotency index remains the same. We also give a list of open questions concerning the embedding of Lie conformal algebras into associative conformal.

연구 동기 및 목표

• 리 순환 대수가 아소시아티브 순환 대수에 임베딩될 수 있는 충분한 조건을 규명하는 것.
• 국소성 함수의 선형 성장이 임베딩에 충분한지 여부를 다루는 것.
• 특히 노름형 및 국소성 유계 리 순환 대수에 대해 고전적 호환 대수의 개념을 순환 설정으로 일반화하는 것.
• 국소성 특성이 제어된 아소시아티브 순환 호환 대수를 구성하는 방법을 제공하는 것.
• 유한 유형 리 순환 대수와 그들의 유한 유형 호환 대수 가능성과의 연결 고리 탐색.

제안 방법

• 형식적 급수와 분할 거듭제곱을 사용하여 리 순환 대수 ${{\mathfrak{L}}}$ 에서 보편 아소시아티브 순환 대수 ${\mathfrak{U}}$ 를 구성한다.
• 총 차수에 따라 ${\mathfrak{U}}$ 에 필터를 정의하여 순환 곱과 미분 $D$ 와의 호환성을 확보한다.
• 국소성 조건을 강제하기 위해 총 차수가 $\geq r$ 인 모든 단어로 생성된 아이디얼 ${\mathfrak{I}}$ 를 도입한다. 여기서 $r$ 은 국소성 bound 이다.
• ${\mathfrak{U}}/{\mathfrak{N}}$ 의 ${\mathds{k}}[D]$-선형 기저 ${\mathcal{W}}$ 를 사용하여 선형 독립성과 몫의 구조를 제어한다.
• 몫 ${\mathfrak{A}} = {\mathfrak{U}}/{\mathfrak{I}}$ 가 원하는 국소성 및 임베딩 성질을 갖는 아소시아티브 순환 대수임을 보인다.
• 관계식 (4)와 (6)을 사용한 직접 계산을 통해 몫 대수가 순환 아소시아티브성과 국소성을 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 리 순환 대수가 아소시아티브 순환 대수에 임베딩될 수 있는가?
• RQ2 일관되게 유계인 국소성 함수가 그러한 임베딩에 충분한가?
• RQ3 노름형 리 순환 대수는 동일한 지수를 갖는 노름형 아소시아티브 순환 대수에 임베딩될 수 있는가?
• RQ4 유한 유형 리 순환 대수의 중심 확장에서 국소성 함수가 원래의 것이 국소성 유계일 경우 여전히 유계인가?
• RQ5 국소성 함수의 선형 성장이 임베딩에 충분한가, 아니면 더 강한 조건이 필요한가?

주요 결과

• 모든 리 순환 대수에서 국소성 함수 $S_{\mathfrak{L},{\mathcal{G}}}(l) \leq K$ 가 모든 $l$ 에 대해 일관되게 유계이면, 동일한 국소성 bound 를 갖는 아소시아티브 순환 대수로 임베딩될 수 있다.
• 이 구성은 모든 노름형 리 순환 대수에 대해 동일한 지수를 갖는 노름형 아소시아티브 순환 호환 대수를 제공한다.
• ${\mathfrak{U}}/{\mathfrak{I}}$ 를 통한 보편 구성은 총 차수가 $\geq r$ 인 모든 단어가 사라지게 하여 국소성 bound 를 강제한다.
• ${\mathfrak{I}}$ 가 적절하고 ${\mathfrak{L}}$ 와 겹치지 않음을 보여, ${\mathfrak{L}}$ 이 ${\mathfrak{A}} = {\mathfrak{U}}/{\mathfrak{I}}$ 에 임베딩됨을 확보한다.
• 이 방법은 호환 대수의 국소성 함수가 원래 리 순환 대수의 것과 일치함을 증명한다.
• 결과는 유한 유형 리 순환 대수 중 국소성 함수가 유계인 경우, 유한 유형 아소시아티브 순환 호환 대수를 갖을 수 있다는 추측을 뒷받침한다.