分级理想积分依赖性的数值特征

Suprajo Das, Sudeshna Roy, Vijaylaxmi Trivedi
{"title":"分级理想积分依赖性的数值特征","authors":"Suprajo Das, Sudeshna Roy, Vijaylaxmi Trivedi","doi":"arxiv-2409.09346","DOIUrl":null,"url":null,"abstract":"Let $R=\\oplus_{m\\geq 0}R_m$ be a standard graded Noetherian domain over a\nfield $R_0$ and $I\\subseteq J$ be two graded ideals in $R$ such that\n$0<\\mbox{height}\\;I\\leq \\mbox{height}\\;J <d$. Then we give a set of numerical\ncharacterizations of the integral dependence of $I$ and ${J}$ in terms of\ncertain multiplicities. A novelty of the approach is that it does not involve\nlocalization and only requires checking computable and well-studied invariants. In particular, we show the following: let $S=R[Y]$, $\\mathsf{I} = IS$ and\n$\\mathsf{J} = JS$ and $\\bf d$ be the maximum generating degree of both $I$ and\n$J$. Then the following statements are equivalent. (1) $\\overline{I} = \\overline{J}$. (2) $\\varepsilon(I)=\\varepsilon(J)$ and $e_i(R[It]) = e_i(R[Jt])$ for all\n$0\\leq i <\\dim(R/I)$. (3) $e\\big(R[It]_{\\Delta_{(c,1)}}\\big) = e\\big(R[Jt]_{\\Delta_{(c,1)}}\\big)$\nand $e\\big(S[\\mathsf{I}t]_{\\Delta_{(c,1)}}\\big) =\ne\\big(S[\\mathsf{J}t]_{\\Delta_{(c,1)}}\\big)$ for some integer $c>{\\bf d}$. The statement $(2)$ generalizes the classical result of Rees. The statement\n$(3)$ gives the integral dependence criteria in terms of the Hilbert-Samuel\nmultiplicities of certain standard graded domains over $R_0$. As a consequence\nof $(3)$, we also get an equivalent statement in terms of (Teissier) mixed\nmultiplicities. Apart from several well-established results, the proofs of these results use\nthe theory of density functions which was developed recently by the authors.","PeriodicalId":501475,"journal":{"name":"arXiv - MATH - Commutative Algebra","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2024-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Numerical characterizations for integral dependence of graded ideals\",\"authors\":\"Suprajo Das, Sudeshna Roy, Vijaylaxmi Trivedi\",\"doi\":\"arxiv-2409.09346\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let $R=\\\\oplus_{m\\\\geq 0}R_m$ be a standard graded Noetherian domain over a\\nfield $R_0$ and $I\\\\subseteq J$ be two graded ideals in $R$ such that\\n$0<\\\\mbox{height}\\\\;I\\\\leq \\\\mbox{height}\\\\;J <d$. Then we give a set of numerical\\ncharacterizations of the integral dependence of $I$ and ${J}$ in terms of\\ncertain multiplicities. A novelty of the approach is that it does not involve\\nlocalization and only requires checking computable and well-studied invariants. In particular, we show the following: let $S=R[Y]$, $\\\\mathsf{I} = IS$ and\\n$\\\\mathsf{J} = JS$ and $\\\\bf d$ be the maximum generating degree of both $I$ and\\n$J$. Then the following statements are equivalent. (1) $\\\\overline{I} = \\\\overline{J}$. (2) $\\\\varepsilon(I)=\\\\varepsilon(J)$ and $e_i(R[It]) = e_i(R[Jt])$ for all\\n$0\\\\leq i <\\\\dim(R/I)$. (3) $e\\\\big(R[It]_{\\\\Delta_{(c,1)}}\\\\big) = e\\\\big(R[Jt]_{\\\\Delta_{(c,1)}}\\\\big)$\\nand $e\\\\big(S[\\\\mathsf{I}t]_{\\\\Delta_{(c,1)}}\\\\big) =\\ne\\\\big(S[\\\\mathsf{J}t]_{\\\\Delta_{(c,1)}}\\\\big)$ for some integer $c>{\\\\bf d}$. The statement $(2)$ generalizes the classical result of Rees. The statement\\n$(3)$ gives the integral dependence criteria in terms of the Hilbert-Samuel\\nmultiplicities of certain standard graded domains over $R_0$. As a consequence\\nof $(3)$, we also get an equivalent statement in terms of (Teissier) mixed\\nmultiplicities. Apart from several well-established results, the proofs of these results use\\nthe theory of density functions which was developed recently by the authors.\",\"PeriodicalId\":501475,\"journal\":{\"name\":\"arXiv - MATH - Commutative Algebra\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Commutative Algebra\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.09346\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Commutative Algebra","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.09346","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

摘要

设$R=\oplus_{m\geq 0}R_m$ 是一个标准的分级诺特域,其上的域$R_0$ 和$I\subseteq J$ 是$R$ 中的两个分级理想,使得$0{\bf d}$。语句$(2)$概括了里斯的经典结果。语句$(3)$给出了在$R_0$上的某些标准分级域的希尔伯特-萨缪尔乘法的积分依赖标准。作为$(3)$ 的结果,我们还得到了一个等价的(泰西耶)混合乘法陈述。除了几个公认的结果之外,这些结果的证明还使用了作者最近发展起来的密度函数理论。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Numerical characterizations for integral dependence of graded ideals
Let $R=\oplus_{m\geq 0}R_m$ be a standard graded Noetherian domain over a field $R_0$ and $I\subseteq J$ be two graded ideals in $R$ such that $0<\mbox{height}\;I\leq \mbox{height}\;J {\bf d}$. The statement $(2)$ generalizes the classical result of Rees. The statement $(3)$ gives the integral dependence criteria in terms of the Hilbert-Samuel multiplicities of certain standard graded domains over $R_0$. As a consequence of $(3)$, we also get an equivalent statement in terms of (Teissier) mixed multiplicities. Apart from several well-established results, the proofs of these results use the theory of density functions which was developed recently by the authors.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Resolutions over strict complete resolutions Regularity of Koszul modules The Existence of MacWilliams-Type Identities for the Lee, Homogeneous and Subfield Metric The complete integral closure of a Prüfer domain is a topological property Ideals, representations and a symmetrised Bernoulli triangle
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1