اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدFiniteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals
208
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
We study chains of lattice ideals that are invariant under a symmetric group action. In our setting, the ambient rings for these ideals are polynomial rings which are increasing in (Krull) dimension. Thus, these chains will fail to stabilize in the traditional commutative algebra sense. However, we prove a theorem which says that up to the action of the group, these chains locally stabilize. We also give an algorithm, which we have implemented in software, for explicitly constructing these stabilization generators for a family of Laurent toric ideals involved in applications to algebraic statistics. We close with several open problems and conjectures arising from our theoretical and computational investigations.
قيم البحث
اقرأ أيضاً
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.
Let $k$ be a field and $G subseteq Gl_n(k)$ be a finite group with $|G|^{-1} in k$. Let $G$ act linearly on $A = k[X_1, ldots, X_n]$ and let $A^G$ be the ring of invariants. Suppose there does not exist any non-trivial one-dimensional representation
of $G$ over $k$. Then we show that if $Q$ is a $G$-invariant homogeneous ideal of $A$ such that $A/Q$ is a Gorenstein ring then $A^G/Q^G$ is also a Gorenstein ring.
In this paper we completely characterize lattice ideals that are complete intersections or equivalently complete intersections finitely generated semigroups of $bz^noplus T$ with no invertible elements, where $T$ is a finite abelian group. We also ch
aracterize the lattice ideals that are set-theoretic complete intersections on binomials.
Let $R=Bbbk[x_1,dots,x_n]$ be a polynomial ring over a field $Bbbk$ and let $Isubset R$ be a monomial ideal preserved by the natural action of the symmetric group $mathfrak S_n$ on $R$. We give a combinatorial method to determine the $mathfrak S_n$-m
odule structure of $mathrm{Tor}_i(I,Bbbk)$. Our formula shows that $mathrm{Tor}_i(I,Bbbk)$ is built from induced representations of tensor products of Specht modules associated to hook partitions, and their multiplicities are determined by topological Betti numbers of certain simplicial complexes. This result can be viewed as an $mathfrak S_n$-equivariant analogue of Hochsters formula for Betti numbers of monomial ideals. We apply our results to determine extremal Betti numbers of $mathfrak S_n$-invariant monomial ideals, and in particular recover formulas for their Castelnuovo--Mumford regularity and projective dimension. We also give a concrete recipe for how the Betti numbers change as we increase the number of variables, and in characteristic zero (or $>n$) we compute the $mathfrak S_n$-invariant part of $mathrm{Tor}_i(I,Bbbk)$ in terms of $mathrm{Tor}$ groups of the unsymmetrization of $I$.
Let $Lsubset mathbb{Z}^n$ be a lattice and $I_L=langle x^{bf u}-x^{bf v}: {bf u}-{bf v}in Lrangle$ be the corresponding lattice ideal in $Bbbk[x_1,ldots, x_n]$, where $Bbbk$ is a field. In this paper we describe minimal binomial generating sets of $I
_L$ and their invariants. We use as a main tool a graph construction on equivalence classes of fibers of $I_L$. As one application of the theory developed we characterize binomial complete intersection lattice ideals, a longstanding open problem in the case of non-positive lattices.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
