Related papers: Explicit computations with cubic fourfolds, Gushel…
We present new computational methods for proving diffeomorphy of triangulated 4-manifolds, including algorithms and topological software that can for the first time effectively handle the complexities that arise in dimension four and be…
In this article we introduce the notion of Polyhedral Kahler manifolds, even dimensional polyhedral manifolds with unitary holonomy. We concentrate on the 4-dimensional case, prove that such manifolds are smooth complex surfaces, and…
We prove some results on the fibers and images of rational maps from a hyper-K\"ahler manifold. We study in particular the minimal genus of fibers of a fibration into curves. The last section of this paper is devoted to the study of the…
To a pair of elliptic curves, one can naturally attach two K3 surfaces: the Kummer surface of their product and a double cover of it, called the Inose surface. They have prominently featured in many interesting constructions in algebraic…
We use Macaulay2 for several enriched counts in GW(k). First, we compute the count of lines on a general cubic surface using Macaulay2 over Fp in GW(Fp) for p a prime number and over the rational numbers Q in GW(Q). This gives a new proof…
Placing D3-branes at conical Calabi-Yau threefold singularities produces many AdS$_5$/CFT$_4$ duals. Recent progress in differential geometry has produced a technique (called K-stability) to recognize which singularities admit conical…
A construction of Calabi-Yaus as quotients of products of lower-dimensional spaces in the context of weighted hypersurfaces is discussed, including desingularisation. The construction leads to Calabi-Yaus which have a fiber structure, in…
We prove that the moduli spaces of K3 surfaces with non-symplectic involution are rational for four deformation types. With the previous results, this establishes the rationality of those moduli spaces except two classical cases.
We describe mirror manifolds in dimensions different from the familiar case of complex threefolds. We emphasize the simplifying features of dimension three and supply more robust methods that do not rely on such special characteristics and…
We describe the package "IncidenceCorrespondenceCohomology" for the computer algebra system Macaulay2. The main feature concerns the computation of characters and dimensions for the cohomology groups of line bundles on the incidence…
The first part of this paper discusses general procedures for finding numerical approximations to distinguished Kahler metrics, such as Calabi-Yau metrics, on complex projective manifolds. These procedures are closely related to ideas from…
The aim of this paper is to construct families of Calabi--Yau 3-folds without boundary points with maximal unipotent monodromy and to describe the variation of their Hodge structures. In particular five families are constructed. In all…
We present, in explicit matrix representation and a modernity befitting the community, the classification of the finite discrete subgroups of G_2 and compute the McKay quivers arising therefrom. Of physical interest are the classes of N=1…
Using fibrations over K3 orbisurfaces we construct new smooth solutions to the Hull-Strominger system. In particular, we prove that, for $4 \leq k \leq 22$ and $5 \leq r\leq 22$, the smooth manifolds $S^1\times \sharp_k(S^2\times S^3)$ and…
We study surfaces of constant positive Gauss curvature in Euclidean 3-space via the harmonicity of the Gauss map. Using the loop group representation, we solve the regular and the singular geometric Cauchy problems for these surfaces, and…
We study type III contractions of Calabi-Yau threefolds containing a ruled surface over a smooth curve. We discuss the conditions necessary for the image threefold to by smoothable. We describe the change in Hodge numbers caused by this…
This paper is dedicated to the study of deformations of coassociative 4-folds in a G_2 manifold which have conical singularities. We stratify the types of deformations allowed into three problems. The main result for each problem states…
Let S be a K3 surface obtained as triple cover of a quadric branched along a genus 4 curve. Using the relation with cubic fourfolds, we show that S has finite dimensional motive, in the sense of Kimura. We also establish the Kuga-Satake…
We present the $\textit{NumericalImplicitization}$ package for $\textit{Macaulay2}$, which allows for user-friendly computation of the invariants of the image of a polynomial map, such as dimension, degree, and Hilbert function values. This…
We extend non-emtpyness and irreducibility of Hassett divisors to the moduli spaces of $M$-polarizable cubic fourfolds for higher rank lattices $M$, which in turn provides a systematic approach for describing the irreducible components of…