{"id":"https://openalex.org/W7160134844","doi":"https://doi.org/10.48550/arxiv.2605.00418","title":"Trace ideals of exterior powers of the module of differentials","display_name":"Trace ideals of exterior powers of the module of differentials","publication_year":2026,"publication_date":"2026-05-01","ids":{"openalex":"https://openalex.org/W7160134844","doi":"https://doi.org/10.48550/arxiv.2605.00418"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2605.00418","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2605.00418","pdf_url":"https://arxiv.org/pdf/2605.00418","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":"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/2605.00418","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037633930","display_name":"Ryo Ishizuka","orcid":"https://orcid.org/0009-0006-7692-683X","observed_orcids":["https://orcid.org/0009-0006-7692-683X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ishizuka, Ryo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5011945800","display_name":"Sora Miyashita","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Miyashita, Sora","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"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":0.9965999722480774,"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":0.9965999722480774,"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.001500000013038516,"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.0013000000035390258,"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/trace-ideals","display_name":"trace ideals","score":0.9679999947547913},{"id":"https://openalex.org/keywords/exterior-powers","display_name":"exterior powers","score":0.9129999876022339},{"id":"https://openalex.org/keywords/complete-local-rings","display_name":"complete local rings","score":0.921999990940094},{"id":"https://openalex.org/keywords/singular-set","display_name":"singular set","score":0.9940000176429749},{"id":"https://openalex.org/keywords/graded-rings","display_name":"graded rings","score":0.8270000219345093},{"id":"https://openalex.org/keywords/characteristic-zero","display_name":"characteristic zero","score":0.5320000052452087}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8876000046730042},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.7239000201225281},{"id":"https://openalex.org/C2779057376","wikidata":"https://www.wikidata.org/wiki/Q3342676","display_name":"Noetherian","level":3,"score":0.6819999814033508},{"id":"https://openalex.org/C9485509","wikidata":"https://www.wikidata.org/wiki/Q1455652","display_name":"Polynomial ring","level":3,"score":0.6545000076293945},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5475999712944031},{"id":"https://openalex.org/C73905626","wikidata":"https://www.wikidata.org/wiki/Q206925","display_name":"Power series","level":2,"score":0.5317000150680542},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5314000248908997},{"id":"https://openalex.org/C151746172","wikidata":"https://www.wikidata.org/wiki/Q1003025","display_name":"Formal power series","level":3,"score":0.49300000071525574},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.4875999987125397},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.45820000767707825},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.45190000534057617},{"id":"https://openalex.org/C2777726979","wikidata":"https://www.wikidata.org/wiki/Q582271","display_name":"Noetherian ring","level":3,"score":0.4115999937057495},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.36239999532699585},{"id":"https://openalex.org/C142109727","wikidata":"https://www.wikidata.org/wiki/Q1142704","display_name":"Local ring","level":3,"score":0.36090001463890076},{"id":"https://openalex.org/C37253","wikidata":"https://www.wikidata.org/wiki/Q5156502","display_name":"Complete intersection","level":2,"score":0.3425000011920929},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33239999413490295},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.3301999866962433},{"id":"https://openalex.org/C78313660","wikidata":"https://www.wikidata.org/wiki/Q727659","display_name":"Commutative algebra","level":2,"score":0.31060001254081726},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.30630001425743103},{"id":"https://openalex.org/C161491579","wikidata":"https://www.wikidata.org/wiki/Q858656","display_name":"Commutative ring","level":3,"score":0.29760000109672546},{"id":"https://openalex.org/C2778095854","wikidata":"https://www.wikidata.org/wiki/Q4420961","display_name":"Rank condition","level":3,"score":0.29030001163482666},{"id":"https://openalex.org/C118211362","wikidata":"https://www.wikidata.org/wiki/Q1203540","display_name":"Maximal ideal","level":3,"score":0.28600001335144043},{"id":"https://openalex.org/C84597430","wikidata":"https://www.wikidata.org/wiki/Q106227","display_name":"Locus (genetics)","level":3,"score":0.2791999876499176},{"id":"https://openalex.org/C46333567","wikidata":"https://www.wikidata.org/wiki/Q2138875","display_name":"Regular local ring","level":4,"score":0.2791000008583069},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.27309998869895935},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.2721000015735626},{"id":"https://openalex.org/C2779467367","wikidata":"https://www.wikidata.org/wiki/Q863912","display_name":"Prime ideal","level":3,"score":0.25099998712539673}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2605.00418","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2605.00418","pdf_url":"https://arxiv.org/pdf/2605.00418","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2605.00418","doi":"https://doi.org/10.48550/arxiv.2605.00418","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.00418","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:2605.00418","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2605.00418","pdf_url":"https://arxiv.org/pdf/2605.00418","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7160134844.pdf","grobid_xml":"https://content.openalex.org/works/W7160134844.grobid-xml"},"referenced_works_count":4,"referenced_works":["https://openalex.org/W4389363197","https://openalex.org/W4400482999","https://openalex.org/W4414975231","https://openalex.org/W7125770100"],"related_works":["https://openalex.org/W4213314870","https://openalex.org/W4307713562","https://openalex.org/W4385987206","https://openalex.org/W2914845511","https://openalex.org/W4304699898","https://openalex.org/W2324775100","https://openalex.org/W598868379","https://openalex.org/W7206172824","https://openalex.org/W989408151","https://openalex.org/W2963650666"],"abstract_inverted_index":{"For":[0],"each":[1],"$i":[2],"\\geq":[3],"0$,":[4],"we":[5,23,67,92],"study":[6],"the":[7,11,16,29,36,50,69,79,107],"trace":[8,72,105],"ideal":[9],"of":[10,15,18,32,41,53,82],"$i$-th":[12],"exterior":[13],"power":[14,38,60],"module":[17],"differentials.":[19],"In":[20],"characteristic":[21],"zero,":[22],"show":[24],"that":[25,75],"these":[26],"ideals":[27],"characterize":[28],"polynomial":[30,57],"rank":[31,40],"graded":[33,87],"rings":[34,44,101],"and":[35,73,94],"formal":[37,59],"series":[39,61],"complete":[42],"local":[43,85],"with":[45],"finite":[46],"residue-field":[47],"extension,":[48],"namely":[49],"maximal":[51,108],"number":[52],"variables":[54],"for":[55],"a":[56,64],"or":[58,86],"extension":[62],"over":[63],"subring.":[65],"Moreover,":[66],"introduce":[68,93],"top":[70,103],"differential":[71,104],"prove":[74],"it":[76],"precisely":[77],"defines":[78],"singular":[80],"locus":[81],"reduced":[83],"equidimensional":[84],"rings.":[88],"Motivated":[89],"by":[90],"this,":[91],"investigate":[95],"nearly":[96],"regular":[97],"rings,":[98],"which":[99],"are":[100],"whose":[102],"contains":[106],"ideal.":[109]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-05-05T00:00:00"}