[논문 리뷰] On the Holonomy of the Coulomb Connection over Manifolds with Boundary

William E. Gryc|ArXiv.org|2006. 10. 10.

Black Holes and Theoretical Physics참고 문헌 10인용 수 4

한 줄 요약

이 논문은 경계를 가진 컴acts Riemannian 다양체 위의 주다발에서 쿨롱 접속의 호로노미를 조사하며, 접속에 대해 딜리클레 경계 조건을 중심으로 다룬다. 어떤 한 접속에서의 곡률 형식이 호로노미 리 대수의 조밀 부분공간을 생성하지 못함을 보이며, 이는 경계에 기인한 제약 조건(평균 곡률을 포함) 때문임을 밝힌다. 그러나 평탄한 접속에서의 첫 번째 교환자들을 제품 다발의 유계 도메인 ℝⁿ 위에 포함시키면, 그 생성된 공간은 조밀해지며, 이는 제한된 호로노미 군이 게이지 군의 항등원 성분에 조밀하게 유지됨을 의미한다.

ABSTRACT

Narasimhan and Ramadas showed that the restricted holonomy group of the Coulomb connection is dense in the connected component of the identity of the gauge group when one considers the product principal bundle $S^3 imes SU(2) o S^3$. Instead of a base manifold S^3, we consider here a base manifold of dimension $n\ge 2$ with a boundary and use Dirichlet boundary conditions on connections as defined by Marini. A key step in the method of Narasimhan and Ramadas consisted in showing that the linear space spanned by the curvature form at one specially chosen connection is dense in the holonomy Lie algebra with respect to an appropriate Sobolev norm. Our objective is to explore the effect of the presence of a boundary on this construction of the holonomy Lie algebra. Fixing appropriate Sobolev norms, it will be shown that the space spanned, linearly, by the curvature form at any one connection is never dense in the holonomy Lie algebra. In contrast, the linear space spanned by the curvature form and its first commutators at the flat connection is dense and, in the $C^\infty$ category, is in fact the entire holonomy Lie algebra. The former, negative, theorem is proven for a general principle bundle over $M$, while the latter, positive, theorem is proven only for a product bundle over the closure of a bounded open subset of $\mathbb{R}^n$. Our technique for proving absence of density consists in showing that the linear space spanned by the curvature form at one point is contained in the kernel of a linear map consisting of a third order differential operator, followed by a restriction operation at the boundary; this mapping is determined by the mean curvature of the boundary.

연구 동기 및 목표

• 경계가 있는 컴팩트 Riemannian 다양체 위의 주다발에서 쿨롱 접속의 호로노미를 분석하는 것.
• 디리클레 경계 조건이 호로노미 리 대수 내 곡률 형식의 영상의 조밀성에 미치는 영향을 조사하는 것.
• 경계가 존재함에도 불구하고 호로노미 리 대수가 여전히 조밀하게 생성될 수 있는지 여부를 규명하는 것.
• 제한된 호로노미 군이 딜리클레 경계 조건 하에서 게이지 군의 항등원 성분에 조밀하게 유지되는 조건을 설정하는 것.

제안 방법

• 정규성 확보를 위해 k > n/2 + 1 조건을 만족하는 Sobolev 노름을 접속과 게이지 변환에 적용한다.
• T_A(f) = d_A Δ_A f + 2(n−1)H Δ_A f로 정의된 선형 연산자 T_A를 구성하며, 여기서 H는 경계의 평균 곡률이다.
• 어느 접속에서든 곡률 형식의 이미지가 T_A의 핵에 포함됨을 보이며, 이는 호로노미 리 대수 내에서의 비조밀성을 증명한다.
• 유계 열린 도메인 ℝⁿ 위의 제품 다발에 대해서는 호로노미 리 대수가 곡률과 그 첫 번째 교환자들에 의해 생성됨을 보인다.
• 경계 근처에 컴acts 지지 집합을 가진 함수 f_k를 구성하고, 경계 행동을 제어하기 위해 컷오프 함수 η를 사용한다.
• 핵심 논증은 d(Δf)(ν) + 2(n−1)H Δf = 0 이 경계에서 성립한다는 사실로, T_A의 핵이 곡률 이미지와 연결됨을 보여준다.

실험 결과

연구 질문

• RQ1 기저 다양체에 경계가 존재할 때, 쿨롱 접속의 곡률 형식이 단일 접속에서 호로노미 리 대수의 조밀 부분공간을 생성할 수 있는가?
• RQ2 경계의 평균 곡률은 게이지 대수 내 곡률 이미지의 조밀성 특성에 어떤 영향을 미치는가?
• RQ3 경계 제약 조건이 존재하더라도 곡률의 교환자를 포함하면 호로노미 리 대수가 여전히 조밀하게 생성되는가?
• RQ4 딜리클레 경계 조건 하에서 쿨롱 접속의 제한된 호로노미 군은 게이지 군의 항등원 성분에 조밀하게 유지되는가?
• RQ5 곡률과 그 첫 번째 교환자의 스트레칭이 게이지 대수의 C^∞ 부분을 전체적으로 생성하는 조건은 무엇인가?

주요 결과

• 어느 한 접속에서 곡률 형식의 이미지는 경계의 평균 곡률 H에 의존하는 비자명한 유계 선형 연산자 T_A의 핵에 포함되며, 이는 호로노미 리 대수 내에서의 비조밀성을 증명한다.
• 평탄한 접속에서 곡률과 그 첫 번째 교환자들에 의해 생성된 선형 공간은 ℝⁿ 내 유계 도메인 위의 제품 다발에서 게이지 대수의 C^∞ 부분에 조밀하게 포함된다.
• 기저가 유계 열린 집합이고 경계가 매끄럽고 다발이 자명한 경우, 딜리클레 경계 조건 하에서 쿨롱 접속의 제한된 호로노미 군은 게이지 군의 항등원 성분에 조밀하게 유지된다.
• 단일 곡률의 조밀성 실패 원인은 제3차 미분 연산자 이후 경계 제약을 거치며, 곡률 이미지에서 0이 되는 현상이다.
• 경계 도함수를 제어하는 함수 f_k의 구성은 곡률 이미지가 T_A의 핵에 포함됨을 보장하며, 이는 비조밀성 결과를 확립한다.
• 긍정적 결과는 T_0(f) = u 형태의 경계값 문제를 풀 수 있음을 바탕으로 하며, 이는 곡률과 그 교환자들로부터 임의의 매끄러운 게이지 매개변수를 복원할 수 있음을 허용한다.