Showing 1–24 of 24 results for author: Jahangiri, M

Asymptotic behaviour of graded local cohomology modules via linkage

Authors: Maryam Jahangiri, Azadeh Nadali, Khadijeh Sayyari

Abstract: Assume that $R=\oplus_{n\in \mathbb{N}_0}R_n$ is a standard graded algebra over the local ring $(R_0,\mathfrak{m}_0)$, $\mathfrak{a}$ is a homogeneous ideal of $R$, $M$ is a finitely generated graded $R$-module and $R_+:=\oplus_{n\in \mathbb{N}}R_n$ denotes the irrelevant ideal of $R$. In this paper, we study the asymptotic behaviour of the set… ▽ More Assume that $R=\oplus_{n\in \mathbb{N}_0}R_n$ is a standard graded algebra over the local ring $(R_0,\mathfrak{m}_0)$, $\mathfrak{a}$ is a homogeneous ideal of $R$, $M$ is a finitely generated graded $R$-module and $R_+:=\oplus_{n\in \mathbb{N}}R_n$ denotes the irrelevant ideal of $R$. In this paper, we study the asymptotic behaviour of the set $\{ \operatorname{grade}(\mathfrak{a} \cap R_0, H^{\operatorname{grade}(R_+,M)}_{R_+}(M)_n) \}_{n \in \mathbb{Z}}$ as $n \rightarrow -\infty$, in the case where $\mathfrak{a}$ and $R_+$ are homogenously linked over $M$. △ Less

Submitted 28 August, 2021; originally announced August 2021.

Comments: 7 pages

MSC Class: 13A02; 13D45; 13C40 (primary) 13E05 (secondary)

Graded local cohomology modules with respect to the linked ideals

Authors: Maryam Jahangiri, Azadeh Nadali, Khadijeh Sayyari

Abstract: Let $R=\oplus_{n\in \N_0}R_n$ be a standard graded ring, $M$ be a finitely generated graded $R$-module and $R_+:=\oplus_{n\in \N}R_n$ denotes the irrelevant ideal of $R$. In this paper, considering the new concept of linkage of ideals over a module, we study the graded components $H^i_{\fa}(M)_n$ when $\fa$ is an h-linked ideal over $M$. More precisely, we show that $H^i_{\fa}(M)$ is tame in each… ▽ More Let $R=\oplus_{n\in \N_0}R_n$ be a standard graded ring, $M$ be a finitely generated graded $R$-module and $R_+:=\oplus_{n\in \N}R_n$ denotes the irrelevant ideal of $R$. In this paper, considering the new concept of linkage of ideals over a module, we study the graded components $H^i_{\fa}(M)_n$ when $\fa$ is an h-linked ideal over $M$. More precisely, we show that $H^i_{\fa}(M)$ is tame in each of the following cases: \begin{itemize} \item [(i)] $i=f_{\fa}^{R_+}(M)$, the first integer $i$ for which $R_+\nsubseteq \sqrt{0:H^i_{\fa}(M)}$; \item [(ii)] $i=\cd(R_+,M)$, the last integer $i$ for which $H^{i}_{R_+}(M)\neq 0$, and $\fa=\fb+R_+$ where $\fb$ is an h-linked ideal with $R_+$ over $M$. \end{itemize} Also, among other things, we describe the components $H^i_{\fa}(M)_n$ where $\fa$ is radically h-$M$-licci with respect to $R_+$ of length 2. △ Less

Submitted 17 February, 2021; originally announced February 2021.

Comments: 14 pages

MSC Class: 13D45; 13A02; 13C40

Inclusion properties for bi-univalent functions of complex order defined by combining of Faber polynomial expansions and Fibonacci numbers

Authors: Sahsene Altinkaya, Samaneh G. Hamidi, Jay M. Jahangiri, Sibel Yalcin

Abstract: In this present investigation, we introduce the new class R of bi-univalent functions defined by using the Tremblay fractional derivative operator. Additionally, we use the Faber polynomial expansions and Fibonacci numbers to derive bounds for the general coefficient an of the bi-univalent function class. In this present investigation, we introduce the new class R of bi-univalent functions defined by using the Tremblay fractional derivative operator. Additionally, we use the Faber polynomial expansions and Fibonacci numbers to derive bounds for the general coefficient an of the bi-univalent function class. △ Less

Submitted 13 January, 2019; originally announced January 2019.

MSC Class: 30C45; 33D15

Harmonic univalent functions defined by q-calculus operators

Authors: Jay M. Jahangiri

Abstract: The fractional q-calculus is the q-extension of the ordinary fractional calculus and dates back to early 20-th century. The theory of q-calculus operators are used in various areas of science such as ordinary fractional calculus, optimal control, q-difference and q-integral equations, and also in the geometric function theory of complex analysis. In this article, for the first time, we apply certa… ▽ More The fractional q-calculus is the q-extension of the ordinary fractional calculus and dates back to early 20-th century. The theory of q-calculus operators are used in various areas of science such as ordinary fractional calculus, optimal control, q-difference and q-integral equations, and also in the geometric function theory of complex analysis. In this article, for the first time, we apply certain q-calculus operators to complex harmonic functions and obtain sharp coefficient bounds, distortion theorems and covering results. △ Less

Submitted 21 June, 2018; originally announced June 2018.

Journal ref: International Journal of Mathematical Analysis and Applications; 5(2)(2018); 39-43

Attached and Assoiciated Primes Of Local Cohomology Modules Via Linkage

Authors: Maryam Jahangiri, Khadijeh Sayyari

Abstract: Let $R$ be a commutative Noetherian ring and $M$ be a finitely generated $R$-module. Considering the new concept of linkage of ideals over a module, we study associated prime ideals, cofiniteness and Artinianness of local cohomology modules of $M$ with respect to some linked ideals over it. Let $R$ be a commutative Noetherian ring and $M$ be a finitely generated $R$-module. Considering the new concept of linkage of ideals over a module, we study associated prime ideals, cofiniteness and Artinianness of local cohomology modules of $M$ with respect to some linked ideals over it. △ Less

Submitted 12 June, 2018; originally announced June 2018.

Comments: 11 pages

MSC Class: 13D45; 13C45; 13C14

Cohomological dimension with respect to the linked ideals

Authors: Maryam Jahangiri, Khadijeh Sayyari

Abstract: Let $R$ be a commutative Noetherian ring. Using the new concept of linkage of ideals over a module, we show that if $\mathfrak{a}$ is an ideal of $R$ which is linked by the ideal $I$, then $cd(\mathfrak{a},R) \in \{ grad \mathfrak{a}, cd(\fa, H^{grad \mathfrak{a}}_ {\mathfrak{c}} (R)) + grad \mathfrak{a}\}, $ where… ▽ More Let $R$ be a commutative Noetherian ring. Using the new concept of linkage of ideals over a module, we show that if $\mathfrak{a}$ is an ideal of $R$ which is linked by the ideal $I$, then $cd(\mathfrak{a},R) \in \{ grad \mathfrak{a}, cd(\fa, H^{grad \mathfrak{a}}_ {\mathfrak{c}} (R)) + grad \mathfrak{a}\}, $ where $\mathfrak{c} : = \bigcap_{\mathfrak{p} \in Ass \frac{R}{I}- V(\mathfrak{a})}\mathfrak{p}$. Also, it is shown that for every ideal $\mathfrak{b}$ which is geometrically linked with $\mathfrak{a},$ $cd(\mathfrak{a}, H^{grad \mathfrak{b}}_ {\mathfrak{b}} (R))$ does not depend on $\mathfrak{b}$ △ Less

Submitted 9 October, 2019; v1 submitted 9 June, 2018; originally announced June 2018.

Comments: 12 pages Proposition 2.9, Remark 2.10 and Corollary 2.11 are added

MSC Class: 13C40; 13D45

Characterization of some special rings via linkage

Authors: Maryam Jahangiri, Khadijeh Sayyari

Abstract: Some descriptions of linked ideals in a commutative Notherian ring $R$ are provided in terms of the Associated prime ideals of $R$. Then, among other things, we make some characterization of Cohen-Macaulay, Gorenstein and regular local rings in terms of their linked ideals. Some descriptions of linked ideals in a commutative Notherian ring $R$ are provided in terms of the Associated prime ideals of $R$. Then, among other things, we make some characterization of Cohen-Macaulay, Gorenstein and regular local rings in terms of their linked ideals. △ Less

Submitted 7 March, 2018; originally announced March 2018.

Comments: 12 pages

MSC Class: 13c40(primary); 13c14; 13D45; 13H10(secondery)

On linear ternary Intersection sequences and their properties

Authors: Mahdi Saleh, Majid Jahangiri

Abstract: Let $D^+$ be the first octant of the Euclidean space and consider the integral cube grid $G$ in $D^+$. The intersections of each line with $G$ form an infinite sequence of three letters which can be considered as an extension of well-known Sturmian words. A classification of such linear ternary sequences is presented and a family of examples is constructed from a notable sequence $S^M$ which could… ▽ More Let $D^+$ be the first octant of the Euclidean space and consider the integral cube grid $G$ in $D^+$. The intersections of each line with $G$ form an infinite sequence of three letters which can be considered as an extension of well-known Sturmian words. A classification of such linear ternary sequences is presented and a family of examples is constructed from a notable sequence $S^M$ which could be viewed as an analogue of the Fibonacci word in the family of Sturmian words. The factor complexity and the palindromic complexity of these linear ternary sequences are also studied. The last result stated is that each ternary sequence with factor complexity $n+2$ is the intersection sequence of a line. △ Less

Submitted 12 September, 2017; originally announced September 2017.

Comments: 10 pages with 4 figures

MSC Class: 68Q45; 11B85

Linkage of ideals over a module

Authors: Maryam Jahangiri, Khadijeh Sayyari

Abstract: Inspired by the works in linkage theory of ideals, we define the concept of linkage of ideals over a module. Several known theorems in linkage theory are improved or recovered by new approaches. Specially, we make some extensions and generalizations of the basic result of Peskine and Szpiro \cite[prop 1.3]{PS}, namely if $R$ is a Gorenstain local ring, $\mathfrak{a} \neq 0$ (an ideal of $R$) and… ▽ More Inspired by the works in linkage theory of ideals, we define the concept of linkage of ideals over a module. Several known theorems in linkage theory are improved or recovered by new approaches. Specially, we make some extensions and generalizations of the basic result of Peskine and Szpiro \cite[prop 1.3]{PS}, namely if $R$ is a Gorenstain local ring, $\mathfrak{a} \neq 0$ (an ideal of $R$) and $\mathfrak{b} := 0:_R \mathfrak{a}$ then $\frac{R}{\mathfrak{a}}$ is Cohen-Macaulay if and only if $\frac{R}{\mathfrak{a}}$ is unmixed and $\frac{R}{\mathfrak{b}}$ is Cohen-Macaulay. △ Less

Submitted 15 October, 2018; v1 submitted 11 September, 2017; originally announced September 2017.

Comments: 14 pages, There are some changes in the style of the paper

MSC Class: 13C40 (Primary); 13D45 13C14 (Secondary)

On the periodicity problem of residual r-Fubini sequences

Authors: Amir Abbas Asgari, Majid Jahangiri

Abstract: For any positive integer $r$, the $r$-Fubini number with parameter $n$, denoted by $F_{n,r}$, is equal to the number of ways that the elements of a set with $n+r$ elements can be weak ordered such that the $r$ least elements are in distinct orders. In this article we focus on the sequence of residues of the $r$-Fubini numbers modulo a positive integer $s$ and show that this sequence is periodic an… ▽ More For any positive integer $r$, the $r$-Fubini number with parameter $n$, denoted by $F_{n,r}$, is equal to the number of ways that the elements of a set with $n+r$ elements can be weak ordered such that the $r$ least elements are in distinct orders. In this article we focus on the sequence of residues of the $r$-Fubini numbers modulo a positive integer $s$ and show that this sequence is periodic and then, exhibit how to calculate its period length. As an extra result, an explicit formula for the $r$-Stirling numbers is obtained which is frequently used in calculations. △ Less

Submitted 25 January, 2017; originally announced January 2017.

A Novel Proof for Kimberling's Conjecture on Doubly Fractal Sequences

Authors: Matin Amini, Majid Jahangiri

Abstract: A sequence is a fractal sequence if it contains itself as a proper subsequence. (The self-containment property resembles that of visual fractals) A doubly fractal sequence of integers is defined by operations called upper trimming and lower trimming. C. Kimberling proved that signature sequences are doubly fractal and conjectured the converse. This article gives a procedure for constructing doubly… ▽ More A sequence is a fractal sequence if it contains itself as a proper subsequence. (The self-containment property resembles that of visual fractals) A doubly fractal sequence of integers is defined by operations called upper trimming and lower trimming. C. Kimberling proved that signature sequences are doubly fractal and conjectured the converse. This article gives a procedure for constructing doubly fractal sequences and proves Kimberling's conjecture. △ Less

Submitted 30 December, 2016; originally announced December 2016.

MSC Class: 11B99(Primary); 11B25(Secondary)

On the Attached prime ideals of local cohomology modules defined by a pair of ideals

Authors: Kh. Ahmadi Amoli, Z. Habibi, M. Jahangiri

Abstract: Let $I$ and $J$ be two ideals of a commutative Noetherian ring $R$ and $M$ be an $R$-module of dimension $d$. If $R$ is a complete local ring and $M$ is finite, then attached prime ideals of $H^{d-1}_{I,J}(M)$ are computed by means of the concept of co-localization. Also, we illustrate the attached prime ideals of $H^{t}_{I,J}(M)$ on a non-local ring $R$, for $t= \dim M$ and $t= cd(I,J,M)$. Let $I$ and $J$ be two ideals of a commutative Noetherian ring $R$ and $M$ be an $R$-module of dimension $d$. If $R$ is a complete local ring and $M$ is finite, then attached prime ideals of $H^{d-1}_{I,J}(M)$ are computed by means of the concept of co-localization. Also, we illustrate the attached prime ideals of $H^{t}_{I,J}(M)$ on a non-local ring $R$, for $t= \dim M$ and $t= cd(I,J,M)$. △ Less

Submitted 17 February, 2015; originally announced February 2015.

Comments: are welcome!

MSC Class: 13D45; 13E10

On the associated prime ideals of local cohomology modules defined by a pair of ideals

Authors: Kh. Ahmadi Amoli, Z. Habibi, M. Jahangiri

Abstract: Let $I$ and $J$ be two ideals of a commutative Noetherian ring $R$ and $M$ be an $R$-module. For a non-negative integer $n$ it is shown that, if the sets $\Ass_R(\Ext^{n} _{R}(R/I,M))$ and $\Supp_R(\Ext^{i}_{R}(R/I,H^{j}_{I,J} (M)))$ are finite for all $i \leq n+1$ and all $j< n$, then so is \linebreak$\Ass_R(\Hom_{R}(R/I,H^{n}_{I,J}(M)))$. We also study the finiteness of… ▽ More Let $I$ and $J$ be two ideals of a commutative Noetherian ring $R$ and $M$ be an $R$-module. For a non-negative integer $n$ it is shown that, if the sets $\Ass_R(\Ext^{n} _{R}(R/I,M))$ and $\Supp_R(\Ext^{i}_{R}(R/I,H^{j}_{I,J} (M)))$ are finite for all $i \leq n+1$ and all $j< n$, then so is \linebreak$\Ass_R(\Hom_{R}(R/I,H^{n}_{I,J}(M)))$. We also study the finiteness of $\Ass_R(\Ext^{i}_{R}(R/I,H^{n}_{I,J} (M)))$ for $i=1,2$. △ Less

Submitted 17 February, 2015; originally announced February 2015.

Comments: are welcome!

MSC Class: 13D45; 13E10; 13E05

On graded local cohomology modules defined by a pair of ideals

Authors: M. Jahangiri, Kh. Ahmadi Amoli, Z. Habibi

Abstract: Let $R = \bigoplus_{n \in \mathbb{N}_{0}} R_{n}$ be a standard graded ring, $M$ be a finite graded $R$-module and $J$ be a homogenous ideal of $R$. In this paper we study the graded structure of the $i$-th local cohomology module of $M$ defined by a pair of ideals $(R_{+},J)$, i.e. $H^{i}_{R_{+},J}(M)$. More precisely, we discuss finiteness property and vanishing of the graded components… ▽ More Let $R = \bigoplus_{n \in \mathbb{N}_{0}} R_{n}$ be a standard graded ring, $M$ be a finite graded $R$-module and $J$ be a homogenous ideal of $R$. In this paper we study the graded structure of the $i$-th local cohomology module of $M$ defined by a pair of ideals $(R_{+},J)$, i.e. $H^{i}_{R_{+},J}(M)$. More precisely, we discuss finiteness property and vanishing of the graded components $H^{i}_{R_{+},J}(M)_{n}$. Also, we study the Artinian property and tameness of certain submodules and quotient modules of $H^{i}_{R_{+},J}(M)$. △ Less

Submitted 17 February, 2015; originally announced February 2015.

Comments: are welcome!

MSC Class: 13D45; 13E10; 13A02

On the rate of graded modules

Authors: Rasoul Ahangari Maleki, Maryam Jahangiri

Abstract: Let $K$ be a field, $R$ a standard graded $K$-algebra and $M$ be a finitely generated graded $R$-module. The rate of $M$, $rate_R(M)$, is a measure of the growth of the shifts in the minimal graded free resolution of $M$. In this paper, we find upper bounds for this invariant. More precisely, let $(A,\mathfrak{n})$ be a regular local ring and $I\subseteq \mathfrak{n} ^t$ be an ideal of $A$, where… ▽ More Let $K$ be a field, $R$ a standard graded $K$-algebra and $M$ be a finitely generated graded $R$-module. The rate of $M$, $rate_R(M)$, is a measure of the growth of the shifts in the minimal graded free resolution of $M$. In this paper, we find upper bounds for this invariant. More precisely, let $(A,\mathfrak{n})$ be a regular local ring and $I\subseteq \mathfrak{n} ^t$ be an ideal of $A$, where $t\geq 2$. We prove that if $(B=A/I, \mathfrak{m} =\mathfrak{n} /I)$ is a Cohen-Macaulay local ring with multiplicity $e(B)= \binom{h+t-1}{h}$, where $h=embdim(B)-dim B$, then $rat(gr_{\mathfrak{m}}(B))=t-1$ and for every $B$-module $N$, which annihilated by a minimal reduction of $\mathfrak{m}$, $rate_{gr_{\mathfrak{m}}(B)}(gr_{\mathfrak{m}}(N))\leq t-1$. △ Less

Submitted 23 January, 2017; v1 submitted 30 October, 2014; originally announced October 2014.

Comments: This paper has been withdrawn by the author due to some changes in the paper

MSC Class: 13D02; 13D07; 16W50; 16W70; 16S37

Castelnuovo-Mumford regularity and cohomological dimension

Authors: Maryam Jahangiri

Abstract: Let $R=\oplus_{i\in \N_0}R_n$ be a standard graded ring, $R_+ :=\oplus_{i\in \N}R_n$ be the irrelevant ideal of $R$ and $\fa_0$ be an ideal of $R_0$. In this paper, as a generalization of the concept of Castelnouvo-Mumford regularity $\reg(M)$ of a finitely generated graded $R$-module $M$, we define the regularity of $M$ with respect to $\fa_0+ R_+$, say $\reg_{\fa_0+ R_+}(M)$. And we study some r… ▽ More Let $R=\oplus_{i\in \N_0}R_n$ be a standard graded ring, $R_+ :=\oplus_{i\in \N}R_n$ be the irrelevant ideal of $R$ and $\fa_0$ be an ideal of $R_0$. In this paper, as a generalization of the concept of Castelnouvo-Mumford regularity $\reg(M)$ of a finitely generated graded $R$-module $M$, we define the regularity of $M$ with respect to $\fa_0+ R_+$, say $\reg_{\fa_0+ R_+}(M)$. And we study some relations of this new invariant with the classic one. To this end, we need to consider the cohomological dimension of some finitely generated $R_0$-modules. Also, we will express $\reg_{\fa_0+ R_+}(M)$ in terms of some invariants of the minimal graded free resolution of $M$ and see that in a special case this invariant is independent of the choice of $\fa_0$. △ Less

Submitted 9 April, 2013; originally announced April 2013.

Comments: 9 pages, to appear in Communications in Algebra

Tame Loci of Certain Local Cohomology Modules

Authors: Markus Brodmann, Maryam Jahangiri

Abstract: Let $M$ be a finitely generated graded module over a Noetherian homogeneous ring $R = \bigoplus_{n \in \mathbb{N}_0}R_n$. For each $i \in \mathbb{N}_0$ let $H^i_{R_{+}}(M)$ denote the $i$-th local cohomology module of $M$ with respect to the irrelevant ideal $R_+ = \bigoplus_{n > 0} R_n$ of $R$, furnished with its natural grading. We study the tame loci $\ft^i(M)^{\leq 3}$ at level… ▽ More Let $M$ be a finitely generated graded module over a Noetherian homogeneous ring $R = \bigoplus_{n \in \mathbb{N}_0}R_n$. For each $i \in \mathbb{N}_0$ let $H^i_{R_{+}}(M)$ denote the $i$-th local cohomology module of $M$ with respect to the irrelevant ideal $R_+ = \bigoplus_{n > 0} R_n$ of $R$, furnished with its natural grading. We study the tame loci $\ft^i(M)^{\leq 3}$ at level $i \in \mathbb{N}_0$ in codimension $\leq 3$ of $M$, that is the sets of all primes $\fp_0 \subset R_0$ of height $\leq 3$ such that the graded $R_{\fp_0}$-modules $H^i_{R_{+}}(M)_{\fp_0}$ are tame. △ Less

Submitted 18 June, 2011; originally announced June 2011.

Comments: 15 pages, to appear in Journal of Commutative Algebra

Relative Cohen-Macaulayness and relative unmixedness of bigraded modules

Authors: Maryam Jahangiri, Ahad Rahimi

Abstract: In this paper we study the finitely generated bigraded modules over a standard bigraded polynomial ring which are relative Cohen-Macaulay or relative unmixed with respect to one of the irrelevant bigraded ideals. A generalization of Reisner's criterion for Cohen-Macaulay simplicial complexes is considered. In this paper we study the finitely generated bigraded modules over a standard bigraded polynomial ring which are relative Cohen-Macaulay or relative unmixed with respect to one of the irrelevant bigraded ideals. A generalization of Reisner's criterion for Cohen-Macaulay simplicial complexes is considered. △ Less

Submitted 16 May, 2011; originally announced May 2011.

Comments: 17 pages

MSC Class: 13D45; 16W50; 13C14; 13F55

Tameness and Artinianness of Graded Generalized Local Cohomology Modules

Authors: M. Jahangiri, N. Shirmohammadi, Sh. Tahamtan

Abstract: Let $R=\bigoplus_{n\geq 0}R_n$, $\fa\supseteq \bigoplus_{n> 0}R_n$ and $M$ and $N$ be a standard graded ring, an ideal of $R$ and two finitely generated graded $R$-modules, respectively. This paper studies the homogeneous components of graded generalized local cohomology modules. First of all, we show that for all $i\geq 0$, $H^i_{\fa}(M, N)_n$, the $n$-th graded component of the $i$-th generalize… ▽ More Let $R=\bigoplus_{n\geq 0}R_n$, $\fa\supseteq \bigoplus_{n> 0}R_n$ and $M$ and $N$ be a standard graded ring, an ideal of $R$ and two finitely generated graded $R$-modules, respectively. This paper studies the homogeneous components of graded generalized local cohomology modules. First of all, we show that for all $i\geq 0$, $H^i_{\fa}(M, N)_n$, the $n$-th graded component of the $i$-th generalized local cohomology module of $M$ and $N$ with respect to $\fa$, vanishes for all $n\gg 0$. Furthermore, some sufficient conditions are proposed to satisfy the equality $\sup\{\en(H^i_{\fa}(M, N))| i\geq 0\}= \sup\{\en(H^i_{R_+}(M, N))| i\geq 0\}$. Some sufficient conditions are also proposed for tameness of $H^i_{\fa}(M, N)$ such that $i= f_{\fa}^{R_+}(M, N)$ or $i= \cd_{\fa}(M, N)$, where $f_{\fa}^{R_+}(M, N)$ and $\cd_{\fa}(M, N)$ denote the $R_+$-finiteness dimension and the cohomological dimension of $M$ and $N$ with respect to $\fa$, respectively. We finally consider the Artinian property of some submodules and quotient modules of $H^j_{\fa}(M, N)$, where $j$ is the first or last non-minimax level of $H^i_{\fa}(M, N)$. △ Less

Submitted 12 May, 2011; v1 submitted 23 January, 2011; originally announced January 2011.

Comments: 18pages, with some revisions and corrections

MSC Class: 13A02; 13E10; 13D45

Generators of Arithmetic Quaternion Groups and a Diophantine Problem

Authors: Majid Jahangiri

Abstract: Let $p$ be a prime and $a$ a quadratic non-residue $\bmod p$. Then the set of integral solutions of the diophantine equation $x_0^2 - ax_1^2 -px_2^2 + apx_3^2=1$ form a cocompact discrete subgroup $Γ_{p,a}\subset SL(2,\mathbb{R})$ and is commensurable with the group of units of an order in a quaternion algebra over $\mathbb{Q}$. The problem addressed in this paper is an estimate for the traces o… ▽ More Let $p$ be a prime and $a$ a quadratic non-residue $\bmod p$. Then the set of integral solutions of the diophantine equation $x_0^2 - ax_1^2 -px_2^2 + apx_3^2=1$ form a cocompact discrete subgroup $Γ_{p,a}\subset SL(2,\mathbb{R})$ and is commensurable with the group of units of an order in a quaternion algebra over $\mathbb{Q}$. The problem addressed in this paper is an estimate for the traces of a set of generators for $Γ_{p,a}$. Empirical results summarized in several tables show that the trace has significant and irregular fluctuations which is reminiscent of the behavior of the size of a generator for the solutions of Pell's equation. The geometry and arithmetic of the group of units of an order in a quaternion algebra play a key role in the development of the code for the purpose of this paper. △ Less

Submitted 16 May, 2009; originally announced May 2009.

Comments: 15 pages; 5 figures; experimental results

MSC Class: 11F06 ; 20H10

Boundedness of Cohomology

Authors: Markus Brodmann, Maryam Jahangiri, Cao Huy Linh

Abstract: Let $d \in \N$ and let $\D^d$ denote the class of all pairs $(R,M)$ in which $R = \bigoplus_{n \in \N_0} R_n$ is a Noetherian homogeneous ring with Artinian base ring $R_0$ and such that $M$ is a finitely generated graded $R$-module of dimension $\leq d$. The cohomology table of a pair $(R,M) \in \D^d$ is defined as the family of non-negative integers… ▽ More Let $d \in \N$ and let $\D^d$ denote the class of all pairs $(R,M)$ in which $R = \bigoplus_{n \in \N_0} R_n$ is a Noetherian homogeneous ring with Artinian base ring $R_0$ and such that $M$ is a finitely generated graded $R$-module of dimension $\leq d$. The cohomology table of a pair $(R,M) \in \D^d$ is defined as the family of non-negative integers $d_M:= (d^i_M(n))_{(i,n) \in \N \times \Z}$. We say that a subclass $\mathcal{C}$ of $\D^d$ is of finite cohomology if the set $\{d_M \mid (R,M) \in \C\}$ is finite. A set $\mathbb{S} \subseteq \{0,... ,d-1\}\times \Z$ is said to bound cohomology, if for each family $(h^σ)_{σ\in \mathbb{S}}$ of non-negative integers, the class $\{(R,M) \in \D^d\mid d^i_M(n) \leq h^{(i,n)} {for all} (i,n) \in \mathbb{S}\}$ is of finite cohomology. Our main result says that this is the case if and only if $\mathbb{S}$ contains a quasi diagonal, that is a set of the form $\{(i,n_i)| i=0,..., d-1\}$ with integers $n_0> n_1 > ... > n_{d-1}$. We draw a number of conclusions of this boundedness criterion. △ Less

Submitted 15 May, 2009; originally announced May 2009.

Comments: 18 pages

MSC Class: 13D45; 14B15

Arithmetic of Quaternion Groups

Authors: Majid Jahangiri

Abstract: Let $p$ be a prime and $a$ a quadratic non-residue $\bmod p$. Then the set of integral solutions of the diophantine equation $x_0^2 - ax_1^2 -px_2^2 + apx_3^2=1$ form a cocompact discrete subgroup $Γ_{p,a}\subset SL(2,\mathbb{R})$ and is commensurable with the group of units of an order in a quaternion algebra over $\mathbb{Q}$. The problem addressed in this paper is an estimate for the traces o… ▽ More Let $p$ be a prime and $a$ a quadratic non-residue $\bmod p$. Then the set of integral solutions of the diophantine equation $x_0^2 - ax_1^2 -px_2^2 + apx_3^2=1$ form a cocompact discrete subgroup $Γ_{p,a}\subset SL(2,\mathbb{R})$ and is commensurable with the group of units of an order in a quaternion algebra over $\mathbb{Q}$. The problem addressed in this paper is an estimate for the traces of a set of generators for $Γ_{p,a}$. Empirical results summarized in several tables show that the trace has significant and irregular fluctuations which is reminiscent of the behavior of the size of a generator for the solutions of Pell's equation. The geometry and arithmetic of the group of units of an order in a quaternion algebra play a key role in the development of the code for the purpose of this paper. △ Less

Submitted 24 February, 2009; v1 submitted 22 February, 2009; originally announced February 2009.

Comments: 15 pages; 5 figures

MSC Class: 11F06 ; 20H10

Castelnuovo-Mumford regularity of deficiency modules

Authors: Markus Brodmann, Maryam Jahangiri, Cao Huy Linh

Abstract: Let $d \in \N$ and let $M$ be a finitely generated graded module of dimension $\leq d$ over a Noetherian homogeneous ring $R$ with local Artinian base ring $R_0$. Let $\beg(M)$, $\gendeg(M)$ and $\reg(M)$ respectively denote the beginning, the generating degree and the Castelnuovo-Mumford regularity of $M$. If $i \in \N_0$ and $n \in Z$, let $d^i_M(n)$ denote the $R_0$-length of the $n$-th grade… ▽ More Let $d \in \N$ and let $M$ be a finitely generated graded module of dimension $\leq d$ over a Noetherian homogeneous ring $R$ with local Artinian base ring $R_0$. Let $\beg(M)$, $\gendeg(M)$ and $\reg(M)$ respectively denote the beginning, the generating degree and the Castelnuovo-Mumford regularity of $M$. If $i \in \N_0$ and $n \in Z$, let $d^i_M(n)$ denote the $R_0$-length of the $n$-th graded component of the $i$-th $R_+$-transform module $D^i_{R_+}(M)$ of $M$ and let $K^i(M)$ denote the $i$-th deficiency module of $M$. Our main result says, that $\reg(K^i(M))$ is bounded in terms of $\beg(M)$ and the "diagonal values" $d^j_M(-j)$ with $j = 0,..., d-1$. As an application of this we get a number of further bounding results for $\reg(K^i(M))$. △ Less

Submitted 27 April, 2009; v1 submitted 6 January, 2009; originally announced January 2009.

Comments: 25 pages, the previous version divided in two parts

MSC Class: 13D45; 13D40

Asymptotic Behaviour and Artinian Property of Graded Local Cohomology Modules

Authors: S. H. Hassanzadeh, M. Jahangiri, H. Zakeri

Abstract: In this paper, considering the difference between the finiteness dimension and cohomological dimension for a finitely generated module, we investigate the asymptotic behavior of grades of components of graded local cohomology modules with respect to irrelevant ideal; as long as we study some artinian and tameness property of such modules. In this paper, considering the difference between the finiteness dimension and cohomological dimension for a finitely generated module, we investigate the asymptotic behavior of grades of components of graded local cohomology modules with respect to irrelevant ideal; as long as we study some artinian and tameness property of such modules. △ Less

Submitted 4 December, 2008; originally announced December 2008.

Comments: 9 pages

MSC Class: 3D45;13A02; 13E10.

Journal ref: Comm. Algebra 37 (2009), no. 11, 4095--4102