[논문 리뷰] On manifolds with corners

Dominic Joyce|arXiv (Cornell University)|2009. 10. 19.

Geometric and Algebraic Topology참고 문헌 8인용 수 76

한 줄 요약

이 논문은 경계가 잘 정의된 새로운 만델로이드의 범주 Man^c를 소개하며, 이는 매끄러운 사상의 새로운 정의를 통해 함수적 경계와 간단한 조건 하에서 섬유곱의 존재를 보장한다. 주요 기여는 섬유곱을 전이성 조건을 통해 엄밀하게 구성할 수 있는 체계를 제공함으로써, 특히 J-해석적 곡선의 모듈리 공간의 기하적 구조로 작용하는 d-orbifold with corners를 정의하는 데 핵심적인 기초를 마련하는 것이다.

ABSTRACT

Manifolds without boundary, and manifolds with boundary, are universally known in Differential Geometry, but manifolds with corners (locally modelled on [0,\infty)^k x R^{n-k}) have received comparatively little attention. The basic definitions in the subject are not agreed upon, there are several inequivalent definitions in use of manifolds with corners, of boundary, and of smooth map, depending on the applications in mind. We present a theory of manifolds with corners which includes a new notion of smooth map f : X --> Y. Compared to other definitions, our theory has the advantage of giving a category Man^c of manifolds with corners which is particularly well behaved as a category: it has products and direct products, boundaries behave in a functorial way, and there are simple conditions for the existence of fibre products X x_Z Y in Man^c. Our theory is tailored to future applications in Symplectic Geometry, and is part of a project to describe the geometric structure on moduli spaces of J-holomorphic curves in a new way. But we have written it as a separate paper as we believe it is of independent interest.

연구 동기 및 목표

• 문헌에서 다수의 서로 동치가 아닌 정의가 존재하는 만델로이드의 경계, 매끄러운 사상, 구조에 대한 기초적 모호성을 해결하기 위해.
• 제품, 직접 곱, 섬유곱과 같은 범주론적 구성에서 잘 정의된 성질을 가지는 만델로이드의 범주 Man^c를 개발하기 위해.
• 미래의 심플렉틱 기하학에서의 적용을 위한 견고한 기하학적 기초를 제공하기 위해, 특히 J-해석적 곡선의 모듈리 공간의 맥락에서.
• 섬유곱이 단순한 전이성 조건 하에서 존재하도록 하는 프레임워크를 확립하여, Kuranishi 공간과 d-orbifold with corners의 엄밀한 다루기 가능성을 확보하기 위해.
• d-orbifold with corners가 J-해석적 곡선의 모듈리 공간 위의 올바른 기하적 구조로 자연스럽게 나타남을 보여주어 기존의 접근법을 통합하고 일반화하기 위해.

제안 방법

• 경계와 모서리의 계층적 구조를 존중하는 매끄러운 사상의 새로운 정의를 도입하여, 경계 계층 전반에 걸쳐 호환성을 확보한다.
• k-경계 ∂^kX와 k-모서리 C_k(X)를 ∂^kX를 대칭군 S_k로 나눈 몫으로 정의함으로써 경계의 정확한 계층화를 제공한다.
• 접선 공간 분해와 당김을 이용해 매끄러운 사상에 의해 경계와 모서리의 접선 공간 간의 관계를 기술하며, 특히 섬유곱 구성에서 dC(π_X) ⊕ dC(π_Y)와 같은 동형사상으로 호환성을 보장한다.
• 섬유곱 X ×_Z Y 가 Man^c 내에서 존재하기 위해 전이성 조건을 적용하며, 핵심 조건은 식 (49)가 성립하는 것이다: T_{(z,⋯)}C_l(Z) = dC(f)(T_{(x,⋯)}C_j(X)) + dC(g)(T_{(y,⋯)}C_k(Y)).
• 자연스러운 사상이 접선 공간 위에서 동형사상을 유도함으로써, Man^c 내의 섬유곱이 미분동형사상임을 증명한다. 이는 dι의 단사성과 식 (47)의 동형사상에 기반한다.
• 섬유곱 구성 하에서 차원 공식 dim C_i(W) = dim C_j(X) + dim C_k(Y) - dim C_l(Z) 가 성립함을 증명하여, 다양한 계층 간의 일관성을 확보한다.

실험 결과

연구 질문

• RQ1 경계와 섬유곱이 함의적으로 잘 정의된 만델로이드의 경계가 잘 정의된 범주를 어떻게 구성할 수 있는가?
• RQ2 전체 경계 계층을 존중하면서 범주론적 구성이 가능한 매끄러운 사상의 올바른 정의는 무엇인가?
• RQ3 만델로이드의 경계에서 섬유곱 X ×_Z Y 가 존재하는 조건은 무엇이며, 기하학적으로 어떻게 특징지을 수 있는가?
• RQ4 만델로이드 이론를 활용하여 심플렉틱 기하학에서 J-해석적 곡선의 모듈리 공간 위의 기하적 구조를 엄밀하게 정의할 수 있는가?
• RQ5 제안된 매끄러운 사상의 정의가 d-manifold 이론에서 요구하는 d-orbifold with corners의 구성에 필요한 범주를 어떻게 지원하는가?

주요 결과

• Man^c 범주 내에서 제품, 직접 곱, 함수적 경계가 잘 정의되어 있어 고급 기하학적 구성에 적합하다.
• 제안된 매끄러운 사상의 정의는 k-경계 ∂^kX 가 (n−k)-차원의 만델로이드 with corners가 되며, k-모서리 C_k(X) 가 ∂^kX 를 S_k 로 나눈 몫으로 잘 정의됨을 보장한다.
• 섬유곱 X ×_Z Y 가 Man^c 내에서 존재하는 것은 f:X→Z 와 g:Y→Z 가 전이성임과 동치이며, 각 계층에서 T_{(z,⋯)}C_l(Z) = dC(f)(T_{(x,⋯)}C_j(X)) + dC(g)(T_{(y,⋯)}C_k(Y)) 조건이 성립함을 의미한다.
• 만델로이드 with corners 범주 내의 섬유곱에서 계층의 섬유곱으로의 자연스러운 사상은 접선 공간 위에서 동형사상을 유도하고 전단사이므로, 미분동형사상이다.
• 섬유곱 W = X ×_Z Y 에서 차원 공식 dim C_i(W) = dim C_j(X) + dim C_k(Y) - dim C_l(Z) 가 성립하여 경계 계층 간의 일관성이 보장된다.
• 이 이론은 Kuranishi 공간 이론과 polyfold 이론을 연결하는 기초를 제공하며, J-해석적 곡선의 모듈리 공간 위의 기하적 구조로 d-orbifold with corners를 정의할 수 있는 기반을 마련한다.