Related papers: Explicit computations with cubic fourfolds, Gushel…
We clarify the recently proposed method to compute a Special K\"ahler metric on a Calabi-Yau complex structures moduli space that uses the fact that the moduli space is a subspace of specific Frobenius manifold. We apply this method to…
Cubic sevenfolds are examples of Fano manifolds of Calabi-Yau type. We study them in relation with the Cartan cubic, the $E_6$-invariant cubic in $\PP^{26}$. We show that a generic cubic sevenfold $X$ can be described as a linear section of…
We prove that the Fano variety of lines of a generic cubic fourfold containing a plane is isomorphic to a moduli space of twisted stable complexes on a K3 surface. On the other hand, we show that the Fano varieties are always birational to…
The goal of the present paper is to calculate the complex structure moduli space K\"ahler potentials for hypersurfaces in weighted projective spaces and compare with the partition functions of their mirror GLSMs. We explicitly perform the…
A K3 surface over a number field has infinitely many rational points over a finite field extension. For K3 surfaces of degree 2, arising as double covers of $\mathbb{P}^2$ branched along a smooth sextic curve, we give a bound for the degree…
We give a constructive proof of the Hodge conjecture for complex $K3$ surfaces that does not rely on Torelli-type results. Starting with an arbitrary rational $(1,1)$-class $\alpha\in H^{1,1}(X,\mathbb{Q})$, we algorithmically build a…
We study the derived categories of twisted supersingular K3 surfaces. We prove a derived crystalline Torelli theorem for twisted supersingular K3 surfaces, characterizing Fourier-Mukai equivalences in terms of isomorphisms between their…
We study the L-series of cubic fourfolds. Our main result is that, if X/C is a special cubic fourfold associated to some polarized K3 surface $S$, defined over a number field K such that S^[2](K) is not empty, then X has a model over K such…
By using a Fourier-Mukai transform for sheaves on K3 surfaces we show that for a wide class of K3 surfaces $X$ the punctual Hilbert schemes $\Hilb^n(X)$ can be identified, for all $n\geq 1$, with moduli spaces of Gieseker stable vector…
This paper describes the RationalMaps package for Macaulay2. This package provides functionality for computing several aspects of rational maps such as whether a map is birational, or a closed embedding.
We introduce a new Macaulay 2 package, SimplicialDecomposability, which works in conjunction with the extant package SimplicialComplexes in order to compute a shelling order, if one exists, of a specified simplicial complex. Further,…
We describe the main functions of the Macaulay2 package Quasidegrees. The purpose of this package is to compute the quasidegree set of a finitely generated A-graded module presented as the cokernel of a monomial matrix. We provide examples…
We prove that the first order deformations of two smooth projective K3 surfaces are derived equivalent under a Fourier--Mukai transform if and only if there exists a special isometry of the total cohomology groups of the surfaces which…
We introduce a Macaulay2 package for working with jet schemes. The main method constructs jets of ideals, polynomial rings and their quotients, ring homomorphisms, affine varieties, and (hyper)graphs. The package also includes additional…
We construct the moduli space of cubic surfaces which do not admit a Sylvester form as an arithmetic quotient, and determine the graded ring of modular forms of even weights.
We study the cohomological properties of quasi-canonical lifts of an ordinary K3 surface over a finite field. As applications, we prove a Torelli type theorem for ordinary K3 surfaces over finite fields and establish the Hodge conjecture…
We provide a new construction of rationality for cubic fourfolds via Mori's theory and the minimal model program. As an application, we present the solution of the Kuznetsov's conjecture for $d=42$ (the first open case). Our methods also…
In this paper we compute the distributions of various markings on smooth cubic surfaces defined over the finite field $\mathbb{F}_q$, for example the distribution of pairs of points, `tritangents' or `double sixes'. We also compute the…
In this paper we give a method for calculating the rank of a general elliptic curve over the field of rational functions in two variables. We reduce this problem to calculating the cohomology of a singular hypersurface in a weighted…
In this paper we present an algorithm for computing a matrix representation for a surface in P^3 parametrized over a 2-dimensional toric variety T. This algorithm follows the ideas of [Botbol-Dickenstein-Dohm-09] and it was implemented in…