[논문 리뷰] Piecewise principal comodule algebras

Piotr M. Hajac, Ulrich Kraehmer외 2명|ArXiv.org|2007. 07. 09.

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

한 줄 요약

이 논문은 호프 대수 위의 코모듈 알제브라의 주권성은 조각별 성질임을 증명한다: 코모듈 알제브라 P는 모든 그 몫 P_i가 주권적일 때이고, 그때에만 주권적이다. 이 몫들은 핵이 서로 겹치지 않는 유한한 가우시언의 가족에 의해 정의된다. 주요 기여는 유한한 위상 공간 위의 플라비한 층을 통해 이러한 알제브라들을 층 이론적으로 특성화한 것이다. 이는 비가환 기하학에서 국소적으로 평탄한 주권적 병함수의 일반화이다.

ABSTRACT

A comodule algebra P over a Hopf algebra H with bijective antipode is called principal if the coaction of H is Galois and P is H-equivariantly projective (faithfully flat) over the coaction-invariant subalgebra B. We prove that principality is a piecewise property: given N comodule-algebra surjections P->Pi whose kernels intersect to zero, P is principal if and only if all Pi's are principal. Furthermore, assuming the principality of P, we show that the lattice these kernels generate is distributive if and only if so is the lattice obtained by intersection with B. Finally, assuming the above distributivity property, we obtain a flabby sheaf of principal comodule algebras over a certain space that is universal for all such N-families of surjections P->Pi and such that the comodule algebra of global sections is P.

연구 동기 및 목표

• 핵이 서로 겹치지 않는 유한한 가우시언의 가족을 통해 코모듈 알제브라의 국소성 개념을 정의하고 분석한다.
• 주권성—비가환 기하학에서 주권적 병함수의 일반화—이 국소적 성질임을 증명한다: P가 주권적일 때이고, 그때에만 모든 P_i가 주권적이다.
• 핵에 의해 생성된 아이디얼의 격자와 분배 격자 구조, 그리고 유한한 위상 공간 위의 플라비한 층 사이의 연결 고리를 설정한다.
• 스모시 tích과 섬유곱을 사용하여 국소적으로 평탄한 주권적 병함수의 개념을 비가환 설정으로 일반화한다.
• 조각별 평탄한 코모듈 알제브라를 위한 층 이론적 프레임워크를 제공한다. 이는 Z/2Z 위의 (N−1)-차원 프로젝티브 공간을 사용한다.

제안 방법

• 핵이 서로 겹치지 않는 코모듈 알제브라의 가우시언 P → P_i를 사용하여 P의 '조각들'로의 커버링을 정의한다.
• 호프-갈로와 확장 이론과 동치 프로젝티브성 이론을 적용하여 주권성을 정의한다: P가 주권적일 때이고, 그때에만 코작용이 갈로와이고 P가 P^{coH} 위에서 프로젝티브이다.
• 이러한 커버링을 통해 주권성이 내림내림됨을 증명한다: P가 주권적일 때이고, 그때에만 모든 P_i가 주권적이다.
• 핵에 의해 생성된 아이디얼의 격자가 분배 격자임을 보장하는 더 강력한 커버링 조건을 도입한다.
• P^{N−1}(Z/2) 위에 코모듈 알제브라의 플라비한 층을 구성한다. 이 층의 전역 단면은 P를 복원한다.
• 분배 격자를 위한 중국인의 나머지 정리를 사용하여, N개의 아이디얼에 의해 생성된 분배 격자와 P^{N−1}(Z/2) 위의 플라비한 층 사이의 동치를 확립한다.

실험 결과

연구 질문

• RQ1 핵이 서로 겹치지 않는 유한한 가우시언의 커버링에 의해 정의된 코모듈 알제브라의 주권성은 보존되는가?
• RQ2 이러한 가우시언의 핵에 의해 생성된 아이디얼의 격자가 분배 격자가 되는 조건은 무엇인가?
• RQ3 유한한 위상 공간 위에 코모듈 알제브라의 플라비한 층을 구성할 수 있는가? 그러한 N-가우시언의 커버링을 분류할 수 있는가?
• RQ4 층 이론적 프레임워크는 비가환 기하학에서 고전적인 국소적으로 평탄한 주권적 병함수의 개념과 어떻게 관련되는가?
• RQ5 Z/2Z 위의 (N−1)-차원 프로젝티브 공간은 코모듈 알제브라의 N-커버링의 조합론을 어떻게 코딩하는가?

주요 결과

• 코모듈 알제브라 P는 핵이 서로 겹치지 않는 유한한 가우시언의 가족에 의해 정의된 몫 P_i가 모두 주권적일 때이고, 그때에만 주권적이다.
• 이러한 가우시언의 핵에 의해 생성된 아이디얼의 격자는, 그들이 P^{coH}와의 교차에서 생성하는 격자가 분배 격자일 때이고, 그때에만 분배 격자이다.
• P^{N−1}(Z/2) 위에 전역 단면이 P와 동형인 주권적 코모듈 알제브라의 보편 플라비한 층이 존재한다.
• 환의 N개의 아이디얼에 의해 생성된 분배 격자의 범주와 P^{N−1}(Z/2) 위의 플라비한 대수 층의 범주 사이에 동치가 존재한다.
• 이 구성은 스모시 tích을 통해 국소적으로 평탄한 주권적 병함수의 개념을 조각별 평탄한 코모듈 알제브라로 구성함으로써 비가환 기하학으로 일반화한다.
• 구성된 조각별 평탄한 코모듈 알제브라 P의 불변 부분대수 P^{coH}는 선택된 작용에 따라 거울 또는 일반적인 포드레스 양자 2-구면의 C*-대수와 동형이다.