Kriti Goel

Basque Center for Applied Mathematics · Department of Mathematics

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 o...

For K a field, consider a finite subgroup G of GLn(K)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\text {GL}}_n(K)$$\end{document} with its natural action on the po...

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 gene...

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...

A submonoid of \( {\mathbb {N}}^d \) is of maximal projective dimension (\({\text {MPD}}\)) if the associated affine semigroup ring has the maximum possible projective dimension. Such submonoids have a nontrivial set of pseudo-Frobenius elements. We generalize the notion of symmetric semigroups, pseudo-symmetric semigroups, and row-factorization ma...

Let [Formula: see text] 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 [Formula: see text] Further, when [Formula: see text] is symmetric and has embedding dimension four or five, we prove that the defining ideal is...

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...

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).

Let $H$ be a numerical semigroup minimally generated by an almost arithmetic sequence. We give a complete description of the row-factorization $(\RF)$ matrices associated with the pseudo-Frobenius elements of $H.$ $\RF$-matrices have a close connection with the defining ideal of the semigroup ring associated to $H.$ We use the information from $\RF...

We prove that the Hilbert-Kunz function of the ideal (I, It) of the Rees algebra R(I), where I is an m-primary ideal of a 1-dimensional local ring (R,m), is a quasi-polynomial in e, for large e. For s∈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 i...

Let R R be the face ring of a simplicial complex of dimension d − 1 d-1 and R ( n ) {\mathcal R}({\mathfrak {n}}) be the Rees algebra of the maximal homogeneous ideal n {\mathfrak {n}} of R . R. We show that the generalized Hilbert-Kunz function H K ( s ) = ℓ ( R ( n ) / ( n , n t ) [ s ] ) HK(s)=\ell ({\mathcal {R}}({\mathfrak {n}})/({\mathfrak {n...

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...

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 e...

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 lo...

Let ( R , ) 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^*\left( n \right) = \Im \left( {R/\left( {{I^n}} \right)*} \right)$$ and the corresponding tight Hilbert polynomial $$P_I^*\left( n \right)$$ , where I is an m-pri...

We give Macaulay2 algorithms for computing mixed multiplicities of ideals in a polynomial ring. This enables us to find mixed volumes of lattice polytopes and sectional Milnor numbers of a hypersurface with an isolated singularity. The algorithms use the defining equations of the multi-Rees algebra of ideals. We achieve this by generalizing a recen...

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 Gorenstein local rings of dimension $d\geq 3$, for the vanishing of the normal Hilbert coefficients $\overline{e}_k(I)$ for...

In this expository paper, we present simple proofs of the Classical, Real, Projective and Combinatorial Nullstellens\"atze. 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 E...

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.

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$-rat...

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 loca...