[논문 리뷰] On Theories of Superalgebras of Differentiable Functions

David Carchedi, Dmitry Roytenberg|arXiv (Cornell University)|2012. 11. 26.

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

한 줄 요약

이 논문은 초공식 이론(super Fermat theories)을 도입하여 유도 미분了几何학의 프레임워크를 제공한다. 이는 평활 함수를 초공식 대수에서 평활하게 평가할 수 있도록 일반화된 피에르 페르마 이론(Fermat theories)을 초공식 교환 대수(supercommutative algebras)로 확장한 것이다. 모든 피에르 페르마 이론이 자연스러운 초공식화(superization)를 갖는다는 것을 증명하고, 특히 $ olinebreak extbf{C}^ olinebreak ext{infty}$-초대수와 유도 기하학의 맥락에서 강력한 대수적 성질을 지닌 근접점에 의해 결정되는 초대수(near-point determined superalgebras)를 핵심 클래스로 규명한다.

ABSTRACT

This is the first in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we study theories of supercommutative algebras for which infinitely differentiable functions can be evaluated on elements. Such a theory is called a super Fermat theory. Any category of superspaces and smooth functions has an associated such theory. This includes both real and complex supermanifolds, as well as algebraic superschemes. In particular, there is a super Fermat theory of C-infinity superalgebras. C-infinity superalgebras are the appropriate notion of supercommutative algebras in the world of C-infinity rings, the latter being of central importance both to synthetic differential geometry and to all existing models of derived smooth manifolds. A super Fermat theory is a natural generalization of the concept of a Fermat theory introduced by E. Dubuc and A. Kock. We show that any Fermat theory admits a canonical superization, however not every super Fermat theory arises in this way. For a fixed super Fermat theory, we go on to study a special subcategory of algebras called near-point determined algebras, and derive many of their algebraic properties.

연구 동기 및 목표

• 실수 및 복소 수 초다양체와 대수적 초스킴을 포함한 평활 초다양체를 통합적으로 다룰 수 있는 대수적 프레임워크를 개발하기 위해.
• 원래 $ olinebreak extbf{C}^ olinebreak ext{infty}$-환에서의 평활 함수를 대상으로 한 피에르 페르마 이론을 초공식 교환 환의 맥락으로 일반화하기 위해 초공식 피에르 페르마 이론을 통해 확장하기 위해.
• 유리성 있는 대수적 및 기하학적 성질을 지닌 중심적인 대수 클래스로 근접점에 의해 결정되는 초대수를 식별하고 연구하기 위해.
• $ olinebreak extbf{C}^ olinebreak ext{infty}$-초대수의 기본 결과를 유도 미분幾학의 관점에서 확립하기 위해, 이는 $ olinebreak extbf{C}^ olinebreak ext{infty}$-환 이론의 초공식화(superization)로서 유도된다.
• 초공식 피에르 페르마 이론을 통해 유도 기하학의 미분 복합체 모델에 대한 범주론적 및 대수적 기초를 제공하기 위해.

제안 방법

• 초공식 피에르 페르마 이론을 정의하여, 초공식 교환 대수를 확장하는 2-종류의 대수적 이론으로서, 초공식화된 피에르 페르마 성질을 만족시키는 이론으로서 정의한다.
• 모든 피에르 페르마 이론에 대해 자연스러운 초공식화를 구성하여, 그레스만-홀드 변수를 포함하고 피에르 페르마 성질을 유지하는 확장으로서 정의한다.
• 근접점에 의해 결정되는 초대수를 정의하여, 그 위상이 무한소적으로 가까운 점들에서의 평가에 의해 결정됨을 일반화함으로써, $ olinebreak extbf{C}^ olinebreak ext{infty}$-환에서의 개념을 일반화한다.
• 집합의 $ olinebreak extbf{Set}^\nolinebreak\SS$에서의 분할 및 동치관계를 분석하기 위해, 분할된 합과 동치관계를 사용하여 몫과 몫의 성질을 보장하고, 효과적인 공등차형(cequalizer)과 잘 정의된 몫을 확보한다.
• 다중종류의 로버트 이론과 그 대수의 이론을 적용하여 초대수와 그 사상들을 범주론적으로 모델링한다.
• 초대수의 $ olinebreak extbf{C}^ olinebreak ext{infty}$-초대수의 범주가 초공식 피에르 페르마 이론임을 증명하고, 이는 $ olinebreak extbf{C}^ olinebreak ext{infty}$-환 이론의 초공식화로 유도됨을 보여준다.

실험 결과

연구 질문

• RQ1 피에르 페르마 이론의 개념을 초공식 교환 대수로 확장하여 초공식 맥락에서 평활 함수의 평가를 가능하게 하기 위해 어떻게 해야 하는가?
• RQ2 피에르 페르마 이론을 초공식화하는 자연스러운 방법은 무엇이며, 이 구성에서 어떤 성질이 유지되는가?
• RQ3 어떤 초대수가 근접점에 의해 결정되는가? 그리고 초공식 피에르 페르마 이론의 맥락에서 이들이 만족하는 대수적 성질은 무엇인가?
• RQ4 $ olinebreak extbf{C}^ olinebreak ext{infty}$-초대수는 초공식 피에르 페르마 이론의 프레임워크에 어떻게 통합되며, 유도 미분幾학에서 어떤 역할을 하는가?
• RQ5 초공식 피에르 페르마 대수의 범주에서 몫과 동치관계의 범주론적 구조는 무엇이며, 효과적인 전성사상과 어떻게 관련되는가?

주요 결과

• 모든 피에르 페르마 이론은 자연스러운 초공식화를 갖으며, 이는 초공식 교환 대수로의 평활 함수 평가 개념을 일반화하는 초공식 피에르 페르마 이론을 생성한다.
• $ olinebreak extbf{C}^ olinebreak ext{infty}$-초대수의 이론은 초공식 피에르 페르마 이론이며, $ olinebreak extbf{C}^ olinebreak ext{infty}$-환 이론의 초공식화로 유도되므로, 유도 미분幾학의 핵심이 된다.
• 근접점에 의해 결정되는 초대수는 그 위상이 무한소적으로 가까운 점들에서의 평가에 의해 결정됨을 특징으로 하며, 이는 $ olinebreak extbf{C}^ olinebreak ext{infty}$-환에서의 고전적 개념을 일반화한다.
• 초공식 피에르 페르마 대수의 범주에서 모든 정규 전성사상은 효과적이며, 모든 몫은 동치관계의 공등차형으로 나타나므로, 잘 정의된 범주론적 성질을 보장한다.
• 초공식 피에르 페르마 대수에서의 망각 함자(forgetful functor)는 $ olinebreak extbf{Set}^\nolinebreak\SS$로 가는 사상에서 반사 공등차형을 보존하고 반영하므로, 대수의 몫이 그 기저 $ olinebreak\SS$-색인 집합의 몫과 대응됨을 의미한다.
• 모든 초공식 피에르 페르마 이론이 피에르 페르마 이론의 초공식화로 유도되는 것은 아니며, 이는 초공식화 구성이 이론 수준에서 전사적이지 않음을 나타낸다.