Projective models of the supersingular \(K3\) surface with Artin invariant 1 in characteristic 5 (Q2253016): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Some Numerical Criteria for Contractability of Curves on Algebraic Surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Isolated Rational Singularities of Surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Supersingular $K3$ surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automorphism groups of Lorentzian lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4235426 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4779926 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4003762 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rational curves on the supersingular \(K3\) surface with Artin invariant 1 in characteristic 3 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on a supersingular K3 surface in characteristic 2 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the supersingular \(K3\) surface in characteristic 5 with Artin invariant 1 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4267950 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Maximal subgroups of the Mathieu group M23 and symplectic automorphisms of supersingular K3 surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4026030 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3874320 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3728125 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unirationality of certain supersingular \(K3\) surfaces in characteristic 5 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Surfaces of type K3 over fields of finite characteristic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Projective Models of K - 3 Surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on the supersingular \(K3\) surface of Artin invariant 1 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Forme e geometrie hermitiane, con particolare riguardo al caso finito / rank
 
Normal rank
Property / cites work
 
Property / cites work: Supersingular \(K3\) surfaces in characteristic 2 as double covers of a projective plane / rank
 
Normal rank
Property / cites work
 
Property / cites work: Supersingular \(K3\) surfaces in odd characteristic and sextic double planes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lattice Zariski \(k\)-ples of plane sextic curves and \(Z\)-splitting curves for double plane sextics / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on rational normal curves totally tangent to a Hermitian variety / rank
 
Normal rank
Property / cites work
 
Property / cites work: Projective models of the supersingular \(K3\) surface with Artin invariant 1 in characteristic 5 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3475380 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sextic curves with simple singularities / rank
 
Normal rank

Revision as of 18:43, 8 July 2024

scientific article
Language Label Description Also known as
English
Projective models of the supersingular \(K3\) surface with Artin invariant 1 in characteristic 5
scientific article

    Statements

    Projective models of the supersingular \(K3\) surface with Artin invariant 1 in characteristic 5 (English)
    0 references
    0 references
    25 July 2014
    0 references
    Let \(k\) be an algebraically-closed field of characteristic \(5\), and \(X\) be the supersingular \(K3\) surface over \(k\) with Artin invariant \(1\). The paper under review considers a classification of projective models of \(X\). It is known that \(X\) admits a polarization \(h_F\) which corresponds a \(2\)-to-\(1\) mapping \(X_F\to \mathbb{P}^2\) branching along the Fermat curve of degree \(6\) so that \(X\simeq X_F\). For positive integers \(d\in 2\mathbb{Z}\) and \(r\), define subsets \(\mathcal{P}_d\) and \(\mathcal{B}_r\) of the Néron-Severi lattice of \(X\): the former consists of degree-\(d\) polarizations of \(X\), and the latter vectors whose intersection numbers with \(h_F\) are at most \(r\). Thus each \(h\in\mathcal{P}_2\) determines a \(2\)-to-\(1\) mapping \(X_h\to \mathbb{P}^2\) branching along a curve \(B_h\) of degree \(6\). The main result of the article is to show that the intersection \(\mathcal{P}_2\cap \mathcal{B}_5\) is decomposed into \(65\) equivalence classes. The proof takes several steps by using the ample class \(h_F\), and by studying the representation of \(\text{Aut}(X, h_F)\); in particular, the generator of the Néron-Severi lattice of \(X\) is described as lines and curves on \(X_h\) for each polarization \(h\in\mathcal{P}_2\cap \mathcal{B}_5\). This investigation gives the defining polynomial and configuration of singularities of the branch locus \(B_h\) for each equivalence class. Moreover, for \(h, h'\in\mathcal{P}_2\cap \mathcal{B}_5\) in the different classes, an explicit birational morphism between projective models \(X_h\) and \(X_{h'}\) is obtained, with as a by-product, non-projective automorphisms of \(X\). The reviewer wonders if there exists the bound of \(r\) such that \(\mathcal{P}_2\cap \mathcal{B}_r\) is not empty, and what the difficulty is in classifying elements in \(\mathcal{P}_2\cap \mathcal{B}_r\) for \(r>5\).
    0 references
    0 references
    supersingular \(K3\) surface
    0 references
    sextic double plane
    0 references
    characteristic 5
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers