[논문 리뷰] Mirror symmetry for weighted projective planes and their noncommutative deformations

Denis Auroux, Ludmil Katzarkov외 1명|arXiv (Cornell University)|2004. 04. 15.

Algebraic structures and combinatorial models참고 문헌 19인용 수 24

한 줄 요약

이 논문은 가중 투영 평면과 그 비가환 변형에 대해 호모로지 미러 대칭을 확립한다. 가중 투영 평면의 코herent sheaf의 유도 범주와 거울 Landau-Ginzburg 모델에서의 라그랑주 변형 순환의 유도 범주 사이에 명시적인 동치를 구성함으로써 이루어진다. Lefschetz fibration의 곱 구조와 A∞-범주 기법을 사용하여, 변형 순환의 Fukaya 유형 범주가 대수적 범주와 일치함을 증명하며, 이는 Seidel의 ℂℙ²에 대한 결과를 특이한 Fano 다양체와 비가환 변형으로 확장한다.

ABSTRACT

We study the derived categories of coherent sheaves of weighted projective spaces and their noncommutative deformations, and the derived categories of Lagrangian vanishing cycles of their mirror Landau-Ginzburg models. In particular, we show that the derived category of coherent sheaves (B-branes) on the weighted projective plane $\CP^2(a,b,c)$ is equivalent to the derived category of vanishing cycles (A-branes) on the affine hypersurface $X=\{x^ay^bz^c=1\}\subset (\C^*)^3$ equipped with an exact symplectic form and the superpotential $W=x+y+z$. Hence, the homological mirror symmetry conjecture holds for weighted projective planes. Moreover, we also show that this mirror correspondence between derived categories can be extended to toric noncommutative deformations of $\CP^2(a,b,c)$ where B-branes are concerned, and their mirror counterparts, non-exact deformations of the symplectic structure of $X$ where A-branes are concerned. We also obtain similar results for other examples such as weighted projective lines or Hirzebruch surfaces.

연구 동기 및 목표

• 캘리바-요만만다의 호모로지 미러 대칭을 Fano 다양체, 특히 가중 투영 평면과 히르체브루흐 표면으로 확장한다.
• 거울 Landau-Ginzburg 모델에서의 라그랑주 변형 순환의 범주를 통해 가중 투영 평면 위의 코herent sheaf의 유도 범주를 구체적으로 실현한다.
• Fano 다양체의 비가환 변형에 대한 첫 번째 명시적 거울 대응을 기술하며, 대수기하학과 심플렉틱 토폴로지 사이의 연결 고리를 제공한다.
• 가중 투영 공간을 통한 오비폴드 특이점을 가진 특이 Fano 표면으로 Seidel의 ℂℙ²에 대한 호모로지 미러 대칭 결과를 일반화한다.

제안 방법

• 거울 Landau-Ginzburg 모델을 (ℂ*)³ 내의 약간의 대칭성 있는 초표면 {x^a y^b z^c = 1} ⊂ (ℂ*)³로 구성하고, 심플렉틱 피브레이션 W: X → ℂ를 정의한다.
• 토닉 미러 추측을 사용하여 거울 기하학을 정의하고, Fano 다양체에 대해 콘체비치의 호모로지 미러 대칭 프레임워크를 적용한다.
• 세이델의 라그랑주 변형 순환의 유도 범주 이론을 적용하여 A-모델 범주 D(Lag_vc(W))를 정의한다.
• Lefschetz fibration의 곱 구조를 통해 가중 투영 평면 위의 코herent sheaf의 유도 범주와 변형 순환의 범주 사이에 A∞-동치를 확립한다.
• 라그랑주 다양체 L_ij의 사전순서를 사용하여 교차와 플로어 복합체의 조합적 기술을 제공하며, 사상들이 두 기저 피브레이션의 사상의 텐서곱과 동형임을 보인다.
• 피시-홀로모르픽 디스크와 피브레이션의 곱과 호환되는 거의 복소構조를 사용하여 A∞-관계, 특히 A∞-곱 구조 m₂가 호모토피 상에서 확인된다.

실험 결과

연구 질문

• RQ1 호모로지 미러 대칭은 캘리바-요만만다의 범주를 초월하여, 가중 투영 평면과 같은 Fano 다양체로 확장될 수 있는가?
• RQ2 Fano 다양체의 비가환 변형은 거울 Landau-Ginzburg 모델에서 어떻게 나타나는가?
• RQ3 가중 투영 평면의 거울에서의 라그랑주 변형 순환의 범주에 대한 정확한 A∞-구조는 무엇인가?
• RQ4 두 Lefschetz 피브레이션의 곱 구조는 유도 범주의 사상 공간의 텐서곱 구조와 어떻게 반영되는가?
• RQ5 마스로프 지수와 그레딩은 대수적 범주와 심플렉틱 범주를 매칭시키는 데 어떤 역할을 하는가?

주요 결과

• 가중 투영 평면 ℙ(a,b,c) 위의 코herent sheaf의 유도 범주는 거울 Landau-Ginzburg 모델 x^a y^b z^c = 1에 의해 정의된 라그랑주 변형 순환의 유도 범주와 준등치(quasi-equivalent)이다.
• Fukaya 유형 범주의 사상 공간은 두 기저 Lefschetz 피브레이션의 사상 공간의 텐서곱과 동형이며, 곱 구조 m₂는 A∞-곱의 텐서곱으로 주어진다.
• 변형 순환의 범주는 쌍 (i,j)로 인덱싱된 라그랑주 다양체 L_ij에 의해 생성되며, 교차와 그레딩이 사전순서와 위상 일치 조건에서 호환된다.
• 거울 범주의 A∞-구조는 두 더 단순한 A∞-범주의 곱에 의해 완전히 결정되며, 고차 사상 m_k는 호모토피 상에서 곱 구조와 호환된다.
• 비정확한 심플렉틱 형식과 B-장은 가중 투영 평면의 비가환 변형을 거울에서 기술할 수 있게 하며, 이는 대수적 비가환 변형을 심플렉틱 토폴로지적으로 실현한다.
• 히르체브루흐 표면 ℱ₀와 ℱ₁의 경우는 두 가중 투영 직선의 곱으로 간주되며, 이는 거울 대칭 프레임워크가 피브레이션 곱의 구조와 호환됨을 확인한다.