arXiv subjects
Publications and source records attributed to Benjamin Church.
We construct a surface over $\overline{\mathbb{F}}_p$ with $\pi_1^{\'{e}t}(X) = 1$ that is supersingular -- in the sense that $H^2_{\'{e}t}(X, \mathbb{Q}_{\ell}(1))$ is spanned by algebraic cycles -- but is not unirational. This provides a counterexample to a 1977 conjecture of Shioda. To achieve this, we produce new obstructions to unirationality for product-quotient surfaces.
In this note, we prove -- in dimension at most 4 -- a conjectue of Hao which says that a morphism $f : X \to A$ to a simple abelian variety $A$ is smooth if and only if there is a 1-form pulled back from A without any zeros. We also give a complete classification of 4-folds with a 1-form without zeros not admitting a map to an elliptic curve.
We prove several conjectures relating the existence of nonvanishing 1- forms to smooth morphisms over abelian varieties, assuming the existence of good minimal models. The proof involves a decomposition result for a family of Calabi-Yau varieties equipped with a surjective map to an abelian scheme. In the uniruled case, supposing the MRC base admits a good minimal model, we also achieve a structure theorem for those varieties admitting nowhere vanishing 1-forms.
Let $\ell$ be a prime number, $k$ a positive integer and consider the group $\Gamma_{\ell^k} :=\langle a,b\ \vert\ a^{\ell^k(\ell^k-1)}ba^{-\ell^k}b^{-2}\rangle$. We prove that $\Gamma_{\ell^k}$ is not $\mathrm{SL}_2$-weakly integral with obstruction at exactly the prime $\ell$. We also give a general description of the character varieties of $2$-generated groups with a relation of the form $a^{n_1} b^{m_1} a^{n_2} b^{m_2} = 1$.
We study the minimal degrees and gonalities of curves on complete intersections. We prove that the degree of any curve on a general complete intersection $X \subseteq \mathbb{P}^N$ of large multidegree is bounded from below by the degree of $X$. As an application, we answer a problem of Bastianelli--De Poi--Ein--Lazarsfeld--Ullery on measures of irrationality for complete intersections.
Koll\'ar proved that a very general $n$-dimensional complex hypersurface of degree at least $3\lceil (n+3)/4\rceil$ is not birational to a fibration in rational curves. This is most interesting when the hypersurface is Fano, in which case it is covered by rational curves. In this paper, we extend Koll\'ar's ideas and show that for any genus $g$, there are Fano hypersurfaces (in more restrictive degree and dimension ranges) that are not birational to fibrations in genus $g$ curves. In other words, we show that the fibering genus of these hypersurfaces can be arbitrarily large. The fibering genus of a variety has been studied in work of Konno, Ein--Lazarsfeld, and Voisin, but this is the first paper to explore these ideas in the Fano range. Following Koll\'ar, we degenerate to characteristic $p>0$ to rule out these fibrations. A crucial input is Tate's genus change formula and its generalizations, which imply that any regular curve of genus $g$ is smooth if $p$ is sufficiently large compared to $g$.
A result of Popa and Schnell shows that any holomorphic 1-form on a smooth complex projective variety of general type admits zeros. More generally, given a variety $X$ which admits $g$ pointwise linearly independent holomorphic 1-forms, their result shows that $X$ has Kodaira dimension $\kappa(X) \leq \dim X - g$. In the extremal case where $\kappa(X) = \dim X - g$ and $X$ is minimal, we prove that $X$ admits a smooth morphism to an abelian variety, and classify all such $X$ by showing they arise as diagonal quotients of the product of an abelian variety with a variety of general type. The case $g = 1$ was first proved by the third author, and classification results about surfaces and threefolds carrying nowhere vanishing forms have appeared in work of Schreieder and subsequent joint work with the third author. We also prove a birational version of this classification which holds without the minimal assumption, and establish additional cases of a conjecture of the third author.