Related papers: Gr\"obner deformation and $F$-singularities

In this paper we study the connection between Herzog ideals (i.e., ideals with a squarefree Gr\"obner degeneration) and $F$-singularities. More precisely, we show that, in positive characteristic, homogeneous Herzog ideals define…

Let I be a homogeneous ideal of a polynomial ring S. We prove that if the initial ideal J of I, w.r.t. a term order on S, is square-free, then the extremal Betti numbers of S/I and of S/J coincide. In particular, depth(S/I)=depth(S/J) and…

Using the recent results on square-free Gr\"obner degenerations by Conca and Varbaro, we proved that if a homogeneous ideal $I$ of a polynomial ring is such that its initial ideal $\mathrm{in}_<(I)$ is square-free and $\beta_0(I) =…

We investigate Gr\"obner bases of contraction ideals under some monomial homomorphisms. As an application of our theorem, we generalize the result of Aoki--Hibi--Ohsugi--Takemura and Hibi-Ohsugi. Using our results, one can provide many…

Let $I\subset R=K[x_1, \ldots, x_n]$ be a square-free monomial ideal, $\mathfrak{q}$ be a prime monomial ideal in $R$, $h$ be a square-free monomial in $R$ with $\mathrm{supp}(h) \cap (\mathrm{supp}(\mathfrak{q}) \cup…

Let $I\subseteq S=K[x_1,\ldots,x_n]$ be a homogeneous ideal equipped with a monomial order $<$. We show that if $\operatorname{in}_<(I)$ is a square-free monomial ideal, then $S/I$ and $S/\operatorname{in}_<(I)$ have the same connectedness…

We study conditions on polynomials such that the ideal generated by their orbits under the symmetric group action becomes a monomial ideal or has a monomial radical. If the polynomials are homogeneous, we expect that such an ideal has a…

We will study monomial ideals $I$ in the exterior algebra as well as in the polynomial ring whose generic initial ideal is constant for all term orders up to permutations of variables. First, in the exterior algebra, we determine all graphs…

We determine a term order on the monomials in the variables $\varx{i}{j}$, $1 \leq i < j \leq n$, such that corresponding initial ideal of the ideal of Pfaffians of degree $r$ of a generic $n$ by $n$ skew-symmetric matrix is the…

We use pseudodeformation theory to study the analogue of Mazur's Eisenstein ideal with certain squarefree levels. Given a prime number $p>3$ and a squarefree number $N$ satisfying certain conditions, we study the Eisenstein part of the…

We introduce balanced polyominoes and show that their ideal of inner minors is a prime ideal and has a quadratic Gr\"obner basis with respect to any monomial order, and we show that any row or column convex and any tree-like polyomino is…

When a monomial ideal has linear quotients with respect to an admissible order of increasing support-degree, we provide two proofs of different flavors to show that it is componentwise support-linear. We also introduce the variable…

Let $(R,\mm)$ be a Noetherian local ring and $M$ a finitely generated $R$-module. We say $M$ has maximal depth if there is an associated prime $\pp$ of $M$ such that $\depth M=\dim R/\pp$. In this paper we study squarefree monomial ideals…

We classify the squarefree ideals which are Gotzmann in a polynomial ring.

We show that the number of elements generating a squarefree monomial ideal up to radical can always be bounded above in terms of the number of its minimal monomial generators and the maximal height of its minimal primes.

We show that all monomial ideals in the polynomial ring in at most 3 variables are pretty clean and that an arbitrary monomial ideal $I$ is pretty clean if and only if its polarization $I^p$ is clean. This yields a new characterization of…

We characterize the monomial ideals $I\subset K[x_1,\ldots,x_n]$ with the property that the polarization $I^p$ and $I^{\sigma^n}:=$ the ideal obtained from $I$ by the $n$-th iterated squarefree operator $\sigma$ are isomorphic via a…

Let $K$ be a field and $S=K[x_1,\ldots,x_n]$, the ring of polynomials in $n$ variables, over $K$. Using the fact that the Hilbert depth is an upper bound for the Stanley depth of a quotient of squarefree monomial ideals $0\subset…

We show that the intersection of the irreducible components of a hypersurface defined by a polynomial with square-free support has F-rational singularities in characteristic $p>0$. As a consequence, we obtain that hypersurfaces defined by…

Call a monomial ideal M "generic" if no variable appears with the same nonzero exponent in two distinct monomial generators. Using a convex polytope first studied by Scarf, we obtain a minimal free resolution of M. Any monomial ideal M can…