Paolo Cascini, James McKernan, Mircea Mustata
Let L be a nef line bundle on a projective scheme X in positive characteristic. We prove that the augmented base locus of L is equal to the union of the irreducible closed subsets V of X such that the restriction of L to V is not big. For a smooth variety in characteristic zero, this was proved by Nakamaye using vanishing theorems.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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.
We study the pullback of the stable and augmented base locus under a finite surjective morphism between normal varieties over a perfect field.
Let $L$ be a nef and big line bundle on a scheme $X$. It is well known that if $X$ is a projective over a field then the augmented base locus and the exceptional base locus agree. This result is extended to projective schemes over arbitrary excellent Noetherian bases, assuming the result holds in characteristic zero. In particular the result holds if the base is a mixed characteristic Dedekind domain or if $L$ is semiample in characteristic $0$.
Relative augmented base loci on noetherian schemes
本文在诺特概形上证明可逆层的相对增广基轨迹等于相对例外轨迹，并给出推广 Keel 结果的半丰富性判据。
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.
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.
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 generalize Nakamaye's description, via intersection theory, of the augmented base locus of a big and nef divisor on a normal pair with log-canonical singularities or, more generally, on a normal variety with non-lc locus of dimension at most 1. We also generalize Ein-Lazarsfeld-Mustata-Nakamaye-Popa's description, in terms of valuations, of the subvarieties of the restricted base locus of a big divisor on a normal pair with klt singularities.
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(α).
We study birational transformations P^n--->S \subseteq P^N defined by linear systems of quadrics whose base locus is smooth and irreducible of dimension \leq3 and whose image S is sufficiently regular.
We present a new class of examples of base points for the generalized theta divisor on the moduli space of semistable vector bundles of trivial determinant on a compact Riemann surface and we prove that for sufficiently large rank the base locus is positive dimensional.
We produce a lower bound for the dimension of the base locus of the generalized theta divisor on the moduli space SU_C(r) of semistable vector bundles of rank r and trivial determinant on a smooth curve C of genus g > 1.
In this paper, we determine the stable base locus decomposition of the Kontsevich moduli spaces of degree two and three stable maps to Grassmannians. This gives new examples of the decomposition for varieties with Picard rank three. We also discuss the birational models that correspond to the chambers in the decomposition.
We compute the divisor class group of the general hypersurface Y of a complex projective normal variety X of dimension at least four containing a fixed base locus Z. We deduce that completions of normal local complete intersection domains of finite type over the complex numbers of dimension $\ge 4$ are completions of UFDs of finite type over the complex numbers.
Consider a (non-empty) linear system of surfaces of degree d in P^3 through at most 8 multiple points in general position and let L denote the corresponding complete linear system on the blowing-up X of P^3 along those general points. Then we determine the base locus of such linear systems L on X.
Fano fourfolds with large anticanonical base locus
针对法诺流形反典范除子的奇异性问题，本文对比三元体与四元体的差异，证明当四维法诺流形反典范系统基底轨迹为余维二的正规曲面时，所有反典范除子均奇异。
We compute the class groups of very general normal surfaces in complex projective three-space containing an arbitrary base locus $Z$, thereby extending the classic Noether-Lefschetz theorem (the case when $Z$ is empty). Our method is an adaptation of Griffiths and Harris' degeneration proof, simplified by a cohomology and base change argument. We give applications to computing Picard groups, which generalize several known results.
This paper shows that on the moduli space of semi-stable vector bundles of fixed rank and determinant (of any degree) on a smooth curve of genus at least two, the base locus of the generalized theta divisor is large provided the rank is sufficiently large. It also shows that the base locus is large for positive multiples of the theta divisor. This work extends results already known for the case where the determinant is of degree zero.
We study the birational geometry of Hilbert schemes of points on non-minimal surfaces. In particular, we study the weak Lefschetz Principle in the context of birational geometry. We focus on the interaction of the stable base locus decomposition (SBLD) of the cones of effective divisors of $X^{[n]}$ and $Y^{[n]}$, when there is a birational morphism $f:X\rightarrow Y$ between surfaces. In this setting, $N^1(Y^{[n]})$ embeds in $N^1(X^{[n]})$, and we ask if the restriction of the stable base locus decomposition of $N^1(X^{[n]})$ yields the respective decomposition in $N^1(Y^{[n]})$ $i.e.$, if t…
Let $\cM_r$ denote the moduli space of semi-stable rank-$r$ vector bundles with trivial determinant over a smooth projective curve $C$ of genus $g$. In this paper we study the base locus $\cB_r \subset \cM_r$ of the linear system of the determinant line bundle $\cL$ over $\cM_r$, i.e., the set of semi-stable rank-$r$ vector bundles without theta divisor. We construct base points in $\cB_{g+2}$ over any curve $C$, and base points in $\cB_4$ over any hyperelliptic curve.
In this paper, we first introduce geometric operations for linear categories, and as a consequence generalize Orlov's blow up formula [O04] to possibly singular local complete intersection centres. Second, we introduce refined blowing up of linear category along base--locus, and show that this operation is dual to taking linear section. Finally, as an application we produce examples of Calabi--Yau manifolds which admits Calabi--Yau categories fibrations over projective spaces.
Given a variation of Hodge structures on a quasi-projective base $S$, whose generic Mumford-Tate group is non-product, we prove that the (countable) union of positive components of the Hodge locus is either an algebraic subvariety of $S$, or is Zariski-dense in $S$.
On the strong base locus of a projective variety
本文研究了投影变种的基 locus 和强基 locus，探讨了其与切向接触及可识别性概念的联系，特别分析了张量相关变种的基 locus 非空性。
Let $Z$ be a closed subscheme of a smooth complex projective variety $Y\subseteq \Ps^N$, with $\dim\,Y=2r+1\geq 3$. We describe the intermediate Néron-Severi group (i.e. the image of the cycle map $A_r(X)\to H_{2r}(X;\mathbb{Z})$) of a general smooth hypersurface $X\subset Y$ of sufficiently large degree containing $Z$.
Fourier transform on the locus of cyclic spectral curves in the Hitchin base
本文计算了限制在 Hitchin base 内循环谱曲线轨迹上的 SL_n 的 Hitchin 映射下常数层前推的某些直和项的 Fourier 变换，并估计了其他直和项 Fourier 变换的支撑。
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 …
This paper shows that the multiplicity of the base points locus of a projective rational surface parametrization can be expressed as the degree of the content of a univariate resultant. As a consequence, we get a new proof of the degree formula relating the degree of the surface, the degree of the parametrization, the base points multiplicity, and the degree of the rational map induced by the parametrization. In addition, we extend both formulas to the case of dominant rational maps of the projective plane and describe how the base point loci of a parametrization and its reparametrizations are…
We study Shimura (special) subvarieties in the moduli space $A_{p,D}$ of complex abelian varieties of dimension $p$ and polarization type $D$. These subvarieties arise from families of covers compatible with a fixed group action on the base curve such that the quotient of the base curve by the group is isomorphic to $\mathbb{P}^1$. We give a criterion for the image of these families under the Prym map to be a special subvariety and, using computer algebra, obtain 210 Shimura subvarieties contained in the Prym locus.
Classification of Fano fourfolds with large anticanonical base locus
本文分类了反典范基轨迹为光滑曲面的光滑Fano四重，证明恰有22个形变族，均源于同一几何构造，并与具有$\mathbb P^1$-丛结构的Fano三重相关。
We exhibit a pseudoeffective R-divisor D_λon the blow-up of P^3 at nine very general points which lies in the closed movable cone and has negative intersections with a set of curves whose union is Zariski dense. It follows that the diminished base locus B_-(D_λ) = \bigcup_{A ample}} B(D_λ+A) is not closed and that D_λdoes not admit a Zariski decomposition in even a very weak sense. By a similar method, we construct an R-divisor on the family of blow-ups of P^2 at ten distinct points, which is nef on a very general fiber but fails to be nef over countably many prime divisors in the base.
We show how blowing up varieties in base loci of linear systems gives a procedure for creating new homological projective duals from old. Starting with a HP dual pair $X,Y$ and smooth orthogonal linear sections $X_L,Y_L$, we prove that the blowup of $X$ in $X_L$ is naturally HP dual to $Y_L$. The result does not need $Y$ to exist as a variety, i.e. it may be "noncommutative". We extend the result to the case where the base locus $X_L$ is a multiple of a smooth variety and the universal hyperplane has rational singularities; here the HP dual is a categorical resolution of singularities of $Y_L$…
Paracanonical base locus, Albanese morphism, and semi-orthogonal indecomposability of derived categories
本文证明光滑射影簇的副典范基点轨迹等于其对偶层相对 Albanese 态射的相对基点轨迹，并据此推出 Hilbert 概形及族中导出范畴的半正交不可分解性。
The effective cone of a Mori dream space admits two wall-and-chamber decompositions called Mori chamber and stable base locus decompositions. In general the former is a non trivial refinement of the latter. We investigate, from both the geometrical and the combinatorial viewpoints, the differences between these decompositions. Furthermore, we provide a criterion to establish whether the two decompositions coincide for a Mori dream space of Picard rank two, and we construct an explicit example of a Mori dream space of Picard rank two for which the decompositions are different, showing that our …
The purpose of this paper is to incorporate minimal free resolutions into the study of the birational geometry of the moduli space of coherent sheaves on the plane with character $ξ$, denoted by $M(ξ)$. We show that it is possible to recover the relevant Bridgeland destabilizing object from the minimal free resolution in order to compute the effective cone $\mathrm{Eff}(M(ξ))$ and conjecture a full relationship between Bridgeland destabilizing objects and minimal free resolutions. Moreover, we also prove that minimal free resolutions, paired with interpolation for vector bundles, yield the mov…
Given a vector bundle $E$ of rank $r$ and degree $d$ on a curve $C$ of genus $g$, one can associate to $E$ in a natural way several other vector bundles. For example, one can take wedge powers of $E$. If $E$ is generated by global sections, the kernel of the evaluation map of sections is again a vector bundle. Also, new vector bundles can be produced by taking elementary transformations centered at a fixed point. Under suitable conditions on degree and rank, these constructions can be carried out globally. While all this processes seem quite elementary, very little is known about the resulting…
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 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.
In this paper we show an Arakelov inequality for semi-stable families of algebraic curves of genus $g\geq 1$ over characteristic $p$ with nontrivial Kodaira-Spencer maps. We apply this inequality to obtain an upper bound of the number of algebraic curves of $p-$rank zero in a semi-stable family over characteristic $p$ with nontrivial Kodaira-Spencer map in terms of the genus of a general closed fiber, the genus of the base curve and the number of singular fibres. An extension of the above results to smooth families of Abelian varieties over $k$ with $W_2$-lifting assumption is also included.
A recent paper of Totaro develops a theory of $q$-ample bundles in characteristic 0. Specifically, a line bundle $L$ on $X$ is $q$-ample if for every coherent sheaf $\mathcal{F}$ on $X$, there exists an integer $m_0$ such that $m\geq m_0$ implies $H^i(X,\mathcal{F}\otimes \mathcal{O}(mL))=0$ for $i>q$. We show that a line bundle $L$ on a complex projective scheme $X$ is $q$-ample if and only if the restriction of $L$ to its augmented base locus is $q$-ample. In particular, when $X$ is a variety and $L$ is big but fails to be $q$-ample, then there exists a codimension 1 subscheme $D$ of $X$ suc…
We interpret geometrically the torsion of the symmetric algebra of the ideal sheaf of a zero-dimensional scheme Z defined by $n+1$ equations in an $n$-dimensional variety. This leads us to generalise a formula of A.Dimca and S.Papadima in positive characteristic for a rational transformation with finite base locus. Among other applications, we construct an explicit example of a homaloidal curve of degree $5$ in characteristic $3$, answering negatively a question of A.V.Dória, S.H.Hassanzadeh and A.Simis.
We provide a locally free resolution of the projectivized symmetric algebra of the ideal sheaf of a zero-dimensional scheme defined by n + 1 equations in an n-dimensional variety. The resolution is given in terms of the resolution of the ideal itself and of the Eagon-Northcott complex of the Koszul hull.
Comparison and uniruledness of asymptotic base loci
本文证明了具有大典范类的NQC klt广义对的渐近基轨迹具有一致直纹性，并证明了NQC对数典范广义对伴随除子的非nef轨迹与缩减基轨迹重合，进而应用于广义对数Calabi-Yau型簇。
A famous result of B. Crauder and S. Katz (1989) concerns the classification of special Cremona transformations whose base locus has dimension at most two. Furthermore, they also proved that a special Cremona transformation with base locus of dimension three has to be one of the following: 1) a quinto-quintic transformation of $\mathbb{P}^5$; 2) a cubo-quintic transformation of $\mathbb{P}^6$; or 3) a quadro-quintic transformation of $\mathbb{P}^8$. Special Cremona transformations as in case 1) have been classified by L. Ein and N. Shepherd-Barron (1989), while in our previous work (2013), we …
The relative Fujita-Zariski theorem
本文证明了 Fujita-Zariski 定理的相对版本，指出真簇上可逆层在基轨迹丰沛时其充分高幂整体生成，推广了 Fujita (1983) 与 Zariski (1962) 的经典结果。
Let $L$ be a line bundle on a scheme $X$, proper over a field. The property of $L$ being nef can sometimes be "thickened", allowing reductions to positive characteristic. We call such line bundles arithmetically nef. It is known that a line bundle $L$ may be nef, but not arithmetically nef. We show that $L$ is arithmetically nef if and only if its restriction to its stable base locus is arithmetically nef. Consequently, if $L$ is nef and its stable base locus has dimension $1$ or less, then $L$ is arithmetically nef.
Indecomposability of derived categories in families
本文通过引入光滑射影族的半正交分解模空间，提出研究导出范畴不可分解性的新方法，探讨了族中不可分解性的行为，并通过对称幂曲线、一般型正则曲面和希尔伯特方案等例子，分析了典范基 locus 的行为。
Let ϕ: \mathbb{P}^{r}\dashrightarrow Z be a birational transformation with a smooth connected base locus scheme, where Z\subseteq\mathbb{P}^{r+c} is a nondegenerate prime Fano manifold. We call ϕa quadro-quadric special briational transformation if ϕand ϕ^{-1} are defined by linear subsystems of |\mathcal{O}_{\mathbb{P}^{r}}(2)| and |\mathcal{O}_{Z}(2)| respectively. In this paper we classify quadro-quadric special birational transformations in the cases where either (i) Z is a complete intersection and the base locus scheme of ϕ^{-1} is smooth, or (ii) Z is a hypersurface.
The following divisors in the space Sym^{12} P^1 of twelve points on P^1 are actually the same: (A) the possible locus of the twelve nodal fibers in a rational elliptic fibration (i.e. a pencil of plane cubic curves); (B) degree 12 binary forms that can be expressed as a cube plus a square; (C) the locus of the twelve tangents to a smooth plane quartic from a general point of the plane; (D) the branch locus of a degree 4 map from a hyperelliptic genus 3 curve to P^1; (E) the branch locus of a degree 3 map from a genus 4 curve to P^1 induced by a theta-characteristic; and several more. The corr…
We give closed-form formulas for the fundamental classes of degeneracy loci associated with vector bundle maps given locally by (not necessary square) matrices which are symmetric (resp. skew-symmetric) w.r.t. the main diagonal. Our description uses essentially Schur Q-polynomials of a bundle, and is based on a certain push-forward formula for these polynomials in a Grassmann bundle.
We consider two varieties associated to a web of quadrics W in the projective space of dimension 7. One is the base locus and the second one is the double cover of the three dimensional projective space branched along the determinant surface of W. We show that small resolutions of these varieties are Calabi-Yau manifolds. We compute their Betti numbers and show that they are not birational in the generic case. The main result states that if the base locus of W contains a plane then in the generic case the two varieties are birational.
Hyperflex loci of hypersurfaces
本文针对一般 $d$ 次射影超曲面，计算任意 $k$ 值下 $k$-挠曲轨迹的维数与次数，并证明一般 $k$-挠曲点处存在唯一且接触阶恰好为 $k$ 的挠曲直线，方法基于相对主部向量丛顶陈类的计算。
A birational map from a projective space onto a not too much singular projective variety with a single irreducible non-singular base locus scheme (special birational transformation) is a rare enough phenomenon to allow meaningful and concise classification results. We shall concentrate on transformations defined by quadratic equations onto some varieties (especially projective hypersurfaces of small degree), where quite surprisingly the base loci are interesting projective manifolds appearing in other contexts; for example, exceptions for adjunction theory, small degree or small codimensional …
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…
Let X = G/P be a cominuscule rational homogeneous variety. (Equivalently, X admits the structure of a compact Hermitian symmetric space.) I give a uniform description (that is, independent of type) of the irreducible components of the singular locus of a Schubert variety Y in X in terms of representation theoretic data. The result is based on a recent characterization of the Schubert varieties by an non-negative integer A and a marked Dynkin diagram. Corollaries include: (1) the variety is smooth if and only if A=0; (2) if G of Type ADE, then the singular locus occurs in codimension at least t…
We introduce augmented and restricted base loci of cycles and we study the positivity properties naturally defined by these base loci.
Higher order isomonodromic deformation of Higgs bundles and a characterization of the non-abelian Noether-Lefschetz locus
本文通过研究 Higgs 束的等单值变形的高阶类，证明了非阿贝尔 Noether-Lefschetz 轨迹恰好是使该变形成为全纯的最大复解析子簇。
Let $X$ be a normal variety over the field of complex numbers with log terminal singularities and the canonical divisor $K_X$ being ${\bf Q}$-Gorenstein. Assume that $L$ is an ample line bundle over $X$ and $ϕ: X\to Y$ is a morphism supported by $K_X+rL$ for some positive rational number $r$. In the present paper we study the evaluation $ϕ^*ϕ_*(L)\to L$ and the locus of points where it is not surjective which we call relative base point locus of $L$. In particular, we prove that, if the dimension of a fiber of $ϕ$ is small with respect to $r$ then the relative base point locus does not meet th…
Given a linear system in P^n with assigned multiple general points we compute the cohomology groups of its strict transforms via the blow-up of its linear base locus. This leads us to give a new definition of expected dimension of a linear system, which takes into account the contribution of the linear base locus, and thus to introduce the notion of linear speciality. We investigate such a notion giving sufficient conditions for a linear system to be linearly non-special for arbitrary number of points, and necessary conditions for small numbers of points.
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(…
Let $X$ be a smooth variety and let $L$ be an ample line bundle on $X$. If $π^{alg}_{1}(X)$ is large, we show that the Seshadri constant $ε(p^{*}L)$ can be made arbitrarily large by passing to a finite étale cover $p:X'\rightarrow X$. This result answers affirmatively a conjecture of J.-M. Hwang. Moreover, we prove an analogous result when $π_{1}(X)$ is large and residually finite. Finally, under the same topological assumptions, we appropriately generalize these results to the case of big and nef line bundles. More precisely, given a big and nef line bundle $L$ on $X$ and a positive number $N…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。