공형기하학(Conformal Geometry)은 리만 다양체 위에서 계량(metric)의 점별 스케일 변화에 불변하는 기하학적 구조를 연구하는 분야입니다. 이 분야는 각도 구조와 그로부터 자연스럽게 유도되는 미분연산자 및 곡률량이 스케일 변화에 따라 어떻게 변하는지를 분석하며, 리만기하학과 편미분방정식론이 만나는 핵심 연구 영역으로 자리매김해 왔습니다. 고전적인 2차 타원형 방정식인 Yamabe 문제가 소개되고 연구된 이후, 현대 공형기하학은 임의의 허용된 짝수 차수에 이르는 공형 불변 연산자와 이에 대응하는 곡률량을 하나의 체계 안에서 이해하는 방향으로 발전해 왔습니다.
이 과제가 다루는 구체적인 대상은 Fefferman, Graham의 ambient metric 이론으로부터 유도되는 GJMS 연산자와, 이에 대응하는 공형 불변 타원형 방정식입니다. 연구의 궁극적인 목표는 허용되는(admissible) 모든 짝수 차수 2m에 대하여 이 방정식들의 기하해석학적 이론을 가능한 한 완전한 형태로 정립하는 것입니다. 그 중에서도 가장 핵심적인 과제는 상수 Q-곡률 문제의 C^2m-콤팩트성 추측을 해결하는 것입니다. 이는 해의 열이 적절한 함수공간에서 균일하게 제어되는지, 아니면 발산 현상(blow-up)이 발생하여 비콤팩트성(non-compactness)이 나타나는지를 판별하는 문제입니다. 현재까지는 저차 영역(m=1,2,3)의 경우에 대해서만 정교한 이론이 마련되어 있으며, 고차 영역(m≥4)에서는 이 현상을 지배하는 근본 구조가 아직 충분히 밝혀지지 않았습니다.
이 문제가 지니는 중요성은 단순히 특정 비선형 방정식의 해 구조를 분석하는 데 그치지 않습니다. Q-곡률은 스칼라 곡률의 고차 일반화이자, 다양체의 전역적 공형 구조를 포착하는 대표적인 스칼라 불변량입니다. 따라서 상수 Q-곡률 계량의 존재성, 콤팩트성, 그리고 비콤팩트성이 발생하는 메커니즘을 규명하는 일은 다양체의 공형 구조를 온전히 파악하기 위한 토대를 구축하는 과정이 됩니다. 일례로 저차 영역(m=1,2,3)에서 상수 Q-곡률 문제의 C^2m-콤팩트성 추측을 해결하는 과정 중에 발견된, 공형 Killing 장, GJMS 연산자, Q-곡률과 결부된 특정 대수적 구조가 고차 영역(m≥4)에서는 어떤 공통 원리로 재구성될 수 있는지를 밝히는 것은 이 분야의 핵심 난제로 꼽힙니다. 
본 연구가 성공적으로 수행된다면, 기존 성과를 바탕으로 모든 짝수 차수를 포괄하는 하나의 통합 이론을 구축할 수 있을 것입니다. 이는 고차 공형 불변 방정식의 해 공간을 기술하는 새로운 기준을 제시할 뿐만 아니라, 명시적으로 표현되는 공형 스칼라 불변량을 바탕으로 고차원 다양체를 비교하고 분류하는 획기적인 방법론으로 이어질 것입니다. 궁극적으로 이 과제는 공형기하학과 비선형 편미분방정식을 아우르는 공통 언어를 정립하고, 공형기하학의 심층 구조를 체계적으로 규명하는 선도적 연구의 기틀을 마련할 것으로 기대합니다.