[논문 리뷰] The 2-group of linear auto-equivalences of an abelian category and its Lie 2-algebra

Xinwen Zhu|ArXiv.org|2009. 10. 29.

Advanced Topics in Algebra참고 문헌 7인용 수 7

한 줄 요약

이 논문은 (AB5) 조건을 만족하는 k-선형 아벨 범주 C에 대해 선형 자등치환의 층인 2군 GL(C)를 구성하고, 그의 접공간 gl(C)가 자연스러운 리 2대수의 구조를 지닌다는 것을 보여준다. 이 구성은 고전적 선형 대수적 군과 리 대수를 범주적 맥락으로 일반화한 것으로, 주요 결과로 C가 기본 스킴 S 위의 분리되고 유한 콪 pact한 스킴 X 위의 준연속층의 범주일 경우 gl(C)가 리 2대수임을 보인다.

ABSTRACT

For any abelian category \calC satsifying (AB5) over a separated, quasi-compact scheme S, we construct a stack of 2-groups \GL(\calC) over the flat site of S. We will give a concrete description of \GL(\calC) when \calC is the category of quasi-coherent sheaves on a separated, quasi-compact scheme X over S. We will show that the tangent space \gl(\calC) of \GL(\calC) at the origin has a structure as a Lie 2-algebra.

연구 동기 및 목표

• 벡터 공간에서의 고전적 GL(V) 및 gl(V) 개념을 (AB5) 조건을 만족하는 아벨 범주로 일반화하기.
• 기본 스킴 S의 평탄한 사이트 위에서 k-선형 아벨 범주 C의 자등치환을 캡처하는 2군 GL(C)의 층을 정의하기.
• GL(C)의 항등원에서의 접공간 gl(C)에 자연스러운 리 2대수의 구조를 부여하기.
• 기본 환에서 1/2가 가역일 경우, 2항 L∞-대수와 리 2대수 사이의 대응관계를 확립하기.

제안 방법

• GL(C)를 C의 k-선형 자등치환의 범주로 정의하고, 이를 2군으로 만들기 위한 모노이드 구조를 부여하기.
• S 위의 아핀 스킴의 fppf 사이트 위에서, 아벨 범주의 기저 변경을 통해 GL(C)를 스택으로 구성하기.
• 대수 준동형사상에 따른 당김 호환성 조건을 점검하여, GL(C)가 fppf 위상에서 층 조건을 만족함을 보여주기.
• 접공간 gl(C)를 GL(C)(k[ε]/ε²) → GL(C)(k)의 핵으로 식별하고, 체바일리-에일렌버그 유형의 구성법을 통해 리 2대수의 구조를 도입하기.
• 크로넨커 특성자를 사용하여 2항 L∞-대수와 엄밀히 가환 피카르 스택 사이의 관계를 설정하고, 1/2가 기본 환에서 가역일 경우 리 2대수와의 동치를 확립하기.
• 스키우-대칭성과 자코비에이터 조건을 만족하도록 브라켓과 삼중선형 사상의 수정을 통해 gl(C) 위의 리 2대수의 구조에 대한 명시적 공식을 구성하기.

실험 결과

연구 질문

• RQ1 기본 스킴 S 위에서 평탄한 사이트를 따라 변하는, (AB5) 조건을 만족하는 아벨 범주의 자등치환군에 대해 2군의 구조를 어떻게 부여할 수 있는가?
• RQ2 벡터 공간 V가 아벨 범주 C로 대체될 경우, gl(V)의 올바른 일반화는 무엇이며, 이를 리 2대수로 어떻게 구성할 수 있는가?
• RQ3 2군 GL(C)의 접공간은 리 2대수의 구조를 지닐 수 있는가? 만약 가능하다면, 그 구조는 어떻게 구성되는가?
• RQ4 2항 L∞-대수와 리 2대수 사이의 관계는 무엇이며, 어떤 조건에서 이 대응관계가 동치가 되는가?

주요 결과

• 모든 k-선형 아벨 범주 C가 (AB5) 조건을 만족할 경우, GL(C)는 S의 아핀 스킴의 fppf 사이트 위의 2군의 층이다.
• C = Qcoh(X)일 경우, X가 S 위에서 분리되고 유한 콪 pact한 스킴이라면, GL(C)는 X의 피카르 스택과 X의 k-선형 자등치환의 층의 반직접곱과 동형이다.
• GL(C)의 항등원에서의 접공간 gl(C)는 자연스럽게 리 2대수의 구조를 지닌다.
• 기본 환에서 1/2가 가역일 경우, 포함사상 L⁻¹이 단사인 2항 L∞-대수의 2-category와 리 2대수 사이에 동치가 존재한다.
• gl(C) 위의 리 2대수의 구조는 비대칭 성분을 보정한 후 스위치-대칭성과 자코비에이터 조건을 만족하도록 수정된 브라켓과 삼중선형 사상을 포함한다.
• 크로넨커 특성자 구성은 2항 L∞-대수와 리 2대수 사이의 대응관계에 대해 준역함수를 제공하며, 2의 가역성 조건 하에서 동치를 확립한다.