Related papers: Detecting Golodness via Gr\"obner Degeneration

Let $R=\mathbb{K}[X_1, \ldots , X_n ]$ be a polynomial ring over a field $\mathbb{K}$. We introduce an endomorphism $\mathcal{F}^{[m]}: R \rightarrow R $ and denote the image of an ideal $I$ of $R$ via this endomorphism as $I^{[m]}$ and…

Let $G$ be a simple graph on $n$ vertices and $\mathcal{I}_G$ denotes parity binomial edge ideal of $G$ in the polynomial ring $S = \mathbb{K}[x_1,\ldots, x_n, y_1, \ldots, y_n].$ We obtain a lower bound for the regularity of parity…

We classify connected graphs $G$ whose binomial edge ideal is Gorenstein. The proof uses methods in prime characteristic.

The acquisition of the defining equations of Rees algebras is a natural way to study these algebras and allows certain invariants and properties to be deduced. In this paper, we consider Rees algebras of codimension 2 perfect ideals of…

Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and let $I \subset S$ be a monomial ideal. For a vector $\mathfrak{c}\in\mathbb{N}^n$, we set $I_{\mathfrak{c}}$ to be the ideal generated by monomials…

We interpret Galois covers in terms of particular monoidal functors, extending the correspondence between torsors and fiber functors. As applications we characterize tame $G$-covers between normal varieties for finite and \'etale group…

For each squarefree monomial ideal $I\subset S = k[x_{1},\ldots, x_{n}] $, we associate a simple graph $G_I$ by using the first linear syzygies of $I$. In cases, where $G_I$ is a cycle or a tree, we show the following are equivalent: (a) $…

Landau-Ginzburg mirror symmetry studies isomorphisms between A- and B-models, which are graded Frobenius algebras that are constructed using a weighted homogeneous polynomial $W$ and a related group of symmetries $G$ of $W$. It is known…

In this work we introduce a new set of invariants associated to the linear strands of a minimal free resolution of a $\mathbb{Z}$-graded ideal $I\subseteq R=\Bbbk[x_1, \ldots, x_n]$. We also prove that these invariants satisfy some…

We propose a method to unify various stability results about symmetric ideals in polynomial rings by stratifying related derived categories. We execute this idea for chains of $GL_n$-equivariant modules over an infinite field $k$ of…

In this paper we introduce a working generalization of the theory of Gr\"obner bases for algebras of partial difference polynomials with constant coefficients. One obtains symbolic (formal) computation for systems of linear or non-linear…

We introduce and study diamonds of GL(2,R)-invariant subvarieties of Abelian and quadratic differentials, which allow us to recover information on an invariant subvariety by simultaneously considering two degenerations, and which provide a…

Let $G$ be a simple graph with binomial edge ideal $J_G$. We prove how to calculate the multidegree of $J_G$ based on combinatorial properties of $G$. In particular, we study the set $S_{\min}(G)$ defined as the collection of subsets of…

In this paper, we study the graph classification problem from the graph homomorphism perspective. We consider the homomorphisms from $F$ to $G$, where $G$ is a graph of interest (e.g. molecules or social networks) and $F$ belongs to some…

We study a new biholomorphic invariant of holomorphic maps between domains in different dimensions based on generic initial ideals. We start with the standard generic monomial ideals to find invariants for rational maps of spheres and…

We give a one-to-one correspondence between ideals in the Steinberg algebra of a Hausdorff ample groupoid $G$, and certain families of ideals in the group algebras of isotropy groups in $G$. This generalises a known ideal correspondence…

Given a locally compact \'etale groupoid and an ideal $I$ in its groupoid C$^*$-algebra, we show that $I$ defines a family of ideals in group C$^*$-algebras of the isotropy groups and then study to which extent $I$ is determined by this…

Let R be a commutative ring with unity, M be an unitary R-module and {\Gamma} be a simple graph. This research article is an interplay of combinatorial and algebraic properties of M . We show a combinatorial object completely determines an…

We present a formalization of Gr\"obner basis theory in Lean 4, built on top of Mathlib's infrastructure for multivariate polynomials and monomial orders. Our development covers the core foundations of Gr\"obner basis theory, including…

Let $R$ be a commutative $G$-graded ring with a nonzero unity. In this article, we introduce the concept of graded radically principal ideals. A graded ideal $I$ of $R$ is said to be graded radically principal if $Grad(I)=Grad(\langle…