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

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Islam, Sayed Sadiqul, Puthenpurakal, Tony J.
Format: Preprint
Publié: 2026
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866914425396527104
author Islam, Sayed Sadiqul
Puthenpurakal, Tony J.
author_facet Islam, Sayed Sadiqul
Puthenpurakal, Tony J.
contents 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 $μ_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 $\{μ_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.
format Preprint
id arxiv_https___arxiv_org_abs_2603_25604
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle On Bass numbers of graded components of local cohomology modules supported on $\mathfrak{C}$-monomial ideals in mixed characteristic
Islam, Sayed Sadiqul
Puthenpurakal, Tony J.
Commutative Algebra
Primary 13D45, Secondary 13C11
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 $μ_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 $\{μ_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.
title On Bass numbers of graded components of local cohomology modules supported on $\mathfrak{C}$-monomial ideals in mixed characteristic
topic Commutative Algebra
Primary 13D45, Secondary 13C11
url https://arxiv.org/abs/2603.25604