Homological mirror symmetry for curves of higher genus (Q424556): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Kontsevich's homological mirror symmetry conjecture interprets, roughly speaking, mirror symmetry of two Calabi-Yau varieties \(X\) and \(X'\) as an equivalence of categories, namely the bounded derived category of coherent sheaves on \(X\) and the Fukaya category of \(X'\). The conjecture has been established in some cases, for example, for elliptic curves and the quartic \(K3\) surface. Later the conjecture was extended to Fano varieties and varieties of general type. In these cases the mirror is a Landau-Ginzburg model, that is, a smooth algebraic variety together with a regular function. \textit{P. Seidel} [J.\ Algebr.\ Geom.\ 20, No.\ 4, 727--769 (2011; Zbl 1226.14028)] proved homological mirror symmetry for genus 2 curves. The aim of the paper under review is to prove it in the case of curves of genus \(g\geq 3\). The curves are treated as symplectic varieties. So, let \(M\) be a symplectic compact oriented surface of genus \(\geq 3\). One considers \(\mathcal{F}(M)\), the Fukaya \(A_\infty\)-category of \(M\), and \(D^\pi(\mathcal{F}(M))\) the category of perfect complexes over \(\mathcal{F}(M)\). On the algebraic side, the Landau--Ginzburg model \(W: X\rightarrow \mathbb{C}\) is three-dimensional. It has one singular fibre \(H\), which is a union of \((g+1)\) complex surfaces. The category of singularities of \(H\), that is, the Verdier quotient of the bounded derived category of coherent sheaves on \(H\) by the triangulated subcategory of perfect complexes, is denoted by \(D_{sg}(H)\). The main result of the paper states that the triangulated categories \(D^\pi(\mathcal{F}(M))\) and \(\overline{D_{sg}}(H)\), where the latter is the Karoubian completion of \(D_{sg}(H)\), are equivalent. The basic idea of the proof is the same as in Seidel's paper. Both categories can be described by \(A_\infty\)-algebras of a very special form, namely \(A_\infty\)-deformations of the exterior algebra. On the algebraic side, the structure sheaf of the origin is a split-generator in the category of singularities and the wanted algebra is its endomorphism DG-algebra. On the symplectic side, one considers a cyclic covering \(M\rightarrow \overline{M}\), where \(\overline{M}\) is \(\mathbb{P}^1\) with three orbifold points. The wanted split-generator is then the direct sum of \(2g+1\) curves in \(M\), which form a Galois-invariant collection and project to the same curve in \(\overline{M}\). The wanted algebra is again the endomorphism algebra of the generator. In addition to the above result, the author also proves a kind of reconstruction theorem for hypersurface singularities. | |||
Property / review text: Kontsevich's homological mirror symmetry conjecture interprets, roughly speaking, mirror symmetry of two Calabi-Yau varieties \(X\) and \(X'\) as an equivalence of categories, namely the bounded derived category of coherent sheaves on \(X\) and the Fukaya category of \(X'\). The conjecture has been established in some cases, for example, for elliptic curves and the quartic \(K3\) surface. Later the conjecture was extended to Fano varieties and varieties of general type. In these cases the mirror is a Landau-Ginzburg model, that is, a smooth algebraic variety together with a regular function. \textit{P. Seidel} [J.\ Algebr.\ Geom.\ 20, No.\ 4, 727--769 (2011; Zbl 1226.14028)] proved homological mirror symmetry for genus 2 curves. The aim of the paper under review is to prove it in the case of curves of genus \(g\geq 3\). The curves are treated as symplectic varieties. So, let \(M\) be a symplectic compact oriented surface of genus \(\geq 3\). One considers \(\mathcal{F}(M)\), the Fukaya \(A_\infty\)-category of \(M\), and \(D^\pi(\mathcal{F}(M))\) the category of perfect complexes over \(\mathcal{F}(M)\). On the algebraic side, the Landau--Ginzburg model \(W: X\rightarrow \mathbb{C}\) is three-dimensional. It has one singular fibre \(H\), which is a union of \((g+1)\) complex surfaces. The category of singularities of \(H\), that is, the Verdier quotient of the bounded derived category of coherent sheaves on \(H\) by the triangulated subcategory of perfect complexes, is denoted by \(D_{sg}(H)\). The main result of the paper states that the triangulated categories \(D^\pi(\mathcal{F}(M))\) and \(\overline{D_{sg}}(H)\), where the latter is the Karoubian completion of \(D_{sg}(H)\), are equivalent. The basic idea of the proof is the same as in Seidel's paper. Both categories can be described by \(A_\infty\)-algebras of a very special form, namely \(A_\infty\)-deformations of the exterior algebra. On the algebraic side, the structure sheaf of the origin is a split-generator in the category of singularities and the wanted algebra is its endomorphism DG-algebra. On the symplectic side, one considers a cyclic covering \(M\rightarrow \overline{M}\), where \(\overline{M}\) is \(\mathbb{P}^1\) with three orbifold points. The wanted split-generator is then the direct sum of \(2g+1\) curves in \(M\), which form a Galois-invariant collection and project to the same curve in \(\overline{M}\). The wanted algebra is again the endomorphism algebra of the generator. In addition to the above result, the author also proves a kind of reconstruction theorem for hypersurface singularities. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Pawel Sosna / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14J33 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53D37 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16E45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18E30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6040338 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
homological mirror symmetry | |||
Property / zbMATH Keywords: homological mirror symmetry / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Fukaya categories | |||
Property / zbMATH Keywords: Fukaya categories / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
triangulated categories of singularities | |||
Property / zbMATH Keywords: triangulated categories of singularities / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
formality theorem | |||
Property / zbMATH Keywords: formality theorem / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2015009262 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0907.3903 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Fukaya categories of higher genus surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homological mirror symmetry for the 4-torus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mirror symmetry and T-duality in the complement of an anticanonical divisor / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On equivalences of derived and singular categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The McKay correspondence as an equivalence of derived categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4424388 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deformation theory of objects in homotopy and derived categories. II: Pro-representability of the deformation functor / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lie theory for nilpotent \(L_{\infty}\)-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The deformation theory of representations of fundamental groups of compact Kähler manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Differential Forms On Regular Affine Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homological mirror symmetry for manifolds of general type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5755492 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hodge theoretic aspects of mirror symmetry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to \(A\)-infinity algebras and modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homological Algebra of Mirror Symmetry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deformation quantization of algebraic varieties. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deformation quantization of Poisson manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strongly homotopy lie algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3409132 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal completions and idempotent completions of triangulated categories of singularities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categorical mirror symmetry: The elliptic curve / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: McKay correspondence for Landau-Ginzburg models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homological Mirror Symmetry for the genus two curve / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fukaya categories and Picard-Lefschetz theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homological mirror symmetry for the quartic surface / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:41, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Homological mirror symmetry for curves of higher genus |
scientific article |
Statements
Homological mirror symmetry for curves of higher genus (English)
0 references
1 June 2012
0 references
Kontsevich's homological mirror symmetry conjecture interprets, roughly speaking, mirror symmetry of two Calabi-Yau varieties \(X\) and \(X'\) as an equivalence of categories, namely the bounded derived category of coherent sheaves on \(X\) and the Fukaya category of \(X'\). The conjecture has been established in some cases, for example, for elliptic curves and the quartic \(K3\) surface. Later the conjecture was extended to Fano varieties and varieties of general type. In these cases the mirror is a Landau-Ginzburg model, that is, a smooth algebraic variety together with a regular function. \textit{P. Seidel} [J.\ Algebr.\ Geom.\ 20, No.\ 4, 727--769 (2011; Zbl 1226.14028)] proved homological mirror symmetry for genus 2 curves. The aim of the paper under review is to prove it in the case of curves of genus \(g\geq 3\). The curves are treated as symplectic varieties. So, let \(M\) be a symplectic compact oriented surface of genus \(\geq 3\). One considers \(\mathcal{F}(M)\), the Fukaya \(A_\infty\)-category of \(M\), and \(D^\pi(\mathcal{F}(M))\) the category of perfect complexes over \(\mathcal{F}(M)\). On the algebraic side, the Landau--Ginzburg model \(W: X\rightarrow \mathbb{C}\) is three-dimensional. It has one singular fibre \(H\), which is a union of \((g+1)\) complex surfaces. The category of singularities of \(H\), that is, the Verdier quotient of the bounded derived category of coherent sheaves on \(H\) by the triangulated subcategory of perfect complexes, is denoted by \(D_{sg}(H)\). The main result of the paper states that the triangulated categories \(D^\pi(\mathcal{F}(M))\) and \(\overline{D_{sg}}(H)\), where the latter is the Karoubian completion of \(D_{sg}(H)\), are equivalent. The basic idea of the proof is the same as in Seidel's paper. Both categories can be described by \(A_\infty\)-algebras of a very special form, namely \(A_\infty\)-deformations of the exterior algebra. On the algebraic side, the structure sheaf of the origin is a split-generator in the category of singularities and the wanted algebra is its endomorphism DG-algebra. On the symplectic side, one considers a cyclic covering \(M\rightarrow \overline{M}\), where \(\overline{M}\) is \(\mathbb{P}^1\) with three orbifold points. The wanted split-generator is then the direct sum of \(2g+1\) curves in \(M\), which form a Galois-invariant collection and project to the same curve in \(\overline{M}\). The wanted algebra is again the endomorphism algebra of the generator. In addition to the above result, the author also proves a kind of reconstruction theorem for hypersurface singularities.
0 references
homological mirror symmetry
0 references
Fukaya categories
0 references
triangulated categories of singularities
0 references
formality theorem
0 references
0 references
0 references
0 references