Related papers: Numerical dimension and locally ample curves
Let $f : (X, \Delta) \to Y$ be a flat, projective family of sharply $F$-pure, log-canonically polarized pairs over an algebraically closed field of characteristic $p >0$ such that $p \nmid \ind(K_{X/Y} + \Delta)$. We show that $K_{X/Y} +…
Let $C$ be a smooth projective curve over $\mathbb C$. Let $n,d\geq 1$. Let $\mathcal Q$ be the Quot scheme parameterizing torsion quotients of the vector bundle $\mathcal O^n_C$ of degree $d$. In this article we study the nef cone of…
Based on a geometric interpretation of Brotbek's symmetric differential forms, for the intersection family $\mathcal{X}$ of generalized Fermat-type hypersurfaces in $\mathbb{P}_{\mathbb{K}}^N$ defined over any field $\mathbb K$, we…
Suppose $Y$ is a smooth variety equipped with a top form. We prove a simple theorem giving a sharp lower bound on the geometric genus of a family of subvarieties of $Y$, in terms of the dimension of this family. Two elementary applications…
Following the work of Totaro and Pereira, we study sufficient conditions under which collections of pairwise-disjoint divisors on a variety over an algebraically closed field are contained in the fibers of a morphism to a curve. We prove…
In this paper, we develop the theory of singular hermitian metrics on vector bundles. As an application, we give a structure theorem of a projective manifold $X$ with pseudo-effective tangent bundle: $X$ admits a smooth fibration $X \to Y$…
We study connections between self-inversive and self-reciprocal polynomials, reduction theory of binary forms, minimal models of curves, and formally self-dual codes. We prove that if $\mathcal X$ is a superelliptic curve defined over…
We develop a theory of \emph{reduced} Gromov-Witten and stable pair invariants of surfaces and their canonical bundles. We show that classical Severi degrees are special cases of these invariants. This proves a special case of the MNOP…
Let K be the function field of a connected regular scheme S of dimension 1, and let f : X -> Y be a finite cover of projective smooth and geometrically connected curves over K with g(X) greater or equal to 2. Suppose that f can be extended…
Consider a smooth projective curve and a given embedding into projective space via a sufficiently positive line bundle. We can form the secant variety of $k$-planes through the curve. These are singular varieties, with each secant variety…
For every $d\geq 2$, we construct a subset $D\subseteq \{1,2,\dots,n\}^d$ of size $n-o(n)$ such that every affine hyperplane of $\mathbb{R}^d$ intersects $D$ in at most $d$ points, and every hypersphere of $\mathbb{R}^n$ intersects $D$ in…
Let $C$ be a smooth projective curve, $E$ a locally free sheaf. Hyperquot schemes on $C$ parametrise flags of coherent quotients of $E$ with fixed Hilbert polynomial, and offer alternative compactifications to the spaces of maps from $C$ to…
We introduce a notion of ampleness for subschemes of higher codimension using the theory of q-ample line bundles. We also investigate certain geometric properties satisfied by ample subvarieties, e.g. the Lefschetz hyperplane theorems and…
Let $C$ be a compact complex curve included in a non-singular complex surface such that the normal bundle is topologically trivial. Ueda studied complex analytic properties of a neighborhood of $C$ when $C$ is non-singular or is a rational…
Let $X$ be a normal projective variety equipped with an action of a semisimple algebraic group $G$, and assume that $X$ contains a unique closed orbit. Let $B$ be a Borel subgroup of $G$ and let $E$ be a $B$-equivariant vector bundle on…
Let $X$ be a smooth complex projective variety and let $H \in \pic(X)$ be an ample line bundle. Assume that $X$ is covered by rational curves with degree one with respect to $H$ and with anticanonical degree greater than or equal to $(\dim…
Consider genus $g$ curves that admit degree $d$ covers to elliptic curves only branched at one point with a fixed ramification type. The locus of such covers forms a one parameter family $Y$ that naturally maps into the moduli space of…
Given a Weil non-integral divisor $D$, it is natural to associate it the line bundle of its integral part $\mathcal{O}_X([D])$. In this work we study which of the classical characterizations of ample and big divisors can be extended to…
We find a natural $L_{\omega_1,\omega}$-axiomatisation $\Sigma$ of a structure on the upper half-plane $\mathbb{H}$ as the covering space of modular curves. The main theorem states that $\Sigma$ has a unique model in every uncountable…
We show that the pseudoeffective cone of divisors $\overline{\text{Eff}}^1(\overline{\mathcal{M}}_{g,n})$ for $g\geq 2$ and $n\geq 2$ is not polyhedral by showing that the class of the fibre of the morphism forgetting one point forms an…