Edith Aguirre, Abdul Salam Jarrah, Reinhard Laubenbacher, Juan Ariel Ortiz-Navarro, Rogelio Torrez
Let $f_1, ..., f_n$ be homogeneous polynomials generating a generic ideal $I$ in the ring of polynomials in $n$ variables over an infinite field. Moreno-Socías conjectured that for the graded reverse lexicographic term ordering, the initial ideal ${\rm in}(I)$ is a weakly reverse lexicographic ideal. This paper contains a new proof of Moreno-Soc{\'ı}as' conjecture for the case $n=2$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Initial ideals of generic ideals and variations of Moreno-Socías conjecture
本文研究一般理想在任意单项式序下的初始理想，证明其是 Borel-fixed 的（作为 Moreno-Socías 猜想的弱化版本），并提出基于 Gröbner basis 稳定性条件的计算新方法，探索了 lexsegment ideal 与初始理想的关系以界定最大次数。
Let $I$ be a homogeneous Artinian ideal in a polynomial ring $R=k[x_1,...,x_n]$ over a field $k$ of characteristic 0. We study an equivalent condition for the generic initial ideal $\gin(I)$ with respect to reverse lexicographic order to be almost reverse lexicographic. As a result, we show that Moreno-Socias conjecture implies Fröberg conjecture. And for the case $\Codim I \le 3$, we show that $R/I$ has the strong Lefschetz property if and only if $\gin(I)$ is almost reverse lexicographic. Finally for a monomial complete intersection Artinian ideal $I=(x_1^{d_1},...,x_n^{d_n})$, we prove that…
Let $I = ( f_1, \dots, f_n )$ be a homogeneous ideal in the polynomial ring $K[x_1, \dots,x_n]$ over a field $K$ generated by generic polynomials. Using an incremental approach based on a method by Gao, Guan and Volny, and properties of the standard monomials of generic ideals, we show how a Gröbner basis for the ideal $(f_1, \dots, f_i)$ can be obtained from that of $(f_1, \dots, f_{i-1})$. If $deg f_i = d_i$, we are able to give a complete description of the initial ideal of $I$ in the case where $d_i \geq \left(\sum_{j=1}^{i-1}d_j\right) - i -1$. It was conjectured by Moreno-Socías that the…
In the first chapter we present new results related on monomial ideals of Borel type. Also, we introduce a new class of monomial ideals, called $\de$-fixed ideals, which generalize the class of $p$-Borel ideals and we extend several results to this new class. In the second chapter, we compute the generic initial ideal, with repect to the reverse lexicographic order, of an ideal which define a complete intersection of embedding dimension three with strong Lefschetz property and we show that it is an almost reverse lexicographic ideal. This enable us to give a proof for Moreno's conjecture in th…
A complexity analysis of the F4 Gröbner basis algorithm with tracer data
本文基于Moreno-Socías猜想，提出了一种新的通用零维情况下的Gröbner基计算复杂度界，并推导了F4 Tracer算法的精确复杂度公式及其渐进行为。
Generalization of semi-regular sequences: Maximal Gröbner basis degree, variants of genericness, and related conjectures
本文推广半正则序列为广义密码学半正则序列，借助Lazard界等正则性精确分析其Gröbner基计算复杂度，并研究半正则性及弱反字典序初始理想的泛性，给出Fröberg猜想与Moreno-Socías猜想同时成立的判据。
For any ideal $I$ in a Noetherian local ring or any graded ideal $I$ in a standard graded $K$-algebra over a field $K$, we introduce the socle module $\mathrm{Soc}(I)$, whose graded components give us the socle of the powers of $I$. It is observed that $\mathrm{Soc}(I)$ is a finitely generated module over the fiber cone of $I$. In the case that $S$ is the polynomial ring and all powers of $I\subseteq S$ have linear resolution, we define the module $\mathrm{Soc}^*(I)$ which is a module over the Rees ring of $I$. For the edge ideal of a graph and for classes of polymatroidal ideals we study the …
Let $R$ be a formal power series ring over a field, with maximal ideal $\mathfrak m$, and let $I$ be an ideal of $R$ such that $R/I$ is Artinian. We study the iterated socles of $I$, that is the ideals which are defined as the largest ideal $J$ with $J\mathfrak m^s\subset I$ for a fixed positive integer $s$. We are interested in these ideals in connection with the notion of integral dependence of ideals. In this article we show that the iterated socles are integral over $I$, with reduction number one, provided $s \leq \text{o}(I_1(φ_d))-1$, where $\text{o}(I_1(φ_d))$ is the order of the ideal …
Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over a field $K$ and $I\subset S$ a squarefree monomial ideal. In the present paper we are interested in the monomials $u \in S$ belonging to the socle $\Soc(S/I^{k})$ of $S/I^{k}$, i.e., $u \not\in I^{k}$ and $ux_{i} \in I^{k}$ for $1 \leq i \leq n$. We prove that if a monomial $x_1^{a_1}\cdots x_n^{a_n}$ belongs to $\Soc(S/I^{k})$, then $a_i\leq k-1$ for all $1 \leq i \leq n$. We then discuss squarefree monomial ideals $I \subset S$ for which $x_{[n]}^{k-1} \in \Soc(S/I^{k})$, where $x_{[n]} = x_{1}x_{2}\cdots x_{n}$. Furtherm…
We consider ideals involving the maximal minors of a polynomial matrix. For example, those arising in the computation of the critical values of a polynomial restricted to a variety for polynomial optimisation. Gröbner bases are a classical tool for solving polynomial systems. For practical computations, this consists of two stages. First, a Gröbner basis is computed with respect to a DRL (degree reverse lexicographic) ordering. Then, a change of ordering algorithm, such as \textsf{Sparse-FGLM}, designed by Faugère and Mou, is used to find a Gröbner basis of the same ideal but with respect to a…
On posets, monomial ideals, Gorenstein ideals and their combinatorics
本文从组合角度比较单项式理想的 socle 元素与 Macaulay 逆系统，建立相关偏序集的闭包性质，推导 Γ-分次环的代数命题及其组合推论，并对零维 Gorenstein 理想进行直接计算，揭示多项式环与局部环之间的关键差异。
Let $R=k[x,y,z]$ be a standard graded $3$-variable polynomial ring, where $k$ denotes any field. We study grade $3$ homogeneous ideals $I \subseteq R$ defining compressed rings with socle $k(-s) \oplus k(-2s+1)$, where $s \geq3$ is some integer. We prove that all such ideals are obtained by a trimming process introduced by Christensen, Veliche, and Weyman. We also construct a general resolution for all such ideals which is minimal in sufficiently generic cases. Using this resolution, we can give bounds on the minimal number of generators $μ(I)$ of $I$ depending only on $s$; moreover, we show t…
Let $R$ be a standard graded algebra over a field $k$ and $I$ be a homogeneous ideal of $R$. We study the question whether there is a constant $c$ such that $\Soc(H^{j}_{\fm}(R/I^t))_{<-ct}=0$ for all $t\geq 1$ and a variation of this question. We also draw a connection between this question and the notion of gauge-boundedness in prime characteristic.
Let $\mathfrak{a},\mathfrak{b}$ be two ideals of a commutative noetherian ring $R$ and $M$ a finitely generated $R$-module.~We continue to study $\textrm{f}\textrm{-}\mathrm{grad}_R(\mathfrak{a},\mathfrak{b},M)$ which was introduced in [Bull. Malays. Math. Sci. Soc. 38 (2015) 467--482], some computations and bounds of $\textrm{f}\textrm{-}\mathrm{grad}_R(\mathfrak{a},\mathfrak{b},M)$ are provided.~We also give the structure of $(\mathfrak{a},\mathfrak{b})$-$\mathrm{f}$-modules,~various properties which are analogous to those of Cohen Macaulay modules are discovered.
Artinian Gorenstein algebras of embedding dimension four and socle degree three
本文证明了在特征零代数闭域的多项式环中，特定Gorenstein齐次理想可由三级完美理想通过加倍构造，并给出了相应的分次极小自由分解的完整描述。
The main goal of this paper is to prove, in positive characteristic $p$, stability behavior for the graded Betti numbers in the periodic tails of the minimal resolutions of Frobenius powers of the homogeneous maximal ideals for very general choices of hypersurface in three variables whose degree has the opposite parity to that of $p$. We also find some of the structure of the matrix factorization giving the resolution. We achieve this by developing a method for obtaining the degrees of the generators of the defining ideal of an $\mathfrak{c}$-compressed Gorenstein Artinian graded algebra from …
A level initial ideal of the 2-minors determinantal ideal
本文针对域上$m\times n$变量矩阵的2-子式生成的行列式理想$I_2$，构造合适单项式序得到其水平初始理想，比较二者Betti表，并证明$m<n$时对应单纯复形可壳。
A study of a quadratic almost complete intersection ideal and its linked Gorenstein ideal
本文研究了二次几乎完全交理想及其链接的Gorenstein理想，计算了其Betti数，并揭示了相关环的socle结构和维度特性。
Socle degrees for local cohomology modules of thickenings of maximal minors and sub-maximal Pfaffians
本文利用脱奇点化和一般线性群的表示理论，确定了极大子式与次极大 Pfaffian 理想加厚的 Ext 模结构及生成元次数，并通过分次局部对偶回答了关于局部上同调模基座次数的问题。
We use the theory of resolutions for a given Hilbert function to investigate the multiplicity conjectures of Huneke and Srinivasan and Herzog and Srinivasan. To prove the conjectures for all modules with a particular Hilbert function, we show that it is enough to prove the statements only for elements at the bottom of the partially ordered set of resolutions with that Hilbert function. This enables us to test the conjectured upper bound for the multiplicity efficiently with the computer algebra system Macaulay 2, and we verify the upper bound for many Artinian modules in three variables with s…
We demonstrate that the ring of invariants for the natural action of a subgroup G of GL_n(F_q) on a polynomial ring R=K[X_1,...,X_n] need not be F-pure. In these examples G is the symplectic group over a finite field, and the invariant subrings are always complete intersections by the work of Carlisle and Kropholler. These examples are of special interest from the point of view of studying the Frobenius closures and tight closures of ideals as contractions from certain extension rings: they provide instances when the socle element modulo an ideal generated by a system of parameters is forced i…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。