arXiv subjects
Publications and source records attributed to Louis Esser.
Suppose $X$ is an irreducible complex variety. We show that when $X$ is ruled, the group of birational transformations $Bir(X)$, as a group, determines $X$ up to birational transformations and automorphisms of the base field. In contrast, we demonstrate that this same property never holds for non-uniruled varieties.
An algorithm due to Shioda computes the Picard number for certain surfaces which are defined by a single equation with exactly four monomials, called Delsarte surfaces. We consider this method for surfaces in weighted projective $3$-space with quotient singularities. We give a criterion for such a weighted Delsarte surface $X$ to have maximal Picard number. This condition is surprisingly related to the automorphism group of $X$. For every positive integer $s$, we find a weighted Delsarte surface with geometric genus $s$ and maximal Picard number. We show that these examples are elliptic surfaces, proving that elliptic surfaces of maximal Picard number and arbitrary geometric genus may be embedded as quasismooth hypersurfaces in weighted projective space.
Rationality specializes in families of surfaces, even with mild singularities. In this paper, we study the analogous question for the degree of irrationality. We prove a specialization result when the degree of irrationality on the generic fiber arises from the quotient by a group action.
A very general hypersurface of dimension $n$ and degree $d$ in complex projective space is rational if $d \leq 2$, but is expected to be irrational for all $n, d \geq 3$. Hypersurfaces in weighted projective space with degree small relative to the weights are likewise rational. In this paper, we introduce rationality constructions for weighted hypersurfaces of higher degree that provide many new rational examples over any field. We answer in the affirmative a question of T. Okada about the existence of very general terminal Fano rational weighted hypersurfaces in all dimensions $n \geq 6$.
We construct exceptional Fano varieties with the smallest known minimal log discrepancies in all dimensions. These varieties are well-formed hypersurfaces in weighted projective space. Their minimal log discrepancies decay doubly exponentially with dimension, and achieve the optimal value in dimension 2.
We find sharp upper bounds on the order of the automorphism group of a hypersurface in complex projective space in every dimension and degree. In each case, we prove that the hypersurface realizing the upper bound is unique up to isomorphism and provide explicit generators for the automorphism group.
We introduce a new invariant of $G$-varieties, the dual complex, which roughly measures how divisors in the complement of the free locus intersect. We show that the top homology group of this complex is an equivariant birational invariant of $G$-varieties. As an application, we demonstrate the non-linearizability of certain large abelian group actions on smooth hypersurfaces in projective space of any dimension and degree at least $3$.
We study Fano varieties endowed with a faithful action of a symmetric group, as well as analogous results for Calabi--Yau varieties, and log terminal singularities. We show the existence of a constant $m(n)$, so that every symmetric group $S_k$ acting on an $n$-dimensional Fano variety satisfies $k \leq m(n)$. We prove that $m(n)> n+\sqrt{2n}$ for every $n$. On the other hand, we show that $\lim_{n\to \infty} m(n)/(n+1)^2 \leq 1$. However, this asymptotic upper bound is not expected to be sharp. We obtain sharp bounds for certain classes of varieties. For toric varieties, we show that $m(n)=n+2$ for $n\geq 4$. For Fano quasismooth weighted complete intersections, we prove the asymptotic equality $\lim_{n\to \infty} m(n)/(n+1)=1$. Among the Fano weighted complete intersections, we study the maximally symmetric ones and show that they are closely related to the Fano--Fermat varieties, i.e., Fano complete intersections in $\mathbb P^N$ cut out by Fermat hypersurfaces. Finally, we draw a connection between maximally symmetric Fano varieties and boundedness of Fano varieties. For instance, we show that the class of $S_8$-equivariant Fano $4$-folds forms a bounded family. In contrast, the $S_7$-equivariant Fano $4$-folds are unbounded.
We construct log canonical pairs $(X,B)$ with $B$ a nonzero reduced divisor and $K_X+B$ ample that have the smallest known volume. We conjecture that our examples have the smallest volume in each dimension. The conjecture is true in dimension 2, by Liu and Shokurov. The examples are weighted projective hypersurfaces that are not quasi-smooth. We also develop an example for a related extremal problem. Esser constructed a klt Calabi-Yau variety which conjecturally has the smallest mld in each dimension (for example, mld $1/13$ in dimension 2 and $1/311$ in dimension 3). However, the example was only worked out completely in dimensions at most 18. We now prove the desired properties of Esser's example in all dimensions (in particular, determining its mld).
For certain quasismooth Calabi-Yau hypersurfaces in weighted projective space, the Berglund-H\"{u}bsch-Krawitz (BHK) mirror symmetry construction gives a concrete description of the mirror. We prove that the minimal log discrepancy of the quotient of such a hypersurface by its toric automorphism group is closely related to the weights and degree of the BHK mirror. As an application, we exhibit klt Calabi-Yau varieties with the smallest known minimal log discrepancy. We conjecture that these examples are optimal in every dimension.
We prove several results concerning automorphism groups of quasismooth complex weighted projective hypersurfaces; these generalize and strengthen existing results for hypersurfaces in ordinary projective space. First, we prove in most cases that automorphisms extend to the ambient weighted projective space. We next provide a characterization of when the linear automorphism group is finite and find an explicit uniform upper bound on the size of this group. Finally, we describe the automorphisms of a generic quasismooth hypersurface with given weights and degree.
Call a projective variety $X$ Calabi-Yau if its canonical divisor is ${\bf Q}$-linearly equivalent to zero. The smallest positive integer $m$ with $mK_X$ linearly equivalent to zero is called the index of $X$. We construct Calabi-Yau varieties with the largest known index in high dimensions. In our examples, the index grows doubly exponentially with dimension. We conjecture that our examples have the largest possible index, with supporting evidence in low dimensions. The examples are obtained by mirror symmetry from our Calabi-Yau varieties with an ample Weil divisor of small volume. We also give examples for several related problems, including Calabi-Yau varieties with large orbifold Betti numbers or small minimal log discrepancy.
Let $G$ be a finite group, $X$ be a smooth complex projective variety with a faithful $G$-action, and $Y$ be a resolution of singularities of $X/G$. Larsen and Lunts asked whether $[X/G]-[Y]$ is divisible by $[\mathbb{A}^1]$ in the Grothendieck ring of varieties. We show that the answer is negative if $BG$ is not stably rational and affirmative if $G$ is abelian. The case when $X=Z^n$ for some smooth projective variety $Z$ and $G=S_n$ acts by permutation of the factors is of particular interest. We make progress on it by showing that $[Z^n/S_n]-[Z\langle n\rangle / S_n]$ is divisible by $[\mathbb{A}^1]$, where $Z\langle n\rangle$ is Ulyanov's polydiagonal compactification of the $n$-th configuration space of $Z$.
Let $n\geq 2$ be any integer. We study the optimal lower bound $v_{n, n-i}$ of the canonical volume and the optimal upper bound $r_{n,n-i}$ of the canonical stability index for minimal projective $n$-folds of general type, which are canonically fibered by $i$-folds ($i=0,1$). The results for $i = 0$, $v_{n,n}=2$ and $r_{n, n}=n+2$, are known to experts. In this article, we show that $v_{n,n-1}=\frac{6}{2n+(n \bmod 3)}$ and $r_{n,n-1}=\frac{1}{3}(5n+ 3 + (n \bmod 3))$. The machinery is applicable to all canonical dimensions $n-i$.
We construct smooth projective varieties of general type with the smallest known volume and others with the most known vanishing plurigenera in high dimensions. The optimal volume bound is expected to decay doubly exponentially with dimension, and our examples achieve this decay rate. We also consider the analogous questions for other types of varieties. For example, in every dimension we conjecture the terminal Fano variety of minimal volume, and the canonical Calabi-Yau variety of minimal volume. In each case, our examples exhibit doubly exponential behavior.
We determine the optimal inequality of the form $\sum_{k=1}^m a_k\sin kx\leq 1$, in the sense that $\sum_{k=1}^m a_k$ is maximal. We also solve exactly the analogous problem for the sawtooth (or signed fractional part) function. Equivalently, we solve exactly an optimization problem about equidistribution on the unit circle.
Unlike the classical Brauer group of a field, the Brauer-Grothendieck group of a singular scheme need not be torsion. We show that there exist integral normal projective surfaces over a large field of positive characteristic with non-torsion Brauer group. In contrast, we demonstrate that such examples cannot exist over the algebraic closure of a finite field.