2019
DOI: 10.1112/s0010437x19007735
|View full text |Cite
|
Sign up to set email alerts
|

Derived categories of surfaces, O’Grady’s filtration, and zero-cycles on holomorphic symplectic varieties

Abstract: Moduli spaces of stable objects in the derived category of a K3 surface provide a large class of holomorphic symplectic varieties. In this paper, we study the interplay between Chern classes of stable objects and zero-cycles on holomorphic symplectic varieties which arise as moduli spaces.First, we show that the second Chern class of any object in the derived category lies in a suitable piece of O'Grady's filtration on the CH0-group of the K3 surface. This solves a conjecture of O'Grady and improves on previou… Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
25
0

Year Published

2020
2020
2023
2023

Publication Types

Select...
7

Relationship

1
6

Authors

Journals

citations
Cited by 22 publications
(25 citation statements)
references
References 29 publications
0
25
0
Order By: Relevance
“…Step 2. O'Grady's conjecture [31], which was proven in full generality in [34], implies that both p M and p X (d) are surjective. Hence we can choose a component…”
Section: Algebraically Coisotropic Subvarietiesmentioning
confidence: 97%
See 1 more Smart Citation
“…Step 2. O'Grady's conjecture [31], which was proven in full generality in [34], implies that both p M and p X (d) are surjective. Hence we can choose a component…”
Section: Algebraically Coisotropic Subvarietiesmentioning
confidence: 97%
“…The following generalized version of O'Grady's conjecture [31] is proven in [34], based on earlier results of Huybrechts, O'Grady, and Voisin in [15,31,40]. [34] for further details.…”
Section: O'grady's Conjecturementioning
confidence: 99%
“…From (5.7) we get a map t 2 (S)(1) → t(X) such that A 3 (t 2 (S)(1)) = A 0 (S) 0 → A 3 (t(X) = A 1 (X) hom is surjective and we are left to show that it is an isomorphism. By [SYZ,Theorem 3.6] there is an isomorphism A 0 (S) 0 → A 0 (F ) 2 , where F = F (X), that, together with the isomorphism A 0 (F ) 2 ≃ A 1 (X) hom in Theorem 2.5, gives the isomorphism A 0 (S) 0 ≃ A 3 (t(X)) = A 1 (X) hom .…”
Section: Cubic Fourfolds Fibered Over a Planementioning
confidence: 99%
“…The map (Γ) * ) in (5.7) gives a map (Γ) * : t 2 (S)(1) → t(X), such that the associated map on Chow groups A 0 (S) 0 → A 1 (X) hom in 5.9 is surjective. In order to show that is also injective and hence the map (Γ) * gives an isomorphism of motives, we apply the same argument as in the proof of [SYZ,Thm. 3.6].…”
Section: 2mentioning
confidence: 99%
“…We first observe that the image of the moduli space of stable objects on an Enriques surface is a constant cycle Lagrangian. Shen, Yin, and Zhao [22] studied the group of zerocycles on moduli spaces of stable objects on K3 surfaces. They formulated a conjecture, which was later proven by the third author and Marian [17].…”
Section: Moduli Spaces Of Stable Objects On Enriques Surfacesmentioning
confidence: 99%