Showing 1–11 of 11 results for author: Ananthnarayan, H

Betti cones over fibre products

Authors: H. Ananthnarayan, Omkar Javadekar, Rajiv Kumar

Abstract: Let $R$ be a fibre product of standard graded algebras over a field. We study the structure of syzygies of finitely generated graded $R$-modules. As an application of this, we show that the existence of an $R$-module of finite regularity and infinite projective dimension forces $R$ to be Koszul. We also look at the extremal rays of the Betti cone of finitely generated graded $R$-modules, and show… ▽ More Let $R$ be a fibre product of standard graded algebras over a field. We study the structure of syzygies of finitely generated graded $R$-modules. As an application of this, we show that the existence of an $R$-module of finite regularity and infinite projective dimension forces $R$ to be Koszul. We also look at the extremal rays of the Betti cone of finitely generated graded $R$-modules, and show that when $\operatorname{depth}(R)=1$, they are spanned by the Betti tables of pure $R$-modules if and only if $R$ is Cohen-Macaulay with minimal multiplicity. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: Comments welcome!

MSC Class: 13A02; 13D02; 13D40

Linear quotients of connected ideals of graphs

Authors: H. Ananthnarayan, Omkar Javadekar, Aryaman Maithani

Abstract: As a higher analogue of the edge ideal of a graph, we study the $t$-connected ideal $\operatorname{J}_{t}$. This is the monomial ideal generated by the connected subsets of size $t$. For trees, we show that $\operatorname{J}_{t}$ has a linear resolution iff the tree is $t$-gap-free, and that this is equivalent to having linear quotients. We then show that if $G$ is any gap-free and $t$-claw-free g… ▽ More As a higher analogue of the edge ideal of a graph, we study the $t$-connected ideal $\operatorname{J}_{t}$. This is the monomial ideal generated by the connected subsets of size $t$. For trees, we show that $\operatorname{J}_{t}$ has a linear resolution iff the tree is $t$-gap-free, and that this is equivalent to having linear quotients. We then show that if $G$ is any gap-free and $t$-claw-free graph, then $\operatorname{J}_{t}(G)$ has linear quotients and hence, linear resolution. △ Less

Submitted 2 January, 2024; originally announced January 2024.

Comments: Comments welcome!

MSC Class: 13F55; 13D02; 05E40

When do associated graded modules have pure resolutions?

Authors: H. Ananthnarayan, Manav Batavia, Omkar Javadekar

Abstract: Given a finitely generated module $M$ over a Noetherian local ring $R$, one would like to know when the corresponding associated graded module has a pure resolution over $G_{\mathfrak{m}}(R)$. In this article, we identify a complex of free $G_{\mathfrak{m}}(R)$-modules, arising from given free resolution of $M$ over $R$, which is a resolution of $G_{\mathfrak{m}}(M)$ if and only if… ▽ More Given a finitely generated module $M$ over a Noetherian local ring $R$, one would like to know when the corresponding associated graded module has a pure resolution over $G_{\mathfrak{m}}(R)$. In this article, we identify a complex of free $G_{\mathfrak{m}}(R)$-modules, arising from given free resolution of $M$ over $R$, which is a resolution of $G_{\mathfrak{m}}(M)$ if and only if $G_{\mathfrak{m}}(M)$ is a pure $G_{\mathfrak{m}}(R)$-module. We also give several applications of the purity of $G_{\mathfrak{m}}(M)$ in this paper. △ Less

Submitted 1 August, 2023; originally announced August 2023.

Diagonal Subalgebras of Residual Intersections

Authors: H. Ananthnarayan, Neeraj Kumar, Vivek Mukundan

Abstract: Let ${\sf k}$ be a field, $S$ be a bigraded ${\sf k}$-algebra, and $S_Δ$ denote the diagonal subalgebra of $S$ corresponding to $Δ= \{ (cs,es) \; | \; s \in \mathbb{Z} \}$. It is know that the $S_Δ$ is Koszul for $c,e \gg 0$. In this article, we find bounds for $c,e$ for $S_Δ$ to be Koszul, when $S$ is a geometric residual intersection. Furthermore, we also study the Cohen-Macaulay property of the… ▽ More Let ${\sf k}$ be a field, $S$ be a bigraded ${\sf k}$-algebra, and $S_Δ$ denote the diagonal subalgebra of $S$ corresponding to $Δ= \{ (cs,es) \; | \; s \in \mathbb{Z} \}$. It is know that the $S_Δ$ is Koszul for $c,e \gg 0$. In this article, we find bounds for $c,e$ for $S_Δ$ to be Koszul, when $S$ is a geometric residual intersection. Furthermore, we also study the Cohen-Macaulay property of these algebras. Finally, as an application, we look at classes of linearly presented perfect ideals of height two in a polynomial ring, show that all their powers have a linear resolution, and study the Koszul, and Cohen-Macaulay property of the diagonal subalgebras of their Rees algebras. △ Less

Submitted 19 May, 2019; v1 submitted 15 January, 2019; originally announced January 2019.

Comments: Typos and errors have been fixed in the current version. Scheduled to appear in Proc. Amer. Math. Soc

MSC Class: 13C40; 13D02; 13H10

Associated Graded Rings and Connected Sums

Authors: H. Ananthnarayan, Ela Celikbas, Jai Laxmi, Zheng Yang

Abstract: In 2012, Ananthnarayan, Avramov and Moore gave a new construction of Gorenstein rings from two Gorenstein local rings, called their connected sum. In this article, we investigate conditions on the associated graded ring of a Gorenstein Artin local ring Q, which force it to be a connected sum over its residue field. In particular, we recover some results regarding short, and stretched, Gorenstein A… ▽ More In 2012, Ananthnarayan, Avramov and Moore gave a new construction of Gorenstein rings from two Gorenstein local rings, called their connected sum. In this article, we investigate conditions on the associated graded ring of a Gorenstein Artin local ring Q, which force it to be a connected sum over its residue field. In particular, we recover some results regarding short, and stretched, Gorenstein Artin rings. Finally, using these decompositions, we obtain results about the rationality of the Poincare series of Q. △ Less

Submitted 3 May, 2017; originally announced May 2017.

Comments: arXiv admin note: text overlap with arXiv:1406.7600

MSC Class: 13A30; 13D40; 13H10

Modules with Pure Resolutions

Authors: H. Ananthnarayan, Rajiv Kumar

Abstract: We show that the property of a standard graded algebra R being Cohen-Macaulay is characterized by the existence of a pure Cohen-Macaulay R-module corresponding to any degree sequence of length at most depth(R). We also give a relation in terms of graded Betti numbers, called the Herzog-Kuhl equations, for a pure R-module M to satisfy the condition dim(R) - depth(R) = dim(M) - depth(M). When R is C… ▽ More We show that the property of a standard graded algebra R being Cohen-Macaulay is characterized by the existence of a pure Cohen-Macaulay R-module corresponding to any degree sequence of length at most depth(R). We also give a relation in terms of graded Betti numbers, called the Herzog-Kuhl equations, for a pure R-module M to satisfy the condition dim(R) - depth(R) = dim(M) - depth(M). When R is Cohen-Macaulay, we prove an analogous result characterizing all graded Cohen-Macaulay R-modules. △ Less

Submitted 23 January, 2017; originally announced January 2017.

Comments: 9 pages

MSC Class: Primary 13A02; 13C14; 13D02

Decomposing Gorenstein Rings as Connected Sums

Authors: H. Ananthnarayan, Ela Celikbas, Jai Laxmi, Zheng Yang

Abstract: In 2012, Ananthnarayan, Avramov and Moore give a new construction of Gorenstein rings from two Gorenstein local rings, called their connected sum. Given a Gorenstein ring, one would like to know whether it decomposes as a connected sum and if so, what are its components. We answer these questions in the Artinian case and investigate conditions on the ring which force it to be indecomposable as a c… ▽ More In 2012, Ananthnarayan, Avramov and Moore give a new construction of Gorenstein rings from two Gorenstein local rings, called their connected sum. Given a Gorenstein ring, one would like to know whether it decomposes as a connected sum and if so, what are its components. We answer these questions in the Artinian case and investigate conditions on the ring which force it to be indecomposable as a connected sum. We further give a characterization for Gorenstein Artin local rings to be decomposable as connected sums, and as a consequence, obtain results about its Poincare series and minimal number of generators of its defining ideal. Finally, in the graded case, we show that the indecomposable components appearing in the connected sum decomposition are unique up to isomorphism. △ Less

Submitted 24 April, 2017; v1 submitted 30 June, 2014; originally announced June 2014.

Comments: 4 major changes: 1) Uniqueness of decomposition is addressed, more conditions for decomposition are studied (Sections 4 and 5). 2) Associated graded rings related material removed, to appear in a separate paper. 3) Results are proved more generally, not just for algebras over a field. 4) One more co-author, Jai Laxmi, has also contributed to this version

MSC Class: Primary 13D40; 13H10

Three-Standardness of the Maximal Ideal

Authors: H. Ananthnarayan, Craig Huneke

Abstract: We study a notion called $n$-standardness (defined by M. E. Rossi and extended in this paper) of ideals primary to the maximal ideal in a Cohen-Macaulay local ring and some of its consequences. We further study conditions under which the maximal ideal is three-standard, first proving results when the residue field has prime characteristic and then using the method of reduction to prime characteris… ▽ More We study a notion called $n$-standardness (defined by M. E. Rossi and extended in this paper) of ideals primary to the maximal ideal in a Cohen-Macaulay local ring and some of its consequences. We further study conditions under which the maximal ideal is three-standard, first proving results when the residue field has prime characteristic and then using the method of reduction to prime characteristic to extend the results to the equicharacteristic zero case. As an application, we extend a result due to T. Puthenpurakal and show that a certain length associated to a minimal reduction of the maximal ideal does not depend on the minimal reduction chosen. △ Less

Submitted 10 February, 2011; v1 submitted 7 May, 2010; originally announced May 2010.

Comments: This version includes a few more examples and some minor changes in the text. To appear in JPAA

MSC Class: Primary 13A30; 13A35; 13D40; 13H15

Connected sums of Gorenstein local rings

Authors: H. Ananthnarayan, Luchezar L. Avramov, W. Frank Moore

Abstract: A new construction of rings is introduced, studied, and applied. Given surjective homomorphisms $R\to T\gets S$ of local rings, and ideals in $R$ and $S$ that are isomorphic to some $T$-module $V$, the \emph{connected sum} $R#_TS$ is defined to be the local ring obtained by factoring out the diagonal image of $V$ in the fiber product $R\times_TS$. When $T$ is Cohen-Macaulay of dimension $d$ and… ▽ More A new construction of rings is introduced, studied, and applied. Given surjective homomorphisms $R\to T\gets S$ of local rings, and ideals in $R$ and $S$ that are isomorphic to some $T$-module $V$, the \emph{connected sum} $R#_TS$ is defined to be the local ring obtained by factoring out the diagonal image of $V$ in the fiber product $R\times_TS$. When $T$ is Cohen-Macaulay of dimension $d$ and $V$ is a canonical module of $T$, it is proved that if $R$ and $S$ are Gorenstein of dimension $d$, then so is $R#_TS$. This result is used to study how closely an artinian ring can be approximated by Gorenstein rings map** onto it. It is proved that when $T$ is a field the cohomology algebra $\Ext^*_{R#_kS}(k,k)$ is an amalgam of the algebras $\Ext^*_{R}(k,k)$ and $\Ext^*_{S}(k,k)$ over isomorphic polynomial subalgebras generated by one element of degree 2. This is used to show that when $T$ is regular, the ring $R#_TS$ almost never is complete intersection. △ Less

Submitted 10 February, 2011; v1 submitted 7 May, 2010; originally announced May 2010.

Comments: This version includes a new theorem (Theorem 1.8), in which results due to D'Anna and Shapiro are completed and strengthened. Other changes to the text are minor. To appear in Crelle's J

MSC Class: 13D07 (Primary); 13D40

Computing Gorenstein Colength

Authors: H. Ananthnarayan

Abstract: Given an Artinian local ring $R$, we define its Gorenstein colength $g(R)$ to measure how closely we can approximate $R$ by a Gorenstein Artin local ring. In this paper, we show that $R = T/I$ satisfies the inequality $g(R) \leq λ(R/\soc(R))$ in the following two cases: (a) $T$ is a power series ring over a field of characteristic zero and $I$ an ideal that is the power of a system of parameters… ▽ More Given an Artinian local ring $R$, we define its Gorenstein colength $g(R)$ to measure how closely we can approximate $R$ by a Gorenstein Artin local ring. In this paper, we show that $R = T/I$ satisfies the inequality $g(R) \leq λ(R/\soc(R))$ in the following two cases: (a) $T$ is a power series ring over a field of characteristic zero and $I$ an ideal that is the power of a system of parameters or (b) $T$ is a 2-dimensional regular local ring with infinite residue field and $I$ is primary to the maximal ideal of $T$. In the first case, we compute $g(R)$ by constructing a Gorenstein Artin local ring map** onto $R$. We further use this construction to show that an ideal that is the $n$th power of a system of parameters is directly linked to the $(n-1)$st power via Gorenstein ideals. A similar method shows that such ideals are also directly linked to themselves via Gorenstein ideals. Keywords: Gorenstein colength; Gorenstein linkage. △ Less

Submitted 24 October, 2008; originally announced October 2008.

The Gorenstein Colength of an Artinian Local Ring

Authors: H. Ananthnarayan

Abstract: In this paper, we make the notion of approximating an Artinian local ring by a Gorenstein Artin local ring precise using the concept of Gorenstein colength. We also answer the question as to when the Gorenstein colength is at most two. In this paper, we make the notion of approximating an Artinian local ring by a Gorenstein Artin local ring precise using the concept of Gorenstein colength. We also answer the question as to when the Gorenstein colength is at most two. △ Less

Submitted 24 October, 2008; v1 submitted 15 May, 2007; originally announced May 2007.

Comments: The title and layout have changed, has been shortened to 9 pages. Published in Journal of Algebra

Journal ref: Journal of Algebra 320 (2008) 3438-3446