[논문 리뷰] A note on the restricted universal enveloping algebra of a restricted Lie-Rinehart Algebra

Peter Schauenburg|arXiv (Cornell University)|2015. 05. 11.

Advanced Topics in Algebra참고 문헌 9인용 수 4

한 줄 요약

이 논문은 소수 성질을 가진 특성에서 제한된 리-린하르 대수의 제한된 보편 포락 대수에 대한 파incare-Birkhoff-Witt (PBW) 정리의 대체 증명을 제공한다. Rinehart의 PBW 정리와 제한된 리 대수에 대한 Jacobson의 방법을 응용하여, 기저를 정교화함으로써 기저가 유한 생성 프로젝티브일 때 제한된 보편 포락 대수가 프로젝티브임을 보장하는 기반을 구축한다. 주요 기여는 제한된 리-린하르 대수의 국소화에 대한 엄밀한 다루기로, 이는 Rumynin의 이전 작업에서 잠재적인 공백을 메운다.

ABSTRACT

Lie-Rinehart algebras, also known as Lie algebroids, give rise to Hopf algebroids by a universal enveloping algebra construction, much as the universal enveloping algebra of an ordinary Lie algebra gives a Hopf algebra, of infinite dimension. In finite characteristic, the universal enveloping algebra of a restricted Lie algebra admits a quotient Hopf algebra which is finite-dimensional if the Lie algebra is. Rumynin has shown that suitably defined restricted Lie algebroids allow to define restricted universal enveloping algebras that are finitely generated projective if the Lie algebroid is. This note presents an alternative proof and possibly fills a gap that might, however, only be a gap in the author's understanding.

연구 동기 및 목표

• 제한된 리-린하르 대수의 제한된 보편 포락 대수에 대한 PBW 정리에 대해 더 직접적이고 자가 포함적인 증명을 제공하는 것.
• Rumynin의 이전 작업에서 기저 링의 소수 이상에서 제한된 리-린하르 대수의 국소화에 대한 잠재적 공백을 다루는 것.
• 기저 링 위에서 프로젝티브일 때 제한된 보편 포락 대수가 기저 링 위에서 유한 생성 프로젝티브임을 입증하는 것.
• 제한된 리-린하르 대수의 $p$-승 연산이 국소화와 호환되게 연장될 수 있음을 입증하여 국소화된 구조가 여전히 제한된 리-린하르 대수임을 보장하는 것.

제안 방법

• 제한된 리 대수에 대한 Jacobson의 기법을 제한된 리-린하르 대수의 보편 포락 대수에 적용하여 '더 나은' PBW 기저를 구성하는 것.
• 새로운 기저 구성의 기초로 Rinehart의 원래 리-린하르 대수에 대한 PBW 정리를 사용하는 것.
• 기저 링 $R$ 의 소수 이상 $rak{p}$ 에서의 국소화 모듈 $R_{rak{p}} \otimes_R L$ 에서의 $p$-승 연산을 공식 $(s^{-1}x)^{[p]} = s^{-p-1}(s x^{[p]} - x^{p-1}(s)x)$ 를 통해 정의하여 제한된 구조를 연장하는 것.
• 보편 포락 대수를 계산 도구로 사용하여 등가 관계 하에서 $p$-승 연산의 잘 정의성을 입증함으로써 국소화 하에서의 $p$-승 연산의 일관성을 검증하는 것.
• 국소화된 대수에서 요구되는 항등식 $(a+b)^{[p]} = a^{[p]} + b^{[p]} + \sum \lambda_i(a,b)$ 이 $p$-승 연산이 만족함을 입증하는 것.
• 국소화와 $R_{rak{p}}$ 위에서의 보편 포락 대수의 자유성에 기반하여, $L$ 이 $R$-모듈로서 유한 생성 프로젝티브일 때 제한된 보편 포락 대수가 $R$ 위에서 유한 생성 프로젝티브임을 보여주는 것.

실험 결과

연구 질문

• RQ1 Rumynin 이 이전에 제공한 것보다 더 직접적이고 자가 포함적인 증명을 통해 제한된 리-린하르 대수에 대한 PBW 정리가 가능할까?
• RQ2 기저 링 $R$ 의 소수 이상에서 제한된 리-린하르 대수의 $p$-승 연산이 일관되게 연장될 수 있을까?
• RQ3 기저 링 $R$ 위에서 유한 생성 프로젝티브인 제한된 리-린하르 대수의 제한된 보편 포락 대수가 $R$-모듈로서 유한 생성 프로젝티브일까?
• RQ4 제한된 리-린하르 대수의 국소화가 리-린하르 공리와 $p$-연산의 호환성까지 포함하여 여전히 제한된 리-린하르 대수의 구조를 유지할까?

주요 결과

• 논문은 소수 성질 $p > 0$ 에서 제한된 리-린하르 대수의 제한된 보편 포락 대수에 대한 PBW 정리에 대해 새로운, 더 명확한 증명을 확립한다.
• 기저 링 $R$ 위에서 유한 생성 프로젝티브일 때 제한된 보편 포락 대수 ${\mathfrak{u}}(R,L)$ 는 $R$-모듈로서 유한 생성 프로젝티브임을 보여준다.
• 국소화 $R_{\frak{p}} \otimes_R L$ 는 잘 정의된 $p$-승 연산을 가지며, 이는 $(s^{-1}x)^{[p]} = s^{-p-1}(s x^{[p]} - x^{p-1}(s)x)$ 공식을 통해 제한된 리-린하르 대수로 간주될 수 있다.
• 국소화된 대수에서 $p$-승 연산이 요구되는 항등식 $(a+b)^{[p]} = a^{[p]} + b^{[p]} + \sum \lambda_i(a,b)$ 를 만족함을 입증한다.
• 구성 과정을 통해 국소화된 리-린하르 대수의 보편 포락 대수가 $R_{\frak{p}}$ 위에서 자유임을 보장하며, 이는 원래 대수가 $R$ 위에서 유한 생성 프로젝티브임을 암시한다.
• 저자는 Rumynin 의 이전 작업에서 잠재적인 공백을 해결하여, $p$-구조가 국소화 하에서 호환됨을 엄밀히 검증함으로써 프로젝티브 결과에 필수적인 조건을 확보한다.