相关论文: Computing the support of local cohomology modules

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…

Let I be an ideal of a Complete Cohen-Macaulay local ring R of dimension n. We wil show that the natural homomorphism Rto HomR(HcI(KR), HcI(KR)) is an isomorphism provided that I is a cohomologically compltete intersection ideal of grade c…

Let $k$ be a field and $R$ a standard graded $k$-algebra. We denote by $\operatorname{H}^R$ the homology algebra of the Koszul complex on a minimal set of generators of the irrelevant ideal of $R$. We discuss the relationship between the…

Let $R$ be a commutative noetherian ring and $I$ an ideal of $R$. Assume that for all integers $i$ the local cohomology module $H_I^i(R)$ is $I$-cofinite. Suppose that $R_\mathfrak{p}$ is a regular local ring for all prime ideals…

In this paper, we introduce the notion of a Klyachko diagram for a monomial ideal $I$ in a certain multi-graded polynomial ring, namely the Cox ring $R$ of a smooth complete toric variety, with irrelevant maximal ideal $B$. We present…

Let R be a ring of polynomials in a finite number of variables over a perfect field k of characteristic p>0 and let F:R\to R be the Frobenius map of R, i.e. F(r)=r^p. We explicitly describe an R-module isomorphism Hom_R(F_*(M),N)\cong…

Let R be a local complete ring. For an R-module M the canonical ring map R\to End_R(M) is in general neither injective nor surjective; we show that it is bijective for every local cohomology module M := H^h_I(R) if H^l_I(R) = 0 for every…

Let $R$ be a commutative Noetherian ring, $\mathfrak a$ a proper ideal of $R$ and $N$ a non-zero finitely generated $R$-module with $N\neq \mathfrak a N$. Let $d$ (respectively $c$) be the smallest (respectively greatest) non-negative…

Grothendieck local residue is considered in the context of symbolic computation. Based on the theory of holonomic D-modules, an effective method is proposed for computing Grothendieck local residues. The key is the notion of Noether…

Let R be a commutative Noetherian d-dimensional complete equicharacterisitc regular local ring and let I be an ideal of R such that every minimal prime over I has height at most c. Let v=d - [(d-2)/c]-1 and v'=d - [(d-1)/c]. It has been…

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…

We study the problem of computing the isolated regular solutions of a system \((f_1,\ldots,f_n)\) of \(n\) polynomial equations in \(n\) variables \((X_1, \dots, X_n)\) over a field of characteristic zero \(k\). We focus on systems with a…

Let $R$ be a commutative Noetherian ring with non-zero identity, $\fa$ an ideal of $R$, $M$ a finite $R$--module and $X$ an arbitrary $R$--module. Here, we show that, in the Serre subcategories of the category of $R$--modules, how the…

We discuss spectral sequences coming from Whitehead filtrations in the computation of topological Hochschild homology of ring spectra. Using cyclic invariance, this makes for simple computations of $THH$ of connective rings $R$ with…

We introduce the notion of an E_k-ring with prelogarithmic structure, define logarithmic topological Hochschild homology and logarithmic topological cyclic homology in this context, and establish localization sequences for these theories.…

We give algorithms for computing the singular moduli of suitable nonholomorphic modular functions F(z). By combining the theory of isogeny volcanoes with a beautiful observation of Masser concerning the nonholomorphic Eisenstein series…

Let R be a regular, local and F-finite ring defined over a field of finite characteristic. Let I be an ideal of height c with normal quotient $A=R/I$. It is shown that the local cohomology module H^c_I(R) contains a unique simple…

For a projective variety V in P^n over a field of characteristic zero, with homogeneous ideal I in A = k[x0,x1,...,xn], we consider the local cohomology modules H^i_I(A). These have a structure of holonomic D-module over A, and we…

For a finitely generated module $M$, over a commutative Noetherian local ring $(R, \mathfrak{m})$, it is shown that there exist only a finite number of non--isomorphic top local cohomology modules $\mathrm{H}_{\mathfrak{a}}^{\mathrm{dim}…

Let $(R,m)$ be a local Noetherian ring, let $I\subset R$ be any ideal and let $M$ be a finitely generated $R$-module. In 1990 Craig Huneke conjectured that the local cohomology modules $H^i_I(M)$ have finitely many associated primes for all…