The $G$-equivariant Kazdan--Warner problem

기술 요약: G-동변 카즈단-워너 문제 (The G-Equivariant Kazdan–Warner Problem)

문제 정의
본 논문은 폐쇄된 $n \ge 3$ 차원 다양체가 실현할 수 있는 스칼라 곡률 함수를 분류하는 고전적인 카즈단-워너 삼분법(Kazdan–Warner trichotomy)의 동변적(equivariant) 유사성을 조사한다. 고전적인 결과는 다양체를 세 가지 상호 배타적인 클래스로 구분하는데, 즉 양의 스칼라 곡률을 갖는 것(P), 스칼라-평탄(scalar-flat) 메트릭은 허용하지만 양의 것은 허용하지 않는 것(Z), 그리고 비음의 스칼라 곡률 메트릭을 허용하지 않는 것(N)이다. 반면, 본 연구는 이 분석을 $G$-불변 데이터로 제한한다. 구체적으로, 컴팩트 연결 리 군 $G$에 의해 유효한 등거리 작용(effective isometric action)이 주어지고 (코호모제니티(cohomogeneity)가 1 이상이며 영 차원 궤도가 없는 경우) 닫힌 연결 다양체 $M$이 주어졌을 때, 어떤 $G$-불변 매끄러운 함수들이 $G$-불변 리만 메트릭의 스칼라 곡 curvature가 될 수 있는지를 결정한다. 핵심 질문은 고전적인 삼분법이 동변 설정에서도 그대로 확장되는지, 아니면 새로운 현상이 나타나는지 여부이다.

방법론
저자들은 기하학적 해석학, 변분법, 그리고 동변 위상수학의 조합을 사용한다:

1. 선형화 및 전사성(Linearization and Surjectivity): 연구는 $G$-불변 메트릭 공간으로 제한된 스칼라 곡률 연산자 $F: g \mapsto \text{scal}_g$를 분석하는 것으로 시작된다. $F$의 선형화의 형식적 수반 연산자(formal adjoint) $A^*$를 조사함으로써, 저자들은 국소적 전사성 기준을 확립한다. $A^*$의 커널이 자명(trivial)할 경우, 연산자가 현재의 스칼라 곡률의 근방으로 국소적으로 전사됨을 증명한다.
2. 동변 근사(Equivariant Approximation, 정리 1.6): 저자들은 카즈단-워너 근사 보조정리(Kazdan–Warner Approximation Lemma)의 확장된 도구를 사용한다. 저자들은 궤도 공간 $X = M/G$에 대한 특정 조건이 충족될 때, $G$-불변 함수들이 $G$-동변 디페오모피즘(diffeomorphism)을 통해 다른 $G$-불변 함수를 근사할 수 있음을 증명한다. 이는 궤도 공간(구간 또는 원)으로부터 다양체 $M$으로의 아이소토피(isotopy)를 들어 올리는(lifting) 것에 기반한다.
3. 동변 야마베 문제(Equivariant Yamabe Problem): 상수 스칼라 곡률 메트릭의 존재성은 변분법을 통해 다뤄진다. 저자들은 $G$-불변 함수들의 소보레프 공간(Sobolev spaces)에 대한 콤팩트 임베딩 정리(Hebey–Vaugon)와 팔레의 대칭 임계 원리(Palais Principle of Symmetric Criticality)를 활용하여 $G$-불변 클래스 내에서 야마베 범함수의 극솟값을 찾는다.
4. 코호모제니티 원의 기하학적 특성: 코호모제니티 원 작용의 경우, 저자들은 궤도 공간의 구조와 이소토피 표현(isotropy representation)을 활용한다. 이들은 불변 리만 메트릭의 워프드 곱(warped product) 구조와 이소토피-기약(isotropy-irreducible) 주 궤도의 성질을 이용해 총 스칼라 곡률에 대한 적분 제약 조건을 유도한다.

주요 기여 및 결과

• 네 번째 클래스의 발견 (전체 G-양의 클래스): 주요 결과(정리 1.3)는 고전적인 삼분법이 그대로 확장되지 않음을 보여준다. **전체 G-양(totally G-positive)**이라 명명된 별개의 클래스가 등장한다.

  • 정의: 쌍 $(M, G)$가 전체 G-양이라는 것은 모든 $G$-불변 메트릭이 엄격히 양수인 총 스칼라 곡률($\int_M \text{scal}_g d\mu_g > 0$)을 갖는다는 것이다.
  • 결과: 이러한 쌍은 양의 상수 스칼라 곡률을 갖는 $G$-불변 메트릭은 허용하지만, 제로 또는 음의 상수 스칼라 곡률을 갖는 $G$-불변 메트릭은 허용하지 않는다. 또한, 어디서나 비양(non-positive)인 $G$-불변 함수를 실현할 수 없다.
  • 특성: 보조정리 3.11은 $(M, G)$가 전체 G-양일 필요충분조건이 작용이 이소토피-기약 주 궤도를 갖는 코호모제니티 원 작용인 것임을 확립한다. 전형적인 예시는 $M = S^1 \times S^{n-1}$과 $SO(n)$의 작용으로, 여기서 이소토피 표현은 기약(irreducible)이다.

• 비-전체 G-양 쌍에 대한 정교한 분류: 전체 G-양의 성질을 갖지 않는 쌍의 경우, $G$-불변 데이터 수준에서 고전적 삼분법이 회복된다(정리 1.3, ii). 이 쌍들은 정확히 세 가지 클래스 중 하나에 속한다:

  • $(P_G)$: 모든 매끄러운 $G$-불변 함수는 어떤 $G$-불변 메트릭의 스칼라 곡률가 된다.
  • $(Z_G)$: 함수가 어디에서나 0이거나 음수인 경우에만 실현 가능하다.
  • $(N_G)$: 함수가 어디에서나 음수인 경우에만 실현 가능하다.

• 비-아벨 대칭성: 저자들은 만약 $G$의 리 대수(Lie algebra)가 비-아벨이고 쌍이 전체 G-양이 아니라면, 그 쌍은 반드시 클래스 $(P_G)$에 속한다는 점을 언급한다. 이는 비-아벨 대칭군이 양의 스칼라 곡률을 갖는 $G$-불변 메트릭의 존재를 보장한다는 Lawson–Yau의 결과에 기초한다. 그러나 본 논문은 비-아벨 작용이 (위의 $S^1 \times S^{n-1}$ 예시처럼) 여전히 전체 G-양일 수 있으며, 이 경우 $(P_G)$가 아닌 새로운 네 번째 카테고리에 배치된다는 점을 강조한다.

• 상수 곡률 메트릭의 존재성: 정리 1.4는 포괄적인 존재성 결과를 제공한다:

  • $(M, G)$가 전체 G-양이 아니라면, 음의 상수 스칼라 곡률을 갖는 $G$-불변 메트릭을 허용한다. 만약 비음의 메트릭을 허용한다면, 스칼라-평탄한 메트릭을 허용한다.
  • 만약 0이 아닌 비음의 메트릭을 허용한다면, 양의 상수 스칼라 곡률 메트릭을 허용한다.
  • 전체 G-양인 쌍은 양의 상수 스칼라 곡률 메트릭은 허용하지만, 비양(non-positive)의 메트릭은 허용하지 않는다.

의의
본 논문은 군 작용의 내재적 기하학, 특히 코호모제니티와 이소토피 표현의 기약성이 동변 설정에서의 스칼라 곡률 메트릭 존재성을 결정한다고 주장한다. "전체 G-양" 클래스의 등장은 양의 스칼라 곡률을 갖지 않는 다양체에서도 총 스칼라 곡률을 항상 음수나 0으로 만들 수 있다는 비-동변 이론으로부터의 진정한 이탈을 나타낸다. 이 연구는 카즈단-워너 근사 기법과 Hebey–Vaugon의 동변 야마베 이론을 종합하여, 광범로한 대칭 다양체들에 대해 허용 가능한 스칼라 곡률 함수의 완전한 분류를 제공한다.