{"id":"https://openalex.org/W7130745801","doi":"https://doi.org/10.48550/arxiv.2602.17240","title":"Serre depth and local cohomology","display_name":"Serre depth and local cohomology","publication_year":2026,"publication_date":"2026-02-19","ids":{"openalex":"https://openalex.org/W7130745801","doi":"https://doi.org/10.48550/arxiv.2602.17240"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2602.17240","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2602.17240","pdf_url":"https://arxiv.org/pdf/2602.17240","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2602.17240","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5114414835","display_name":"Antonino Ficarra","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ficarra, Antonino","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5114414835"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12069","display_name":"Commutative Algebra and Its Applications","score":1.0,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12069","display_name":"Commutative Algebra and Its Applications","score":1.0,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.0,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11703","display_name":"Rings, Modules, and Algebras","score":0.0,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/local-cohomology","display_name":"local cohomology","score":0.9679999947547913},{"id":"https://openalex.org/keywords/cohen-macaulay-property","display_name":"Cohen-Macaulay property","score":0.7829999923706055},{"id":"https://openalex.org/keywords/noetherian-local-rings","display_name":"Noetherian local rings","score":0.906000018119812},{"id":"https://openalex.org/keywords/standard-graded-algebras","display_name":"standard graded algebras","score":0.921999990940094},{"id":"https://openalex.org/keywords/completion","display_name":"completion","score":0.3959999978542328},{"id":"https://openalex.org/keywords/gorenstein-rings","display_name":"Gorenstein rings","score":0.8550000190734863},{"id":"https://openalex.org/keywords/equidimensionality","display_name":"equidimensionality","score":0.8849999904632568},{"id":"https://openalex.org/keywords/krull-dimension","display_name":"Krull dimension","score":0.890999972820282},{"id":"https://openalex.org/keywords/homogeneous-ideals","display_name":"homogeneous ideals","score":0.6959999799728394},{"id":"https://openalex.org/keywords/initial-ideals","display_name":"initial ideals","score":0.9190000295639038},{"id":"https://openalex.org/keywords/monomial-ideals","display_name":"monomial ideals","score":0.996999979019165},{"id":"https://openalex.org/keywords/skeleton","display_name":"skeleton","score":0.6549999713897705},{"id":"https://openalex.org/keywords/presburger-arithmetic","display_name":"Presburger arithmetic","score":0.671999990940094},{"id":"https://openalex.org/keywords/finitely-generated-modules","display_name":"finitely generated modules","score":0.7609999775886536}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8830000162124634},{"id":"https://openalex.org/C2777041388","wikidata":"https://www.wikidata.org/wiki/Q6664297","display_name":"Local cohomology","level":3,"score":0.7019000053405762},{"id":"https://openalex.org/C9485509","wikidata":"https://www.wikidata.org/wiki/Q1455652","display_name":"Polynomial ring","level":3,"score":0.6851999759674072},{"id":"https://openalex.org/C11252640","wikidata":"https://www.wikidata.org/wiki/Q243723","display_name":"Monomial","level":2,"score":0.6517999768257141},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.6161999702453613},{"id":"https://openalex.org/C2777726979","wikidata":"https://www.wikidata.org/wiki/Q582271","display_name":"Noetherian ring","level":3,"score":0.5924000144004822},{"id":"https://openalex.org/C22602557","wikidata":"https://www.wikidata.org/wiki/Q1225713","display_name":"Krull dimension","level":4,"score":0.5383999943733215},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.5203999876976013},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.5156999826431274},{"id":"https://openalex.org/C142109727","wikidata":"https://www.wikidata.org/wiki/Q1142704","display_name":"Local ring","level":3,"score":0.4726000130176544},{"id":"https://openalex.org/C2779057376","wikidata":"https://www.wikidata.org/wiki/Q3342676","display_name":"Noetherian","level":3,"score":0.4388999938964844},{"id":"https://openalex.org/C46333567","wikidata":"https://www.wikidata.org/wiki/Q2138875","display_name":"Regular local ring","level":4,"score":0.4262999892234802},{"id":"https://openalex.org/C66882249","wikidata":"https://www.wikidata.org/wiki/Q169336","display_name":"Homogeneous","level":2,"score":0.4129999876022339},{"id":"https://openalex.org/C162860070","wikidata":"https://www.wikidata.org/wiki/Q142140","display_name":"Finitely-generated abelian group","level":2,"score":0.4034999907016754},{"id":"https://openalex.org/C2780378348","wikidata":"https://www.wikidata.org/wiki/Q25351438","display_name":"Ring (chemistry)","level":2,"score":0.3686999976634979},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.3625999987125397},{"id":"https://openalex.org/C2777789435","wikidata":"https://www.wikidata.org/wiki/Q19369206","display_name":"Monomial ideal","level":4,"score":0.3549000024795532},{"id":"https://openalex.org/C32268108","wikidata":"https://www.wikidata.org/wiki/Q942423","display_name":"Projective module","level":3,"score":0.3504999876022339},{"id":"https://openalex.org/C167239746","wikidata":"https://www.wikidata.org/wiki/Q15534632","display_name":"Graded ring","level":3,"score":0.3465000092983246},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.34279999136924744},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3402000069618225},{"id":"https://openalex.org/C46132437","wikidata":"https://www.wikidata.org/wiki/Q6901742","display_name":"Monomial basis","level":3,"score":0.32179999351501465},{"id":"https://openalex.org/C148896618","wikidata":"https://www.wikidata.org/wiki/Q1426191","display_name":"Flat module","level":4,"score":0.32010000944137573},{"id":"https://openalex.org/C198082693","wikidata":"https://www.wikidata.org/wiki/Q1551631","display_name":"Gr\u00f6bner basis","level":3,"score":0.30320000648498535},{"id":"https://openalex.org/C147073270","wikidata":"https://www.wikidata.org/wiki/Q567083","display_name":"Annihilator","level":3,"score":0.2985000014305115},{"id":"https://openalex.org/C149774684","wikidata":"https://www.wikidata.org/wiki/Q713084","display_name":"Artinian ring","level":4,"score":0.2849999964237213},{"id":"https://openalex.org/C156923205","wikidata":"https://www.wikidata.org/wiki/Q2905043","display_name":"Principal ideal ring","level":4,"score":0.27869999408721924},{"id":"https://openalex.org/C78313660","wikidata":"https://www.wikidata.org/wiki/Q727659","display_name":"Commutative algebra","level":2,"score":0.27250000834465027},{"id":"https://openalex.org/C130430149","wikidata":"https://www.wikidata.org/wiki/Q1292333","display_name":"Free module","level":3,"score":0.2669000029563904},{"id":"https://openalex.org/C168948012","wikidata":"https://www.wikidata.org/wiki/Q3978010","display_name":"Superpotential","level":3,"score":0.2603999972343445},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.257999986410141},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.2572000026702881},{"id":"https://openalex.org/C63036529","wikidata":"https://www.wikidata.org/wiki/Q1855669","display_name":"Invariant theory","level":3,"score":0.25540000200271606}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2602.17240","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2602.17240","pdf_url":"https://arxiv.org/pdf/2602.17240","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2602.17240","doi":"https://doi.org/10.48550/arxiv.2602.17240","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.17240","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2602.17240","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2602.17240","pdf_url":"https://arxiv.org/pdf/2602.17240","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G3480869486","display_name":null,"funder_award_id":"13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7084143925","display_name":null,"funder_award_id":"AEI/10","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G862035694","display_name":null,"funder_award_id":"JDC2023-051705-I","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320311030","display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\"","ror":"https://ror.org/01vx64p53"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":"https://ror.org/003x0zc53"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7130745801.pdf","grobid_xml":"https://content.openalex.org/works/W7130745801.grobid-xml"},"referenced_works_count":3,"referenced_works":["https://openalex.org/W4414746983","https://openalex.org/W7117144426","https://openalex.org/W7160839543"],"related_works":["https://openalex.org/W7168145497","https://openalex.org/W4414746983","https://openalex.org/W3097426124","https://openalex.org/W4408174803","https://openalex.org/W2248772436","https://openalex.org/W1655695888","https://openalex.org/W1991797093","https://openalex.org/W7213283793","https://openalex.org/W7081581429","https://openalex.org/W1966371258"],"abstract_inverted_index":{"We":[0,23,91,178],"introduce":[1],"a":[2,41,64,114,118,124,154,158,164,184,203],"fundamental":[3],"homological":[4],"invariant,":[5],"called":[6],"Serre":[7,26,61,97,140,169,181,196],"depth,":[8],"which":[9],"stratifies":[10,19],"Serre's":[11,76],"conditions":[12],"in":[13,157,187],"the":[14,20,25,44,59,70,83,93,109,180,195,207],"same":[15],"way":[16],"that":[17,58,101,123,194],"depth":[18,62,98,141],"Cohen-Macaulay":[21],"property.":[22],"study":[24],"depths":[27,170,182,197],"of":[28,63,72,82,96,117,173,183,189,198,202],"modules":[29],"over":[30,36,40,163],"arbitrary":[31],"Noetherian":[32],"local":[33],"rings":[34],"and":[35,51,99,131,135,192],"standard":[37,159],"graded":[38,160],"algebras":[39],"field,":[42,165],"extending":[43],"polynomial":[45,161],"ring":[46,111,162],"case":[47],"due":[48],"to":[49],"Muta":[50],"Terai.":[52],"Under":[53],"mild":[54],"hypotheses,":[55],"we":[56,121,166],"show":[57,122],"$r$-th":[60,139],"finitely":[65,125],"generated":[66,126],"module":[67],"$M$":[68,73,128],"measures":[69],"deviation":[71],"from":[74],"satisfying":[75],"condition":[77],"$(S_r)$.":[78],"The":[79],"main":[80],"results":[81],"paper":[84],"can":[85],"be":[86],"summarized":[87],"as":[88],"follows:":[89],"(i)":[90],"establish":[92],"basic":[94],"properties":[95],"prove":[100,193],"it":[102],"is":[103,113,129],"invariant":[104],"under":[105],"completion.":[106],"(ii)":[107],"If":[108],"base":[110],"$R$":[112],"homomorphic":[115],"image":[116],"Gorenstein":[119],"ring,":[120],"$R$-module":[127],"equidimensional":[130],"satisfies":[132],"$(S_r)$":[133],"if":[134,137],"only":[136],"its":[138,143,168,174,190],"equals":[142],"Krull":[144],"dimension.":[145],"Analogous":[146],"statements":[147],"are":[148],"obtained":[149],"for":[150],"schemes.":[151],"(iii)":[152],"For":[153],"homogeneous":[155],"ideal":[156,186,205],"compare":[167],"with":[171],"those":[172],"initial":[175],"ideal.":[176],"(iv)":[177],"characterize":[179],"monomial":[185,204],"terms":[188],"skeletons":[191],"sufficiently":[199],"large":[200],"powers":[201],"stabilize;":[206],"proof":[208],"uses":[209],"Presburger":[210],"arithmetic.":[211]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-02-21T00:00:00"}