[논문 리뷰] Kakutani type Borsuk-Ulam theorem

Oleg R. Musin|arXiv (Cornell University)|2014. 05. 07.

Geometric and Algebraic Topology참고 문헌 1인용 수 3

한 줄 요약

이 논문은 자유 호환을 갖는 컴acts PL 다양체에 대해 카쿠타니 유형 고정점 정리와 Borsuk–Ulam 정리를 집합값 함수로 확장한다. 닫힌 그래프, 볼록값, 반대칭 조건을 만족하는 집합값 함수가 주어지면, R^d 내 원점을 포함하는 이미지를 갖는 점이 존재함을 보여준다.

ABSTRACT

In this paper we present a Kakutani type theorem that is equivalent to the Borsuk--Ulam theorem for manifolds.

연구 동기 및 목표

• 자유 호환을 갖는 컴acts PL 다양체 위의 집합값 함수로 Borsuk–Ulam 정리를 확장하는 것.
• 반대칭 조건과 닫힌 그래프 조건을 만족하는 집합값 함수에 대해 고정점 유형 결과를 확립하는 것.
• 대칭성과 볼록성 조건 하에서, 집합값 함수의 이미지가 원점을 포함하는 점의 존재를 특성화하는 것.
• BUT(Borsuk–Ulam 유형) 다양체의 설정으로 Kakutani 고정점 정리를 일반화하는 것.
• 원점이 대칭 다양체 위의 집합값 함수의 이미지에 포함됨을 보장하는 위상적 조건을 제공하는 것.

제안 방법

• 자유 심플리셜 호환 A를 갖는 컴acts PL 다양체 M을 BUT(Borsuk–Ulam 유형) 다양체로 정의하며, f(A(x)) = -f(x)를 만족하는 임의의 연속 함수 f:M→R^d는 0을 가진다.
• 다양체 M의 반대칭 삼등분 분할 {T_i}를 구성하며, 메쉬 크기 |T_i| → 0이 되도록 한다.
• 정점 x와 A(x)에 대해 각각 y ∈ F(x) 및 -y ∈ F(A(x)) 값을 할당하여, 조각별 선형 반대칭 함수 f_i:M→R^d를 정의한다.
• M의 BUT 성질을 이용해 각 f_i가 0을 갖는다. 즉, 어떤 x_i ∈ M에 대해 f_i(x_i) = 0이다.
• M의 컴팩트성 덕분에 x_i, y_k^i, 바이센트릭 좌표 t_k^i의 수렴하는 부분수열을 추출한다.
• F의 닫힌 그래프 성질과 F(x)의 볼록성 조건을 활용하여, 극한 점 x_0가 0 ∈ F(x_0)를 만족함을 보인다.

실험 결과

연구 질문

• RQ1 BUT 다양체 위의 집합값 함수가 원점을 포함하는 이미지를 갖는 점을 가질 조건은 무엇인가?
• RQ2 Kakutani 고정점 정리는 자유 호환과 반대칭 조건을 갖는 다양체로 어떻게 일반화할 수 있는가?
• RQ3 어떤 위상적 조건이 대칭 집합값 함수가 x와 A(x)의 이미지에 공통의 교차점을 갖도록 보장하는가?
• RQ4 볼록성과 대칭성을 갖는 집합값 함수로 Borsuk–Ulam 정리를 확장할 수 있는가?
• RQ5 닫힌 그래프 성질은 집합값 함수에 대해 대칭적인 0을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 자유 호환 A를 갖는 컴acts PL BUT 다양체 M에 대해, F:M→2^{R^d}가 닫힌 그래프 성질과 비어 있지 않은 볼록값을 갖고, y∈F(x) ⇒ -y∈F(A(x))를 만족하면, 0∈F(x_0)를 만족하는 x_0∈M가 존재한다.
• M의 BUT 성질 덕분에, 조각별 선형 반대칭 근사 f_i는 0을 갖는다.
• f_i의 0점인 x_i의 수열의 극한은, x_i를 포함하는 단체의 정점 이미지들의 볼록 hull에 원점이 포함되는 점 x_0로 수렴한다.
• 닫힌 그래프 조건에 의해, f_i(v_k^i)의 극한점 y_k는 F(x_0)에 속하며, F(x_0)가 볼록이므로 0∈F(x_0)이다.
• 민코프스키 차분 구조를 통해 f(A(x)) = -f(x)를 만족하는 사상이 유도되며, 이는 주정리로의 환원과 함께 정리 1의 증명에 기여한다.
• 정리 1은 민코프스키 차분의 대칭적 구조 덕분에, F(x_0)와 F(A(x_0))가 공통의 교차점을 가져야 한다고 보여준다.