Related papers: An algorithm for the classification of smooth Fano…
The symmetric projective varieties of rank one are all smooth and Fano by a classic result of Akhiezer. We classify the locally factorial (respectively smooth) projective symmetric $G$-varieties of rank 2 which are Fano. When $G$ is…
We describe the automorphism groups of smooth Fano threefolds of rank 2 and degree 28 in the cases where they are finite.
We provide an algorithm to classify the asymptotic sets of the dominant polynomial mappings $F: \C^3 \to \C^3$ of degree 2, using the definition of the so-called "{\it fa\c{c}ons}" in \cite{Thuy}. We obtain a classification theorem for the…
A (convex) polytope $P$ is said to be $2$-level if for every direction of hyperplanes which is facet-defining for $P$, the vertices of $P$ can be covered with two hyperplanes of that direction. The study of these polytopes is motivated by…
We find all K-stable smooth Fano threefolds in the family No. 2.22.
We construct well-formed and quasismooth terminal Fano 4-folds of index 1 in low codimension containing at worst isolated orbifold points. We provide a certain classification of these varieties where their images under the anitcanonical…
We consider mirror symmetry for Fano manifolds, and describe how one can recover the classification of 3-dimensional Fano manifolds from the study of their mirrors. We sketch a program to classify 4-dimensional Fano manifolds using these…
In this paper, an update on the classification of smooth weak Fano threefolds with Picard number two and small anti-canonical maps is given. Geometric constructions are provided for previously open numerical cases by blowing up certain…
We show various properties of smooth projective D-affine varieties. In particular, any smooth projective D-affine variety is algebraically simply connected and its image under a fibration is D-affine. In characteristic zero such D-affine…
We classify the polarized symplectic automorphisms of Fano varieties of smooth cubic fourfolds (equipped with the Pl\"ucker polarization) and study the fixed loci.
We classify (up to affine equivalence) all 7-dimensional flat manifolds with a cyclic holonomy group.
Suppose f is a real univariate polynomial of degree D with exactly 4 monomial terms. We present an algorithm, with complexity polynomial in log D on average (relative to the stable log-uniform measure), for counting the number of real roots…
In this paper we give an effective criterion as to when a positive integer q is the order of an automorphism of a smooth hypersurface of dimension n and degree d, for every d>2, n>1, (n,d)\neq (2,4), and \gcd(q,d)=\gcd(q,d-1)=1. This allows…
For fixed degree $d\leq 12$, we study the Hilbert scheme of degree $d$ smooth Fano threefolds in their anticanonical embeddings. We use this to classify all possible degenerations of these varieties to toric Fano varieties with at most…
A T-curve of degree $d$ is given by a regular unimodular triangulation of $d \cdot \Delta_2$ together with a sign distribution on its lattice points. By Viro's Patchworking Theorem, this determines the ambient isotopy type (a.k.a. real…
Tadao Oda conjectured that every smooth polytope has the Integer Decomposition Property. In this paper, we show this result for a subclass of polytopes: smooth combinatorial cubes of any dimension.
We consider the task of reconstructing polytopes with fixed facet directions from finitely many support function evaluations. We show that for a fixed simplicial normal fan the least-squares estimate is given by a convex quadratic program.…
Polytropes are both ordinary and tropical polytopes. We show that tropical types of polytropes in $\mathbb{TP}^{n-1}$ are in bijection with cones of a certain Gr\"{o}bner fan $\mathcal{GF}_n$ in $\mathbb{R}^{n^2 - n}$ restricted to a small…
A projective log variety (X, D) is called "a log Fano manifold" if X is smooth and if D is a reduced simple normal crossing divisor on X with -(K_X+D) ample. The n-dimensional log Fano manifolds (X, D) with nonzero D are classified in this…
We propose an algorithm for quickly evaluating polynomials. It pre-conditions a complex polynomial $P$ of degree $d$ in time $O(d\log d)$, with a low multiplicative constant independent of the precision. Subsequent evaluations of $P$…