[논문 리뷰] Further studies on the notion of differentiable maps from Azumaya/matrix manifolds, I. The smooth case

Chien‐Hao Liu, Shing‐Tung Yau|arXiv (Cornell University)|2015. 08. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 4

한 줄 요약

이 논문은 Azumaya/행렬 다성분체에서 매끄러운 실수 다성분체로의 미분 가능 맵에 대한 두 정의의 동치성을 확립한다: 하나는 $C^k$-허용 가능한 링-환향사상에 의존하고 다른 하나는 단지 대변환 링-환향사상에 의존한다. 이는 매끄러운 ($C^\infty$) 경우에 대한 추측을 증명한다. 핵심 결과는 매끄러운 설정에서 D-브라인의 미분기하학적 프레임워크가 대수기하학적 설정과 완전히 평행하다는 것을 보여주며, 유한하게 미분 가능한 경우에 대해 일반화된 Malgrange 유형의 나눗셈 보조정리가 추측된다.

ABSTRACT

In this follow-up of our earlier two works D(11.1) (arXiv:1406.0929 [math.DG]) and D(11.2) (arXiv:1412.0771 [hep-th]) in the D-project, we study further the notion of a `differentiable map from an Azumaya/matrix manifold to a real manifold'. A conjecture is made that the notion of differentiable maps from Azumaya/matrix manifolds as defined in D(11.1) is equivalent to one defined through the contravariant ring-homomorphisms alone. A proof of this conjecture for the smooth (i.e. $C^{\infty}$) case is given in this note. Thus, at least in the smooth case, our setting for D-branes in the realm of differential geometry is completely parallel to that in the realm of algebraic geometry, cf.\ arXiv:0709.1515 [math.AG] and arXiv:0809.2121 [math.AG]. A related conjecture on such maps to ${\Bbb R}^n$, as a $C^k$-manifold, and its proof in the $C^{\infty}$ case is also given. As a by-product, a conjecture on a division lemma in the finitely differentiable case that generalizes the division lemma in the smooth case from Malgrange is given in the end, as well as other comments on the conjectures in the general $C^k$ case. We remark that there are similar conjectures in general and theorems in the smooth case for the fermionic/super generalization of the notion.

연구 동기 및 목표

• Azumaya/행렬 다성분체에서의 미분 가능 맵의 개념이 $C^k$-허용 가능한 링-환향사상에 의해 정의되는 것과 단지 대변환 링-환향사상에 의해 정의되는 것 간의 동치성을 해결하는 것.
• 특히 매끄러운 ($C^\infty$) 경우에서 이 동치성을 증명하여, 미분기하학적 D-브라인 프레임워크를 대수기하학적 대응과 일치시키는 것.
• 유한하게 미분 가능한 ($C^k$) 경우에 대해 Malgrange의 정리의 일반화된 나눗셈 보조정리 추측을 제시하고 뒷받침하는 것.
• 유사한 추측과 정리들이 매끄러운 경우에 기대되는, 맵 개념의 페르미온/스우퍼 일반화를 위한 기초를 제공하는 것.

제안 방법

• 매끄러운 맵 $f(m)$의 스무스성 분석을 위해, 여기서 $m$은 다성분체 위의 행렬값 함수이며, 특이점 집합을 넘어선 조르당 표준형과 프레임 전이를 통해 분해한다.
• Malgrange 나눗셈 정리를 사용하여 $(f(x) - f(-x))/(2x)$와 같은 표현이 $x=0$에서 조차도 스무스하다는 것을 보여준다. 이는 개별 구성요소(예: 프레임)가 불연속일지라도 성립한다.
• 벡터(bundle) $E$의 국소적 평탄화와 기저 좌표 $x$에 따라 의존하는 전이 행렬 $S$를 사용하여, 최종 행렬 표현이 스무스하게 유지되도록 한다.
• 합성 $S f(J_m) S^{-1}$는 개별적으로 불연속일 수 있지만, 특이점 상쇄로 인해 스무스한 결과를 낳는다는 사실을 활용한다.
• 정규 부분다양체의 초면 방향에 대한 타일러 전개를 바탕으로 $C^k$ 경우에 대한 추측을 제시하며, Malgrange의 나눗셈 보조정리를 일반화한다.
• 특정 예시에 적용: $\mathbb{R}^1$ 위에서 $m = \begin{bmatrix} x & 1 \\ 0 & -x \end{bmatrix}$ 인 행렬값 함수에 대해, $x=0$에서 불연속적인 프레임 전이가 있음에도 불구하고 $f(m)$이 스무스함을 보여준다.

실험 결과

연구 질문

• RQ1 Azumaya/행렬 다성분체에서 실수 다성분체로의 $C^\infty$-미분 가능 맵의 개념이 단지 대변환 링-환향사상에 의해 정의되는 것과 동치인가?
• RQ2 Malgrange 나눗셈 정리를 $C^k$-미분 가능한 경우로 일반화하여, 특이한 프레임을 가진 행렬값 함수의 스무스성을 보장할 수 있는가?
• RQ3 프레임 전이와 조르당 표준형이 불연속적인 점을 넘어 $f(m)$의 스무스성이 유지되는가? 여기서 $m$은 행렬값 함수이다.
• RQ4 이 맵 정의를 통해 대수기하학적 D-브라인 프레임워크가 미분기하학적 설정에서 완전히 재현될 수 있는가?
• RQ5 함수 $h$가 차수 $s-1$까지 도함수가 0이 되는 초면-1차원 부분다양체를 정의할 때, $C^k$-함수에 대해 Malgrange 나눗셈 정리의 적절한 일반화는 무엇인가?

주요 결과

• Azumaya/행렬 다성분체에서 실수 다성분체로의 $C^\infty$-허용 가능한 링-환향사상과 단지 대변환 링-환향사상에 의해 정의되는 미분 가능 맵의 개념이 동치라는 추측이 매끄러운 경우에 증명되었다.
• 프레임 전이가 불연속적인 $x=0$에서조차도 $m = \begin{bmatrix} x & 1 \\ 0 & -x \end{bmatrix}$ 인 경우 $f(m)$이 스무스함을 보였는데, 이는 $S f(J_m) S^{-1}$ 표현에서의 상쇄로 인한 것이다.
• $f \in C^\infty(\mathbb{R}^1)$ 이면 $(f(x) - f(-x))/(2x)$ 는 $x=0$에서 스무스하다. 이 결과는 Malgrange 나눗셈 정리를 통해 확립되었다.
• $C^k$ 경우에 대해 일반화된 나눗셈 보조정리의 추측을 제시한다: $h$에 대한 조건 하에, 임의의 점근적 근처의 $f \in C^k(\mathbb{R}^{m+1})_{(0)}$ 는 $f = gh + \sum_{i=1}^s a_i y^{s-i}$ 로 표현 가능하며, 여기서 $g \in C^k(\mathbb{R}^{m+1})_{(0)}$ 이고 $a_i \in C^{k-i}(\mathbb{R}^m)_{(0)}$ 이다.
• 증명 기법은 $\tilde{\varphi}^\sharp(f)$ 의 스무스성이 점에서 국소적 점근적 근처에만 의존한다는 것을 보여주며, 중간 구성요소의 직접적 스무스성이 없을 경우 Malgrange 정리가 이 성질을 확립하는 데 핵심적이다.
• 이 프레임워크는 D-브라인에 대한 미분기하학적 설정과 대수기하학적 설정 간에 완전한 평행성을 제공하며, 매끄러운 경우는 완전히 해결되었다.