Showing 1–20 of 20 results for author: Goel, K

New versions of Frobenius and integral closure of ideals

Authors: Kriti Goel, Kyle Maddox, William D. Taylor

Abstract: In this article, we define two new versions of integral and Frobenius closures of ideals which incorporate an auxiliary ideal and a real parameter. These additional ingredients are common in adjusting old definitions of ideal closures in order to generalize them to pairs, with an eye towards further applications in algebraic geometry. In the case of tight closure, similar generalizations exist due… ▽ More In this article, we define two new versions of integral and Frobenius closures of ideals which incorporate an auxiliary ideal and a real parameter. These additional ingredients are common in adjusting old definitions of ideal closures in order to generalize them to pairs, with an eye towards further applications in algebraic geometry. In the case of tight closure, similar generalizations exist due to N. Hara and K.I. Yoshida, as well as A. Vraciu. We study their basic properties and give computationally effective calculations of the adjusted tight, Frobenius, and integral closures in the case of affine semigroup rings in terms of the convex geometry of the associated exponent sets. △ Less

Submitted 31 October, 2024; v1 submitted 14 October, 2024; originally announced October 2024.

Comments: 25 pages, comments welcome!

MSC Class: Primary 13A35; 13B22; Secondary 13D40

Computing mixed multiplicities, mixed volumes, and sectional Milnor numbers

Authors: Kriti Goel, Vivek Mukundan, Sudeshna Roy, J. K. Verma

Abstract: This is an expository version of our paper [arXiv:1902.07384]. Our aim is to present recent Macaulay2 algorithms for computation of mixed multiplicities of ideals in a Noetherian ring which is either local or a standard graded algebra over a field. These algorithms are based on computation of the equations of multi-Rees algebras of ideals that generalises a result of Cox, Lin and Sosa. Using these… ▽ More This is an expository version of our paper [arXiv:1902.07384]. Our aim is to present recent Macaulay2 algorithms for computation of mixed multiplicities of ideals in a Noetherian ring which is either local or a standard graded algebra over a field. These algorithms are based on computation of the equations of multi-Rees algebras of ideals that generalises a result of Cox, Lin and Sosa. Using these equations we propose efficient algorithms for computation of mixed volumes of convex lattice polytopes and sectional Milnor numbers of hypersurfaces with an isolated singularity. △ Less

Submitted 19 July, 2023; originally announced July 2023.

Comments: The manuscript is prepared for the volume based on the International Conference in Honor of Prof. Ravi S. Kulkarni's 80th Birthday on Geometry, Groups and Mathematical Philosophy. arXiv admin note: text overlap with arXiv:1902.07384

MSC Class: 13-04; 13A30; 13H15

Local cohomology of modular invariant rings

Authors: Kriti Goel, Jack Jeffries, Anurag K. Singh

Abstract: For $K$ a field, consider a finite subgroup $G$ of $\operatorname{GL}_n(K)$ with its natural action on the polynomial ring $R:=K[x_1,\dots,x_n]$. Let $\mathfrak{n}$ denote the homogeneous maximal ideal of the ring of invariants $R^G$. We study how the local cohomology module $H^n_{\mathfrak{n}}(R^G)$ compares with $H^n_{\mathfrak{n}}(R)^G$. Various results on the $a$-invariant and on the Hilbert s… ▽ More For $K$ a field, consider a finite subgroup $G$ of $\operatorname{GL}_n(K)$ with its natural action on the polynomial ring $R:=K[x_1,\dots,x_n]$. Let $\mathfrak{n}$ denote the homogeneous maximal ideal of the ring of invariants $R^G$. We study how the local cohomology module $H^n_{\mathfrak{n}}(R^G)$ compares with $H^n_{\mathfrak{n}}(R)^G$. Various results on the $a$-invariant and on the Hilbert series of $H^n_\mathfrak{n}(R^G)$ are obtained as a consequence. △ Less

Submitted 13 March, 2024; v1 submitted 25 June, 2023; originally announced June 2023.

MSC Class: 13A50 (Primary); 13D45; 13B05 (Secondary)

On the Hilbert-Samuel coefficients of Frobenius powers of an ideal

Authors: Arindam Banerjee, Kriti Goel, J. K. Verma

Abstract: We provide suitable conditions under which the asymptotic limit of the Hilbert-Samuel coefficients of the Frobenius powers of an $\mathfrak{m}$-primary ideal exists in a Noetherian local ring $(R,\mathfrak{m})$ with prime characteristic $p>0.$ This, in turn, gives an expression of the Hilbert-Kunz multiplicity of powers of the ideal. We also prove that for a face ring $R$ of a simplicial complex a… ▽ More We provide suitable conditions under which the asymptotic limit of the Hilbert-Samuel coefficients of the Frobenius powers of an $\mathfrak{m}$-primary ideal exists in a Noetherian local ring $(R,\mathfrak{m})$ with prime characteristic $p>0.$ This, in turn, gives an expression of the Hilbert-Kunz multiplicity of powers of the ideal. We also prove that for a face ring $R$ of a simplicial complex and an ideal $J$ generated by pure powers of the variables, the generalized Hilbert-Kunz function $\ell(R/(J^{[q]})^k)$ is a polynomial for all $q,k$ and also give an expression of the generalized Hilbert-Kunz multiplicity of powers of $J$ in terms of Hilbert-Samuel multiplicity of $J.$ We conclude by giving a counter-example to a conjecture proposed by I. Smirnov which connects the stability of an ideal with the asymptotic limit of the first Hilbert coefficient of the Frobenius power of the ideal. △ Less

Submitted 18 March, 2022; originally announced March 2022.

Comments: 16 pages

MSC Class: 13A30; 13C14; 13C15; 13D40; 13F55

Affine semigroups of maximal projective dimension

Authors: Om Prakash Bhardwaj, Kriti Goel, Indranath Sengupta

Abstract: We generalize the notion of symmetric semigroups, pseudo symmetric semigroups, and row factorization matrices for pseudo Frobenius elements of numerical semigroups to the case of semigroups with maximal projective dimension (MPD semigroups). We generalize the notion of symmetric semigroups, pseudo symmetric semigroups, and row factorization matrices for pseudo Frobenius elements of numerical semigroups to the case of semigroups with maximal projective dimension (MPD semigroups). △ Less

Submitted 24 August, 2022; v1 submitted 23 November, 2021; originally announced November 2021.

Comments: The name Betti-type has been introduced, which is meaningful even for semigroups which are not Cohen-Macaulay. Extended abstract published in the proceedings of FPSAC 2022. The paper will appear in the journal Collectanea Mathematica

MSC Class: 20M14; 20M25; 13A02; 13D02

Products of reflections in smooth Bruhat intervals

Authors: Christian Gaetz, Ram K. Goel

Abstract: A permutation is called smooth if the corresponding Schubert variety is smooth. Gilboa and Lapid prove that in the symmetric group, multiplying the reflections below a smooth element $w$ in Bruhat order in a compatible order yields back the element $w$. We strengthen this result by showing that such a product in fact determines a saturated chain $e \to w$ in Bruhat order, and that this property ch… ▽ More A permutation is called smooth if the corresponding Schubert variety is smooth. Gilboa and Lapid prove that in the symmetric group, multiplying the reflections below a smooth element $w$ in Bruhat order in a compatible order yields back the element $w$. We strengthen this result by showing that such a product in fact determines a saturated chain $e \to w$ in Bruhat order, and that this property characterizes smooth elements. △ Less

Submitted 24 February, 2023; v1 submitted 25 October, 2021; originally announced October 2021.

Comments: 9 pages

Journal ref: Journal of Combinatorics, Volume 14 (2023) Number 2

On Row-Factorization relations of certain numerical semigroups

Authors: Om Prakash Bhardwaj, Kriti Goel, Indranath Sengupta

Abstract: Let $H$ be a numerical semigroup minimally generated by an almost arithmetic sequence. We give a description of a possible row-factorization $(\RF)$ matrix for each pseudo-Frobenius element of $H.$ Further, when $H$ is symmetric and has embedding dimension 4 or 5, we prove that the defining ideal is minimally generated by $\RF$-relations. Let $H$ be a numerical semigroup minimally generated by an almost arithmetic sequence. We give a description of a possible row-factorization $(\RF)$ matrix for each pseudo-Frobenius element of $H.$ Further, when $H$ is symmetric and has embedding dimension 4 or 5, we prove that the defining ideal is minimally generated by $\RF$-relations. △ Less

Submitted 24 August, 2022; v1 submitted 1 May, 2021; originally announced May 2021.

Comments: A revised version, 24 pages. To appear in IJAC

MSC Class: 20M14; 20M25; 13A02

Generalized Hilbert-Kunz function of the Rees algebra of the face ring of a simplicial complex

Authors: Arindam Banerjee, Kriti Goel, J. K. Verma

Abstract: Let $R$ be the face ring of a simplicial complex of dimension $d-1$ and ${\mathcal R}(\mathfrak{n})$ be the Rees algebra of the maximal homogeneous ideal $\mathfrak{n}$ of $R.$ We show that the generalized Hilbert-Kunz function $HK(s)=\ell({\mathcal R}(\mathfrak n)/(\mathfrak n, \mathfrak n t)^{[s]})$ is given by a polynomial for all large $s.$ We calculate it in many examples and also provide a M… ▽ More Let $R$ be the face ring of a simplicial complex of dimension $d-1$ and ${\mathcal R}(\mathfrak{n})$ be the Rees algebra of the maximal homogeneous ideal $\mathfrak{n}$ of $R.$ We show that the generalized Hilbert-Kunz function $HK(s)=\ell({\mathcal R}(\mathfrak n)/(\mathfrak n, \mathfrak n t)^{[s]})$ is given by a polynomial for all large $s.$ We calculate it in many examples and also provide a Macaulay2 code for computing $HK(s).$ △ Less

Submitted 1 March, 2021; v1 submitted 3 March, 2020; originally announced March 2020.

Comments: to appear in Commutative Algebra:150 years with Roger and Sylvia Wiegand, Contemporary Mathematics, Amer. Math. Soc

MSC Class: 13A30; 13D40; 13F55

Quaternionic inverse Fourier Transforms on LCA Groups

Authors: Majid Jabbar Saadan, Mohammad Janfada, Radjab Ali Kamyabi Gol

Abstract: In this paper the inverse of the quaternionic Fourier transform on locally compact abelian groups is verified. In this paper the inverse of the quaternionic Fourier transform on locally compact abelian groups is verified. △ Less

Submitted 1 January, 2020; originally announced January 2020.

Comments: 29 pages, 0 figures. arXiv admin note: substantial text overlap with arXiv:1607.05100 by other authors

Hilbert-Kunz function and Hilbert-Kunz multiplicity of some ideals of the Rees algebra

Authors: Kriti Goel, Mitra Koley, J. K. Verma

Abstract: We prove that the Hilbert-Kunz function of the ideal $(I,It)$ of the Rees algebra $\mathcal{R}(I)$, where $I$ is an $\mathfrak{m}$-primary ideal of a $1$-dimensional local ring $(R,\mathfrak{m})$, is a quasi-polynomial in $e$, for large $e.$ For $s \in \mathbb{N}$, we calculate the Hilbert-Samuel function of the $R$-module $I^{[s]}$ and obtain an explicit description of the generalized Hilbert-Kun… ▽ More We prove that the Hilbert-Kunz function of the ideal $(I,It)$ of the Rees algebra $\mathcal{R}(I)$, where $I$ is an $\mathfrak{m}$-primary ideal of a $1$-dimensional local ring $(R,\mathfrak{m})$, is a quasi-polynomial in $e$, for large $e.$ For $s \in \mathbb{N}$, we calculate the Hilbert-Samuel function of the $R$-module $I^{[s]}$ and obtain an explicit description of the generalized Hilbert-Kunz function of the ideal $(I,It)\mathcal{R}(I)$ when $I$ is a parameter ideal in a Cohen-Macaulay local ring of dimension $d \geq 2$, proving that the generalized Hilbert-Kunz function is a piecewise polynomial in this case. △ Less

Submitted 1 March, 2021; v1 submitted 10 November, 2019; originally announced November 2019.

Comments: Some changes in section 3, to appear in Communications in Algebra

MSC Class: 13A30; 13A35; 13D40

On the semi-regular frames of translates

Authors: F. Valizadeh, H. Rahimi, R. A. Kamyabi Gol, F. Esmaeelzadeh

Abstract: In this note, we fix a real invertible $d\times d$ matrix $\mathcal{A}$ and consider $\mathcal{A}\mathbb{Z}^d$ as an index set. For $f\in L^2(\mathbb{R}^d)$, let $Φ^{\mathcal{A}}_{f}:=\frac{1}{|\det \mathcal{A}|}\sum_{k\in \mathbb{Z}^d}|\hat{f}(\mathcal{A}^T)^{-1}(\cdot+k)|^2$ be the periodization of $|\hat{f}|^2$. By using $Φ^{\mathcal{A}}_{f}$, among other things, we characterize when the sequen… ▽ More In this note, we fix a real invertible $d\times d$ matrix $\mathcal{A}$ and consider $\mathcal{A}\mathbb{Z}^d$ as an index set. For $f\in L^2(\mathbb{R}^d)$, let $Φ^{\mathcal{A}}_{f}:=\frac{1}{|\det \mathcal{A}|}\sum_{k\in \mathbb{Z}^d}|\hat{f}(\mathcal{A}^T)^{-1}(\cdot+k)|^2$ be the periodization of $|\hat{f}|^2$. By using $Φ^{\mathcal{A}}_{f}$, among other things, we characterize when the sequence $τ_{\mathcal{A}}(f):=\{f(\cdot-\mathcal{A}k)\}_{k\in \mathbb{Z}^d}$ is a Bessel sequence, frame of translates, Riesz basis, or orthonormal basis. And finally, we construct an example, in which $τ_{\mathcal{A}}(f)$ is a Parseval frame of translates, but not a Riesz sequence. △ Less

Submitted 31 August, 2019; originally announced September 2019.

Comments: 17 page

MSC Class: 43A15; 43A85; 65T60

Algorithms for computing mixed multiplicities, mixed volumes and sectional Milnor numbers

Authors: Kriti Goel, Vivek Mukundan, Sudeshna Roy, J. K. Verma

Abstract: We present a package 'MixedMultiplicity' for computing mixed multiplicities of ideals in a Noetherian ring which is either local or a standard graded algebra over a field. This enables us to find mixed volumes of convex lattice polytopes and sectional Milnor numbers of hypersurfaces with an isolated singularity. The algorithms make use of the defining equations of the multi-Rees algebra of ideals,… ▽ More We present a package 'MixedMultiplicity' for computing mixed multiplicities of ideals in a Noetherian ring which is either local or a standard graded algebra over a field. This enables us to find mixed volumes of convex lattice polytopes and sectional Milnor numbers of hypersurfaces with an isolated singularity. The algorithms make use of the defining equations of the multi-Rees algebra of ideals, which are obtained by generalising a result of D. Cox. K.-N. Lin, and G. Sosa. △ Less

Submitted 28 July, 2022; v1 submitted 19 February, 2019; originally announced February 2019.

Comments: Vivek Mukundan joined as a new co-author. The package has improved significantly from its earlier version

MSC Class: Primary 13-04; 13A30; 13H15

Journal ref: J. Softw. Alg. Geom. 13 (2023) 1-12

On the Vanishing of the normal Hilbert coefficients of ideals

Authors: Kriti Goel, Vivek Mukundan, J. K. Verma

Abstract: Using vanishing of graded components of local cohomology modules of the Rees algebra of the normal filtration of an ideal, we give bounds on the normal reduction number. This helps to get necessary and sufficient conditions in Cohen-Macaulay local rings of dimension $d\geq 3$, for the vanishing of the normal Hilbert coefficients $\overline{e}_k(I)$ for $k\leq d,$ in terms of the normal reduction n… ▽ More Using vanishing of graded components of local cohomology modules of the Rees algebra of the normal filtration of an ideal, we give bounds on the normal reduction number. This helps to get necessary and sufficient conditions in Cohen-Macaulay local rings of dimension $d\geq 3$, for the vanishing of the normal Hilbert coefficients $\overline{e}_k(I)$ for $k\leq d,$ in terms of the normal reduction number. △ Less

Submitted 8 October, 2019; v1 submitted 18 January, 2019; originally announced January 2019.

Comments: Theorem 5.5 corrected, to appear in Journal of Ramanujan Mathematical Society

MSC Class: 13D40; 13D45

Nullstellensätze and Applications

Authors: Kriti Goel, Dilip P. Patil, Jugal Verma

Abstract: In this expository paper, we present simple proofs of the Classical, Real, Projective and Combinatorial Nullstellensätze. Several applications are also presented such as a classical theorem of Stickelberger for solutions of polynomial equations in terms of eigenvalues of commuting operators, construction of a principal ideal domain which is not Euclidean, Hilbert's $17^{th}$ problem, the Borsuk-Ul… ▽ More In this expository paper, we present simple proofs of the Classical, Real, Projective and Combinatorial Nullstellensätze. Several applications are also presented such as a classical theorem of Stickelberger for solutions of polynomial equations in terms of eigenvalues of commuting operators, construction of a principal ideal domain which is not Euclidean, Hilbert's $17^{th}$ problem, the Borsuk-Ulam theorem in topology and solutions of the conjectures of Dyson, Erdös and Heilbronn. △ Less

Submitted 23 February, 2022; v1 submitted 8 September, 2018; originally announced September 2018.

Comments: 39 pages

Journal ref: Mathematics, Its Applications and History, Papers contributed for the occasion of the Centenary anniversary of Ramjas college, University of Delhi, Narosa Publishing house, 1-44, 2022

The Minkowski equality and inequality for multiplicity of ideals

Authors: Kriti Goel, R. V. Gurjar, J. K. Verma

Abstract: In this exposition of the equality and inequality of Minkowski for multiplicity of ideals, we provide simple algebraic and geometric proofs. Connections with mixed multiplicities of ideals are explained. In this exposition of the equality and inequality of Minkowski for multiplicity of ideals, we provide simple algebraic and geometric proofs. Connections with mixed multiplicities of ideals are explained. △ Less

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

Comments: 28 pages

MSC Class: 13D40; 14B05

Journal ref: Contemporary Mathematics, Vol. 738, 2019,33-56

N strongly quasi invariant measure on double coset

Authors: Fatemeh Fahimian, Rajab Ali Kamyabi Gol, Fatemeh Esmaeelzadeh

Abstract: Let G be a locally compact group, H and K be two closed sub-groups of G, and N be the normalizer group of K in G. In this paper, the existence and properties of a rho-function for the triple (K,G,H) and an N-strongly quasi-invariant measure of double coset space K\G/H is investigated. In particular, it is shown that any such measure arises from a rho-function. Furthermore, the conditions under whi… ▽ More Let G be a locally compact group, H and K be two closed sub-groups of G, and N be the normalizer group of K in G. In this paper, the existence and properties of a rho-function for the triple (K,G,H) and an N-strongly quasi-invariant measure of double coset space K\G/H is investigated. In particular, it is shown that any such measure arises from a rho-function. Furthermore, the conditions under which an N-strongly quasi-invariant measure arises from a rho-function are studied. △ Less

Submitted 30 June, 2018; originally announced July 2018.

Tight Closure of powers of ideals and tight Hilbert polynomials

Authors: Kriti Goel, Vivek Mukundan, J. K. Verma

Abstract: Let $(R,\mathfrak m)$ be an analytically unramified local ring of positive prime characteristic $p.$ For an ideal $I$, let $I^*$ denote its tight closure. We introduce the tight Hilbert function $H^*_I(n)=\ell(R/(I^n)^*)$ and the corresponding tight Hilbert polynomial $P_I^*(n)$ where $I$ is an $\mathfrak m$-primary ideal. It is proved that $F$-rationality can be detected by the vanishing of the f… ▽ More Let $(R,\mathfrak m)$ be an analytically unramified local ring of positive prime characteristic $p.$ For an ideal $I$, let $I^*$ denote its tight closure. We introduce the tight Hilbert function $H^*_I(n)=\ell(R/(I^n)^*)$ and the corresponding tight Hilbert polynomial $P_I^*(n)$ where $I$ is an $\mathfrak m$-primary ideal. It is proved that $F$-rationality can be detected by the vanishing of the first coefficient of $P_I^*(n).$ We find the tight Hilbert polynomial of certain parameter ideals in hypersurface rings and Stanley-Reisner rings of simplicial complexes. △ Less

Submitted 21 May, 2019; v1 submitted 19 June, 2018; originally announced June 2018.

Comments: 24 pages, to appear in Mathematical Proceedings of the Cambridge Philosophical Society

Journal ref: Math. Proc. Camb. Phil. Soc. 169 (2020) 335-355

Eakin-Sathaye type theorems for joint reductions and good filtrations of ideals

Authors: Kriti Goel, Sudeshna Roy, J. K. Verma

Abstract: Analogues of Eakin-Sathaye theorem for reductions of ideals are proved for ${\mathbb N}^s$-graded good filtrations. These analogues yield bounds on joint reduction vectors for a family of ideals and reduction numbers for $\mathbb N$-graded filtrations. Several examples related to lex-segment ideals, contracted ideals in $2$-dimensional regular local rings and the filtration of integral and tight c… ▽ More Analogues of Eakin-Sathaye theorem for reductions of ideals are proved for ${\mathbb N}^s$-graded good filtrations. These analogues yield bounds on joint reduction vectors for a family of ideals and reduction numbers for $\mathbb N$-graded filtrations. Several examples related to lex-segment ideals, contracted ideals in $2$-dimensional regular local rings and the filtration of integral and tight closures of powers of ideals in hypersurface rings are constructed to show effectiveness of these bounds. △ Less

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

Comments: 19 pages, minor corrections done

MSC Class: 13A30

Journal ref: Acta Mathematica Vietnamica (44)(2019),671-689

Finite Synchrosqueezing Transform Based On The STFT

Authors: Mozhgan Mohammadpour, Bastiaan Kleijn, Rajab Ali Kamyabi Gol

Abstract: The finite STFT Synchrosqueezing transform is a time-frequency analysis method that can decompose finite complex signals into time-varying oscillatory components. This representation is sparse and invertible, allowing recovery of the original signal. The STFT Synchrosqueezing transform on finite dimensional signals has the advantage of an efficient matrix representation. This article defines the f… ▽ More The finite STFT Synchrosqueezing transform is a time-frequency analysis method that can decompose finite complex signals into time-varying oscillatory components. This representation is sparse and invertible, allowing recovery of the original signal. The STFT Synchrosqueezing transform on finite dimensional signals has the advantage of an efficient matrix representation. This article defines the finite STFT Synchrosqueezing transform and describes some properties of this transform. We compare the finite STFT and the finite STFT Synchrosqueezing transform by applying these transform to a set of signals. △ Less

Submitted 23 September, 2017; originally announced September 2017.

Comments: 10 pages, 6 figures

Gabor Tight Fusion Frames: Construction and Applications in Signal Retrieval Modulo Phase

Authors: Mozhgan Mohammadpour, Brian Tuomanen, Rajab Ali Kamyabi Gol

Abstract: Hilbert space fusion frames are a natural extension of Hilbert space frames, extending the notion from a set of vectors in a Hilbert space to a set of subspaces of a Hilbert space with analogous notions of overcompleteness and boundedness. As tight frames are a very important topic within standard frame theory, tight fusion frames are similarly important; however, only trivial examples of tight fu… ▽ More Hilbert space fusion frames are a natural extension of Hilbert space frames, extending the notion from a set of vectors in a Hilbert space to a set of subspaces of a Hilbert space with analogous notions of overcompleteness and boundedness. As tight frames are a very important topic within standard frame theory, tight fusion frames are similarly important; however, only trivial examples of tight fusion frames are hitherto known. In this paper, we apply ideas from Gabor analysis to demonstrate a non-trivial construction of tight fusion frames. We then use this construction to further show their applicability in some cases for the retrieval of signals modulo phase. △ Less

Submitted 21 June, 2017; v1 submitted 30 December, 2016; originally announced January 2017.

Comments: This work was supported by the National Science Foundation. (NSF ATD 1321779)