Related papers: Local Cohomology and Base Change
We use techniques of Alper-Hall-Rydh to prove a local structure theorem for smooth morphisms between smooth stacks around points with linearly reductive stabilizers. This implies that the good moduli space of a smooth stack over a base has…
Let $S$ be a finite dimensional noetherian scheme. For any proper morphism between smooth $S$-schemes, we prove a Riemann-Roch formula relating higher algebraic $K$-theory and motivic cohomology, thus with no projective hypothesis neither…
Let $A$ be a regular domain containing a field $K$ of characteristic zero, $G$ be a finite subgroup of the group of automorphisms of $A$ and $B=A^G$ be the ring of invariants of $G$. Let $S= A[X_1,\ldots, X_m]$ and $R= B[X_1, \ldots, X_m]$…
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…
One says that a ring homomorphism $R \rightarrow S$ is Ohm-Rush if extension commutes with arbitrary intersection of ideals, or equivalently if for any element $f\in S$, there is a unique smallest ideal of $R$ whose extension to $S$…
Given a noncommutative (Cohn) localization $A \to \sigma^{-1}A$ which is injective and stably flat we obtain a lifting theorem for induced f.g. projective $\sigma^{-1}A$-module chain complexes and localization exact sequences in algebraic…
Let $R$ be a commutative Noetherian local ring and let $\fa$ be a proper ideal of $R$. A non-zero finitely generated $R$-module $M$ is called relative Cohen-Macaulay with respect to $\fa$ if there is precisely one non vanishing local…
This paper concerns the homological properties of a module $M$ over a commutative noetherian ring $R$ relative to a presentation $R\cong P/I$, where $P$ is local ring. It is proved that the Betti sequence of $M$ with respect to $P/(f)$ for…
For a proper, smooth scheme $X$ over a $p$-adic field $K$, we show that any proper, flat, semistable $\mathcal{O}_K$-model $\mathcal{X}$ of $X$ whose logarithmic de Rham cohomology is torsion free determines the same $\mathcal{O}_K$-lattice…
In this note ($R, m$) denotes a complete regular local ring and $B$ mostly denotes its absolute integral closure. The four objectives of this paper are the following: i) to determine the highest non-vanishing local cohomology of…
Let $f\colon Y \to X$ be a proper flat morphism of locally noetherian schemes. Then, the locus in $X$ over which $f$ is smooth is stable under generization. We prove that under suitable assumptions on the formal fibers of $X$, the same…
Let \frak a be an ideal of a commutative Noetherian ring R and M a finitely generated R-module. It is shown that {\rm Ann}_R(H_{\frak a}^{{\dim M}({\frak a}, M)}(M))= {\rm Ann}_R(M/T_R({\frak a}, M)), where T_R({\frak a}, M) is the largest…
Local cohomology modules, even over a Noetherian ring $R$, are typically unwieldly. As such, it is of interest whether or not they have finitely many associated primes. We prove the affirmative in the case where $R$ is a Stanley-Reisner…
This work concerns finite free complexes over commutative noetherian rings, in particular over group algebras of elementary abelian groups. The main contribution is the construction of complexes such that the total rank of their underlying…
A countable family of $*$-commuting surjective, non-injective local homeomorphisms of a compact Hausdorff space $X$ gives rise to an action $\theta$ of a countably generated, free abelian monoid $P$. For such a triple $(X,P,\theta)$, which…
We prove that Schubert varieties are globally F-regular in the sense of Karen Smith. We apply this result to the category of equivariant and holonomic D-modules on flag varieties in positive characteristic. Here recent results of Blickle…
Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we…
Let $S$ be the polynomial ring on the space of non-square generic matrices or the space of odd-sized skew-symmetric matrices, and let $I$ be the determinantal ideal of maximal minors or $\operatorname{Pf}$ the ideal of sub-maximal…
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)…
Let $R$ be a noetherian commutative ring, and \[ \mathbb F: ...\rightarrow F_2\rightarrow F_1\rightarrow F_0\rightarrow 0 \] a complex of flat $R$-modules. We prove that if $\kappa(\mathfrak p)\otimes_R\mathbb F$ is acyclic for every…