Related papers: Motivic irrationality proofs
A log generic hypersurface in $\mathbb{P}^n$ with respect to a birational modification of $\mathbb{P}^n$ is by definition the image of a generic element of a high power of an ample linear series on the modification. A log very-generic…
In order to diagnose the cause of some defects in the category of canonical hypergroups, we investigate several categories of hyperstructures that generalize hypergroups. By allowing hyperoperations with possibly empty products, one obtains…
In this note, we study various measures of irrationality for hypersurfaces in projective spaces which were recently proposed by Bastianelli, De Poi, Ein, Lazarsfeld and Ullery. In particular, we answer the question raised by Bastianelli…
Let $X$ be a variety defined over a number field and $f$ be a dominant rational self-map of $X$ of infinite order. We show that $X$ admits many algebraic points which are not preperiodic under $f$. If $f$ were regular and polarized, this…
Using Voisin's method we prove that a very general hypersurface of degree at least 4 in complex projective space of dimension 6, 7, 8 or 9 is not stably rational and so, in particular, not rational. We obtain the same conclusion for the…
For any affine hypersurface defined by a complete symmetric polynomial in $k\geq 3$ variables of degree $m$ over the finite field $\mathbb{F}_{q}$ of $q$ elements, a special case of our theorem says that this hypersurface has at least…
We introduce the notion of topological hyperbolicity to characterize the largeness of the topological fundamental group of a complex variety. Inspired by the Shafarevich conjecture, we propose to study the topological hyperbolicity of…
The log canonical thresholds of irreducible quasi-ordinary hypersurface singularities are computed, using an explicit list of pole candidates for the motivic zeta function found by the last two authors.
For a generic anti-canonical hypersurface in each smooth toric Fano 4-fold with rank 2 Picard group, we prove there exist three isolated rational curves in it. Moreover, for all these 4-folds except one, the contractions of generic…
In many situations, the monodromy group of enumerative problems will be the full symmetric group. In this paper, we study a similar phenomenon on the rational curves in $|\mathcal{O}(1)|$ on a generic K3 surface of fixed genus over…
A linear system on a smooth complex algebraic surface gives rise to a family of smooth curves in the surface. Such a family has a topological monodromy representation valued in the mapping class group of a fiber. Extending arguments of…
We study the family of rational curves on arbitrary smooth hypersurfaces of low degree using tools from analytic number theory.
We show that measures of irrationality on very general codimension two complete intersections and very general complete intersection surfaces are multiplicative in the degrees of the defining equations. This confirms some cases of a…
We introduce a torsor-theoretic obstruction to equivariant unirationality and show that it is also sufficient for actions of finite groups on toric varieties arising from automorphisms of the torus.
In the spirit of a theorem of Wood, we give necessary and sufficient conditions for a family of germs of analytic hypersurfaces in a smooth projective toric variety X to be interpolated by an algebraic hypersurface with a fixed class in the…
In this article we consider exceptional sequences of invertible sheaves on smooth complete rational surfaces. We show that to every such sequence one can associate a smooth complete toric surface in a canonical way. We use this structural…
Let k be a finite field with characteristic exceeding 3. We prove that the space of rational curves of fixed degree on any smooth cubic hypersurface over k with dimension at least 11 is irreducible and of the expected dimension.
Let $F$ be a field of characteristic zero admitting a biquadratic field extension. We give an example of a torus $G$ over $F$ whose classifying stack $BG$ is stably rational and such that $\{BG\}\{G\}\neq 1$ in the Grothendieck ring of…
We show that an everywhere regular foliation $\mathcal F$ with compact canonically polarized leaves on a quasi-projective manifold $X$ has isotrivial family of leaves when the orbifold base of this family is special. By a recent work of…
Let $K_0(\mathcal{V}_{K})$ be the Grothendieck ring of varieties over a field $K$ of characteristic zero, and let $\mathbb{L} = [\mathbb{A}^1_{K}]$ denote the Lefschetz class. We prove that if a $K$-variety has $\mathbb{L}$-rational…