相关论文: D-module structure of local cohomology modules of …
Let $k$ be a field of characteristic zero and I an ideal defining an arrangement of linear subspaces in the affine space $A^n_k$. We compute the D-module theoretic characteristic cycle of the local cohomology modules $H^r_I(k[x_1,...,x_n])$…
In this paper we present algorithms that compute certain local cohomology modules associated to a ring of polynomials containing the rational numbers. In particular we are able to compute the local cohomological dimension of algebraic…
Let $D$ be the ring of Grothendieck differential operators of the ring $R$ of polynomials in $d\geq3$ variables with coefficients in a perfect field of positive characteristic $p.$ We compute the $D$-module length of the first local…
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…
Let $R$ be a polynomial or power series ring over a field $k$. We study the length of local cohomology modules $H^j_I(R)$ in the category of $D$-modules and $F$-modules. We show that the $D$-module length of $H^j_I(R)$ is bounded by a…
Suppose that k is a field of characteristic zero, X is an r by s matrix of indeterminates, where r \leq s, and R = k[X] is the polynomial ring over k in the entries of X. We study the local cohomology modules H^i_I(R), where I is the ideal…
Let $R=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ of characteristic $p>0,$ and let $I=(f_1,...,f_s)$ be an ideal of $R.$ We prove that every associated prime $P$ of $H^i_I(R)$ satisfies $\text{dim}R/P\geqslant…
Let $A$ be a regular ring containing a field $K$ of characteristic zero and let $R = A[X_1,\ldots, X_m]$. Consider $R$ as standard graded with $\deg A = 0$ and $\deg X_i = 1$ for all $i$. Let $G$ be a finite subgroup of $GL_m(A)$. Let $G$…
Let $R$ be a commutative Noetherian ring that is a smooth $\mathbb Z$-algebra. For each ideal $I$ of $R$ and integer $k$, we prove that the local cohomology module $H^k_I(R)$ has finitely many associated prime ideals. This settles a crucial…
Let $K$ be an algebraically closed field of characteristic zero and let $R = K[X_1,\ldots,X_n]$. Let $I$ be an ideal in $R$. Let $A_n(K)$ be the $n^{th}$ Weyl algebra over $K$. By a result of Lyubeznik, the local cohomology modules…
Let $K$ be a field of characteristic zero, $R = K[X_1,...,X_n]$ and let $I$ be an ideal in $R$. Let $A_n(K) = K<X_1,...,X_n, \partial_1,..., \partial_n>$ be the $n^{th}$ Weyl algebra over $K$. By a result due to Lyubeznik the local…
In this paper, we will provide constructions of D-module structures on the complex computing the periodic cyclic homology of a stable infinity-category defined over a scheme of characteristic zero. We give two methods. The first one is…
Let T be a commutative Noetherian local ring of dimension at least two and R=T[x_1,...,x_n] a polynomial ring in n variables over T. Consider R as a graded ring with deg T = 0 and deg x_i = 1 for all i. Let I=R_+ and f a homogeneous…
We explain a formalism of regular holonomic $D$-modules for algebraic geometers using the distinguished triangles associated with algebraic local cohomology together with meromorphic Deligne extensions of local systems as well as the dual…
We describe the support of $F$-finite $F$-modules over polynomial rings $R$ of prime characteristic. Our description yields an algorithm to compute the support of such modules; the complexity of our algorithm is also analyzed. To the best…
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 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…
Let $A$ be a regular ring containing a field of characteristic zero and let $R = A[X_1,\ldots, X_m]$. Consider $R$ as standard graded with $deg \ A = 0$ and $deg \ X_i = 1$ for all $i$. In this paper we present a comprehensive study of…
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$ be a ring and $R$ be a polynomial or a power series ring over $A$. When $A$ has dimension zero, we show that the Bass numbers and the associated primes of the local cohomology modules over $R$ are finite. Moreover, if $A$ has…