ترغب بنشر مسار تعليمي؟ اضغط هنا

On Gorenstein fiber products and applications

84   0   0.0 ( 0 )
 نشر من قبل Saeed Nasseh
 تاريخ النشر 2017
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

We show that a non-trivial fiber product $Stimes_k T$ of commutative noetherian local rings $S,T$ with a common residue field $k$ is Gorenstein if and only if it is a hypersurface of dimension 1. In this case, both $S$ and $T$ are regular rings of dimension 1. We also give some applications of this result.



قيم البحث

اقرأ أيضاً

We study how to lift Markov bases and Grobner bases along linear maps of lattices. We give a lifting algorithm that allows to compute such bases iteratively provided a certain associated semigroup is normal. Our main application is the toric fiber pr oduct of toric ideals, where lifting gives Markov bases of the factor ideals that satisfy the compatible projection property. We illustrate the technique by computing Markov bases of various infinite families of hierarchical models. The methodology also implies new finiteness results for iterated toric fiber products.
Let $R$ be a polynomial ring over a field and $I subset R$ be a Gorenstein ideal of height three that is minimally generated by homogeneous polynomials of the same degree. We compute the multiplicity of the saturated special fiber ring of $I$. The ob tained formula depends only on the number of variables of $R$, the minimal number of generators of $I$, and the degree of the syzygies of $I$. Applying results from arXiv:1805.05180, we get a formula for the $j$-multiplicity of $I$ and an effective method to study a rational map determined by a minimal set of generators of $I$.
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.
Let $k$ be an arbitrary field. In this note, we show that if a sequence of relatively prime positive integers ${bf a}=(a_1,a_2,a_3,a_4)$ defines a Gorenstein non complete intersection monomial curve ${mathcal C}({bf a})$ in ${mathbb A}_k^4$, then the re exist two vectors ${bf u}$ and ${bf v}$ such that ${mathcal C}({bf a}+t{bf u})$ and ${mathcal C}({bf a}+t{bf v})$ are also Gorenstein non complete intersection affine monomial curves for almost all $tgeq 0$.
We investigate the relationship between the level of a bounded complex over a commutative ring with respect to the class of Gorenstein projective modules and other invariants of the complex or ring, such as projective dimension, Gorenstein projective dimension, and Krull dimension. The results build upon work done by J. Christensen [6], H. Altmann et al. [1], and Avramov et al. [3] for levels with respect to the class of finitely generated projective modules.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا