[논문 리뷰] The product on smooth and generalized valuations

Semyon Alesker, Andreas Bernig|arXiv (Cornell University)|2009. 04. 08.

Geometric Analysis and Curvature Flows참고 문헌 17인용 수 5

한 줄 요약

이 논문은 미분 형식, 게lfand 변환, 블로업 공간을 이용하여 다양체 위의 매끄럽고 일반화된 척도의 곱을 좌표에 의존하지 않는 방식으로 새로운 구성법을 제시한다. 이 곱이 기하학적으로 교차하는 부분다양체의 교차에 대응함을 보이고, 이를 통해 컴팩트한 랭크 1 대칭 공간에서 일반적인 운동공식을 증명한다.

ABSTRACT

The product of smooth valuations on manifolds is described in terms of differential forms, Gelfand transforms and blow-up spaces. It is shown that the product extends partially to generalized valuations and corresponds geometrically to transversal intersections. This result is used to prove a general kinematic formula on compact rank one symmetric spaces.

연구 동기 및 목표

• 다양체 위의 매끄러운 척도 곱에 대해 좌표계에 의존하지 않는 새로운 내재적 구성법을 제공하는 것.
• 이 곱을 일반화된 척도로 확장하고, 교차하는 부분다양체의 관계로 기하학적 해석을 명확히 하는 것.
• 새로운 곱의 구조를 활용하여 컴팩트한 랭크 1 대칭 공간에서 일반적인 운동공식을 도출하는 것.
• 기능적 해석과 게lfand 변환을 통해 척도의 대수적 곱과 적분기하학 간의 연결 고리를 확립하는 것.
• 기하측도론과 블로업 기법을 사용하여 이전 구성에서 발생하던 분석적 난이도를 해결하는 것.

제안 방법

• 코스피어 백터 백터의 곱공간 위의 이중 피브레이션을 통해 매끄러운 척도 위의 외적 곱을 구성하고, 이를 섬세한 적분을 통해 게lfand 변환으로 이끌어내는 것.
• 매끄러운 척도를 코스피어 백터 백터 $\mathbb{P}_X$ 위의 미분 형식 쌍 frac{\omega, \phi}$로 표현하며, $\omega$ 는 차수 $n-1$, $\phi$ 는 차수 $n$ 이고, 여기서 $n = \dim X$ 이다.
• 블로업 공간 $\bar{\mathbb{P}}$ 위에서 $\mathbb{P}_X \times_X \mathbb{P}_X$ 에서의 $\bar{p}_* \bar{\Phi}^*$ 를 통한 게lfand 변환 $\operatorname{GT}$ 를 정의하여, 개방 포함에 대해 불변성을 확보하는 것.
• 형식의 동치류를 나타내는 영 척도를 특징짓기 위해 루민 연산자 $D$ 를 사용하여 곱의 정의가 잘 정의되어 있음을 보장하는 것.
• 곱이 $X \times X$ 의 대각선에 제한될 때, 단일 다양체 위의 척도 곱을 회복함을 증명하는 것.
• 특히 컴팩트 리군의 대칭공간 위에서의 작용을 고려하여, 쌍대성과 기능적 해석을 통해 일반화된 척도로 곱을 확장하는 것.

실험 결과

연구 질문

• RQ1 다양체 위의 매끄러운 척도 곱을 좌표계에 의존하지 않고 어떻게 구성할 수 있는가?
• RQ2 모서리가 있는 부분다양체의 교차에 대해 척도 곱의 기하학적 의미는 무엇인가?
• RQ3 이 곱은 어떻게 일반화된 척도로 확장되며, 그 대수적 및 기하학적 구조는 어떠한가?
• RQ4 이 곱의 구조를 활용하여 컴팩트한 랭크 1 대칭 공간에서 일반적인 운동공식을 유도할 수 있는가?
• RQ5 블로업 공간 위의 게lfand 변환이 섬세한 적분을 통해 곱을 어떻게 실현하는가?

주요 결과

• 매끄러운 척도의 곱은 이중 피브레이션과 블로업 공간 위의 게lfand 변환을 통해 좌표계에 의존하지 않는 내재적 구성법으로 이루어지며, 이는 좌표계 의존성을 제거한다.
• 곱은 기하학적으로 모서리가 있는 부분다양체의 교차에 대응하며, 이는 $X \times Y$ 에서의 교차하는 부분집합의 개념으로 정밀하게 기술된다.
• 곱은 일반화된 척도로 부분적으로 확장되며, 이 확장은 불변 척도 공간 위에서의 쌍대성과 기능적 해석을 통해 특징지어진다.
• 컴팩트한 랭크 1 대칭 공간에서 곱의 구조와 군-불변 척도를 사용하여 일반적인 운동공식이 증명된다.
• 두 척도의 곱은 $X \times X$ 의 대각선에 제한된 외적 곱으로서 회복되며, 이는 이전의 구성과 일관된다.
• 공간 $\mathcal{V}^\infty(X)^G$ 에서의 곱의 구조는 군 $G$ 의 운동공식을 결정하며, 반대로도 마찬가지로, 대수적 구조와 적분기하학적 구조 사이의 이중성을 확립한다.