Related papers: A note on cohomological vanishing theorems
We prove Grauert-Riemenschneider-type vanishing theorems for excellent dlt threefolds pairs whose closed points have perfect residue fields of positive characteristic $p>5$. Then we discuss applications to dlt singularities and to Mori…
Let $M\stackrel{\rho_0}{\curvearrowleft}S$ be a $C^\infty$ locally free action of a connected simply connected solvable Lie group $S$ on a closed manifold $M$. Roughly speaking, $\rho_0$ is parameter rigid if any $C^\infty$ locally free…
Let $R$ be a commutative Noetherian ring with non-zero identity and $\fa$ an ideal of $R$. Let $M$ be a finite $R$--module of of finite projective dimension and $N$ an arbitrary finite $R$--module. We characterize the membership of the…
Given a germ of holomorphic map $f$ from $\mathbb C^n$ to $\mathbb C^{n+1}$, we define a module $M(f)$ whose dimension over $\mathbb C$ is an upper bound for the $\mathscr A$-codimension of $f$, with equality if $f$ is weighted homogeneous.…
Let $X$ be a projective scheme over a field. We show that the vanishing cohomology of any sequence of coherent sheaves is closely related to vanishing under pullbacks by the Frobenius morphism. We also compare various definitions of ample…
We investigate symmetry in the vanishing of Tate cohomology for finitely generated modules over local Gorenstein rings. For finitely generated R-modules M and N over Gorenstein local ring R, it is shown that $\widehat{Ext}^i_R(M,N)=0$ for…
It is proved that a noetherian commutative local ring A containing a field is regular if there is a complex M of free A-modules with the following properties: M_i=0 for i not in [0,dim A]; the homology of M has finite length; H_0(M)…
Suppose $R$ is an excellent ring of dimension $3$ and has rational singularities. Let $\pi:X \longrightarrow \mathrm{Spec} \ R$ be a blow-up and $\phi: W \longrightarrow X$ be any projective, birational morphism such that $X$ and $W$ are…
We introduce the notion of Burch submodules and weakly $\mathfrak m$-full submodules of modules over local rings and study their properties. One of our main results shows that Burch submodules satisfy 2-Tor rigid and test property. We also…
Let $R$ be a commutative $F$-algebra, where $F$ is a field of characteristic 0, satisfying the following conditions: $R$ is equidimensional of dimension $n$, every residual field with respect to a maximal ideal is an algebraic extension of…
Let $(A,\mathfrak{m}, k=A/\mathfrak{m})$ be a noetherian local ring. Then it is equivalent $n = \dim A = \dim_k \mathfrak{m}/\mathfrak{m}^2$ and $\mathrm{Tor}^A_i(k,k) = 0$ for all $i \gg 0$. The article gives a proof with the…
Let $R$ be a commutative Noetherian ring with non-zero identity, $\mathfrak{a}$ and ideal of $R$, $M$ a finite $R$--module, and $n$ a non-negative integer. In this paper, for an arbitrary $R$--module $X$ which is not necessarily finite, we…
In this paper, we show that for an $F$-pure local ring $(R,\m)$, all local cohomology modules $H_{\m}^i(R)$ have finitely many Frobenius compatible submodules. This answers positively an open question raised by F.Enescu and M.Hochster. We…
Let $\mathfrak{a}$ be an ideal of a local ring $(R, \mathfrak{m})$ with $c = \mathrm{cd}(\mathfrak{a},R)$ the cohomological dimension of $\mathfrak{a}$ in $R$. In the case that $c=\dim R$, we first give a bound for…
Given a Cohen-Macaulay scheme of klt type $X$ and a resolution $\pi\colon Y\to X$, we show that $R^1\pi_*\omega_Y=0$. We deduce that if $\mathrm{dim}(X)=3$, then $X$ satisfies Grauert-Riemenschneider vanishing and therefore has rational…
Let R be a commutative noetherian ring. Denote by mod R the category of finitely generated R-modules. In this paper, we investigate the finiteness of the radii of resolving subcategories of mod R with respect to a fixed semidualizing…
The anti-Ramsey number $\mathrm{ar}(n,F)$ of an $r$-graph $F$ is the minimum number of colors needed to color the complete $n$-vertex $r$-graph to ensure the existence of a rainbow copy of $F$. We establish a removal-type result for the…
We construct a class of Gorenstein local rings $R$ which admit minimal complete $R$-free resolutions $\bd C$ such that the sequence $\{\rank_R C_i\}$ is constant for $i< 0$, and grows exponentially for all $i>0$. Over these rings we show…
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…
We prove the following vanishing theorem. Let M be an irreducible symmetric space of noncompact type whose dimension exceeds 2 and $M\ne SO_0(2,2)/SO(2)\tm SO(2).$ Let E be any vector bundle over M, Then any E-valued $L^2$ harmonic 1-form…