Bitangent surfaces and involutions of quartic surfaces

Igor Dolgachev,Shigeyuki Kondō

2024-08-10

Abstract:We study the congruence of bitangent lines of an irreducible surface in the 3-dimensional projective space in arbitrary characteristic, with special attention to quartic surfaces with rational double points and, in particular, Kummer quartic surfaces.

Algebraic Geometry

What problem does this paper attempt to address?

Computing Dixmier Invariants and Some Geometric Configurations of Quartic Curves with 2 Involutions

Dun Liang

DOI: https://doi.org/10.48550/arXiv.1904.01960

2019-04-02

Abstract:In this paper we consider plane quartics with to involutions. We compute the Dixmier invariants, the bitangents and the Matrix representation problem of these curves, showing that they have symbolic solutions for the last two questions.

Algebraic Geometry
Quartic surfaces with an outer Galois point and K3 surfaces with an automorphism of order 4

Kei Miura,Shingo Taki

2024-08-08

Abstract:We prove that there exists a one-to-one correspondence between smooth quartic surfaces with an outer Galois point and K3 surfaces with a certain automorphism of order 4. Furthermore, we characterize quartic surfaces with two or more outer Galois points as K3 surfaces.

Algebraic Geometry
Quotient spaces of K3 surfaces by non-symplectic involutions fixing a curve of genus 8 or more

Taro Hayashi

DOI: https://doi.org/10.1515/advgeom-2023-0022

2024-01-25

Advances in Geometry

Abstract:Let X be a K 3 surface and let g be a non-symplectic involution of X such that the fixed points set contains a curve of genus 8 or more. In this paper, we show that the quotient space X /〈 g 〉 is determined by the fixed points set and the action of g on rational curves on X .

mathematics
Bitangents to symmetric quartics

Candace Bethea,Thomas Brazelton

2024-10-12

Abstract:Recall that a non-singular planar quartic is a canonically embedded non-hyperelliptic curve of genus three. We say such a curve is symmetric if it admits non-trivial automorphisms. The classification of (necessarily finite) groups appearing as automorphism groups of non-singular curves of genus three dates back to the last decade of the 19th century. As these groups act on the quartic via projective linear transformations, they induce symmetries on the 28 bitangents. Given such an automorphism group $G=\mathrm{Aut}(C)$, we prove the $G$-orbits of the bitangents are independent of the choice of $C$, and we compute them for all twelve types of smooth symmetric planar quartic curves. We further observe that techniques deriving from equivariant homotopy theory directly reveal patterns which are not obvious from a classical moduli perspective.

Algebraic Geometry,Algebraic Topology
Involutions on K3 surfaces and derived equivalence

Brendan Hassett,Yuri Tschinkel

2024-08-01

Abstract:We study involutions on K3 surfaces under conjugation by derived equivalence and more general relations, together with applications to equivariant birational geometry.

Algebraic Geometry
On arrangements of smooth plane quartics and their bitangents

Marek Janasz,Piotr Pokora,Marcin Zieliński

2024-12-12

Abstract:In the present paper, we revisit the geometry of smooth plane quartics and their bitangents from several perspectives. First, we study in detail the weak combinatorics of arrangements of bitangents associated with highly symmetric quartic curves. We consider quartic curves from the point of view of the order of their automorphism groups, in order to establish a lower bound on the number of quadruple intersection points for arrangements of bitangents associated with smooth plane quartics, which are smooth members of Ciani's pencil. We then construct new examples of $3$-syzygy reduced plane curves using smooth plane quartics and their bitangents.

Algebraic Geometry,Commutative Algebra,Combinatorics
Invariants, Bitangents and Matrix Representations of Plane Quartics with 3-Cyclic Automorphisms

Dun Liang

DOI: https://doi.org/10.48550/arXiv.1902.02914

2019-04-02

Abstract:In this work we compute the Dixmier invariants and bitangents of the plane quartics with 3,6 or 9-cyclic automorphisms, we find that a quartic curve with 6-cyclic automorphism will have 3 horizontal bitangents which form an asysgetic triple. We also discuss the linear matrix representation problem of such curves, and find a degree 6 equation of 1 variable which solves the symbolic solution of the linear matrix representation problem for the curve with 6-cyclic automorphism.

Algebraic Geometry
Kummer quartic double solids

Ivan Cheltsov

DOI: https://doi.org/10.48550/arXiv.2202.11668

2022-07-08

Abstract:We study equivariant birational geometry of (rational) quartic double solids ramified over (singular) Kummer surfaces.

Algebraic Geometry
Inseparable Kummer surfaces

Yuya Matsumoto

2024-03-05

Abstract:We introduce an inseparable version of Kummer surfaces. It is defined as a supersingular K3 surface in characteristic 2 with 16 smooth rational curves forming a certain configuration and satisfying a suitable divisibility condition. The main result is that such a surface admits an inseparable double covering by a non-normal surface $A$ that is similar to abelian surfaces in two aspects: its numerical invariants are the same as abelian surfaces, and its smooth locus admits an abelian group structure.

Algebraic Geometry
K3 surfaces of Kummer type in characteristic two

Igor V. Dolgachev

DOI: https://doi.org/10.1112/blms.13033

IF: 1.036

2024-03-28

Bulletin of the London Mathematical Society

Abstract:We discuss K3 surfaces in characteristic two that contain the Kummer configuration of smooth rational curves.

mathematics
Moduli of plane quartics, Gopel invariants and Borcherds products

Shigeyuki Kondo

DOI: https://doi.org/10.48550/arXiv.0906.2598

2009-06-15

Abstract:It is known that the moduli space of plane quartic curves is birational to an arithmetic quotient of a 6-dimensional complex ball. In this paper, we shall show that there exists a 15-dimensional space of meromorphic automorphic forms on the complex ball which gives a birational embedding of the moduli space of plane quartics with level 2 structure into 14-dimensional projective space. This map coincides with the one given by Coble by using Gopel invariants.

Algebraic Geometry
On the double tangent of projective closed curves

Thomas Blomme

2024-09-23

Abstract:We generalize a previous result by Fabricius-Bjerre from curves in $\mathbb R^2$ to curves in $\mathbb R P^2$. Applied to the case of real algebraic curves, this recovers the signed count of bitangents of quartics introduced by Larson-Vogt and proves its positivity, conjectured by Larson-Vogt. Our method is not specific to quartics and applies to algebraic curves of any degree.

Algebraic Geometry
On Some Birational Invariants of Hyper-Kähler Manifolds

Chenyu Bai

DOI: https://doi.org/10.1093/imrn/rnad317

2024-01-15

International Mathematics Research Notices

Abstract:Abstract We study in this article three birational invariants of projective hyper-Kähler manifolds: the degree of irrationality, the fibering gonality, and the fibering genus. We first improve the lower bound in a recent result of Voisin saying that the fibering genus of a Mumford–Tate very general projective hyper-Kähler manifold is bounded from below by a constant depending on its dimension and the second Betti number. We also study the relations between these birational invariants for projective $K3$ surfaces of Picard number $1$ and study the asymptotic behaviors of their degree of irrationality and fibering genus.

mathematics
Birational geometry of Beauville–Mukai systems III: Asymptotic behavior

Xuqiang Qin,Justin Sawon

DOI: https://doi.org/10.1112/blms.13158

IF: 1.036

2024-10-01

Bulletin of the London Mathematical Society

Abstract:Suppose that a Hilbert scheme of points on a K3 surface S of Picard rank one admits a rational Lagrangian fibration. We show that if the degree of the surface is sufficiently large compared to the number of points, then the Hilbert scheme is the unique hyperkähler manifold in its birational class. In particular, the Hilbert scheme is a Lagrangian fibration itself, which we realize as coming from a (twisted) Beauville–Mukai system on a Fourier–Mukai partner of S . We also show that when the degree of the surface is small our method can be used to find all birational models of the Hilbert scheme.

mathematics
On projective K3 surfaces $\mathcal{X}$ with $\mathrm{Aut}(\mathcal{X})=(\mathbb{Z}/2\mathbb{Z})^2$

Adrian Clingher,Andreas Malmendier,Xavier Roulleau

2024-11-03

Abstract:We prove that every K3 surface with automorphism group $(\mathbb{Z}/2\mathbb{Z})^2$ admits an explicit birational model as a double sextic surface. This model is canonical for Picard number greater than 10. For Picard number greater than 9, the K3 surfaces in question possess a second birational model, in the form of a projective quartic hypersurface, generalizing the Inose quartic.

Algebraic Geometry
Conics on Barth-Bauer octics

Alex Degtyarev

DOI: https://doi.org/10.1007/s11425-023-2160-3

2024-04-26

Science China Mathematics

Abstract:We analyze the configurations of conics and lines on a special class of Kummer octic surfaces. In particular, we bound the number of conics by 176 and show that there is a unique surface with 176 conics, all irreducible: it admits a faithful action of one of the Mukai groups. Therefore, we also discuss conics and lines on Mukai surfaces: we discover a double plane (ramified at a smooth sextic curve) that contains 8,910 smooth conics.

mathematics, applied
On some invariants of cubic fourfolds

Frank Gounelas,Alexis Kouvidakis

DOI: https://doi.org/10.1007/s40879-023-00651-y

2023-09-06

Abstract:For a general cubic fourfold $X \subset \mathbb{P}^5$, we compute the Hodge numbers of the locus $S \subset F$ of lines of second type. We also give an upper bound of 6 for the degree of irrationality of the Fano scheme of lines of any smooth cubic hypersurface.

Algebraic Geometry
Sixfolds of generalized Kummer type and K3 surfaces

Floccari,Salvatore

DOI: https://doi.org/10.1112/s0010437x23007625

2024-01-05

Compositio Mathematica

Abstract:We prove that any hyper-Kähler sixfold of generalized Kummer type has a naturally associated manifold of type. It is obtained as crepant resolution of the quotient of by a group of symplectic involutions acting trivially on its second cohomology. When is projective, the variety is birational to a moduli space of stable sheaves on a uniquely determined projective surface . As an application of this construction we show that the Kuga–Satake correspondence is algebraic for the K3 surfaces , producing infinitely many new families of surfaces of general Picard rank satisfying the Kuga–Satake Hodge conjecture.

mathematics
The cotangent bundle of K3 surfaces of degree two

Fabrizio Anella,Andreas Höring

DOI: https://doi.org/10.46298/epiga.2023.9960

2023-07-06

Abstract:K3 surfaces have been studied from many points of view, but the positivity of the cotangent bundle is not well understood. In this paper we explore the surprisingly rich geometry of the projectivised cotangent bundle of a very general polarised K3 surface $S$ of degree two. In particular, we describe the geometry of a surface $D_S \subset \mathbb{P}(\Omega_S)$ that plays a similar role to the surface of bitangents for a quartic in $\mathbb{P}^3$.

Algebraic Geometry
Ternary quartics and 3-dimensional commutative algebras

P.Katsylo,D.Mikhailov

DOI: https://doi.org/10.48550/arXiv.alg-geom/9408009

1994-08-30

Abstract:We find the connection between 3-dimensional commutative algebras with a trivial trace and plane quartics and its bitangents.

Algebraic Geometry

Bitangent surfaces and involutions of quartic surfaces

Computing Dixmier Invariants and Some Geometric Configurations of Quartic Curves with 2 Involutions

Quartic surfaces with an outer Galois point and K3 surfaces with an automorphism of order 4

Quotient spaces of K3 surfaces by non-symplectic involutions fixing a curve of genus 8 or more

Bitangents to symmetric quartics

Involutions on K3 surfaces and derived equivalence

On arrangements of smooth plane quartics and their bitangents

Invariants, Bitangents and Matrix Representations of Plane Quartics with 3-Cyclic Automorphisms

Kummer quartic double solids

Inseparable Kummer surfaces

K3 surfaces of Kummer type in characteristic two

Moduli of plane quartics, Gopel invariants and Borcherds products

On the double tangent of projective closed curves

On Some Birational Invariants of Hyper-Kähler Manifolds

Birational geometry of Beauville–Mukai systems III: Asymptotic behavior

On projective K3 surfaces $\mathcal{X}$ with $\mathrm{Aut}(\mathcal{X})=(\mathbb{Z}/2\mathbb{Z})^2$

Conics on Barth-Bauer octics

On some invariants of cubic fourfolds

Sixfolds of generalized Kummer type and K3 surfaces

The cotangent bundle of K3 surfaces of degree two

Ternary quartics and 3-dimensional commutative algebras