허미티안 라그랑지안 공간의 슈퍼베르그 계산

초록

본 논문은 $\mathbb{C}^n\oplus\mathbb{C}^n$에서 정의되는 허미티안 라그랑지안 공간을 행렬 공간의 자연스러운 컴팩트화로 보고, 모스 이론에 기반한 슈퍼베르그식 층화와 그에 따른 서브아날리틱 전류 구조를 구축한다. 층들은 정규성, 폐합성, 그리고 적분 동류를 생성하는 성질을 가지며, 교차 이론과 K-이론적 톰-포르테우스 정리를 확장한다.

상세 분석

이 논문은 먼저 $\mathbb{C}^n\oplus\mathbb{C}^n$에 대한 표준 복소 대칭형 $\Omega((z,w))=z\cdot\overline w-w\cdot\overline z$를 이용해 허미티안 라그랑지안 부분공간들의 집합 $Lag_{\mathbb H}(n)$을 정의한다. 이 공간은 복소 라그랑지안 그라스만다와 동형이며, 실질적으로 $U(n)$의 동치류 $U(n)/O(n)$와 동일한 위상구조를 가진다. 저자는 $Lag_{\mathbb H}(n)$을 $n\times n$ 허미티안 행렬 $H$와의 일대일 대응 $H\mapsto \Gamma_H={(v,Hv)\mid v\in\mathbb{C}^n}$을 통해 행렬 공간의 컴팩트화로 해석한다. 이때 $H$가 무한대로 발산하면 해당 라그랑지안은 무한 원소에 수렴하게 되며, 이는 그라스만다의 경계가 되는 ‘특이 라그랑지안’으로 나타난다.

핵심 기법은 Morse 함수 $f:,Lag_{\mathbb H}(n)\to\mathbb{R}$, 예를 들어 $f(\Lambda)=\operatorname{tr}(P_{\Lambda}J)$와 같은 트레이스 형태를 선택해 그 비임계점들의 안정·불안정 다양체를 분석하는 것이다. 저자는 $f$가 완전한 Morse–Bott 함수임을 증명하고, 임계점은 $U(n)$의 토러스 고정점에 해당하는 특정 차원 $k$의 라그랑지안들로 구분된다. 각 임계점에 대한 부정적 고유값의 개수 $k$가 층화의 지표가 되며, 이를 $S_k$라 두면 $Lag_{\mathbb H}(n)=\bigsqcup_{k=0}^n S_k$라는 Whitney 정칙 분해가 얻어진다. 이 분해는 전통적인 슈퍼베르그 셀과 구조적으로 유사하지만, 복소 라그랑지안이라는 특수한 기하학적 제약을 반영한다.

다음 단계에서는 Hardt의 서브아날리틱 전류 이론을 차용해 각 층 $S_k$의 폐합성(closure) $\overline{S_k}$가 실측 가능한 서브아날리틱 집합임을 보이고, 이를 정수 계수 전류 $