We classify the subpencils of complete linear systems for the hyperplane sections on K3 surfaces obtained as the complete intersection of a hyperquadric and a hypercubic. The classification is done from three points of view, namely, the type of a general fibre, the base locus and the Horikawa index of the essential member. This classification shows the distinct phenomenons depending on the rank of the hyperquadrics containing the surface.

For a terminal weak ${\mathbb {Q}}$-Fano threefold X, we show that the mth anti-canonical map defined by $|-mK_X|$ is birational for all $m\geq 59$.

This paper is devoted to determine the geometry of a class of smooth projective rational surfaces whose minimal models are the Hirzebruch ones; concretely, they are obtained as the blowup of a Hirzebruch surface at collinear points. Explicit descriptions of their effective monoids are given, and we present a decomposition for every effective class. Such decomposition is used to confirm the effectiveness of some divisor classes when the Riemann–Roch theorem does not give information about their effectiveness. Furthermore, we study the nef divisor classes on such surfaces. We provide an explicit description for their nef monoids, and, moreover, we present a decomposition for every nef class. On the other hand, we prove that these surfaces satisfy the anticanonical orthogonal property. As a consequence, the surfaces are Harbourne–Hirschowitz and their Cox rings are finitely generated. Finally, we prove that the complete linear system associated with any nef divisor is base-point-free; thus, the semi-ample and nef monoids coincide. The base field is assumed to be algebraically closed of arbitrary characteristic.

We construct the logarithmic and tropical Picard groups of a family of logarithmic curves and realize the latter as the quotient of the former by the algebraic Jacobian. We show that the logarithmic Jacobian is a proper family of logarithmic abelian varieties over the moduli space of Deligne–Mumford stable curves, but does not possess an underlying algebraic stack. However, the logarithmic Picard group does have logarithmic modifications that are representable by logarithmic schemes, all of which are obtained by pullback from subdivisions of the tropical Picard group.

We prove that any nef $b$-divisor class on a projective variety defined over an algebraically closed field of characteristic zero is a decreasing limit of nef Cartier classes. Building on this technical result, we construct an intersection theory of nef $b$-divisors, and prove several variants of the Hodge index theorem inspired by the work of Dinh and Sibony. We show that any big and basepoint-free curve class is a power of a nef $b$-divisor, and relate this statement to the Zariski decomposition of curves classes introduced by Lehmann and Xiao. Our construction allows us to relate various Banach spaces contained in the space of $b$-divisors which were defined in our previous work.

A conic bundle is a contraction $X\to Z$ between normal varieties of relative dimension $1$ such that $-K_X$ is relatively ample. We prove a conjecture of Shokurov that predicts that if $X\to Z$ is a conic bundle such that X has canonical singularities and Z is $\mathbb {Q}$ -Gorenstein, then Z is always $\frac {1}{2}$ -lc, and the multiplicities of the fibres over codimension $1$ points are bounded from above by $2$ . Both values $\frac {1}{2}$ and $2$ are sharp. This is achieved by solving a more general conjecture of Shokurov on singularities of bases of lc-trivial fibrations of relative dimension $1$ with canonical singularities.

We classify real two-dimensional orbits of conformal subgroups such that the orbits contain two circular arcs through a point. Such surfaces must be toric and admit a Möbius automorphism group of dimension at least two. Our theorem generalizes the classical classification of Dupin cyclides.

We extend results on asymptotic invariants of line bundles on complex projective varieties to projective varieties over arbitrary fields. To do so over imperfect fields, we prove a scheme-theoretic version of the gamma construction of Hochster and Huneke to reduce to the setting where the ground field is $F$-finite. Our main result uses the gamma construction to extend the ampleness criterion of de Fernex, Küronya, and Lazarsfeld using asymptotic cohomological functions to projective varieties over arbitrary fields, which was previously known only for complex projective varieties. We also extend Nakayama’s description of the restricted base locus to klt or strongly $F$-regular varieties over arbitrary fields.

We study $F$-signature under proper birational morphisms $\unicode[STIX]{x1D70B}:Y\rightarrow X$, showing that $F$-signature strictly increases for small morphisms or if $K_{Y}\leqslant \unicode[STIX]{x1D70B}^{\ast }K_{X}$. In certain cases, we can even show that the $F$-signature of $Y$ is at least twice as that of $X$. We also provide examples of $F$-signature dropping and Hilbert–Kunz multiplicity increasing under birational maps without these hypotheses.

Let $X$ be a normal complex projective variety, $T\subseteq X$ a subvariety of dimension $m$ (possibly $T=X$) and $a:X\rightarrow A$ a morphism to an abelian variety such that $\text{Pic}^{0}(A)$ injects into $\text{Pic}^{0}(T)$; let $L$ be a line bundle on $X$ and $\unicode[STIX]{x1D6FC}\in \text{Pic}^{0}(A)$ a general element.

We introduce two new ingredients for the study of linear systems on $X$. First of all, we show the existence of a factorization of the map $a$, called the eventual map of $L$ on $T$, which controls the behavior of the linear systems $|L\otimes \unicode[STIX]{x1D6FC}|_{|T}$, asymptotically with respect to the pullbacks to the connected étale covers $X^{(d)}\rightarrow X$ induced by the $d$-th multiplication map of $A$.

Second, we define the so-called continuous rank function$x\mapsto h_{a}^{0}(X_{|T},L+xM)$, where $M$ is the pullback of an ample divisor of $A$. This function extends to a continuous function of $x\in \mathbb{R}$, which is differentiable except possibly at countably many points; when $X=T$ we compute the left derivative explicitly.

As an application, we give quick short proofs of a wide range of new Clifford–Severi inequalities, i.e., geographical bounds of the form

$$\begin{eqnarray}\displaystyle \text{vol}_{X|T}(L)\geqslant C(m)h_{a}^{0}(X_{|T},L), & & \displaystyle \nonumber\end{eqnarray}$$

$C(m)={\mathcal{O}}(m!)$

$X$

$L$

$a$

We bring examples of toric varieties blown up at a point in the torus that do not have finitely generated Cox rings. These examples are generalizations of our earlier work, where toric surfaces of Picard number 1 were studied. In this article we consider toric varieties of higher Picard number and higher dimension. In particular, we bring examples of weighted projective 3-spaces blown up at a point that do not have finitely generated Cox rings.

An intrinsic quadric is a normal projective variety with a Cox ring defined by a single quadratic relation. We provide explicit descriptions of these varieties in the smooth case for small Picard numbers. As applications, we figure out in this setting the Fano examples and (affirmatively) test Fujita’s freeness conjecture.

We study a wide class of affine varieties, which we call affine Fano varieties. By analogy with birationally super-rigid Fano varieties, we define super-rigidity for affine Fano varieties, and provide many examples and non-examples of super-rigid affine Fano varieties.

We propose here a generalization of the problem addressed by the SHGH conjecture. The SHGH conjecture posits a solution to the question of how many conditions a general union $X$ of fat points imposes on the complete linear system of curves in $\mathbb{P}^{2}$ of fixed degree $d$, in terms of the occurrence of certain rational curves in the base locus of the linear subsystem defined by $X$. As a first step towards a new theory, we show that rational curves play a similar role in a special case of a generalized problem, which asks how many conditions are imposed by a general union of fat points on linear subsystems defined by imposed base points. Moreover, motivated by work of Di Gennaro, Ilardi and Vallès and of Faenzi and Vallès, we relate our results to the failure of a strong Lefschetz property, and we give a Lefschetz-like criterion for Terao’s conjecture on the freeness of line arrangements.

Let $Y$ be a compact complex manifold embedded in a complex manifold with unitary flat normal bundle. Our interest is in a sort of the linearizability problem of a neighborhood of $Y$. As a higher codimensional generalization of Ueda’s result, we give a sufficient condition for the existence of a nonsingular holomorphic foliation on a neighborhood of $Y$ which includes $Y$ as a leaf with unitary-linear holonomy. We apply this result to the existence problem of a smooth Hermitian metric with semipositive curvature on a nef line bundle.

In this note we prove the following surprising characterization: if $X\,\subset \,{{\mathbb{A}}^{n}}$ is an (embedded, non-empty, proper) algebraic variety deûned over a field $k$ of characteristic zero, then $X$ is a hypersurface if and only if the module ${{T}_{{{O}_{{{\mathbb{A}}^{n\,/k}}}}}}(X)$ of logarithmic vector fields of $X$ is a reflexive ${{O}_{{{\mathbb{A}}^{n}}}}$-module. As a consequence of this result, we derive that if ${{T}_{{{O}_{{{\mathbb{A}}^{n\,/k}}}}}}(X)$ is a free ${{O}_{{{\mathbb{A}}^{n}}}}$-module, which is shown to be equivalent to the freeness of the $t$-th exterior power of ${{T}_{{{O}_{{{\mathbb{A}}^{n\,/k}}}}}}(X)$ for some (in fact, any) $t\,\le \,n$, then necessarily $X$ is a Saito free divisor.

A current research theme is to compare symbolic powers of an ideal $I$ with the regular powers of $I$. In this paper, we focus on the case where $I\,=\,{{I}_{X}}$ is an ideal defining an almost complete intersection (ACI) set of points $X$ in ${{\mathbb{P}}^{1}}\,\times \,{{\mathbb{P}}^{1}}$. In particular, we describe a minimal free bigraded resolution of a non-arithmetically Cohen-Macaulay (also non-homogeneous) set $Z$ of fat points whose support is an ACI, generalizing an earlier result of Cooper et al. for homogeneous sets of triple points. We call $Z$ a fat ACI. We also show that its symbolic and ordinary powers are equal, i.e, $I_{Z}^{\left( m \right)}\,=\,I_{Z}^{m}$ for any $m\,\ge \,1$.

We prove a bound relating the volume of a curve near a cusp in a complex ball quotient $X=\mathbb{B}/\unicode[STIX]{x1D6E4}$ to its multiplicity at the cusp. There are a number of consequences: we show that for an $n$-dimensional toroidal compactification $\overline{X}$ with boundary $D$, $K_{\overline{X}}+(1-\unicode[STIX]{x1D706})D$ is ample for $\unicode[STIX]{x1D706}\in (0,(n+1)/2\unicode[STIX]{x1D70B})$, and in particular that $K_{\overline{X}}$ is ample for $n\geqslant 6$. By an independent algebraic argument, we prove that every ball quotient of dimension $n\geqslant 4$ is of general type, and conclude that the phenomenon famously exhibited by Hirzebruch in dimension 2 does not occur in higher dimensions. Finally, we investigate the applications to the problem of bounding the number of cusps and to the Green–Griffiths conjecture.

We prove a version of Clifford’s theorem for metrized complexes. Namely, a metrized complex that carries a divisor of degree $2r$ and rank $r$ (for $0<r<g-1$) also carries a divisor of degree 2 and rank 1. We provide a structure theorem for hyperelliptic metrized complexes, and use it to classify divisors of degree bounded by the genus. We discuss a tropical version of Martens’ theorem for metric graphs.

For every integer $k\geqslant 3$ we construct a $k$-gonal curve $C$ along with a very ample divisor of degree $2g+k-1$ (where $g$ is the genus of $C$) to which the vanishing statement from the Green–Lazarsfeld gonality conjecture does not apply.