Invariants of vanishing Brauer classes
type: Item
instance of: scholarly article
title: Invariants of vanishing Brauer classes
zbMATH Open document ID: 1546.14068
author: Federica Galluzzi
author: Bert van Geemen
published in: Research in the Mathematical Sciences
publication date: 2024-07-03T00:00:00Z
review text: Let \(S\) be a complex \(K3\) surface given by a double plane ramified above a smooth sextic curve \(C\). Assume that \(S\) has Picard number \(\rho (S) = 1\) or, in other words, that \(\textrm{Pic}\, S=\mathbb Z h\) with \(h^2=2\). Let \(S_2\) be a specialization of \(S\) with \(\rho (S_2)=2\). As \(S_2\) is a specialization of \(S\), there is an embedding at the level of Picard lattices \(\textrm{Pic}\, S \hookrightarrow \textrm{Pic}\, S_2\) which, in turns, induces a restriction map at the level of Brauer groups \(\textrm{Br}\, S \cong (\mathbb{Q}/\mathbb{Z})^{21}\to \textrm{Br}\, S_2 \cong (\mathbb{Q}/\mathbb{Z})^{20}\). If we only consider the \(2\)-torsion part of the Brauer group, we get the restriction map\N\[\N(\textrm{Br}\, S)_2 \cong (\mathbb{Z}/2\mathbb{Z})^{21}\to (\textrm{Br}\, S_2)_2 \cong (\mathbb{Z}/2\mathbb{Z})^{20} \; .\N\]\NGiven the difference in the rank, the kernel of the above restriction is generated by a unique element \(\alpha_{\text{van}}\in (\textrm{Br}\, S)_2\), called the \emph{vanishing Brauer class} (with respect to the specialization of \(S\) to \(S_2)\). In the Picard number \(1\) case, there is a correspondence between the elements of \((\textrm{Br}\, S)_2\) and some line bundles on \(C\).\N\NThe first result in the paper under review is to give a classification of \(\alpha_{\text{van}}\) in terms of line bundles of \(C\) using the Gram matrix of \(\mathrm{Pic}\, S_2 \cong \mathbb Z h \oplus \mathbb Z k\).\N\NTheir attention then shifts towards an application of these results to a particular geometric construction. If \(X\subset \mathbb{P}^5\) is a smooth cubic fourfold containing a plane \(P\), then it is possible to attach a double plane \(S_X\) to \(X\). \textit{C. Voisin} [Invent. Math. 86, 577--601 (1986; Zbl 0622.14009)] shows that if \(X\) does not contain a second plane intersecting \(P\), then \(S_X\) ramifies above a smooth sextic curve \(C\) and it is a \(K3\) surface. The authors consider such cubic fourfolds with the …
reviewed by: Dino Festi
Mathematics Subject Classification ID: 14J28
Mathematics Subject Classification ID: 14F22
Mathematics Subject Classification ID: 14J35
zbMATH DE Number: 7875606
zbMATH Keywords: \(K3\) surfaces
zbMATH Keywords: Brauer group
zbMATH Keywords: cubic fourfold
MaRDI profile type: MaRDI publication profile
cites work: Hodge theory and derived categories of cubic fourfolds
cites work: Cubic fourfolds containing a plane and a quintic del Pezzo surface
cites work: Determinantal hypersurfaces.
cites work: Q3737565
cites work: Q4534511
cites work: Cubic fourfolds containing a plane and \(K3\) surfaces of Picard rank two
cites work: Some remarks on Brauer groups of \(K3\) surfaces
cites work: Contractions of hyper-Kähler fourfolds and the Brauer group
cites work: Theta-Characteristics on Algebraic Curves
cites work: Q4699490
cites work: Q4946819
cites work: GENERALIZED CALABI–YAU STRUCTURES, K3 SURFACES, AND B-FIELDS
cites work: Equivalences of twisted K3 surfaces
cites work: Lectures on K3 Surfaces
cites work: Q5664012
cites work: Unramified Brauer Classes on Cyclic Covers of the Projective Plane
cites work: Derived Categories of Cubic Fourfolds
cites work: Cohomology and the Brauer Group of Double Covers
cites work: Théorème de Torelli pour les cubiques de \({\mathbb{P}}^ 5\). (Torelli theorem for the cubics of \({\mathbb{P}}^ 5)\)
cites work: On lattice polarizable cubic fourfolds
DOI: 10.1007/S40687-024-00459-6
description: scientific article; zbMATH DE number 7875606