Lawrence Ein, Robert Lazarsfeld, Mircea Mustata, Michael Nakamaye, Mihnea Popa
We introduce and study the restricted volume of a divisor along a subvariety. Our main result is a description of the irreducible components of the augmented base locus by the vanishing of the restricted volume.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We introduce augmented and restricted base loci of cycles and we study the positivity properties naturally defined by these base loci.
In this paper, we collect some fundamental properties of the arithmetic restricted volumes (or the arithmetic multiplicities) of the adelically metrized line bundles. The arithmetic restricted volume has the concavity property and characterizes the arithmetic augmented base locus as the null locus. We also show a generalized Fujita approximation for the arithmetic restricted volumes.
We give an explicit expression for the contact loci of hyperplane arrangements and show that their cohomology rings are combinatorial invariants. We also give an expression for the restricted contact loci in terms of Milnor fibers of associated hyperplane arrangements. We prove the degeneracy of a spectral sequence related to the restricted contact loci of a hyperplane arrangement and which conjecturally computes algebraically the Floer cohomology of iterates of the Milnor monodromy. We give formulas for the Betti numbers of contact loci and restricted contact loci in generic cases.
Let $n\geq 4$, $2 \leq r \leq n-2$ and $e \geq 1$. We show that the intersection of the locus of degree $e$ morphisms from $\mathbb{P}^1$ to $G(r,n)$ with the restricted universal sub-bundles having a given splitting type and the locus of degree $e$ morphisms with the restricted universal quotient-bundle having a given splitting type is non-empty and generically transverse. As a consequence, we get that the locus of degree $e$ morphisms from $\mathbb{P}^1$ to $G(r,n)$ with the restricted tangent bundle having a given splitting type need not always be irreducible.
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.
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…
We prove that the non-nef locus and the restricted base locus of a pseudoeffective divisor coincide on KLT pairs. We also extend to KLT pairs F. Russo's characterization of nef and abundant divisors by means of asymptotic multiplier ideals.
The aim of this note is to shed some light on the relationships among some notions of positivity for vector bundles that arose in recent decades. Our purpose is to study several of the positivity notions studied for vector bundles with some notions of asymptotic base loci that can be defined on the variety itself, rather than on the projectivization of the given vector bundle. We relate some of the different notions conjectured to be equivalent with the help of these base loci, and we show that these can help simplify the various relationships between the positivity properties present in the l…
Given a vector bundle on a $\mathbb{P}^1$ bundle, the base is stratified by degeneracy loci measuring the spitting type of the vector bundle restricted to each fiber. The classes of these degeneracy loci in the Chow ring or cohomology ring of the base are natural invariants characterizing the degenerations of the vector bundle. When these degeneracy loci occur in the expected codimension, we find their classes. This yields universal formulas for degeneracy classes in terms of naturally arising vector bundles on the base. Our results hold over arbitrary fields of any characteristic.
In this paper we explore the connection between asymptotic base loci and Newton-Okounkov bodies associated to infinitesimal flags. Analogously to the surface case, we obtain complete characterizations of augmented and restricted base loci. Interestingly enough, an integral part of the argument is a study of the relationship between certain simplices contained in Newton-Okoukov bodies and jet separation; our results also lead to a convex geometric description of moving Seshadri constants.
We compute the class of the locus in M_g of curves having a pencil with two unspecified triple ramification points. This is the first example of a geometric divisor on M_g which is not the pull-back of a divisor on the moduli space of pseudo-stable curves. This space, in which elliptic tails are replaced by cusps, appears as a result of the first divisorial contraction in the minimal model program for M_g. In particular, we show that our divisor picks-up the locus of Fermat cubic tails when restricted to the boundary divisor of elliptic tails. We also give various enumerative applications conc…
We give equivalent descriptions for the augmented and diminished base loci of vector bundles in characteristic zero. We show that these base loci behave well under pullback, tensor product, and direct sum. Pathological behavior is observed on some nonsplit exact sequences.
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 generalize some results of A.J. Sommese, B. Totaro and M.V. Brown, providing some geometric interpretations of the notion of partial ampleness.
We explain how to deduce from recent results in the Minimal Model Program a general uniruledness theorem for base loci of adjoint divisors. We also show how to recover special cases by extending a technique introduced by Takayama.
Comparison and uniruledness of asymptotic base loci
本文证明了具有大典范类的NQC klt广义对的渐近基轨迹具有一致直纹性，并证明了NQC对数典范广义对伴随除子的非nef轨迹与缩减基轨迹重合，进而应用于广义对数Calabi-Yau型簇。
The purpose of this paper is to investigate the behaviour of certain asymptotic invariants of line bundles on projective surfaces. In particular, we describe the volume of line bundles and their destabilizing numbers.
Waring problem for homogeneus forms asks for additive decomposition of a form $f$ into powers of linear forms. A classical problem is to determine when such a decomposition is unique. In this note I refine the work in arXiv:math/0406288v1 and answer this question under a divisibility assumption. To do this I translate the algebraic statement into a geometric one concerning the base loci of linear systems of $P^n$ with assigned singularities.
Erratum to the paper: Asymptotic Invariants of Base Loci
本文针对论文《Asymptotic Invariants of Base Loci》中一项技术结果的证明漏洞进行勘误，并提供正确证明。
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.
We first construct explicit bases for the cotangent spaces at singular points on Hibi toric varieties, i.e., toric varieties associated to distributive lattices. We then determine the singular loci of these toric varieties.
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…
Suppose D is an effective divisor on a smooth projective algebraic variety X. For each point x of X we associate a numberical invariant called the moving Seshadri constant of D at x which is a numerical measure of positivity of the divisor D at x. We determine the base locus of a large multiple of D by studying these moving Seshadri constants-- the drawback to this method is that these moving Seshadri constants are extremely difficult to compute.
Relative augmented base loci on noetherian schemes
本文在诺特概形上证明可逆层的相对增广基轨迹等于相对例外轨迹，并给出推广 Keel 结果的半丰富性判据。
Anticanonical divisor with good asymptotic base loci
研究通过反典范除子的渐近基轨迹刻画 Fano 型簇，并在无 plc 中心落入增广基轨迹时证明潜在 lc 配对存在良好极小模型。
Singularities of base loci on abelian varieties
本文证明复阿贝尔簇上完全线性系统的基理想的log规范阈值≥1，且等式成立当且仅当基点有除子分量。
Let $(X,B)$ be a projective log canonical pair such that $B$ is a $\Q$-divisor, and that there is a surjective morphism $f\colon X\to Z$ onto a normal variety $Z$ satisfying: $K_X+B\sim_\Q f^*M$ for some $\Q$-divisor $M$, and the augmented base locus ${\bf{B_+}}(M)$ does not contain the image of any log canonical centre of $(X,B)$. We will show that $(X,B)$ has a good log minimal model. An interesting special case is when $f$ is the identity morphism.
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 …
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…
We study the cone of Moriwaki divisors on \bar{M}_g by means of augmented base loci. Using a result of Moriwaki, we prove that an R-divisor D satisfies the strict Moriwaki inequalities if and only if the augmented base locus of D is contained in the boundary of \bar{M}_g. Then we draw some interesting consequences on the Zariski decomposition of divisors on \bar{M}_g, on the minimal model program of \bar{M}_g and on the log canonical models \bar{M}_g(α).
Asymptotic base loci on hyper-Kähler manifolds
本文研究射影 hyper-Kähler 流形上大除子的渐近基轨迹，利用数值刻画和分解方法确定了 $k$-丰富除子锥的对偶，并将有效锥分解为 Mori 型腔室，肯定回答了 Sam Payne 的问题。
In this article we define and study convex bodies associated to linear series of adelic divisors over quasi-projective varieties that have been introduced recently by Xinyi Yuan and Shou-Wu Zhang. Restricting our attention to big adelic divisors, we deduce properties of volumes obtained by Yuan and Zhang using different convex geometric arguments. We go on to define augmented base loci and restricted volumes of adelic divisors following the works of Michael Nakamaye and develop a similar study using convex bodies to obtain analogous properties for restricted volumes. We closely follow methods …
We study the base locus of the higher fundamental forms of a projective toric variety $X$ at a general point. More precisely we consider the closure $X$ of the image of a map $({\mathbb C}^*)^k\to {\mathbb P}^n$, sending $t$ to the vector of Laurent monomials with exponents $p_0,\dots,p_n\in {\mathbb Z}^k$. We prove that the $m$-th fundamental form of such an $X$ at a general point has non empty base locus if and only if the points $p_i$ lie on a suitable degree-$m$ affine hypersurface. We then restrict to the case in which the points $p_i$ are all the lattice points of a lattice polytope and …
Fourier--Mukai loci are open and base change
该研究建立代数空间上相对完美复形理论，证明积分变换的纤维完全忠实或等价的轨迹具有开性，属于代数几何领域的理论成果。
On the strong base locus of a projective variety
本文研究了投影变种的基 locus 和强基 locus，探讨了其与切向接触及可识别性概念的联系，特别分析了张量相关变种的基 locus 非空性。
The bad locus of a base-point free linear system L on a normal complex projective variety X is defined as the subset B(L) of X of points that are not contained in any irreducible and reduced member of L. In this paper we provide a geometric description of such locus in terms of the morphism defined by L. In particular, assume that the dimension of X is at least 2, and that L is the complete linear system associated to an ample and spanned line bundle. It is known that in this case B(L) is empty unless X is a surface. Then we prove that, when the latter occurs, B(L) is not empty if and only if …
The purpose of this paper is to define and study systematically some asymptotic invariants associated to base loci of line bundles on smooth projective varieties. We distinguish an open dense subset of the real big cone, called the stable locus, consisting of the set of classes on which the asymptotic base locus is locally constant. The asymptotic invariants define continuous functions on the big cone, whose vanishing characterizes, roughly speaking, the unstable locus. We show that for toric varieties at least, there exists a polyhedral decomposition of the big cone on which these functions a…
We explore the relation between cohomology jump loci in a finite Galois cover, formality properties and algebraic monodromy action. We show that the jump loci of the base and total space are essentially the same, provided the base space is 1-formal and the monodromy action in degree 1 is trivial. We use reduced multinet structures on line arrangements to construct components of the first characteristic variety of the Milnor fiber in degree 1, and to prove that the monodromy action is non-trivial in degree 1. For an arbitrary line arrangement, we prove that the triviality of the monodromy in de…
We investigate the minimal singularities of metrics on a big line bundle $L$ over a projective manifold when the stable base locus $Y$ of $L$ is a submanifold of codimension $r\geq 1$. Under some assumptions on the normal bundle and a neighborhood of $Y$, we give a explicit description of the minimal singularity of metrics on $L$. We apply this result to study a higher (co-)dimensional analogue of Zariski's example, in which the line bundle $L$ is not semi-ample, however it is nef and big.
The geometry of the Fano scheme of maximal linear spaces contained in the base locus of a pencil of quadrics has been studied by algebraic geometers when the base field is algebraically closed. In this paper, we work over an arbitrary base field of characteristic not equal to 2 and show how these Fano schemes are related to the Jacobians of hyperelliptic curves. In particular, if $B$ is the base locus of a generic pencil of quadrics in $\bbp^{2n+1}$, and $F$ is the Fano variety of $n - 1$ planes contained in $B$, then $F$ is a component of a disconnected commutative algebraic group $G = \picz(…
Hodge theory for local systems and cohomological support loci
本文以 $\partial\bar{\partial}$-引理为统一框架，重新建立一般消失定理与上同调跳跃轨迹理论，并发展拟紧凯勒流形上一阶局部系统的 $L^2$-霍奇理论。
The purpose of this paper is to charazterize asymptotic base loci of line bundles on projective varieties via Newton-Okounkov bodies.
We define two tau functions, $τ$ and $\hatτ$ , on moduli spaces of spectral covers of $GL(n)$ Hitchin's systems. Analyzing the properties of $τ$, we express the divisor class of the universal Hitchin's discriminant in terms of standard generators of the rational Picard group of the moduli spaces of spectral covers with variable base. The function $\hatτ$ is used to compute the divisor of canonical 1-forms with multiple zeros.
We compare and contrast results of E. Davis, of A. Bigatti, A.V. Geramita and the author, and of J. Ahn and the author. The underlying idea is that certain numerical conditions on the Hilbert function of a finite set of points in projective space force geometric consequences on the base loci of the linear systems of hypersurfaces containing the points. When the points have uniform position, this tends to force better behavior for these base loci. However, unexpected behavior is still possible, and we give examples.
Containment problems for fat point schemes via asymptotic multiplier ideals
本研究通过渐近乘子理想方法探究射影空间中点的根基理想的包含问题，提出干净渐近乘子理想概念，推导相关不等式，验证双Hesse构形、线的星构形的干净性并提出线排列奇异点的干净性猜想。
We show that the augmented base locus coincides with the exceptional locus (i.e. null locus) for any nef $\mathbb{R}$-Cartier divisor on any scheme projective over a field (of any characteristic). Next we prove a semi-ampleness criterion in terms of the augmented base locus generalizing a result of Keel. We also study nef divisors with positive top intersection number, and discuss some problems related to augmented base loci of log divisors.
The higher direct image complex of a coherent sheaf (or finite complex of coherent sheaves) under a projective morphism is a fundamental construction that can be defined via a Cech complex or an injective resolution, both inherently infinite constructions. Using exterior algebras and relative versions of theorems of Beilinson and Bernstein-Gel'fand-Gel'fand, we give an alternate description in finite terms. Using this description we can characterize the generic complex, over the variety of finite free complexes of a given shape, as the direct image of an easily-described vector bundle. We can …
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。