Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.20044

Markman--Markushevich principle and Lagrangian fibrations on O'Grady six-manifolds

Rodion Déev
View original source ↗Read source document ↗Export metadata ↓

Abstract

To any compact holomorphically symplectic manifold and a nef BBF-isotropic class we associate a quasi-projective variety called the Markman--Markushevich space which parametrises the Lagrangian fibrations with this isotropic class modulo Tate--Shafarevich twists. We give a systematic interpretation of known results about Tate--Shafarevich twists of Lagrangian fibrations using this space, employ it to obtain a conjectural result for the last deformation type for which such a result is not yet proposed, and make some first steps towards its proof. As a byproduct, we generalise the results of Kumar on existence Shioda--Inose partners for abelian surfaces to a slightly more general class of K3 surfaces, and associate a canonical K3 surface with transcendental lattice isometric to $U^2\oplus\langle-2\rangle^2$ to a smooth cubic surface with a choice of a Schläfli double-six. We also review some other approaches towards the construction of complete families of O'Grady six-manifolds with Lagrangian fibrations, and show how they may still be useful even though they do not quite work.

Explore related subjects

math.AGmath.CV

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Rodion Déev. 2026-10-14. Markman--Markushevich principle and Lagrangian fibrations on O'Grady six-manifolds. https://arxiv.org/abs/2610.20044

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

KEEP EXPLORING

Related papers

arXiv2026

Adjoint test modules along Cohen--Macaulay morphisms

We provide a transformation rule for adjoint test modules along Cohen--Macaulay maps between Cohen--Macaulay varieties that have $F$-rational geometric fibers. This is, in part, an effective version of Enescu's theorem on the ascent of $F$-rationality under local maps with $F$-rational geometric fibers.

math.AG↗
arXiv2026

Limits of Hyperkähler Manifolds and Moduli Spaces of Sheaves on K3 Surfaces

We prove that a compact strongly Gauduchon manifold which is a limit of compact hyperkähler manifolds is bimeromorphic to a compact hyperkähler manifold. This settles a case of a conjecture of Soldatenkov and Verbitsky. A closed completion of a Gauduchon metric bounds the Dirichlet energies of nearby biholomorphisms. This bound yields a meromorphic limit map, which has degree one and is therefore a bimeromorphism onto a compact hyperkähler manifold. We apply this result to moduli spaces of stable torsion-free coherent sheaves on K3 surfaces. A Bott--Chern diagonal formula gives the $\partial\bar\partial$-lemma, and positivity of determinant classes gives Kählerness, proving Perego's conjecture.

math.AG↗
arXiv2026

Algebraic loops, braids, and tropicalization

Let $Y$ be a smooth complex algebraic variety. We develop a tropical framework for studying algebraic loops, i.e., free homotopy classes in $Y^{\mathrm{an}}$ associated with formal loops $\mathrm{Spec}\, \mathbb{C}(\!(t)\!)\to Y$. When $Y$ is very affine, every formal loop determines an integral point of $\mathrm{Trop}(Y)$. For schön varieties, we prove that the associated algebraic loop is determined by this tropical point together with a connected component of the corresponding initial variety. Consequently, when all initial varieties are connected, integral tropical points classify algebraic loops. We apply this theory to the case when $Y$ is a hyperplane arrangement complement. In this case, we identify the initial varieties with complements of graded arrangements and obtain explicit representatives for algebraic loops as products of relative full twists. In type $A$, these representatives recover pure algebraic braids. For root arrangements, our construction gives a tropical interpretation of the split root valuation data of Goresky, Kottwitz, and MacPherson. Finally, we prove that the cohomology of braid varieties associated with positive algebraic braids depends only on their root valuation data.

math.AG↗