[논문 리뷰] Family Floer program and non-archimedean SYZ mirror construction

Hang Yuan|arXiv (Cornell University)|2020. 03. 13.

Geometric and Algebraic Topology참고 문헌 23인용 수 8

한 줄 요약

이 논문은 푸카야의 가족 플로어 이론을 사용하여 비아르키메데스적 SYZ 미러 구성을 수립하며, 마스로프 지수 0과 2인 힐베르트-디스크의 수를 통해 초월적 미러 Landau-Ginzburg 모델을 강한 해석적 공간으로서의 슈퍼퍼텐셜을 갖는 것으로 구성한다. 이는 특수 라그랑주 섬유에 대한 SYZ dualit의 일반화로, 노비코프 필드 $\Lambda$ 위의 $A_{\infty}$-구조를 통해 양자 보정과 벽 교차 현상을 설명한다. 주요 기여는 특수 라그랑주 섬유를 요구하지 않으며 인stanton 보정과 이중 섬유를 포함하는 체계적인 비아르키메데스적 미러 구성이다.

ABSTRACT

Given a Lagrangian fibration, we provide a natural construction of a mirror Landau-Ginzburg model consisting of a rigid analytic space, a superpotential function, and a dual fibration based on Fukaya's family Floer theory. The mirror in the B-side is constructed by the counts of holomorphic disks in the A-side together with the non-archimedean analysis and the homological algebra of the $A_\infty$ structures. It fits well with the SYZ dual fibration picture and explains the quantum/instanton corrections and the wall crossing phenomenon. Instead of a special Lagrangian fibration, we only need to assume a weaker semipositive Lagrangian fibration to carry out the non-archimedean SYZ mirror reconstruction.

연구 동기 및 목표

• 비카비-야우 설정을 넘어선 비아르키메데스 기하학과 $A_{\infty}$-대수 기법을 사용하여 SYZ 미러 대칭 프로그램을 확장하기.
• 라그랑주 섬유 내 힐베르트-디스크의 수를 통합하여 미러 대칭에서 양자/인스턴턴 보정 문제를 해결하기.
• 플로어 이론적 자료를 사용하여 전역적으로 정의된 슈퍼퍼텐셜 함수를 갖는 강한 해석적 공간으로서의 미러 Landau-Ginzburg 모델을 구축하기.
• 특수 라그랑주 조건을 완화시키기 위해 가족 플로어 프로그램을 반양성 라그랑주 섬유로 일반화하기.

제안 방법

• 거의 모든 토러스 섬유 $L$에 대해 $H^1(L; U_\Lambda)$의 분리합집합으로 미러 공간 $X^\vee$를 구성하며, 여기서 $U_\Lambda$는 노비코프 필드 $\Lambda$의 단위군으로, 비아르키메데스적 토러스를 형성한다.
• 푸카야의 가족 플로어 이론을 사용하여 라그랑주 위에 $A_{\infty}$-구조를 정의하며, 고차 연산은 힐베르트-디스크의 수를 코딩한다.
• 호모로지적 편향 이론과 조화 수축을 적용하여 $A_{\infty}$-대수의 표준 모델을 구성함으로써 변형과 차단을 연구할 수 있도록 한다.
• $P$-가짜동형사상과 ud-호모토피를 도입하여 서로 다른 $A_{\infty}$-구조들을 연결하고, $A_{\infty}$-대수의 이중범주를 정의한다.
• 슈퍼퍼텐셜 $W^\vee$는 $\mathfrak{m}_0$-장애 클래스로부터 유도되며, 마스로프 지수 2 디스크의 수를 세는 것으로, 전역적으로 잘 정의됨을 보인다.
• 비아르키메데스 기하학과 토폴로지 기하학을 사용하여 미러 공간의 전이 사상과 차트를 정의함으로써 강한 해석적 구조를 확보한다.

실험 결과

연구 질문

• RQ1 특수 라그랑주 섬유를 요구하지 않고, 힐베르트-디스크를 끼고 있는 라그랑주 섬유에 대해 SYZ 미러 구성이 어떻게 일반화될 수 있는가?
• RQ2 마스로프 지수 0과 2인 힐베르트-디스크의 수가 미러 대칭에서의 양자 보정과 벽 교차 현상에 어떻게 기여하는가?
• RQ3 가족 플로어 이론과 비아르키메데스 해석을 사용하여 노비코프 필드 $\Lambda$ 위에서 전역적인 미러 Landau-Ginzburg 모델을 구성할 수 있는가?
• RQ4 $A_{\infty}$-구조와 그 변형이 미러 기하학과 슈퍼퍼텐셜을 어떻게 코딩하는가?
• RQ5 플로어 이론적 자료를 사용하여 이중 섬유와 미러 공간을 강한 해석적 공간으로 엄밀히 정의할 수 있는가?

주요 결과

• 미러 공간 $X^\vee$는 라그랑주 토러스 섬유 위의 $U_\Lambda$-접속을 매개변수화하는 강한 해석적 공간으로 구성되며, 고전적 $U(1)$-이중 토러스를 일반화한다.
• 슈퍼퍼텐셜 $W^\vee$는 전역적으로 잘 정의되며, 마스로프 지수 2 힐베르트-디스크의 수를 세는 $\mathfrak{m}_0$-장애 클래스로부터 유도된다.
• 양자 보정은 나누기 공리와 에너지 필터링을 통한 $A_{\infty}$-구조에 자연스럽게 포함되며, 벽 교차 현상을 설명한다.
• 구성은 특수 라그랑주 조건을 요구하지 않는 반양성 라그랑주 섬유에 대해서도 작동하므로, 가족 플로어 프로그램의 적용 범위를 넓힌다.
• 지역 차트 간 전이 사상은 선택에 의존하지 않으며 코ycle 조건을 만족하므로, 미러 공간의 구조가 전역적으로 일관됨을 보장한다.
• 이 미러 구성은 비아르키메데스적 SYZ 그림과 호환되며, 콘스테비치-소이벨만의 비아르키메데스적 미러 대칭 기대를 실현한다.