Related papers: The Apollonian circle packing and ample cones for …
The depth function of three numbers representing curvatures of three mutually tangent circles is introduced. Its 2D plot leads to a partition of the moduli space of the triples of mutually tangent circles/disks that is unexpectedly a…
The first part of this paper studied $\mathrm{GSp}_4$-type abelian varieties and the corresponding compatible systems of $\mathrm{GSp}_4$ representations. Techniques in \cite{BCGP} are applied to show that one can prove the potential…
We exhibit large families of K3 surfaces with real multiplication, both abstractly using lattice theory, the Torelli theorem and the surjectivity of the period map, as well as explicitly using dihedral covers and isogenies.
We call a packing of hyperspheres in $n$ dimensions an Apollonian sphere packing if the spheres intersect tangentially or not at all; they fill the $n$-dimensional space; and every sphere in the packing is a member of a cluster of $n+2$…
We discuss several ways of packing a hyperbolic surface with circles (of either varying radii or all being congruent) or horocycles, and note down some observations related to their symmetries (or the absence thereof).
Following Valloni, we study complex projective K3 surfaces having complex multiplication by rings of integers.
We show that for certain triangulations of surfaces, circle packings realising the triangulation can be found by solving a system of polynomial equations. We also present a similar system of equations for unbranched circle packings. The…
For a K3 surface over an algebraically closed field of odd characteristic, the representation of the automorphism group on the global two forms is finite. If the K3 surface is supersingular, it is isomorphic to the representation on the…
In this note we prove analogues of the main theorems of complex multiplication for abelian varieties for K3 surfaces. This is done by studying the field of definition of the period morphism for complex K3 surfaces. More precisely we relate…
We consider algebraic actions of a cyclic group of order p on a K3 surface defined over an algebraically closed field of characteristic p. We classify possible loci of fixed points as well as possible quotient surfaces.
We study K3 surfaces with 9 cusps, i.e. 9 disjoint $A_2$ configurations of smooth rational curves, over algebraically closed fields of characteristic $p\neq 3$. Much like in the complex situation studied by Barth, we prove that each such…
We study the structure of complex points on real surfaces, embedded into complex Elliptic surfaces. We show, for example, that any compact surface has a totally real embedding into a blow-up of a K3 surface. We also exhibit smooth disc…
These notes will give an introduction to the theory of K3 surfaces. We begin with some general results on K3 surfaces, including the construction of their moduli space and some of its properties. We then move on to focus on the theory of…
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…
We introduce a conjecture on homological mirror symmetry relating the symplectic topology of the complement of a smooth ample divisor in a K3 surface to algebraic geometry of type III degenerations, and prove it when the degree of the…
We determine explicit generators for the ring of modular forms associated with the moduli spaces of K3 surfaces with automorphism group $(\mathbb{Z}/2\mathbb{Z})^2$ and of Picard rank 13 and higher. The K3 surfaces in question carry a…
We show that, for each $n>0$, there is a family of elliptic surfaces which are covered by the square of a curve of genus $2n+1$, and whose Hodge structures have an action by ${\mathbb Q}(\sqrt{-n})$. By considering the case $n=3$, we show…
We give a description of the category of ordinary K3 surfaces over a finite field in terms of linear algebra data over Z. This gives an analogue for K3 surfaces of Deligne's description of the category of ordinary abelian varieties over a…
We prove that any smooth rational projective surface over the field of complex numbers has an open covering consisting of 3 subsets isomorphic to affine planes.
We consider two seemingly unconnected problems: first, under what circumstances are arithmetic groups like SL(2,O) generated by elementary matrices; second, when do certain classes of circle/sphere packings fill up space? We show that these…