[논문 리뷰] Finite dual of a cocommutative Hopf algebroid

Laiachi El Kaoutit, José Gómez-Torrecillas|arXiv (Cornell University)|2016. 07. 26.

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

한 줄 요약

이 논문은 코미utative 호프 대수군에서 아핀 군oids로의 변환을 가능하게 하는 유한 쌍대 함수를 제안하며, Dedekind 도메인 위의 리-리네르트 대수의 표현 이론과 그 기저 환의 스펙트럼 위의 아핀 군oids 간의 동치를 확립한다. 주요 결과는 이러한 표현들이 아핀 군oids의 표현과 동치임을 보이며, 이는 복소 아핀 직선 위의 전이적 리 대수군의 벡터장에 의해 구체적으로 설명된다.

ABSTRACT

We construct a contravariant functor (\emph{the finite dual functor}) from the category of co-commutative Hopf algebroids to the category of commutative Hopf algebroids. Using this functor, we then show that the representation theory of a given Lie-Rinehart algebra $(A,L)$ with $A$ is a Dedekind domain, is the 'same' as the representation theory of an affine groupoid over the spectrum of $A$. In particular, this applies to the global sections of any Lie algebroid over an irreducible smooth curve over an algebraically closed field. To illustrate our methods, we give a detailed application to the transitive Lie algebroid of vector fields over the complex affine line $\mathbb{A}^{\scriptscriptstyle{1}}_{\scriptscriptstyle{\mathbb{C}}}$, which involves the theory of differential modules.

연구 동기 및 목표

• 유한 쌍대 구성법을 통해 코미utative 호프 대수군에서 교환 가능한 호프 대수군으로의 반대변호 함수를 수립하기 위해.
• Dedekind 도메인 위의 리-리네르트 대수의 표현 이론을 아핀 군oids의 표현 이론과 연관시키기 위해.
• 기하학적 전역 단면을 포함한 비가역적 매끄러운 곡선 위의 리 대수군에 대해 이 동치성을 입증하기 위해.
• 복소 아핀 직선 위의 전이적 리 대수군의 벡터장에 대해 이 틀을 적용하고, 미분 모듈의 이론을 활용하기 위해.

제안 방법

• 코미utative 호프 대수군에서 교환 가능한 호프 대수군으로의 반대변호 함수로서의 유한 쌍대 함수를 구성한다.
• Dedekind 도메인 $A$를 갖는 리-리네르트 대수의 보편 포괄 대수에 대해 유한 쌍대 구성법을 적용한다.
• 유한 쌍대에 의해 유도되는 범주 동치를 이용하여 리-리네르트 대수의 표현과 $ \operatorname{Spec}(A)$ 위의 아핀 군oids의 표현을 연관시킨다.
• 복소 아핀 직선 $\mathbb{A}^1_{\mathbb{C}}$ 위의 전이적 리 대수군의 벡터장을 구체적 예시로 분석하며, 그 표현을 미분 모듈과 연결한다.
• 대수기하학과 모듈 이론의 기법을 활용하여 아핀 직선 케이스에서의 동치성을 검증한다.
• 호프 대수군의 구조와 Dedekind 도메인의 성질에 기반하여 쌍대성의 유지가 보장되도록 한다.

실험 결과

연구 질문

• RQ1 코미utative 호프 대수군에서 교환 가능한 호프 대수군으로의 사상으로서의 유한 쌍대 함수는 어떻게 구성할 수 있는가?
• RQ2 리-리네르트 대수의 표현 이론이 아핀 군oids의 표현 이론과 일치하는 조건은 무엇인가?
• RQ3 Dedekind 도메인 위의 리-리네르트 대수의 표현과 그 기저의 스펙트럼 위의 아핀 군oids의 표현 사이의 정확한 범주적 동치는 무엇인가?
• RQ4 복소 아핀 직선 $\mathbb{A}^1_{\mathbb{C}}$ 의 전이적 리 대수군의 벡터장의 경우에서 유한 쌍대 함수는 어떻게 행동하는가?
• RQ5 어떤 방식으로 미분 모듈은 복소 아핀 직선 위의 리 대수군의 표현 이론을 포함하는가?

주요 결과

• 유한 쌍대 함수는 코미utative 호프 대수군의 범주와 교환 가능한 호프 대수군의 범주 사이의 반대변호 동치를 제공한다.
• Dedekind 도메인 $A$를 갖는 리-리네르트 대수 $(A,L)$ 에 대해, 그 표현들은 $ \operatorname{Spec}(A)$ 위의 아핀 군oids의 표현과 범주적으로 동치이다.
• 이 구성은 대수적으로 닫힌 체 위의 비가역적 매끄러운 곡선 위의 리 대수군의 전역 단면에 대해 일반적으로 적용 가능하다.
• 복소 아핀 직선 $\mathbb{A}^1_{\mathbb{C}}$ 의 경우, 전이적 리 대수군의 벡터장의 표현 이론은 특정 아핀 군oids의 표현 이론과 동치이다.
• $\mathbb{C}[x]$ 위의 미분 모듈 이론은 아핀 직선 예시에서 이 동치성의 구체적 실현을 제공한다.
• 유한 쌍대 구성은 필수적인 구조적 성질을 유지하며, 두 쌍대 범주 간의 표현론적 자료 이전을 가능하게 한다.