[논문 리뷰] Localized mirror functor constructed from a Lagrangian torus

Cheol‐Hyun Cho, Hansol Hong외 1명|arXiv (Cornell University)|2014. 06. 18.

Geometric and Algebraic Topology참고 문헌 26인용 수 5

한 줄 요약

이 논문은 심플렉틱 다양체 $X$ 의 푸카야 카테고리에서 헬모르픽 랑당-긴츠부르크 초위상함수 $W$ 의 행렬 인자화 카테고리로의 표준 $A_{u}$-함수를 구성한다. 여기서 $W$ 는 $X$ 내의 약하게 비차단된 라그랑주 토러스로부터 유도된다. 이 구성은 평탄한 $\mathbb{C}^\times$-접속을 갖는 라그랑주 플로어 이론을 사용하며, 일관된 게이지 선택을 통해 게이지 불변의 행렬 인자화를 보장하고, 토릭 판노 다양체 및 $\mathbb{CP}^n$ 의 실수 부분공간에 대해 명시적인 미러를 제공한다.

ABSTRACT

Fixing a weakly unobstructed Lagrangian torus in a symplectic manifold X, we define a holomorphic function W known as the Floer potential. We construct a canonical A-infinity functor from the Fukaya category of X to the category of matrix factorizations of W. It provides a unified way to construct matrix factorizations from Lagrangian Floer theory. The technique is applied to toric Fano manifolds to transform Lagrangian branes to matrix factorizations. Using the method, we also obtain an explicit expression of the matrix factorization mirror to the real locus of the complex projective space.

연구 동기 및 목표

• 비칼라비-야우 미러 대칭을 위한 라그랑주 플로어 이론에서의 행렬 인자화를 구성하는 통합적이고 계산 가능한 접근법을 동기화한다.
• 평탄한 $\mathbb{C}^\times$-접속에 따른 게이지 의존성 문제를 다루며, 잘 정의되고 로렌트 급수 값을 갖는 행렬 인자화를 보장한다.
• 이전의 잠기지 않은 라그랑주 플로어 이론을 부드러운 라그랑주 토러스의 경우로 확장하여, 토릭 판노 설정에서 명시적인 미러 구성이 가능하게 한다.
• 라그랑주 토러스 섬유 근처의 가족 플로어 함수의 국소적 형태를 제공하며, 특이 섬유가 없는 경우에 이를 조합할 수 있다.
• 복소 프로젝티브 공간 $\mathbb{CP}^n$ 의 실수 부분공간에 대한 미러 초위상함수와 행렬 인자화를 명시적으로 계산한다.

제안 방법

• 플로어 전위 $W$ 는 평탄한 $\mathbb{C}^\times$-접속에 대해 무게가 2인 해석적 디스크를 세는 $A_\infty$ 대수 $\mathrm{CF}^*((\mathbb{L},\nabla),(\mathbb{L},\nabla))$ 의 $m_0$-항으로 정의한다.
• 기준 토러스 $(\mathbb{L},\nabla)$ 와 임의의 약하게 비차단된 라그랑주 $L_1$ 간의 라그랑주 플로어 이론을 사용하여, 미분이 $W - \lambda$ 가 되는 복합체를 구성하며, 여기서 $\lambda = m_0^{L_1}$ 이다.
• 평탄한 $\mathbb{C}^\times$-접속에 대해 일관된 게이지 선택을 구현하여, 초위상함수의 정의가 로렌트 급수 위에서 이루어지도록 하며, 초위상함수의 홀로노미를 고정된 초토러스 외부에서 항등로 제한한다.
• 각 라그랑주 $L_1$ 에 대해 플로어 복합체 $\mathrm{CF}^*((\mathbb{L},\nabla), L_1)$ 에서 유도되는 행렬 인자화를 할당하여 $A_\infty$-함수를 구성하며, 미분이 $d^2 = W - \lambda$ 가 되도록 한다.
• 이 방법을 토릭 판노 다양체에 적용하여, 특이 섬유가 없기 때문에 국소 미러 함수를 전역적으로 조합할 수 있음을 보인다.
• 해석적 디스크와 유량선의 모듈리 공간의 방향성 이론에서의 부호 관례를 적용하여, 행렬 인자화의 일관성을 확보한다.

실험 결과

연구 질문

• RQ1 부드러운 라그랑주 토러스를 기준으로 하여, 푸카야 카테고리에서 행렬 인자화로의 표준 $A_\infty$-함수를 어떻게 구성할 수 있는가?
• RQ2 평탄한 $\mathbb{C}^\times$-접속은 잘 정의된 미러 초위상함수 $W$ 와 게이지 불변의 행렬 인자화를 보장하는 데 어떤 역할을 하는가?
• RQ3 평탄한 접속에 대한 게이지 선택은 결과로 얻어지는 행렬 인자화에 어떻게 영향을 미치며, 로렌트 급수의 구조를 유지하기 위해 일관된 게이지를 어떻게 선택할 수 있는가?
• RQ4 이 구성 방법을 사용하여 $\mathbb{CP}^n$ 의 실수 부분공간에 대한 미러 초위상함수와 행렬 인자화의 명시적 형태는 무엇인가?
• RQ5 라그랑주 토러스 섬유 근처의 국소 미러 함수는 토릭 판노 다양체에서 전역 미러 함수로 확장될 수 있는가?

주요 결과

• 플로어 전위 $W$ 는 평탄한 $\mathbb{C}^\times$-접속을 갖는 라그랑주 토러스의 $A_\infty$ 대수의 $m_0$-항으로 구성되며, $(\mathbb{C}^\times)^n$ 상의 해석적 함수가 된다.
• $(\mathbb{L},\nabla)$ 와 임의의 $L_1$ 간의 라그랑주 플로어 복합체는 $W$ 의 행렬 인자화를 이룬다. 여기서 $d^2 = W - \lambda$, $\lambda = m_0^{L_1}$ 이다.
• 일관된 게이지 선택—고정된 초토러스 외부에서 홀로노미를 항등로 제한—은 결과로 얻어지는 행렬 인자화가 로렌트 다항식환 위에서 정의됨을 보장한다.
• 이 방법은 $\mathbb{CP}^n$ 의 실수 부분공간에 대한 명시적 행렬 인자화 미러를 생성하며, 계수로 $z_i - \underline{z}_i$ 항들과 방향 데이터에 의해 결정된 부호를 포함한다.
• 펄 펄드 복합체에서의 부호 계산은 모듈리 공간의 방향성 이론을 통해 해결되며, 미분의 부호가 행렬 인자화의 기대되는 $s_{i,j}$-요소들과 일치함을 보여준다.
• 토릭 판노 다양체에서는 각 라그랑주 토러스 섬유 근처의 국소 미러 함수를 특이 섬유가 없기 때문에 서로 조합하여 전역 미러 함수를 얻을 수 있다.