Luigi Lombardi, Francesco Malaspina
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.
机构、总结、中文摘要均由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 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.
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.
On the subvarieties with nonsingular real loci of a real algebraic variety
针对光滑射影实代数簇，研究了用子簇实轨迹逼近实流形及由非奇异或空实轨迹子簇生成的Chow群子群问题，给出了新的正反结果。
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.
We generalize some results of A.J. Sommese, B. Totaro and M.V. Brown, providing some geometric interpretations of the notion of partial ampleness.
In this short note we show that, for any ample embedding of a variety of dimension at least two in a projective space, all high enough degree Veronese re-embeddings have non-empty Terracini loci.
Ample bodies and Terracini loci of projective varieties
本文引入射影簇的充足体概念，用以证明 Terracini 轨迹为空，并给出环面簇与齐次簇的特定可辨识性结论。
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…
Double ramification loci, also known as strata of $0$-differentials, are algebraic subvarieties of the moduli space of smooth curves parametrizing Riemann surfaces such that there exists a rational function with prescribed ramification over $0$ and $\infty$. We describe the closure of double ramification loci inside the Deligne-Mumford compactification in geometric terms. To a rational function we associate its exact differential, which allows us to realize double ramification loci as linear subvarieties of strata of meromorphic differentials. We then obtain a geometric description of the clos…
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.
The bad locus and the rude locus of an ample and base point free linear system on a smooth complex projective variety are introduced and studied. The bad locus is defined as the set of points that force divisors through them to be reducible. The rude locus is defined as the set of points such that divisors that are singular at them are forced to be reducible. The existence of a nonmempty bad locus is shown to be exclusively a two dimensional phenomenon. Polarized surfaces of small degree, or whose degree is the square of a prime, with nonempty bad loci are completely classified. Several explic…
On a conjecture on Hodge loci of linear combinations of linear subvarieties
本文针对 Movasati 关于包含相交 $k$-平面的三次和四次超曲面 Hodge 轨迹维数的猜想，在 $k \geq 5$ 时给出反例，并在 $k=3,4$ 时提供支持该猜想的新证据。
On the connectedness of some degeneracy loci and of Ulrich subvarieties
本文研究了某些退化 locus 和 Ulrich 子变种的连通性，通过 Chern 类的消失条件和 V-大性证明了其连通性，并在 Ulrich 包情况下给出了更详细的结果。
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…
Any smooth projective variety contains many complete intersection subvarieties with ample cotangent bundles, of each dimension up to half its own dimension.
Let $\mathcal H_g$ be the moduli space of genus $g$ hyperelliptic curves. In this note, we study the locus $\mathcal L$ in $\mathcal H_g$ of curves admitting a $G$-action of given ramification type $σ$ and inclusions between such loci. For each genus we determine the list of all possible groups, the inclusions among the loci, and the corresponding equations of the generic curve in $\mathcal L$. The proof of the results is based solely on representations of finite subgroups of $PGL_2 (\mathbb C)$ and the Riemann-Hurwitz formula.
Laurent polynomial mirrors for quiver flag zero loci
本文针对高维法诺簇分类问题，将Gelfand–Cetlin退化推广到Y形箭图旗簇，提出构造法诺箭图旗零轨迹洛朗多项式镜像的方法，并验证了99个四维情形的猜想镜像。
A polarizable variation of Hodge structure over a smooth complex quasi projective variety $S$ is said to be defined over a number field $L$ if $S$ and the algebraic connection associated to the variation are both defined over $L$. Conjecturally any special subvariety (also called "an irreducible component of the Hodge locus) for such variations is defined over $\overline{\mathbb{Q}}$, and its Galois conjugates are also special subvarieties. We prove this conjecture for special subvarieties satisfying a simple monodromy condition. As a corollary we reduce the conjecture that special subvarietie…
Some rational subvarieties of moduli spaces of stable vector bundles
本文研究了在模空间中具有固定行列式和秩的稳定向量丛族，通过格拉斯曼变种参数化，构造了与之双有理的特殊子簇。
We determine non hyper elliptic curves of genus $g(C)\geq 9$, such that for some very ample line bundle on them and for some integers d and r with some prescribed assumptions, the dimension of secant loci, attains one less than its maximum value. Then we proceed to generalize and extend a problem of M. Coppens to Secant Loci.
Let $(X,L,V)$ be a triplet where $X$ is an irreducible smooth complex projective variety, $L$ is an ample and spanned line bundle on $X$ and $V\subseteq H^0(X,L)$ spans $L$. The discriminant locus $\Cal D(X,V) \subset |V|$ is the algebraic subset of singular elements of $|V|$. We study the components of $\Cal D(X,V)$ in connection with the jumping sets of $(X,V)$, generalizing the classical biduality theorem. We also deal with the degree of the discriminant (codegree of $(X,L,V)$) giving some bounds on it and classifying curves and surfaces of codegree 2 and 3. We exclude the possibility for t…
We show that the dual of the cone of divisors on a complete Q-factorial toric variety X whose stable base loci have dimension less than k is generated by curves on small modifications that move in families sweeping out the birational transforms of k-dimensional subvarieties of X. We give an example showing that it does not suffice to consider curves on X itself.
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.
Three formulas for CSM classes of open quiver loci
本文通过严格秩条件定义开放箭图轨迹，并给出计算其等变Chern-Schwartz-MacPherson类的几何公式和两个组合公式，这些类细化了箭图多项式的数据。
Consider a flag variety $Fl$ over an algebraically closed field, and a subvariety $V$ whose cycle class is a multiplicity-free sum of Schubert cycles. We show that $V$ is arithmetically normal and Cohen-Macaulay, in the projective embedding given by any ample invertible sheaf on $Fl$.
Zero-schemes on smooth complex projective varieties, forcing all elements of ample and free linear systems to be reducible are studied. Relationships among the minimal length of such zero-schemes, the positivity of the line bundle associated with the linear system, and the dimension of the variety are established. A generalization to higher dimension subschemes is studied in the last section.
Quiver flag zero loci are subvarieties of quiver flag varieties cut out by sections of homogeneous vector bundles. We prove the Abelian/non-Abelian Correspondence in this context: this allows us to compute genus zero Gromov--Witten invariants of quiver flag zero loci. We determine the ample cone of a quiver flag variety, disproving a conjecture of Craw. In the Appendices, which are joint work with Tom Coates and Alexander Kasprzyk, we use these results to find four-dimensional Fano manifolds that occur as quiver flag zero loci in ambient spaces of dimension up to 8, and compute their quantum p…
In this paper we construct Shimura subvarieties of dimension bigger than one of the moduli space of polarised abelian varieties of a given dimension, which are generically contained in the Pym loci of (ramified) double covers. The idea is to adapt the techniques already used to construct Shimura curves in the Prym loci to the higher dimensional case, namely to use families of Galois covers of the projective line. The case of abelian covers is treated in detail, since in this case it is possible to make explicit computations that allow to verify a sufficient condition for such a family to yield…
We provide a bound on the $Θ$-regularity of an arbitrary reduced and irreducible curve embedded in a polarized abelian variety in terms of its degree and codimension. This is an "abelian" version of Gruson-Lazarsfeld-Peskine's bound on the Castelnuovo--Mumford regularity of a non-degenerate curve embedded in a projective space. As an application, we provide a Castelnuovo type bound for the genus of a curve in a (non necessarily principally) polarized abelian variety. Finally, we bound the $Θ$-regularity of a class of higher dimensional subvarieties in Jacobian varieties, i.e. the Brill-Noether…
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…
We extend to normal projective varieties defined over an arbitrary algebraically closed field a result of Ein, Lazarsfeld, Mustaţă, Nakamaye and Popa characterizing the augmented base locus (aka non-ample locus) of a line bundle on a smooth projective complex variety as the union of subvarieties on which the restricted volume vanishes. We also give a proof of the folklore fact that the complement of the augmented base locus is the largest open subset on which the Kodaira map defined by large and divisible multiples of the line bundle is an isomorphism.
An Okounkov body is a convex subset of Euclidean space associated to a divisor on a smooth projective variety with respect to an admissible flag. In this paper, we recover the asymptotic base loci from the Okounkov bodies by studying various asymptotic invariants such as the asymptotic valuations and the moving Seshadri constants. Consequently, we obtain the nefness and ampleness criteria of divisors in terms of the Okounkov bodies. Furthermore, we compute the divisorial Zariski decomposition by the Okounkov bodies, and find upper and lower bounds for moving Seshadri constants given by the siz…
In this note we derive from deep results due to Clozel-Ullmo the density of Noether-Lefschetz loci inside the moduli space of marked (polarized) irreducible holomorphic symplectic (IHS) varieties. In particular we obtain the density of Hilbert schemes of points on projective $K3$ surfaces and of projective generalized Kummer varieties in their moduli spaces. We present applications to the existence of rational curves on projective deformations of such varieties, to the study of relevant cones of divisors, and a refinement of Hassett's result on cubic fourfolds whose Fano variety of lines is is…
Recent developments on the uniformity of the number of rational points on curves and subvarieties in a moving abelian variety rely on the geometric concept of the degeneracy locus. The first-named author investigated the degeneracy locus in certain mixed Shimura varieties. In this expository note we revisit some of these results while minimizing the use of mixed Shimura varieties while working in a family of principally polarized abelian varieties. We also explain their relevance for applications in diophantine geometry.
We approach non-divisorial base loci of big and nef line bundles on irreducible symplectic varieties. While for K3 surfaces, only divisorial base loci can occur, nothing was known about the behaviour of non-divisorial base loci for more general irreducible symplectic varieties. We determine the base loci of all big and nef line bundles on the Hilbert scheme of two points on very general K3 surfaces of genus two and on their birational models. Remarkably, we find an ample line bundle with a non-trivial base locus in codimension two. We deduce that, generically in the moduli spaces of polarized …
Let $Y$ be a smooth complex projective variety of dimension $N+1$, $L$ an invertible sufficiently ample sheaf, $X\in |L|$ a smooth hypersurface and $λ\in F^kH^N(X,C)$ a vanishing cohomology class, where $F^{*}$ is the Hodge filtration and $k\in\{1,...,[N/2]\}$. Assume that $L$ is sufficiently ample and that the codimension in $|L|$ of the Hodge variety associated to $λ$ (locally defined as the locus where the image of $λ$ by flat transport over $|L|$ remains in $F^k$) is sufficiently small. I show that this forces $N$ to be even and $k=[N/2]$, and that the class $λ$ is a linear combination wit…
Let X be a projective variety which is algebraic Lang hyperbolic. We show that Lang's conjecture holds (one direction only): X and all its subvarieties are of general type and the canonical divisor K_X is ample at smooth points and Kawamata log terminal points of X, provided that K_X is Q-Cartier, no Calabi-Yau variety is algebraic Lang hyperbolic and a weak abundance conjecture holds.
Let $X$ be a normal projective variety defined over an algebraically closed field and let $Z$ be a subvariety. Let $D$ be an $\mathbb R$-Cartier $\mathbb R$-divisor on $X$. Given an expression $(\ast) \ D \sim_{\mathbb R} t_1 H_1 + \ldots + t_s H_s$ with $t_i \in \mathbb R$ and $H_i$ very ample, we define the $(\ast)$-restricted volume of $D$ to $Z$ and we show that it coincides with the usual restricted volume when $Z \not\subseteq \mathbf{B}_+(D)$. Then, using some recent results of Birkar (arXiv:1312.0239), we generalize to $\mathbb R$-divisors the two main results of arXiv:1305.4284 by Bou…
Asymptotic base loci on hyper-Kähler manifolds
本文研究射影 hyper-Kähler 流形上大除子的渐近基轨迹，利用数值刻画和分解方法确定了 $k$-丰富除子锥的对偶，并将有效锥分解为 Mori 型腔室，肯定回答了 Sam Payne 的问题。
We consider the action of a semisimple subgroup $\hat G$ of a semisimple complex group $G$ on the flag variety $X=G/B$, and the linearizations of this action by line bundles $\mathcal L$ on $X$. The main result is an explicit description of the associated unstable locus in dependence of $\mathcal L$, as well as a combinatorial formula for its (co)dimension. We observe that the codimension is equal to 1 on the regular boundary of the $\hat G$-ample cone, and grows towards the interior in steps by 1, in a way that the line bundles with unstable locus of codimension $q$ form a convex polyhedral c…
Determining the number of singular fibers in a family of varieties over a curve is a generalization of Shafarevich's Conjecture and has implications for the types of subvarieties that can appear in the corresponding moduli stack. We consider families of log canonically polarized varieties over $¶^1$, i.e. families $g:(Y,D)\to ¶^1$ where $D$ is an effective snc divisor and the sheaf $ω_{Y/¶^1}(D)$ is $g$-ample. After first defining what it means for fibers of such a family to be singular, we show that with the addition of certain mild hypotheses (the fibers have finite automorphism group, $\sO_…
Projective varieties with ample cotangent bundle satisfy many notions of hyperbolicity, and one goal of this paper is to discuss generalizations to quasi-projective varieties. A major hurdle is that the naive generalization fails, i.e. the log cotangent bundle is never ample. Instead, we define a notion called almost ample which roughly asks that the log cotangent is as positive as possible. We show that all subvarieties of a quasi-projective variety with almost ample log cotangent bundle are of log general type. In addition, if one assumes globally generated then we obtain that such varieties…
A note on Bondal's conjecture
论文证明了 ample Poisson 线丛关联的连接向量场除非 Poisson 结构为零否则不是局部哈密顿的，并以此支持Bondal猜想关于holomorphic Fano Poisson manifold退化 locus维度的猜想。
Let $X$ be a projective Frobenius split variety over an algebraically closed field with splitting $θ: F_* Ø_X \to Ø_X$. In this paper we give a sharp bound on the number of subvarieties of $X$ compatibly split by $θ$. In particular, suppose $\sL$ is a sufficiently ample line bundle on $X$ (for example, if $\sL$ induces a projectively normal embedding) with $n = \dim H^0(X, \sL)$. We show that the number of $d$-dimensional irreducible subvarieties of $X$ that are compatibly split by $θ$ is less than or equal to ${n \choose d+1}$. This generalizes a well known result on the number of closed poin…
Volumes of Subvarieties of Complex Ball Quotients and Sparsity of Rational Points
本文证明复球商子簇体积受其 systole 控制，进而统一控制有理点增长率，并给出典范丛倍数的有效生成与非常丰沛性结果。
Positivity of the Cotangent Bundle of Complex Hyperbolic Manifolds with Cusps
本文研究带尖点的复双曲流形环面紧化上余切丛及其对数变体的正性，证明其丰沛性，并给出尖点深度大于4π时子簇一般型及最小体积趋于无穷的结论。
In this paper, we study the relative anti-canonical divisor $-K_{X/Y}$ of an algebraic fiber space $ϕ: X \to Y$, and we reveal relations among positivity conditions of $-K_{X/Y}$, certain flatness of direct image sheaves, and variants of the base loci including the stable (augmented, restricted) base loci and upper level sets of Lelong numbers. This paper contains three main results: The first result says that all the above base loci are located in the horizontal direction unless they are empty. The second result is an algebraic proof for Campana--Cao--Matsumura's equality on Hacon--$\rm{M^c}$…
We study the Fourier-Mukai transform for holonomic D-modules on complex abelian varieties. Among other things, we show that the cohomology support loci of a holonomic D-module are finite unions of linear subvarieties, which go through points of finite order for objects of geometric origin; that the standard t-structure on the derived category of holonomic complexes corresponds, under the Fourier-Mukai transform, to a certain perverse coherent t-structure in the sense of Kashiwara and Arinkin-Bezrukavnikov; and that Fourier-Mukai transforms of simple holonomic D-modules are intersection complex…
We construct the algebraic cobordism theory of bundles and divisors on smooth varieties. It has a simple basis (over Q) from projective spaces and its rank is equal to the number of Chern invariants. As an application we study the number of singular subvarieties satisfying given tangent conditions with a fixed smooth divisor, where the subvariety is the zero locus of a section of a vector bundle. We prove that the generating series gives a homomorphism from the algebraic cobordism group to the power series ring. This implies that the number of singular subvarieties with tangency conditions is …
We study ample divisors X with only rational singularities on abelian varieties that decompose into a sum of two lower dimensional subvarieties, X=V+W. For instance, we prove an optimal lower bound on the degree of the corresponding addition map, and show that the minimum can only be achieved if X is a theta divisor. Conjecturally, the latter happens only on Jacobians of curves and intermediate Jacobians of cubic threefolds. As an application, we prove that nondegenerate generic vanishing subschemes of indecomposable principally polarized abelian varieties are automatically reduced and irreduc…
Let X be a nonsingular simply connected projective variety of dimension m, E a rank n vector bundle on X, and L a line bundle on X. Suppose that $S^2(E^{*}) \otimes L$ is an ample vector bundle and that there is a constant even rank $r \ge 2$ symmetric bundle map $E \to E^{*} \otimes L$. We prove that $m \le n-r$. We use this result to solve the constant rank problem for symmetric matrices, proving that the maximal dimension of a linear subspace of the space of $m\times m$ symmetric matrices such that each nonzero element has even rank $r \ge 2$ is $m-r+1$. We explain how this result relates t…
Projective subvarieties of Bogomolov-Guan manifolds and quasi-diagonals in products of elliptic curves
研究非凯勒全纯辛流形 Bogomolov-Guan 中的复子簇，通过拟对角线分类射影子簇，证明一般情形下射影子簇属于Lagrangian纤维的纤维。
We find a relation between mixed volumes of several polytopes and the convex hull of their union, deducing it from the following fact: the mixed volume of a collection of polytopes only depends on the product of their support functions (rather than on the individual support functions). For integer polytopes, this dependence is essentially a certain specialization of the isomorphism between two well-known combinatorial models for the cohomology of toric varieties, however, this construction has not been extended to arbitrary polytopes so far (partially due to the lack of combinatorial tools cap…
Coherent sheaves on subvarieties in Hopf manifolds
本文证明了对于具有中心为x的可逆全纯收缩γ的正规复解析簇X，GAGA定理的一个版本，并研究了X的仿射簇结构以及γ-等变凝聚层的代数化，进而通过商簇X₀/γ嵌入Hopf流形，给出了Hopf流形中正规子簇的结构定理和凝聚层的滤过性。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。