Related papers: A note on the Bloch-Beilinson conjecture for K3 su…
We show that if the Atiyah Jones conjecture holds for a surface $X,$ then it also holds for the blow-up of $X$ at a point. Since the conjecture is known to hold for ${\mathbb P}^2$ and for ruled surfaces, it follows that the conjecture is…
Let $\epsilon, C$ be two positive real numbers, and $\mathcal C \subset \mathbb R$ be a DCC (descending chain condition) set. Let $(X, B = \sum b_j B_j)$ denote a projective surface with an $\mathbb R$-divisor. Then (1) The class $\{X\}$ of…
In this paper we study the existence of rational points for the family of K3 surfaces over $\mathbb{Q}$ given by $$w^2 = A_1x_1^6 + A_2x_2^6 + A_3x_3^6.$$ When the coefficients are ordered by height, we show that the Brauer group is almost…
We construct Bridgeland stability conditions on the derived category of smooth quasi-projective Deligne-Mumford surfaces whose coarse moduli spaces have ADE singularities. This unifies the construction for smooth surfaces and Bridgeland's…
We provide a criterion for when Hilbert squares of complex projective K3 surfaces with Picard number one are strongly ambiguous. This criterion is the same as [DM, Proposition 3.14], but is obtained by a different method. In particular,…
Thurston's Ending Lamination Conjecture states that a hyperbolic 3-manifold N with finitely generated fundamental group is uniquely determined by its topological type and its end invariants. In this paper we prove this conjecture for…
We introduce the notion of a "baric structure" on a triangulated category, as an abstraction of S. Morel's weight truncation formalism for mixed l-adic sheaves. We study these structures on the derived category D_G(X) of G-equivariant…
This is a survey of the Kawamata-Morrison cone conjecture on the structure of Calabi-Yau varieties and more generally Calabi-Yau pairs. We discuss the proof of the cone conjecture for algebraic surfaces, with plenty of examples. We show…
We study the structure of a modified Fukaya category ${\frak F}(X)$ associated with a K3 surface $X$, and prove that whenever $X$ is an elliptic K3 surface with a section, the derived category of $\fF(X)$ is equivalent to a subcategory of…
Given a certain triangulation of a punctured surface with boundary, we construct a new triangulated surface without punctures which covers it. This new surface is naturally equipped with an action of a group of order two, and its quotient…
The more recent paper "Generic strange duality for K3 surfaces" by the authors contains stronger results.
Let $S$ and $T$ be smooth projective varieties over an algebraically closed field. Suppose that $S$ is a surface admitting a decomposition of the diagonal. We show that, away from the characteristic of $k$, if an algebraic correspondence $T…
We explore the connection between $K3$ categories and 0-cycles on holomorphic symplectic varieties. In this paper, we focus on Kuznetsov's noncommutative $K3$ category associated to a nonsingular cubic 4-fold. By introducing a filtration on…
We study admissible subcategories of the bounded derived category of a smooth projective surface that are supported on the exceptional locus of a birational morphism. We prove that if $f:X\to Y$ is a birational morphism of smooth projective…
We consider threefolds that admit a fibration by K3 surfaces over a nonsingular curve, equipped with a divisorial sheaf that defines a polarisation of degree two on the general fibre. Under certain assumptions on the threefold we show that…
The Lichtenbaum-Quillen conjecture for smooth complex varieties states that algebraic and topological K-theory with finite coefficients become isomorphic in high degrees. We define the "Lichtenbaum-Quillen dimension" of a variety in terms…
In this paper we prove that the dimension of the bounded derived category of coherent sheaves on a smooth quasi-projective curve is equal to one. We also discuss dimension spectrums of these categories.
Let $S \subset \mathbb{P}^g$ be a smooth $K3$ surface of degree $2g-2$, $g \geq 3$. We classify all the cases for which $h^0(\mathcal{N}_{S/\mathbb{P}^g}(-2)) \neq 0$ and the cases for which $h^0(\mathcal{N}_{S/\mathbb{P}^g}(-2)) <…
In this paper we prove the Hodge conjecture for products of the form $S_1 \times ... S_n$, where $S_i$ are smooth projective surfaces such that $p_g(S_i)=1, q(S_i)=2$. We also prove the Hodge conjecture for arbitrary self-products of a K3…
We introduce the notions of categorical systoles and categorical volumes of Bridgeland stability conditions on triangulated categories. We prove that for any projective K3 surface, there exists a constant C depending only on the rank and…