Osamu Fujino
We introduce the notion of non-lc ideal sheaves. It is an analogue of the notion of multiplier ideal sheaves. We establish the restriction theorem, which seems to be the most important property of non-lc ideal sheaves.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We use the geometry of the secant variety to an embedded smooth curve to prove some vanishing and regularity theorems for powers of ideal sheaves.
We establish a relative Bertini type theorem for multiplier ideal sheaves. Then we prove a relative version of the Kollár--Nadel type vanishing theorem as an application.
In this paper, we propose a definition of the moduli stack of stable relative ideal sheaves, and prove that it is a separated and proper Deligne-Mumford stack. It is the first part of the project of relative Donaldson-Thomas theory of ideal sheaves on projective threefolds, which in the end provides a degeneration formula of Donaldson-Thomas invariants of threefolds.
We determine the structure of certain moduli spaces of ideal sheaves by generalizing an earlier result of the first author. As applications, we compute the (virtual) Hodge polynomials of these moduli space, and calculate the Donaldson-Thomas invariants of certain 3-folds with trivial canonical classes.
We show that a bound of the Castelnuovo-Mumford regularity of any power of the ideal sheaf of a smooth projective complex variety $X\subseteq\mathbb{P}^r$ is sharp exactly for complete intersections, provided the variety $X$ is cut out scheme-theoretically by several hypersurfaces in $\mathbb{P}^r$. This generalizes a result of Bertram-Ein-Lazarsfeld.
We revisit some of the basic results of generic vanishing theory, as pioneered by Green and Lazarsfeld, in the context of constructible sheaves. Using the language of perverse sheaves, we give new proofs of some of the basic results of this theory. Our approach is topological/arithmetic, and avoids Hodge theory.
In this article, we will present that the analytic adjoint ideal sheaves associated to plurisubharmonic functions are not coherent.
Let $X$ be a complex smooth quasi-projective surface acted upon by a finite group $G$ such that the quotient $X/G$ has singularities only of ADE type. We obtain an explicit expression for the generating series of the Euler characteristics of the zero-dimensional components in the moduli space of zero-dimensional subschemes on $X$ invariant under the action of $G$. We show that this generating series (up to a suitable rational power of the formal variable) is a holomorphic modular form.
In this article, we will characterize the multiplier ideal sheaves with weights of log canonical threshold one by restricting the weights to complex regular surface.
We consider various definitions of non-lc ideal sheaves -- generalizations of the multiplier ideal sheaf which define the non-lc (non-log canonical) locus. We introduce the maximal non-lc ideal sheaf and intermediate non-lc ideal sheaves and consider the restriction theorem for these ideal sheaves. We also begin the development of the theory of a characteristic p>0 analog of maximal non-lc ideals, utilizing some recent work of Blickle.
This paper is devoted to the study of the gluing construction for perverse sheaves on $G/U$ introduced by Kazhdan and Laumon ($G$ is a semisimple gourp, $U$ is the unipotent radical of a Borel subgroup in $G$). Kazhdan and Laumon conjectured that all Ext-groups in the glued category are finite-dimensional and that global cohomological dimension is finite. We prove the first part of this conjecture. In the appendix we show that the simple object in the glued category corresponding to the constant sheaf has infinite cohomological dimension, thus disproving the second part of the above conjecture…
The purpose of this paper is to calculate the support of the multiplier ideal sheaves derived from the Kähler-Ricci flow on certain toric Fano manifolds with large symmetry. The early idea of this paper has already been in Appendix of \cite{futaki-sano0711}.
In this expository article we first give an overview on multiplier ideal sheaves and geometric problems in Kählerian and Sasakian geometries. Then we review our recent results on the relationship between the support of the subschemes cut out by multiplier ideal sheaves and the invariant whose non-vanishing obstructs the existence of Kähler-Einstein metrics on Fano manifolds.
We extend Nadel's results on some conditions for the multiplier ideal sheaves to satisfy which are described in terms of an obstruction defined by the first author. Applying our extension we can determine the multiplier ideal sheaves on toric del Pezzo surfaces which do not admit Kähler-Einstein metrics. We also show that one can define multiplier ideal sheaves for Kähler-Ricci solitons and extend the result of Nadel using the holomorphic invariant defined by Tian and Zhu.
Viewing Quasi-Coherent Sheaves of Ideals as Ideals of a Ring
本文提出一种技术，通过构造环 $D^*$ 并利用忠实平坦概形态射，将给定爆破的拟凝聚理想层等同为环的正则理想。
On certain del Pezzo surfaces with large automorphism groups, it is shown that the solution to the Kähler-Ricci flow with a certain initial value converges in $C^\infty$-norm exponentially fast to a Kähler-Einstein metric. The proof is based on the method of multiplier ideal sheaves.
This note states a conjecture for Nevanlinna theory or diophantine approximation, with a sheaf of ideals in place of the normal crossings divisor. This is done by using a correction term involving a multiplier ideal sheaf. This new conjecture trivially implies earlier conjectures in Nevanlinna theory or diophantine approximation, and in fact is equivalent to these conjectures. Although it does not provide anything new, it may be a more convenient formulation for some applications.
In this paper we give bounds on the Castelnuovo-Mumford regularity of products of ideals and ideal sheaves. In particular, we show that the regularity of a product of ideals is bounded by the sum of the regularities of its factors if the corresponding schemes intersect in a finite set of points. We also show how approximations of sheaves can be used to bound the regularity of an arrangement of two-planes in projective space.
This note is written for the Festschrift in honor of Professor Christer Kiselman. Multiplier ideal sheaves identify the location and the extent of the failure of crucial estimates. In this note we will discuss and explain the historic evolution of the notion of multiplier ideal sheaves, especially the interpretation from the viewpoint of destabilizing subsheaves in the context of terminating or bounding an infinite process. We will also discuss the approach of constructing rational curves in Fano manifolds by using dynamic multiplier ideal sheaves and singularity-magnifying complex Monge-Amper…
This paper describes how, in the case of algebraic surfaces, the well-known theorem of Donaldson-Uhlenbeck-Yau can be proved in a framework of generalized 'multiplier ideal sheaves', following the ideas of Siu. The key concept is that the destabilizing sheaf satisfies a differential inclusion relation. This relation is used, together with a complex Frobenius theorem for locally finitely generated subsheaves, to imply coherence of the destabilizing subsheaf.
Higher direct images of snc ideal sheaves
本文证明简单正规交叉除子理想层上同调群在双有理态射下的不变性，并推广有理对理论的基础结果至任意特征。
Let $\mathscr{I}$ be an ideal sheaf on $P^n$. In the first part of this paper, we bound the asymptotic regularity of powers of $\mathscr{I}$ as $ps-3\leq \reg \mathscr{I}^p\leq ps+e$, where $e$ is a constant and $s$ is the $s$-invariant of $\mathscr{I}$. We also give the same upper bound for the asymptotic regularity of symbolic powers of $\mathscr{I}$ under some conditions. In the second part, by using multiplier ideal sheaves, we give a vanishing theorem of powers of $\mathscr{I}$ when it defines a local complete intersection subvariety with log canonical singularities.
In this article, we obtain two sharp equality conditions in the restriction formula on complex singularity exponents: an equality between the codimension of the zero variety of related multiplier ideal sheaves and the relative codimension of the restriction of the variety on the submanifold (in the restriction formula); an equivalence between the transversality (between the variety and the submanifold) and the regularity of the restriction of the variety. As applications, we present sharp equality conditions in the fundamental subadditivity property on complex singularity exponents.
We combine work of Cox on the total coordinate ring of a toric variety and results of Eisenbud-Mustata-Stillman and Mustata on cohomology of toric and monomial ideals to obtain a formula for computing the Euler characteristic of a Weil divisor D on a complete simplicial toric variety in terms of graded pieces of the Cox ring and Stanley-Reisner ring. The main point is to use Alexander duality to pass from the toric irrelevant ideal, which appears in the computation of the Euler characteristic of D, to the Stanley-Reisner ideal of the fan, which is used in defining the Chow ring. The formula al…
In this article, we characterize plurisubharmonic functions of Lelong number one at the origin, such that the germ of the associated multiplier ideal sheaf is nontrivial: in arbitrary complex dimension, their singularity must be the sum of a germ of smooth divisor and of a plurisubharmonic function with zero Lelong number. We also present a new proof of the related well known integrability criterion due to Skoda.
Convergence of the inverse Monge-Ampere flow and Nadel multiplier ideal sheaves
本文推广了逆Monge-Ampere流，证明了其在无Kähler-Einstein度量先验假设下的收敛条件，并揭示了流形不存在该度量时流会产生Nadel乘子理想层，同时建立了相关下界与定理。
In this article, we will characterize regular points respectively by the local vanishing, positivity of the Ricci curvature and $L^2$-solvability of the $\overline\partial$-equation together with Skoda's theorem for Nadel-Lebesgue multiplier ideal sheaves associated to plurisubharmonic (psh) functions on any (reduced) complex space of pure dimension. As a by-product, we show that any weak Kähler-Einstein metric on \emph{singular} $\mathbb{Q}$-Fano/Calabi-Yau/general type varieties cannot be smooth, and that in general there exists no \emph{singular} normal Kähler complex space such that the Kä…
This article discusses the geometric application of the method of multiplier ideal sheaves. It first briefly describes its application to effective problems in algebraic geometry and then presents and explains its application to the deformational invariance of plurigenera for general compact algebraic manifolds. Finally its application to the conjecture of the finite generation of the canonical ring is explored and the use of complex algebraic geometry in complex Neumann estimates is discussed.
The purpose of this paper is to establish injectivity theorems for higher direct image sheaves of canonical bundles twisted by pseudo-effective line bundles and multiplier ideal sheaves. As applications, we generalize Koll'ar's torsion freeness and Grauert-Riemenschneider's vanishing theorem. Moreover, we obtain a relative vanishing theorem of Kawamata-Viehweg-Nadel type and an extension theorem for holomorphic sections from fibers of morphisms to the ambient space. Our approach is based on transcendental methods and works for K"ahler morphisms and singular hermitian metrics with non-algebraic…
We observe that the classical Grauert-Riemenschneider Vanishing Theorem is a direct consequence of basic results from the theory of modulus sheaves with transfers as developed by Kahn-Saito-Yamazaki. We also obtain a new characterization of rational singularities in characteristic 0.
Throughout our work on the Lê cycles of an affine hypersurface singularity, our primary algebraic tool consisted of a method for taking the Jacobian ideal of a complex analytic function and decomposing it into pure-dimensional "pieces". These pieces were obtained by considering the relative polar varieties of Lê and Teissier as gap sheaves. A gap sheaf is a formal device which gives a scheme-theoretic meaning to the analytic closure of the difference of an initial scheme and an analytic set. We would like to extend our results on Lê cycles to functions on an arbitrary complex analytic space, a…
On an injectivity theorem for log-canonical pairs with analytic adjoint ideal sheaves
本文利用lc-测度的残值函数改进了Matsumura关于紧Kähler流形上plt对的内射性定理，并借助解析伴随理想层提出了Fujino猜想广义版本的解决方案，同时给出了2维lc对的证明。
We apply Nadel's method of multiplier ideal sheaves to show that every complex del Pezzo surface of degree at most six whose automorphism group acts without fixed points has a Kähler-Einstein metric. In particular, all del Pezzo surfaces of degree $4,5$, or $6$ and certain special del Pezzo surfaces of lower degree are shown to have a Kähler-Einstein metric. This result is not new, but the proofs given in the present paper are less involved than earlier ones by Siu, Tian and Tian-Yau.
In the first part of this paper, we study the properties of some particular plurisubharmonic functions, namely the toric ones. The main result of this part is a precise description of their multiplier ideal sheaves, which generalizes the algebraic case studied by Howald. In the second part, almost entirely independent of the first one, we generalize the notion of the adjoint ideal sheaf used in algebraic geometry to the analytic setting. This enables us to give an analogue of Howald's theorem for adjoint ideals attached to monomial ideals. Finally, using the local Ohsawa-Takegoshi-Manivel theo…
The purpose of this paper is to establish an injectivity theorem generalized to pseudo-effective line bundles with transcendental (non-algebraic) singular hermitian metrics and multiplier ideal sheaves. As an application, we obtain a Nadel type vanishing theorem. For the proof, we study the asymptotic behavior of the harmonic forms with respect to a family of regularized metrics, and give a method to obtain L2-estimates of solutions of the dbar-equation by using the de Rham-Weil isomorphism between the dbar-cohomology and the check{C}ech cohomology.
Let $X$ be a smooth quasi-projective algebraic surface and let $Δ_n$ the big diagonal in the product variety $X^n$. We study cohomological properties of the ideal sheaves $\mathcal{I}^k_{Δ_n}$ and their invariants $(\mathcal{I}^k_{Δ_n})^{\mathfrak{S}_n}$ by the symmetric group, seen as ideal sheaves over the symmetric variety $S^nX$. In particular we obtain resolutions of the sheaves of invariants $(\mathcal{I}_{Δ_n})^{\mathfrak{S}_n}$ for $n = 3,4$ in terms of invariants of sheaves over $X^n$ whose cohomology is easy to calculate. Moreover, we relate, via the Bridgeland-King-Reid equivalence,…
In this note, we reveal that our solution of Demailly's strong openness conjecture implies a matrix version of the conjecture; our solutions of two conjectures of Demailly-Kollár and Jonsson-Mustată implies the truth of twisted versions of the strong openness conjecture; our optimal $L^{2}$ extension implies Berndtsson's positivity of vector bundles associated to holomorphic fibrations over a unit disc.
An extension theorem in terms of adjoint ideal sheaves
本文在紧Kähler流形上，借鉴Chan-Choi-Matsumura的单射定理研究方法，通过调和理论与残数计算，证明了以伴随理想层表述的定性扩张定理，可保证线丛值全纯顶形式的存在性。
Let $ϕ$ be a psh function on a bounded pseudoconvex open set $Ω\subset \C^n$, and let ${\cal I}(ϕ)$ be the associated multiplier ideal sheaf. Motivated by resolution of singularities issues, we establish an effective version of the coherence property of ${\cal I}(mϕ)$ as $m\to +\infty$. Namely, we estimate the order of growth in $m$ of the number of generators needed to engender ${\cal I}(mϕ)$ on a fixed compact subset, as well as the growth of the coefficients featuring in the decomposition of local sections as linear combinations over ${\cal O}_Ω$ of finitely many generators. The main idea i…
In the present article, we establish an equality condition in the restriction formula on jumping numbers by giving a sharp lower bound of the dimension of the support of a related coherent sheaf. As applications, we obtain equality conditions in the restriction formula on complex singularity exponents by giving the dimension, the regularity and the transversality of the support, and we also obtain some sharp equality conditions in the fundamental subadditivity property on complex singularity exponents. We also obtain two sharp relations on jumping numbers.
An application of adjoint ideal sheaves to injectivity and extension theorems
本文回顾了作者利用伴随理想层和留数计算证明紧Kähler流形上lc对单射性定理的方法，并在稍强正定性假设下获得了保证全纯截面全局延拓存在的定性延拓结果。
Vanishing Cycles for Zariski-Constructible Sheaves on Rigid Analytic Varieties
本文在非阿基米德域上建立了Zariski可构造层的近环与消失环理论，证明其保持可构造性、具有Milnor纤维解释、满足Beilinson粘合、perverse t-精确且与Verdier对偶交换。
We give a purely algebraic construction of the continuous closure of any finitely generated torsion free module; a concept first studied by H.~Brenner and M.~Hochster. The construction implies that, at least in characteristic 0, taking continuous closure commutes with flat morphisms whose fibers are semi-normal. This implies that the continuous closure of a coherent ideal sheaf is again a coherent ideal sheaf (both in the Zariski and in the étale topologies) and it commutes with field extensions.
Sites and Grothendieck Topologies, Sites and Sheaves
该研究提供了理解格罗滕迪克拓扑斯的基础范畴论，阐述了Sites与Sheaves的性质并应用于模理论，还证明可构造普通范畴而非2-范畴的概型范畴。
Adjoint asymptotic multiplier ideal sheaves associated to potential triples
本文研究了势三元组的几何性质，定义了相伴的渐近乘子理想层，证明了当除子充足时该理想层平凡等价于潜在 klt 的性质，并给出了 Nadel 型上同调消没定理及在极小模型纲领中的应用。
Coherent sheaves on primitive multiple schemes
研究原始多重簇上凝聚层的平坦族，定义约化希尔伯特多项式，并分析拟局部自由层和平衡层（向量丛的推广）的模空间。
This paper is a very non-rigorous, loose, and extremely basic introduction to sheaves. This is meant to be a a guide to gaining intuition about sheaves, what they look like, and how they work, so that after reading this paper, someone can jump into the extremely abstract definitions and examples seen in textbooks with at least some idea of what is going on. Most of this material is inspired and built from the work of Dr. Michael Robinson, and that of Dr. Robert Ghrist and Dr. Jakob Hansen, as well as Dr. Justin Curry's PhD thesis, who are some of the only applied sheaf theorists out there and …
A new definition of analytic adjoint ideal sheaves via the residue functions of log-canonical measures I
本文提出仅含整洁解析奇点的拟多重次调和函数的解析伴随理想层新定义，证明其满足留数短正合列、具备对数分解不变性，可刻画σ-lc中心并集，建立其与代数伴随理想层的关联，还证明了不依赖Ohsawa--Takegoshi技术的局部L²延拓定理。
The purpose of this survey is to present analytic versions of the injectivity theorem and their applications. The proof of our injectivity theorems is based on a combination of the L^2-method for the dbar-equation and the theory of harmonic integrals. As applications, we obtain Nadel type vanishing theorems and extension theorems for pluri-canonical sections of log pairs. Moreover, we give some results on semi-ampleness related to the abundance conjecture in birational geometry (the minimal model program).
A solution to Fujita's freeness conjecture via an extension theorem with analytic adjoint ideal sheaves
本文利用伴随理想层对乘子理想层不可积轨迹的精细控制，并结合基于内射性定理技术的扩张定理，直接处理 lc 奇点及其极小 lc 中心，从而在 Angehrn-Siu 思路下解决了藤田有效自由性猜想。
Let $\mathscr{I}$ be an ideal sheaf on $P^n$ defining a subscheme $X$. Associated to $\mathscr{I}$ there are two elementary invariants: the invariant $s$ which measures the positivity of $\mathscr{I}$, and the minimal number $d$ such that $\mathscr{I}(d)$ is generated by its global sections. It is now clear that the asymptotic behavior of $\reg \mathscr{I}^t$ is governed by $s$ but usually not linear. In this paper, we first describe the linear behavior of the asymptotic regularity by showing that if $s=d$, i.e., $s$ reaches its maximal value, then for $t$ large enough $\reg \mathscr{I}^t=dt+e…
The problem of bounding the "complexity" of a polynomial ideal in terms of the degrees of its generators has attracted considerable interest, brought into focus by the influential survey of Bayer and Mumford. The present paper examines some of these results and questions from a geometric perspective. Specifically, motivated by work of Paoletti we introduce an invariant s(I) that measures the "positivity" of an ideal sheaf I. Degree bounds on generators of I yield bounds on this s-invariant, but s(I) may be small even when the degrees of its generators are large. We prove that s(I) computes the…
Topological sheaves and spaces of distributions in the global case
本文将含 n 个奇点的 Feigin–Frenkel 场/分布理论推广至一般基概形，通过定义拓扑层并构造全局分布场空间，重建了对应 Beilinson–Drinfeld 手征代数的顶点代数基础理论。
We study ideals in Hall algebras of monoid representations on pointed sets corresponding to certain conditions on the representations. These conditions include the property that the monoid act via partial permutations, that the representation possess a compatible grading, and conditions on the support of the module. Quotients by these ideals lead to combinatorial Hopf algebras which can be interpreted as Hall algebras of certain sub-categories of modules. In the case of the free commutative monoid on n generators, we obtain a co-commutative Hopf algebra structure on $n$-dimensional skew shapes…
This paper is devoted to the study of some coherent sheaves on non reduced curves that can be locally embedded in smooth surfaces. If Y is such a curve then there is a filtration by subschemes C_i such that C_1 is the reduced curve associated to Y, and that for every P in C, if z is an equation of C_1 in the local ring of Y at P, then (z^i) is the ideal of C_i. A coherent sheaf on Y is called torsion free if it does not have any non zero subsheaf with finite support. We prove that torsion free sheaves are reflexive. We study then the quasi locally free sheaves, i.e. sheaves which are locally i…
We use methods from birational geometry to study the Hodge and weight filtrations on the localization along a hypersurface. We focus on the lowest piece of the Hodge filtration of the submodules arising from the weight filtration. This leads to a sequence of ideal sheaves called weighted multiplier ideals. The last ideal of this sequence is a multiplier ideal (and a Hodge ideal), and we prove that the first is the adjoint ideal. We also study the local and global properties of weighted multiplier ideals and their applications to singularities of hypersurfaces of smooth varieties.
This is Part II of the series of our papers under the title "Toward resolution of singularities over a field of positive characteristic (The Idealistic Filtration Program)". See http://arxiv.org/abs/math/0607009 for Part I.
In the smooth case, we prove quasi-flasqueness for the sheaves of all subelliptic multipliers as well as at each of the steps of the Kohn algorithm on a pseudoconvex domain in $\C^n.$ We use techniques by Jean-Claude Tougeron to show that if the domain has a real-analytic defining function, the modified Kohn algorithm involving generating ideals and taking real radicals only in the ring of real-analytic germs yields quasi-coherent sheaves. This sharpens a result obtained by J. J. Kohn in 1979.
An injectivity theorem on snc compact Kähler spaces: an application of the theory of harmonic integrals on log-canonical centers via adjoint ideal sheaves
本文通过伴随理想层和留数态射，将调和积分理论应用于可能奇异的snc紧Kähler空间，证明了Kollár型单射性定理，从而解决了Fujino猜想并给出了Cao和Păun结果的替代证明。
We give sufficient conditions to ensure that the ideal $Φ(\mathcal E)$ of $\mathcal E$-phantom maps in a locally $λ$-presentable exact category $(\mathcal{A}, \mathcal{E})$ is (special) (pre)covering ideal, where $\mathcal E$ is an exact substructure of $(\mathcal{A}, \mathcal{E})$. As a byproduct, we infer the existence of various covering ideals in categories of sheaves which have a meaningful geometrical motivation. In particular we deal with a Zariski-local notion of phantom maps in categories of sheaves. We would like to point out that our approach is necessarily different from [FGHT13], …
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。