저정규성 히젠베르크 H¹에서 면적 최소화 표면의 새로운 예시

본 논문은 서브리만니안 히젠베르크 군 H¹ (ℝ³에 비가환 군 구조를 부여한 공간)에서 전체 t‑그래프 형태의 면적 최소화 표면을 새롭게 제시한다. 서브리만니안 기하학에서는 ‘수평 분포’가 핵심적인 역할을 하며, 이 분포에 수직인 방향(t‑축)으로 그래프를 만든 경우가 ‘t‑그래프’라 불린다. 기존 연구에서는 C² 이상의 매끄러운 표면에 대해 최소성 혹은 정규성을 다루었지만, 저정규성(예: Lipschitz)에서 면적 최소성을 보이는 예시는 부족했다. 1. **기본 구성** - x‑축을 수평 직선 L 으로 잡고, 연속·비증가 함수 α:ℝ→(0,π) 을 정의한다. - 각 v∈ℝ에 대해 Γ(v)=(v,0,0) 위에 두 개의 수평 반직선 L⁺_v, L⁻_v 을 만든다. 이 반직선들은 각각 α(v)와 −α(v) 만큼 기울어져 있다. - 반직선들의 수평 리프팅을 파라메트릭 식 (3.1)로 나타내면, (v,w)↦(v+w cosα(v), w sinα(v), −v w sinα(v)) (w>0)와 그 대칭 형태가 된다. 2. **그래프와 암시적 방정식** - 위 파라메트릭 식을 정리하면, 전체 표면 Σ_β (β=cot α) 는 암시적 방정식 f_β(x,y,t)=t+xy−y|y|β(x)=0 으로 기술된다. - 이 식은 (x,y)‑평면에 대한 전역적인 함수 u_β(x,y) 을 정의하게 하며, Σ_β 는 t=u_β(x,y) 의 그래프가 된다. - α가 연속이면 β 도 연속이며, u_β 는 전역적으로 연속이고, y=0을 제외하고는 C¹,¹ 정규성을 가진다. α가 C² 이상이면 u_β 는 C² 이상이며, β≡0인 구간에서는 u_β(x,y)=−xy와 같이 완전 매끄러운 형태가 된다. 3. **다중 웨지와 복합 구조** - 한 점 p∈H¹ 을 중심으로 n개의 수평 반직선 R₁,…,Rₙ을 시계 방향으로 배치한다. - 각 인접한 두 반직선 사이의 중간선 L_i 를 잡고, 거리 |q−p| 에 대한 비증가 연속 함수 α_i 를 정의한다. 초기값 α_i(p) 는 L_i와 R_i 사이의 각도와 일치한다. - 각 L_i 위에서 위와 동일한 방식으로 반직선을 생성하고, 이를 모두 합치면 전체 표면은 n개의 ‘섹터’가 맞물린 형태가 된다. 각 섹터의 특이 집합은 해당 L_i 그 자체이며, 전체 특이 집합은 S=∪L_i 가 된다. 4. **면적 최소성 증명 (보정 방법)** - 각 섹터에 대해 수평 단위법선 ν 을 연장한 벡터장 U_i 를 정의한다. 이 벡터장은 섹터 내부에서 발산이 0이며, 경계면 Π (y=0)에서의 법선과 적절히 맞물린다. - 임의의 유한 영역 B (예: 원점 중심의 유클리드 구)와 변형 집합 F (외부에서 E와 동일) 를 고려한다. - 발산정리와 보정식 (2.4)를 적용해 ∫_E div U_i =0 을 이용하면, 경계 ∂B 위에서의 기여가 상쇄되고, 결국 |∂E|(B) ≤ |∂F|(B) 가 얻어진다. - 따라서 E 는 B 내에서 면적 최소화 집합이며, B를 임의로 확대하면 전역적인 면적 최소성을 얻게 된다. 5. **원뿔 형태와 정규성** - α가 상수이면 β 도 상수이며, Σ_β 는 스케일 변환 ϕ_s(x,y,t)=(e^s x, e^s y, e^{2s} t) 에 대해 불변인 원뿔이 된다. - 이러한 원뿔은 C¹,¹ 정규성을 유지하고, 특이 집합은 수평 직선 L 또는 여러 반직선 L_i 그 자체이다. 특이 집합을 제외한 영역에서는 C^∞ 정규성을 가진다. - 이는 Cheng‑Hwang‑Yang이 제시한 단일 특이선 원뿔을 일반화한 것으로, 특이선이 하나이든 여러 개이든 동일한 보정 논법이 적용된다. 6. **열린 문제와 향후 연구** - 현재 알려진 면적 최소화 원뿔은 (i) 수직 반공간, (ii) Cheng‑Hwang‑Yang의 단일 특이선 원뿔, (iii) 본 논문에서 만든 유한 개의 수평 반직선 특이선을 갖는 원뿔이다. - 이 외에 다른 형태의 최소화 원뿔이 존재하는지, 혹은 위 세 종류가 전부인지에 대한 질문은 아직 해결되지 않았다. - 또한, α의 정규성을 낮추어도 최소성이 유지되는지, 혹은 더 일반적인 비단조 함수에 대해 동일한 보정이 가능한지 등도 연구 대상이다. **결론** 저자는 연속·비증가 각 함수와 수평 반직선의 조합을 통해, 저정규성(Lipschitz 이하)에서도 전역적인 면적 최소화를 만족하는 다양한 t‑그래프와 원뿔을 체계적으로 구축하였다. 보정 기법을 활용한 면적 최소성 증명은 서브리만니안 최소면 이론에 새로운 구축 방법을 제공하며, 최소화와 정규성 사이의 미묘한 관계를 탐구하는 데 중요한 사례를 제시한다.