arXiv subjects
Publications and source records attributed to Kriti Goel.
Modern hardware designs for AI and cryptography treat data transit and processing separately. At Optalysys we have demonstrated programmable Photonic hardware that computes mathematical functions on data that is in transit, enabling tens of GFLOPs of operations on data links.
We give a partial characterization for when the difference $e(\mathfrak{q})-\ell_R(R/\mathfrak{q}^F)$ is independent of the choice of parameter ideal $\mathfrak{q}\subseteq R$ in an excellent equidimensional local ring $(R,\mathfrak{m})$ of prime characteristic $p>0$. Here, $\mathfrak{q}^F$ is the Frobenius closure of $\mathfrak{q}$ and $e(\mathfrak{q})$ denotes the Hilbert--Samuel multiplicity of $\mathfrak{q}$. In addition to ideal-theoretic equivalences, our characterization involves the derived category and is motivated by Schenzel's criterion of the Buchsbaum property as well as similar results of Ma-Quy in the setting of tight closure.
In this paper we study numerical semigroups of Sally type of multiplicity $e$ and embedding dimension $\nu \ge e-2$. We construct the minimal resolutions for these semigroup rings when they are symmetric and compute their Betti numbers. We also construct a minimal resolution for another special class of such semigroups of type $\nu-1$. Finally, we propose some conjectures for the Betti numbers of families of non-symmetric Sally type semigroups in the above cases in relation to those of the corresponding Gorenstein cases of Sally type semigroups.
We provide explicit formulas for key invariants of special fiber rings of ladder determinantal modules, that is, modules that are direct sums of ideals of maximal minors of a ladder matrix. Our results are given in terms of the combinatorial data of the associated ladder matrix. In particular, we compute its dimension, regularity, $a$-invariant, and multiplicity, which via \textsc{Sagbi} degeneration coincide with those of Hibi rings associated to a distributive lattice. Then, via Gr\"{o}bner degeneration these calculations are reduced to quotients of polynomial rings by monomial ideals. Our formula for the multiplicity of the special fiber ring of these ladder determinantal modules is obtained by counting the number of standard skew Young tableaux associated to a certain skew partition, and so provides a natural generalization of the classical formula for the degree of the Grassmannian.
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]$.
In this article, we define three new operations on ideals which generalize integral closure and Frobenius closure of ideals, whose definitions 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, and in the case of Frobenius closure, to K. Schwede. 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. Finally, as applications, we study submodules of the fraction field of a domain defined in terms of our adjusted closures and an $F$-nilpotent property for pairs.
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.
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.
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.
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 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.
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.
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.
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.
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).$
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.
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.
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.