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 the following asymptotic formulation of the Kodaira vanishing theorem: there exists an integer $c$, such that for all integers $t \geqslant 1$, the cohomology group $H^k(X_t,\mathcal{O}_{X_t}(j))$ vanishes for $k < \dim X$ and $j < -ct$. Note that there are no restrictions on the characteristic of the field, or on the singular locus of $X$. We also construct examples illustrating that a linear bound is indeed the best possible, and that the constant $c$ is unbounded, even in a fixed dimension.
For a local complete intersection subvariety $X=V({\mathcal I})$ in ${\mathbb P}^n$ over a field of characteristic zero, we show that, in cohomological degrees smaller than the codimension of the singular locus of $X$, the cohomology of vector bundles on the formal completion of ${\mathbb P}^n$ along $X$ can be effectively computed as the cohomology on any sufficiently high thickening $X_t=V({\mathcal I^t})$; the main ingredient here is a positivity result for the normal bundle of $X$. Furthermore, we show that the Kodaira vanishing theorem holds for all thickenings $X_t$ in the same range of …
Let $S$ be the coordinate ring of the space of $n\times n$ complex skew-symmetric matrices. This ring has an action of the group $\textrm{GL}_n(\mathbb{C})$ induced by the action on the space of matrices. For every invariant ideal $I\subseteq S$, we provide an explicit description of the modules $\textrm{Ext}^{\bullet}_S(S/I,S)$ in terms of irreducible representations. This allows us to give formulas for the regularity of basic invariant ideals and (symbolic) powers of ideals of Pfaffians, as well as to characterize when these ideals have a linear free resolution. In addition, given an inclusi…
We consider the ring S=C[x_ij] of polynomial functions on the vector space C^(m x n) of complex m x n matrices. We let GL= GL_m x GL_n and consider its action via row and column operations on C^(m x n) (and the induced action on S). For every GL-invariant ideal I in S and every j>=0, we describe the decomposition of the modules Ext^j_S(S/I,S) into irreducible GL-representations. For any inclusion I into J of GL-invariant ideals we determine the kernels and cokernels of the induced maps Ext^j_S(S/I,S) -> Ext^j_S(S/J,S). As a consequence of our work, we give a formula for the regularity of the p…
The study of homological invariants such as Tor, Ext and local cohomology modules constitutes an important direction in commutative algebra. Explicit descriptions of these invariants are notoriously difficult to find and often involve combining an array of techniques from other fields of mathematics. In recent years tools from algebraic geometry and representation theory have been successfully employed in order to shed some light on the structure of homological invariants associated with determinantal rings. The goal of this notes is to survey some of these results, focusing on examples in an …
We study the deformation-obstruction theory of Koszul cohomology groups of $g^r_d$'s on singular nodal curves. We compute the obstruction classes for Koszul cohomology classes on singular curves to deform to a smooth one. In the case the obstructions are nontrivial, we obtain some partial results for generic vanishing of Koszul cohomology groups.
We provide bounds on the Castelnuovo-Mumford regularity in terms of ``defining equations'' by using elements that annihilates some cohomology modules, inspired by works of Miyazaki, Nagel, Schenzel and Vogel. The elements in these annihilators are provided either by liaison or by tight closure theories. Our results hold in any characteristic.
Let $R$ be a noetherian ring, $\fa$ an ideal of $R$, and $M$ an $R$--module. We prove that for a finite module $M$, if $\LC^{i}_{\fa}(M)$ is minimax for all $i\geq r\geq 1$, then $\LC^{i}_{\fa}(M)$ is artinian for $i\geq r$. A Local-global Principle for minimax local cohomology modules is shown. If $\LC^{i}_{\fa}(M)$ is coatomic for $i\leq r$ ($M$ finite) then $\LC^{i}_{\fa}(M)$ is finite for $i\leq r$. We give conditions for a module, which is locally minimax to be a minimax module. A non-vanishing theorem and some vanishing theorems are proved for local cohomology modules.
Define a line bundle L on a projective variety to be q-ample, for a natural number q, if tensoring with high powers of L kills coherent sheaf cohomology above dimension q. Thus 0-ampleness is the usual notion of ampleness. Intuitively, a line bundle is q-ample if it is positive "in all but at most q directions". We show that q-ampleness of a line bundle on a projective variety in characteristic zero is equivalent to the vanishing of an explicit finite list of cohomology groups. It follows that q-ampleness is a Zariski open condition, which is not clear from the definition. We also show that a …
We explicitly describe cohomology of the sheaf of differential forms with poles along a semiample divisor on a complete simplicial toric variety. As an application, we obtain a new vanishing theorem which is an analogue of the Bott-Steenbrink-Danilov vanishing theorem.
We study the relationship between positivity of line bundles restricted to complete intersection subvarieties and the vanishing of higher cohomology groups. Based on this connection we prove generalizations of the vanishing theorems of Kawamata-Viehweg and Fujita that are valid for not necessarily big line bundles.
Let $\mathfrak a$ denote an ideal of a local ring $(R, \mathfrak m).$ Let $M$ be a finitely generated $R$-module. There is a systematic study of the formal cohomology modules $\varprojlim \HH^i(M/\mathfrak a^nM), i \in \mathbb Z.$ We analyze their $R$-module structure, the upper and lower vanishing and non-vanishing in terms of intrinsic data of $M,$ and its functorial behavior. These cohomology modules occur in relation to the formal completion of the punctured spectrum $\Spec R \setminus V(\mathfrak m).$ As a new cohomological data there is a description on the formal grade $\fgrade(\mathfra…
We use the toric degeneration of Bott-Samelson varieties and the description of cohomolgy of line bundles on toric varieties to deduce vanishings results for the cohomology of lines bundles on Bott-Samelson varieties.
Let $R$ be a commutative noetherian ring, $\fa$ an ideal of $R$ and $M,N$ finite $R$--modules. We prove that the following statements are equivalent. \begin{enumerate} \item[(i)] $\lc^{i}_{\fa}(M,N)$ is finite for all $i< n$. \item[(ii)] $\Coass_R(\lc^{i}_{\fa}(M,N)) \subset \V{(\fa)}$ for all $i< n$. \item[(iii)] $\lc^{i}_{\fa}(M,N)$ is coatomic for all $i< n$. \end{enumerate} If $\pd M$ is finite and $r$ be a non-negative integer such that $r>\pd M$ and $\lc^{i}_{\fa}(M,N)$ is finite (resp. minimax) for all $i\geq r$, then $\lc^{i}_{\fa}(M,N)$ is zero (resp. artinian) for all $i\geq r$.
Non-vanishing of the structure-sheaf cohomology of affine henselian schemes and henselian affinoids
Graduate School of Mathematical Sciences, The University of Tokyo（东京大学大学院数理科学研究科）；Faculty of Social Informatics, ZEN University（禅大学社会信息学部）；sugakubunka Co., Ltd.（数学文化有限公司）
The aim of this paper is to extend the main result of C. Huneke and G. Lyubeznik in [Adv. Math. 210 (2007), 498--504] to the class of rings that are images of Cohen-Macaulay local rings. Namely, let $R$ be a local Noetherian domain of positive characteristic that is an image of a Cohen-Macaulay local ring. We prove that all local cohomology of $R$ (below the dimension) maps to zero in a finite extension of the ring. As a direct consequence we obtain that the absolute integral closure of $R$ is a big Cohen-Macaulay algebra. Since every excellent local ring is an image of a Cohen-Macaulay local …
We show that a cone theorem for ${\mathbbA}^1-homotopy invariant contravariant functors implies the vanishing of the positive degree part of the operational Chow cohomology rings of a large class of affine varieties. We also discuss how this vanishing relates to a number of questions about representing Chow cohomology classes of GIT quotients in terms of equivariant cycles.
In this Note we prove the vanishing of (twisted) Koszul cohomology groups $K_{p,1}$ of an abelian variety with values in powers of an ample line bundle. It complements the work of G. Pareschi on the property $(N_p)$.
We use representation theory and Bott's theorem to show vanishing of higher cotangent cohomology modules for the homogeneous coordinate ring of Grassmannians in the Plücker embedding. As a biproduct we answer a question of Wahl about the cohomology of the square of the ideal sheaf for the case of Plücker relations.
We establish a, and conjecture further, relationship between the existence of subvarieties representing minimal cohomology classes on principally polarized abelian varieties, and the generic vanishing of certain sheaf cohomology. The main ingredient is the Generic Vanishing criterion of math.AG/0608127, based on the Fourier-Mukai transform.
We give a sufficient condition to study the vanishing of certain Koszul cohomology groups for general pairs $(X,L)\in W^r_{g,d}$ by induction. As an application, we show that to prove the Maximal Rank Conjecture (for quadrics), it suffices to check all cases with the Brill-Noether number $ρ=0$.
The purpose of this paper is to show that the third unramified cohomology with divisible coefficients of a smooth projective geometrically rational threefold over a finite field must vanish under $\Z_{\ell}$-exactness Hard Lefschetz condition.
Consider a complex Stein manifold X and a subanalytic relatively compact Stein open subset U of X.. We prove the vanishing on U of the holomorphic temperate cohomology.
We employ the perverse vanishing cycles to show that each reduced cohomology group of the Milnor fiber, except the top two, can be computed from the restriction of the vanishing cycle complex to only singular strata with a certain lower bound in dimension. Guided by geometric results, we alternately use the nearby and vanishing cycle functors to derive information about the Milnor fiber cohomology via iterated slicing by generic hyperplanes. These lead to the description of the reduced cohomology groups, except the top two, in terms of the vanishing cohomology of the nearby section. We use it …
We completely revised the paper after the referee's comments. In the new version, we replaced two erroneous examples, studied a link with earlier work of Koh and Stilmann, and strengthened the main theorem.
Comparing vanishing of local cohomology in zero and positive characteristic, we give an example of a D-module on a Grassmann variety in positive characteristic with non-vanishing first cohomology group. This is a counterexample to D-affinity and the Beilinson-Bernstein equivalence for flag manifolds in positive characteristic.
The characteristic cycle of a complex of sheaves on a complex analytic space provides weak information about the complex; essentially, it yields the Euler characteristics of the hypercohomology of normal data to strata. We show how perverse cohomology actually allows one to extract the individual Betti numbers of the hypercohomology of normal data to strata, not merely the Euler characteristics. We apply this to the ``calculation'' of the vanishing cycles of a complex, and relate this to the work of Parusiński and Briançon, Maisonobe, and Merle on Thom's $a_f$ condition.
We classify GV-subschemes of five-dimensional ppavs, showing that they exist only on Jacobians of curves and intermediate Jacobians of cubic threefolds, and confirming a conjecture of Pareschi--Popa in this case. The result is implied by a more general statement about subvarieties of minimal cohomology class whose sum is a theta divisor.
Under the generic situation, the cohomology with the coefficients in the local system on complements of hypersurfaces vanishes except in the highest dimension. Our problem is of when the local system cohomology does not vanish. In the case of arrangements of hyperplanes, many examples were founded. In this paper, we shall generalize their examples to hypersurfaces. We obtain that hypersurfaces given by some linear system have non-vanishing local system cohomologies.
In this paper, we prove the irreducibility of the monodromy action on the anti-invariant part of the vanishing cohomology on a double cover of a very general element in an ample hypersurface of a complex smooth projective variety branched at an ample divisor. As an application, we study dominant rational maps from a double cover of a very general surface $S$ of degree$\geq 7$ in ${\mathbb P}^3$ branched at a very general quadric surface to smooth projective surfaces $Z$. Our method combines the classification theory of algebraic surfaces, deformation theory, and Hodge theory.
This work discusses combinatorial and arithmetic aspects of cohomology vanishing for divisorial sheaves on toric varieties. We obtain a refined variant of the Kawamata-Viehweg theorem which is slightly stronger. Moreover, we prove a new vanishing theorem related to divisors whose inverse is nef and has small Kodaira dimension. Finally, we give a new criterion for divisorial sheaves for being maximal Cohen-Macaulay.
We study the vanishing cycle complex $φ_fA_X$ for a holomorphic function $f$ on a reduced complex analytic space $X$ with $A$ a Dedekind domain (for instance, a localization of the ring of integers of a cyclotomic field, where the monodromy eigenvalue decomposition may hold after a localization of $A$). Assuming the perversity of the shifted constant sheaf $A_X[d_X]$, we show that the lowest possibly-non-zero vanishing cohomology at $0\in X$ can be calculated by the restriction of $φ_fA_X$ to an appropriate nearby curve in the singular locus $Y$ of $f$, which is given by intersecting $Y$ with …
We employ the formalism of vanishing cycles and perverse sheaves to introduce and study the vanishing cohomology of complex projective hypersurfaces. As a consequence, we give upper bounds for the Betti numbers of projective hypersurfaces, generalizing those obtained by different methods by Dimca in the isolated singularities case, and by Siersma-Tibăr in the case of hypersurfaces with a $1$-dimensional singular locus. We also prove a supplement to the Lefschetz hyperplane theorem for hypersurfaces, which takes the dimension of the singular locus into account, and we use it to give a new proof…
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 Ω_X^j(\log D)\big) = 0$ for any nef line bundle $L$ on $X$ and all $i < j - c$, where $c$ is an explicit function of $(X,D,L)$. This implies e.g. the vanishing of $H^i(X, L \otimes Ω_X^j)$ for $L$ ample and $i > j$, and gives back a vanishing theorem of Broer when $X$ is a flag variety.
We show that the mod $p$ cohomology of a simple Shimura variety treated in Harris-Taylor's book vanishes outside a certain nontrivial range after localizing at any non-Eisenstein ideal of the Hecke algebra. In cases of low dimensions, we show the vanishing outside the middle degree.
In this paper, we study relations between positivity of the curvature and the asymptotic behavior of the higher cohomology group for tensor powers of a holomorphic line bundle. The Andreotti-Grauert vanishing theorem asserts that partial positivity of the curvature implies asymptotic vanishing of certain higher cohomology groups. We investigate the converse implication of this theorem under various situations. For example, we consider the case where a line bundle is semi-ample or big. Moreover, we show the converse implication holds on a projective surface without any assumptions on a line bun…
A general vanishing result for the first cohomology group of affine smooth complex varieties with values in rank one local systems is established. This is applied to the determination of the monodromy action on the first cohomology group of the Milnor fiber of some line arrangements, including the monomial arrangement and the exceptional reflection arrangement of type $G_{31}$.
We use a Mayer-Vietoris-like spectral sequence to establish vanishing results for the cohomology of complements of linear and elliptic hyperplane arrangements, as part of a more general framework involving duality and abelian duality properties of spaces and groups. In the process, we consider cohomology of local systems with a general, Cohen-Macaulay-type condition. As a result, we recover known vanishing theorems for rank-1 local systems as well as group ring coefficients, and obtain new generalizations.
We consider algebraic manifolds $Y$ of dimension 3 over $\Bbb{C}$ with $H^i(Y, Ω^j_Y)=0$ for all $j\geq 0$ and $i>0$. Let $X$ be a smooth completion of $Y$ with $D=X-Y$, an effective divisor on $X$ with normal crossings. If the $D$-dimension of $X$ is not zero, then $Y$ is a fibre space over a smooth affine curve $C$ (i.e., we have a surjective morphism from $Y$ to $C$ such that general fibre is smooth and irreducible) such that every fibre satisfies the same vanishing condition. If an irreducible smooth fibre is not affine, then the Kodaira dimension of $X$ is $-\infty$ and the $D$-dimension …
We recall the construction of the Hodge character and we show, using a result due to F. Bittner, that these can be constructed using classical pure Hodge theory only, sideskipping Deligne's construction of functorial mixed Hodge structures on the cohomology of algberaic varieties. We then give a proof, based on the weak factorization theorem, that the nearby fibre is well-defined in the Grothendieck group of varieties. Finally, various formulas for numerical invariants of Hodge-theoretic origin are presented which are associated to one-parameter degenerations of projective manifolds.
Using $L^2$-methods, we prove a vanishing theorem for tame harmonic bundles over quasi-compact Kähler manifolds in a very general setting. As a special case, we give a completely new proof of the Kodaira type vanishing theorems for Higgs bundles due to Arapura. To prove our vanishing theorem, we construct a fine resolution of the Dolbeault complex for tame harmonic bundles via the complex of sheaves of $L^2$-forms, and we establish the Hörmander $L^2$-estimate and solve $(\bar{\partial}_E+θ)$-equations for Higgs bundles $(E,θ)$.
Using the work of Fargues-Scholze, we prove a vanishing theorem for the generic unramified part of the cohomology of local Shimura varieties of general linear groups. This gives an alternative approach to vanishing results of Caraiani-Scholze for the cohomology of unitary Shimura varieties.
We give sharp bounds on the vanishing of the cohomology of a tensor product of vector bundles on the n-dimensional projective space in terms of the vanishing of the cohomology of the factors. For this purpose we introduce regularity indices generalizing the Castelnuovo-Mumford regularity. As an application we give a sufficient condition for a vector bundle to have an unobstructed deformation theory that depends only on the cohomology table of the bundle. We construct complete families of bundles with such cohomology tables.
The aim of this paper is to classify simply connected 6-dimensional torus manifolds with vanishing odd degree cohomology. It is shown that there is a one-to-one correspondence between equivariant diffeomorphism types of these manifolds and 3-valent labelled graphs, called torus graphs introduced by Maeda-Masuda-Panov. Using this correspondence and combinatorial arguments, we prove that a simply connected 6-dimensional torus manifold with vanishing odd degree cohomology is equivariantly diffeomorphic to the 6-dimensional sphere or an equivariant connected sum of copies of 6-dimensional quasitor…
