John Christian Ottem
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 numerical positivity. Using these properties, we also construct a counterexample to the converse of the Andreotti-Grauert vanishing theorem.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
The goal of this article is twofold. On one hand, we study the subvarieties of projective varieties which possess partially ample normal bundle; we prove that they are G2 in the ambient space. This generalizes results of Hartshorne and Bădescu-Schneider. We work with the cohomological partial ampleness introduced by Totaro. On the other hand, we define the concept of a partially ample subvariety, which generalizes the notion of an ample subvariety introduced by Ottem. We prove that partially ample subvarieties enjoy the stronger G3 property. Moreover, we present an application to a connectedne…
We define partially ample subvarieties of projective varieties, generalizing Ottem's work on ample subvarieties, and show their ubiquity. As an application, we obtain a connectedness result for pre-images of subvarieties by morphisms, reminiscent to a problem posed by Fulton-Hansen.
We show that local complete intersection subvarieties of smooth projective varieties, which have partially ample normal bundle, possess the G2-property. This generalizes results of Hartshorne and Bădescu-Schneider.
We show that a pseudoeffective R-divisor has numerical dimension 0 if it is numerically trivial on a subvariety with ample normal bundle. This implies that the cycle class of a curve with ample normal bundle is big, giving an affirmative answer to a question of Peternell. We also give other positivity properties such subvarieties.
Using deformation theory of rational curves, we prove a conjecture of Sommese on the extendability of morphisms from ample subvarieties when the morphism is a smooth (or mildly singular) fibration with rationally connected fibers. We apply this result in the context of Fano fibrations and prove a classification theorem for projective bundle and quadric fibration structures on ample subvarieties.
In this paper we consider ideal sheaves associated to the singular loci of a divisor in a linear system $|L|$ of an ample line bundle on a complex abelian variety. We prove an effective result on their (continuous) global generation, after suitable twists by powers of $L$. Moreover we show that similar results hold for subvarieties of a complex abelian variety.
We establish a Grothendieck--Lefschetz theorem for smooth ample subvarieties of smooth projective varieties over an algebraically closed field of characteristic zero and, more generally, for smooth subvarieties whose complement has small cohomological dimension. A weaker statement is also proved in a more general context and in all characteristics. Several applications are included.
We systematically study the splitting of vector bundles on a smooth, projective variety, whose restriction to the zero locus of a regular section of an ample vector bundle splits. First, we find ampleness and genericity conditions which ensure that the splitting of the vector bundle along the subvariety implies its global splitting. Second, we obtain a simple splitting criterion for vector bundles on the Grassmannian and on partial flag varieties.
The goal of this work is to study positivity of subvarieties with nef normal bundle in the sense of intersection theory. After Ottem's work on ample subschemes, we introduce the notion of a nef subscheme, which generalizes the notion of a subvariety with nef normal bundle. We show that restriction of a pseudoeffective (resp. big) divisor to a nef subvariety is pseudoeffective (resp. big). We also show that ampleness and nefness are transitive properties. We define the weakly movable cone as the cone generated by the pushforward of cycle classes of nef subvarieties via proper surjective maps. T…
Under some positivity assumptions, extension properties of rationally connected fibrations from a submanifold to its ambient variety are studied. Given a family of rational curves on a complex projective manifold X inducing a covering family on a submanifold Y with ample normal bundle in X, the main results relate, under suitable conditions, the associated rational connected fiber structures on X and on Y. Applications of these results include an extension theorem for Mori contractions of fiber type and a classification theorem in the case Y has a structure of projective bundle or quadric fibr…
In this note we study two features of submanifolds (subvarieties) with ample normal bundles in a compact Kähler manifold X. First, we study how algebraic X can be, i.e. we investigate the algebraic dimension. Second, we study curves with ample normal bundles in case X is projective. We prove in various cases that the class of the curve is in the interior of the Mori cone.
A classification and a detailed geometric description are given for smooth $n$-dimensional subvarieties $X\subset{\mathbb P}^{2n-1}$ containing a family of effective divisors each of them spanning a linear ${\mathbb P}^n$ of ${\mathbb P}^{2n-1}$. Some results on multisecant lines to threefolds $X\subset{\mathbb P}^5$ follow, as a byproduct.
Rational curves on Hilbert schemes of points on $K3$ surfaces and generalised Kummer manifolds are constructed by using Brill-Noether theory on nodal curves on the underlying surface. It turns out that all wall divisors can be obtained, up to isometry, as dual divisors to such rational curves. The locus covered by the rational curves is then described, thus exhibiting algebraically coisotropic subvarieties that deform to general small deformations of the manifold. This provides strong evidence for a conjecture by Voisin concerning the Chow ring of irreducible holomorphic symplectic manifolds. …
Let Y be a subvariety of a smooth projective variety X, and V a vector bundle on X. Given that the restriction of V to Y splits into a direct sum of line bundles, we ask whether V splits on X. I answer this question in affirmative if holds: Y is a q-ample subvariety of X (for appropriate q), it admits sufficiently many embedded deformations, and is very general within its own deformation space. The result goes beyond the previously known splitting criteria for vector bundles corresponding to restrictions. It allows to treat in a unified way examples arising in totally different situations. I d…
If the log canonical divisor on a projective variety with only Kawamata log terminal singularities is numerically equivalent to some semi-ample $\mathbf{Q}$-divisor, then it is semi-ample.
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 non-integral divisors via the corresponding line bundles.
In this short note we explain how to construct resolutions or regular alterations admitting an ample exceptional divisor, assuming the existence of projective resolutions or regular alterations. In particular, this implies the existence of such resolutions for arithmetic three-dimensional singularities.
We study the cones of q-ample divisors on smooth complex varieties. In favourable cases, we identify a part where the closure of this cone and the nef cone have the same boundary. This is especially interesting for Fano (or almost Fano) varieties.
Let $X$ be a projective manifold of dimension $n$. Suppose that $T_X$ contains an ample subsheaf. We show that $X$ is isomorphic to $\mathbb{P}^n$. As an application, we derive the classification of projective manifolds containing a $\mathbb{P}^r$-bundle as an ample divisor by the recent work of D.~Litt.
We define and study positivity (nefness, amplitude, bigness and pseudo-effectiveness) for Weil divisors on normal projective varieties. We prove various characterizations, vanishing and non-vanishing theorems for cohomology, global generation statements, and a result related to log Fano.
We prove that the cotangent bundle of a complete intersection of two general translates of the theta divisor of the jacobian of a general curve of genus 4 is ample. From this the same result for a general principally polarized abelian variety of dimension 4 follows.
An Okounkov body is a convex subset in Euclidean space associated to a big divisor on a smooth projective variety with respect to an admissible flag. In this paper, we introduce two convex bodies associated to pseudoeffective divisors, called the valuative Okounkov bodies and the limiting Okounkov bodies, and show that these convex bodies reflect the asymptotic properties of pseudoeffective divisors as in the case with big divisors. Our results extend the works of Lazarsfeld-Mustaţă and Kaveh-Khovanskii. For this purpose, we define and study special subvarieties, called the Nakayama subvarieti…
Given a smooth projective curve X, we give effective very ampleness bounds for generalized theta divisors on the moduli spaces $SU_X(r,d)$ and $U_X(r,d)$ of semistable vector bundles of rank r and degree d on X with fixed, respectively arbitrary, determinant.
Kollár gave a series of examples of rational surfaces of Picard number $1$ with ample canonical divisor having cyclic singularities. In this paper, we construct several series of new examples in a geometric way, i.e., by blowing up several times inside a configuration of curves on the projective plane and then by contracting chains of rational curves. One series of our examples have the same singularities as Kollár's examples.
Let $(X,Δ)$ be a projective log canonical pair such that $Δ\geq A$ where $A \geq 0$ is an ample $\mathbb{R}$-divisor. We prove that either $(X,Δ)$ has a good minimal model or a Mori fibre space. Moreover, if $X$ is $\mathbb{Q}$-factorial, then any Log Minimal Model Program on $K_X+Δ$ with scaling terminates. As an application we prove that a log Fano type variety $X$ with $\mathbb{Q}$-factorial log canonical singularities is a Mori dream space.
We introduce a new technique for proving positivity of certain divisor classes on $\bar{M}_{0,n}$ and its weighted variants. Our methods give an unconditional description of the spaces of symmetric weighted pointed rational curves as log canonical models of $\bar{M}_{0,n}$.
In this short note, we consider the conjecture that the log canonical divisor (resp. the anti-log canonical divisor) $K_X + Δ$ (resp. $-(K_X + Δ)$) on a pair $(X, Δ)$ consisting of a complex projective manifold $X$ and a reduced simply normal crossing divisor $Δ$ on $X$ is ample if it is numerically positive. More precisely, we prove the conjecture for $K_X + Δ$ with $Δ\neq 0$ in dimension 4 and for $-(K_X + Δ)$ with $Δ\neq 0$ in dimension 3 or 4.
The philosophy that ``a projective manifold is more special than any of its smooth hyperplane sections" was one of the classical principles of projective geometry. Lefschetz type results and related vanishing theorems were among the typically used techniques. We shall survey most of the problems, results and conjectures in this area, using the modern setting of ample divisors, and (some aspects of) Mori theory.
Cylindrical ample divisors on Du Val del Pezzo surfaces
本文研究带 Du Val 奇点且次数不低于 3 的 del Pezzo 曲面，证明对其上任意充裕 Q-除子 H 都存在相应的 H-极化柱。
We introduce a homological Lefschetz conjecture on (rational) Chow groups, which can be deduced from some well known conjectures, and illustrate it by a series of key examples. We then prove the injectivity of the push-forward morphism on Chow groups, induced by the closed embedding of the Theta divisor in it's Jacobian $J(C)$. Here $C$ is a smooth irreducible complex projective curve.
The paper reviews recent developments in the study of Alexander invariants of quasi-projective manifolds using methods of singularity theory. Several results in topology of the complements to singular plane curves and hypersurfaces in projective space extended to the case of curves on simply connected smooth projective surfaces.
We study the homotopy groups of complements to reducible divisors on non-singular projective varieties with ample components and isolated non normal crossings. We prove a vanishing theorem generalizing conditions for commutativity of the fundamental groups. The calculation of supports of non vanishing homotopy groups as modules over the fundamental group in terms of the geometry of the locus of non-normal crossings is discussed. We review previous work on the local study of isolated non-normal crossings and relate the motivic zeta function to the local polytopes of quasiadjunction. As an appli…
The article proves the Infinitesimal Torelli theorem for surfaces subject to the following conditions: 1) the canonical bundle of a surface is ample and generated by its global sections, 2)the geometric genus $p_g \geq 4$, 3) the irregularity $q=0$ . The main novelty is a realization of the Kodaira-Spencer classes lying in the kernel of the cohomology cup-product controlling the derivative of the period map of weight 2 in the category of the coherent sheaves of a surface.
The moduli space $\M_{g,n}$ of $n-$pointed stable curves of genus $g$ is stratified by the topological type of the curves being parametrized: the closure of the locus of curves with $k$ nodes has codimension $k$. The one dimensional components of this stratification are smooth rational curves (whose numerical equivalence classes are) called F-curves. The F-conjecture asserts that a divisor on $\M_{g,n}$ is ample if and only if it positively intersects the $F-$curves. In this paper the F-conjecture on $\M_{g,n}$ is reduced to showing that certain divisors in $\M_{0,N}$ for $N \leq g+n$ are equi…
A broadly applicable geometric approach for constructing nef divisors on blow ups of algebraic surfaces at n general points is given; it works for all surfaces in all characteristics for any n. This construction is used to obtain substantial improvements for currently known lower bounds for n point Seshadri constants. Remarks are included about a range of applications to classical problems involving linear systems on P2.
Q-divisor and Ampleness
该研究针对复光滑射影簇上的除子，利用乘子理想层和模型范畴给出其为丰沛除子的两个判别准则，为代数几何中丰沛性判定提供新方法。
In previous papers we define certain Lagrangian shadows of ample divisors in algebraic varieties. In the present brief note an existence condition is discussed for these Lagrangian shadows.
Let $X$ be a compact Kähler manifold and $D$ be a simple normal crossing divisor. If $D$ is the support of some effective $k$-ample divisor, we show $$ H^q(X,Ω^p_X(\log D))=0,\quad \text{for}\quad p+q>n+k.$$
This paper proves a finiteness result for families of integral points on a semiabelian variety minus a divisor, generalizing the corresponding result of Faltings for abelian varieties. Combined with the main theorem of the first part of this paper, this gives a finiteness statement for integral points on a closed subvariety of a semiabelian variety, minus a divisor. In addition, the last two sections generalize some standard results on closed subvarieties of semiabelian varieties to the context of closed subvarieties minus divisors.
Strictly nef divisors on K-trivial fourfolds
本文证明了K-平凡四维流形上严格nef除子的丰度猜想和Serrano猜想，指出具有平凡典范丛和消失非正则性的射影四维流形上的严格nef除子都是丰沛的。
In this article we give a general approach to the following analogue of Shafarevich's conjecture for some polarized algebraic varieties; suppose that we fix a type of an algebraic variety and look at families of such type of varieties over a fixed Riemann surface with fixed points over which we have singular varieties, then one can ask if the set of such families, up to isomorphism, is finite. In this paper we give a general approach to such types of problems. The main observation is the following; suppose that the moduli space of a fixed type of algebraic polarized variety exists and suppose …
The main object of the present paper is a numerical criterion determining when a Weil divisor of a $\Q$--factorial complete toric variety admits a positive multiple Cartier divisor which is either numerically effective (nef) or ample. It is a consequence of $\Z$--linear interpretation of Gale duality and se\-con\-dary fan as developed in several previous papers of us. As a byproduct we get a computation of the Cartier index of a Weil divisor and a numerical characterization of weak $\Q$--Fano, $\Q$--Fano, Gorenstein, weak Fano and Fano toric varieties. Several examples are then given and studi…
We give a condition for certain divisors on the blow up of P^3 at points in general position to be ample. The result extends a theorem of G. Xu on the blow up of the projective plane.
We prove a gluing theorem which allows to construct an ample divisor on a rational surface from two given ample divisors on simpler surfaces. This theorem combined with the Cremona action on the ample cone gives rise to an algorithm for constructing new ample divisors. We then propose a conjecture relating continued fractions approximations and Seshadri-like constants of line bundles over rational surfaces. By applying our algorithm recursively we verify our conjecture in many cases and obtain new asymptotic estimates on these constants. Finally, we explain the intuition behind the gluing theo…
We introduce a conjecture on homological mirror symmetry relating the symplectic topology of the complement of a smooth ample divisor in a K3 surface to algebraic geometry of type III degenerations, and prove it when the degree of the divisor is either 2 or 4.
We study $l$-very ample, ample and semi-ample divisors on the blown-up projective space $\mathbb{P}^n$ in a collection of points in general position. We establish Fujita's conjectures for all ample divisors with the number of points bounded above by $2n$ and for an infinite family of ample divisors with an arbitrary number of points.
On the Kodaira--Saito vanishing theorem of weakly ample divisor
本文在光滑射影簇上，针对层上同调意义下弱丰沛的既约有效除子，引入并证明了相应的Kadaira--Saito消没定理。
Let $\mathcal{V}$ be an integral normal complex projective variety of dimension $n\geq 3$ and denote by $\mathcal{L}$ an ample line bundle on $\mathcal{V}$. By imposing that the linear system $|\mathcal{L}|$ contains an element $A=A_{1}+...+A_{r}, r\geq 1$, where all the $A_{i}$'s are distinct effective Cartier divisors with Pic$(A_i)=\mathbb{Z}$, we show that such a $\mathcal{V}$ is as special as the components $A_i$ of $A\in |\mathcal{L}|$. After making a list of some consequences about the positivity of the components $A_i$, we characterize pairs $(\mathcal{V}, \mathcal{L})$ as above when e…
In this paper, we study properties of Weil height functions associated with numerically trivial divisors. It helps us to define the fractional limit of $h_E$ with respect to $h_D$ on $U$, with $D$ ample: \[ \Flim_D(E,U) := \liminf_{\substack{P \in U h_D(P) \rightarrow \infty}}\dfrac{h_E(P)}{h_D(P)}. \] The value of $\Flim_D(E,U)$ contains numerical information about a divisor $E$, enough to determine whether $E$ is ample, numerically effective or pseudo-effective.
Let $\mathscr{L} \rightarrow X$ be an ample line bundle over a complex normal projective variety $X$. We construct a flag $X_0 \subseteq X_1 \subseteq \cdots \subseteq X_n=X$ of subvarieties for which the associated Okounkov body for $\mathscr{L}$ is a rational polytope. In the case when $X$ is a homogeneous surface, and the pseudoeffective cone of $X$ is rational polyhedral, we also show that the global Okounkov body is a rational polyhedral cone if the flag of subvarieties is suitably chosen. Finally, we provide an application to the asymptotic study of group representations.
Positive cones of $b$-divisor classes
本文利用 Seshadri 常数定义丰富 Cartier $b$-除子类，证明其构成 nef 锥内的凸锥，并刻画大除子类的凸锥及拉回性质。
Singularities of divisors of small degrees on abelian varieties
本文将 Pareschi 关于单阿贝尔簇上小度数丰富除子具有温和奇点的结果推广到一般极化阿贝尔簇，并进一步证明度数为 3 或 4 的丰富除子也具有温和奇点。
In Butler, J.Differential Geom. 39 (1):1--34,1994, the author gives a sufficient condition for a line bundle associated with a divisor D to be normally generated on $X=P(E)$ where E is a vector bundle over a smooth curve C. A line bundle which is ample and normally generated is automatically very ample. Therefore the condition found in Butler's work, together with Miyaoka's well known ampleness criterion, give a sufficient condition for the very ampleness of D on X. This work is devoted to the study of numerical criteria for very ampleness of divisors D which do not satisfy the above criterion…
Suppose X is a projective variety, which needs not be smooth, and L an ample divisor on X. We show that there are integers c and b such that for any nonnegative integer p, L^d is normally generated and embeds X as a variety who defining ideal has linear syzygies upto the p-th step (i.e. L^d has property N_p) for all d >= cp + b.
We explore some of the interplay between Brill-Noether subvarieties of the moduli space SU_C(2,K) of rank 2 bundles with canonical determinant on a smooth projective curve and 2θdivisors, via the inclusion of the moduli space into |2θ|, singular along the Kummer variety. In particular we show that the moduli space contains all the trisecants of the Kummer and deduce that there are quadrisecant lines only if the curve is hyperelliptic; we show that for generic curves of genus <6, though no higher, bundles with >2 sections are cut out by Γ_00; and that for genus 4 this locus is precisely the Don…
In the framework of Special Bohr - Sommerfeld geometry it was established that an ample divisor in compact algebraic variety can define almost canonically certain real submanifold which is lagrangian with respect to the corresponding Kahler form. It is natural to call it "lagrangian shadow"; below we emphasize this correspondence and present some simple examples, old and new. In particular we show that for irreducible divisors from the linear system $\vert - \frac{1}{2} K_{F^3} \vert$ on the full flag variety $F^3$ their lagrangian shadows are Gelfand - Zeytlin type lagrangian 3 - spheres.
Serrrano's Conjecture says that if $L$ is a strictly nef line bundle on a smooth projective variety $X$, then $K_X+tL$ is ample for $ t > dim X+1$. In this paper I will prove a few cases of this conjecture. I will also prove a generalized version of this conjecture (due to Campana, Chen and Peternell) for surfaces. In the last section, assuming the SHGH conjecture, I will give a series of examples of strictly nef non ample divisors on surfaces of arbitary Kodaira dimension.
We study the Albanese image of a compact Kähler manifold whose geometric genus is one. We prove that if the Albanese map is not surjective, then the manifold maps surjectively onto an ample divisor in some abelian variety, and in many cases the ample divisor is a theta divisor. With a further natural assumption on the topology of the manifold, we prove that the manifold is an algebraic fiber space over a genus two curve. Finally we apply these results to study the geometry of a compact Kähler manifold which has the same Hodge numbers as those of an abelian variety of the same dimension.
We give a criterion for a nef divisor $D$ to be semiample on a Calabi--Yau threefold $X$ when $D^3=0=c_2(X)\cdot D$ and $c_3(X)\neq 0$. As a direct consequence, we show that on such a variety $X$, if $D$ is strictly nef and $ν(D)\neq 1$, then $D$ is ample; we also show that if there exists a nef non-ample divisor $D$ with $D\not\equiv 0$, then $X$ contains a rational curve when its topological Euler characteristic is not $0$.
We prove the finiteness of log pluricanonical representations for projective log canonical pairs with semi-ample log canonical divisor. As a corollary, we obtain that the log canonical divisor of a projective semi log canonical pair is semi-ample if and only if so is the log canonical divisor of its normalization. We also treat many other applications.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。