Searcharxiv⌕ Search

arXiv subjects

Saipriya Dubey

Publications and source records attributed to Saipriya Dubey.

9 recordsLinked to original sources
arXiv2026

Waring decompositions of the product of two quadrics: the small rank cases

In this paper we study forms of the type $(x_1^2+ \cdots +x_m^2)(y_1^2+ \cdots+y_n^2)$ using projections. For $m=1, m=2$, and for any $n$ we describe: the forbidden locus, the structure and the Hilbert function of all minimal apolar sets. In particular, we show that every minimal apolar ideal has the same Hilbert function. Further, we compute the cactus rank, a bound on the border rank, and the dimension of the Variety of Sums of Powers. For $m,n \geq 3,$ we provide new lower and upper bounds for the Waring rank.

math.AC↗
arXiv2026

Numerical Semigroups of Sally Type

Judith Sally proved in 1980 that the associated graded ring of one-dimensional Gorenstein local rings of multiplicity $e$ and embedding dimension $e-2$ are Cohen-Macaulay. She showed that the defining ideal of the associated graded ring of such rings is generated by ${e-2 \choose 2}$ elements. Numerical semigroup rings are a big class of one-dimensional Cohen-Macaulay rings. In 2014, Herzog and Stamate proved that the numerical semigroup $ $ defines a Gorenstein semigroup ring satisfying Sally's conditions above and such semigroups are called Gorenstein Sally Semigroups. We call a numerical semigroup $S$ as Sally type if $ = < e,e+1,\ldots,e+m-1, e+m+1,\ldots, e+n-1,e+n+1, \ldots 2e-1>$ for some $2 \leq m <n \leq e-2$. In this paper, we give a formula for its Frobenius number along with a necessary and sufficient condition for it to be Gorenstein. We compute the minimal number of generators for the defining ideal of the semigroup ring $k[S]$. Additionally, we present an algorithm and a GAP code used in applying Hochster's combinatorial formula to compute the first Betti number of $k[S]$.

math.AC↗
arXiv2026

On Gorensteinness of associated graded rings of filtrations

Let $(A, \mathfrak{m})$ be a Gorenstein local ring, and $\mathcal{F} =\{F_n \}_{n\in \mathbb{Z}}$ a Hilbert filtration. In this paper, we give a criterion for Gorensteinness of the associated graded ring of $\mathcal{F}$ in terms of the Hilbert coefficients of $\mathcal{F}$ in some cases. As a consequence we recover and extend a result proved by Okuma, Watanabe and Yoshida. Further, we present ring-theoretic properties of the normal tangent cone of the maximal ideal of $A=S/(f)$ where $S=K[\![x_0,x_1,\ldots, x_m]\!]$ is a formal power series ring over an algebraically closed field $K$, and $f=x_0^a-g(x_1,\ldots,x_m)$, where $g$ is a polynomial with $g \in (x_1,\ldots,x_m)^b \setminus (x_1,\ldots,x_m)^{b+1}$, and $a, \, b, \, m$ are integers. We show that the normal tangent cone $\overline{G}(\mathfrak{m})$ is Cohen-Macaulay if $A$ is normal and $a \le b$. Moreover, we give a criterion of the Gorensteinness of $\overline{G}(\mathfrak{m})$.

math.AC↗
arXiv2025

Symmetric decomposition of the Hilbert function of an ideal

Let $(R, \mathcal{M})$ be a local ring over a field $k$ with $k = R/\mathcal M$ and $J$ an ideal in $R$ such that $A =R/J$ is an Artinian Gorenstein (AG) $k$-algebra. In 1989, A. Iarrobino introduced the symmetric decomposition of the Hilbert function of $A$. This became a very powerful tool for classifying the Hilbert functions of AG $k$-algebras. In this article, we introduce the symmetric decomposition of the Hilbert function of any ideal $I$ in $A.$ Our hope is that this result will be useful in classifying the possible Hilbert function of an ideal in an AG $k$-algebra. We illustrate this by giving a complete list of $2$-admissible sequences of length at most $3$ and with $h_0=2$ that are realizable by an ideal in an AG $k$-algebra.

math.AC↗
arXiv2024

Computing epsilon multiplicities in graded algebras

This article investigates the computational aspects of the $\varepsilon$-multiplicity. Primarily, we show that the $\varepsilon$-multiplicity of a homogeneous ideal $I$ in a two-dimensional standard graded domain of finite type over an algebraically closed field of arbitrary characteristic, is always a rational number. In this situation, we produce a formula for the $\varepsilon$-multiplicity of $I$ in terms of certain mixed multiplicities associated to $I$. In any dimension, under the assumptions that the saturated Rees algebra of $I$ is finitely generated, we give a different expression of the $\varepsilon$-multiplicity in terms of mixed multiplicities by using the Veronese degree. This enabled us to make various explicit computations of $\varepsilon$-multiplicities. We further write a Macaulay2 algorithm to compute $\varepsilon$-multiplicity (under the Noetherian hypotheses) even when the base ring is not necessarily standard graded.

math.AC↗
arXiv2023

Tight Hilbert Polynomial and F-rational local rings

Let $(R,\mathfrak{m})$ be a Noetherian local ring of prime characteristic $p$ and $Q$ be an $\mathfrak{m}$-primary parameter ideal. We give criteria for F-rationality of $R$ using the tight Hilbert function $H^*_Q(n)=\ell(R/(Q^n)^*$ and the coefficient $e_1^*(Q)$ of the tight Hilbert polynomial $P^*_Q(n)=\sum_{i=0}^d(-1)^ie_i^*(Q)\binom{n+d-1-i}{d-i}.$ We obtain a lower bound for the tight Hilbert function of $Q$ for equidimensional excellent local rings that generalises a result of Goto and Nakamura. We show that if $\dim R=2 $, the Hochster-Huneke graph of $R$ is connected and this lower bound is achieved then $R$ is F-rational. Craig Huneke asked if the $F$-rationality of unmixed local rings may be characterized by the vanishing of $e_1^*(Q).$ We construct examples to show that without additional conditions, this is not possible. Let $R$ be an excellent, reduced, equidimensional Noetherian local ring and $Q$ be generated by parameter test elements. We find formulas for $e_1^*(Q), e_2^*(Q), \ldots, e_d^*(Q)$ in terms of Hilbert coefficients of $Q$, lengths of local cohomology modules of $R,$ and the length of the tight closure of the zero submodule of $H^d_{\mathfrak{m}}(R).$ Using these we prove: $R$ is F-rational $\Leftrightarrow e_1^*(Q)=e_1(Q) \Leftrightarrow$ depth $R\geq 2$ and $e_1^*(Q)=0.$

math.AC↗
arXiv2022

Tight closure of powers of parameter ideals in hypersurface rings and their tight Hilbert polynomials

In this paper we find the tight closure of powers of parameter ideals of certain diagonal hypersurface rings. In many cases the associated graded ring with respect to tight closure filtration turns out to be Cohen-Macaulay. This helps us find the tight Hilbert polynomial in these diagonal hypersurfaces. We determine the tight Hilbert polynomial in the following cases: (1) F-pure diagonal hypersurfaces where number of variables is equal to the degree of defining equation, (2) diagonal hypersurface rings where characteristic of the ring is one less than the degree of defining equation and (3) quartic diagonal hypersurface in four variables.

math.AC↗
arXiv2022

Associated graded rings of the filtration of tight closure of powers of parameter ideals

Let $I$ be an ideal generated by a system of parameters in an excellent Cohen-Macaulay local domain. We show that the associated graded ring $G^*(I)$ of the filtration $\{(I^n)^*: n\in \mathbb{N}\}$ is Cohen-Macaulay. We prove that if $R$ is an excellent Buchsbaum local domain then $G^*(I)$ is a Buchsbaum module over the Rees ring $\mathcal R^*(I)=\oplus_{n\in \mathbb{N}}(I^n)^*.$ We provide quick proofs of well-known results of I. Aberbach, Huneke-Itoh and Huneke-Hochster about the filtration $\{(I^n)^*: n\in \mathbb{N}\}$ in excellent local domains. An important tool used in the proofs is a deep result due to M. Hochster and C. Huneke which states that the absolute integral closure of an excellent local domain is a big Cohen-Macaulay algebra. We compute the tight closure of $I^n$ where $I$ is generated by homogeneous system of parameters having the same degree $e$ in the hypersurface ring $R=\mathbb{F}_p[X_0,\ldots ,X_d]/(X_0^r+\cdots+X_d^r).$ In such cases we prove that $G^*(I)$ is Cohen-Macaulay. We provide conditions on $r, d, e$ for the Rees algebra $\mathcal R^*(I)$ to be Cohen-Macaulay.

math.AC↗