[논문 리뷰] Connected components of partition preserving diffeomorphisms

Sergiy Maksymenko|arXiv (Cornell University)|2008. 06. 01.

Mathematical Dynamics and Fractals참고 문헌 7인용 수 3

한 줄 요약

이 논문은 $ℝ^2 \to ℝ$로 가는 동차 다항식 $f$ 를 보존하는 미분동형사상의 연결 성분을 기술하며, $r \geq 1$ 인 경우 정규 성분 $ℓ_{\mathrm{id}}(f)^r$ 가 모두 일치함을 보이고, $f$ 가 적어도 두 개의 서로 다른 정적(정의된) 이차형식의 곱인 경우에만 $ℓ_{\mathrm{id}}(f)^1 \neq \u2113_{\mathrm{id}}(f)^0$ 가 성립한다. 이 결과는 $f$ 의 수준집합을 보존하는 특이 분할과 호모토피를 분석하는 데 기반한다. 주요 기여는 $f$ 의 고차 미분 가능성 계열이 안정자군의 정규 성분을 엄격히 작게 만들기 위한 조건을 완전히 분류한 데 있다.

ABSTRACT

Let $f:\mathbb{R}^2 o \mathbb{R}$ be a real homogeneous polynomial and $S(f)$ be the group of diffeomorphisms $h:\mathbb{R}^2 o \mathbb{R}^2$ preserving $f$, i.e. $f \circ h = f$. Denote by $S(f,r)$, $(0\leq r \leq \infty)$, the identity path component of $S(f)$ with respect to the weak Whitney $C^{r}_{W}$-topology. We prove that $S(f,\infty) = \cdots = S(f,1)$ for all such $f$ and that $S(f,1) ot= S(f,0)$ if and only if $f$ is a product of at least two distinct irreducible over $\mathbb{R}$ quadratic forms.

연구 동기 및 목표

• 동차 다항식 $f:\mathbb{R}^2 \to \mathbb{R}$ 를 보존하는 미분동형사상의 군에서의 정규 성분 $\mathcal{S}_{\mathrm{id}}(f)^r$ 의 구조를 약한 위트니 $C^r_W$-위상 하에서 이해한다.
• 다른 $r$ 에 대해 정규 성분 $\mathcal{S}_{\mathrm{id}}(f)^r$ 간의 관계를 명확히 하며, 특히 그것들이 수렴하거나 다를 때의 조건을 밝힌다.
• 정규 성분 $\mathcal{S}_{\mathrm{id}}(f)^1 \neq \mathcal{S}_{\mathrm{id}}(f)^0$ 가 성립하는 정확한 조건을 규명하며, 이는 미분동형사상 군 내에서 위상적 장벽에 해당한다.
• 특히 선형형식과 정적 이차형식으로의 분해에 의해 $f$ 의 대수적 구조가 안정자군의 연결성에 어떻게 영향을 주는지 조사한다.
• 특이 분할과 불변 수축을 통한 일반적인 프레임워크를 제시하여 특이점 이론의 더 넓은 문제에 적용 가능하게 한다.

제안 방법

• 논문은 $r$-호모토피를 정의하며, $\mathbb{R}^2 \times I \to \mathbb{R}^2$ 로 가는 연속적인 $C^r$-사상 $H$ 중에서 $(x,t)$ 에 대해 차수 $r$ 이하의 편미분들이 연속적으로 의존하는 것을 다루며, 이는 $C^r_W$-위상에서의 연속 경로에 대응한다.
• 레벨 집합에 의해 유도된 특이 분할 $\Theta_G$ 를 분석함으로써, 안정자군 $\mathcal{S}(f)$ 와 이 분할을 보존하는 미분동형사상의 군 $\mathcal{D}(\Theta_G)$ 간의 관계를 규명한다.
• 벡터장 $G$ 가 생성하는 국소 흐름 $\Phi$ 를 이용해, 항등사상과 $1$-호모토피를 통해 연결된 미분동형사상의 이미지를 포괄하는 이동 사상 $\varphi$ 를 구성한다.
• 증명은 $f$ 가 적어도 두 개의 서로 다른 정적 이차형식의 곱인 경우, $\mathcal{S}_{\mathrm{id}}(f)^1$ 에 속하는 모든 $h$ 의 원점에서의 탄젠트 사상이 항등사상이어야 하며, 반면 $\mathcal{S}_{\mathrm{id}}(f)^0$ 는 $-\mathrm{id}$ 를 포함하므로 엄격한 포함 관계가 성립함을 보인다.
• 이전 연구에서의 핵심 결과들, 예를 들어 $\mathcal{S}_{\mathrm{id}}(f)^\infty = \mathcal{S}_{\mathrm{id}}(f)^1$ 과 특정 경우에서 선형 대칭군 $\mathcal{LS}(f)$ 가 이산적이라는 점을 적용하여 등식과 엄격한 부등식의 사슬을 확립한다.
• 다항식의 차수와 인수분해에 기반한 사례 (A)–(E) 로의 분류를 통해 안정자군의 정규 성분을 사례별로 분석할 수 있다.

실험 결과

연구 질문

• RQ1 언제 $\mathcal{S}_{\mathrm{id}}(f)^1$ 이 $\mathcal{S}_{\mathrm{id}}(f)^0$ 과 엄격히 다를까?
• RQ2 동차 다항식 $f:\mathbb{R}^2 \to \mathbb{R}$ 에 대해, 다양한 미분 가능성 계열 $r$ 에서 정규 성분 $\mathcal{S}_{\mathrm{id}}(f)^r$ 는 어떻게 행동하는가?
• RQ3 특히 정적 이차형식으로의 분해에 의해 결정되는 $f$ 의 인수분해 구조가 안정자군의 위상에 어떤 역할을 하는가?
• RQ4 레벨 집합을 보존하는 흐름이나 이sov토피를 통해 안정자군의 정규 성분을 특징지울 수 있는가?
• RQ5 원점에서의 탄젠트 사상은 $\mathcal{S}_{\mathrm{id}}(f)^1$ 과 $\mathcal{S}_{\mathrm{id}}(f)^0$ 의 가능한 원소에 대해 어떤 제약을 가하는가?

주요 결과

• 모든 $r \geq 1$ 에 대해 정규 성분 $\mathcal{S}_{\mathrm{id}}(f)^r$ 는 서로 같다: 모든 동차 다항식 $f:\mathbb{R}^2 \to \mathbb{R}$ 에 대해 $\mathcal{S}_{\mathrm{id}}(f)^\infty = \cdots = \mathcal{S}_{\mathrm{id}}(f)^1$ 이다.
• $h \in \mathcal{S}_{\mathrm{id}}(f)^1$ 인 경우, 그 원점에서의 도함수는 항등사상이어야 한다: $T_0 h = \mathrm{id}_{\mathbb{R}^2}$.
• $f$ 가 적어도 두 개의 서로 다른 정적 이차형식의 곱인 경우, $\mathcal{S}_{\mathrm{id}}(f)^1 \neq \mathcal{S}_{\mathrm{id}}(f)^0$ 이며, 이는 $-\mathrm{id}_{\mathbb{R}^2} \in \mathcal{S}_{\mathrm{id}}(f)^0$ 이지만 $-\mathrm{id}_{\mathbb{R}^2} \notin \mathcal{S}_{\mathrm{id}}(f)^1$ 이기 때문이다.
• $f$ 가 서로 다른 정적 이차형식의 곱인 경우, $\mathcal{S}_{\mathrm{id}}(f)^0 = \mathcal{S}^+(f)$ 가 되며, 이는 안정자군의 방향을 유지하는 성분이다.
• $f$ 가 적어도 두 개의 서로 다른 정적 이차형식의 곱인 경우, $\mathcal{S}_{\mathrm{id}}(f)^1$ 은 $\mathcal{S}_{\mathrm{id}}(f)^0$ 의 진부분군이 되며, 이는 $C^1$-연속 사상들을 통한 이sov토피에 위상적 장벽이 있음을 시사한다.
• 다른 모든 $f$ 에 대해서는, 즉 선형형식이나 비정적 이차형식 인수를 포함하는 경우, $\mathcal{S}_{\mathrm{id}}(f)^1 = \mathcal{S}_{\mathrm{id}}(f)^0$ 이며, 따라서 정규 성분은 $r=1$ 에서 수렴한다.