Related papers: A vanishing theorem for a class of logarithmic D-m…
Let $\fa$ be an ideal of a local ring $(R,\fm)$ and $X$ a $d$-dimensional homologically bounded complex of $R$-modules whose all homology modules are finitely generated. We show that $H^d_{\fa}(X)=0$ if and only if $\dim \hat{R}/\fa…
We consider a complete nonsingular variety $X$ over $\bC$, having a normal crossing divisor $D$ such that the associated logarithmic tangent bundle is generated by its global sections. We show that $H^i\big(X, L^{-1} \otimes \Omega_X^j(\log…
In this paper, we establish a logarithmic vanishing theorem on weakly pseudoconvex K\"ahler manifolds, where the divisor may have infinitely many irreducible components. This result serves as a generalization of Norimatsu's findings on…
Let $X$ be a smooth variety over an algebraically closed field $k$ of positive characteristic, ${\rm D}_X$ the sheaf of PD-differential operators, and ${\bar D}_X$ its central reduction, the sheaf of small differential operators. In this…
Let $X$ be a smooth threefold with a simple normal crossings divisor $D$. We construct the Donaldson-Thomas theory of the pair $(X|D)$ enumerating ideal sheaves on $X$ relative to $D$. These moduli spaces are compactified by studying…
A cohomological vanishing property is proved for finitely supported ideals in an arbitrary d-dimensional regular local ring. (Such vanishing implies some refined Briancon-Skoda-type results, not otherwise known in mixed characteristic.) It…
Let D be a divisor in a complex analytic manifold X. A natural problem is to determine when the de Rham complex of meromorphic forms on X with poles along D is quasi-isomorphic to its subcomplex of logarithmic forms. In this mostly…
In this paper, we first establish an $L^2$-type Dolbeault isomorphism for logarithmic differential forms by H\"{o}rmander's $L^2$-estimates. By using this isomorphism and the construction of smooth Hermitian metrics, we obtain a number of…
In this article, we first establish an $L^2$-type Dolbeault isomorphism for the sheaf of logarithmic differential forms twisted by the multiplier ideal sheaf. By using this isomorphism and $L^2$-estimates equipped with a singular Hermitian…
Let R be a (not necessarily local) Noetherian ring and M a finitely generated R-module of finite dimension d. Let \fa be an ideal of R and \fM denote the intersection of all prime ideals \fp in Supp_RH^d_{\fa}(M). It is shown that…
Let $X$ be a compact K\"ahler manifold and $D$ be a simple normal crossing divisor. If $D$ is the support of some effective $k$-ample divisor, we show $$ H^q(X,\Omega^p_X(\log D))=0,\quad \text{for}\quad p+q>n+k.$$
For a smooth algebraic variety $X$, we study the category of finitely generated modules over the ring of function of $X$ that has a compatible action of the Lie algebra $\mathcal{V}$ of polynomials vector fields on $X$. We show that the…
We study the ring of differential operators D(X) on the basic affine space X=G/U of a complex semisimple group G with maximal unipotent subgroup U. One of the main results shows that the cohomology group H^*(X,O_X) decomposes as a finite…
In this article we investigate the fibers of relative $D$-modules. In general we prove that there exists an open, Zariski dense subset of the vanishing set of the annihilator over which the fibers of a cyclic relative $D$-module are…
For a local system and a function on a smooth complex algebraic variety, we give a proof of a conjecture of M. Kontsevich on a formula for the vanishing cycles using the twisted de Rham complex of the formal microlocalization of the…
We provide new results on the vanishing of local cohomology modules supported at ideals of minors of matrices over arbitrary commutative Noetherian rings. In the process, we compute the local cohomology of rings of polynomials with integer…
Let $X$ be a smooth complete curve, and let $Bun_n$ be the moduli stack of rank $n$ vector bundles on $X$. Let $E$ be a local system on $X$. In a recent paper of E.Frenkel, K.Vilonen and the author, it was shown that the vanishing of a…
Let $X$ be an algebraic variety, $f$ a regular function, $j:U\subset X$ the complement to the locus of vanishing of $f$, and $M$ a holonomic D-module on $U$. Consider the $D_U[s]$-module $M\otimes "f^s"$. The goal of this note is to…
Let $(R, \mf, k_R)$ be regular local $k$-algebra satisfying the weak Jacobian criterion, such that $k_R/k$ is an algebraic field extension. Let $D_R$ be the ring of $k$-linear differential operators of $R$. We give an explicit decomposition…
Let $X$ be a closed equidimensional local complete intersection subscheme of a smooth projective scheme $Y$ over a field, and let $X_t$ denote the $t$-th thickening of $X$ in $Y$. Fix an ample line bundle $\mathcal{O}_Y(1)$ on $Y$. We prove…