[논문 리뷰] A general construction of Weil functors

Wolfgang Bertram, Arnaud Souvay|arXiv (Cornell University)|2011. 11. 10.

Homotopy and Cohomology in Algebraic Topology인용 수 10

한 줄 요약

이 논문은 위상적 기저환 $\mathbb{K}$ 위의 임의의 웰 대수 $\mathbb{A} = \mathbb{K} \oplus \mathcal{N}$ 에 대해 일반적인 Weil 함자 $T^\mathbb{A}$ 를 구성한다. 이는 대수기하학의 스칼라 확장을 미분기하학으로 확장한 것이다. 핵심 결과는 $T^\mathbb{A}M$ 이 $\mathbb{A}$ 위의 매끄러운 다양체이며, 함자적이고, $M$ 위에 다항식으로 구성된 피복을 가지며, $V_\mathbb{A} = V \otimes_\mathbb{K} \mathbb{A}$ 를 통한 스칼라 확장과 호환된다는 것이다. 이는 접선 및 제트 다중체를 일반화한다.

ABSTRACT

We construct the Weil functor $T^A$ corresponding to a general Weil algebra $A = K \oplus N$: this is a functor from the category of manifolds over a general topological base field or ring $K$ (of arbitrary characteristic) to the category of manifolds over $A$. This result simultaneously generalizes results known for ordinary, real manifolds, and previous results by the first author for the case of the higher order tangent functors ($A = T^k K$) and for the case of jet rings ($A = K[X]/(X^{k+1})$). We investigate some algebraic aspects of these general Weil functors ("K-theory of Weil functors", action of the "Galois group" $\Aut_K(A)$), which will be of importance for subsequent applications to general differential geometry.

연구 동기 및 목표

• 일반적인 위상적 기저환 $\mathbb{K}$ 위의 임의의 유한차원 웰 대수에 대해 Weil 함자를 일반화하는 것, 특히 양의 특성 및 체가 아닌 기저를 포함하여.
• 스칼라 확장을 사용하여 고차 접선 다중체와 제트 환의 구성 방식을 하나의 프레임워크로 통합하는 것.
• 매끄러운 사상과 카르테시안 곱과의 호환성을 보장하는, $T^\mathbb{A}M$ 에 대한 함자적이고 다항식 다중체의 구조를 확립하는 것.
• Weil 함자 프레임워크를 통해 미분기하학에 $K$-이론과 갈루아 군 작용 등의 대수적 도구를 도입하는 것.

제안 방법

• Weil $\mathbb{K}$-대수를 $\mathbb{A} = \mathbb{K} \oplus \mathcal{N}$ 로 정의하며, 여기서 $\mathcal{N}$ 은 유한차원, 자유로운, 영함수인 $\mathbb{K}$-모듈로 간주한다.
• $T^\mathbb{A}M$ 을 국소 차트를 통해 다항식으로 구성된 섬유 좌표를 갖는 $\mathbb{A}$ 위의 매끄러운 다양체로 구성한다.
• $V$ 를 위상적 $\mathbb{K}$-모듈로 간주할 때, 열린 부분다양체 $U \subset V$ 에 대해 $V_\mathbb{A} = V \otimes_\mathbb{K} \mathbb{A}$ 를 이용해 $T^\mathbb{A}U$ 를 식별한다.
• 다항식 사상에 대해 유도된 사상 $T^\mathbb{A}f$ 가 다항식 사상의 대수적 스칼라 확장 $f_\mathbb{A}$ 와 일치함을 증명한다.
• 텐서곱의 보편성과 다중선형 사상의 연속성을 이용해 함자성과 곱과의 호환성을 확립한다.
• $M_\mathbb{A} := T^\mathbb{A}M$ 을 $M$ 의 스칼라 확장로 정의하여, 이는 이중수에 대한 $TM$ 의 역할을 일반화한다.

실험 결과

연구 질문

• RQ1 일반적인 기저환, 특히 양의 특성과 체가 아닌 기저를 포함한 임의의 웰 대수에 대해 Weil 함자를 체계적으로 구성할 수 있는가?
• RQ2 Weil 함자 $T^\mathbb{A}$ 는 미분기하학에서 고전적인 접선 및 제트 다중체를 어떻게 일반화하는가?
• RQ3 대수기하학의 스칼라 확장 구성이 일반적인 위상환 위의 매끄러운 다양체의 맥락에서 어떻게 나타나는가?
• RQ4 Weil 함자 $T^\mathbb{A}$ 의 함자적 성질에서 어떤 대수적 구조—예를 들어 $K$-이론과 갈루아 작용—이 도출되는가?
• RQ5 Weil 함자 $T^\mathbb{A}$ 는 그 함자성, 다항식 성질, 스칼라 확장 성질에 의해 유일하게 특징지어질 수 있는가?

주요 결과

• Weil 함자 $T^\mathbb{A}$ 는 그 함자성, 곱과의 호환성, 그리고 $M$ 위에 다항식으로 구성된 피복을 가지는 성질에 의해 유일하게 결정된다.
• 임의의 열린 부분다양체 $U \subset V$ 에 대해, $T^\mathbb{A}U$ 는 자연스럽게 $V_\mathbb{A} \to V$ 에 대한 자연스러운 사상의 역상으로 식별된다. 여기서 $V_\mathbb{A} = V \otimes_\mathbb{K} \mathbb{A}$ 이다.
• 다항식 사상 $f: U \to W$ 에 대해, 유도된 사상 $T^\mathbb{A}f$ 는 대수적 스칼라 확장 $f_\mathbb{A}: V_\mathbb{A} \to W_\mathbb{A}$ 와 일치한다. 이는 대수기하학과의 일관성을 보장한다.
• $T^\mathbb{A}M$ 은 섬유 좌표에 대해 다항식인 전이 함수를 갖는, $M$ 위의 다항식 다중체의 구조를 지닌다.
• Weil 함자 $T^\mathbb{A}$ 는 고전적 구성 방식을 일반화한다. $\mathbb{A} = \mathbb{K} \oplus \varepsilon\mathbb{K}$ 이고 $\varepsilon^2 = 0$ 이면 $T^\mathbb{A}M$ 은 접선 다중체로 줄어든다. $\mathbb{A} = \mathbb{K}[X]/(X^{k+1})$ 이면 제트 다중체로 줄어든다.
• 연속적인 다항식 사상 $p$ 의 스칼라 확장 $p_\mathbb{A}$ 는 연속적이며 $\mathbb{A}$-다항식이며, 구성요소 $M^\boldsymbol{\alpha}$ 는 텐서곱의 보편성과 다중선형 사상의 성질에 의해 연속적이다.