매핑 콘 삼각형 복합체의 톰 형식 명시적 구성

본 논문은 매핑 콘 복합체에 대한 Thom 형식의 명시적 구성을 목표로 한다. 서론에서는 매핑 콘 복합체가 닫힌 2‑형식 ω와 일반적인 벡터 번들 E 위에서 어떻게 정의되는지를 소개하고, 기존의 특성 클래스, 게이지 이론, 모스 이론 등에서의 활용 사례를 언급한다. 특히 Mathai‑Quillen이 제시한 분석적 Thom 형식이 매핑 콘 상황에서도 필요함을 강조한다. 2장에서는 매핑 콘 공변 미분 연산자 A를 정의한다. 기본적인 연결 ∇와 0‑형식 Φ를 이용해 (α,β)↦(∇α+ω∧β, Φα−∇β) 로 작동한다. 여기서 Φ는 스큐‑어드조인트(endomorphism)이며, 이는 A가 Euclidean(∇가 거리 보존)일 때 중요한 가정이다. 연산자 A는 Λ*E‑값 형태에 자연스럽게 확장되어 eA 로 표기한다. 또한 Φ가 유도하는 파생 연산자 Φ_Λ를 정의하고, 이를 통해 A의 전체 구조를 완성한다. 3장에서는 A가 Euclidean일 때 Q_A와 S_A라는 2‑형식·1‑형식 쌍을 정의하고, 이들에 대해 스큐‑어드조인트 Bianchi 항등식 A(Q_A,S_A)=(0,0)을 증명한다. 증명은 로컬 프레임을 이용해 η_{ij}, R_{ij}, φ_{ij} 등 연결 1‑형식, 곡률 2‑형식, Φ 성분을 전개하고, 대칭성(η_{ij}=−η_{ji}, R_{ij}=−R_{ji}, φ_{ij}=−φ_{ji})을 활용한다. 이 과정에서 전통적인 Bianchi 항등식과 Φ에 의한 교정항이 소거되는 것을 확인한다. 4장에서는 Berezin 적분 Z_B를 도입한다. 기존의 Berezin 적분은 Λ*E‑값 형태의 최고 차원 성분을 추출하는 연산이었으며, 이를 매핑 콘 복합체에 맞게 쌍(α,β)↦(Z_Bα, Z_Bβ) 로 확장한다. 핵심 정리 4.1은 d_ω Z_B(α,β)=Z_B A(α,β) 를 보여주며, 이는 Φ가 스큐‑어드조인트이기 때문에 Φ_Λ가 최고 차원 성분을 소멸시켜 가능한 결과이다. 5장에서는 실제 Thom 형식 U를 구성한다. 총공간 E 위의 끈적한 섹션 v와 그 길이 |v|²를 이용해 A := (½|v|²,0)+eA(v,0)−⟨Q_{eA},S_{eA}⟩ 를 정의한다. 여기서 eA는 풀링백된 매핑 콘 연산자이며, Q_{eA}, S_{eA}는 앞서 정의한 Q_A, S_A의 풀링백이다. A는 Mathai‑Quillen의 원형 구성에서 exp(−|v|²/2)·(∇v+…)에 해당한다. 이후 U를 U = (−1)^{n(n+1)/2}(1/2π)^{n/2} Z_B exp(−A) 로 정의한다. Berezin 적분이 최고 차원 성분을 추출하므로 U는 (Ωⁿ(E)⊕Ω^{n−1}(E))에 위치한다. U가 매핑 콘 미분 d_{eω}에 대해 폐쇄함을 보이기 위해서는 A에 대한 Bianchi 항등식과 Berezin 적분의 교환성을 활용한다. 구체적으로 d_{eω}U = Z_B(eA A) = Z_B(v⌟A) = 0 이며, 여기서 v⌟A는 섹션 v에 대한 수축 연산이다. 섬유 적분 Z_{E/M}U=(1,0) 은 지역 좌표에서 직접 계산해 확인한다. 따라서 U는 매핑 콘 복합체의 Thom 형식으로서 기대되는 성질을 모두 만족한다. 6장에서는 매개변수화된 연결 ∇_t와 Φ_t에 대해 전이 공식 dU_t/dt = d_{eω}(ψ_t,ρ_t) 를 도출한다. ψ_t, ρ_t는 명시적인 식(6.2)으로 제시되며, 이는 A_t의 t‑미분과 v⌟A_t 사이의 관계를 Berezin 적분을 통해 전이시킨 결과이다. 이 전이 공식은 매핑 콘 복합체의 동형사상에서 파라미터 변화에 대한 연속성을 보장한다. 결론에서는 본 연구가 매핑 콘 복합체에 대한 분석적 Thom 형식을 제공함으로써, 특성 클래스 계산, 게이지 이론의 위상적 전위, 모스 이론의 경계 연산 등 다양한 분야에 적용 가능함을 강조한다. 또한 Φ와 ω가 추가된 일반적인 상황에서도 Mathai‑Quillen 방식이 그대로 작동한다는 점을 확인함으로써, 향후 더 복잡한 고차 형식이나 비유클리드 연결에 대한 확장 가능성을 제시한다.