Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1807.06169

Lectures on non-commutative K3 surfaces, Bridgeland stability, and moduli spaces

Emanuele Macrì·Paolo Stellari
View original source ↗Read source document ↗Export metadata ↓

Abstract

We survey the basic theory of non-commutative K3 surfaces, with a particular emphasis to the ones arising from cubic fourfolds. We focus on the problem of constructing Bridgeland stability conditions on these categories and we then investigate the geometry of the corresponding moduli spaces of stable objects. We discuss a number of consequences related to cubic fourfolds including new proofs of the Torelli theorem and of the integral Hodge conjecture, the extension of a result of Addington and Thomas and various applications to hyperkähler manifolds. These notes originated from the lecture series by the first author at the school on "Birational Geometry of Hypersurfaces", Palazzo Feltrinelli - Gargnano del Garda (Italy), March 19-23, 2018.

Explore related subjects

math.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Emanuele Macrì, Paolo Stellari. 2019-02-24. Lectures on non-commutative K3 surfaces, Bridgeland stability, and moduli spaces. https://arxiv.org/abs/1807.06169

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Beyond Harnack Rigidity

The boundary of a plane amoeba is always contained in its contour, and equality is a characteristic feature of simple Harnack curves. We show that the converse fails, even under strong smoothness and nondegeneracy assumptions. For every two-dimensional lattice polygon, except unimodular triangles, we construct a smooth Newton-nondegenerate curve with smooth logarithmic critical locus and smooth embedded contour satisfying $\mathcal C(\mathscr A_f)=\partial\mathscr A_f$, although the curve is not Harnack. We also provide explicit primitive and nonprimitive families that are not torus-equivalent to simple Harnack curves. A concrete primitive example is certified by exact elimination and Sturm root counting. These results disprove contour--boundary rigidity and show that the contour as a set does not detect the real structure or the multiplicity of coincident critical sheets, thereby refining the compensation problem proposed by Lang, Shapiro, and Shustin.

math.AG↗
arXiv2026

Special Cohen--Macaulay sheaves on partial resolutions of rational surfaces singularities

We introduce the categories $\CM(X)$ and $\SCM(X)$ of reflexive sheaves on a minimal partial resolution $f\colon X \to \Spec R$ of a rational surface singularity $\Spec R$. The main result of this paper establishes that $\SCM(X)$ possesses a natural Frobenius structure, serving as a geometric counterpart to the algebraic Frobenius structure on special Cohen--Macaulay $R$-modules, introduced by Iyama--Wemyss and Iyama--Kalck--Wemyss--Yang. Utilizing this geometric framework, we establish an exact equivalence between $\SCM(X)$ and the category of special Cohen--Macaulay $R$-modules equipped with a specific exact structure, which induces a triangle equivalence between their stable categories. Consequently, this provides a direct, geometric proof of the Iyama--Kalck--Wemyss--Yang equivalence and yields a Buchweitz-type equivalence $\underline{\SCM}(X) \simeq D_{\sg}(X)$.

math.AG↗