Parabolic rectifiability of the Brakke flow

기술 요약: 브라케 흐름(Brakke Flow)의 포물선적 가측성(Parabolic Rectifiability)

문제 정의
본 논문은 브라케 흐름과 관련된 정준 시공간 측도(canonical space-time measure)의 지지집합(support)에 관한 정칙성(regularity) 및 구조적 성질을 다룬다. $k$-차원 브라케 흐름은 평균 곡률 흐름의 약한 측도론적 해(weak, measure-theoretic solution)로서 진화하는 라돈 측도(Radon measures)의 가족 $\{\mu(t)\}$로 정의된다. 개별 시간 슬라이스의 거동은 이미 잘 연구되어 있으나, 시공간 지지집합 $\text{spt} \|V\|$의 전역적 구조는 여전히 핵심적인 연구 대상이다. 구체적으로, 저자들은 이 지지집합이 흐름의 포물선 스케일링(parabolic scaling)과 호환되는 가측 구조(rectifiable structure)를 갖는지, 그리고 거의 모든 점에서 접플로우(tangent flow)의 유일성과 본질이 무엇인지를 규명하고자 한다.

방법론 및 접근 방식
저자들은 이전 연구[9]에서 개발된 프레임워크를 채택하여, 브라케 흐름을 단순히 시간 매개변수 가족 $\mu(t)$가 아닌, $J \times G_k(U)$ 상의 시공간-그라스만 측도(space-time-Grassmann measure) $V$로 취급한다. 이러한 관점의 전환을 통해 저자들은 1-매개변수 가족 $\mu(t)$에 의존하는 대신, 시공간 측도 $\|V\|$와 그에 결합된 바리폴드(varifold) 구조만을 사용하여 작업할 수 있다.

주요 방법론적 구성 요소는 다음과 같다:

1. 시공간 측도론: 저자들은 시공간 설정에 적응된 고전적 측도론 도구들, 즉 $J \times U$ 상의 라돈 측도에 대한 근사 연속성(approximate continuity) 및 미분 이론을 활용한다.
2. 포물선 메트릭(Parabolic Metrics): 분석은 평균 곡률 흐름의 내재적 스케일링($t \sim x^2$)을 존중하는 포물선 메트릭($d$ 및 $\rho$)과 그에 따른 하우스도르프 측도($H^{k+2}_d$ 및 $H^{k+2}_\rho$)를 사용하여 수행된다.
3. 접플로우 분석: 증명 전략은 점 $(t, x)$에서의 접플로우(blow-ups)를 분석하는 것을 포함한다. 지지집합이 포물선 가측 집합임을 입증함으로써, 저자들은 이러한 접플로우의 가능한 형태를 제한한다.
4. 수렴 동치성: 본 논문은 표준적인 브라케 흐름 수렴의 개념(가산 개의 시간대에서의 시간 슬라이스 수렴으로 정의됨)과 시공간-그라스만 측도의 수렴 사이의 동치성을 확립한다.

주요 기여 및 결과

1. 지지집합의 포물선적 가측성 (정리 A)
주요 결과는 정준 시공간 측도의 지지집합 $\text{spt} \|V\|$가 **(수직) 포물선적 $(k+2)$-가측 집합(parabolic $(k+2)$-rectifiable set)**임을 입증하는 것이다.

• 이는 지지집합이 측도 0인 집합을 제외하고, 가산 개의 포물선 리프십 그래프(parabolic Lipschitz graphs)들에 의해 덮일 수 있음을 의미한다.
• 이 결과는 브라케 흐름에 대한 평균값 부등식(브라케의 클리어링 아웃 렘마, Brakke's clearing out lemma)과 접평면 사상 $T(s, y) = \text{Tan}_k(\langle V, s \rangle, y)$의 근사 연속성 성질에 의존한다.
• 증명 과정은 접평면이 근사적으로 연속인 점들에서 지지집합이 임의의 작은 각도를 가진 포물선 원뿔(parabolic cone) 내에 국소적으로 포함됨을 보여주며, 이는 고전적인 논증을 통해 가측성을 함의한다.

2. 접플로우의 유일성 및 밀도 동일성 (정리 B)
가측성 결과의 결과로서, 저자들은 $\|V\|$-거의 모든 점 $(t, x)$에 대해 다음을 증명한다:

• **유일하고 정적인 평면 접플로우(unique, static, planar tangent flow)**가 존재한다. 이 접플로우는 $\{\Theta^k(\mu(t), x) \cdot v(\text{Tan}_k(\mu(t), x)) : s \in \mathbb{R}\}$로 주어진다.
• 이 접플로우의 다중도(multiplicity)는 음의 시간 동안 일정하며, 가우시안 밀도 $\Theta(V, t, x)$와 같다.
• 결정적으로, 지지집합의 가측성은 비음의 시간 동안 밀도가 감소할 가능성을 배제하여, 접플로우가 정적이고 평면적임을 보장한다.
• 밀도의 동일성: 본 논문은 다음의 다양한 밀도 개념들이 해당 점들에서 일치함을 증명한다:
  $$\Theta(V, t, x) = \Theta^k(\mu(t), x) = (2\alpha(k))^{-1}\Theta^{k+2}_\rho(\|V\|, t, x) = \beta(k)^{-1}\Theta^{k+2}_d(\|V\|, t, x)$$
  여기서 $\Theta(V, t, x)$는 가우시안 밀도이며, 나머지는 포물선 하우스도르프 측도에 대한 밀도들이다.

3. 브라케 흐름의 수렴 (정리 C)
저자들은 시공간-그라스민 브라케 흐름의 수열 $\{V_i\}$가 극한 $V$로 수렴하는 세 가지 서로 다른 수렴 개념이 동치임을 증명한다:

• C.1: 시공간-그라스민 측도의 수렴 ($V = \lim V_i$).
• C.2: 정준 시공간 가중치 측도의 수렴 ($\|V\| = \lim \|V_i\|$).
• C.3: 가산 개의 집합 $D$ 밖의 모든 $t$에 대한 시간 슬라이스 측도 $\mu_i(t)$의 수렴.
  이 결과는 [5, 7.1]에서 발견되는 표준적인 정의와 동등한 대안적인 측도론적 바리폴드 수렴 정의를 제공한다.

의의 및 주장
저자들은 정리 B의 결과들이 기존에는 알려지지 않았던 것이라고 주장한다. 층화(stratification) 결과들(예: [17])은 $H^{k+2}_\rho$-거의 모든 점에서 정적이고 평면적인 접플로우의 존재성을 확립했지만, 이 흐름의 유일성을 단언하지는 못했다. 기존 결과에서의 유일성 결여는 가우시안 밀도와 포물선 하우스도르프 밀도 사이의 동일성을 확립하는 것을 방해해 왔다.

$\text{spt} \|V\|$가 포물선 가측 집합임을 증명함으로써, 저자들은 접플로우의 "시간 의존적 다중도 함수"가 비음의 시간 동안 감소할 수 없음을 보여준다. 이러한 경직성(rigidity)은 접플로우를 유일하고 정적으로 강제하며, 이를 통해 다양한 밀도 개념들을 통합한다.

또한, 본 논문은 시공간-그라스민 측도를 통한 접근 방식이 브라케 흐름의 수렴 이론을 단순화하여, 시공간 설정에서 고전적인 미분 이론을 적용할 수 있게 함을 강조한다. $\|V\|$는 그 지지집합 상의 포물선 하우스도르프 측도에 대해 절대 연속임이 밝혀졌으며, 이를 밀도 함수에 의해 가중치가 부여된 포러선 하우스도르프 측도의 제한(restriction)으로 명시적으로 표현할 수 있다.