arXiv subjects

Sayed Sadiqul Islam

Publications and source records attributed to Sayed Sadiqul Islam.

6 recordsLinked to original sources

arXiv2026

On the structure theorem of graded components of $\mathcal{F}$-finite, $\mathcal{F}$-modules over certain polynomial ring

Let $K$ be a field of characteristic $p>0$, $A=K[[Y]]$ be a power series ring in one variable and $Q(A)$ be the field of fraction of $A$. Suppose that $R=A[X_1,\ldots,X_n]$ is a standard $\mathbb{N}^n$-graded polynomial ring over $A$, i.e., $\operatorname{deg} (A)=\underline{0}\in \mathbb{N}^n$ and $\operatorname{deg}(X_j)=e_j\in \mathbb{N}^n$. Assume that $M=\bigoplus_{\underline{u}\in \mathbb{Z}^n} M_{\underline{u}}$ is a $\mathbb{Z}^n$-graded $\mathcal{F}$-finite, $\mathcal{F}$-module over $R$. In this article we prove that, $\displaystyle M_{\underline{u}}\cong E(A/YA)^{a(\underline{u})}\oplus Q(A)^{b(\underline{u})}\oplus A^{c(\underline{u})}$ for some finite numbers $a(\underline{u}), b(\underline{u}), c(\underline{u})\geq 0$. Let for a subset of $U$ of $\mathcal{S}=\{1, \ldots, n\}$, define a block to be the set $\displaystyle\mathcal{B}(U)=\{\underline{u} \in \mathbb{Z}^n \mid u_i \geq 0 \mbox{ if } i \in U \mbox{ and } u_i \leq -1 \mbox{ if } i \notin U \}$. Note that $\bigcup_{U\subseteq \mathcal{S}}\mathcal{B}(U)=\mathbb{Z}^n$. We prove that the sets $\{a(\underline{u})\mid \underline{u}\in \mathbb{Z}^n\}$, $\{b(\underline{u})\mid \underline{u}\in \mathbb{Z}^n\}$ and $\{c(\underline{u})\mid \underline{u}\in \mathbb{Z}^n\}$ are constant on $\mathcal{B}(U)$ for each subset $U$ of $\{1,\ldots,n\}$. In particular, these results holds for composition of local cohomology modules of the form $ H^{i_1}_{I_1}(H^{i_2}_{I_2}(\dots H^{i_r}_{I_r}(R)\dots)$ where $I_1,\ldots,I_r$ are $\mathbb{N}^n$-graded ideals of $R$. This provides a positive characteristic analogue of the results proved in \cite{TS-23} by the authors in characteristic zero.

math.AC↗

arXiv2026

On Bass numbers of graded components of local cohomology modules supported on $\mathfrak{C}$-monomial ideals in mixed characteristic

Let $A$ be a Dedekind domain of characteristic zero such that for each height one prime ideal $\mathfrak{p}$ in $A$, the local ring $A_{\mathfrak{p}}$ has mixed characteristic with finite residue field. Suppose that $R=A[X_1,\ldots,X_n]$ is a standard $\mathbb{N}^n$-graded polynomial ring over $A$, i.e., $\operatorname{deg} A=\underline{0}\in \mathbb{N}^n$ and $\operatorname{deg}(X_j)=e_j\in \mathbb{N}^n$. Let $I$ be a $\mathfrak{C}$-monomial ideal of $R$ and let $M:= H^i_I(R)=\bigoplus_{\underline{u}\in \mathbb{Z}^n}M_{\underline{u}}$. Recently, the second author and S. Roy [2025, J. Algebra 681, 1-21] proved that for a fixed $\underline{u}\in\mathbb{Z}^n$, the Bass numbers $\mu_i(\mathfrak{p},M_{\underline{u}})$ are finite for each prime ideal $\mathfrak{p}$ in $A$ and for every $i\geq 0$. Let for a subset of $U$ of $\mathcal{S}=\{1, \ldots, n\}$, define a block to be the set $\displaystyle\mathcal{B}(U)=\{\underline{u} \in \mathbb{Z}^n \mid u_i \geq 0 \mbox{ if } i \in U \mbox{ and } u_i \leq -1 \mbox{ if } i \notin U \}$. Note that $\bigcup_{U\subseteq \mathcal{S}}\mathcal{B}(U)=\mathbb{Z}^n$. In this article, the main result we establish is that for a fixed prime ideal $\mathfrak{p}$ in $A$ and $i\geq 0$, the set of Bass numbers $\{\mu_i(\mathfrak{p},M_{\underline{u}})\mid \underline{u}\in \mathbb{Z}^n\}$ is constant on $\mathcal{B}(U)$ for each subset $U$ of $\{1, \ldots, n\}$. Our idea is to prove this by carrying out a comprehensive study of the structure theorem for the graded components of $M$ when $A$ is a complete DVR of mixed characteristic with finite residue field.

math.AC↗

arXiv2025

Local cohomology modules of a regular affine domain

For a Noetherian commutative ring $R$, let $H^i_I(R)$ be the $ i$-th local cohomology module of $R$ with respect to $I$. In \cite{Hel-08}, Hellus posed the question of identifying rings $R$ such that $\operatorname{injdim}_R H^i_I(R)=\operatorname{dim}_R(\operatorname{Supp}_R H^i_I(R))$. In this paper, we show that a regular affine domain over a field of characteristic $0$ satisfies this condition. In fact, we prove that $\operatorname{injdim}_R H^i_I(R)\geq \operatorname{dim}_R(\operatorname{Supp}_R H^i_I(R))-1$ when $R$ is a differentiably admissible $K$-algebra. Indeed, we establish both of these conclusions for a substantially broad class of functors known as Lyubeznik functors. We also prove that if $R$ is a polynomial ring over a differentiably admissible $K$-algebra, then $\operatorname{Ass}_R H^i_I(R)$ is finite for all $i\geq 0$ and for every ideal $I$ of $R$.

math.AC↗

arXiv2025

Bounds on Bass numbers of local cohomology modules

Let $R=K[x_1,\ldots,x_m]$ where $K$ is an uncountable algebraically closed field of characteristic $0$. For a prime ideal $P$ of $R$, let $\mu_j(P,M)$ be the $j$-th Bass number of an $R$-module $M$ with respect to the prime $P$. For $1\leq g\leq m-1$, we construct a set $\mathcal{S}_g(t)$ such that $\mathcal{S}_g(t)\subseteq \mathcal{S}_g(t+1)$ for all $t\geq 1$ and $\bigcup_{t\geq 1} \mathcal{S}_g(t)=\operatorname{Spec}_g(R)=\{P\in \operatorname{Spec}(R)\mid \operatorname{height}P=g\}$. Let $\mathcal{T}$ be a Lyubeznik functor on $\operatorname{Mod}(R)$. We prove that there exists some function $\phi^g_i: \mathbb{N}^2\rightarrow \mathbb{N}$ which is monotonic in both the variables such that $\mu_i(P,\mathcal{T}(R))\leq \phi^g_i(e(\mathcal{T}(R)),t)$ for all $P\in \mathcal{S}_{g}(t)$. In particular, the result holds for composition of local cohomology functors of the form $ H^{i_1}_{I_1}(H^{i_2}_{I_2}(\dots H^{i_r}_{I_r}(-)\dots)$.

math.AC↗

arXiv2025

Bigraded components of F-finite F-modules

Let $A$ be a regular ring containing a field of characteristic $p>0$ and let $R=A[x_1,\ldots,x_m,y_1,\ldots,y_n]$ be standard bigraded over $A$, i.e., $\operatorname{bideg}(A)=(0,0)$, $\operatorname{bideg}(x_i)=(1,0)$ and $\operatorname{bideg}(y_j)=(0,1)$ for all $i$ and $j$. Assume that $M=\bigoplus_{i,j} M_{(i,j)}$ is a bigraded $F_R$-finite, $F_R$-module. We use Lyubeznik's theory of $F$-finite, $F$-modules from \cite{Lyu-Fmod} to study the bigraded components of $M$. The properties we study include vanishing, rigidity, Bass numbers, associated primes, and injective dimension of the components of $M$. As an application we show that if $(A,\mathfrak{m})$ is regular local ring containing a field of characteristic $p>0$, $R/I$ is equidimensional, $\operatorname{Bproj}(R/I)$ is Cohen-Macaulay and non-empty, then $H^j_I(R)_{(m,n)}=0$ for all $(m,n)\geq (0,0)$ and all $j>\operatorname{height} I$.

math.AC↗

arXiv2024

On some Rings of differentiable type

Let $K$ be a field of characteristic 0 and $S=K[x_1,\ldots,x_m]/I$ be an affine domain. Consider $R=S_P$ where $P\in Spec(S)$ such that $R$ is regular. In this paper we construct a field $F$ which is contained in $R$ such that (1) The residue field of $R$ is a finite extension of $F$. (2) $D_F(R)$, the ring of $F$-linear differential operators on $R$ is left and right Noetherian with finite global dimension. (3) The Bernstein class of $D_F(R)$ is closed under localization at one element of $R$. We also prove a similar result for $R^h$, the Henselization of $R$. As an application we prove that $\frac{D_F(R)}{D_F(R)P}\cong E(\kappa(P))$ where $E(\kappa(P))$ is the injective hull of the residue field of $R$.

math.AC↗