On the derived category of the classical Godeaux surface (Q392962): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
Let \(S\) be a complex surface with \(p_g=q=0\). Then any line bundle \(L\) on \(S\) is exceptional, that is \(\mathrm{Ext}^i(L,L) = 0\) for \(i >0\), and \(\mathrm{End}(L)= {\mathbb C}\). Since this definition is purely homological, one should naturally consider exceptional objects in the derived categroy \(D^b(S)\), where line bundles (in general, coherent sheaves) identify to one-term complexes concentrated in degree 0. A sequence \((E_1, \ldots, E_l)\) of exceptional objects is exceptional if \({\Hom}_{D^b(S)}(E_j,E_k[i])=0\) for all \(i\) whenever \(j > k\). Such a sequence is full if \({\Hom}_{D^b(S)}(A,E_i)=0\) for all \(i\) implies that \(A=0\). If \(S\) has a full exceptional collection of length \(n\), then \(K_0(S)\) is free of rank \(n\), and hence \(n=\rho+2\): it follows that the maximal length of an exceptional collection is \(\rho+2\). If \(S\) is a rational surface, then it has a full exceptional collection of line bundles. On the other hand, it is natural to wonder about the exsitence of an exceptional collection of maximal length on a surface with \(p_q=q=0\) and to question about its fullness or about its orthogonal complement. In this paper, the authors provide the first example of an exceptional collection of maximal length on a surface of general type, the classical Godeaux surface \(S\) obtained as a quotient of the Fermat quintic surface. Since \(K_0(S)\) has a torsion subgroup, the collection cannot be full. Hence the orthogonal complement \(\mathbb{A}\) to the collection is nontrivial, but \(K_0(\mathbb{A})\) is torsion. This also provide a first example of quasi-phantom triangulated category, and a counterexample to Kuznetsov's Nonvanishing Conjecture. The proof is constructive: the authors first describe the Picard lattice, based on the explicit description of \(S\) as a quotient of a Fermat quintic, and on the \(E_8\)-symmetry of the Picard lattice. They can provide a sequence of length 11, which is maximal since \(\rho(S)=9\). Some calculations are obtained using Macaulay. Finally they draw some interesting consequences on the structure of \(D^b(S)\). | |||
Property / review text: Let \(S\) be a complex surface with \(p_g=q=0\). Then any line bundle \(L\) on \(S\) is exceptional, that is \(\mathrm{Ext}^i(L,L) = 0\) for \(i >0\), and \(\mathrm{End}(L)= {\mathbb C}\). Since this definition is purely homological, one should naturally consider exceptional objects in the derived categroy \(D^b(S)\), where line bundles (in general, coherent sheaves) identify to one-term complexes concentrated in degree 0. A sequence \((E_1, \ldots, E_l)\) of exceptional objects is exceptional if \({\Hom}_{D^b(S)}(E_j,E_k[i])=0\) for all \(i\) whenever \(j > k\). Such a sequence is full if \({\Hom}_{D^b(S)}(A,E_i)=0\) for all \(i\) implies that \(A=0\). If \(S\) has a full exceptional collection of length \(n\), then \(K_0(S)\) is free of rank \(n\), and hence \(n=\rho+2\): it follows that the maximal length of an exceptional collection is \(\rho+2\). If \(S\) is a rational surface, then it has a full exceptional collection of line bundles. On the other hand, it is natural to wonder about the exsitence of an exceptional collection of maximal length on a surface with \(p_q=q=0\) and to question about its fullness or about its orthogonal complement. In this paper, the authors provide the first example of an exceptional collection of maximal length on a surface of general type, the classical Godeaux surface \(S\) obtained as a quotient of the Fermat quintic surface. Since \(K_0(S)\) has a torsion subgroup, the collection cannot be full. Hence the orthogonal complement \(\mathbb{A}\) to the collection is nontrivial, but \(K_0(\mathbb{A})\) is torsion. This also provide a first example of quasi-phantom triangulated category, and a counterexample to Kuznetsov's Nonvanishing Conjecture. The proof is constructive: the authors first describe the Picard lattice, based on the explicit description of \(S\) as a quotient of a Fermat quintic, and on the \(E_8\)-symmetry of the Picard lattice. They can provide a sequence of length 11, which is maximal since \(\rho(S)=9\). Some calculations are obtained using Macaulay. Finally they draw some interesting consequences on the structure of \(D^b(S)\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Marcello Bernardara / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14F05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14J29 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6245837 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
derived category | |||
Property / zbMATH Keywords: derived category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Godeaux surface | |||
Property / zbMATH Keywords: Godeaux surface / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
semiorthogonal decomposition | |||
Property / zbMATH Keywords: semiorthogonal decomposition / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
exceptional sequence | |||
Property / zbMATH Keywords: exceptional sequence / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hochschild homology | |||
Property / zbMATH Keywords: Hochschild homology / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Macaulay2 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2065612708 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1206.1830 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Derived categories of Burniat surfaces and exceptional collections / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4434669 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Surfaces of general type with geometric genus zero: a survey / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3594214 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2774024 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4530633 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3328651 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4002278 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4251931 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a theorem of Castelnuovo, and the equations defining space curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4790369 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the classification of topological 4-manifolds with finite fundamental group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4143433 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to Lie Algebras and Representation Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Derived Categories and Birational Geometry / 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: Derived Categories of Cubic Fourfolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3077960 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semi-orthogonal decomposability of the derived category of a curve / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Derived categories of coherent sheaves and equivalences between them / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Derived categories of coherent sheaves and motives / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4852374 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lines on Fermat surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fukaya categories and Picard-Lefschetz theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A guided tour through the garden of noncommutative motives / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4033090 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 06:26, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the derived category of the classical Godeaux surface |
scientific article |
Statements
On the derived category of the classical Godeaux surface (English)
0 references
15 January 2014
0 references
Let \(S\) be a complex surface with \(p_g=q=0\). Then any line bundle \(L\) on \(S\) is exceptional, that is \(\mathrm{Ext}^i(L,L) = 0\) for \(i >0\), and \(\mathrm{End}(L)= {\mathbb C}\). Since this definition is purely homological, one should naturally consider exceptional objects in the derived categroy \(D^b(S)\), where line bundles (in general, coherent sheaves) identify to one-term complexes concentrated in degree 0. A sequence \((E_1, \ldots, E_l)\) of exceptional objects is exceptional if \({\Hom}_{D^b(S)}(E_j,E_k[i])=0\) for all \(i\) whenever \(j > k\). Such a sequence is full if \({\Hom}_{D^b(S)}(A,E_i)=0\) for all \(i\) implies that \(A=0\). If \(S\) has a full exceptional collection of length \(n\), then \(K_0(S)\) is free of rank \(n\), and hence \(n=\rho+2\): it follows that the maximal length of an exceptional collection is \(\rho+2\). If \(S\) is a rational surface, then it has a full exceptional collection of line bundles. On the other hand, it is natural to wonder about the exsitence of an exceptional collection of maximal length on a surface with \(p_q=q=0\) and to question about its fullness or about its orthogonal complement. In this paper, the authors provide the first example of an exceptional collection of maximal length on a surface of general type, the classical Godeaux surface \(S\) obtained as a quotient of the Fermat quintic surface. Since \(K_0(S)\) has a torsion subgroup, the collection cannot be full. Hence the orthogonal complement \(\mathbb{A}\) to the collection is nontrivial, but \(K_0(\mathbb{A})\) is torsion. This also provide a first example of quasi-phantom triangulated category, and a counterexample to Kuznetsov's Nonvanishing Conjecture. The proof is constructive: the authors first describe the Picard lattice, based on the explicit description of \(S\) as a quotient of a Fermat quintic, and on the \(E_8\)-symmetry of the Picard lattice. They can provide a sequence of length 11, which is maximal since \(\rho(S)=9\). Some calculations are obtained using Macaulay. Finally they draw some interesting consequences on the structure of \(D^b(S)\).
0 references
derived category
0 references
Godeaux surface
0 references
semiorthogonal decomposition
0 references
exceptional sequence
0 references
Hochschild homology
0 references